Closed $4$--Manifolds Foliated by Hyperplanes

Abstract: Let $M<sup>4$ be a closed, orientable $4$--manifold carrying a transversely oriented $C<sup>2$ codimension--one foliation whose leaves are diffeomorphic to $\mathbb{R}<sup>3$. We prove that $M<sup>4$ is homeomorphic to the $4$--torus $\mathbb{T}<sup>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}<sup>4$.

• The paper proves that any closed, orientable 4-manifold with a C² codimension-one foliation by hyperplanes is homeomorphic to T⁴.
• It establishes that the presence of a smooth, nowhere-vanishing closed 1-form elevates the classification to a diffeomorphism with T⁴, ensuring smooth rigidity.
• The study employs holonomy arguments, period homomorphisms, and surgery theory to differentiate between topological and smooth aspects of manifold classification.

Closed 4-Manifolds Foliated by Hyperplanes: A Detailed Survey

Introduction and Motivation

The paper "Closed $4$--Manifolds Foliated by Hyperplanes" (2606.08005) seeks to fully characterize closed, orientable $4$-manifolds that admit a $C^2$, codimension-one foliation by hyperplanes—that is, foliations where every leaf is diffeomorphic to $\mathbb{R}^3$. Extending H. Rosenberg’s classical result in dimension three (namely, that the $3$-torus $T^3$ is the only closed $3$-manifold foliated by planes), the authors resolve the analogous question in dimension four. They prove that such a manifold must be homeomorphic to the $4$-torus $T^4$, with a sharpened conclusion in the presence of extra regularity: if the foliation admits a smooth, nowhere-vanishing closed defining $1$-form, then the manifold is not only homeomorphic but diffeomorphic to $4$0.

Main Results

The central theorem establishes:

• Homeomorphism Classification: If $4$1 is a closed, orientable $4$2-manifold with a $4$3 transversely oriented codimension-one foliation, all of whose leaves are diffeomorphic to $4$4, then $4$5 is homeomorphic to $4$6.

Under an additional smoothness assumption:

• Diffeomorphism Classification: If the smooth structure of $4$7 admits a smooth, nowhere-vanishing closed $4$8-form defining the foliation, then $4$9 is diffeomorphic to $C^2$0.

A thorough exploration is presented of the gap between topological and smooth structures in dimension four, as well as the essential role of the simple-connectedness of the leaves versus the weaker property of leafwise diffeomorphism.

Methodology and Key Proof Elements

Holonomy and Leaf Topology

Simple-connectedness of the leaves ($C^2$1 for each leaf $C^2$2) is shown to force the foliation to be without holonomy. The absence of holonomy is crucial: it implies, via Sacksteder’s theorem, the existence of a nowhere-vanishing closed $C^2$3-form (continuous and leafwise smooth) whose kernel is the tangent distribution of the foliation.

Closed 1-Form, Smoothing, and Flow Dynamics

Because Sacksteder's theorem may not yield a closed $C^2$4-form compatible with the original smooth structure, the authors invoke Imanishi’s smoothing theorem: given a transversely orientable $C^2$5 foliation without holonomy, there exists a $C^2$6 differentiable structure in which the foliation and closed defining $C^2$7-form are both $C^2$8. This strategic shift of differentiable structure allows the use of smooth calculus and flow techniques.

A key technical ingredient is the construction of a global vector field transverse to the foliation, whose flow preserves the leaves and for which the closed $C^2$9-form evaluates to unity. This enables a global product decomposition on the universal cover, yielding a diffeomorphism between the universal cover of $\mathbb{R}^3$0 and $\mathbb{R}^3$1.

Fundamental Group and Cohomological Arguments

The authors leverage the existence of the closed $\mathbb{R}^3$2-form to construct an injective period homomorphism from $\mathbb{R}^3$3 into $\mathbb{R}^3$4, showing that the fundamental group is free abelian and torsion-free, hence $\mathbb{R}^3$5 for some $\mathbb{R}^3$6. Cohomological arguments combined with Poincaré duality and the Künneth theorem pin down the rank, yielding $\mathbb{R}^3$7.

