Orbit stratifications and smooth topology of positively curved six-manifolds with rank-one nonabelian symmetry
Abstract
We study closed simply connected six-manifolds with positive sectional curvature and an effective isometric action of SO(3) or SU(2). Starting from Liu's corrected orbit-space analysis, we refine the stratification and recover smooth topology in several previously unresolved cases. For a boundaryless SO(3) quotient, singular isotropy is connected, the weighted nonprincipal graph belongs to nine necessary families, and every action with only cyclic exceptional isotropy is classified equivariantly. The remaining branching families admit explicit rational intersection and Pontryagin formulas. For a three-ball SO(3) quotient, the uniform-boundary configurations give sphere bundles over S4 and a completely distinguished odd-integer family of non-spin six-manifolds. A doubled-quotient argument excludes the configuration with two boundary fixed points and an interior singular orbit, while the configuration with one fixed point and an exceptional interval has underlying manifold ℂℙ3. For a boundaryless SU(2) quotient, an adjoint-weight matching argument reduces the exceptional three-orbit case to a unique action on the Eschenburg flag and identifies every two-orbit candidate with a weighted action on S2× S4. These classifications imply rational ellipticity throughout the stated symmetry class. We also establish restricted curvature obstructions for the two diagonal product actions, without asserting nonexistence for arbitrary invariant metrics. Abstract graph restrictions, smooth realizability, and positive-curvature realizability are kept distinct. Some of the results in this paper are discovered by ChatGPT-6-astra and verified by the authors.
Related
- Nonabelian Torus Exteriors in 𝕊4 and Torus Replacement in Four-Manifolds
- A first order nonabelian antisymmetric tensor model with hidden higher symmetry
- Sharp Hessian inequalities and monotonicity for Green's functions of positively curved Einstein manifolds
- Singular Limits of Frame Bundles of Noncollapsing Positively Curved Manifolds
- On Positively Curved Einstein Four-Manifolds with Euler Characteristic at Most Three
BibTeX
@misc{gao2026orbit,
title = {{Orbit stratifications and smooth topology of positively curved six-manifolds with rank-one nonabelian symmetry}},
author = {Minbo Gao and Yuhang Liu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.14582},
eprint = {2610.14582},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.14582},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Orbit stratifications and smooth topology of positively curved six-manifolds with rank-one nonabelian symmetry
AU - Minbo Gao
AU - Yuhang Liu
PY - 2026
DA - 2026/10/10
PB - arXiv
DO - 10.48550/arxiv.2610.14582
UR - https://arxiv.org/abs/2610.14582
AB - We study closed simply connected six-manifolds with positive sectional curvature and an effective isometric action of SO(3) or SU(2). Starting from Liu's corrected orbit-space analysis, we refine the stratification and recover smooth topology in several previously unresolved cases. For a boundaryless SO(3) quotient, singular isotropy is connected, the weighted nonprincipal graph belongs to nine necessary families, and every action with only cyclic exceptional isotropy is classified equivariantly. The remaining branching families admit explicit rational intersection and Pontryagin formulas. For a three-ball SO(3) quotient, the uniform-boundary configurations give sphere bundles over S^4 and a completely distinguished odd-integer family of non-spin six-manifolds. A doubled-quotient argument excludes the configuration with two boundary fixed points and an interior singular orbit, while the configuration with one fixed point and an exceptional interval has underlying manifold ℂℙ^3. For a boundaryless SU(2) quotient, an adjoint-weight matching argument reduces the exceptional three-orbit case to a unique action on the Eschenburg flag and identifies every two-orbit candidate with a weighted action on S^2× S^4. These classifications imply rational ellipticity throughout the stated symmetry class. We also establish restricted curvature obstructions for the two diagonal product actions, without asserting nonexistence for arbitrary invariant metrics. Abstract graph restrictions, smooth realizability, and positive-curvature realizability are kept distinct. Some of the results in this paper are discovered by ChatGPT-6-astra and verified by the authors.
ER -