arxiv: 2605.11552 · v1 · submitted 2026-05-12 · 🧮 math.DG

Recognition: 2 theorem links

· Lean Theorem

Structure of Torus Fibration Under the First Betti Number Restriction

Bing Wang, Xin Peng, Zhenjian Wang

Pith reviewed 2026-05-13 02:02 UTC · model grok-4.3

classification 🧮 math.DG

keywords torus bundlesaffine structure groupsBetti numbersrigiditytopological splittingcollapsing sequencesdifferential geometry

0 comments

The pith

A first Betti number equality classifies torus bundles with affine structure groups over closed manifolds

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines torus bundles equipped with affine structure groups over closed base manifolds. It establishes that the equality b1(M) minus b1(N) equals the difference in dimensions permits a complete classification of the total space. Necessary and sufficient conditions are derived for when principal torus bundles split topologically. These results clarify the structure of collapsing sequences that meet the Betti constraints and extend earlier work on the subject.

Core claim

If b1(M) - b1(N) = dim M - dim N holds for a torus bundle M with an affine structure group over a closed manifold N, then M can be classified. Necessary and sufficient conditions for the topological splitting of principal torus bundles are also obtained.

What carries the argument

The first Betti number equality b1(M) - b1(N) = dim M - dim N on torus bundles with affine structure groups, which supplies the rigidity for classification

If this is right

The torus bundle M admits classification under the given Betti number condition.
Necessary and sufficient conditions characterize topological splitting for principal torus bundles.
Geometry of collapsing sequences under first Betti number constraints becomes clearer.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same Betti restriction may force explicit forms for the bundles inside Ricci-bounded collapsing families.
Similar rigidity could hold for other compact Lie group bundles equipped with affine actions.
The splitting criteria might connect to the existence of flat connections or global sections in the bundle.

Load-bearing premise

The Betti number equality is assumed sufficient by itself to classify the bundle when the structure group is affine and the base is closed, without further curvature or topological restrictions.

What would settle it

A torus bundle with affine structure group over a closed manifold satisfying b1(M) - b1(N) equals dim M minus dim N but failing to match the predicted classification forms would disprove the rigidity claim.

read the original abstract

We study torus bundles with affine structure groups. First, we establish a rigidity result under constraints on the first Betti numbers: If $ \text{b}_{1}(M)-\text{b}_{1}(N)=\dim M-\dim N $ holds for a torus bundle $M$ with an affine structure group over a closed manifold $N$, then $M$ can be classified. Second, we obtain some necessary and sufficient conditions for the topological splitting of principal torus bundles. These results improve the understanding of the geometry of collapsing sequences under the first Betti number constraints, thereby extending the prior work by Huang-Wang.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper studies torus bundles with affine structure groups over closed manifolds N. It establishes a rigidity result: if b1(M) - b1(N) = dim M - dim N, then the torus bundle M admits a classification. It also derives necessary and sufficient conditions for topological splitting of principal torus bundles. These are positioned as improvements on the work of Huang-Wang in the context of collapsing sequences under first Betti number constraints.

Significance. If the classification theorem holds, it supplies a concrete rigidity statement in bundle theory that ties Betti-number differences directly to the structure of affine torus bundles, which is useful for understanding collapsing geometry with controlled topology. The splitting criteria add a topological tool that could apply to related fibration problems. The manuscript presents the result as a direct argument without reduction to fitted parameters or external data.

major comments (1)

Theorem 1.1 (or the main rigidity statement): the proof that the Betti-number equality implies classification appears to use the affine structure group to control the monodromy, but the precise step where the equality forces the bundle to be a product or a specific form is not fully expanded; a counter-example check or explicit computation for low-dimensional tori would strengthen the claim.

minor comments (2)

The abstract and introduction should explicitly state the fiber dimension and confirm that N is closed in every statement of the hypotheses.
Notation for the affine structure group and the first Betti numbers should be introduced once and used consistently; minor inconsistencies appear in the comparison with Huang-Wang.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comment on the main rigidity result. We address the point below and have revised the paper to improve clarity and provide additional verification.

read point-by-point responses