Surgery and Topological Rigidity

With the identification $\mathbb{R}^3$8 and universal cover $\mathbb{R}^3$9, $3$0 is an aspherical manifold of dimension four with abelian, torsion-free fundamental group. Then, combining the topological rigidity theorems of Freedman-Quinn, Farrell-Jones, and others, any such topological manifold is homeomorphic to $3$1.

The Smooth Case

If the foliation is defined by a smooth, nowhere-vanishing closed $3$2-form, Tischler’s theorem implies $3$3 fibers smoothly over $3$4 with $3$5 fibers. The geometrization theorem (Perelman), the uniqueness of smooth structures on $3$6-manifolds (Moise), and Waldhausen’s and Hatcher’s results on diffeomorphisms homotopic to the identity establish that the only possibility is a smooth $3$7-bundle over $3$8 with trivial monodromy, thus $3$9 is diffeomorphic to $T^3$0.

Implications and Scope

The results reveal a striking rigidity: among all closed, orientable $T^3$1-manifolds, only $T^3$2 can admit a $T^3$3 codimension-one foliation by hyperplanes. The distinction between homeomorphism and diffeomorphism reflects the well-known divergence in smooth classification in dimension four, underscoring the delicacy of such statements.

Moreover, the necessity of the contractibility of leaves is highlighted. The paper gives explicit counterexamples (Hirsch, Goodman) demonstrating that mere pairwise diffeomorphism of leaves is not sufficient to constrain the smooth or topological type of the underlying manifold—only simple-connectedness of all leaves enforces the collapse of holonomy and the existence of a closed $T^3$4-form.

The methods generalize to higher dimensions in the topological category, as detailed in the concluding remarks. For $T^3$5, any closed, orientable $T^3$6-manifold with a codimension-one foliation by contractible hyperplanes is homeomorphic to $T^3$7, with further details depending on higher-dimensional surgery theory. However, the smooth classification result is truly special to dimension four, as classical results about exotic tori and diffeomorphism groups demonstrate nontrivial Torelli subgroups and exotic smooth structures in higher dimensions.

Quantitative and Contradictory Highlights

• Strong Classification: For $T^3$8 codimension-one foliations by $T^3$9, the only closed orientable $3$0-manifold is (topologically) $3$1.
• Smooth Diffeomorphism: Presence of a smooth, nowhere-vanishing closed $3$2-form enforcing the foliation elevates the homeomorphism to a diffeomorphism.
• Generic Foliations Insufficient: Leaves being merely diffeomorphic or all pairwise diffeomorphic is not sufficient to constrain $3$3 to be a torus.
• Exotic Structures: The result depends crucially on four-dimensional topology; in higher dimensions, topological classification persists, but smooth rigidity does not.

Future Directions

This work positions the torus as the model for codimension-one foliations with contractible leaves in all dimensions, modulo the appropriate regularity and topological machinery. Open avenues for research include:

• Lower Regularity Foliations: Extensions or obstructions to analogous rigidity results at $3$4 or $3$5 regularity, connecting with the delicate issues in foliation theory related to holonomy and leafwise smoothness.
• Exotic Smooth Structures: Further investigation into the interaction between foliations and exotic smooth structures, particularly in higher dimensions.
• Holonomy-Free Foliations: Study and classification of codimension-one (and higher) foliations with specified group-theoretic holonomy conditions, including possible generalizations to other types of leaves.

Conclusion

The authors have completed the classification of closed, orientable $3$6-manifolds foliated by hyperplanes of class $3$7, demonstrating that the $3$8-torus $3$9 is uniquely distinguished both topologically and, under a closed $4$0-form regularity condition, smoothly. The techniques elegantly blend foliation theory, group cohomology, smoothing theory, and surgery arguments to provide an exhaustive answer to a natural geometric-topological question, and concurrently underscore critical regularity boundaries and the special character of dimension four.