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

From MaRDI portal
scientific article
Language Label Description Also known as
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
    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