LemmaStatement: AI-adaptedProof: AI-adaptedprecheck pass

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.

A no-transversal leaf is a torus via the finite accessibility boundary sum

Statement

With the finite plane-bundle Euler boundary-sum carrier and oriented compact-surface normal forms, every no-closed-transversal leaf of the present closed oriented cooriented three-manifold foliation is a torus.

Facts & Assumptions

Given: A closed oriented three-manifold $M$ with a $C^{2}$ cooriented codimension-one foliation $F$ , and a leaf $L$ meeting no closed transversal (in the application $L$ also carries a nonzero limitwise-nullhomotopy class). Work in the ambient connected component $M_{0}$ containing $L$ . It is closed and connected, and every positive path starting at $L$ , hence $W$ , lies in $M_{0}$ .

[F1]

The in-pair item A no-transversal leaf bounds a positive accessibility region with finite inward boundary constructs the compact $C^{2}$ manifold $W = \overline{N}$ with finitely many compact boundary leaves $C_{i}$ , including $L$ , and positive normals pointing inward everywhere on $\partial W$ .

[F2]

The in-pair item Finite tangent index count and inward boundary sum states that for a compact oriented region $W$ with an oriented plane bundle $E$ tangent to every boundary component and one common inward transverse direction, the finite sum of boundary Euler characteristics is zero, using a generic section whose oriented zero curve has vanishing signed boundary count.

[F3]

The in-pair item Spherical leaf stability on a closed manifold needs only countable choice states that, on a closed connected oriented three-manifold, one compact sphere leaf forces every leaf in that component to be a compact sphere; the sibling-pair item lem-finite-chart-surface-normal-forms-supply-jordan-disks-and-torsion-free-groups supplies oriented compact-surface normal forms, and a nonzero $Π$ class excludes spherical leaves.

[F4]

The limitwise-nullhomotopy subgroup of a leaf is defined by the one-sided nullhomotopy predicate (Limitwise-nullhomotopy subgroup of a leaf).

[F5]

The standing assumption is Countable Choice ${A C}_{ω}$ as recorded for this pair (The countable-choice principle used in the foliation pair).

Proof

technique · direct

1.1F1given

Construct $W$ and its finitely many compact boundary leaves $C_{i}$ by [F1]. The oriented plane bundle $T F$ extends over $W$ and restricts on each $C_{i}$ to $T C_{i}$ ; the ambient orientation and the positive coorientation give $T F$ its orientation. Since the positive normals point inward on every $C_{i}$ , the boundary orientation of $W$ is the same negative of this leaf orientation on every component.

2.1F1F2step 1.1

Applying the finite tangent boundary-sum carrier [F2] to this data gives a generic rank-two section over $W$ with oriented one-dimensional zero set and directly $0 = - \sum_{i} χ (C_{i})$ , its finite surface index count being $V - E + F$ ; no general Thom existence, three-dimensional finite CW construction or unproved comparison is used.

3.1F1F3givenstep 1.1step 2.1construct

No $C_{i}$ is a sphere. Otherwise apply [F3] on the closed connected component $M_{0}$ : every leaf there is a compact sphere. The finite trivial-holonomy plaque construction in that supplier gives saturated product neighbourhoods of these spheres. Their quotient is a compact connected one-manifold without boundary: each product supplies its interval chart, and distinct compact leaves have disjoint smaller saturated neighbourhoods, so the quotient is Hausdorff. It is therefore a circle. Lift one positive circuit through finitely many product charts to a positive transverse path from $L$ to itself; [F1]'s return equivalence then gives a closed transversal through $L$ , contradicting the hypothesis. In the application, simple connectedness of a sphere also contradicts $Π (L) \neq 0$ . By the finite oriented compact-surface normal forms of [F3], the remaining boundary leaves have $χ \leq 0$ .

4.1F1F3F4F5step 3.1∎

The finite sum in step 2.1 is zero and every term is nonpositive, so every $χ (C_{i}) = 0$ ; by the same normal forms each $C_{i}$ is homeomorphic to the torus $T^{2}$ . Since $L$ is one of the finitely many boundary leaves, the original leaf $L$ is a torus. This obtains the torus identification without first assuming that the $Π$ -side accessibility class has $L$ as its sole boundary leaf, and it does not assert that $W$ itself is a solid torus; all constructions are finite or the single application of [F1], hence only the standing countable choice from [F5].

Depends on

Used by

Dependency tree · two levels

61 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

S. P. Novikov, The Topology of Foliations (complete English translation) (standard reference, not scraped)
Mark Brittenham, Foliations and the Topology of 3-Manifolds, classes 11-20 (standard reference, not scraped)