pith. sign in

arxiv: 2105.02150 · v2 · submitted 2021-05-05 · 🧮 math.DG

Rational spheres and double disk bundles

Jason DeVito , Martin Kerin This is my paper

Pith reviewed 2026-05-24 12:59 UTC · model grok-4.3

classification 🧮 math.DG
keywords double disk bundlesrational homology spheressimply connected manifoldsmanifold decompositionscohomology groupshomeomorphism to spheres
0
0 comments X

The pith

A closed simply connected even-dimensional manifold that is both a double disk bundle and a rational homology sphere must be homeomorphic to a sphere.

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

The paper establishes that any closed simply connected n-manifold with n even, when decomposed as the union of two disk bundles glued along their boundaries and having the rational homology of a sphere, must be homeomorphic to the standard sphere. This classification shows that the double disk bundle structure combined with the homology condition forces the manifold to be standard in even dimensions. A reader cares because the result rules out non-standard examples and provides a concrete way to identify when such manifolds are spheres. An additional result shows that highly connected rational homology spheres with a double disk bundle structure have cyclic middle cohomology in any dimension.

Core claim

If M^n is a closed simply connected n-manifold with n even which is simultaneously a double disk bundle and a rational homology sphere, then M must be homeomorphic to a sphere. In addition, in any dimension, if M is a highly connected rational homology sphere which supports a double disk bundle structure, then its middle cohomology group must be cyclic.

What carries the argument

The double disk bundle decomposition, in which the manifold is expressed as the union of two disk bundles glued together by a diffeomorphism of their boundaries.

If this is right

  • The manifold must be homeomorphic to the sphere under the stated conditions in even dimensions.
  • The middle cohomology group of a highly connected rational homology sphere with double disk bundle structure is cyclic in any dimension.
  • No non-standard examples of such manifolds exist in even dimensions.
  • The double disk bundle structure restricts the possible rational homology in the middle dimension for highly connected cases.

Where Pith is reading between the lines

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

  • The result indicates that double disk bundle structures may impose strong restrictions on rational homology in even dimensions even without simple connectedness.
  • The cyclic middle cohomology condition could be combined with other invariants to study the existence of such manifolds in odd dimensions.
  • Similar classification statements might be provable if the simple connectedness hypothesis is replaced by other topological assumptions.

Load-bearing premise

The manifold is simply connected, which is used to pass from the double disk bundle decomposition and rational homology of a sphere to the conclusion of homeomorphism to a sphere.

What would settle it

Exhibiting a closed simply connected even-dimensional manifold that admits a double disk bundle structure, has the rational homology of a sphere, yet is not homeomorphic to a sphere would falsify the central claim.

read the original abstract

A manifold $M$ is said to be a double disk bundle if it can be decomposed as a union of two disk bundles glued together by a diffeomorphism of their boundaries. We show that if $M^n$ is a closed simply connected $n$-manifold with $n$ even which is simultaneously a double disk bundle and a rational homology sphere, then $M$ must be homeomorphic to a sphere. In addition, we show that in any dimension, if $M$ is a highly connected rational homology sphere which supports a double disk bundle structure, then its "middle" cohomlogy group must be cyclic.

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

0 major / 1 minor

Summary. The paper defines a double disk bundle as a manifold decomposed into two disk bundles glued along their boundaries by a diffeomorphism. It proves that a closed simply connected even-dimensional manifold that is both a double disk bundle and a rational homology sphere must be homeomorphic to a sphere. It also proves that any highly connected rational homology sphere admitting a double disk bundle structure has cyclic middle cohomology.

