English

Orbit spaces of equivariantly formal torus actions of complexity one

Algebraic Topology 2026-02-10 v2 Combinatorics K-Theory and Homology

Abstract

Let a compact torus T=Tn1T=T^{n-1} act on an orientable smooth compact manifold X=X2nX=X^{2n} effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If Hodd(X)=0H^{odd}(X)=0 and the weights of tangent representation at each fixed point are in general position, we prove that the orbit space Q=X/TQ=X/T is a homology (n+1)(n+1)-sphere. If, in addition, π1(X)=0\pi_1(X)=0, then QQ is homeomorphic to Sn+1S^{n+1}. We introduce the notion of jj-generality of tangent weights of torus action. For any action of TkT^k on X2nX^{2n} with isolated fixed points and Hodd(X)=0H^{odd}(X)=0, we prove that jj-generality of weights implies (j+1)(j+1)-acyclicity of the orbit space QQ. This statement generalizes several known results for actions of complexity zero and one. In complexity one, we give a criterion of equivariant formality in terms of the orbit space. In this case, we give a formula expressing Betti numbers of a manifold in terms of certain combinatorial structure that sits in the orbit space.

Keywords

Cite

@article{arxiv.1912.11696,
  title  = {Orbit spaces of equivariantly formal torus actions of complexity one},
  author = {Anton Ayzenberg and Mikiya Masuda},
  journal= {arXiv preprint arXiv:1912.11696},
  year   = {2026}
}

Comments

32 pages, 1 figure. Second version contains a substantial revision: the assumption of manifold orientability are added in most statements, and some proofs are rewritten in more detail