Torus actions of complexity one in non-general position (Q824110)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Torus actions of complexity one in non-general position
    scientific article

      Statements

      Torus actions of complexity one in non-general position (English)
      0 references
      0 references
      0 references
      14 December 2021
      0 references
      In this article, the authors mainly study torus actions of ``complexity one'' (i.e. differentiable actions of an \( {(n-1)}\)-dimensional torus on a \( 2n \)-dimensional smooth closed manifold) and construct such actions whose orbit space is homotopy equivalent to an iterated suspension of any given finite simplicial complex.\\ The main results of this article are the following (coefficients for homology and cohomology are in \( \mathbb{Z} \)):\\ \textbf{Theorem 1}. For any finite simplicial complex \( L \), there exists a closed smooth manifold \( X^{2n}_{\hat{L}} \) with \( H^{odd}(X^{2n}_{\hat{L}}) = 0 \), and the effective action of \( T^{n-1} \) on \( X^{2n}_{\hat{L}} \) with isolated fixed points and connected stabilizers such that the orbit space \( Q^{n+1} = X^{2n}_{\hat{L}}/T^{n-1} \) satisfies \( \tilde{H}_{i+3}(Q^{n+1})\simeq \tilde{H}_i(L) \) for any \( i \geq 0 \), and \( \tilde{H}_i(Q^{n+1}) = 0 \) for \( i = 0, 1, 2 \).\\ \textbf{Proposition 4.1}. The quasitoric manifold \( X^{2n}_{\hat{L}} \) constructed in Section 3 is a smooth projective toric variety. It is the total space of the projective line bundle over the permutohedral toric variety \( X^{2n-2}_{\textrm{Pe}} \)\\ \textbf{Proposition 4.2}. Let \( L \) be a finite simplicial complex and the quasitoric manifold \( X^{2n}_{\hat{L}} \) with the action of \( T^{n-1} \) be as in Section 3. Then \( X^{2n}_{\hat{L}} /T^{n-1} \) is homotopy equivalent to \( \Sigma^3L \).\\ \textbf{Theorem 2}. For any finite simplicial complex \( M \), there exists a closed smooth manifold \( X^{2n} \) with \( H^{odd}(X^{2n}) = 0 \), and an action of \( T^{n-1} \) on \( X^{2n} \) in \( j \)-general position such that the orbit space \( Q^{n+1} = X^{2n}/T^{n-1} \) is homotopy equivalent to \( \Sigma^{j+2}M \).\\ (In Definition 4.3: \( \lbrace\alpha_{x,1},\ldots,\alpha_{x,n}\in \textrm{Hom}(T^{n-1},T^1)\rbrace \) should read \( \{\alpha_{x,1},\ldots,\alpha_{x,j}\in \textrm{Hom}(T^{n-1},T^1)\}) \)
      0 references
      0 references
      torus action
      0 references
      orbit space
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references