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
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
0 references