pith. sign in

arxiv: 2606.08005 · v1 · pith:6NQ7F4BBnew · submitted 2026-06-06 · 🧮 math.GT · math.DS

Closed 4--Manifolds Foliated by Hyperplanes

Jos\'e M. Espinar , Harold Rosenberg This is my paper

Pith reviewed 2026-06-27 19:15 UTC · model grok-4.3

classification 🧮 math.GT math.DS
keywords 4-manifoldscodimension-one foliationstransversely oriented foliations4-torushomeomorphism classificationdiffeomorphismssmooth 1-formsR3 leaves
0
0 comments X

The pith

A closed orientable 4-manifold with a transversely oriented C² foliation by R³ leaves is homeomorphic to the 4-torus.

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

The paper classifies closed 4-manifolds that carry a codimension-one foliation with specific properties. Given a transversely oriented C² foliation on an orientable closed 4-manifold where every leaf is diffeomorphic to three-dimensional Euclidean space, the manifold must be homeomorphic to the four-torus. The conclusion strengthens to a diffeomorphism when the foliation admits a smooth defining 1-form. This extends classification results for foliated manifolds from lower dimensions by using the leaf structure to control the global topology.

Core claim

Let M⁴ be a closed, orientable 4-manifold carrying a transversely oriented C² codimension-one foliation whose leaves are diffeomorphic to R³. Then M⁴ is homeomorphic to the 4-torus T⁴. Moreover, whenever the original smooth structure on M admits a smooth defining 1-form, the conclusion sharpens to a diffeomorphism M ≅ T⁴.

What carries the argument

The transversely oriented C² codimension-one foliation with all leaves diffeomorphic to R³, which constrains the fundamental group and homotopy type through the leaf space and holonomy.

If this is right

  • No other closed orientable 4-manifolds besides the 4-torus can carry such a foliation.
  • The existence of the foliation forces the fundamental group to be Z⁴.
  • When a smooth defining 1-form is present, the smooth structure must match the standard one on T⁴.
  • The result rules out such foliations on 4-manifolds with different Euler characteristics or signatures.

Where Pith is reading between the lines

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

  • Similar foliation hypotheses might classify tori in higher even dimensions under adjusted regularity.
  • Relaxing C² to C¹ could permit counterexamples on other manifolds, suggesting a regularity threshold.
  • The leaf space being a circle implies the manifold fibers over S¹ in a controlled way.

Load-bearing premise

The foliation must be C², transversely oriented, and have every leaf diffeomorphic to R³.

What would settle it

Exhibiting a closed orientable 4-manifold not homeomorphic to T⁴ that admits a transversely oriented C² foliation with all leaves diffeomorphic to R³ would falsify the claim.

read the original abstract

Let $M^4$ be a closed, orientable $4$--manifold carrying a transversely oriented $C^2$ codimension--one foliation whose leaves are diffeomorphic to $\mathbb{R}^3$. We prove that $M^4$ is homeomorphic to the $4$--torus $\mathbb{T}^4$. We also show that, whenever the original smooth structure on $M$ admits a smooth defining $1$--form, the conclusion sharpens to a diffeomorphism $M\cong\mathbb{T}^4$.

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 / 0 minor

Summary. The manuscript proves that any closed orientable 4-manifold M admitting a transversely oriented C² codimension-one foliation with all leaves diffeomorphic to ℝ³ is homeomorphic to the 4-torus T⁴. When the smooth structure on M additionally admits a smooth defining 1-form, the conclusion strengthens to a diffeomorphism M ≅ T⁴.

