Torus actions of complexity one in non-general position

MaRDI QIDQ824110zbMATH OpenFDO

Authors Vladislav Cherepanov, A. A. Aizenberg

Publication date 14 December 2021

Published in Osaka Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.04761, https://projecteuclid.org/journals/osaka-journal-of-mathematics/volume-58/issue-4/Torus-actions-of-complexity-one-in-non-general-position/5126ojm.full

zbMATH Keywords

orbit spacetorus action

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Toric varieties, Newton polyhedra, Okounkov bodies (14M25) (n)-dimensional polytopes (52B11) Homotopy equivalences in algebraic topology (55P10) Suspensions (55P40) Fiber bundles in algebraic topology (55R10) Algebraic topology of manifolds (57N65) Toric topology (57S12) Groups acting on specific manifolds (57S25)

Abstract: Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically equivariantly formal (which essentially means that $H^{odd}(X^{2n};mathbbZ)=0$). It happens that homology of the orbit space can be arbitrary in degrees $3$ and higher. For any finite simplicial complex $L$ we construct an equivariantly formal manifold $X^{2n}$ such that $X^{2n}/T^{n-1}$ is homotopy equivalent to $Sigm{a}^{3}L$. The constructed manifold $X^{2n}$ is the total space of the projective line bundle over the permutohedral variety hence the action on $X^{2n}$ is Hamiltonian and cohomologically equivariantly formal. We introduce the notion of the action in $j$-general position and prove that, for any simplicial complex $M$, there exists an equivariantly formal action of complexity one in $j$-general position such that its orbit space is homotopy equivalent to $Sigm{a}^{j+2}M$.

Review text

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)\}) \)

Recommendations

• Torus actions of complexity one
• ON TORUS ACTIONS OF HIGHER COMPLEXITY
• Torus actions of complexity 1 and their local properties
• Decomposition theorem and torus actions of complexity one
• On the non-existence of torus actions
• Torus actions and generalized Jacobians
• scientific article; zbMATH DE number 2183416
• scientific article; zbMATH DE number 1538894
• Torus actions of generalized odd type on oriented manifolds
• scientific article; zbMATH DE number 5118727

Cites work

• A quotient criterion for syzygies in equivariant cohomology
• A Vietoris Mapping Theorem for Homotopy
• An Inequality
• Convex polytopes, Coxeter orbifolds and torus actions
• scientific article; zbMATH DE number 5202574 (Why is no real title available?)
• On the cohomology of torus manifolds
• Operations on polyhedral products and a new topological construction of infinite families of toric manifolds
• Permutohedra, Associahedra, and Beyond
• Substitutions of polytopes and of simplicial complexes, and multigraded Betti numbers
• Topology and geometry of the canonical action of \(T^4\) on the complex Grassmannian \(G_{4,2}\) and the complex projective space \(\mathbb{C}P^5\)
• Topology of complexity one quotients
• Toric topology
• Toric varieties
• Torus actions of complexity 1 and their local properties

Cited in

(14)

• Reconstructing the orbit type stratification of a torus action from its equivariant cohomology
• Resolution of singularities of the orbit spaces \(G_{n,2}/T^n\)
• Torus actions of complexity 1 and their local properties
• On the non-existence of torus actions
• The foundations of \((2n,k)\)-manifolds
• ON TORUS ACTIONS OF HIGHER COMPLEXITY
• On independent GKM-graphs without nontrivial extensions
• How is a graph not like a manifold?
• Low-dimensional GKM theory
• On actions of tori and quaternionic tori on products of spheres
• Equivariantly formal 2-torus actions of complexity one
• Moduli spaces of weighted pointed stable curves and toric topology of Grassmann manifolds
• Orbit spaces of equivariantly formal torus actions of complexity one
• Torus action on quaternionic projective plane and related spaces

This page was built for publication: Torus actions of complexity one in non-general position

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q824110)