Referee: Theorem 1.1 (or the main rigidity statement): the proof that the Betti-number equality implies classification appears to use the affine structure group to control the monodromy, but the precise step where the equality forces the bundle to be a product or a specific form is not fully expanded; a counter-example check or explicit computation for low-dimensional tori would strengthen the claim.

Authors: We agree that the proof of Theorem 1.1 would benefit from a more explicit tracing of the key implication. In the revised manuscript we have inserted a new paragraph immediately after the statement of the theorem that isolates the precise step: the Betti-number equality, together with the affine structure group, implies that the induced action on the first cohomology of the fiber is trivial, forcing the monodromy representation to factor through a unipotent subgroup whose only fixed point is the identity; this in turn yields that the bundle is affinely equivalent to a product bundle (or a canonical extension thereof). The argument uses only the long exact sequence of the fibration and the fact that the affine group preserves the flat structure. We have also added a short subsection containing an explicit low-dimensional verification: for principal T^2-bundles over S^1 satisfying the Betti-number condition we compute the possible monodromy matrices directly from the fundamental-group presentation and confirm that only the identity matrix occurs, matching the classification statement. These changes make the logical chain fully transparent without altering the original argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states a standard rigidity theorem: under the explicit hypothesis b1(M)−b1(N)=dimM−dimN for a torus bundle with affine structure group over closed N, a classification follows. This Betti-number equality is an external topological input, not obtained from the classification itself. The abstract frames the result as an improvement on the external reference Huang-Wang without any self-citation chain that bears the central load. No equations reduce a derived quantity to a fitted parameter or to a prior ansatz by the same authors; the derivation chain in bundle theory and collapsing geometry remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the work relies on standard manifold and bundle theory.

pith-pipeline@v0.9.0 · 5394 in / 1029 out tokens · 60838 ms · 2026-05-13T02:02:43.007617+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
If b₁(M)−b₁(N)=dim M−dim N holds for a torus bundle M with an affine structure group over a closed manifold N, then M can be classified.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
the Euler class C₁(M)=[O(σ₁)]∈H²(N;ℤ^{m-k})

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

[1]

Allen Hatcher, Algebraic topology, Cambridge University Press. (2002)

work page 2002
[2]

Salomon Bochner, Vector fields and Ricci curvature, Bull. Amer. Math. Soc. 52 (1946), 776-797

work page 1946
[3]

Salomon Bochner and Kentaro Yano, Curvature and Betti numbers , Annals of Mathematics Studies, No. 32. Princeton University Press, Princeton, N.J. (1953)

work page 1953
[4]

Bonanome, Margaret H

Marianna C. Bonanome, Margaret H. Dean, Judith Putnam Dean, A sampling of remarkable groups : Thomp- son’s, self-similar, lamplighter, and Baumslag-Solitar, Cham, Switzerland : Birkh¨auser, (2018)

work page 2018
[5]

Je ffCheeger and Mikhail Gromov, Collapsing Riemannian manifolds while keeping their curvature bounded , I. J. Differential Geom. 23 (1986), no. 3, 309-346

work page 1986
[6]

Je ffCheeger and Mikhail Gromov, Collapsing Riemannian manifolds while keeping their curvature bounded , II. J. Differential Geom. 32 (1990), no. 1, 269-298

work page 1990
[7]

Je ffCheeger, Kenji Fukaya and Mikhail Gromov,Nilpotent structures and invariant metrics on collapsed man- ifolds, J. Amer. Math. Soc. 5 (1992), no. 2, 327-372

work page 1992
[8]

Differential Geom

Kenji Fukaya, Collapsing Riemannian manifolds to ones of lower dimensions, J. Differential Geom. 25 (1987), no. 1, 139-156

work page 1987
[9]

Differential Geom

Kenji Fukaya, A boundary of the set of the Riemannian manifolds with bounded curvatures and diameters , J. Differential Geom. 28 (1988), no. 1, 1-21

work page 1988
[10]

Kenji Fukaya, Collapsing Riemannian manifolds to ones with lower dimension II , J. Math. Soc. Japan, 41 (1989), 333-356

work page 1989
[11]