Significance. If the results hold, they give a topological characterization of spheres among rational homology spheres with this decomposition property, using standard tools from algebraic topology. The proofs rely on the Mayer-Vietoris sequence applied to the disk bundle decomposition, combined with the rational homology sphere condition to force the bases to be rationally acyclic, yielding a homotopy sphere; simple connectedness and even dimension then allow application of the h-cobordism theorem (or Freedman's theorem in dimension 4) for the homeomorphism conclusion. The secondary result on middle cohomology follows directly from the same sequence. These are clean applications of existing methods with no ad-hoc parameters or invented entities.

minor comments (1)
  1. [Abstract] Abstract: 'cohomlogy' is a typo and should read 'cohomology'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment and recommendation to accept the manuscript. The report accurately summarizes the main results and the methods employed.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The manuscript establishes its main result via a direct application of the Mayer-Vietoris sequence to the given double-disk-bundle decomposition of M, using the rational-homology-sphere hypothesis to force the base spaces to be rationally acyclic and the glued manifold to be a homotopy sphere; even dimension plus simple connectedness then invokes the h-cobordism theorem (or Freedman’s theorem in dimension 4) to conclude homeomorphism to the sphere. The secondary claim on cyclic middle cohomology is an immediate consequence of the same long exact sequence. All steps rest on classical algebraic-topology tools with no parameter fitting, no self-definitional equivalences, and no load-bearing self-citations whose content reduces to the present argument. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard axioms of algebraic topology (rational homology, Poincare duality for manifolds) and differential topology (disk bundles, diffeomorphisms of boundaries); no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Rational homology groups of the manifold match those of a sphere
    Invoked directly in the statement of the main theorem
  • standard math Manifolds are closed, orientable, and admit disk bundle decompositions with boundary gluings by diffeomorphisms
    Definition of double disk bundle and setup for the theorem

pith-pipeline@v0.9.0 · 5619 in / 1208 out tokens · 23001 ms · 2026-05-24T12:59:42.378430+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    and Wallach, N., An infinite family of distinct 7-manifolds admitting positively curved Riemannian structures , Bull

    Aloff, S. and Wallach, N., An infinite family of distinct 7-manifolds admitting positively curved Riemannian structures , Bull. Amer. Math. Soc. 81 (1975), no 1., 93–97

    work page 1975

  2. [2]

    Barden, D., Simply connected 5–manifolds, Ann. of Math. 82 (1965) 365–385

    work page 1965

  3. [3]

    and Gromoll, D., On the structure of complete manifolds of non- negative curvature, Ann

    Cheeger, J. and Gromoll, D., On the structure of complete manifolds of non- negative curvature, Ann. of Math. (2) 96 (1972), 413–43

    work page 1972

  4. [4]

    DeVito, J., The classification of compact simply connected biquotients in di- mension 6 and 7, Math. Ann. 368 (2017), 1493–1541

    work page 2017

  5. [5]

    DeVito, J., Galaz-Garc ´ ıa, F., and Kerin, M., Manifolds that admit a double disk bundle decomposition , https://arxiv.org/abs/2008.10278

    work page arXiv 2008

  6. [6]

    and Kennard, L., Cohomogeneity one manifolds with singly gener- ated rational cohomology, Documenta Math

    DeVito, J. and Kennard, L., Cohomogeneity one manifolds with singly gener- ated rational cohomology, Documenta Math. 25 (2020), 1835–1863

    work page 2020

  7. [7]

    China Math

    Fang, F., Dual submanifolds in rational homology spheres , Sci. China Math. 60 (2017), 1549–1560. 20 J. DEVITO

    work page 2017

  8. [8]

    and Halperin, S., Formal spaces with finite-dimensional rational ho- motopy, Trans

    F´ elix Y. and Halperin, S., Formal spaces with finite-dimensional rational ho- motopy, Trans. Amer. Math. Soc. 270 (1982), 575–588

    work page 1982

  9. [9]

    and Radeschi, M., Differentiable classification of 4-manifolds with sin- gular Riemannian foliations , Math

    Ge, J. and Radeschi, M., Differentiable classification of 4-manifolds with sin- gular Riemannian foliations , Math. Ann. 363 (2015), no. 1-2, 525–548

    work page 2015

  10. [10]

    and Tang, Z., Isoparametric functions and exotic spheres , J

    Ge, J. and Tang, Z., Isoparametric functions and exotic spheres , J. Reine Angew. Math. 683 (2013), 161–180

    work page 2013

  11. [11]

    Lecture Ser., 27, Amer

    Grove, K., Geometry of, and via, symmetries , Conformal, Riemannian and Lagrangian geometry (Knoxville, TN, 2000), 31–53, Univ. Lecture Ser., 27, Amer. Math. Soc., Providence, RI, 2002

    work page 2000

  12. [12]

    and Halperin, S., Dupin hypersurfaces, group actions and the double mapping cylinder , J

    Grove, K. and Halperin, S., Dupin hypersurfaces, group actions and the double mapping cylinder , J. Differential Geom. 26 (1987), no. 3, 429–459

    work page 1987

  13. [13]

    Hatcher, A., Algebraic Topology , Cambridge University Press, Cambridge, 2002

    work page 2002

  14. [14]

    A., Classification of cohomogeneity one manifolds in low dimen- sions, Pacific J

    Hoelscher, C. A., Classification of cohomogeneity one manifolds in low dimen- sions, Pacific J. Math. 246 (2010), no. 1, 129–185

    work page 2010

  15. [15]

    and Ziller, W., Biquotients with singly generated rational coho- mology, Geom

    Kapovitch, V. and Ziller, W., Biquotients with singly generated rational coho- mology, Geom. Dedicata 104 (2004), 149–160

    work page 2004

  16. [16]

    G., Concerning the cohomology ring of a sphere bundle , Pacific J

    Malm, D. G., Concerning the cohomology ring of a sphere bundle , Pacific J. Math. 9 (1959), 1191–1214

    work page 1959

  17. [17]

    Milnor, J., Some consequences of a theorem of Bott , Ann. of Math. (2) 68 (1958), 444–449

    work page 1958

  18. [18]

    Mendes, R. A. E. and Radeschi, M., A slice theorem for singular Riemannian foliations, with applications , Trans. Amer. Math. Soc. 371 (2019), no. 7, 493– 4949

    work page 2019

  19. [19]

    Mostert, P., On a compact Lie group acting on a manifold , Ann. of Math. (2) 65 (1957), 447–455

    work page 1957

  20. [20]

    F., Isoparametrische Hyperfl¨ achen in Sph¨ aren, Math

    M¨ unzner, H. F., Isoparametrische Hyperfl¨ achen in Sph¨ aren, Math. Ann. 251 (1980), no. 1, 57–71

    work page 1980

  21. [21]

    and Rigas, A

    P¨ uttmann, T. and Rigas, A. Presentations of the first homotopy groups of the unitary groups , Comment. Math. Helv. 78 (2003), 648–662

    work page 2003

  22. [22]

    Quillen, D., The mod 2 cohomology rings of extra-special 2-groups and the spinor Groups , Math. Ann. 194 (1971), 197–212

    work page 1971

  23. [23]

    and Tang, Z., Isoparametric functions on exotic spheres , Adv

    Qian, C. and Tang, Z., Isoparametric functions on exotic spheres , Adv. Math. 272 (2015), 611–629

    work page 2015

  24. [24]

    Smale, S., Generalized Poincar´ e’s conjecture in dimensions greater than four , Ann. of Math. 74 (1961) 391–406

    work page 1961

  25. [25]

    Smale, S., On the structure of 5-manifolds, Ann. of Math. 75 (1962) 38–46

    work page 1962

  26. [26]

    Stolz, S., Multiplicities of Dupin hypersurfaces, Invent. Math. 138 (1999), no. 2, 253–279

    work page 1999

  27. [27]

    Differen- tial Geom

    Totaro, B., Cheeger manifolds and the classification of biquotients , J. Differen- tial Geom. 61 (2002), no. 3, 397–451. (J. DeVito) Department of Mathematics, University of Tennessee at Martin, USA. Email address : jdevito1@utm.edu

    work page 2002