How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
The Reeb foliation of the solid torus has the boundary as a leaf
Statement
Assume (The countable-choice principle used in the foliation pair). Let be the solid torus, where (Euclidean spheres and closed balls as subspaces of ) and is the boundary torus (The two-dimensional torus ). Define by for , with , and consider the level sets of the submersion on ; add the boundary as a leaf. This defines a codimension-one regular foliation of tangent to (Smooth foliations tangent to the boundary), and:
- the boundary is a compact leaf diffeomorphic to ;
- every other leaf is diffeomorphic to and accumulates on the boundary leaf;
- the foliation is invariant under the translation , so it descends to the quotient ;
- the holonomy group of the boundary leaf is infinite: the holonomy of the loop in the -factor through a boundary point is represented by the germ of the contraction determined by , a non-identity germ of a one-sided interval; consequently the boundary leaf is compact but has infinite holonomy and is not stable (Stable leaves).
Facts & Assumptions
Given: The solid torus , the function and the submersion on the open solid cylinder.
Let be a smooth submersion. Then the kernel distribution is integrable, and its maximal connected integral manifolds are the connected components of the level sets of (The kernel distribution of a constant-rank submersion is integrable).
On a manifold, regular foliations and integrable distributions determine each other: an integrable distribution defines a regular foliation atlas whose leaves are its maximal integral manifolds (Regular foliations and integrable distributions correspond).
A regular foliation of a manifold with boundary is tangent to the boundary when its atlas is compatible with the model decomposition of the half-space and the boundary is a union of leaves; near a boundary point the leaves are intersections of the model plaques with the half-space (Smooth foliations tangent to the boundary).
Assume . A free properly discontinuous action by diffeomorphisms preserving a regular foliation descends the foliation to the quotient, whose leaves are the images of the leaves, and the quotient carries the quotient smooth structure (The quotient foliation under a free and properly discontinuous foliated action).
The closed unit disk is the topological subspace (Euclidean spheres and closed balls as subspaces of ). A smooth boundary atlas consists of compatible half-space charts in the local-extension sense (Smooth charts, atlases, and structures with boundary). Its concrete disk atlas and the plane parametrization are supplied in step 1.1.
The two-dimensional torus is with the product topology; the boundary of the solid torus is (The two-dimensional torus ).
A diffeomorphism is a bijective smooth map with smooth inverse; the exponential function is smooth and strictly increasing on , and is smooth in , strictly increasing on with image and tends to as (Diffeomorphisms and local diffeomorphisms of manifolds).
A leaf is stable when every open neighbourhood of it contains a saturated neighbourhood of it, that is, an open neighbourhood that is a union of leaves (Stable leaves).
A nowhere-zero smooth one-form whose wedge with its exterior derivative is zero has integrable kernel, and involutive distributions admit foliation charts (The codimension-one Frobenius criterion, Frobenius local coordinate theorem).
Proof
(The disk, submersion and level sets.) The usual Cartesian charts cover the disk interior. Near each boundary point, choose a branch of the polar angle and use as a half-space chart; its inverse is and extends smoothly to negative . Overlap changes and their inverses extend smoothly, giving the disk its smooth boundary structure by F5. The map from the open disk to has smooth inverse , so the disk interior is diffeomorphic to the plane. On the open solid cylinder the differential of has , so is a submersion [F7]. By [F1] its kernel distribution is integrable and the maximal integral manifolds are the connected level sets, which therefore define a regular codimension-one foliation [F2]. For a fixed level , the level set is the graph of a smooth function over the disk interior, hence is diffeomorphic to ; so all leaves are planes [F5, F7].
(Accumulation after the circle quotient.) Translation sends the level to the level . The image of a level graph in is embedded intrinsically as a plane: its disk projection is injective and its chartwise inverse is smooth. At any boundary point with meridional angle and longitude , choose large integers and the unique radii satisfying . Since is increasing with image and diverges at one, ; the points on the quotient leaf tend to that boundary point. Thus every interior quotient leaf accumulates on the entire boundary torus. This conclusion is about the circle quotient: a graph in the unquotiented cylinder has as and does not accumulate at a finite boundary-cylinder point.
(Holonomy of the boundary leaf and non-stability.) Parametrize a one-sided radial transversal near a boundary point by ; following the loop of the -factor once returns to the same transversal at the parameter determined by , which exists and is unique because is strictly increasing with image and satisfies ; as we have [F7]. The transport germ is therefore the non-identity one-sided contraction ; its iterates with are again non-identity near the boundary, so the holonomy group of the boundary leaf is infinite. If the boundary leaf were stable, then the open neighbourhood of the boundary leaf would contain a saturated neighbourhood of it [F8]; but is open and contains the boundary leaf, hence contains a point with close to , and being saturated contains the whole leaf through , which is a plane meeting the circle and so is not contained in . This contradiction shows the compact boundary leaf with infinite holonomy is not stable, while the interior leaves are planes accumulating on it.
(Smooth boundary tangency and quotient.) Near set . This function extends smoothly by zero at and beyond , with every derivative zero there: each differentiated term is a polynomial in times the exponential and a smooth factor near one, and the exponential decays faster than every power. The form is nowhere zero, satisfies , and has the same kernel as in the interior collar. Its zero extension gives a regular integrable distribution on a collar crossing the boundary by F9. The boundary is an integral hypersurface; a Frobenius chart centered there makes it a central plaque, so restricting that chart to the half-collar gives genuine boundary-tangent half-space foliation charts. These agree with the interior level-set foliation and make the connected boundary cylinder one leaf. Translation in preserves and the interior foliation; it is free and properly discontinuous. To apply the boundaryless quotient supplier F4 exactly, extend the disk radius to and use the zero extension of in the added collar. There the kernel of is the product foliation by ; it agrees with the interior foliation in the original collar and is translation-invariant. The -translation action on this boundaryless extension is free, and only finitely many integer translates of a compact set can meet it because its -projection is bounded. F4 therefore gives its smooth foliated quotient. Restrict to the invariant closed submanifold : the half-space charts already obtained give this restriction its regular boundary-tangent foliation on the solid torus, with boundary leaf and accumulation as proved in step 1.2 [F3, F4]. The smooth nonzero form in the disk interior can also be scaled by a positive function to equal in the collar, providing a coorientation.
The boundary is a compact leaf, every other leaf is a plane accumulating on it, the foliation descends to the solid torus, and the boundary leaf has infinite holonomy and is not stable, as claimed.
Depends on
- Smooth foliations tangent to the boundary
- The kernel distribution of a constant-rank submersion is integrable
- Regular foliations and integrable distributions correspond
- The quotient foliation under a free and properly discontinuous foliated action
- Euclidean spheres and closed balls as subspaces of $\mathbb{R}^n$
- Smooth charts, atlases, and structures with boundary
- The two-dimensional torus $T^2=(\mathbb R/\mathbb Z)^2$
- Embedded submanifolds and slice charts
- Diffeomorphisms and local diffeomorphisms of manifolds
- The countable-choice principle used in the foliation pair
- Stable leaves
- The codimension-one Frobenius criterion
- Frobenius local coordinate theorem
Used by
- A Reeb component has a compact boundary leaf with infinite holonomy Counterexample
- Reeb components of a codimension-one foliation Definition
- The Reeb foliation of the three-sphere is not taut Example
- A Reeb component obstructs tautness Lemma
- The primitive pi cap block embeds and gives the global Reeb model Lemma
- Gluing two Reeb components gives a foliation of the three-sphere Proposition
- A compact leaf neither has finite holonomy nor finite fundamental group automatically Remark
Dependency tree · two levels
60 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Danny Calegari, Foliations and the Geometry of 3-Manifolds (Oxford Mathematical Monographs; complete author-hosted PDF) (standard reference, not scraped)
- Leiden NCG seminar, Noncommutative Geometry of Foliations (2023 seminar notes; complete PDF) (standard reference, not scraped)