Significance. If the arguments hold, this is a notable rigidity result in 4-manifold topology and foliation theory. It shows that the given foliation hypotheses force the manifold to be topologically (and smoothly, under an extra hypothesis) a torus, consistent with standard techniques for analyzing holonomy, transverse flows, and developing maps in codimension-1 foliations. The clean separation between the homeomorphism and diffeomorphism statements is a strength of the presentation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation proceeds from the stated hypotheses (transversely oriented C² codim-1 foliation with leaves diffeomorphic to ℝ³, plus optional smooth defining 1-form) via standard foliation-theoretic tools such as holonomy, transverse flows, and developing maps on the universal cover to conclude that the quotient yields T⁴. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the separation of homeomorphism versus diffeomorphism cases is conditioned explicitly on an independent smoothness datum. The argument is self-contained against external benchmarks in codim-1 foliation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated. Standard background facts from manifold theory and foliation theory are implicitly used but not detailed.

pith-pipeline@v0.9.1-grok · 5616 in / 1018 out tokens · 21871 ms · 2026-06-27T19:15:29.080875+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

33 extracted references · 2 linked inside Pith

  1. [1]

    Bartels and W

    A. Bartels and W. Lück, The Borel conjecture for hyperbolic and CAT(0)–groups, Ann. of Math. (2)175(2012), no. 2, 631–689

    2012

  2. [2]

    F. T. Farrell and L. E. Jones, The surgeryL–groups of poly-(finite or cyclic) groups, Invent. Math.91(1988), no. 3, 559–586

    1988

  3. [3]

    M. H. Freedman and F. Quinn,Topology of4–Manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990

    1990

  4. [4]

    Gabai, Foliations and3–manifolds, in: Proceedings of the International Congress of Math- ematicians, Vol

    D. Gabai, Foliations and3–manifolds, in: Proceedings of the International Congress of Math- ematicians, Vol. I, II (Kyoto, 1990), pp. 609–619, Math. Soc. Japan, Tokyo, 1991

    1990

  5. [5]

    S. E. Goodman, Closed leaves in foliations of codimension one, Comment. Math. Helv.50 (1975), 383–388

    1975

  6. [6]

    S. E. Goodman and J. F. Plante, Holonomy and averaging in foliated sets, J. Differential Geom.14(1979), no. 3, 401–407

    1979

  7. [7]

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

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

    2002

  8. [8]

    Hatcher, Homeomorphisms of sufficiently largeP2–irreducible3–manifolds, Topology15 (1976), no

    A. Hatcher, Homeomorphisms of sufficiently largeP2–irreducible3–manifolds, Topology15 (1976), no. 4, 343–347

    1976

  9. [9]

    Hatcher, Concordance spaces, higher simple–homotopy theory, and applications, in:Al- gebraic and Geometric Topology(Proc

    A. Hatcher, Concordance spaces, higher simple–homotopy theory, and applications, in:Al- gebraic and Geometric Topology(Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, Proc. Sympos. Pure Math.,XXXII, pp. 3–21, Amer. Math. Soc., Providence, RI, 1978

    1976

  10. [10]

    Hatcher and J

    A. Hatcher and J. Wagoner,Pseudo–isotopies of compact manifolds, Astérisque, No. 6, Société Mathématique de France, Paris, 1973

    1973

  11. [11]

    Hector and U

    G. Hector and U. Hirsch,Introduction to the Geometry of Foliations. Part B: Foliations of Codimension One, Aspects of Mathematics, vol. E3, Friedr. Vieweg & Sohn, Braunschweig, 1983

    1983

  12. [12]

    M. W. Hirsch, A stable analytic foliation with only exceptional minimal sets, in: A. Manning (ed.),Dynamical Systems—Warwick 1974, Lecture Notes in Mathematics, vol. 468, pp. 9–10, Springer, Berlin/Heidelberg, 1975

    1974

  13. [13]

    Hsiang and J

    W.-C. Hsiang and J. L. Shaneson, Fake tori, the annulus conjecture, and the conjectures of Kirby, Proc. Nat. Acad. Sci. U.S.A.62(1969), no. 3, 687–691

    1969

  14. [14]

    Hsiang and C

    W.-C. Hsiang and C. T. C. Wall, On homotopy tori II, Bull. London Math. Soc.1(1969), 341–342

    1969

  15. [15]

    Imanishi, On the theorem of Denjoy–Sacksteder for codimension one foliations without holonomy, J

    H. Imanishi, On the theorem of Denjoy–Sacksteder for codimension one foliations without holonomy, J. Math. Kyoto Univ.14(1974), no. 3, 607–634

    1974

  16. [16]

    Li, Commutator subgroups and foliations without holonomy, Proc

    T. Li, Commutator subgroups and foliations without holonomy, Proc. Amer. Math. Soc.130 (2002), no. 8, 2471–2477

    2002

  17. [17]

    Moerdijk and J

    I. Moerdijk and J. Mrčun,Introduction to Foliations and Lie Groupoids, Cambridge Studies in Advanced Mathematics, vol. 91, Cambridge University Press, Cambridge, 2003

    2003

  18. [18]

    E. E. Moise, Affine structures in 3-manifolds. V. The triangulation theorem and Hauptvermu- tung, Ann. of Math. 56 (1952), 96–114

    1952

  19. [19]

    E. E. Moise, Geometric Topology in Dimensions 2 and 3, Springer, 1977

    1977

  20. [20]

    S. P. Novikov, Topology of foliations, Trans. Moscow Math. Soc. 14 (1965), 268–305

    1965

  21. [21]

    C. F. B. Palmeira, Open manifolds foliated by planes, Ann. of Math. (2)107(1978), no. 1, 109–131

    1978

  22. [22]

    Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv:math/0211159

    G. Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv:math/0211159

    Pith/arXiv arXiv

  23. [23]

    Perelman, Ricci flow with surgery on three-manifolds, arXiv:math/0303109

    G. Perelman, Ricci flow with surgery on three-manifolds, arXiv:math/0303109

    Pith/arXiv arXiv

  24. [24]

    Rosenberg,Foliations by planes, Topology7(1968), 131–138

    H. Rosenberg,Foliations by planes, Topology7(1968), 131–138

    1968

  25. [25]

    Sacksteder,Foliations and pseudogroups, Amer

    R. Sacksteder,Foliations and pseudogroups, Amer. J. Math.87(1965), 79–102

    1965

  26. [26]

    Scott, The geometries of 3-manifolds, Bull

    P. Scott, The geometries of 3-manifolds, Bull. London Math. Soc. 15 (1983), 401–487. 12

    1983

  27. [27]

    Stallings,On fibering certain3–manifolds, in: M

    J. Stallings,On fibering certain3–manifolds, in: M. K. Fort, Jr. (ed.),Topology of3–Manifolds and Related Topics(Proc. The Univ. of Georgia Institute, 1961), pp. 95–100, Prentice–Hall, Englewood Cliffs, NJ, 1962

    1961

  28. [28]

    Tischler,On fibering certain foliated manifolds overS1, Topology9(1970), 153–154

    D. Tischler,On fibering certain foliated manifolds overS1, Topology9(1970), 153–154

    1970

  29. [29]

    Waldhausen, On irreducible3–manifolds which are sufficiently large, Ann

    F. Waldhausen, On irreducible3–manifolds which are sufficiently large, Ann. of Math. (2)87 (1968), 56–88

    1968

  30. [30]

    Fayad and K

    B. Fayad and K. Khanin, Smooth linearization of commuting circle diffeomorphisms, Ann. of Math. (2)170(2009), no. 2, 961–980

    2009

  31. [31]

    Yokoyama and T

    T. Yokoyama and T. Tsuboi, Codimension one minimal foliations and the fundamental groups of leaves, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 2, 723–731

    2008

  32. [32]

    Yokoyama,Codimension one minimal foliations and the fundamental groups of leaves, Ph.D

    T. Yokoyama,Codimension one minimal foliations and the fundamental groups of leaves, Ph.D. thesis (in Japanese), Graduate School of Mathematical Sciences, The University of Tokyo,

  33. [33]

    Advisor: T. Tsuboi. UTokyo Gakui Ronbun no. 121569; abstract available athttp: //gakui.dl.itc.u-tokyo.ac.jp/cgi-bin/gazo.cgi?no=121569. 13