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.
Reeb components of a codimension-one foliation
Definition
Assume Countable Choice . Let be a codimension-one regular foliation of a -manifold , and let be the closed solid torus with its standard Reeb foliation (The Reeb foliation of the solid torus has the boundary as a leaf): the boundary is a compact leaf diffeomorphic to and every interior leaf is a plane accumulating on . A Reeb component of is a saturated subset , compact as a subset, for which there is a homeomorphism mapping leaves of onto leaves of and onto a leaf of ; equivalently, is compact and saturated, homeomorphic to the solid torus, has a single compact leaf as boundary, and its interior foliation is foliated-homeomorphic to the Reeb foliation. In the smooth models of this page the conjugacy may be taken smooth; in the general closed-leaf construction of lem-the-compact-leaf-produced-by-a-vanishing- cycle-bounds-a-reeb-component the source produces a foliated homeomorphism, so the topological form of the definition is the one used. A foliation with no Reeb component is called Reebless.
Depends on
- The Reeb foliation of the solid torus has the boundary as a leaf
- Smooth foliations tangent to the boundary
- Saturated neighbourhoods of a leaf
- Embedded submanifolds and slice charts
- Smooth embeddings
- The two-dimensional torus $T^2=(\mathbb R/\mathbb Z)^2$
- Euclidean spheres and closed balls as subspaces of $\mathbb{R}^n$
- The countable-choice principle used in the foliation pair
Used by
- Reebless leaves are pi-one-injective and transverse loops are essential Corollary
- A noncompact foliation violating Novikov's compactness conclusions Counterexample
- The Reeb foliation of the three-sphere is not taut Example
- A Reeb component obstructs tautness Lemma
- The compact leaf produced by a vanishing cycle bounds a Reeb component Lemma
- The primitive pi cap block embeds and gives the global Reeb model Lemma
- Novikov's conclusions do not extend to higher dimensions or noncompact manifolds Remark
- Reeblessness and tautness are not equivalent without extra hypotheses Remark
- Novikov's Reeb component theorem Theorem
Dependency tree · two levels
33 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)