Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
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 ACω (The countable-choice principle used in the foliation pair). Let X:=D‾2×S1 be the solid torus, where D‾2={(x,y)∈R2:x2+y2≤1} (Euclidean spheres and closed balls as subspaces of Rn) and ∂X≅S1×S1 is the boundary torus (The two-dimensional torus T2=(R/Z)2). Define u:Int⁡D‾2→(0,∞) by u(r):=exp⁡(1/(1−r2)) for 0≤r<1, with r=x2+y2, and consider the level sets of the submersion f(x,y,t)=u(r)−t on Int⁡D‾2×R; add the boundary ∂X as a leaf. This defines a codimension-one regular foliation FReeb of X tangent to ∂X (Smooth foliations tangent to the boundary), and:

  1. the boundary ∂X is a compact leaf diffeomorphic to T2;
  2. every other leaf is diffeomorphic to R2 and accumulates on the boundary leaf;
  3. the foliation is invariant under the translation t↦t+1, so it descends to the quotient X=D‾2×R/Z;
  4. the holonomy group of the boundary leaf is infinite: the holonomy of the loop in the S1-factor through a boundary point is represented by the germ of the contraction r↦r′ determined by u(r′)=u(r)+1, 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 X=D‾2×S1, the function u(r)=exp⁡(1/(1−r2)) and the submersion f=u(r)−t on the open solid cylinder.

[F1]

Let F:M→N be a smooth submersion. Then the kernel distribution ker⁡dF is integrable, and its maximal connected integral manifolds are the connected components of the level sets of F (The kernel distribution of a constant-rank submersion is integrable).

[F2]

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).

[F3]

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).

[F4]

Assume ACω. 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).

[F5]

The closed unit disk is the topological subspace D‾2={x2+y2≤1} (Euclidean spheres and closed balls as subspaces of Rn). 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.

[F6]

The two-dimensional torus is T2=(R/Z)×(R/Z) with the product topology; the boundary of the solid torus is S1×S1=T2 (The two-dimensional torus T2=(R/Z)2).

[F7]

A diffeomorphism is a bijective smooth map with smooth inverse; the exponential function is smooth and strictly increasing on R, and u(r)=exp⁡(1/(1−r2)) is smooth in r2, strictly increasing on [0,1) with image [e,∞) and tends to +∞ as r→1− (Diffeomorphisms and local diffeomorphisms of manifolds).

[F8]

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).

[F9]

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

technique · direct
1.1F1F2F5F7

(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 (θ,1−r) as a half-space chart; its inverse is ((1−s)cos⁡θ,(1−s)sin⁡θ) and extends smoothly to negative s. Overlap changes and their inverses extend smoothly, giving the disk its smooth boundary structure by F5. The map z↦z/1−∣z∣2 from the open disk to R2 has smooth inverse w↦w/1+∣w∣2, so the disk interior is diffeomorphic to the plane. On the open solid cylinder Int⁡D‾2×R the differential of f(x,y,t)=u(r)−t has ∂tf=−1, so f 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 c, the level set is the graph {(x,y,u(r)−c):(x,y)∈Int⁡D‾2} of a smooth function over the disk interior, hence is diffeomorphic to Int⁡D‾2≅R2; so all leaves are planes [F5, F7].

1.2F5F7

(Accumulation after the circle quotient.) Translation t↦t+1 sends the level c to the level c−1. The image of a level graph in Int⁡D‾2×(R/Z) is embedded intrinsically as a plane: its disk projection is injective and its chartwise inverse is smooth. At any boundary point with meridional angle θ0 and longitude t0 mod 1, choose large integers k and the unique radii rk satisfying u(rk)=c+t0+k. Since u is increasing with image [e,∞) and diverges at one, rk→1; the points (rk,θ0,u(rk)−c mod 1) 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 t→+∞ as r→1 and does not accumulate at a finite boundary-cylinder point.

1.3F5F7F8

(Holonomy of the boundary leaf and non-stability.) Parametrize a one-sided radial transversal near a boundary point by r<1; following the loop of the S1-factor once returns to the same transversal at the parameter r′ determined by u(r′)=u(r)+1, which exists and is unique because u is strictly increasing with image [e,∞) and satisfies r′>r; as r→1− we have r′→1− [F7]. The transport germ is therefore the non-identity one-sided contraction r↦r′(r); its iterates r↦rn with u(rn)=u(r)+n 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 W={r>1/2} of the boundary leaf would contain a saturated neighbourhood U of it [F8]; but U is open and contains the boundary leaf, hence contains a point p with r(p) close to 1, and being saturated U contains the whole leaf through p, which is a plane meeting the circle r=1/2 and so is not contained in W. This contradiction shows the compact boundary leaf with infinite holonomy is not stable, while the interior leaves are planes accumulating on it.

2.1F1F2F3F4F5F6F9

(Smooth boundary tangency and quotient.) Near r=1 set v(r):=1/u′(r)=(1−r2)2exp⁡(−1/(1−r2))/(2r). This function extends smoothly by zero at and beyond r=1, with every derivative zero there: each differentiated term is a polynomial in (1−r2)−1 times the exponential and a smooth factor near one, and the exponential decays faster than every power. The form α=dr−v(r) dt is nowhere zero, satisfies α∧dα=0, and has the same kernel as df=u′(r)dr−dt in the interior collar. Its zero extension gives a regular integrable distribution on a collar crossing the boundary by F9. The boundary r=1 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 t preserves α and the interior foliation; it is free and properly discontinuous. To apply the boundaryless quotient supplier F4 exactly, extend the disk radius to r<1+ε and use the zero extension of v in the added collar. There the kernel of dr−v(r)dt is the product foliation by r=constant; it agrees with the interior foliation in the original collar and is translation-invariant. The t-translation action on this boundaryless extension is free, and only finitely many integer translates of a compact set can meet it because its t-projection is bounded. F4 therefore gives its smooth foliated quotient. Restrict to the invariant closed submanifold r≤1: the half-space charts already obtained give this restriction its regular boundary-tangent foliation on the solid torus, with boundary leaf T2 and accumulation as proved in step 1.2 [F3, F4]. The smooth nonzero form dt−du in the disk interior can also be scaled by a positive function to equal v dt−dr in the collar, providing a coorientation.

3.1step 1.1step 1.2step 2.1step 1.3∎

The boundary ∂X≅T2 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

Used by

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