Kenji Fukaya and Takao Yamaguchi, The fundamental groups of almost non-negatively curved manifolds, Ann. of Math. (2) 136 (1992), no. 2, 253-333

work page 1992
[12]

Gompf and A

R. Gompf and A. Stipsicz, 4-Manifolds and Kirby Calculus, Graduate Studies in Mathematics, V ol. 20, Ameri- can Mathematical Society, Providence, RI, (1999)

work page 1999
[13]

Differential Geom

Mikhail Gromov, Almost flat manifolds, J. Differential Geom. 13 (1978), no. 2, 231-241

work page 1978
[14]

Mikhail Gromov, Structures m´ etriques pour les vari´ et´ es Riemanniennes, Editions Cedic, Paris. (1981)

work page 1981
[15]

China Math

Shaosai Huang and Bing Wang, Rigidity of the first Betti number via Ricci flow smoothing , Sci. China Math. (2025)

work page 2025
[16]

Shaosai Huang and Bing Wang, Ricci flow smoothing for locally collapsing manifolds, arXiv:2008.09956

work page arXiv 2008
[17]

Hongzhi Huang, Fibrations, and stability for compact group actions on manifolds with local bounded Ricci covering geometry, arXiv:2002.07383

work page arXiv 2002
[18]

Hongzhi Huang; Lingling Kong; Xiaochun Rong; Shicheng Xu, Collapsed Manifolds With Ricci Bounded Covering Geometry, arXiv:1808.03774

work page arXiv
[19]

Milnor and James D

John W. Milnor and James D. Stashe ff, Characteristic Classes, Princeton University Press. (1974)

work page 1974
[20]

Shoshichi Kobayashi and Katsumi Nomizu, Foundations of Differential Geometry, Volume I, New York: Inter- science Publishers. (1963)

work page 1963
[21]

Vitali Kapovitch and Burkhard Wilking, Structure of fundamental groups of manifolds with Ricci curvature bounded below, arXiv:1105.5955

work page arXiv
[22]

5, 2575-2664

Aaron Naber and Ruobing Zhang, Topology and ε-regularity theorems on collapsed manifolds with Ricci cur- vature bounds, Geometry and Topology 20 (2016), no. 5, 2575-2664

work page 2016
[23]

Peter Petersen, Riemannian Geometry 3rd edition, New York: Springer-Verlag, GTM 171. (2016). 30 XIN PENG, BING W ANG, AND ZHENJIAN W ANG

work page 2016
[24]

Jiayin Pan and Zhu Ye, Nonnegative Ricci curvature, splitting at infinity, and first Betti number rigidity , arXiv:2404.10145

work page arXiv
[25]

Raghunathan, Discrete subgroups of Lie groups, Springer-Verlag

Madabusi S. Raghunathan, Discrete subgroups of Lie groups, Springer-Verlag. (1972)

work page 1972
[26]

Xiaochun Rong, Collapsed Riemannian manifolds with bounded sectional curvature, arXiv:math/0304267

work page arXiv
[27]

Xiaochun Rong, A New Proof of the Gromov’s Theorem on Almost Flat Manifolds, arXiv:1906.03377

work page arXiv 1906
[28]

Xiaochun Rong, Collapsed manifolds with local Ricci bounded covering geometry, arXiv:2211.09998

work page arXiv
[29]

Ruh, Almost flat manifolds, J

Ernst A. Ruh, Almost flat manifolds, J. Differential Geom. 17 (1982), no. 1, 1-14

work page 1982
[30]

Steenrod, The Topology of Fibre Bundles, Princeton University Press, New Jersey

N. Steenrod, The Topology of Fibre Bundles, Princeton University Press, New Jersey. (1951)

work page 1951
[31]

Sergio Zamora, First Betti Number and Collapse, arXiv:2209.12628. Xin Peng, S chool of Mathematical Sciences, U niversity of Science and Technology of China; H efei National Laboratory, Hefei 230088, China Email address: px2333@mail.ustc.edu.cn Bing Wang, Institute of Geometry and Physics, and School of MathematicalSciences, University of Science and Tech...

work page arXiv