Maximal first Betti number drop and collapsing RCD spaces
In the authors' words
Let be compact spaces converging to a space of rectifiable dimension . Their first Betti numbers can drop by at most . When equality holds, the maximal abelian covers have a non-collapsed limit carrying a free isometric -action. We turn this limiting symmetry into fibrations of the approximating spaces. More precisely, after passing to a subsequence, there is an open full-measure set , containing every regular point, on which is a topological orbifold and the admit local Seifert fibrations with -torus fibres. Each finite local group acts on the fibre by translations. If the have no boundary, then has Hausdorff codimension at least two. If has no bubbling and is a smooth closed Riemannian orbifold, the local fibrations may be chosen as restrictions of a single global Seifert fibration. An affine replacement on the smooth manifold cover shows, in addition, that a finite cover of is homeomorphic to a product with ; here we use the classification of affine torus bundles at the Betti number equality of Peng, Wang and Wang. When the base is a closed Riemannian manifold, the maps are torus bundles, confirming a conjecture of Zamora and Zhu for possibly singular RCD total spaces. The new ingredients are a pointwise linearization of the collapsing action at regular orbits, an invariant harmonic transverse coordinate compatible with finite isotropy, and an exactly equivariant orbit coordinate built from an elementary rounding-and-doubling argument in the collapsing deck group.
Appeared: Friday, September 25. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 51 pages