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.
Codimension One Foliations, Secondary Classes and Characteristic Disk Foundations
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Arc Length and Rectifiable Curves
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Bocksteins Steenrod Squares and Cohomology Operations
- Bounded Linear Operators and Quotient Spaces
- Bounded Variation and the Riemann–Stieltjes Integral
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Cayley Graphs, Word Metrics and Quasi-Isometry
- Chain Complexes and Homology
- Chain Homotopy and the Homotopy Category
- Chern and Pontryagin Classes by Splitting and Complexification
- Chern–Weil Theory and Characteristic Forms
- Classification of Compact Connected Surfaces
- Classification of Covering Spaces
- Compact Operators and Riesz Schauder Theory
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Differentiability and the Cauchy–Riemann Equations
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Contour Integration
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Covering Spaces and Lifting
- Cup Cap Cross Products and Cohomology Rings
- Cw Complexes and Cellular Homology
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Derived Functors
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Distributions Integral Manifolds and the Frobenius Theorem
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Double Complexes Exact Couples and Convergence
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Equivalent Forms of Completeness
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exactness and the Member Calculus
- Ext and Balanced Resolutions
- Exterior Powers, Orientation and Hodge Duality
- Fibrations Fiber Bundles and Homotopy Exact Sequences
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Foliation Holonomy and the Holonomy Groupoid
- Foundations of the Real Numbers for Analysis
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Free Products and Amalgamation
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Fundamental Trigonometric Identities
- Further Trigonometric Identities and Inverse Functions
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Goursat's Theorem and Cauchy's Theorem in a Convex Domain
- Graphs, Walks and Connectivity
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hausdorff via the Diagonal
- Hereditary and Productive Behaviour of the Separation Axioms
- Higher Homotopy Groups and Cofiber Sequences
- Homology Axioms Degree and Classical Applications
- Homotopy and Homotopy Equivalence
- Hurewicz Whitehead Freudenthal and Cw Approximation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Kunneth Exactness and Splittings over Principal Ideal Domains
- Lebesgue Measure on Euclidean Space
- Leray–Hirsch, the Thom Isomorphism, and Gysin Sequences
- Lie Groups, Invariant Fields, and the Exponential Map
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Local Coefficients, Twisted Homology, and Duality
- Long Exact Sequences in Homology
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Obstruction Theory, Postnikov Towers, and Classifying Spaces
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Orientations Poincare Lefschetz and Alexander Duality
- Oriented and Mod Two Intersection Numbers
- Outer Measure and the Caratheodory Extension Theorem
- Partitions of Unity and Paracompactness
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Plane Graphs, Euler's Formula and the Five Colour Theorem
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Projective and Injective Resolutions
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Reeb Stability and Global Foliation Constructions
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Relative Homology Excision and Mayer Vietoris
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sard Theorem and Transversality
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Simplicial Subdivision and Simplicial Approximation
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spectral Sequences
- Splitting Fields
- Stiefel Whitney and Euler Classes by Universal Constructions
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Group
- The Fundamental Group of the Circle
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Fundamental Theorems of Calculus
- The Galois Correspondence
- The Gauss Bonnet Theorem for Riemannian Surfaces
- The Group Algebra and Representations of Finite Groups
- The Identity Theorem, the Maximum Principle and the Open Mapping Theorem
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Seifert–van Kampen Theorem
- The Serre Spectral Sequence and Applications
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The Winding Number and the Global Cauchy Theorem
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topological Vector Bundles and Grassmannian Classification
- Topology of ℝ
- Trees, Forests and Spanning Trees
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Uniform Spaces: the Three Definitions
- Universal Coefficients and Kunneth Theorems
- Universal Properties, Representables and the Yoneda Lemma
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Whitney Embedding Tubular Neighbourhoods and Approximation
2 · Summary
This page brings together two strands that meet on a codimension-one foliation: the secondary characteristic classes of the foliation itself, and the local planar and foliation-theoretic foundations on which the characteristic-disk arguments rest. The Bott partial connection is a derivation along leaf directions of the normal bundle of a foliation; it is well defined, flat along leaves, and an extending connection has curvature entries in the transverse differential ideal. On a transversely oriented codimension-one foliation the Godbillon-Vey form and class are built from a defining one-form and the secondary form with ; the class is independent of the choice of up to an exact form, invariant under rescaling the defining form, and invariant under smooth foliated concordance, while it vanishes for foliations defined by a closed one-form and for mapping-torus fibrations. The Bott vanishing theorem records which real Pontryagin monomials must vanish for a codimension- foliation. The second strand supplies the local analytic work: winding-number lemmas that are choice-free, a general-position statement for disk maps that makes the characteristic singularities finite, interior and nondegenerate, the index count one-more-center-than-saddle for disks with leafwise or everywhere-transverse boundary, the planar Poincare-Bendixson and saddle-graph carriers, the period-annulus product coordinates and their omega-limit realizations, leafwise cap products with exact collar data, and the limitwise-nullhomotopy subgroup of a leaf with its one-sided normal-subgroup property. The global partition-of-unity and foliation constructions carry countable choice. Bott vanishing also carries full choice through its connection-existence and real characteristic-class comparison suppliers. Local planar and winding arguments use finite or explicit constructions.
3 · Logical flowchart
4 · Definitions, theorems and proofs
Divisibility by a nowhere-vanishing one-form
Statement
Assume Countable Choice . Let be a smooth manifold, with boundary allowed, and let be a nowhere-vanishing smooth -form on . (i) If satisfies , then there is a unique with . (ii) If satisfies , then there is with .
Facts & Assumptions
Given: A smooth manifold with a nowhere-vanishing smooth one-form , a one-form with , and a two-form with .
The graded vector space with the wedge product is an associative graded-commutative algebra. (Differential forms form a graded commutative algebra).
If are smooth functions on the members of an open cover and is a smooth partition of unity subordinate to that cover, then is a smooth function on . (Smooth locally defined functions can be glued by a partition of unity).
Under , every smooth-manifold open cover admits a subordinate smooth partition of unity (Smooth partitions of unity exist on manifolds, Smooth partitions of unity exist on manifolds with boundary).
Proof
Fix and choose with , which exists because is nowhere vanishing; evaluating the two-form on a pair and using its definition for a one-form times a one-form gives for every , so ; the quotient is independent of the choice of because it equals the value of the unique scalar with , and such a scalar is unique as .
To see that is smooth, fix a chart domain with coordinates and write , with smooth coefficient functions; by [F1] the wedge product expands as , and the are linearly independent over the coefficient functions, so on ; shrinking about any point at which some , one gets for all , hence there with smooth quotient ; comparing with step 1.1 shows on that smaller domain, and since smoothness is local is smooth on all of , giving (i).
For (ii), fix a chart domain with coordinates as above and write with ; by [F1] the wedge has coefficient on for each triple , so gives those three-term identities; shrinking to a domain on which a fixed coefficient is nowhere zero, define for and , and let ; substituting these definitions into the three-term identities in each of the three index orders, and using , gives for every pair , hence on with smooth .
Cover by such chart domains with local solutions , and use [F3] to obtain a smooth partition of unity subordinate to the cover; for overlapping domains, , so by (i) there is a smooth function with on the overlap, and the local forms , extended by zero, satisfy ; thus is a globally defined smooth one-form by [F2] with , which is (ii).
Part (i) follows from steps 1.1 and 2.1, and part (ii) from step 3.1. Countable choice is used for the subordinate partition in [F3]; the local coefficients are explicit formulas in each chart.
Restriction of a foliation transverse to the boundary
Statement
Let be a smooth -manifold with boundary and let be a codimension-one regular foliation of transverse to , i.e. for every . Let be a nowhere-vanishing smooth defining -form for . Then: (i) has dimension for every , and these subspaces form a codimension-one regular foliation of the smooth -manifold ; (ii) the restriction is nowhere vanishing and defines , with ; (iii) every leaf of is a connected component of for a leaf of , with the intersection taken in the intrinsic leaf topology; (iv) if is transversely oriented by , then is transversely oriented by ; (v) if is a -form on with , then the pullback of to satisfies .
Facts & Assumptions
Given: A smooth -manifold with boundary, a codimension-one regular foliation of transverse to , and a nowhere-vanishing smooth defining one-form for .
For a smooth map of manifolds, pullback sends smooth forms to smooth forms, is functorial, and satisfies (Pullback of forms is smooth functorial and preserves wedges, and for boundary manifolds The de Rham complex and pullback extend to manifolds with boundary).
For every smooth map and every form on the target, (The exterior derivative commutes with pullback, and for boundary manifolds The de Rham complex and pullback extend to manifolds with boundary).
For a nowhere-zero one-form , the hyperplane distribution is integrable if and only if (The codimension-one Frobenius criterion).
For of a manifold with boundary and the inclusion , the differential identifies with the hyperplane of boundary-tangent vectors in (The boundary tangent space is the boundary-tangent hyperplane).
On a manifold, an integrable rank- distribution defines a regular foliation atlas whose leaves are its maximal connected integral manifolds (Regular foliations and integrable distributions correspond).
Proof
Write for the inclusion and fix . By [F4] the subspace sits inside as a hyperplane, and the transversality hypothesis reads ; since defines , moreover .
If vanished on all of , then , so the sum would have dimension instead of ; hence is nowhere vanishing, the restricted one-form has as its kernel, and the dimension formula for two hyperplanes with sum gives , which is the dimension count of (i) and the kernel description of (ii).
Pulling back along with [F1] and [F2] gives ; since is nowhere vanishing by step 2.1, [F3] makes its kernel an integrable hyperplane distribution on the smooth -manifold , and [F5] turns that distribution into a codimension-one regular foliation defined by , completing (i) and (ii).
A defining form that orients transversely restricts to the nowhere vanishing form of step 2.1, whose kernel is the restricted distribution, so the restricted foliation is transversely oriented by ; this is (iv).
Fix a leaf of and . As a connected manifold tangent to and contained in , the leaf lies in a leaf of and, being connected, in the intrinsic component of containing . Conversely, at a point of a boundary chart with and a foliation chart for present locally as a level set , and because and are transverse the functions and have independent differentials at ; hence is near an integral manifold of of dimension , that is, a plaque of the restricted foliation, and is covered by such plaques. The set of points of lying in the leaf is then both open and closed in and nonempty, so it equals ; therefore , which is (iii).
Finally, pulling back the identity along and applying [F1] and [F2] gives , which is (v); together with steps 2.1, 3.1, 3.2 and 4.1 this proves all five assertions.
The Bott partial connection on the normal bundle of a foliation
Definition
Assume Countable Choice . Let be a codimension- regular foliation of a smooth manifold , with tangent distribution , and let be the normal bundle of (Quotient vector bundles by a subbundle, A vector bundle quotient by a subbundle is a smooth vector bundle). For a leaf-tangent vector field and a section the Bott partial connection is
where on each bundle chart is a smooth local representative of and is the quotient map (The canonical map to a quotient bundle is a smooth bundle map). Local representatives exist by lifting the components of in a quotient-bundle frame; their projected brackets agree on overlaps by the next lemma and therefore define a global section. The derivation is along leaf directions only: is a section of the involutive distribution (Regular foliation atlases).
This defines a map that is -linear in the vector-field variable , -linear in , and satisfies the Leibniz rule for . The well-definedness of the formula and its flatness along each leaf are established in the next result. In the terminology of this page is a partial connection along the leaves; it is not a connection on all of , and no splitting of is chosen.
The winding number jumps by one across a regular planar arc
Statement
Let be an oriented closed piecewise- contour. Suppose that near it contains exactly one regular arc, traversed once with positive real tangent, and that the remaining contour is a compact set disjoint from . Then for all sufficiently small , the points and avoid and .
Facts & Assumptions
Given: An oriented closed piecewise- contour that near contains exactly one regular arc, traversed once with positive real tangent, the remaining part of the contour being compact and disjoint from .
For a closed complex contour and a point off its trace, . (The winding number of a closed contour about a point off its trace).
For continuous on the trace of a rectifiable contour and , . (Complex line integrals are linear in the integrand).
Complex line integrals over piecewise- paths are unchanged by an orientation-preserving piecewise- reparametrization. (Scalar line integrals are parametrization-independent; vector line integrals retain orientation and change sign when it reverses).
If on the trace of a rectifiable contour with , then . (ML estimate: a contour integral is bounded by a supremum bound times path length).
For a closed complex contour and a point off its trace, . (The winding number of a closed contour is an integer).
For real , a real-valued function continuous on and differentiable on satisfies for some . (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
A continuous real function on a connected space has order-convex image and attains every intermediate value. (A real-valued continuous map on a connected space has order-convex image, so it takes every value between any two of its values).
For every real , . (Principal arctangent: derivative, integral, power series, and the Gregory–Leibniz series).
Proof
Write the regular arc near as on a parameter interval , with corresponding to , so and after an orientation-preserving affine change of parameter the positive real tangent gives , .
Shrink so that on the interval; then [F6] makes the real part strictly increasing, [F7] shows its image contains a symmetric interval about zero; restrict the arc to the preimage of this interval, and the inverse is with derivative by the difference quotient and the positive lower bound; hence the arc is a graph for with , and after shrinking further one has and for a fixed .
The parameter pieces outside the local arc form a compact set disjoint from ; for each parameter in it continuity of the contour gives a relative interval on which exceeds half its positive value at , the family of all these intervals covers the compact parameter set, so finitely many cover it, and the minimum of the finitely many positive half-values is a number with on the remainder.
If then on the remainder, so and avoid the remainder, and they avoid the arc because its real coordinate vanishes only at , where ; hence both points lie off the trace of .
By the winding definition, linearity and orientation-preserving reparametrization, , the integrand being continuous on the trace of for these values of .
On the remainder , so the ML estimate bounds the contribution of the remainder to the integral of step 4.1 by a constant times .
On the local graph one has for a constant : for each factor is at least , while for the bound gives ; substituting turns the local contribution into , whose integrand converges uniformly on bounded -intervals to and is dominated by , so the tails are uniformly of order outside and the integral tends to by [F8]; hence the index difference tends to .
Each winding number is an integer by [F5], so the difference is an integer for every sufficiently small ; since it tends to by steps 5.1 and 5.2, it equals for all sufficiently small .
The winding number is locally constant by an integral estimate
Statement
Let be a closed rectifiable contour of length and let lie off its trace. If satisfies for all and , then . In particular the winding number is locally constant on the complement of the trace.
Facts & Assumptions
Given: A closed rectifiable contour of length , a point off its trace, and a number with for all .
For a closed complex contour and a point off its trace, . (The winding number of a closed contour about a point off its trace).
For continuous on the trace of a rectifiable contour and , . (Complex line integrals are linear in the integrand).
If on the trace of a rectifiable contour with , then . (ML estimate: a contour integral is bounded by a supremum bound times path length).
A closed box in is a compact subset of Euclidean space. (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
For a closed complex contour and a point off its trace, . (The winding number of a closed contour is an integer).
Proof
Let satisfy ; then for every , so also lies off the trace and both winding numbers are defined by the contour integral of the corresponding .
Subtracting the two integrands gives for , so by linearity of complex line integrals .
On the trace and , so the integrand has modulus at most ; the ML estimate with the length of and the factor give , the displayed estimate.
For the local-constancy assertion fix off the trace; if the estimate of step 2.2 bounds the defining integral by for every point off the trace, so the winding number vanishes near ; if , then for each parameter continuity of the rectifiable contour supplies a relative interval containing on which , the family of all such pairs covers the compact parameter interval, so finitely many cover it by [F4], and the minimum of the finitely many positive numbers is a with on .
With that the estimate of step 2.2 gives , which is less than whenever ; the difference of the two winding numbers is an integer by [F5], so it vanishes for every in that relative neighbourhood of , and since was an arbitrary point off the trace the winding number is locally constant on the complement of the trace; no general Jordan theorem or choice principle is used.
C² inverses and scalar return roots
Statement
Let be a map between open subsets of with invertible derivative at a point. Its local inverse is . If is near , and , then there is a unique local root , with and , evaluated at . No choice axiom is used.
Facts & Assumptions
Given: A map between open subsets of with invertible derivative at , and a function near with and .
If is open, is and is invertible, then is a local diffeomorphism at whose inverse is with (The Euclidean inverse function theorem).
For composable differentiable maps the total derivative of the composite is the composite of the total derivatives (The chain rule for total derivatives: ).
Proof
Let be at with invertible; by [F1] there are open sets with and with such that is a bijection with inverse satisfying .
The matrix is invertible throughout a neighbourhood of , and the entries of its inverse are quotients of polynomial functions of the entries of by the determinant, hence are functions of the entries of ; since is and is , [F2] shows that is , that is, is .
Apply step 1.1 to the map near : its derivative has determinant , which is nonzero at by hypothesis, so is invertible and has a local inverse by step 2.1.
Write the second component of that local inverse as with defined near ; then , that is , and the equality is unique among near because the local inverse of is a function.
Differentiating the identity in with [F2] gives at , hence wherever , which holds near .
Differentiating the same identity twice with [F2] gives at ; using and solving for because yields , and all steps used only the stated local inverse and chain rule, so no choice axiom is invoked.
C¹ planar fields on a closed disk extend to a neighbourhood
Statement
Let be a planar vector field up to the boundary of the closed unit disk . It has a extension to an open neighborhood of whose value and first derivative agree with on , including its boundary. This is a finite explicit extension, with no choice axiom.
Facts & Assumptions
Given: A planar vector field on the closed unit disk whose components are up to the boundary, i.e. whose value and first partial derivatives extend continuously to .
For composable differentiable maps the total derivative of the composite is the composite of the total derivatives (The chain rule for total derivatives: ).
A function continuous on and differentiable on satisfies for some interior point (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
Proof
Write every nonzero point in a collar of the unit circle uniquely as with and , fix once and for all a number , and define for while for ; this is an explicit finite formula with no choice.
On the unit circle, where , the outer formula gives , so the two definitions agree there and is a well-defined map on .
The inner formula is the restriction of , which is up to the boundary; the outer formula is a composite of smooth scalar operations with the map , and for the points lie in the interior of , where is ; hence [F1] shows that is on each of the two open regions and , with derivatives computed by the chain rule.
Parametrize the circle by . The chain rule gives outside the disk. As this tends to , the inner tangential derivative.
The outer radial derivative is . As it tends to , the inner radial derivative. Both limiting derivatives depend continuously on .
The first partial derivatives of are therefore continuous across the unit circle, each side being with matching limits by step 3.1 and step 3.2; for on the circle and a small displacement , applying [F2] on the segments on either side of the circle gives , and the supremum tends to because the partial derivatives are continuous at , so is differentiable there with total derivative and hence on . Since on and the derivative identity just established gives along the circle from the inner side, the value and first derivative of the extension agree with on the closed disk; the construction uses only the explicit formula of step 1.1 and finitely many evaluations.
A C² saddle function has C¹ Morse coordinates
Statement
Let be C² near , with and Hessian of signature . There is a C¹ local diffeomorphism centered at for which . The coordinate change is only asserted to be C¹.
Facts & Assumptions
Given: A function of class near with and Hessian of signature .
If is open, is and is invertible, then is a local diffeomorphism at with a inverse satisfying . (The Euclidean inverse function theorem).
For composable differentiable maps the total derivative of the composite is the composite of the total derivatives. (The chain rule for total derivatives: ).
A function continuous on and differentiable on satisfies for some interior point . (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
If every partial derivative of a map exists near a point and is continuous there, then the map is totally differentiable at that point with the Jacobian as its derivative. (If all partial derivatives exist on a neighbourhood and are continuous at a point, then the map is totally differentiable there with Jacobian derivative).
Proof
Translate to the origin, so , , and the Hessian of at the origin is a symmetric bilinear form of signature ; fix with and a vector independent of .
Replace by ; then , and since the Gram determinant of the independent pair under the indefinite form equals times a nonzero square it is negative, so ; in the linear coordinates with first axis and second axis one therefore has , , , and after shrinking to a smaller neighbourhood also there.
On that smaller neighbourhood the map has derivative with determinant , so is a local diffeomorphism at the origin by [F1]; the preimage of the slice is therefore a curve that can be written with , and differentiating gives .
Define ; then by [F2], so is near zero with , and differentiating once more at the origin with gives .
For set and set on the curve ; positivity under the square root follows from , a mean value formula justified by [F3], together with and on the curve; off the curve and , and the limits along the curve, obtained from the second-order expansion in and continuity of the Hessian, are and at ; the first of these is also the derivative of the defined on the curve by the expansion, the second by , and both limits are continuous with , so [F4] applies to the defining formula for on each side of the curve with matching limits.
Define for and ; since the one-variable form of [F3] gives for small nonzero and shows that is near zero with .
The map has invertible derivative with positive diagonal entries at the origin, so by [F1] it is a local diffeomorphism; moreover , so the new coordinates centred at the origin satisfy ; the construction used only explicit linear algebra, mean value formulas and the local inverse theorem, all with finitely many choices.
The Bott partial connection is well defined and flat along leaves
Statement
Assume Countable Choice . In the notation of The Bott partial connection on the normal bundle of a foliation, the Bott partial connection is well defined: depends only on and the section , not on the representative , is -linear in , and satisfies for . Its curvature vanishes along leaves: for all and , .
Facts & Assumptions
Given: Assume . A codimension- regular foliation of a smooth manifold with tangent distribution , leaf-tangent fields , a normal-bundle section , and two smooth local representatives of on a common bundle chart.
For and the Bott partial connection is with the quotient map and any smooth representative of . (The Bott partial connection on the normal bundle of a foliation).
An integrable distribution is involutive: the Lie bracket of two of its sections is again a section. (Integrable distributions are involutive).
For smooth functions and vector fields one has and . (Leibniz rules for the Lie bracket with function multiples).
Smooth vector fields on a manifold form a Lie algebra: the bracket is bilinear, alternating and satisfies the Jacobi identity. (Smooth vector fields form a Lie algebra under the Lie bracket).
Proof
In any quotient-bundle frame a local lift of is obtained by using the same smooth coefficient functions in lifted frame vectors. Two such local representatives of differ by a section , and since is integrable it is involutive by [F2], so and ; applying the quotient map of [F1] kills , so and is independent of the chosen local representative. Consequently these smooth local sections agree on overlaps and define a global section.
For the first Leibniz rule of [F3] gives , and the correction is a section of , so projecting gives , that is, -linearity in the vector-field variable.
The second Leibniz rule of [F3] gives for the representative of , so projecting yields , the stated Leibniz rule.
For flatness, lift locally by and compute ; the bracketed expression is the Jacobi identity of [F4] applied to , hence vanishes, and well-definedness from step 1.1 makes the result independent of all lifts, so and the connection is flat along leaf directions; only the stated bracket and involutivity facts were used, with no additional choice principle.
A C² leaf meets a local box transversal in at most countably many points
Statement
Assume . Let be a foliation on a second-countable smooth manifold, let be a leaf, and let be a vertical transverse interval in one foliation box. Then is at most countable. If a countable foliation- box atlas is supplied as part of the data, the countability conclusion uses no choice principle. Dense and nonembedded leaves are allowed.
Facts & Assumptions
Given: Assume . A foliation on a second-countable smooth manifold , a leaf , and a vertical transverse interval in one foliation box .
A second-countable space is Lindelof: every open cover has a countable subcover. (Assuming countable choice, every second countable space is Lindelöf).
The connected components of an open subset of are open and polygonally connected. (Every connected component of an open subset of is open and polygonally connected).
For nonnegative integers the pairing is injective: pairs with occupy the disjoint consecutive interval from to , and the offset recovers and hence . Starting with , put and encode a word by . Decoding the outer pair recovers , and recursively decoding the inner pairs recovers the word. Thus finite natural-number words admit this explicit injection into , without using later computability theory.
Proof
Fix the second-countable foliated manifold, the leaf , the foliation box and the vertical transverse interval , and if the leaf dimension is zero, every plaque and hence every leaf is a singleton, so the intersection has at most one point and the conclusion is immediate. Otherwise fix one plaque of inside the recorded atlas; a vertical interval meets each plaque of in at most one point, because the transverse coordinate is constant on a plaque while varies only in the transverse direction.
By [F1] the second-countable manifold has a countable cover by foliation boxes; selecting one foliation chart for each member of that countable subcover uses the stated countable choice, and adjoin the specified box and the box of the initial plaque to that countable atlas (a finite addition), and record this enlarged countable atlas as fixed data for the rest of the argument.
Say a plaque is reached when it can be joined to by a finite chain of plaques of the recorded atlas in which consecutive plaques intersect; every plaque of is reached by definition of the plaque-chain relation, and it suffices to count the reached plaques contained in .
Let be a reached plaque in a box and let be a next box of the recorded atlas; in plaque coordinates the trace of inside is an open subset of the plaque coordinate space , whose connected components are open and polygonally connected by [F2]; each nonempty component lies in a single plaque of , because the plaques of partition the open set into pairwise disjoint open subsets of the leaf, so a connected subset of cannot meet two of them; code each nonempty component by the least rational-box basis index contained in it, so distinct components, being disjoint, receive distinct codes, and given the current plaque and the next box the component code therefore determines at most one successor plaque.
Encode each finite chain of successor data by the natural-number coding of finite sequences from [F3], and assign to each reached plaque in the least code of a finite chain reaching it; this is a well-defined injection of the reached plaques of into and does not select a chain at each plaque.
The reached plaques of inside are therefore at most countable, and by step 1.1 each of them meets in at most one point, so injects into a countable set and is at most countable; a countable box atlas already supplied as data removes the only countable choice of step 1.2, and dense or nonembedded leaves are allowed since only plaque chains were used.
A finitely cornered regular plane curve separates without choice
Statement
Let be a piecewise- topological embedding with finitely many corner parameters. Assume each smooth edge is regular up to its endpoints and the two incident one-sided tangent rays at each corner are distinct. Then has exactly two connected components, one bounded and one unbounded, and each has boundary . No choice axiom is assumed.
Facts & Assumptions
Given: A piecewise- topological embedding with finitely many corner parameters, each smooth edge regular up to its endpoints and the two incident one-sided tangent rays distinct at each corner.
If an oriented closed piecewise- contour contains exactly one regular arc near , traversed once with positive real tangent, and the remaining contour is compact and disjoint from , then for all small the points and avoid it and the two winding numbers differ by . (The winding number jumps by one across a regular planar arc).
If the trace stays at distance at least from and , then , and the winding number is locally constant on the complement of the trace. (The winding number is locally constant by an integral estimate).
If is compact, then has exactly one unbounded connected component and every other component is bounded. (The complement of a compact plane set has exactly one unbounded connected component).
The connected components of a topological space are nonempty, pairwise disjoint, cover the space, and each is closed in the space. (The components of a space are its maximal connected subsets, they partition it, and each of them is closed).
The connected components of an open subset of are open and polygonally connected. (Every connected component of an open subset of is open and polygonally connected).
For , is polygonally connected and connected and is locally path-connected. ( is polygonally connected, connected, locally path-connected and locally connected).
A closed box in is a compact subset of Euclidean space. (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
A function continuous on and differentiable on satisfies for some interior point . (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
A continuous real function on a connected space has order-convex image and attains every intermediate value. (A real-valued continuous map on a connected space has order-convex image, so it takes every value between any two of its values).
Proof
Orient by the parameter; since is a closed bounded subset of the plane it is compact by [F7], any open cover of pulls back along the continuous bijection to an open cover of , so is compact, and it is closed in the plane.
At a smooth edge point choose linear coordinates with the tangent horizontal; the first coordinate has nonzero derivative along the edge, so after shrinking it has one sign, [F8] makes it strictly monotone, [F9] shows its image is an interval, and its inverse is by the difference quotient and the derivative lower bound, exhibiting the curve as a local graph; at a corner let be the outgoing directed unit tangent and the incoming directed unit tangent. The geometric incident rays point along and , so their distinctness excludes . Thus the coordinate has rate along both branches, so both are graphs over with the corner as common endpoint and disjoint -ranges and their union is one local graph, and no opposite-directed tangent case remains under the hypothesis. A small disk about the corner meets the curve in two arcs meeting only at the corner and its complement in that disk has exactly two connected components; every sufficiently short parameter arc has image open in , so inside the corresponding ambient open set one chooses an ambient disk in which the curve portion is exactly this local model and whose complement has exactly two connected sides; the finitely many such parameter arcs cover , and compactness of yields a finite subcover. Shrink the side rectangles using positive separation of the images of compact nonadjacent parameter arcs; then every overlap near the curve concerns compatible adjacent arc charts and cannot interchange the oriented sides.
The overlap graph of this finite cover is connected, since otherwise the unions of parameter arcs in its two vertex classes would be disjoint nonempty closed subsets covering the connected circle; whenever two parameter arcs overlap, their rectangles overlap near a common curve point and the left-side patches, respectively the right-side patches, meet there because both are the same oriented side of the same local graph, so the unions and of all left and right patches are connected subsets of the complement and every curve point is approached from each side.
At a smooth edge point with unit tangent use the oriented coordinate : the defining integral is unchanged because when , so the local jump lemma [F1] gives different winding numbers on the two side unions near , while the local estimate [F2] makes the winding number constant on each connected side; hence and lie in two distinct connected components of the complement.
Let be any component of the open complement; is closed in the complement by [F4], open in the plane and polygonally connected by [F5], and its boundary is contained in the curve and is nonempty, because otherwise would be a nonempty proper clopen subset of the connected plane, contradicting [F6]; at a boundary point the local graph patch has exactly two connected sides, and since meets one of them and an open connected side inside cannot meet the other, the whole side lies in , identifying with one of the two global collar-side components; hence the complement has at most two components, and at least two by step 4.1.
The local sides of and approach every curve point and no component boundary lies off the curve, so the curve is the boundary of both components, and by [F3] exactly one of them is unbounded while the other is bounded; all choices in the collar construction are finite, and neither the Jordan-Brouwer theorem, the Jordan-Schonflies theorem, nor any choice axiom is used.
C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade
Statement
Let U⊂R^n be open and Y:U→R^n be C¹. There is a unique maximal flow Φ on an open domain D⊂R×U containing {0}×U, and Φ is jointly C¹. Its time slices are local C¹ diffeomorphisms with inverse Φ_{−t}; and is the unique solution V of , V(0)=I. Each regular point has a C¹ flow box. If Y is C², Φ and those flow boxes are C²; the second state variation W satisfies , W(0)=0. Individual trajectories of a C¹ field are C² in time. A trajectory remaining in a compact K⊂⊂U cannot have a finite maximal endpoint. These Euclidean conclusions use no full AC or DC.
Facts & Assumptions
Given: An open set and a vector field .
If is continuous and locally Lipschitz in the state variable and the cylinder lies in the open domain with , state-Lipschitz constant , and , then a unique solution of the initial value problem exists on with graph in the cylinder. (Picard-Lindelöf local existence and uniqueness for first-order systems).
Near fixed data the Picard-Lindelof solutions exist on one common compact time interval and depend jointly uniformly continuously on initial time, initial state and parameters, with the explicit exponential estimate . (Continuous dependence of ODE solutions on initial data and parameters).
If satisfies with continuous and , then , and for constant , this gives . (Gronwall's integral inequality with variable and constant coefficients).
with the Euclidean metric is a complete metric space. ( and for with the Euclidean metric are complete, componentwise from the Cauchy criterion in ).
If is open, is and is invertible, then is a local diffeomorphism at with a inverse satisfying . (The Euclidean inverse function theorem).
A map with invertible derivative at a point has a local inverse. (C² inverses and scalar return roots).
For real , a real-valued function continuous on and differentiable on satisfies for some . (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
Proof
All assertions are local in the state point and the time, so it suffices to work on a cylinder with a compact convex set with ; on such a cylinder the mean value theorem [F7] applied componentwise bounds and makes Lipschitz in the state variable with one constant , and one chooses with below the margin and .
By the quantitative clause of [F1] each initial point of the cylinder carries a unique local solution on , obtained from the Picard iteration that starts at the specified constant curve and is generated by ordinary recursion, and the estimate of [F2] makes these local solutions depend uniformly continuously on the initial state.
Subtracting the Volterra equations of two solutions through nearby initial points and writing gives a linear integral equation for the difference, and the uniform continuity of on the cylinder makes uniformly; the variational equation has a unique solution on each fixed compact time interval by the same local Picard argument for linear equations together with the exponential bound of [F3], and subtracting from the solution difference and applying [F3] gives an error of order uniformly in ; hence , the same estimate at nearby makes continuous, and is continuous, so is jointly .
If is then is in with derivative ; difference quotients of solve inhomogeneous linear integral equations, and the same uniform-continuity and Gronwall remainder argument converges to the solution of , , continuous in , so exists continuously; the mixed derivative is and the second time derivative is , giving joint regularity, while for a field a single trajectory is in time because can be differentiated once.
At a point with choose a fixed linear transversal to ; the derivative of at the corresponding point is invertible because its time derivative is and its spatial part spans the transversal, so [F5] makes it a local diffeomorphism onto a flow box, and when is the same map is and [F6] makes its inverse .
Uniqueness glues the local solutions into a maximal flow on an open domain satisfying the flow law: covering a compact solution segment by finitely many of the common local cylinders of step 2.1 and composing them proves openness of and the stated regularity, respectively regularity when is , and the flow law inverts the time slices: is the inverse of .
Finally, if a trajectory remains in a compact set with and its maximal endpoint were finite, then the bound on a compact cylinder containing gives , so has a limit in as by the completeness of [F4], and the local existence clause of step 2.1 restarts the solution past , contradicting maximality; only ordinary recursion, the stated Gronwall and uniform-continuity estimates and the local inverse theorem are used, so no dependent choice or full choice principle is invoked.
Finite cellulations of compact C² subsurfaces relative to an embedded graph
Statement
Assume . Let be a compact codimension-zero subsurface of a Hausdorff second-countable boundaryless surface , with boundary. Let be a finite embedded graph: its vertices are distinct points, each edge is a regular embedded arc up to its endpoints, and different edge interiors are disjoint and avoid the vertices. Closed regular edges may first be subdivided by inserting finitely many vertices. Then has a finite triangular cellulation containing in its one-skeleton. Each closed triangle is an embedded topological disk, the prescribed graph and original boundary retain their regular arcs, and the cell maps induce a homeomorphism from a finite abstract simplicial complex onto after finite subdivision. Interior edges have two incident triangles and boundary edges one; vertex links are circles or intervals, respectively.
A cell map is required to be a homeomorphism; the statement does not assert a differentiable straightening of an arbitrary prescribed graph at its vertices. This permits tangencies between prescribed edge germs. The empty or empty is allowed.
Facts & Assumptions
Given: as in the statement, with countable choice.
For a Euclidean map from dimension to dimension , critical values are null when (Morse-Sard for Euclidean maps).
A map with invertible derivative has a local inverse; a scalar equation with nonzero normal derivative has a unique local root (C² inverses and scalar return roots).
A simple polygon has two complementary regions, one bounded and one unbounded, with that polygon as the frontier of each (Polygonal Jordan curve theorem: a polygon has exactly two complementary regions and is the frontier of each).
A simple polygonal region has a finite face-to-face triangular subdivision (Every simple polygon admits a triangulation).
An abstract simplicial complex has finite subsets as its simplices, with every face also a simplex (An abstract simplicial complex). A finite disk-cell structure is a CW structure if its cell maps are the stated disk attachments and its topology is the weak topology on the closed cells (CW complex with closure finiteness and weak topology).
A map with invertible derivative has a local inverse (The Euclidean inverse function theorem).
Under the stated countable choice, a nonempty compact connected topological one-manifold without boundary is a circle (A nonempty compact connected one-dimensional manifold without boundary is a circle).
Proof
If is empty use the empty complex. Otherwise choose finitely many relatively compact coordinate disks in with smaller cores covering . Their closures remain inside their respective charts. The boundary has finitely many components: a finite cover of this compact one-manifold by connected interval neighborhoods meets every component, so there are only finitely many. By F7 each component is a circle, covered by finitely many of its regular graph arcs. Work with these finitely many boundary curves and the finitely many edges of . Choose each coordinate-disk radius in a short open interval that leaves its smaller covering core inside it. At each stage restrict the radial function to the compact pieces of every preceding curve and graph edge in the chart annulus. Finitely many parameter intervals inside that chart cover these compact pieces. By F1 for maps of dimension one to one, a radius avoiding the critical values makes the new circle transverse to all those curves. Avoid also the finitely many distances of existing vertices and crossings. Finitely many null sets and finitely many forbidden values cannot fill the radius interval. Thus the disk boundaries, and have finitely many transverse crossings, with no new triple crossing and no crossing at a prescribed vertex. Finiteness follows from compactness and the local isolation supplied by transversality. These choices are finite.
Subdivide at all crossings and insert vertices in isolated closed edges. The union of , and the portions of the disk circles inside is a finite embedded graph . Each of its nonvertex points has an arc chart by F2. Its vertex stars are tame finite stars, even when two prescribed germs are tangent: in a chart at a vertex , a regular one-sided edge with and has strictly increasing distance from for small , since . Hence every sufficiently small concentric circle meets each incident germ exactly once. Their cyclic order cannot change without an intersection. A homeomorphism on each such circle sending these finitely many ordered intersection points to fixed radial directions, extended with the same radius and sending to the center, straightens the star; continuity of it and its inverse at the center follows from preservation of radius. Thus each star has finitely many well-defined sectors, or half-sectors at . Cover each remaining compact edge portion by finitely many arc charts and choose a thin strip about it; compactness and separation from the other finite edge portions make the strips disjoint away from the chosen vertex stars. Their two sides and the vertex sectors are the finite local side data of .
Every connected component of is planar before we count the components: membership in any coordinate disk is constant on , because it avoids that disk's boundary. A point of belongs to a covering disk core, so all of lies in that disk and its closure lies in the corresponding compact chart disk. Its frontier lies in and has a side or vertex sector from step 2.1. An empty frontier would make it a nonempty compact boundaryless open surface contained in a planar disk, which is impossible since its chart image would be both open and compact in the plane. A frontier consisting only of finitely many vertices cannot enclose a bounded open region: a ray from an interior point avoiding their finitely many directions would exit without meeting the frontier. Each edge-side germ or vertex sector lies in just one complementary component. The finite side data therefore bounds the number of components; call them . This proves both planarity and finiteness without an arbitrary surface-Jordan assertion.
(Compact planar cores, including slit sides.) For each choose one point in each of its finitely many incident side sectors. Join those points to one interior point by finitely many paths in ; inside its planar chart these may be finite polygonal paths, obtained by the elementary open-and-closed argument for the set of points reachable by finite segments in small open balls. Trim the vertex stars and edge strips sufficiently thinly to miss those compact paths. On each edge use a product strip, and at each vertex trim its sectors by a small arc. The remaining portion of is a compact planar surface with boundary, with finitely many piecewise regular boundary circuits. It is connected: the selected paths join all side sectors, while any extra component would have to border one of those same trimmed edge or vertex sectors, whose connected inner boundary collar already joins the selected paths. The original face is recovered by attaching the finitely many product half-strips and vertex sectors. Distinct occurrences of a slit edge are retained as distinct sides; they are identified only when these strips are restored. Consequently repeated boundary vertices or slit sides in the closure of are not falsely regarded as a single embedded polygonal boundary.
(Regular planar circuits reduce to polygons.) The finitely many boundary circuits of a planar core are disjoint piecewise regular embedded circles. For a regular compact arc, F2 straightens it in finitely many charts to a coordinate line. Its compact middle portions have disjoint thin product strips. A sufficiently fine inscribed broken line meets each strip fiber once: on every chosen straightening chart the arc has nonzero derivative in one fixed direction, the chords retain this sign by uniform continuity of its tangent, and the finite subdivision is fine enough to remain in that chart. Thus the broken line is a graph over the arc there. For a closed regular circuit, its unit normal is . The normal strip map is with invertible derivative along its zero section, so F6 and compactness make a short strip injective: a hypothetical sequence of collisions in arbitrarily short strips has base points converging to one common curve point, where the local inverse excludes it. A sufficiently fine inscribed polygon projects locally increasingly to the central circle in that collar, including at its corners, by the tangent estimate just used. The projection has degree one because it is uniformly close to the identity parameterization, hence is a one-sheeted circle covering and the polygon is a single graph over the old circle. For a finitely cornered circuit first use the vertex-sector charts of step 2.1 to match the finite endpoint sectors. Graph interpolation in a strip, chosen to be the identity on its outer boundary, gives a homeomorphism carrying the arc to its broken line. At corners the radial sector interpolation agrees with the strip maps. Finite closed pasting gives an ambient homeomorphism of a neighborhood of the circuit, equal to the identity outside it. The neighborhoods of distinct core boundary circuits are disjoint, so all can be polygonalized at once. Their assigned inside/outside sides are now those of F3. This proves precisely the regular-curve adapter used here; it imports neither Jordan–Schönflies for arbitrary curves nor a general surface triangulation theorem.
(Planar subdivisions with holes.) A polygonalized compact core may have several boundary circles. Choose a direction whose projections of all its finitely many vertices are distinct. Between consecutive projections all boundary segments are ordered affine graphs. Moving vertically from outside the bounded domain, membership changes at a boundary segment and nowhere else, by the local side charts and F3. Its intersection with each open slab is therefore a finite union of bands between consecutive affine graphs. Their closures are convex triangles or quadrilaterals. Refine all vertical walls at their finitely many intersections, use the same refinement on both sides, and fan each convex cell from one interior point. This gives a finite triangulation, also in the presence of holes; for a single simple polygon this is exactly F4. Pull it back by the homeomorphisms of step 5.1. Fill each restored product half-strip by a rectangle subdivision, and fill each restored vertex sector by a finite fan. These cell maps are embeddings of closed disks in the original chart sectors. Subdivide the old edges at the union of the two incident side subdivisions, so restored pieces meet face-to-face. Prescribed edges of and the original boundary remain edges of the resulting subdivision. The additional subdivision edges are tame embedded arcs supplied by these homeomorphisms; they are not claimed to be merely because the original chart and prescribed graph are . Only their topological incidence and disk-face maps are needed below. The prescribed graph edges and original boundary arcs themselves have not been changed.
The finitely many embedded closed triangles cover , and their incidences give a circular link at an interior vertex and an interval link at a boundary vertex, because they fill exactly the chart sectors of step 2.1. If multiple edges have the same endpoints or a triangular incidence initially repeats a vertex, first subdivide every edge with a distinct new midpoint, fan each disk face from its distinct new center, and subdivide the resulting triangles once more. Every new small triangle then has vertices specified by its incident old vertex, edge midpoint and face center; distinct such incidence flags share exactly their common flags. Thus their vertex sets define a finite abstract simplicial complex as in F5. The face maps paste to a continuous bijection from its compact realization onto Hausdorff , hence to a homeomorphism: a compact-to-Hausdorff continuous bijection is closed. The same finite closed-cell pasting proves the weak topology and finite disk attachments required by F5. No choice beyond the stated ACω is used; all geometric selections in this proof are finite and F1 is applied only on finitely many Euclidean curve pieces.
Finite surface normal forms, Jordan disks, and torsion control
Statement
Assume (The countable-choice principle used in the foliation pair). Let be an oriented Hausdorff surface without boundary, possibly disconnected. Then:
- Every compact subset lies in the interior of a compact finitely cellulated subsurface . If is contained in one connected component of , can be chosen connected. A specified finite embedded regular graph contained in can be included in its one-skeleton.
- Every connected closed compact subsurface has an oriented genus normal form: the sphere for , or the polygon word for , with . A connected compact subsurface with boundary circles has a free fundamental group; capping its boundaries defines genus and gives and free rank .
- The fundamental group of every connected component of is torsion-free.
- Every regular embedded nullhomotopic circle bounds an embedded compact disk region in . Here a disk region is a compact subsurface homeomorphic to the closed disk, with boundary exactly ; its inherited surface structure and boundary are . It is unique unless the connected component containing is a sphere; in that component the two complementary disk regions are the two possibilities.
The normal forms in clause 2 are homeomorphism normal forms. No general differentiable smoothing theorem or arbitrary-surface triangulation-existence theorem is a premise of this item.
Facts & Assumptions
Given: and the countable-choice hypothesis of the statement; for clause 4 an embedded circle and an actual nullhomotopy are given.
Under , a compact subsurface of a Hausdorff second-countable boundaryless surface has a finite triangular cellulation relative to a specified finite embedded regular graph, with its boundary included, and the cell maps induce a finite abstract simplicial model with the stated edge and vertex links (Finite cellulations of compact C² subsurfaces relative to an embedded graph).
A map from a two-dimensional chart to the line has null critical-value set (Morse-Sard for Euclidean maps); a regular scalar equation is a coordinate by its local inverse and scalar-root construction (C² inverses and scalar return roots).
A connected closed surface with a supplied finite simplicial model having two triangles at each edge and cyclic vertex links has a one-polygon schema, by finite choices only (A finite triangulated surface has a one-polygon schema).
Finite polygonal side subdivision, inverse-pair cancellation outside the terminal sphere digon, splits and merges, and interlaced-handle extraction preserve the surface quotient. The extraction sends to (Homeomorphism-preserving polygonal schema moves).
A finite wedge of circles has free fundamental group on its circle loops (The fundamental group of a finite wedge of circles is free of that rank); reduced words give the free group and nonempty reduced words are nonidentity (Reduced words form the free group on an alphabet). A nullhomotopy lifts to a covering after its initial lift is prescribed (Existence and uniqueness of homotopy lifts through a covering map).
Every free group is torsion-free (Free groups are torsion-free).
With fixed coset-transversal data, the factor actions on normal words are consistent permutations (Factor elements act consistently by permutations on amalgamated normal words); every element of an amalgam has a unique normal form and a positive-length normal word is nonidentity (Normal form theorem for free products with amalgamation). In this item those data are constructed canonically in finite-rank free groups, not chosen by the general full-AC transversal-existence argument.
For a two-set open cover with path-connected sets and overlap, fundamental groups give a pushout; injectivity of the overlap maps must be checked separately (Seifert–van Kampen identifies the fundamental group with a group pushout).
For a finite CW complex, its Euler characteristic is the alternating sum of integral homology ranks (Euler–Poincare formula for finite CW complexes); its cellular homology equals singular homology (Cellular homology computes singular homology), and homeomorphisms induce homology isomorphisms by functoriality (Singular chains and singular homology are covariantly functorial).
The sphere is simply connected ( is simply connected for every ), and ().
The standing choice principle is choice for a sequence of nonempty sets, rather than arbitrary-index choice (The countable-choice principle used in the foliation pair).
A Euclidean field has a local flow (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade), and a map with invertible derivative has a local inverse (The Euclidean inverse function theorem).
Proof
(Compact subsurfaces.) For a nonempty compact choose finitely many chart disks with relatively compact larger chart disks. A Euclidean bump supported in a larger disk, pulled back by its chart and extended by zero, is a function on . Finitely many such bumps, positive on the smaller disks covering , have a compactly supported sum with on . Choose outside the critical values of on its support. This is possible by F2 applied in finitely many charts covering that compact support, since a finite union of null subsets of the line cannot contain an interval. At every point of , F2 makes a coordinate. Hence is a compact subsurface and . A finite cover of by connected disk or half-disk neighborhoods shows it has finitely many components; their union gives the required . If lies in one component of , first connect the finitely many covering disk centers by finitely many paths in that component, and enlarge by those compact paths and the finitely many closed coordinate-core disks. The resulting compact connected set is inside after repeating the bump construction, so it lies in one component of ; take that component. For disconnected , compactness meets only finitely many open components and the construction is performed in each of them. For , suffices. For every compact subsurface used here, finitely many open chart domains cover it. Their union is an open Hausdorff boundaryless surface with a countable basis: take the union of the finitely many countable chart bases. Regard the subsurface as a subsurface of and apply F1 there. This supplies the finite cellulation, including any prescribed finite regular graph once contains it in its interior, without assuming that all of is second-countable.
(A boundary surface has a finite graph spine.) Let be connected and , with the triangulation from F1. Its triangle dual graph, with an additional exterior vertex joined to triangles along their boundary edges, is connected: the cyclic or interval vertex links join all triangles incident to a vertex, and connectedness then joins all triangles. Choose a finite spanning tree rooted at the exterior vertex. Remove triangles in order from the root outward, always removing a triangle together with the edge connecting it to its already removed parent. That edge is free at its removal: its only other incident triangle has already been removed, or it was a boundary edge. A triangle with a free side strongly deformation retracts onto its other two sides; in coordinates on a planar reference triangle this is the elementary linear edge-collapse retraction. Performing these finitely many collapses leaves a connected finite embedded graph , and deformation retracts onto . More is true geometrically: is homeomorphic to a thickening of . To check it, take small vertex disks and edge rectangles in the triangle charts. Reversing one free-side collapse attaches the missing triangular bulge along the two retained side strips. The union of those two strips and the bulge is a disk with the same two attaching arcs; parametrize its boundary arcs in the same order and extend their circle homeomorphism radially across the reference disk. This replaces the bulged neighborhood by the unbulged one relative to its attaching arcs. Induction reverses every collapse and identifies a neighborhood of the final graph with all of , carrying boundary to boundary. Thus the thickening is made of finitely many vertex disks and edge bands with the orientation-induced cyclic orders. This argument proves the needed thickening assertion, rather than inferring it from a deformation retraction alone.
(Closed oriented polygon normal forms.) For a connected closed , F1 verifies every edge and vertex hypothesis of F3, giving a one-face polygon schema. Opposite face-side orientations pair at every edge because is oriented. Reduce its vertex graph to one vertex by contracting a finite embedded spanning tree, unless the terminal sphere digon is reached first. Each edge contraction preserves the surface: a finite disk neighborhood of an edge with distinct endpoints is straightened to a segment strictly inside a convex disk; for let be its nearest point on and the boundary point on the ray from through . The map , sending to its midpoint , induces a homeomorphism from the disk modulo to the disk, fixing the outer boundary. Its inverse follows the normal ray indexed by the radial boundary point. Extend it by the identity outside that neighborhood. In the one-face polygon, collapsing the two occurrences of a tree side separately on the boundary still leaves a disk when other sides remain: a nondecreasing circle parameter constant on those intervals and strictly increasing elsewhere extends by , which is strictly increasing for . Thus a genuine polygon remains; when only remains, retain that actual sphere digon. For the remaining one-vertex opposite-pair word, there is no adjacent inverse pair, since its intermediate corner would be a separate vertex. An unprocessed pair must interlace another: otherwise separates the corners of and into distinct classes. F4 extracts the interlaced pair as a commutator block and leaves the residual word in order . Previously extracted contiguous blocks stay intact because the endpoints of the selected new letters cannot cut their interiors. Each extraction processes two new pairs; finite repetition yields . The terminal digon is a sphere, as follows by splitting it into two disks with their whole boundary circles identified. The one-handle square is the usual opposite-side torus. The cell counts are for and for the sphere, giving ; F9 makes this invariant and hence makes unique. No general triangulation-existence or full-AC classification theorem has been used.
(Free groups and essential boundary words.) Collapse a finite spanning tree of . Each remaining edge becomes one circle, giving a homotopy equivalence with a finite wedge; the finite tree contraction and its homotopy extend over the adjacent edge intervals by their endpoint parameters. F5 makes free of rank . If is a tree, its thickening is a disk: remove a leaf disk and its incident band, which is a disk attached along one arc, and induct to one vertex disk. Conversely, if has a cycle, repeatedly delete leaf edges and their end disks; this leaves a nonempty core whose vertex degrees are at least two, and does not change the boundary-loop classes except for deletion of immediate edge-and-inverse excursions. A boundary circle of the thickening follows an edge band and, at its next vertex disk, takes the next germ in cyclic order. In the core this is never the germ that would immediately reverse the incoming edge, because there are at least two germs. Every boundary circuit therefore gives a nonempty cyclically nonbacktracking closed edge path. Such a path has no null positive power: the covering graph whose vertices are reduced edge paths from a fixed vertex and whose edges append an edge and cancel an immediate backtrack is a tree (every nonroot path has its unique shorter prefix as parent). Its local edge stars map bijectively onto those of , so it is a covering. A nonbacktracking path of positive length lifts from the root to its distinct path vertex; its repeated cyclically nonbacktracking powers have the same property. By F5, a nullhomotopy would lift and make their endpoints agree, a contradiction. Thus every boundary circle of a connected compact boundary surface other than a disk generates an injected infinite cyclic subgroup. This verifies the boundary injections that will be used below.
(A null simple curve separates the finite subsurface.) Include and a compact nullhomotopy in a connected as in step 1.1, and use F1 with as a prescribed graph. A regular embedded compact circle in an oriented surface has a two-sided collar: the tangent is , and the induced normal orientation selects the positive transverse cone. Patch finitely many local transverse fields with chart bumps to a field near ; its short flow in F12 gives a map . Its differential on the zero section is invertible, and compactness plus the local inverse in F12 excludes collisions after a common shrink. This proves the collar, with no collar-flow assertion needed. If were connected, choose a simple path there joining opposite sides of a small crossing segment. Close it across that segment to obtain a dual circle meeting once. Choose as a finite normal path through triangles: the triangle dual graph of the connected cut surface is connected by its vertex links, so it joins the two triangles beside a selected interior point of a -edge without crossing another -edge. The joining path inside those triangles closes across that one edge, misses vertices, and meets the other edges transversely. Define an integer cochain on oriented triangulation edges by their signed crossings with . On every triangle the entering and exiting crossings cancel, so this cochain annihilates its boundary. Its evaluation on the edge cycle is . It therefore detects a nonzero cellular homology class of , hence a nonzero singular class by F9. The supplied nullhomotopy makes that class zero: triangulate the parameter disk and push its finite singular two-chain into ; its boundary is the subdivided curve cycle. This contradiction shows that separates . The collar has two connected sides, and every component of has frontier on one of them (otherwise it would be open and closed in connected ); hence there are exactly two components. Their closures are compact connected boundary surfaces, each with the distinguished boundary .
(Boundary genus and the separating handle curve.) For a connected boundary surface with circles, cap them by abstract disks, triangulated by finite fans along the existing boundary subdivisions. The capped surface is an oriented closed topological surface with a supplied finite triangulation, so the finite reduction of step 1.3 applies, with no need for a differentiable smoothing of the capped charts. Its genus defines the genus of . Each cap adds one face in the disk-cell count and no new boundary cells, so F9 gives . Since the spine of step 1.2 is a connected graph, its free rank is . The closed normal word is also the connected sum of tori: in two normal polygons remove small interior disks and identify their boundary circles with reversed orientations. Cut the resulting polygonal annuli along a bridge between their outer marked vertices. The resulting disk word is ; the bridge is an embedded edge with distinct endpoints, and the contraction in step 1.3 gives precisely . Iterating proves this assertion from the actual finite disk and annulus gluings. For , the seam splitting the first torus from the other tori is therefore an embedded separating circle. Its two sides are compact boundary surfaces that are not disks: their spines have ranks and . Step 2.1 supplies their injective infinite cyclic boundary subgroups.
(The choice cost of amalgam normal form.) When two finite-rank free groups are amalgamated over such injected boundary circles, order each finite free alphabet and list all reduced words by length and then lexicographically. For every left coset of the cyclic boundary subgroup, take its least word in this well-order. This defines all representatives at once by a formula, with the identity representing the subgroup; it chooses no element from an arbitrary-index family. The coefficient in the boundary subgroup is unique because its generator has infinite order by step 2.1. Thus the fixed transversal data needed by F7 actually exist without full AC. Use the factor actions on these data and the uniqueness/nonidentity conclusion of F7; the general supplier's preliminary appeal to AC to find unspecified transversals is not a premise here. Every amalgam element is conjugate either into a factor or to a cyclically reduced alternating word of syllable length at least two: if the first and last syllables are in the same factor, conjugate by the first syllable and merge the new terminal pair, shortening the finite word; repeat. When the two ends are in different factors, concatenating any positive number of copies has no merging seam, so F7 makes it nonidentity. Consequently finite-order elements are conjugate into a factor. If both factors are torsion-free by F6, so is this amalgam. F7 also makes the common cyclic subgroup inject into the amalgam, including its nonidentity length-zero coefficients.
(Torsion-freeness for compact and arbitrary surfaces.) A compact boundary surface has a free group by step 2.1, hence is torsion-free by F6. A closed genus-zero surface has trivial group, and a genus-one surface has , by F10 and step 1.3. For genus at least two, enlarge the two sides of the seam in step 3.1 by open annular collars; these are open path-connected sets with connected overlap retracting onto that circle. F8 identifies the group with the amalgam of the two free groups over the injected cyclic boundary group; step 3.2 proves torsion-freeness. Finally, if a loop in an arbitrary component of has a positive power nullhomotopic, the loop and an actual nullhomotopy have compact connected image. Step 1.1 places that image inside a connected compact subsurface . The power is null in , whose group has just been proved torsion-free; hence the original loop is null in and therefore in . No injectivity of has been assumed.
(One side is an embedded disk.) If neither were a disk, step 2.1 would make the distinguished circle inject as an infinite cyclic subgroup in both free fundamental groups. Enlarge the two sides by open collars of ; their overlap is a connected annulus. F8 and step 3.2 then give an amalgam in which the common cyclic subgroup is injective, so the loop is nontrivial in . This contradicts the actual nullhomotopy placed in . At least one is therefore a disk, and its inclusion in is the required embedded compact disk region. Its boundary is the original regular circle, so the region's half-space charts are by the local graph inverse coordinates; its interior carries the given surface structure. The proof produces an embedded region, rather than an immersed null cap or a claim that a nullhomotopy is already embedded.
(Uniqueness and components.) If is any such disk region, is connected and open in , and is closed there because compact is closed in Hausdorff . Hence its interior is an entire component of . There are at most two components in the connected component of containing , by the same two-sided collar and frontier argument as in step 2.2. Two disk regions on the same side must consequently have the same interior and closure. If both sides are disks, their union fills a neighborhood also at every point of , so it is an open and closed compact surface in that ambient connected component, hence equals the whole component. Gluing two disks by their boundary-circle homeomorphism gives a sphere: extend that homeomorphism radially across one disk and identify the resulting pair with the two hemispheres. Thus two distinct disk regions are possible only when that connected component is a sphere; conversely, if the ambient component is a sphere, take the disk already supplied by step 4.2. The closure of its other side is a compact connected boundary surface. Additivity of the finite cell count along their common circle gives , since a disk has Euler characteristic one and a circle zero. Thus , its graph spine has rank zero by step 3.1, and step 2.1 makes it a disk too. These constructions prove all clauses. Every geometric choice and word reduction was finite, and the only stated background choice is F11; the canonical coset formula of step 3.2 adds no full AC.
Remarks
The argument applies to an oriented leaf universal cover (Universal covering spaces) by pulling back its local surface charts. It gives the embedded Jordan disk and, in the nonspherical component, its uniqueness without identifying that universal cover globally with the plane. The construction uses finite charts around each compact loop and cap image; no global triangulation or smoothing assertion for the whole noncompact cover is required.
Frobenius divisibility: d omega equals eta wedge omega
Statement
Assume Countable Choice . Let be a transversely oriented codimension-one foliation of a smooth manifold with nowhere-vanishing defining -form , so . Then and there exists a smooth -form on with . If is another such form, then for a unique .
Facts & Assumptions
Given: A transversely oriented codimension-one foliation of a smooth manifold with nowhere-vanishing defining one-form , so , and the standing countable choice assumption.
For a nowhere-zero one-form , the hyperplane distribution is integrable if and only if . (The codimension-one Frobenius criterion).
If is nowhere vanishing, then for a one-form forces for a unique smooth , and for a two-form forces for a smooth one-form . (Divisibility by a nowhere-vanishing one-form).
The wedge product of alternating forms is associative and graded-commutative, so for forms of odd degree . (The wedge product is associative and graded commutative).
Proof
Since is integrable with , the Frobenius criterion [F1] gives , and by the graded commutativity of [F3] with degrees one and two (and hence sign ) this is equivalent to .
Applying the divisibility lemma [F2] to the two-form with produces a smooth one-form with .
If is another one-form with , then , so by part (i) of [F2] there is a unique smooth with ; evaluating at any vector field with gives , which both exhibits and proves its uniqueness, and no choice principle beyond the standing vocabulary is used.
Smooth foliated concordance of codimension-one foliations
Definition
Assume Countable Choice . Let be a closed smooth manifold and let be transversely oriented codimension-one foliations of with defining forms . A smooth foliated concordance from to is a codimension-one regular foliation of , transverse to the two boundary slices and , together with a nowhere-vanishing defining -form for such that for the pullback along is a positive smooth multiple of , and hence a defining form for with its prescribed coorientation. By Restriction of a foliation transverse to the boundary each slice carries the codimension-one foliation with defining form , so the requirement is exactly that these boundary foliations be with the prescribed co- orientations.
The smooth structure on is given explicitly by product charts: near use and near use , with x a smooth chart of M. These are half-space charts with smooth product transitions, as required by Smooth charts, atlases, and structures with boundary.
Curvature of an extending Bott connection lies in the transverse differential ideal
Statement
Assume Countable Choice . Let be a codimension- regular foliation of a smooth manifold with normal bundle , let be the Bott partial connection, and let be any connection on extending it: for every . Let be the differential ideal generated by the -forms that vanish on , i.e. the ideal locally generated by a coframe of the annihilator bundle of . Then, in a local frame of that is parallel along the leaves for , the curvature matrix entries of lie in ; consequently every coefficient of the curvature two-form lies in , and .
Facts & Assumptions
Given: Assume . A codimension- regular foliation with tangent distribution and normal bundle , the Bott partial connection on , and a connection on with for every .
The Bott partial connection is well defined, is -linear in the vector-field variable, satisfies the Leibniz rule, and has vanishing curvature for leaf-tangent fields . (The Bott partial connection is well defined and flat along leaves).
In a local frame with connection matrix and curvature matrix , the structure equation holds. (Curvature two-form structure equation).
For homogeneous smooth forms of degrees one has . (The exterior derivative is a graded derivation).
Proof
In a foliation chart , the annihilator of is spanned by . Thus the ideal consists locally of sums , and is closed under , because and . The classes form a local frame of parallel for the Bott connection: if then is leaf-tangent.
Use the extending connection supplied in the statement. Its connection entries in the frame of step 1.1 vanish on every leaf direction, since there. Hence .
The structure equation gives . Both summands lie in , by its differential-ideal property and step 2.1. A frame change conjugates the curvature matrix by smooth function matrices, so every curvature entry in every frame lies in .
Every product of local elements of contains factors drawn from the forms ; alternating multiplication forces a repeated factor and gives zero. Thus , including , where . This proves the assertions without asserting existence of an extension or choosing a global cover.
Relative generic position for characteristic disk maps
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a smooth -manifold, let be a cooriented codimension-one foliation of given by a foliated atlas (C¹ codimension-one regular foliations and transverse orientation, read with two continuous derivatives), and let be a nowhere-vanishing defining -form with . Let be a map and put , the characteristic covector of ; its zero set is the set of characteristic singularities of . Write for any fixed closed collar of in on which is already nowhere vanishing.
(a) If is a closed transversal to , that is, at every point of for the unit tangent , then is nowhere vanishing on a collar of .
(b) If lies in a single leaf, that is, at every point of , then is homotopic relative to to a map whose characteristic covector is nowhere vanishing on a collar of ; the homotopy may be chosen with tracks supported in an arbitrarily small collar of , and may be chosen arbitrarily -close to . Arbitrary or closeness is not asserted in (b).
(c) In either case, let now be a map whose characteristic covector is nowhere vanishing on the fixed collar . Then for every neighbourhood of there is a map , equal to on an open neighbourhood of and homotopic to by a homotopy fixed there, such that is finite, contained in the interior of , and consists of nondegenerate points: at each singular point there is a foliation chart in which the local transverse function of has and invertible. Each singular point is a center (if is definite, the characteristic line field near has a family of small closed orbits around ) or a saddle (if is indefinite, the characteristic line field near has the usual four-sector hyperbolic picture).
The statement does not assert that distinct singular points map into distinct ambient leaves.
Facts & Assumptions
Given: A cooriented codimension-one foliation of a smooth -manifold with nowhere-vanishing defining form , and a map .
In a foliation chart of the given atlas the leaves are the level sets of the transverse coordinate , one has and on the chart, and on an overlap the transverse coordinates satisfy with a diffeomorphism of intervals (C¹ codimension-one regular foliations and transverse orientation, Regular foliation atlases). Pulling back with gives on the chart, so the singularities of are exactly the critical points of the local transverse function ; and at a critical point, so nondegeneracy and the type (definite or indefinite) do not depend on the chart. [F1]
A map that is nonzero at a point is bounded away from zero on a neighbourhood of it; a continuous function on a compact set attains a positive minimum when it is everywhere positive. (Direct compactness argument, using Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line.)
Compactly supported smooth bumps: for with compact and open there is a smooth equal to near and supported in (A manifold bump for a compact set inside an open set).
Morse-Sard in Euclidean space: for open and a map , the set of critical values of is a null subset of (Morse-Sard for Euclidean maps with , ); nullity is the cover notion of Measure zero and content zero in by countable and finite cube covers.
A closed square of side is compact (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line), and a finite cover of by axis-parallel rectangles of total area admits, for every , a grid of whose cells meeting the covered set have total area below (A finite rectangle cover admits grid control with arbitrarily small volume excess).
A map between open subsets of with invertible derivative at a point has a local inverse (The Euclidean inverse function theorem).
A function whose gradient vanishes and whose Hessian is invertible satisfies ; along each ray , , the radial function is with derivative . (Taylor expansion of a function; The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with applied componentwise to .)
Every continuous real function on an interval has a primitive there (Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive ).
A smooth field has a jointly local flow; the Euclidean flow formulas glue in finitely many manifold charts by uniqueness (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
Proof
Fix a unit tangent along and let ; by [F1] the singularities of are exactly the critical points of the transverse functions, so it suffices to manipulate . In a foliation chart with transverse coordinate one has with , and a modification of that does not change is the same as a modification of ; the condition "" is chart-independent because is a globally defined -form on .
Leafwise boundary: a transverse field. Write for a collar with inward coordinate . The compact image has a neighborhood carrying a smooth field with : at each image point choose a constant field in a smooth ambient chart with positive evaluation; shrink its domain to retain positivity, take finitely many smaller compact cores covering the image, and patch those finitely many fields with nonnegative smooth bumps from [F3]. Their sum is smooth and has positive evaluation near the image. Its flow is jointly on a uniform short time interval there, by [F9] and compactness.
The transversal boundary case (a). If is a closed transversal, then by definition at every boundary point; since is continuous, [F2] gives , and by continuity of and compactness of there is a collar of with on , which is (a).
Leafwise boundary: normal derivative. Set and at . Choose one constant with on the compact boundary. With a smooth cutoff equal to one near zero and supported in , define , and keep outside this collar. This is , fixed on the boundary, and there its characteristic covector has zero tangential component and normal component . Continuity and compactness therefore give a zero-free collar. Scaling the flow time gives a homotopy fixed on the boundary and supported in the chosen collar. Taking small makes the value displacement arbitrarily small, while the normal derivative change need not be small. This proves (b) with closeness.
Preparation for (c). Enlarge the fixed collar slightly to an open collar with compact closure on which , and let , a compact disk contained in the interior of ; all singularities lie in . Choose finitely many open disks , each with closure disjoint from and a compact core and with contained in a single foliation chart of with positive margin from its boundary, such that the interiors of the cover ; this is possible because is compact and is continuous. Since the conditions are open in the topology, there is a neighbourhood of such that every map in still sends each into and is still regular on .
The local perturbation of (c). Fix and write the current map on as , where is the local transverse function. Choose a bump equal to near and supported in [F3], and for a parameter define the modified map on by replacing with , leaving the foliation coordinates and the map outside unchanged; since is compactly supported in the interior of , the result is a map on agreeing with the previous map near with all derivatives. On the open set where the new transverse function is , whose critical points are the solutions of ; for small the map stays in .
Sard makes the core nondegenerate. The gradient map is a map, so by [F4] its set of critical values is null in . A null set has empty interior: if a null set contained a closed square of side , nullity would give a sequence of closed cubes covering with total area at most ; thickening the -th cube by on each side makes a cover by open cubes whose total area exceeds by at most , hence has total area below ; by compactness of [F5] finitely many of them cover with total area , and [F5] turns this finite cover into a grid of whose cells meeting (that is, all cells) have total area below , contradicting that the cells of a grid of have total area . Hence the critical values of have empty interior and arbitrarily small vectors are regular values, so all solutions of in have invertible Hessian .
Preservation of the earlier cores and the fixed charts. At the moment core has been treated, its singularities are the finite set (finite because is invertible at each solution, so the solutions are isolated, and is compact): they are nondegenerate, and on the compact complement of small isolating disks the gradient of the new transverse function is bounded away from zero. This property, "all singularities in are nondegenerate and isolated", is open in the topology: near each singularity the Hessian determinant stays nonzero, and on the compact remainder the gradient norm stays positive. Since there are only finitely many earlier cores and finitely many chart conditions, the regular value in step 5.1 may be chosen arbitrarily small, and the perturbation in chart then preserves every earlier core and every fixed chart inclusion; moreover each earlier core property in turn is preserved by all later perturbations for the same reason.
Finiteness, interiority and the homotopy. After the finitely many steps, every point of lies in the interior of some core ; at the end all singularities in each remain nondegenerate (their positions may move), because all later perturbations preserve this property, and there are none in the collar . Hence is a finite set of interior nondegenerate points. Scaling the finitely many parameters linearly from to their chosen values and concatenating the resulting homotopies gives a homotopy from to that fixes an open neighbourhood of the original collar and keeps every intermediate map .
A nondegenerate singularity is a center or a saddle. Let be a nondegenerate singularity with local transverse function and Hessian , and translate so that and . If is definite, then by [F7] each ray is strictly monotone in near ; for a small positive level (or negative, according to the sign of ) every ray meets in exactly one point near , by the intermediate value theorem, and the resulting radius is continuous in ; the levels are therefore small closed curves around , so the singularity is a center. If is indefinite, diagonalize linearly to assume ; the map has invertible -derivative at the origin, so [F6] solves locally as a curve with . Put ; then is with and , and Taylor's theorem with [F8] applied twice in the variable gives and with continuous and , . The changes and are continuous and strictly monotone in and respectively near the origin, hence define local coordinates there, and in them ; the level sets of therefore have the four-sector saddle picture.
By steps 2.1, 2.2, 7.1 and 8.1 assertions (a), (b) and (c) hold. The construction selects only finitely many objects at each stage (finitely many charts, finitely many bumps, finitely many arbitrarily small regular values), so the proof's own choices are finite and need no choice principle; the stated hypothesis is inherited from the cooriented smooth-distribution interface used to speak of the foliation, its defining form and its flat charts, exactly as recorded in Transversely oriented codimension-one foliations. Nothing here separates distinct singularities into distinct leaves, since in a nonproper foliation two different transverse coordinates may lie in the same leaf; this is why no such separation is asserted.
A C² product coordinate on a planar period annulus
Statement
Let be a vector field on an open subset of , and let be an open annulus saturated by on which is nowhere zero and every orbit is a simple periodic curve. Assume these periodic curves are strictly nested Jordan curves with a consistent orientation. Then there are an interval and a diffeomorphism taking each circle onto one orbit and a positive function such that in these coordinates. The coordinate may be chosen to increase from the inner end to the outer end of the annulus.
Facts & Assumptions
Given: A vector field on an open set containing the open annulus , on which is nowhere zero, every orbit is a simple periodic curve, the periodic curves are strictly nested Jordan curves, and their boundary orientations agree.
If is on an open , its maximal flow is jointly with a flow box at each regular point; if is the flow and those boxes are ; individual trajectories of a field are in time; and a trajectory remaining in a compact subset of has no finite maximal endpoint (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
A map between open subsets of with invertible derivative at a point has a local inverse; and if is near with and , then there is a unique local root , with and (C² inverses and scalar return roots).
Closed and bounded subsets of are compact; a decreasing nested family of nonempty compact subsets has nonempty intersection; a continuous real function on a nonempty compact set attains its maximum and minimum (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
A topological embedding that is piecewise with finitely many corners, each with two distinct one-sided tangent rays and regular edges, has a complement with exactly two connected components, one bounded and one unbounded (A finitely cornered regular plane curve separates without choice).
Proof
Let be the quarter-turn and set with the sign chosen so that crosses each orbit from its bounded Jordan domain to the exterior; at a fixed orbit the crossing sense of is a continuous nowhere-zero directional datum along the compact orbit and the consistent orientation hypothesis keeps its sign fixed, while the sense depends locally constantly on the orbit and the orbit family is connected, so one global sign makes every crossing of every orbit by outward; hence is a nowhere-zero field on transverse to .
Fix and let be the maximal -trajectory with ; then crosses each orbit at most once: if were consecutive crossing times of one orbit and avoided , that connected arc would lie in one component of by [F6], yet outward crossings at and put the points just after and just before on opposite sides of , a contradiction.
All orbits lying strictly between two orbits crossed by are crossed: if is inside and , , then lies in the bounded component of and in the unbounded one for every orbit between them, so the connected arc cannot avoid and some intermediate time lies on .
The crossed orbits exhaust . First each orbit has a local period tube: a short local -trajectory through a point of , which meets each orbit at most once by the argument of step 2.1, and the flow give a first-return map near its least period by [F2]; compactness of one traversal excludes returns away from the endpoints. The returned point lies on the same periodic orbit and on that local section, which meets every orbit at most once. Thus the return point is the initial point. Thus the nearby return time gives a circle product, with a transverse leaf coordinate . On a smaller closed tube the outward transverse field satisfies by compactness. By step 3.1 the crossed family is order-convex; if it stopped at an orbit inside , the section would eventually lie in such a tube on the inner side of . It cannot leave through that side because , and the bound forces it to reach in finite time. Compact flow continuation from [F1] excludes an earlier maximal endpoint. The reversed argument treats an inner stopping orbit. Hence every orbit is crossed once.
The maximal trajectory is , and after composing its parameter with one explicit increasing diffeomorphism of its open time interval onto (affine when both ends are finite, and an arctan-type explicit map when an end is infinite) the section may be written , is still , and meets every orbit exactly once with the parameter increasing from the inner to the outer end.
For each the orbit of is a simple periodic curve of a nowhere-zero field, so its period set is a closed additive subgroup of whose discreteness gives a least positive period ; fixing and a flow box at with and the section near a graph , the function , built from the jointly flow of the field, is with and , so [F2] gives a unique local return time near ; for near no smaller positive return occurs, because the trajectory of stays uniformly close to the reference orbit on the compact time interval and avoids the section there by [F1] and [F3], while inside the flow box the section is met only at ; hence is on all of .
Define on ; it is and -periodic in , and it is bijective because every orbit meets exactly once and modulo parametrizes that orbit once; its columns and , the latter being a scalar multiple of plus the pushforward of the transverse vector , are everywhere independent because a time slice of the flow is a linear isomorphism carrying the line spanned by onto the line spanned by ; so is invertible everywhere, [F2] gives local inverses, and they agree globally by bijectivity, making a diffeomorphism onto .
Since , the pushforward satisfies with of class on ; the section parameter increases from the inner to the outer end by construction, and the argument used one specified initial point, finitely many flow boxes and compactness arguments and the explicit reparametrization, hence no choice principle, so , , and have all the asserted properties.
Local generalized Poincare-Bendixson theorem for a precompact planar orbit
Statement
Let be open and let be a vector field with flow . Let be a positive orbit whose closure is compact and satisfies . Put , and assume contains only finitely many equilibria (zeros of ). Then exactly one of the following forms holds:
(i) is a singleton equilibrium;
(ii) is one regular periodic orbit;
(iii) is a nonempty finite set of equilibria together with at least one regular trajectory, and every regular point of lies on such a trajectory whose alpha- and omega-limit sets are points of .
The family of connecting trajectories in (iii) need not be finite. The conclusion uses no choice principle beyond the ambient Euclidean completeness.
Facts & Assumptions
Given: A field on an open set , a positive orbit with compact closure , and the limit set , which contains only finitely many equilibria.
The field has a unique maximal flow , jointly and satisfying ; two trajectories through one point agree on the common part of their time intervals; each time slice is injective; a trajectory remaining in a compact subset of has no finite maximal endpoint; each trajectory of a field is in time; and at a regular point there is a flow box whose plaques are carried by the flow (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
A piecewise- topological embedding with finitely many corners, each having two distinct one-sided tangent rays and regular edges, has a complement with exactly two connected components, one bounded and one unbounded (A finitely cornered regular plane curve separates without choice).
Closed and bounded subsets of are compact, so a nested decreasing family of nonempty compact subsets of has nonempty intersection, and a continuous function on a compact set attains its bounds (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
Proof
The sets are nested nonempty compact connected subsets of ; by the finite-intersection property for nested compacta [F3], is nonempty and compact, and it is connected because the intersection of a decreasing family of continua is a continuum. Flow continuity and the flow law make invariant: for every real for which it is defined near , since and is closed.
A transverse section and monotone crossings. Fix a regular point and a compact embedded segment through , contained in one flow box of [F1] and transverse to at every point; parameterize by an interval coordinate and write for the intersection points of an orbit with in the order of visiting times . Such times are isolated, because the flow box straightens the field and the section is transverse to its direction. Let be two consecutive intersections of some orbit with and consider the closed curve formed by the orbit arc together with the subarc of from to . It is a simple closed piecewise- curve with two corners at , each having distinct one-sided tangents, because the orbit is transverse to and, by uniqueness [F1], the arc has no self-intersection and, by consecutiveness, meets only at its endpoints; both facts use that the orbit is not periodic on . By [F2] the complement of has exactly two components. The forward orbit leaves on the side of the crossing opposite to the incoming arc and hence enters the component of whose closure meets in the ray beyond : it cannot cross the orbit arc by uniqueness and cannot meet until its next visit, so the next intersection satisfies when , and symmetrically when . Repeating the same argument for each consecutive triple makes the sequence of crossing coordinates strictly monotone in one direction; a repeated intersection, instead, makes the orbit periodic by uniqueness.
At most one point of on a compact section. Let be compact and transverse as in step 1.2, extend it slightly within its flow box so its endpoints are interior to the extended section, and let . Then is a limit of crossing points of the original orbit with : late orbit points with approach , and in a small flow box around the section is crossed within a uniformly bounded signed time, so some crossing point lies arbitrarily close to . Since a transverse section meets each time-parametrised orbit in isolated times, all these crossing points avoid neighbours of only finitely often; more precisely, the monotone sequence of crossing coordinates of the orbit converges to the coordinate of the unique limit point. By the strict monotonicity of step 1.2 (for the orbit's crossings, or for the crossings of any invariant orbit inside ) two distinct points of would give two different limits of the same monotone sequence, which is impossible; hence has at most one point, and any orbit contained in has at most one distinct intersection point with , although a periodic orbit returns to that point repeatedly.
The dichotomy for a regular point of . Fix a regular point ; since is invariant [step 1.1], the whole trajectory of lies in . Its forward limit set is nonempty, compact, connected and contained in by the same nested-tail argument as in step 1.1, and it is invariant. If contains a regular point , choose a compact transverse section through ; the forward orbit of crosses infinitely often at points accumulating at , and all these crossing points lie in by invariance and closedness, hence in the at-most-single-point set of step 2.1; thus two such crossings coincide, and by uniqueness the orbit of is periodic, with equal to that periodic orbit. If contains no regular point, then every point of it is an equilibrium, so is a nonempty connected subset of the finite equilibrium set and hence a singleton equilibrium.
Assembling the three alternatives. If has no regular points, then is a connected nonempty subset of the finite equilibrium set, hence a singleton equilibrium, which is (i). If has no equilibrium, take any regular ; by step 3.1 either its orbit is periodic, in which case the periodic orbit is compact, or is a singleton equilibrium, contrary to the absence of equilibria; so exists. The periodic orbit is open in : a finite flow-box tube around meets only in , because any point of in such a tube is carried by the flow to a transverse section that already meets in at most one point, and would either produce a second point of on that section or lie on ; formally, apply step 2.1 to a short section through a point of and to the crossings forced by the tube. Being also closed in the compact and nonempty, by connectedness of , which is (ii). Finally suppose has both a regular point and an equilibrium. Then is a singleton equilibrium by step 3.1, and the same section argument applies to the alpha-limit of : a regular alpha-limit point would force two negative-time crossings in the singleton , and hence periodicity; thus its alpha-limit is a singleton equilibrium; for an arbitrary regular point of the same dichotomy gives that is a singleton equilibrium as well, since if it were the periodic orbit of step 3.1 then the tube argument of the second case above would make open and closed in the connected , so would carry no equilibrium, contrary to the present case, and the same negative-time section argument makes a singleton equilibrium; writing for the finite set of equilibria of , every regular point of lies on its own trajectory and has both one-sided limit sets in , so , which is (iii).
Steps 1.1–4.1 cover the three cases exhaustively and each alternative holds exactly when the corresponding case does, so exactly one of (i), (ii), (iii) occurs; the arguments used only the flow box and uniqueness clauses of the flow [F1], the finite-corner Jordan separation [F2] and compactness [F3], all of which are choice-free, so no choice principle is invoked.
A C1 planar gradient at a nondegenerate saddle has local stable and unstable curves
Statement
Let be of class near a point of the Euclidean plane , and suppose is a nondegenerate saddle of : and is invertible with one positive and one negative eigenvalue. Then the field has a local stable curve and a local unstable curve through : both are embedded curves containing , the tangent line is the positive eigenline of and is its negative eigenline, and each of and consists of exactly two half-trajectories of . There is a neighbourhood of such that every trajectory of that is defined and stays in for all lies on , and every trajectory that is defined and stays in for all lies on . The convergence to along is exponentially fast as and the convergence along is exponentially fast as : there are constants with for all with and all , and for all with and all . No choice principle is used.
Facts & Assumptions
Given: A function near a point with and invertible with one positive and one negative eigenvalue.
For a field on an open set of there is a unique maximal jointly flow with , trajectories of are in time, and two trajectories through the same point agree on the common part of their time intervals (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
A contraction of a nonempty complete metric space has a unique fixed point (A contraction of a nonempty complete metric space into itself has exactly one fixed point, the limit of the iterates from any starting point).
If is a bounded linear operator on a Banach space with , then is invertible with and , and is continuous at every such (Neumann series and small perturbations of bounded inverses).
A pointwise limit of continuous real functions that is uniform on the domain is continuous (The uniform limit of continuous real-valued functions on a metric space is continuous).
with the Euclidean metric is complete ( and for with the Euclidean metric are complete, componentwise from the Cauchy criterion in ).
For real , a real function continuous on and differentiable on satisfies for some (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
A continuous map from a nonempty compact space to a metric space is uniformly continuous (Heine-Cantor: a continuous map from a compact metric space to any metric space is uniformly continuous).
A real symmetric endomorphism of has an orthonormal basis of eigenvectors with real eigenvalues (Real spectral theorem: a self-adjoint endomorphism of a finite-dimensional real inner product space has an orthonormal eigenbasis).
Every continuous real function on an order-convex interval with at least two elements has a primitive there, and primitives differ by constants (Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive ).
Proof
Translating the source point to the origin and subtracting the constant , assume , and . Put and . By [F8] the symmetric matrix has an orthonormal basis of eigenvectors; its eigenvalues are and for some , because has one negative and one positive eigenvalue. Let be the eigenline of and the eigenline of , and let be the orthogonal projections onto them, so , , and for one has while . Fix with . Since is with derivative at the origin, the field has the form with of class , and .
A compactly supported perturbation of with small derivative. Let (to be fixed below). Choose with for ; this is possible because and is continuous. Choose a smooth cutoff with on the ball and outside , and put . On one has , and and there at the origin. On the support of , which is a compact subset of , the mean value theorem [F6] gives , while for a constant depending only on the fixed cutoff profile; hence for every , using . Since is arbitrary, can be made as small as we please. Moreover is continuous with compact support, hence uniformly continuous on by [F7]. Set ; then on .
The weighted space of paths. Let be the set of continuous with . This is a normed vector space, and it is complete: if is -Cauchy then each sequence is Cauchy in , which is complete by [F5], so exists; the Cauchy bound passes to the limit, so , and on each the convergence is uniform, so every component of is continuous by [F4]; finally . Also for every and .
The integral operator and its contraction constant. For define Both integrals converge absolutely, because by [F6] and the kernel bounds of step 1.1 give whose -integral over is . The same kernel bounds give, after multiplying by , because by the componentwise mean value theorem [F6]; recall . Also is continuous, being the difference of two continuous functions of . Fix in step 2.1 so small that and .
-Fréchet differentiability of . For let be given by the same formula with replaced by . The estimates of step 3.1 show that is linear and bounded with . By the componentwise mean value theorem [F6] applied on the segment from to , where satisfies as by the uniform continuity of established in step 2.1. Since , the weighted kernel estimates give , where ; this is : thus is the Fréchet derivative of at , and is continuous in operator norm because is a modulus of continuity.
Fixed points of the contractions . For put , so and by step 1.1, and define . By step 3.1, is a -contraction of the nonempty complete space with ; by the Banach fixed point theorem [F2] it has a unique fixed point . Since , the estimates of step 3.1 give , hence and
is a trajectory of with exponential decay. Write the first integral of as and the second as with ; the integrands are continuous and the integrals converge absolutely as in step 3.1. Differentiating with the product rule and the primitive of a continuous function [F9] gives for every , so solves the ODE of ; by [F1] it is the trajectory . If then for all by the exponential bound, so the trajectory stays in the ball where ; hence it is a trajectory of and is the initial point of a trajectory of converging exponentially to the origin with rate .
The initial points depend on . Let be the unique fixed point of ; it exists by the same contraction argument as in step 4.2 and , where is linear and bounded into . We show that is Fréchet differentiable with . Let , and ; step 4.1 gives , and . Since , the operator is invertible with inverse of norm at most by the Neumann series [F3], so , while the contraction inequality directly gives . Therefore , so exists and has the stated form; it is a bounded linear map. Continuity of follows from the Lipschitz continuity of , the continuity of (step 4.1) and the continuity of the inversion map [F3]. Consequently is , and since the evaluation is linear and bounded and , differentiating at in a direction gives , so for
Bounded trajectories. A bounded trajectory in satisfies variation of constants. In its unstable component, and the integral of converges, since its integrand is bounded by . Therefore with . This does not yet put in the weighted space. Instead use the complete space with the supremum norm; its completeness follows by the pointwise-limit and uniform-continuity argument of step 2.2. The same operator has contraction constant there. The weighted fixed point is bounded and solves the same equation, so uniqueness in this larger space gives , and hence exponential decay.
The stable curve, the unstable curve and the half-trajectories. Choose with for ; this holds by step 5.1 because . Then maps -injectively onto a embedded curve , because the linear projection restricts to the inverse of on and is the graph of the function ; and because . For , uniqueness of the fixed point after shifting time gives . On this graph, and the small derivative bound give , with after decreasing initially. Thus strictly decreases toward zero and each local half-graph is invariant. By step 4.3 every point of has its forward trajectory in , converging to at rate ; by step 5.2 every trajectory of , hence of , that stays in a sufficiently small ball for all equals some , with , and therefore starts on . If , the forward trajectory of is a connected subset of whose parameter values tend to and contain , so by the intermediate value property it meets both components of only according to the sign of : the two components and are each a single half-trajectory. Applying the same construction to the function , whose Hessian is again a nondegenerate saddle and whose gradient field is , produces the unstable curve of , tangent to the negative eigenline of and swept out by the two backward half-trajectories with exponential backward convergence; the neighbourhood is the intersection of the two trapping balls. This proves all the assertions; every step used only the displayed estimates, the Banach fixed point theorem, the Neumann series and the primitive of continuous functions, none of which needs a choice principle.
The Godbillon-Vey form eta wedge d eta is closed
Statement
Assume Countable Choice . Let be a transversely oriented codimension-one foliation with defining form and . Then ; the -form is divisible by , i.e. for a smooth -form ; ; and . Consequently is a closed -form on .
Facts & Assumptions
Given: A transversely oriented codimension-one foliation of a smooth manifold with defining one-form and a one-form satisfying , and the standing countable choice assumption.
Under , if is nowhere vanishing and for a smooth two-form , then for a smooth one-form . (Divisibility by a nowhere-vanishing one-form).
For homogeneous smooth forms one has . (The exterior derivative is a graded derivation).
For every differential form , . (The exterior derivative squares to zero).
The wedge product is associative and graded-commutative, so for a one-form and . (The wedge product is associative and graded commutative).
Proof
Differentiating with the Leibniz rule [F2] and [F3] gives , and by graded commutativity [F4], so .
Since is nowhere vanishing and the two-form satisfies , the divisibility lemma [F1] gives a smooth one-form with .
Then by associativity and graded commutativity with and [F4].
Finally by the graded Leibniz rule [F2] and [F3], so is a closed three-form. The standing assumption licenses the global divisibility result in step 2.1; the remaining calculations are formal exterior-algebra identities.
Bott vanishing for real Pontryagin monomials of a foliation
Statement
Assume the full Axiom of Choice (The Axiom of Choice). Let be a codimension- regular foliation of a smooth manifold with normal bundle . Then every real Pontryagin monomial of total cohomological degree greater than in the normal bundle vanishes: for every homogeneous -invariant polynomial representing a Pontryagin monomial and of polynomial degree , the characteristic class obtained from the Pontryagin classes of by Pontryagin classes by complexification is zero. No integral statement is made: the vanishing is of the real Chern-Weil form, hence of the real class.
Facts & Assumptions
Given: A codimension- regular foliation of a smooth manifold with normal bundle and an invariant polynomial of degree on the structure group of .
For a connection on extending the Bott partial connection, in a leaf-parallel frame the curvature matrix entries lie in the differential ideal generated by the one-forms vanishing on , and . (Curvature of an extending Bott connection lies in the transverse differential ideal).
The Chern-Weil construction is independent of the choice of connection and is natural under pullback. (Connection independence and naturality of Chern–Weil classes).
The de Rham class of the Chern-Weil form of an invariant polynomial represents the corresponding real characteristic class of the bundle. (Characteristic forms represent topological characteristic classes over the reals).
Under AC a smooth real bundle admits a connection (Every smooth vector bundle admits a connection), and a smooth manifold admits a Riemannian metric under the implied countable choice (Every smooth manifold admits a riemannian metric).
Proof
By [F4] choose a metric on , the orthogonal projection , and a connection on . Define . Its direction-linearity and Leibniz rule follow from those of the two summands, since ; it extends the Bott partial connection. Now [F1] puts all its curvature entries in with .
Evaluating the invariant polynomial of degree on the curvature gives a sum of products of matrix entries , possibly with constant coefficients and traces; each such product is an element of , so .
If then , so the Chern-Weil form is identically zero and represents the zero class; by [F2] the Chern-Weil class is independent of the connection and by [F3] it represents the real characteristic class of , so the real Pontryagin monomial vanishes in ; no integral refinement is claimed with AC used for [F4] and the topological-to-real comparison [F3].
C² plaque transport and finite transverse fences preserve C² regularity
Statement
Let be a codimension-one foliation of a smooth -manifold given by a foliation atlas: charts whose components and inverses are of class and whose transitions have the form with of class and a one-dimensional local diffeomorphism of intervals.
(a) Every finite plaque transport between local transversals is a local diffeomorphism germ.
(b) A finite family of traces agreeing on open overlap collars glues to a trace, and if the parameter derivative of every piece has nonzero transverse component then the glued trace is transverse at every parameter, including its one-sided derivatives at parameter endpoints.
(c) Well-definedness of holonomy along leafwise loops and its invariance under leafwise homotopies relative to endpoints are supplied by the underlying atlas.
These assertions concern the regularity of specified compatible pieces; they do not assert the existence of a polycycle fence or of an extremal cycle.
Facts & Assumptions
Given: A foliation atlas for , a finite plaque transport between local transversals, and finitely many traces on open intervals that agree on open overlap collars.
A foliation atlas as in the statement is a foliation atlas in the sense of C¹ codimension-one regular foliations and transverse orientation: every chart and its inverse is of class , and on every overlap the transition has the form with a one-dimensional local diffeomorphism.
For a transversely oriented codimension-one foliation, plaque transport along leafwise loops defines a homomorphism into transverse germs that is independent of the foliation chart chain and invariant under leafwise homotopies relative to endpoints (Holonomy of a C¹ foliation is a representation into C¹ transverse germs).
A map between open subsets of with invertible derivative at a point has a local inverse there (C² inverses and scalar return roots).
Proof
By [F1] the given atlas is a foliation atlas. The chart-chain and homotopy argument of [F2] does not require transverse orientation: compose the transverse coordinate changes along a finite subdivision; a common refinement preserves the composite, and a finite rectangle subdivision of a leafwise homotopy changes paths only inside plaques, where transverse transport is unchanged. These statements use finite compact covers; they apply to germs of either orientation. Under the library concatenation convention, transport on the reversed loop gives the homomorphism. Thus clause (c) holds for the given atlas.
Let be a chart of the given atlas, let be local transversals through points of one common plaque of , and parametrize near and near by curves and with , , and . The plaques of are the level sets of , so the plaque transport between and matches points with equal -coordinate.
Let be open intervals covering a compact parameter interval , and let be traces that agree on for all (in particular on a collar neighbourhood of every seam), so that for is a well-defined map on . At a parameter interior to some the glued map coincides on an open neighbourhood with the map , hence is there; at a parameter endpoint of , restriction of any whose interval contains that endpoint gives continuous one-sided derivatives of orders one and two, so is on in the one-sided sense.
The function is with nonzero derivative at , so by [F3] it has a local inverse near ; likewise has nonzero derivative at and is a local diffeomorphism. The single-chart transport written in the parameters of and is therefore near , it is as a composite of maps, and . Hence the piece is a local diffeomorphism germ.
At every parameter the derivative of the glued trace equals the derivative of a piece defined on a neighbourhood of that parameter, and by hypothesis that derivative has nonzero transverse component in a foliation chart; consequently the glued trace is transverse to at every parameter, and at the endpoints its one-sided derivative equals the one-sided derivative of any piece containing that endpoint, so transversality persists there as well. This is clause (b).
Suppose a plaque transport meets the transversals successively and the piece from to lies in the chart . Inside step 2.1 exhibits that piece as a local diffeomorphism germ with nonzero derivative. If two consecutive pieces are computed in different charts, then on their common domain the transverse coordinates are related by the transition function , which is a diffeomorphism by the atlas hypothesis, and composition with and with its inverse preserves both regularity and the nonvanishing of the derivative. A finite composition of local diffeomorphism germs with nonzero derivative is again such a germ, so every finite plaque transport between local transversals is a local diffeomorphism germ, which is clause (a).
Clause (a) is step 3.1, clause (b) is step 2.2, and clause (c) is step 1.1; the argument used finitely many charts, finitely many pieces and local inverses only, so no choice principle is invoked.
The characteristic disk has one more center than saddle
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a cooriented codimension-one foliation of a smooth -manifold with nowhere-vanishing defining form (Transversely oriented codimension-one foliations), and let be a disk map whose characteristic covector is nowhere vanishing on and has finitely many interior zeros, all nondegenerate, each a center or a saddle (Relative generic position for characteristic disk maps). Assume moreover that the boundary loop is either leafwise ( everywhere) or a closed transversal ( everywhere), where is its tangent. Then the characteristic line field of has finitely many nondegenerate centers and saddles, and their numbers satisfy In particular there is at least one center.
Facts & Assumptions
Given: A cooriented codimension-one foliation with defining form , and a map whose characteristic covector is nowhere vanishing on and whose interior zeros are finitely many nondegenerate center/saddle points, with the boundary leafwise or a closed transversal as stated.
Relative generic position supplies exactly the stated boundary and interior behaviour, and it also identifies each singularity with a nondegenerate critical point of the local transverse function, definite Hessian for a center and indefinite Hessian for a saddle (Relative generic position for characteristic disk maps).
In a foliation chart with transverse coordinate one has with , and ; writing in oriented source coordinates, with satisfies , so at a zero the chain rule gives (Transversely oriented codimension-one foliations, The chain rule for total derivatives: ).
Closed bounded subsets of are compact, and a continuous positive function on a compact set has a positive minimum (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
Degree of circle loops: for a based loop in the degree is computed by the lift from , descends to , equals exactly for nullhomotopic loops, and adds under concatenation and changes sign under reversal; moreover there is a continuous argument along any continuous path in by path lifting, and the increment of an argument along a path is invariant under homotopies of paths with fixed endpoints (The degree of a based circle loop, Degree defines a function , A based circle loop is nullhomotopic exactly when its degree is zero, Lifts of circle-loop concatenations and reversals, Existence and uniqueness of path lifts through a covering map, Existence and uniqueness of homotopy lifts through a covering map).
The identity map of has degree and a single coordinate reflection has degree (Degree of identity constant reflection and antipodal sphere maps).
Proof
Write in the oriented source coordinates of the disk and define the characteristic field , so that ; then vanishes exactly at the zeros of , which are the finitely many nondegenerate interior points of the hypothesis, and is nowhere zero on and on a collar of it.
Boundary degree. The normalized field is a continuous loop in on the counterclockwise circle , and its degree is . If lies in one leaf, then for the unit tangent of , while on the boundary; from the vector is tangent to the boundary circle and nonzero, hence with , and is continuous on the connected circle, so it has a constant sign: the normalized field is and has the same degree as the unit tangent , which is the rotation of the identity map and so has degree [F5]. If is a closed transversal, write with the outward unit normal; then with for the counterclockwise orientation, so has a fixed nonzero sign, and the straight homotopy with has normal component , hence is nonzero for all ; the normalized fields are therefore homotopic loops, and the normalized outward normal has degree [F5], so the boundary degree is in both cases.
Outer polygon and holes. Since has a zero-free collar and the zeros are interior, by [F3] we may choose a regular polygon , star-shaped about the origin with positive radial function , whose boundary lies in the zero-free collar and whose closed convex hull contains all . Around each choose pairwise disjoint disks with closures in the interior of and containing no zero of other than , and inside a centered closed square with positive radial function about . The radial homotopies and , with the radius of , move to the boundary circle of and to through loops on which never vanishes; by the homotopy invariance of the argument increment [F4] the degree of the normalized field on equals the boundary degree of step 2.1, and the degree on equals the degree on .
The local degree at a zero is the sign of the Hessian. Fix and work in a foliation chart around with transverse coordinate and . By [F2] the derivative of at is , and , so with the quarter-turn matrix of determinant . The normalized field near is homotopic through nonzero fields on a small circle to the normalized linear field of . If is definite, write and let be any eigenvalue; the family is invertible for every , so the normalized fields of give a homotopy, and for the field is, in the complex notation , the map , of degree . If is indefinite, choose coordinates diagonalizing it with eigenvalues ; the family stays invertible, and for one computes on the unit circle, of degree . Hence a center contributes local degree and a saddle contributes .
The index sum. Cover the closed polygon by a finite grid of closed axis-parallel rectangles chosen so that every grid line through a side of some square is a grid line; then each grid cell either lies inside one of the squares or has interior disjoint from all of them. Discard the cells lying inside a square and the cells disjoint from ; for every remaining cell , the set is convex, hence contractible, and is contained in the closed zero-free region , so the normalized field is defined on and the loop extends to a map of the convex set , hence is nullhomotopic and has argument increment [F4]. Summing the increments over the finitely many cells, every edge of the grid that lies in the interior of occurs twice with opposite orientations and cancels by the additivity and reversal rules [F4] (the cells' boundaries are finite polygonal paths, and the common edges are traversed in opposite directions with equal image under ); what survives is the boundary of traversed counterclockwise together with the boundaries of the squares traversed clockwise. Therefore , that is, .
By step 4.1 the sum equals , where is the number of centers and the number of saddles among the nondegenerate zeros; step 5.1 gives , so in particular and the zeros of the characteristic line field are exactly the finitely many nondegenerate centers and saddles. The proof used the relative-genericity supplier, the chain rule, compactness and the elementary degree calculus of circle loops; all of these are choice-free and the only inherited hypothesis is the stated of the cooriented interface.
A finite saddle omega-graph is strongly connected and is a finite union of polycycles
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a cooriented codimension-one foliation and let be a characteristic disk in the relative generic position of Relative generic position for characteristic disk maps. Let be its planar characteristic vector field. Let be an open neighborhood of the disk and let be a field with and on . Assume the positive orbit of has compact closure , contains at least one equilibrium, all equilibria in are nondegenerate characteristic saddles of , and separates two specified points of the plane. Then is a finite embedded directed multigraph: its vertices are those saddles and its edges are closures of distinct nonconstant trajectories with saddle alpha- and omega-limits. The directed graph is strongly connected. Consequently every edge lies in a closed directed edge walk, and finitely many such walks cover ; a closed directed edge walk is allowed to repeat vertices and is called a directed saddle polycycle here.
Facts & Assumptions
Given: A cooriented codimension-one foliation, a characteristic disk map in relative generic position, its planar characteristic field , a field on a neighborhood of the disk with and on , and a positive orbit with compact closure and -limit whose equilibria are finitely many nondegenerate characteristic saddles of .
Let be on an open and let have compact closure with containing only finitely many equilibria. Then either is a singleton equilibrium, or is one regular periodic orbit, or is a finite set of equilibria together with at least one regular trajectory, and every regular point of lies on a nonconstant trajectory whose alpha- and omega-limit sets are points of (Local generalized Poincare-Bendixson theorem for a precompact planar orbit).
A function on the plane with a nondegenerate indefinite Hessian at has coordinates centered at in which it equals (A C² saddle function has C¹ Morse coordinates).
A Euclidean field has a unique maximal flow that is jointly , its time slices are injective, each regular point has a flow box, a trajectory remaining in a compact subset of the domain has no finite maximal endpoint, and trajectories are in time (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
In relative generic position the characteristic singularities of the disk map are finitely many nondegenerate points in the interior of , each a center or a saddle (Relative generic position for characteristic disk maps).
The standing assumption of the pair is Countable Choice (The countable-choice principle used in the foliation pair).
Closed and bounded subsets of are compact; a nested decreasing family of nonempty compact subsets has nonempty intersection; a continuous real function on a nonempty compact set attains its maximum and minimum (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
Proof
At a saddle use the coordinates of [F2] in which the local transverse function of the disk map is ; writing the pulled-back area form as with continuous and positive and the characteristic covector as with continuous and nonzero, the field is ; replacing by if necessary (which changes to its negative) makes the coefficient , continuous on a smaller compact chart, and then , give two incoming half-branches (both -axis rays) and two outgoing half-branches (both -axis rays) with exponential rate bounds for the contracting branch and the reciprocal bounds for the expanding branch on the compact chart; since on , every edge of through follows one of these four half-branches, and by uniqueness of [F3] each half-branch is contained in exactly one maximal trajectory, so at most two edges leave each vertex and there are at most twice as many edges as vertices.
Every regular point of lies on a maximal trajectory whose alpha- and omega-limits are saddle points of : since a singleton does not separate two points of the plane, alternative (i) of [F1] fails; alternative (ii) fails because contains the given equilibrium; hence alternative (iii) holds; each such maximal trajectory is contained in by invariance and closedness of , has no interior equilibrium by uniqueness [F3], and its closure is one of the edge closures of step 1.1, so the edge closures together with the saddle vertices exhaust , distinct edges meet only at common saddle endpoints, and the four half-branches at each saddle give the local embedded-graph structure.
With exact endpoints, is internally chain-transitive: fix , and ; by joint continuity of the flow [F3] on the compact set and the time interval , choose so that -close points have -close images throughout ; since and the orbit tail approaches uniformly, choose so late that is within of for all , then choose with within of and with within of ; write with an integer and ; the finitely many intermediate orbit points , , lie within of , so finitely many nearby points exist, and , , ..., , together with the times form an -chain because each flowed image is within of the next orbit point and each jump is at most .
The directed graph is strongly connected: is connected, being the intersection of the decreasing family of the connected closures of the orbit tails, since a separation of into disjoint nonempty compact pieces has positive distance and would force a sufficiently late tail closure, which is connected, into a neighbourhood of one piece and away from the other [F6]; if the graph had more than one strongly connected component, its finite condensation would have a proper terminal component , and if no edge entered from outside then no edge would leave it either, so the compact carriers of and of its complement would express the connected as two disjoint nonempty closed sets, which is impossible; hence some edge enters , and the compact set consisting of the vertices of , all edges internal to and a short terminal segment of every entering edge with a trimming point in its regular part satisfies with no edge leaving ; points of flow strictly toward and never reach a saddle in finite time by uniqueness [F3], so for and , whence by [F6]; a chain with starting at a point of stays in by induction, because for and a jump of size less than cannot leave the -neighbourhood of ; choosing the terminal point in the omitted middle part of an entering edge gives , contradicting the exact-endpoint chain transitivity of step 3.1, so all vertices lie in one strongly connected component.
Consequently, for each directed edge strong connectivity supplies a directed path from back to , and adjoining gives a closed directed edge walk containing and repeating vertices only as allowed; there are finitely many edges by step 1.1, so finitely many such walks cover ; the construction used only finitely many points and paths of a finite graph plus the finite flow-box and compactness arguments, hence no choice principle, so the statement holds and its standing hypothesis is not invoked.
Independence of the auxiliary form eta up to exact forms
Statement
Assume Countable Choice . Let be a transversely oriented codimension-one foliation with defining form , and let be smooth -forms with . If with , then , and in particular in .
Facts & Assumptions
Given: A transversely oriented codimension-one foliation with defining form and one-forms satisfying , with .
With one has and is closed. (The Godbillon-Vey form eta wedge d eta is closed).
For homogeneous smooth forms of degrees one has . (The exterior derivative is a graded derivation).
The wedge product is associative and graded-commutative, so odd-degree forms anticommute and . (The wedge product is associative and graded commutative).
For every differential form , . (The exterior derivative squares to zero).
Proof
Write ; differentiating and using and from [F2] gives , while by [F4] is compatible with .
Expanding , every term containing , , , or vanishes by [F1] and the graded commutativity and of [F3], leaving .
Since by [F1] and , the identity from [F2] and [F4] shows that , an exact modification; hence the two forms have the same de Rham class, and no choice principle is used.
Rescaling the defining form changes the Godbillon-Vey form by an exact form
Statement
Assume Countable Choice . Let be a transversely oriented codimension-one foliation with defining form and . For with one has with , and ; in particular in . The same conclusion holds for any nowhere-vanishing smooth multiple , since on each connected component is or .
Facts & Assumptions
Given: A transversely oriented codimension-one foliation with defining form and , and a smooth function with .
With one has and is closed. (The Godbillon-Vey form eta wedge d eta is closed).
For homogeneous smooth forms of degrees one has . (The exterior derivative is a graded derivation).
For every differential form , . (The exterior derivative squares to zero).
Proof
Compute by [F2], so is admissible for .
Then by [F3], so because by [F2]; the difference is exact and is closed by [F1], so the two forms define the same class in .
For a general nowhere-vanishing smooth multiple the same computation applies on each connected component with : the sign choice leaves and the form unchanged, so the class is independent of the rescaling; no choice principle is used.
Characteristic-disk singular images can be separated into distinct leaves relative to the boundary collar
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a cooriented codimension-one foliation of a smooth -manifold with nowhere-vanishing defining form , and let be a map whose characteristic covector is nowhere vanishing on the closure of a prescribed collar of and has finitely many interior zeros , all nondegenerate, each a center or a saddle. Then for every sufficiently small prescribed neighbourhood of there is a map in that neighbourhood, together with a homotopy from to fixed on an open neighbourhood of , such that:
(i) the singular points of are exactly , and near each the local transverse function of differs from that of by a constant, so the transverse-coordinate Hessian and the center/saddle type are unchanged;
(ii) the images lie in pairwise distinct ambient leaves of .
In particular has no characteristic separatrix joining two distinct singular points; homoclinic separatrices are not excluded.
Facts & Assumptions
Given: A cooriented codimension-one foliation with defining form , a map regular on the closure of a prescribed collar of , and finitely many nondegenerate characteristic zeros in the interior of .
In a foliation chart with transverse coordinate one has with , so the characteristic zero set of a map in the chart is the critical set of , and adding a constant to on an open set does not change the critical points or the Hessian there (Transversely oriented codimension-one foliations, The chain rule for total derivatives: ).
Let be a foliation on a second-countable manifold, a leaf and a vertical transverse interval in a foliation box; then is at most countable (A C² leaf meets a local box transversal in at most countably many points).
For both and are uncountable, so no countable subset of an interval equals the interval (Every nondegenerate interval of is uncountable).
For a compact set contained in an open set of a smooth manifold there is a smooth bump equal to on a neighbourhood of and supported in (A manifold bump for a compact set inside an open set).
Proof
The compact set contains no zero of . Thus each lies in the open set ; choose pairwise disjoint open disks with closures in that set, with , and slightly smaller compact cores around . Since the are the only zeros, and a nondegenerate zero is isolated, we may choose the so that on . Shrinking the further, arrange that each lies in a single foliation chart with transverse coordinate , and write . Process the indices in the order .
A bump on each disk and its margin. By [F4] choose for each a smooth bump with , equal to on a neighbourhood of and supported in . On the compact set , which is disjoint from , the form is nowhere zero; by compactness there is with there.
Avoiding the finitely many earlier singular leaves. Write . The curve for parametrizes a vertical transverse interval through in the box . For each , the map has already been replaced near by a map whose singular image is fixed in the -th stage; its leaf meets the interval in at most countably many points by [F2]. The finitely many countable sets have a countable union, while is uncountable [F3]; choose with so small that avoids all the earlier singular leaves and the endpoint of , and . Only finitely many such choices are made in the whole construction.
The local modification preserves the singular set. Define the modified map on by , where are the foliation-box coordinates, and let outside , with ; since is compactly supported in the interior of , all derivatives agree across , so is a map of the disk equal to near the collar. On the neighbourhood of where the transverse function is , whose critical set and Hessian agree with those of by [F1], so the singular point survives with its type unchanged. On one has with , so the differential does not vanish and no new zero appears; outside the map is unchanged and its zeros are the previously handled ones.
Distinct leaves. At the end of stage the singular image of is ; in the coordinates of the box its transverse coordinate is , and by step 3.1 this value avoids the leaves of the singular images of all ; since the later modifications are supported in with and , they do not move the image of . Applying this for every , the final images lie in pairwise distinct leaves.
Assembling the homotopy. Define by for , and outside . The disks are disjoint, so this is well defined; every vanishes on an open neighbourhood of , so the local formulas equal there for every and glue to a jointly map by the chain rule. Thus and , and the complement of the finite compact union is an open neighbourhood of fixed throughout. In chart coordinates the norm of each endpoint modification is bounded by ; composition with the fixed chart inverse is continuous in on a compact chart neighbourhood, as follows by applying the chain rule twice and uniform continuity of its derivatives there. Choose the within the finitely many chart margins and norm bounds as well as the inequalities of step 3.1, so all interpolated chart points remain in and lies in the prescribed neighbourhood. For take . Step 4.1 gives (i), and step 5.1 gives (ii).
Finally, a characteristic separatrix joining two distinct singular points is a trajectory of the characteristic field on which the local transverse coordinate is constant, so its endpoints are two singular images lying in one leaf; assertion (ii) therefore excludes such a separatrix, while a homoclinic separatrix begins and ends at the same singularity and is not excluded. The only infinite selection in the proof is the countable union in step 3.1, which uses exactly the stated through the leaf-intersection lemma [F2]; every other choice is finite.
A C² first-integral period annulus has a C² leaf product
Statement
Assume . Let be a nonempty connected open set carrying a first-integral atlas: each chart has a submersion whose connected levels are the leaves, and overlap transverse coordinates differ by local diffeomorphisms. Suppose all leaves are simple compact circles whose bounded Jordan domains are strictly nested, with consistent orientation. Then is an open annulus, and there is a diffeomorphism taking each circle onto one leaf and increasing in the nested leaf order. For any nowhere-zero tangent generator , orient so with a positive function . No -independent speed, flow of , or coefficient is asserted. The atlas applies to for characteristic maps on their regular annulus.
Facts & Assumptions
Given: A connected open planar set with a first-integral atlas whose leaves are simple compact circles with strictly nested bounded Jordan domains and consistent orientation, together with the induced codimension-one foliation of the surface .
Every finite plaque transport between local transversals is a local diffeomorphism germ, and a finite family of trace maps agreeing on open overlap collars glues to a trace map (C² plaque transport and finite transverse fences preserve C² regularity).
A topological embedding that is piecewise with finitely many corners, each with two distinct one-sided tangent rays and regular edges, has a complement with exactly two connected components, one bounded and one unbounded (A finitely cornered regular plane curve separates without choice).
A map with invertible derivative at a point has a local inverse; a equation with nonzero normal derivative has a unique local root (C² inverses and scalar return roots).
Assuming , every second countable space is Lindelöf (Assuming countable choice, every second countable space is Lindelöf).
A continuous real function on an order-convex interval has a primitive there, unique up to an additive constant (Every continuous function on an interval has a primitive; two primitives differ by a constant; and for any primitive ).
For a surjection the quotient topology on is the finest topology making continuous, so a subset of is open exactly when its preimage is open and is continuous (The quotient topology of a surjection, quotient maps, saturated sets, and the quotient of a space by an equivalence relation with its canonical projection).
Closed and bounded subsets of are compact; a nested decreasing family of nonempty compact subsets has nonempty intersection; a continuous real function on a nonempty compact set attains its maximum and minimum (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
The standing assumption of the pair is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
A compact C² section drawn inside one first-integral box and shrunk so that it is transverse to the line field everywhere meets each leaf at most once: orient every circle as the boundary of its bounded Jordan domain; the determinant of a positively oriented leaf tangent and the tangent of the section is continuous and nowhere zero along the section and the transverse coordinate is locally determined, so its sign is locally constant along the connected section, and on the compact section a leaf meeting would have finitely many intersection points, since they are isolated by transversality and a compact set covered by isolating neighbourhoods is finite by [F7]; between consecutive intersections the section subarc is a connected arc avoiding the leaf, hence lies in one component of the complement of that Jordan curve by [F2], whereas the crossing direction at the two ends would have to pass from the bounded to the unbounded component and back, contradicting the constant sign.
The compact leaf admits a finite cyclic chain of C² foliated rectangles covering it, and finite plaque transport around the chain defines a C² return map on a smaller interval of a transverse section; the returned point lies on the same global leaf as the starting point and on the section, so step 1.1 gives , and hence the transported transverse parameter is a well-defined C² first integral on a saturated neighbourhood of , with the finitely many pieces agreeing exactly on the open overlap collars by [F1].
Finite phase gluing produces a C² product over a neighbourhood of : choose a C² once-around parametrization of and a finite cyclic cover by plaque arcs whose enlarged arcs lie in the rectangles of step 2.1, refined so that only adjacent enlarged arcs overlap and each overlap lies in one common rectangle; holding the transported transverse coordinate fixed at and the reference leaf coordinate of fixed gives C² candidates on the enlarged arcs, and on an overlap the two candidates are blended in the common plaque coordinate by with a C² cutoff equal to one on an open collar at one end and zero at the other; at both candidates equal , so on the finitely many closed overlaps after shrinking the transverse interval once, while on the two open collars the formula equals a single candidate exactly, and the cyclic product closes because is the identity; the gluing rule [F1] and the C² local diffeomorphism and open-mapping properties of [F3] then give a C² regular circle map of degree one, whose images are onto the connected compact leaves, and is a C² local diffeomorphism because the -block is positive and is a submersion, hence a C² product over that neighbourhood.
Let be the quotient of by its circle leaves with the quotient topology; the local products of step 3.1 make the quotient map open and give increasing C² interval charts, so the images of a countable Euclidean basis of form a countable basis of , and is connected as a continuous image of the connected and has no endpoints; disjoint compact leaves have disjoint saturated product neighbourhoods, because disjoint compact subsets of the plane have positive distance and each leaf has arbitrarily small saturated product neighbourhoods by step 3.1, so is Hausdorff and the nested leaf order agrees with its interval-chart topology; consequently a bounded nonempty subset has a supremum, since otherwise the set of points below some element of and the set of points above every element of would be disjoint nonempty open sets covering the connected .
Every closed order segment is compact: for an open cover let be the set of points with finitely covered; a cover member at makes nonempty, and if then a cover member containing extends a finite subcover past , a contradiction, while means that same member completes a finite subcover of .
Under the single application of in [F4], select countably many local product charts with precompact interval cores; their finite order hulls exhaust , and replacing the exhaustion by the strictly expanding one that at each step takes the least later finite hull in the fixed enumeration extending both endpoints of the previous hull gives compact shells; on each shell take the least finite subcover in that same fixed enumeration, attach explicit C² bumps with supported inside the next shell, and normalize the locally finite positive sum to a C² partition of unity; for increasing local coordinates the form is positive of class , and by [F5] applied on each interval chart it has C² local primitives whose differences on connected overlaps are constants, so continuing across the compact order segments of step 5.1 defines a strictly increasing C² local diffeomorphism onto an open interval, which an explicit increasing smooth reparametrization carries to .
Choose a countable locally finite chain of compact base slabs inside the selected product intervals with consecutive open overlap collars, select the local products, seams and orientation-preserving transition diffeomorphisms together with the slabs under the same application before gluing, and lift each transition to fixing one seam value; extending over the next slab by with a fixed C² cutoff equal to one on the old-side open collar and zero before the overlap ends has -derivative a convex combination of positive derivatives, and composing with the already-built lift makes the recursion deterministic; local finiteness and exact collar agreement give a global C² product, and fiberwise bijectivity with the local C² inverses of [F3] makes it a C² diffeomorphism .
Each circle is carried onto one leaf and the coordinate increases in the nested leaf order by construction, so is an open annulus; for a nowhere-zero C¹ tangent generator the map is C¹ and is C¹, so the coefficient extracted from is a nowhere-zero C¹ function, and reversing the orientation of if necessary, which is a single global choice because the family of circles is connected, makes it positive.
Therefore is an open annulus with a C² diffeomorphism taking circles onto leaves in increasing nested order and writing with of class C¹; the construction used the single selection of countable chart, hull and slab data in steps 6.1 and 7.1 and no other choice, and it asserts neither a -independent speed nor a C² coefficient.
A fixed cap product glues by unique transverse flow roots
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a codimension-one regular foliation of a manifold , let be a compact disk, let be a map into one leaf , and let be a fixed smooth vector field, positively transverse to , on a neighbourhood of the compact image , with flow . Suppose the cap continuation is finite and holonomy-trivial: finitely many flat foliation boxes cover , a finite cell subdivision of carries each closed cell into one box, and plaque continuation of a fixed positively oriented transversal through along -paths is independent of the path near , with endpoint .
Then there are a uniform open interval about and a jointly map with , such that every slice lies in a single leaf, every track is positively transverse to , and Moreover, if is a collar region carrying a trace with for a section and if each point of is obtained by projecting along the short -orbit segment of used in the construction, then pointwise on .
Facts & Assumptions
Given: A codimension-one foliation , a compact disk with a cap , a fixed smooth positively transverse field near , and a finite holonomy-trivial cap continuation with transported transversals as in the statement.
For a field on an open set of the maximal flow is jointly , its time slices are local diffeomorphisms, and at a regular point the flow box is (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
If is near , and , then there is a unique local root with ; the same inverse-function argument gives a root depending jointly on additional parameters (C² inverses and scalar return roots).
Every finite plaque transport between local transversals of a foliation atlas is a local diffeomorphism germ (C² plaque transport and finite transverse fences preserve C² regularity).
The holonomy germ of a leafwise path is independent of the foliation chart chain (The holonomy germ is independent of the foliation chart chain).
The standing hypothesis is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
Use the fixed smooth field supplied in the statement. Choose finitely many smaller foliation boxes covering , with compact cores and larger boxes still inside the domain of . Sign their transverse coordinates so on the larger boxes. No foliation-coordinate field is asserted to be smooth, and is not replaced.
The transported transversals. Use the supplied positively oriented transversal at and a finite subdivision of into closed cells each mapped by into one box of the cover. Along the tree of cells, plaque continuation of defines for every cell a map on , for some interval about , with ; this uses the finite holonomy-trivial continuation hypothesis. Path independence of the germ away from the basepoint is [F5], and the regularity of each finite transport is [F4], so the assignment is in on each cell and the assigned pieces agree on overlaps. A finite intersection of the finitely many domains of definition gives one uniform interval on which all these transports are defined.
In smooth ambient charts, [F2] supplies the local flow of ; uniqueness glues the finitely many formulas near the compact image . Shrink one common time interval so these flow segments stay in the relevant larger boxes. The flow is jointly , and is strictly increasing on each such short segment. Completeness is unnecessary.
Reduction of the root equation to one cell. Fix a cell contained in a box with transverse coordinate , and put , where is jointly on . Since maps into one plaque of , the value is constant on , and ; since is transported along a positive transverse direction, on . Finally , because is positively transverse.
At the root equation has value zero and . Apply [F3] there, with as parameters, and cover each compact cell by finitely many of the resulting parameter neighborhoods. Shrink the common t-interval and the flow-time bound so every root remains in the short segment where . Uniqueness then pastes these local root functions into one jointly function on an open neighborhood of each cell times one interval . Take the finite intersection of all such intervals.
On an overlap use a common smaller box around . The continuation data assign the same local plaque there, not just the same global leaf: transition of the transverse coordinate sends the label in one chart to the label in the other. For variable x in this overlap the central plaque label is fixed, so the equality of transverse transition germs holds on one neighborhood in x and one short interval in t; finite compact covers of the cell faces give a common interval. Both root points lie on the same short V-segment in this box and have this identical plaque label. Strict monotonicity in step 2.1 therefore gives equal flow times. Since the formulas hold on open cell neighborhoods, [F4] pastes jointly on .
Properties of . Clearly and because and the root is unique; hence . For fixed all points lie in the single leaf containing , since they lie in the leaf containing and each is obtained from by plaque continuation; hence every slice lies in one leaf, and is tangent to . For the -direction, differentiating gives , so is a positive multiple of the positively transverse field ; hence every track is positively transverse and .
Exact collar factorization. Let and with be as in the statement, and suppose each is obtained by projecting along the short -orbit segment of used in the construction, so that for some in the same short flow-time domain. Then lies in the leaf containing , and on the -orbit of the equation is satisfied at ; by uniqueness of the root in step 4.1, and therefore pointwise on .
The construction used finitely many boxes, finitely many cells, finitely many bumps and finitely many local roots, so it makes only finitely many choices; the root and flow theorems of [F2] and [F3] are choice-free, and the standing hypothesis [F6] is not used beyond the pair's interface. This proves the statement.
A one-quadrant homoclinic disk contains a center
Statement
Let be the characteristic field of a characteristic disk with finitely many nondegenerate centers and saddles. Let be the bounded source disk of a simple directed homoclinic circuit through a saddle , and suppose occupies precisely one of the four local saddle sectors of at . If and count the centers and saddles strictly inside , then In particular contains a center. The saddle is not included in .
Facts & Assumptions
Given: A characteristic field on a source disk with finitely many nondegenerate centers and saddles, a saddle , and the bounded source disk of a simple directed homoclinic circuit through occupying one local saddle sector at .
A characteristic field is, in a foliation chart with transverse function , of the form with and the quarter turn; hence on the regular part the trajectories of are exactly the level sets of , the zeros of are the critical points of , and a nondegenerate zero of definite Hessian is a center while an indefinite Hessian gives a saddle (Transversely oriented codimension-one foliations, Relative generic position for characteristic disk maps, The characteristic disk has one more center than saddle).
Near a nondegenerate saddle of a function there are coordinates with (A C² saddle function has C¹ Morse coordinates); in these coordinates the local stable and unstable branches of are the two coordinate axes and the four local sectors are the four quadrants.
A simple closed piecewise- regular plane curve with finitely many corners and distinct one-sided tangents at each corner bounds exactly two components, one bounded and one unbounded (A finitely cornered regular plane curve separates without choice).
For a simple closed piecewise- regular plane curve bounding a positively oriented disk region, the directed unit tangent is a circle loop and its rotation index is : the total signed turning of the tangent equals (Hopf turning-tangent theorem with ordinary corners, Rotation index of a regular closed plane curve).
For an oriented loop in the degree adds under composition with the antipodal map trivially: the antipodal map of has degree , so a loop has the same degree as (The degree of a based circle loop, Degree of identity constant reflection and antipodal sphere maps).
Proof
The saddle q is the only zero on the homoclinic boundary: a nonconstant trajectory cannot pass through another zero. Choose orientation-preserving C¹ Morse coordinates near q, and replace X by −X if necessary, so the sector occupied by K is and with . Replacing X by its negative does not change local or boundary degrees. Choose a small quarter disk in this sector whose closure contains no other zero.
Cut off that quarter disk by the arc , directed from to . Its endpoints are on the zero-level separatrices, and its interior is inside K. Its inverse image in the original plane is a regular C¹ arc. On the arc, both its directed tangent and X have positive x-component and negative y-component in the open quadrant; at each endpoint they are perpendicular rather than opposite. After applying the invertible derivative of the coordinate change they remain never opposite. Replace this compact C¹ arc by a sufficiently C¹-close regular C² arc with the same endpoints, staying inside the sector and retaining that nonopposition. Such an approximation is elementary in finitely many graph charts: convolve each C¹ graph with a smooth compactly supported kernel, whose function and derivative converge uniformly; finite endpoint corrections fix the endpoints and tangent directions, and a thin graph strip preserves embedding. This gives a simple piecewise-C² curve C′ formed with the retained orbit arc. Its bounded region K′ lies in K and removes q and no interior zero.
Orient C′ by the homoclinic direction and the new cut arc; the retained region is on its left in the chosen sector, so this is its positive boundary orientation. On the orbit part, the normalized X equals the directed tangent. On the cut arc it is never opposite to that tangent. At the two corners interpolate between the one-sided tangents by their nonzero convex combinations; X is never opposite to this corner interpolation, since before the approximation the two tangents and X occupy the same closed pointed quadrant, and this persists after a sufficiently small approximation. Thus normalization of gives a homotopy from X/|X| along C′ to its tangent loop with the prescribed short corner turns. By the turning theorem that tangent loop has degree one.
To compute the index sum, approximate C′ inside a zero-free thin collar by a simple inscribed polygon, using finitely many local graph strips; projection in those strips gives a boundary homotopy through nonzero fields. Choose disjoint small squares around every interior zero. Choose a direction with distinct projections of all outer-polygon and square vertices. Between consecutive projections the boundary edges are ordered affine graphs; the zero-free region is a finite union of bands between consecutive graphs. Subdivide their vertical walls at all edge intersections, and split each convex triangle or quadrilateral band into triangles, as in the finite polygonal subdivision of Every simple polygon admits a triangulation. On each zero-free cell the normalized field extends across the cell, so its boundary degree is zero. Summing the boundary degrees cancels every common oriented edge, and gives outer degree equal to the sum of the small-square degrees. The local calculation in The characteristic disk has one more center than saddle, in its local-degree paragraph, gives +1 for a center and −1 for a saddle; this calculation and the cancellation argument do not require its outer-boundary alternatives once the outer degree has been computed directly. Hence .
All original interior zeros are inside K′ and q was cut off, so the count in step 4.1 is exactly the stated strict-interior count. It implies . Only finitely many charts, approximations and polygonal cells were used.
Finite general position for a leafwise loop
Statement
Assume . Let be a surface, , and a continuous based loop. Then is based-homotopic to a regular immersed loop with finitely many transverse double points and no triple points. The homotopy fixes the basepoint throughout. For a foliation leaf, all maps and homotopies remain in that leaf with its intrinsic plaque topology.
Facts & Assumptions
Given: The surface, point, loop and countable choice in the statement.
For a leaf use the intrinsic topology generated by its plaques. Plaque coordinates give surface charts: on overlapping plaque components their transitions are the leaf-coordinate components of the given foliated atlas and are local diffeomorphisms. The leaf is the plaque-chain set of Leaves of a regular foliation; closed bounded Euclidean sets are compact (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
equations with invertible differential have local inverses; equations have inverses (The Euclidean inverse function theorem, C² inverses and scalar return roots).
Sard's theorem holds for a Euclidean map of source and target dimensions when (Morse-Sard for Euclidean maps). Lower-dimensional images are null, finite or countable null unions are null, and a null set has dense complement (The image of a lower-dimensional manifold is null, Countable unions and subsets of manifold null sets are null, A null set has dense complement in a positive-dimensional manifold).
Smooth source-circle bumps with prescribed compact cores and supports exist (A manifold bump for a compact set inside an open set). A derivative bounded away from zero in one coordinate gives monotonicity and injectivity (The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with ).
Countable choice is The countable-choice principle used in the foliation pair. No smooth atlas on the merely target is presumed: all target constructions use its actual coordinate changes.
Proof
Cover the compact image of by finitely many surface charts with convex coordinate disks, and subdivide the parameter circle finely enough that every segment maps into one such disk. Coordinate straight-line interpolation replaces each segment by its endpoint chord, through a homotopy fixing all segment endpoints. Near the base parameter, work in a chart centered at . Replace a sufficiently short central interval by a nonconstant straight segment through , with endpoints and for a fixed nonzero coordinate vector ; join those endpoints to the old endpoints in that same convex disk. Linear interpolation on this interval fixes its middle value throughout. Subdivide again if needed. This gives a based polygonal loop that is regular and straight on a fixed base collar; constant original loops are included by inserting this small based detour.
Vary the remaining finitely many vertices in small coordinate disks, fixing that entire base collar, to make every edge nonconstant and the incoming and outgoing tangent vectors at each other vertex noncollinear. Here is the finite genericity justification: for a fixed vertex and nonzero outgoing vector, varying its incoming neighboring vertex changes the incoming coordinate direction through an open subset of the plane, followed by an invertible coordinate-change differential. Collinearity is therefore a regular scalar equation in the joint vertex parameters, off the already excluded zero-edge locus; the zero-edge equations have codimension two. At a fixed base-collar endpoint the other neighboring vertex remains adjustable and gives the same scalar rank test. Insert an extra adjustable vertex if necessary so this holds at every corner. F2 makes these bad loci submanifolds of positive codimension; F3 makes their parameter images null. Choose arbitrarily small parameters outside their finite union. Each vertex movement and its edge-chord adjustment is a homotopy in a convex chart, still fixing the base collar.
Round the finitely many corners without losing regularity. In a vertex chart first make each incident edge exactly linear near the vertex: its Taylor remainder is with derivative , so a cutoff on an interval of length changes its derivative by and keeps it nonzero. If the two resulting directed velocities are , choose a smooth function on , zero and one on end collars, with . Define the replacement from the incoming endpoint by integrating . Since the integrals of and are both , the replacement reaches the outgoing endpoint and agrees with both straight edges on end collars. Its derivative never vanishes: noncollinearity excludes zero from the segment . Shrink the chart and interval so its image stays in the convex disk. Coordinate straight-line homotopy relative to the two endpoints realizes the replacement; no corner is rounded at the basepoint, where the fixed collar was already straight. The result is a regular loop , based-homotopic to .
There is a uniform source separation scale for this immersion, stable under sufficiently small perturbations. Indeed cover the parameter circle by finitely many small intervals on which a target-coordinate projection of has derivative of one sign bounded away from zero. F4 gives injectivity on those intervals for all close maps. A Lebesgue scale for that finite cover excludes all coincidences with source distance below . Choose nested closed base collars inside the fixed straight interval, with the diameter of below . Keep the entire fixed. The compact pair configurations with distance at least contain at most one parameter in ; triple configurations with all pair distances at least also contain at most one. Thus each relevant pair has at least one fully adjustable parameter outside , and each triple has at least two.
Build one finite parameter family using source bumps supported off , independent two-coordinate target translations in the actual surface charts, and composition of these translation factors. For each possible pair or triple coincidence choose disjoint source intervals around its adjustable parameters, with bumps equal to one there and target-chart margins containing their compact images. Finitely many configuration neighborhoods cover the compact pair and triple coincidence sets. At , moving one adjustable image spans the two normal directions to the pair diagonal; moving two adjustable images spans the four normal directions to the triple diagonal, even when the third image is fixed. These are transverse-to-diagonal assertions, not a false full submersion claim for all values of a family with a fixed branch. Uniform smallness and the finite compact covers preserve the rank tests near all possible coincidences. Off those neighborhoods the original value configurations miss the closed diagonals by a positive margin, so small perturbations produce no new incidences there. Every member remains immersed and retains the separation estimate of step 4.1.
In a common target chart, the pair difference equation has two independent parameter derivatives. F2 makes its total zero set a manifold of dimension , where is the parameter dimension. Critical values of its parameter projection are null by F3; at a regular parameter, elementary linear algebra identifies projection regularity with surjectivity of the two-source-parameter difference derivative. The slice coincidences are therefore transverse isolated pairs. The corresponding triple difference equation has four independent parameter derivatives; its zero manifold has dimension , so its parameter image is null by F3 and good slices have no triples. These statements are applied on open separated-configuration neighborhoods; their finite or countable coordinate covers are covered by F3's null-union clause. If desired also exclude another branch hitting the fixed image : outside the fixed base collar the same adjustable-value equation has source dimension one and target codimension two, giving zero-manifold dimension and a null parameter image; the fixed straight collar has only its specified preimage of . Choose one arbitrarily small parameter outside these null exceptional sets. No unsupported four-direction rank test using only one moved branch is used.
For this parameter the double-pair set is closed in the compact separated pair configuration space and discrete by step 6.1, hence finite; no near-diagonal coincidence exists by step 4.1. The loop is regular and has no triple image. The homotopy fixes every point of , in particular the basepoint , and joins to this final loop. Composing it with the based homotopies of steps 1.1–3.1 proves the statement. The source bumps all vanish near the basepoint; their cores were never required to cover that fixed collar. Target chart operations stay in , hence in the given leaf when is a leaf. All chart and parameter families are finite; only the explicitly cited Sard/null machinery inherits countable choice.
The Godbillon-Vey class of a codimension-one foliation
Definition
Assume Countable Choice . Let be a transversely oriented codimension-one foliation of a smooth manifold , let be a nowhere-vanishing defining -form with , and let be a smooth -form with , whose existence is guaranteed by Frobenius divisibility: d omega equals eta wedge omega. The Godbillon-Vey class of is . It is well defined: is closed (The Godbillon-Vey form eta wedge d eta is closed), and the class is unchanged by replacing by (Independence of the auxiliary form eta up to exact forms) and by rescaling (Rescaling the defining form changes the Godbillon-Vey form by an exact form). Only the de Rham class over is named; no integral refinement is defined on this page.
One-sided trivial-holonomy classes form a normal subgroup
Statement
Assume Countable Choice . Let be a transversely oriented codimension-one foliation, a leaf, , and one of its two sides. The classes in whose one-sided holonomy germ is the identity form a normal subgroup . Consequently the quotient used to define ordinary one-sided limit cycles is a group.
Facts & Assumptions
Given: A transversely oriented codimension-one foliation , a leaf , a base point , one side of , and the standing countable choice assumption.
Proof
By the definition of the holonomy representation, each class in is assigned the germ of the return map along its reversed representative, on the chosen side (the library homomorphism convention), and the transverse orientation makes these germs side-preserving, so the assignment is a group homomorphism from to the group of side-preserving germs of local diffeomorphisms of a half-transversal of the given side (The holonomy representation and the holonomy group of a leaf, Germs of local diffeomorphisms at a point).
The classes in whose one-sided holonomy germ is the identity are exactly the kernel of that homomorphism; the kernel of a group homomorphism is a normal subgroup, so the indicated classes form , and the quotient used to define ordinary one-sided limit cycles is a group; no choice principle beyond the standing assumption is used.
A compact leafwise nullhomotopy persists under a transverse deformation
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a codimension-one regular foliation, and let be a trace annulus such that each loop lies in a single leaf and every point track is transverse to (Smooth maps transverse to a regular foliation). If is null-homotopic in its leaf by a compact continuous disk map, then is null-homotopic in its leaf for all in some open interval about .
Facts & Assumptions
Given: A codimension-one regular foliation , a trace annulus with leafwise loops and transverse tracks, a parameter , and a compact continuous disk map with .
A foliation atlas is a foliation atlas with the transition form , a local diffeomorphism (C¹ codimension-one regular foliations and transverse orientation, Regular foliation atlases).
In a flat chart the plaques are the connected components of the level sets of the transverse coordinate; a leafwise path segment contained in a flat chart lies in a single plaque, and plaque transport between local transversals inside that chart matches points with equal transverse coordinate (Flat charts for a distribution, Plaques of a flat chart, Leaves of a regular foliation).
Holonomy germs of leafwise paths between fixed endpoint transversals are invariant under leafwise homotopies relative to endpoints (Holonomy depends only on leafwise homotopy relative to endpoints); the holonomy representation is the homomorphism on leafwise homotopy classes of The holonomy representation and the holonomy group of a leaf; in particular a leafwise loop that is null-homotopic relative to its basepoint has identity holonomy germ, and the constant loop contributes the identity.
Every open cover of the compact metric square has a Lebesgue number (Every open cover of a compact metric space has a Lebesgue number: a such that every nonempty subset of diameter less than lies inside a single member of the cover).
Every finite plaque transport between local transversals of a foliation atlas is a local diffeomorphism germ (C² plaque transport and finite transverse fences preserve C² regularity).
The standing hypothesis is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
Subdivide the continuous cap u into finitely many sufficiently small parameter triangles, using the pullback of nested foliation boxes and [F4]. Choose their images inside convex plaque-coordinate cores with larger boxes available. Refine near shared faces if necessary so each edge and both adjacent triangles have a common small box inside their larger boxes. All charts and positive margins are finite. Include the basepoint as a boundary vertex and use the transversal .
Choose a spanning tree in this finite triangulation. Continue τ along the u-image of its tree paths to fixed short transversals at all vertices. Each edge, combined with the two tree paths, gives a based loop in the disk, whose u-image is nullhomotopic in the leaf. Its holonomy is the identity by [F3]. There are finitely many such relations, so choose one interval J where all transported vertex points satisfy them. Consequently vertices of each triangle lie in the same local plaque of that triangle's box. At a boundary vertex prescribe the point : continuing along the boundary gives the same plaque label as the tree path by those relations. The equality here is of local transverse labels; nearby points in one global leaf are not automatically in one plaque. The finite-chart proof of [F3] applies verbatim to the C² atlas; it is also the homotopy argument of Holonomy of a C¹ foliation is a representation into C¹ transverse germs, with orientation irrelevant.
Give each interior edge a single chosen continuous plaque path between its transported endpoints in its small common box, for example its coordinate chord. Use the prescribed path on each boundary edge. The finitely many nested boxes and a sufficiently fine original subdivision ensure these paths stay in the larger boxes of their adjacent triangles: each edge's small box has closure inside those larger boxes, and its convex plaque core contains the endpoint paths after one common shrink of J. Plaque-label compatibility in step 2.1 therefore puts the complete boundary of each triangle in one convex plaque core. Unlike independent coordinate formulas on cells, these edges are defined once and used by both incident faces.
Fill each triangle by coning its already chosen boundary path to one point of that convex plaque core, in the plaque coordinates. This is a continuous disk with exactly the chosen edge paths on its boundary. The finitely many disks agree on every shared edge, and closed pasting produces a continuous map of the original disk into one leaf, with boundary exactly . Continuity is in the intrinsic plaque topology because each piece lies in a single plaque and the pasting has finitely many pieces. This is a nullhomotopy of for every . No differentiability of the original continuous cap has been asserted.
The construction used only finitely many boxes, triangles, tree transports and germ relations, and one finite common interval. It proves the stated persistence under the declared ACω hypothesis, without limits of changing filling disks.
A fixed leafwise cap gives a joint transverse product with exact collar data
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a cooriented codimension-one regular foliation of a -manifold , let be a compact disk, and let be a map into one leaf. Fix and a transversal through . Plaque continuation of along , for a path from to , is independent of near because maps the simply connected disk into one leaf; write for the endpoint in the transported transversal at .
Then there are a uniform interval and a jointly map with , leaf-valued slices and transverse tracks , such that The uniform interval is constructed from the fixed cap before any actual section range is checked. Let be a prescribed collar region with a trace and its actual holonomy-trivialized section , so that and each is obtained from by projection along the short flow segments of a fixed smooth positively transverse field near . If a smaller closed collar has compact section range , choose an open interval with . Then the restriction of to satisfies pointwise on and on its interior. The boundary section may be nonzero. If is a collar of and there, continuity gives such a as a special case.
Facts & Assumptions
Given: A codimension-one foliation of a -manifold , a compact disk , a cap , a transversal through , and a collar region with trace and section as in the statement.
A compact disk is simply connected, and a based loop in a simply connected space is null-homotopic relative to its basepoint (Simply connected topological spaces, Based loops and the fundamental group).
Holonomy germs of leafwise paths between fixed endpoint transversals depend only on the leafwise homotopy class relative to endpoints (Holonomy depends only on leafwise homotopy relative to endpoints), and the holonomy representation is the homomorphism into transverse germs of The holonomy representation and the holonomy group of a leaf.
A finite plaque transport between local transversals of a foliation atlas is a local diffeomorphism germ (C² plaque transport and finite transverse fences preserve C² regularity).
A fixed leafwise cap together with a fixed smooth positively transverse field and a finite holonomy-trivial continuation admits a jointly transverse product obtained by unique short flow roots, and the exact collar factorization holds when the trace is expressed in the transported coordinate with range in the uniform interval and is obtained by projecting along the flow orbits (A fixed cap product glues by unique transverse flow roots).
If is compact inside an open in a smooth manifold, there is a smooth bump equal to near with support in (A manifold bump for a compact set inside an open set).
Plaques of a flat chart are the connected components of the level sets of the transverse coordinate, and leaves are the plaque-chain sets (Flat charts for a distribution, Plaques of a flat chart, Leaves of a regular foliation, Regular foliation atlases).
The standing hypothesis is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
Independence of the path. Let be two paths in from to ; then is a based loop at , null-homotopic in the disk by [F1]. Composing the null-homotopy with the map gives a leafwise homotopy in relative to endpoints between the corresponding leafwise paths, so by [F2] the holonomy germs agree: the transported transversal at is independent of near . By [F3] each finite transport is a local diffeomorphism germ, so in each fixed local endpoint transversal the finite chart formulas are . Subdivide the compact parameter disk into finitely many cells mapping into boxes, and use their finitely many edge-loop relations to choose one common interval ; label transitions agree on open cell neighborhoods as in [F4].
Use the fixed smooth field V of any prescribed collar data. When no collar data are prescribed, construct such a field near the compact image: in smooth ambient charts choose constant fields with positive transverse evaluation on smaller domains, and sum finitely many nonnegative compact-set bumps from [F5] whose cores cover the image. Positivity is an open convex condition and coorientation fixes its sign. A field obtained this way is smooth in the ambient smooth charts; no C² foliation-coordinate field is called smooth. If τ is negatively oriented, apply the positive-transversal construction to and reverse the parameter again in the final product.
Finite continuation data. Because is compact and covered by finitely many flat boxes, a finite subdivision of the disk into closed cells carries each cell into one box; combined with step 1.1 this is exactly the finite holonomy-trivial cap continuation required as a hypothesis of [F4].
The product. Applying [F4] to the compact disk , the cap , the field of step 2.1 and the continuation data of step 3.1 produces a uniform interval and a jointly map with , leaf-valued slices, transverse tracks and ; the interval is fixed by the finitely many flow-root data of the cap before any collar section is examined.
Exact collar range bookkeeping. Let be a closed collar with . The set is compact, because is compact and is continuous, and is contained in the open interval with positive distance from its endpoints; hence there is an open interval with . For one has , so is defined, and lies in the transported leaf with label ; the exact collar clause of [F4], whose projection hypothesis on is part of the data, therefore gives for every , hence also on the interior of .
Boundary-zero special case. If is a collar of and on the boundary collar, then by continuity of the section range of a sufficiently thin closed collar around is arbitrarily close to ; since is an open interval about , such a satisfies , so step 5.1 applies.
The construction of and of the range interval used finitely many boxes, cells, bumps and local roots, so no choice beyond the standing hypothesis [F8] is invoked; steps 4.1–6.1 prove the statement.
A flat transverse drift realizes the period-annulus frontier as an omega-limit set
Statement
Let be a planar vector field on an open neighborhood of a compact disk , and let be a given leaf product as supplied by A C² first-integral period annulus has a C² leaf product, with and a positive coefficient . Assume the periodic curves bound nested Jordan domains and that is compact. Then there is a vector field on a neighborhood of that equals on and off an outer subannulus and has a positive orbit with . The construction uses no choice principle.
Facts & Assumptions
Given: A planar field near a compact disk , a leaf product with and of class , nested Jordan domains bounded by , and the compact frontier .
The product is a diffeomorphism onto with inverse, and is a field on transverse to (A C² first-integral period annulus has a C² leaf product).
Closed and bounded subsets of are compact; a nested decreasing family of nonempty compact subsets has nonempty intersection; a continuous real function on a nonempty compact set attains its maximum and minimum (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
A Euclidean field has a unique maximal flow that is jointly , each regular point has a flow box, and a trajectory remaining in a compact subset of the domain has no finite maximal endpoint (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
Proof
Set and , so that ; strict nesting gives and for , and the sets are nonempty compact subsets of decreasing in , so their tail intersection lies in , meets no because a ball about a point of is avoided by all with , and therefore lies in ; if arbitrarily late had points at distance at least from the nested compact sets would have a common point, so by [F2], while conversely for fixed and a point and an index with force every with to meet the segment from to , and a finite cover of the compact by such balls makes everywhere within of ; hence in Hausdorff distance and .
Fix and set , and , which are continuous and positive on compact subintervals; with and the explicit bump for and otherwise, the functions form a smooth locally finite partition of with positive sum, uniformly finite overlap, compact supports in and active indices tending to infinity as ; for each support the compact set is disjoint from with positive distance , while and are attained finite extrema of continuous functions on nonempty compacta by [F2], so these are uniquely specified real numbers and no sequence of witnesses is selected.
With and one has and , while the fields satisfy and on and vanish elsewhere, because and points of have distance to at least ; near only indices contribute for arbitrarily large, so satisfies and , giving and at ; therefore the extension of by zero across is with zero derivative there, and multiplying by one fixed smooth cutoff flat at , positive for and equal to one near , produces a function with that extends the drift by zero across the inner edge.
Define on the outer subannulus and elsewhere on a neighborhood of ; since is a function of the leaf coordinate and is , the field is , agrees with off the outer subannulus and on , and in product coordinates reads with and , so no new zero is created in the drift region.
Let be the maximal -trajectory starting at with : along it and , so increases strictly, , and as , so tends to only at infinite time with ; during each full phase turn starting at parameter the parameter increases by at most one fixed normalization constant times , and up to the same constant, so the corresponding fixed-phase ambient displacement from the leaf is bounded by that integral and every complete turn stays uniformly within that distance of the whole reference circle, while every phase is visited during the turn; as the leaves converge to in Hausdorff distance by step 1.1, so every point of is a limit of the orbit and the orbit tail approaches , giving ; the orbit remains in the compact set , never meets because for all , and is defined for all positive times by [F3].
Consequently is a field on a neighborhood of that equals on and off the outer subannulus and has the positive orbit with ; every selection in the construction was an explicit band function or a uniquely determined extremum of a continuous function on a compact set, so no choice principle is used.
A separated characteristic disk has a minimal nonidentity simple cycle
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). A relative generic characteristic disk with closed transverse boundary and with distinct singular images in distinct ambient leaves (Characteristic-disk singular images can be separated into distinct leaves relative to the boundary collar) has an inclusion-minimal simple regular or homoclinic characteristic cycle whose ambient holonomy germ is nonidentity (The holonomy representation and the holonomy group of a leaf). Its bounded source domain minimizes area among such cycles. The minimum-selection statement alone does not assert inward identity at a three-sector homoclinic cycle.
Facts & Assumptions
Given: A relative generic characteristic disk with closed transverse boundary, characteristic field with finitely many nondegenerate centers and saddles, and distinct singular ambient leaves.
Every regular point of the disk lies on a characteristic trajectory; the one-sided limit sets of an orbit with precompact closure are nonempty, compact, connected and invariant, and are either a singleton equilibrium, a single periodic orbit, or consist of finitely many equilibria and saddle-to-saddle connecting trajectories (Local generalized Poincare-Bendixson theorem for a precompact planar orbit).
A nondegenerate saddle first integral has coordinates in which it is (A C² saddle function has C¹ Morse coordinates). Its zero level has four regular half-branches, two incoming and two outgoing for the characteristic direction. A connecting orbit has a compact extension through each saddle endpoint.
Every bounded regular-cycle disk of the characteristic field contains a center, and strictly inside a one-sector homoclinic disk there is one more center than saddle (The characteristic disk has one more center than saddle, A one-quadrant homoclinic disk contains a center).
In a short regular flow box an everywhere-transverse section meets any simple periodic characteristic circle at most once. Indeed orient that circle by the field. Its local intersection signs with the section are all equal, whereas successive crossings of a Jordan circle along the section must alternate between its inside and outside. The same argument applies to a simple homoclinic cycle away from its corner, using [F8]. This argument does not presume a period annulus between nonidentity cycles.
The maximal flow of the field is jointly and depends uniformly on initial data on compact time intervals (C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade).
Closed bounded plane sets are compact (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line). A decreasing sequence of nonempty compact sets has nonempty intersection: otherwise their open complements cover the first compact set and a finite subcover makes a later set empty.
Planar Lebesgue measure is sigma-finite, monotone and finite on bounded Borel sets; a Jordan domain is Borel, and a strict inclusion of Jordan domains leaves a nonempty open region of positive measure Finite first measure also gives continuity from above (Continuity from above when one set has finite measure). (Lebesgue measure is sigma-finite, and every metrically bounded subset of has finite outer measure, Measures are monotone, A box in with parameters is Lebesgue measurable of measure , whichever of its faces are included, Assuming countable choice, every Borel subset of is Lebesgue measurable).
A simple closed piecewise- curve with finitely many corners and distinct one-sided tangents at each corner bounds exactly one bounded component (A finitely cornered regular plane curve separates without choice).
Finite plaque transports have a common transverse interval after finitely many shrinkings, and their germs are invariant under leafwise homotopies (Holonomy of a C¹ foliation is a representation into C¹ transverse germs, The holonomy representation and the holonomy group of a leaf).
Proof
Call a characteristic cycle simple when it is either a regular periodic orbit or a homoclinic orbit through one saddle whose source closure is a simple closed curve, and let its domain be the bounded component of the complement of that curve. Its ambient holonomy is the holonomy germ of the based leafwise loop obtained by following the cycle once around, in the sense of The holonomy representation and the holonomy group of a leaf. Extend X C¹ to a neighborhood of the disk by C¹ planar fields on a closed disk extend to a neighbourhood, and choose the sign of the characteristic field so it points inward on the transverse boundary; its normal component is nonzero and has one sign there. Begin with an orbit entering the boundary outside the finitely many stable separatrices of the saddles: its positive orbit stays in the compact disk, so [F1] applies to its limit set.
A nonidentity simple cycle exists. The entering orbit cannot converge to a saddle, since it was chosen off the finitely many stable separatrices; nor can a center belong to its limit set, since small invariant center circles cannot be crossed. By [F1], the limit is a periodic orbit or a connected finite saddle graph. Every connecting edge maps into one ambient leaf, and the singular leaves are distinct, so a connected saddle graph has just one vertex, with one or two homoclinic edges by [F2]. Trim each edge by short transverse ports and use one Morse box at the saddle. In that box is constant along an orbit; on either fixed nonzero sign, its quadrant arcs pair the incoming ports with the outgoing ports deterministically. Together with the at most two edge strips, this gives a return itinerary of one or two edges. A sufficiently late entering orbit follows one such itinerary repeatedly; it avoids the axes and cannot change its side without crossing a separatrix. The compact edge strips and single target box define one ambient transverse return map H on an interval about the limiting port. At the source port its pulled-back transverse function is a local diffeomorphism, so the source return map is conjugate to H on that approached side. If H were the identity on a neighborhood of the limiting parameter, sufficiently late returns would be periodic, contradicting the nonclosed entering orbit. Thus the limiting word has nonidentity germ. In the two-edge case its word is the product of the two homoclinic lobe words with fixed transport conjugations; if both were identity, so would be their product. Therefore a simple periodic or homoclinic cycle has nonidentity ambient holonomy.
The area infimum and the nested family. Let be the infimum of the areas of the bounded domains of all simple cycles with nonidentity ambient holonomy in the unchanged source disk. There are only finitely many singular simple cycles, because each is a homoclinic orbit based at one of the finitely many saddles and each saddle has four local half-branches; if any simple cycle attains , it is already a minimizer and a strictly contained nonidentity cycle would have smaller area by [F7], so it is inclusion-minimal. Otherwise choose regular cycles with domains of area tending to ; by choose one for each with area below . By [F3] each bounded regular-cycle disk contains a center, and there are only finitely many centers, so an infinite subsequence of these cycles contains one fixed center . Two regular characteristic circles surrounding are disjoint and nested, because trajectories do not cross and their bounded Jordan domains both contain ; each selected area is strictly above A, and the areas of this subsequence tend to A; recursively take the least later index of strictly smaller area. Nesting then gives closed disks with boundaries , areas decreasing to , and each of nonidentity holonomy.
A positive-area limit. Choose a small invariant center disk about whose image lies in one ambient foliation box. Every characteristic circle in maps into one plaque and has identity ambient holonomy, so none of the lies there. Nor can cross its invariant boundary, by uniqueness of trajectories. Since is connected, contains and is disjoint from , it lies in the bounded Jordan domain of . Thus contains and has positive area. Each cycle boundary is a finite union of compact C¹ arcs, including its saddle endpoints by F2, and has area zero: on each Lipschitz parametrized arc a partition into n pieces covers it by n squares of side O(1/n), with total area O(1/n). Hence the closed and open cycle domains have the same area. Each is a compact Borel set of finite area; continuity from above in F7 gives . No nonidentity-germ property was inferred from bare continuity.
The nested boundary limit is a finite graph or circle. The whole sequence converges in Hausdorff distance to . A limit of points of late lies in every and cannot lie in , because a ball contained in is disjoint from every boundary . Conversely, for and any small ball about , choose in that ball outside . It is outside some and hence all later , whereas ; the segment from to meets every later in the ball. Finite covers and compactness give both uniform Hausdorff bounds. A Hausdorff limit of these connected compact circles is connected: two separated compact pieces of would give disjoint small neighborhoods which every late connected must meet while staying in their union. Flow dependence F5 makes invariant. At a regular point, each nearby crosses a fixed short section at most once by F4; its limit therefore has exactly one transverse coordinate there and is one local flow arc. A periodic component is consequently open as well as closed in , so connectedness makes it all of . Otherwise a regular orbit in cannot accumulate at a regular point: repeated visits to its flow box would give distinct intersections with that short section, contradicting the same local one-arc property. Its compact connected alpha- and omega-limits are therefore single equilibria by F1. Centers are excluded by step 4.1 and their invariant local disks. Hence every regular edge ends at saddles, and the finitely many half-branches of F2 give only finitely many edges. Thus is a regular circle or a finite connected saddle graph. This uses no unsupported hyperspace selection or period-annulus hypothesis.
One saddle and one fixed return germ. Trim the regular edges of and put one short transverse section on each. Hausdorff convergence and flow-box projection make every late cross each section; F4 makes it cross exactly once. It stays in a small neighborhood of the finite graph and crosses its finitely many saddle ports, so only finitely many directed itineraries occur. Fix one itinerary on a subsequence. Its closed walk traverses every edge, hence the graph is strongly connected. Each edge maps, including its saddle endpoints, to one ambient leaf: subdivide that compact tangent path into ambient foliation boxes and use the constant transverse coordinate. Distinct singular ambient leaves therefore force a single saddle vertex. Its two outgoing half-branches allow one or two homoclinic edges. Now fix one target foliation box at that saddle, and finite target boxes along the trimmed edges. A passage near the saddle remains in its one box at one transverse level and can be replaced, relative to its endpoints, by a reference plaque path in that level. Finite transport and homotopy invariance F9 give a single return map on a common interval about zero at a fixed regular target section. The based loop has the germ of this same at its section parameter ; it is not a sequence of unrelated return maps. If were the identity on an interval about zero, it would have identity germ at every sufficiently late , contradicting the chosen nonidentity holonomy of . Hence the limiting fixed word is nonidentity at zero. For two lobes its word factors as their holonomy words, with the fixed transport conjugations; if both lobe germs were identity their composite would be identity, so at least one lobe is nonidentity.
The limiting cycle and area minimality. If is a regular circle or a simple homoclinic loop, then is a simple cycle with nonidentity word and domain of area , so it attains the infimum. If has two edges, at least one of the two simple lobes has nonidentity word by the factorization in step 2.1; let be that lobe. Its boundary lies in , and its entire bounded Jordan domain is contained in every , because by strict nesting, while the connected unbounded exterior of lies in the unbounded component of the complement of . The boundary lies in that same component by its exterior collars, so the bounded lobe cannot leave ; passing to the limit its area is at most , while by definition of the infimum it is at least , so it equals and attains the infimum.
Inclusion-minimality. Every simple cycle with nonidentity word strictly interior to the minimizer would bound a strictly smaller Jordan domain, since two distinct simple closed curves leaving a nonempty open source region between them give a strict measure inequality [F7]; such a cycle would have area strictly below , contradicting the definition of . Hence the minimizer is inclusion-minimal among the nonidentity simple cycles of the unchanged source disk. The construction used only the countable area-minimizing selection of step 3.1, which uses exactly the stated , and no modification of the disk; all remaining selections are finite.
Closed defining forms have vanishing Godbillon-Vey class
Statement
Assume Countable Choice . Let be a transversely oriented codimension-one foliation of a smooth manifold defined by a closed nowhere-vanishing -form with (so that is integrable by Closed constant-rank one-forms define integrable hyperplane fields). Then in .
Facts & Assumptions
Given: A transversely oriented codimension-one foliation of a smooth manifold defined by a closed nowhere-vanishing one-form with , and the standing countable choice assumption.
For a defining form and a one-form with , the Godbillon-Vey class is the de Rham class . (The Godbillon-Vey class of a codimension-one foliation).
For a transversely oriented codimension-one foliation with nowhere-vanishing defining form there is a smooth one-form with . (Frobenius divisibility: d omega equals eta wedge omega).
Proof
For the closed defining form the choice satisfies , so it is one of the forms whose existence the divisibility lemma [F2] guarantees.
The Godbillon-Vey form of this choice is , so the class defined in [F1] is the class of the zero form, namely in ; this applies in particular to fibre foliations of bundles over defined by pullbacks of volume forms on the circle, and no choice principle is used.
Godbillon-Vey invariance under smooth foliated concordance
Statement
Assume Countable Choice . Let be a closed smooth manifold and let be smoothly foliated-concordant transversely oriented codimension-one foliations of (Smooth foliated concordance of codimension-one foliations). Then in .
Facts & Assumptions
Given: A closed smooth manifold , smoothly foliated-concordant transversely oriented codimension-one foliations of , a concordance on , and the standing countable choice assumption.
The Godbillon-Vey class of a transversely oriented codimension-one foliation with defining form and is the de Rham class . (The Godbillon-Vey class of a codimension-one foliation).
A codimension-one foliation of a manifold with boundary transverse to the boundary restricts to a codimension-one foliation of the boundary, and if then . (Restriction of a foliation transverse to the boundary).
Smoothly homotopic maps induce the same map on de Rham cohomology. (Smoothly homotopic maps induce the same de rham map).
The de Rham complex, wedge identities and natural pullback extend to smooth manifolds with boundary (The de Rham complex and pullback extend to manifolds with boundary).
Proof
Let be the concordance on and choose with by the divisibility lemma, so that according to [F1].
By [F2] the inclusions , , pull the defining data back to defining data of : is a defining form for and , so represents , that is .
For completeness the endpoint equality holds on the boundary cylinder as follows. Write the closed form on as . By [F4], gives . Integrating the smooth coefficients in s yields . Thus the endpoint forms represent the same de Rham class, and step 2.1 identifies them with the two Godbillon–Vey classes. This is the homotopy identity of [F3], here derived explicitly on the cylinder.
The supplied smooth Godbillon-Vey construction does not cover merely C1 foliations
Statement
Assume Countable Choice . The construction in The Godbillon-Vey class of a codimension-one foliation is stated for smooth foliations and smooth defining data. It supplies no cohomological Godbillon–Vey class for merely foliations.
Remarks
This is a limitation of the supplied construction, not a necessary regularity threshold for every Godbillon–Vey theory. Hurder–Katok, §7, Proposition 7.1, constructs a natural Godbillon–Vey invariant for transversally codimension-one foliations of closed oriented -manifolds when , extending the invariant. Their argument uses a distributional pairing; it is not the smooth differential-form construction supplied here.
The usual finite-regularity theory defines the Godbillon–Vey class for foliations and the Godbillon measure for foliations. Hurder–Langevin, §3, printed p.10, states this distinction, then explicitly specializes §3.1 to smooth foliations and refers elsewhere for the required finite-regularity modifications. Those modifications are not proved on this page. In particular one cannot obtain the -atlas theory merely by replacing “smooth” by “” in the smooth-form proof: the associated defining form may have lower regularity, and comparison with smooth de Rham cohomology requires additional work.
Limit cycles of a leaf
Definition
Assume Countable Choice . Let be a transversely oriented codimension-one foliation, a leaf, and . For a chosen side of , let be the subgroup of classes whose one-sided normal- fence holonomy germ is the identity. The quotient is Novikov’s one-sided limit-cycle group. A class is a limit cycle on side precisely when its image in is nonidentity, equivalently its one-sided holonomy germ is nonidentity. The two groups and record ordinary right and left limit cycles.
Remarks
The separate limitwise-nullhomotopy subgroup is defined later on this page as a set of classes in whose sufficiently small displaced loops are nullhomotopic in their leaves. Its containment in is part of that definition; it is distinct from the ordinary limit-cycle quotient defined here.
A center period annulus has an orbit or polycycle frontier
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a cooriented codimension-one foliation of a -manifold, and let be a disk map in the relative generic position of Relative generic position for characteristic disk maps. Assume the boundary is either leafwise or a closed transversal, as in cases (b) and (a) of that supplier. The connected family of regular closed characteristic trajectories surrounding any center has a maximal period annulus. Its outer frontier is a regular closed orbit; or a finite connected strongly connected directed saddle-separatrix graph whose edges are nonconstant saddle-to-saddle trajectories and whose edges are covered by finitely many directed saddle polycycles; or, when the disk boundary is a leafwise characteristic orbit, that boundary orbit. Loops, repeated saddle vertices, shared edges, and parallel edges are allowed in the saddle graph and polycycles. When the disk boundary is transverse to , the period annulus cannot meet it. The annulus parameter gives a transverse trace of the prescribed closed characteristic loops. The outer return holonomy is not assumed nontrivial.
Facts & Assumptions
Given: A cooriented codimension-one foliation of a -manifold with nowhere-vanishing defining form, and a disk map whose characteristic covector is in relative generic position: its singularities are finitely many nondegenerate interior centers and saddles, its characteristic covector is nowhere vanishing on a boundary collar, and along either the boundary is a closed transversal or it is mapped into a single leaf.
In relative generic position the characteristic singularities of the disk map are finitely many nondegenerate points in the interior, each a center or a saddle; at a center the characteristic line field has a family of small closed orbits around it, and at a saddle it has the four-sector hyperbolic picture (Relative generic position for characteristic disk maps).
A connected open set carrying a first-integral atlas whose leaves are simple compact circles with strictly nested bounded Jordan domains and consistent orientation is an open annulus with a product onto its leaves, increasing in the nested order, and a nowhere-zero tangent generator is written with positive coefficient after orienting (A C² first-integral period annulus has a C² leaf product).
Under the hypotheses of [F2] with a compact frontier , there is a field on a neighborhood of the disk, equal to the generator on and off an outer subannulus, with a positive orbit whose -limit set is , and no choice principle is used (A flat transverse drift realizes the period-annulus frontier as an omega-limit set).
If contains at least one equilibrium, all its equilibria are nondegenerate saddles, and it separates two points, then is a finite embedded strongly connected directed saddle multigraph covered by finitely many closed directed edge walks (A finite saddle omega-graph is strongly connected and is a finite union of polycycles).
If a positive orbit of a planar field has compact closure in the domain and its -limit set contains only finitely many equilibria, then it is either a singleton equilibrium, or one regular periodic orbit, or a finite equilibrium set together with nonconstant trajectories whose alpha- and omega-limits are equilibria (Local generalized Poincare-Bendixson theorem for a precompact planar orbit).
Closed and bounded subsets of are compact; a decreasing nested family of nonempty compact subsets has nonempty intersection; a continuous real function on a nonempty compact set attains its maximum and minimum (Heine-Borel in : with the Euclidean metric a subset of is compact if and only if it is closed and bounded, and the proof by bisection uses no choice principle; the same holds on the real line).
A piecewise- topological embedding with finitely many corners, two distinct one-sided tangent rays at each corner and regular edges has a complement with exactly two connected components, one bounded and one unbounded (A finitely cornered regular plane curve separates without choice).
A planar field up to the boundary of the closed disk has a extension to a neighborhood of the disk, with value and derivative agreeing on the disk (C¹ planar fields on a closed disk extend to a neighbourhood).
A cooriented codimension-one foliation is given by a foliated atlas whose transverse coordinate changes are diffeomorphisms, and the transverse orientation selects the positive side of each leaf (Transversely oriented codimension-one foliations).
The interior, closure and boundary of a set in a topological space, with (Interior, closure, boundary, exterior, derived set and isolated point in a topological space).
The connected components of a space partition it and are closed; a component is the union of all connected subsets through any of its points (The components of a space are its maximal connected subsets, they partition it, and each of them is closed).
The standing assumption of the pair is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
Writing for the defining form, the characteristic covector is with kernel exactly the characteristic line field and with the characteristic singularities as zeros, and equivalently it is obtained by summing finitely many pulled-back local transverse covectors, which differ on overlaps by positive nowhere-vanishing factors; choosing an oriented area form and defining by makes a planar field whose regular line foliation has a first-integral atlas with local first integrals , and by [F1] the singularities of in the disk are finitely many nondegenerate interior centers and saddles with nonvanishing on a boundary collar; in the transversal boundary case does not vanish on the boundary tangent and in the leafwise case does, so then is tangent to and nonvanishing along and the boundary circle is one regular closed -orbit; finally [F8] extends to a field on an open neighborhood of the disk.
Fix a center of and let be the set of points of regular periodic -orbits contained in whose bounded Jordan interior contains ; a nonconstant periodic orbit is an embedded circle whose period set is a closed additive subgroup of and therefore has a least positive period, so the orbit is a embedded circle because an individual trajectory of a field is in time (), the center picture of [F1] makes nonempty, and the local flow carries and to themselves; the component of containing the small center collar is open and saturated, because components are unions of connected subsets and each orbit is connected.
The circles of are strictly nested and consistently oriented: two distinct orbits are disjoint by uniqueness of trajectories and their bounded interiors both contain ; a connected circle disjoint from a Jordan curve lies in one complementary component by [F7], so if lay in the exterior of then the bounded domain of , being connected, disjoint from and containing , would lie in the bounded domain of , giving strict nesting; and the sign in which the -orientation of an orbit agrees with the boundary orientation of its bounded domain is locally constant on the connected , hence one global sign.
By [F2] applied to the first-integral atlas of step 1.1 on the connected set with its strictly nested consistently oriented compact circle leaves, is an open annulus with a product taking circles onto leaves and increasing in the nested order; is maximal among connected open regular circle families continuing the chosen center collar, because any such family lies in , hence in , hence in this component.
Write , let be the bounded Jordan domain of and ; the closed bounded domains lie in because their exteriors contain the connected complement of the disk, for one has and by strict nesting, by [F10] is a nonempty compact subset of by [F6], and separates from any fixed point outside the closed disk, since lies in some , lies outside , and every path between them has a first exit from , on .
The exhaustion shows in Hausdorff distance and : the tail intersection lies in and misses because a ball about a point of is avoided by all with , hence lies in ; if arbitrarily late had points at distance at least from the nested compacta would meet, contradiction; and conversely each and admit and with , so every with meets the segment from to within of , and a finite cover of the compact gives everywhere within of .
No center lies on : the fixed center lies in the open , and for any other center the center picture of [F1] supplies a small saturated disk disjoint from ; every regular orbit meeting is a complete small level circle inside by uniqueness, so it does not enclose and is not in , whence is disjoint from and from ; consequently every equilibrium on is among the finitely many nondegenerate saddles of the disk.
In the transversal boundary case the period annulus does not meet the boundary: in an inward collar coordinate the radial component of is nonzero on because is nonzero on the boundary tangent, its sign is constant along the connected boundary circle, and continuity gives and with and one fixed sign throughout ; if a periodic orbit met then its radial coordinate has a minimum below , attained on the compact periodic curve, where its derivative along must be zero, contradicting , so no orbit of meets that collar and, in particular, the period annulus cannot meet the boundary.
By [F3] applied to the product and the compact frontier take the field constructed by the flat-drift proof, and its positive orbit with compact closure in and . The derivative equality needed below follows from that construction, not merely from on : its locally finite band terms are supported on compact sets of distance from , with and . The fixed inner cutoff is identically one near . Any finite collection of band supports stays away from , so only contribute sufficiently near it; the are bounded by the diameter of the disk. Thus and . Extend on : for , proves , giving and on . Hence is compact, invariant under the flow, and connected because it is the intersection of the decreasing family of connected closures of the orbit tails, while its regular -trajectories are -trajectories by equality of the fields on the invariant set and uniqueness.
Apply [F5] to the positive orbit of , whose -limit set contains only the finitely many equilibria of step 7.1: alternative (i) fails because a singleton does not separate from , since the complement of one point of the plane is path connected by explicit polygonal detours, so either is one regular periodic orbit, or contains equilibria and every regular point of it lies on a nonconstant trajectory whose alpha- and omega-limits are among those saddles.
In the second alternative of step 10.1, [F4] applies with the field , its positive orbit and the separating compact whose equilibria are nondegenerate saddles, so is a finite embedded strongly connected directed saddle multigraph whose edges are the closures of the distinct nonconstant saddle-to-saddle trajectories, and finitely many closed directed edge walks cover it; in the first alternative is a single regular closed orbit, and if in the leafwise boundary case meets , then the boundary circle is itself a regular closed orbit inside , invariance forces the whole boundary orbit into , and alternatives (i) and the equilibrium alternative cannot hold because the boundary carries no equilibrium, so equals that boundary orbit; thus the outer frontier is a regular closed orbit, the boundary orbit in the leafwise case, or a finite strongly connected saddle graph covered by finitely many polycycles, with loops, repeated vertices, shared and parallel edges allowed.
Finally the annulus parameter gives the prescribed trace: for each fixed phase the map is because and are, and it is transverse to because the pulled-back characteristic covector applied to is nonzero, as spans the characteristic direction and is a basis; these closed traces are exactly the prescribed loops , and no nontriviality of their return holonomy is assumed or used.
Therefore every center of a disk map in relative generic position is surrounded by a maximal period annulus whose outer frontier is one of the listed alternatives, the transversal boundary case cannot be met by the annulus, and the annulus parameter supplies the transverse trace of the prescribed closed characteristic loops; the only countable selections in the proof are those in the product supplier of step 4.1, made under the standing of [F12], while all other steps use finitely many explicit objects.
Limitwise-nullhomotopy predicate on based loops
Definition
Assume Countable Choice . Let be a transversely oriented codimension-one foliation, a leaf, , and one of its two sides. For a based loop whose class belongs to , and for a chosen sufficiently short normal fence on side , define the representative-level predicate to hold when every sufficiently small positive normal displacement is null- homotopic in its leaf. At this stage is a predicate on a specified loop and fence; no representative-independence is part of this definition.
For clarity, a displacement is obtained by starting at a chosen positive point of the base transversal and continuing the loop plaque by plaque through a finite chart subdivision. Within each chart its transverse label is held fixed; the fence specifies the nearby endpoint in that plaque. Since , the return map is the identity on a sufficiently short interval on side j, so these displacements are closed loops. The quantifier means: there exists ε₀>0 such that every displacement with 0<ε<ε₀ is nullhomotopic in its own leaf. No uniform bound on the filling disks is part of the definition.
A finite characteristic circuit has C² regular port traces
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a cooriented codimension-one foliation of a -manifold , let be a disk map in the relative generic position of Relative generic position for characteristic disk maps, and let be the outer frontier of a maximal period annulus of the characteristic field of , so that is a regular closed orbit, a finite saddle-separatrix circuit, or the boundary orbit, by A center period annulus has an orbit or polycycle frontier. Choose an adjacent period annulus following the finite itinerary of and a regular port section through each branch of every passage of that itinerary, at positive distance from the saddle points.
Then:
(a) each such regular port section can be parameterized by the transported transverse first integral of the ambient foliation, with nonzero derivative, and the ports depend jointly on the level, including at level ;
(b) the trimmed regular edge strips and their endpoint collars at the ports are jointly down to the frontier;
(c) the nearby closed characteristic loops force the one-sided composite transverse return map of the itinerary to equal the identity on an interval.
No source strip through a saddle is asserted. The statement concerns the regularity of the port data; it does not assert a family of loops for the unmodified hyperbolic parametrizations near the saddle corners.
Facts & Assumptions
Given: A cooriented foliation of , a disk map in relative generic position, the frontier circuit of a chosen period annulus with its finite itinerary and chosen regular port sections, and the characteristic first integrals in flat charts.
The characteristic field of is a planar field with a first-integral atlas given by the local transverse functions of flat charts of ; its singularities in the disk are finitely many nondegenerate interior centers and saddles (Relative generic position for characteristic disk maps, Flat charts for a distribution).
The outer frontier of a maximal period annulus of the characteristic field is a regular closed orbit, a finite connected strongly connected saddle separatrix graph covered by finitely many directed saddle polycycles, or the boundary orbit; the annulus carries a transverse trace of its prescribed closed characteristic loops (A center period annulus has an orbit or polycycle frontier).
If is near with and , then there is a unique local root , and the same inverse-function argument gives a root depending jointly on additional parameters (C² inverses and scalar return roots).
In a flat chart the plaque level sets are the characteristic leaves of ; a finite plaque transport between transversals is a local diffeomorphism germ, and finite families of pieces agreeing on open overlap collars glue to a map (C² plaque transport and finite transverse fences preserve C² regularity, Plaques of a flat chart, Regular foliation atlases).
The standing hypothesis is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
The circuit data are finite: by [F2] the frontier consists of finitely many saddle points and finitely many compact regular edges, and its directed polycycles form a finite cover of the edge set. Each regular edge is a nonconstant trajectory of the characteristic field, so the first integral of [F1] is constant along and on . Near a regular point the level sets of are the characteristic leaves, and the port sections chosen in the statement are transverse to the characteristic foliation there.
Port parameterization. Fix a port section through a regular point of an edge. In a flat chart containing the scalar is , and along because crosses the level set transversally; by [F3] the level meets in a unique point depending jointly on near . Taking at the frontier level shows that the ports, including the frontier port, depend on the level. On overlaps of two flat charts the two first integrals differ by the transverse transition of , so the parameterization is chart-independent and the transversality of each port to the ambient foliation is preserved.
On each compact trimmed regular edge the C² first integral is a submersion. A finite chain of its inverse-coordinate rectangles supplies local level strips. To obtain exact overlaps, choose a reference C² parametrization of the edge; neighboring strip candidates agree on it at level zero, and in their common plaque coordinate blend them with a fixed source cutoff on an overlap, equal to the corresponding candidate on its end collars. The reference tangent has one strict sign, so after a common shrink the blended tangent keeps that sign. Its transverse label is kept fixed throughout. Finite such blends give a jointly C² regular strip, including its endpoint collars at the ports. This constructs compatible pieces before applying [F4].
At a saddle choose one target foliation box containing the images of the two sufficiently close ports and of the intervening saddle passage. For each nearby source level the passage lies in a single target plaque; matching the two port transverse coordinates in this target box therefore gives a C² local transverse transition. This concerns the ambient plaque label and the regular endpoint collars of step 3.1, and supplies no regular source strip across the saddle.
The nearby closed loops. By [F2] the chosen period annulus carries its prescribed closed characteristic loops with a transverse trace; for every level in some one-sided interval the corresponding loop follows the finite itinerary and closes up. The composite transverse return map of the itinerary is obtained by composing the finitely many port and strip transitions of steps 2.1–4.1 around the itinerary; it is a germ of a real function, and each closed level loop returns to its own level, so the return map fixes every .
Fixed on an interval. A function that fixes every point of a nondegenerate interval equals the identity on that interval; hence the one-sided composite transverse return map is the identity on , which is (c).
All constructions selected finitely many charts, edges, ports and intervals; the root and transport theorems used are choice-free, so nothing beyond the standing hypothesis [F5] is invoked, and (a), (b), (c) follow from steps 2.1, 4.1 and 6.1.
Limitwise-nullhomotopy predicate descends to a normal subgroup
Statement
Assume Countable Choice . For a transversely oriented codimension- one foliation, a leaf , a base point , and a side , the predicate of Limitwise-nullhomotopy predicate on based loops is independent of the chosen normal fence and is constant on based-homotopy classes of loops in . The set of classes in satisfying this predicate is a well-defined normal subgroup of . Consequently the class-level subgroup may be defined using any representative and any sufficiently short normal fence.
Facts & Assumptions
Given: A transversely oriented codimension-one foliation, a leaf , a base point , a side , and the predicate on based loops in for a chosen sufficiently short normal fence.
Proof
A based leafwise homotopy of two loop representatives has compact intrinsic image. Subdivide its parameter cylinder into finitely many small rectangles inside convex plaque-coordinate boxes. Continue one positive base transversal along a finite tree of the subdivision. Face relations give identical transported labels by the finite chart homotopy argument of Holonomy of a C¹ foliation is a representation into C¹ transverse germs. The sole noncontractible circuit of the parameter cylinder is the original loop; since its class lies in , its return germ is the identity on a sufficiently short interval on side j. Thus all finitely many edge relations hold on one positive interval. Assign boundary edge paths to the two displaced loops, assign interior edges once in their common plaque cores, and fill each face by coning its boundary in one convex plaque core. As in A compact leafwise nullhomotopy persists under a transverse deformation in its shared-edge and face-filling construction, this yields a leafwise homotopy between the displaced boundary loops, with a moving basepoint. Nullhomotopy is unchanged by that basepoint change. Hence the predicate is constant on based-homotopy classes.
Two short fence choices are compared at the basepoint by the local plaque transport between their transversals. It is an increasing germ sending zero to zero, so it sends all sufficiently small positive parameters into, and onto, a sufficiently small positive interval. For matching parameters their displaced loops have the same local transverse labels; the finite rectangle construction of step 1.1, applied to the constant representative homotopy and these two boundary choices, gives a leafwise homotopy between them. Therefore the condition "every sufficiently small displacement is null" is unchanged by the fence.
The constant loop satisfies the predicate, using its constant plaque-wise displacement; step 2.1 makes this true for any fence. For two loops in satisfying the predicate, choose one common short base transversal. Their displaced loops are closed and null at each sufficiently small parameter, so their concatenation is null. Displacement of the concatenation agrees with that concatenation up to the finite plaque homotopies in step 1.1. Reversal likewise gives the reversed null loop. Thus the class set contains the identity and is closed under products and inverses.
For any based loop g, its side-preserving transport germ sends a sufficiently small positive parameter ε to another positive parameter tending to zero. Displacing gives the g-path, the displaced null loop f at that transported parameter, and the reverse g-path. This loop is null. To check that the conjugate also lies in , let be the reversed-loop holonomy homomorphism on the full base transversal (The holonomy representation and the holonomy group of a leaf). Coorientation makes its germs increasing and side-preserving. Restriction to side is a well-defined homomorphism into the group of local half-transversal germs: restriction commutes with composition and inversion, and agreement near the basepoint remains agreement on that side. Thus is normal, and the conjugate belongs to it. The kernel of itself need not equal . Therefore the predicate-defined subgroup is normal in . All compact subdivisions and germ relations were finite.
A saddle polycycle has a smooth transverse family on either adjacent annulus
Statement
Assume Countable Choice (The countable-choice principle used in the foliation pair). Let be a finite saddle-separatrix circuit in a generic characteristic disk map, and choose an adjacent period annulus following its finite circuit itinerary. Then there is a immersed representative of in its ambient leaf and a jointly family , ending at that representative, such that every loop lies in a single leaf and every point track is transverse to . For each positive the loop is leafwise freely homotopic to the prescribed nearby characteristic level loop, by tracked plaque replacements, keeping the selected regularized port collars fixed during saddle replacement. The construction applies separately to either adjacent annulus. No convergence of the unmodified hyperbolic parametrizations through the saddle corners is asserted.
Facts & Assumptions
Given: A generic characteristic disk map with a finite saddle-separatrix circuit , an adjacent period annulus with its finite itinerary, and the regular port sections of the itinerary.
In the generic characteristic disk, a local transverse function is , and the characteristic covector is a nowhere-zero scalar multiple of ; hence at every regular point and its level arcs are the characteristic trajectories (Relative generic position for characteristic disk maps, Regular foliation atlases).
A scalar equation with nonzero derivative in its unknown has a unique local root; a map with invertible derivative has a local inverse (C² inverses and scalar return roots).
In a flat chart the plaques are the connected components of the level sets of the transverse coordinate; the transition between two charts is with of class , and finite compatible pieces glue to a map (Flat charts for a distribution, Plaques of a flat chart, C² plaque transport and finite transverse fences preserve C² regularity, Regular foliation atlases).
A map is transverse to when its differential together with the leaf tangent distribution spans the ambient tangent space at every point; a curve is positively transverse when its derivative has a nonzero component in the positive transverse direction (Smooth maps transverse to a regular foliation).
The characteristic singularities are nondegenerate centers and saddles and admit the four-sector hyperbolic picture at every saddle (Relative generic position for characteristic disk maps).
The standing hypothesis is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
Regular ports for the chosen circuit. The circuit and its itinerary have finitely many edge and saddle-passage occurrences by hypothesis, including repetitions. Trim each occurrence at regular points close to its saddle endpoints, choosing the whole intervening source saddle passage in the preimage of one convex target foliation box. At a regular port choose a short source segment transverse to the characteristic direction. By [F1], there, so [F2] gives a port point for each nearby transverse label , including the limiting label. The target port trace is and transverse to because its target transverse coordinate is .
Regular strips without a maximal-center hypothesis. Cover each compact trimmed edge by finitely many source rectangles supplied by [F1] and [F2], and use to parameterize its regular level arcs. Consecutive rectangles overlap along a compact regular arc. In one common inverse-coordinate rectangle keep the level label fixed and interpolate the two longitudinal parameters with a fixed source cutoff on the overlap, agreeing with the respective parameters near its ends. At level zero choose the same reference longitudinal parameter; its derivative is nonzero, so after shrinking the level interval the interpolated derivative retains its sign. These finite interpolations produce level strips and exact overlap collars down to the limiting edge. Composing with gives compatible ambient strips and collars, even if their ambient longitudinal tangents vanish. All transverse labels on successive strips differ by the local diffeomorphisms of [F3].
One parameter and closed levels. In each chosen saddle box the incoming and outgoing ports of the prescribed passage have the same target transverse label, since the characteristic passage lies in one plaque. Their labels therefore match by a local diffeomorphism down to the limiting level, without claiming a regular source strip through the saddle. Compose these transitions and the regular-strip transitions around the finite itinerary to obtain one return map at a base port. The chosen adjacent period annulus following this itinerary supplies closed characteristic loops for every sufficiently small port parameter on its chosen side: that is the local side of the annulus at this regular port. Each such loop returns to the same point, so on that one-sided interval, also at its limiting endpoint by continuity. Transport its base parameter through the finite transitions. Their derivatives are nonzero, so this gives compatible transverse parameters for all strips and passages and closes the final collar exactly. These conclusions use the given annulus, with no maximal-center or outer-frontier assumption.
Regularize the ambient edges. The limiting images form a continuous loop in one intrinsic leaf: each compact edge segment and each passage lies in a finite chain of plaques, with matching endpoints. Their ambient images need not initially be immersed. Before fixing the ambient port collars, regularize the limiting ambient leafwise loop by finitely many plaque-coordinate chord and corner replacements, as in Finite general position for a leafwise loop, steps 1.1–3.1. The same replacements are made at each nearby transverse level, keeping the transverse coordinate fixed; on overlaps use a common plaque coordinate and fixed source cutoffs. At level zero the resulting reference edge tangents are nonzero, so after one common shrink they stay nonzero at every nearby level. Record these as the regularized edge strips and port collars. The initial replacements themselves are tracked leafwise homotopies. Thus no immersion of the original disk map along characteristic edges has been assumed.
In a single target foliation box at a saddle, write the incoming and outgoing regularized collars as and , using the transported transverse label of step 3.1. Choose a regular C² plaque joining path E that agrees exactly with and on their smaller end collars. One may build it by finite nonconstant polygonal segments and rounded nonopposite corners in the two-dimensional convex plaque disk, inserting a small detour if required. With disjoint end cutoffs equal to one on those smaller collars, put . All interpolation occurs in the leaf coordinates. Hence every slice lies in its plaque and every track has transverse derivative one, including where both cutoffs vanish. At t=0 the tangent is E′≠0, so the family is immersed after a common shrink. It agrees exactly with the two collar families at the ends.
Leafwise homotopy of a passage. On the plaque disk the patch is joined to the original saddle passage by convex interpolation in the plaque coordinates: at each the interpolation stays in the convex disk, and for fixed it lies in the leaf of level ; hence is leafwise freely homotopic to the original passage relative to the two smaller port collars, for every small .
The rounded limit loop. Assemble the finitely many regular edge strips of the frontier edges with the finitely many joining paths of their passages; this is a compact closed curve that is regular on each piece and may have corners at the junctions. Replace it, inside the finitely many plaque disks of the junctions and of the port collars, by a finite polygonal path with nonzero edges and then round the finitely many resulting corners so that adjacent directed edges are not opposite, each replacement keeping the common port collars fixed. The result is a immersed closed curve in the frontier leaf, and each replacement is leafwise homotopic to the identity relative to the port collars, so is a immersed representative of in its ambient leaf.
The family for positive levels. Apply the same two operations — the passage patch of step 5.1 and the corner roundings of step 7.1 — to every prescribed level loop of the adjacent annulus in its own plaque coordinates: replace each saddle passage by and round the same finitely many corners. By steps 1.1–3.1 every ingredient depends jointly on down to , and the corner roundings are applied through the plaque coordinates supplied by the strips; hence the resulting maps form a jointly family on with closed in the leaf of level , ending at as . Every point track is transverse to because all replacements preserve the nonzero derivative of the transported transverse label, by step 5.1 and [F4].
Homotopy to the prescribed loops. For each the loop is obtained from the prescribed characteristic level loop by finitely many operations, each of which is a leafwise free homotopy relative to the regular port collars: the passage replacement is step 6.1, and the corner roundings are performed inside plaque disks and are homotopic to the identity of the loop there. Composing the finitely many homotopies gives a leafwise free homotopy from the prescribed level loop to .
Scope of the regularity claim. The assertions of this lemma concern the constructed family, whose corners have been rounded and whose saddle passages have been replaced by the convex patches of step 5.1; the unmodified hyperbolic parametrizations through a saddle corner are not claimed to admit a family, and no convergence of such raw parametrizations is asserted.
Either adjacent annulus. Steps 1.1–3.1 construct the port and strip data from the chosen annulus and its actual itinerary on either side. If an adjacent period annulus exists on the other side, choose its base parameter positive toward that annulus and repeat the construction for its itinerary. No existence of a second annulus is asserted.
The construction selected finitely many charts, passages, corners, cutoffs and intervals; no choice beyond the standing hypothesis [F6] is used.
Limitwise-nullhomotopy subgroup of a leaf
Definition
Assume Countable Choice . For a transversely oriented codimension- one foliation, a leaf , a base point , and a side , define to be the set of classes for which the predicate of Limitwise-nullhomotopy predicate on based loops holds for a based representative . By Limitwise-nullhomotopy predicate descends to a normal subgroup, this is independent of the representative and fence and is a normal subgroup of . It is Novikov’s limitwise-nullhomotopy subgroup, distinct from the ordinary limit-cycle quotient .
Fixed transverse fences and their finite crossing words
Statement
Assume . Let be a cooriented foliation, let be a leaf, and let be the immersed generic finite-double-point representative of a nonzero limitwise-nullhomotopy class of supplied by Finite general position for a leafwise loop. Then:
(a) there is a sufficiently short one-field leaf-synchronized fence over : a single smooth transverse field with flow and a jointly family , , , whose levels are closed loops in single leaves;
(b) compact leafwise sets are separated from short nonzero -displacements: for every compact intrinsic set in a leaf contained in the domain of there is with for ;
(c) every actual collision at every level uses an eligible pair in one fixed finite cyclic source word. Some eligible pairs may fail to collide at a particular height. When a cut gives closed subloops on its actual common interval, each retained subword has strictly smaller cut rank.
Facts & Assumptions
Given: A cooriented foliation , a leaf , and the generic finite-double-point representative of a nonzero limitwise-nullhomotopy class of on a fixed side, with transverse double points and no triple points.
The loop is a immersion with finitely many transverse double points, no triple points, and a finite cyclic structure of its parameter circle at the marked crossing preimages (Finite general position for a leafwise loop).
A smooth positively transverse vector field exists near the compact loop: in finitely many smooth AMBIENT charts choose constant vectors with positive transverse evaluation and shrink their domains to retain positivity; sum them with nonnegative smooth bumps whose smaller cores cover the loop. Positivity is an open convex condition, because positivity of the transverse component is an open convex condition; a compactly supported field has a jointly flow and flow boxes (Flat charts for a distribution, C¹ Euclidean maximal flows, variational dependence and the finite C² upgrade, A manifold bump for a compact set inside an open set).
In a flat chart the plaques are the level sets of the transverse coordinate and plaque transport matches equal transverse coordinates; finite plaque transports are local diffeomorphisms and compatible pieces glue (Plaques of a flat chart, Leaves of a regular foliation, C² plaque transport and finite transverse fences preserve C² regularity). The holonomy germ of a leafwise path is independent of the chart chain (The holonomy germ is independent of the foliation chart chain), and the holonomy group consists of the germs of leafwise loops (The holonomy representation and the holonomy group of a leaf).
The class of is limitwise nullhomotopic on the chosen side: the predicate is well defined on classes and descends to the normal subgroup ; in particular all sufficiently short positive normal displacements of are null-homotopic in their leaves, hence are closed loops in those leaves (Limitwise-nullhomotopy predicate on based loops, Limitwise-nullhomotopy predicate descends to a normal subgroup).
The standing hypothesis is Countable Choice (The countable-choice principle used in the foliation pair).
Proof
Choose the field. By [F2] there is a smooth vector field , positively transverse to , on a neighbourhood of the compact loop ; fix it once and for all. This is the single field of the "one-field" fence.
Separation. Choose finitely many intrinsic open leaf neighborhoods covering , each with compact closure in a single plaque of a larger flat box. For sufficiently small common flow time every point of remains in that larger box and its transverse coordinate changes with strictly positive derivative. Hence for and small nonzero , since both initial points have the same plaque coordinate. The set is open in and contains its diagonal. Its complement is compact and has no pair ; the leaf inclusion is injective and continuous, so at time zero its image misses the closed ambient diagonal. Compactness gives a common short interval on which it still misses that diagonal. Taking the minimum of this interval and the finitely many local flow intervals proves for . The same argument treats a finite union of compact sets in distinct leaves, with each chosen inside its own plaque. The compact complement is taken after an OPEN diagonal neighborhood, not after a union of closed cores.
The fence. Cover the compact loop by finitely many flat boxes and subdivide so finely that each closed subarc is carried into one box; in each box the -flow lines are transverse to the plaques, so the flow box of [F2] and the implicit function theorem identify the nearby plaques as graphs over the corresponding loop pieces via -orbit projection. Successive plaque continuations starting at agree on overlaps by the chart-chain independence of [F3], and uniqueness of the flow time to a given plaque makes the projected time single-valued; after a finite subdivision of this yields a jointly family with and for in a one-sided interval and .
The levels close. By [F4] every sufficiently short positive normal displacement of is null-homotopic in its leaf, hence closed in its leaf. The levels of the fence of step 2.2 are exactly these displacements, expressed with the fixed field ; shrinking if necessary, and the time function is periodic, so each level is a closed loop lying in a single leaf, and the fence is leaf-synchronized.
Shortness and the fixed crossing pairs. Apply step 2.1 to the compact set in its leaf and shrink the fence so that for all . If for some level , then the flow group law gives , and , so step 2.1 forces and then . Hence every double point of every level uses one of the fixed parameter pairs of .
Transversality persists. Shrink the fence once more so that all levels remain immersions and the tangent vectors at the finitely many possible crossings remain nonparallel. At such a possible crossing the common time satisfies ; the tangent of a level is the leaf-tangential part of , and as the flow map tends to the identity uniformly on the compact loop with control, so the two images of the nonparallel vectors stay nonparallel for the short fence by uniform convergence on the compact source circle as ; the possible crossings of all levels are therefore transverse double points and no triple points occur.
The finite crossing word. If , use the single cyclic arc given by the whole parameter circle and rank zero. Otherwise mark the crossing preimages on the parameter circle, decompose into the corresponding finite cyclic word of arcs, and read every level loop of the fence with the same marking: by step 4.1 its actual crossings are a subset of the eligible marked pairs. Thus all levels use one fixed source-word marking, although equality of the two flow times need not hold at every eligible pair at every height. Switches are used only at actual coincidences and only on intervals where the resulting subloops close. This is the fixed finite combinatorial carrier needed by the cut rank, not an assertion that all original crossings persist.
Decreasing subword-cut rank. Define the rank of the word to be the number of original switch vertices visited twice by , counting a switch vertex once for its two representative ends. A reduced word traverses some arcs at most once and switches only at marked pairs; cutting a selected crossing, which is a vertex visited twice, splits into two cyclic subwords each visiting that vertex only once and never revisiting an already used switch vertex, so each cut subword satisfies . Since all possible non-endpoint collisions of any level of any reduced word are at vertices counted by by steps 4.1–6.1, the ranking is fixed by the original loop and is uniform over all lower levels.
The construction chose finitely many boxes, arcs, marked points and uniform positive constants, so no choice beyond the standing hypothesis [F5] is used; steps 2.1, 2.2 and 6.1–7.1 establish (a), (b) and (c).
5 · Examples, counterexamples and false statements
None yet.
Sources
- Raoul Bott, Lectures on Characteristic Classes and Foliations (Lecture Notes in Mathematics 279; complete scan of the 178-page volume)
- Danny Calegari, Foliations and the Geometry of 3-Manifolds (Oxford Mathematical Monographs; complete author-hosted PDF)
- L. V. Ahlfors, Complex Analysis, 3rd ed., Ch. 4 §2.1 and §4.2 (the index and its behaviour under rotation of the point)
- J. Lebl, Complex Analysis (open text), Ch. 4 §4.1 (the index of a closed curve)
- L. V. Ahlfors, Complex Analysis, 3rd ed., Ch. 4 §2.1-2.3 (the index of a closed curve, its local constancy, and the Cauchy integral formula)
- Gerald Teschl, Ordinary Differential Equations and Dynamical Systems
- S. P. Novikov, The Topology of Foliations (English translation by J. A. Zilber)
- Danny Calegari, Foliations and the Geometry of 3-Manifolds (local C² plaque-chain adaptation)
- Carsten Thomassen, The Jordan-Schonflies Theorem and the Classification of Surfaces (American Mathematical Monthly 99 (1992) 116-130)
- L. V. Ahlfors, Complex Analysis, 3rd ed., Ch. 4 §2.3 (Jordan curve theorem for piecewise smooth curves)
- Gallier and Xu, A Guide to the Classification Theorem for Compact Surfaces
- Diestel, Graph Theory, Chapter 4
- S. P. Novikov, The Topology of Foliations (complete English translation)
- Mark Brittenham, Foliations and the Topology of3-Manifolds, classes11–20
- Steven Hurder and Remi Langevin, Dynamics and the Godbillon-Vey Class of C1 Foliations (complete author-hosted PDF)
- John M. Lee, Introduction to Smooth Manifolds (2nd ed.), Chapter 6 (Morse-Sard used through the library's Euclidean form) and Chapter 11 (vector fields near a singular point)
- Danny Calegari, Foliations and the Geometry of 3-Manifolds (C¹/C² adaptation of the chartwise holonomy construction)
- Mark Brittenham, Foliations and the Topology of 3-manifolds, class 11, author-hosted lecture notes
- Mark Brittenham, Foliations and the Topology of 3-manifolds, class 11
- Mark Brittenham, Foliations and the Topology of 3-Manifolds, classes 11–20
- S. P. Novikov, The Topology of Foliations (English translation by J. A. Zilber; complete PDF of the translation)
- S. P. Novikov, The Topology of Foliations, English translation by J. A. Zilber
- Andre Haefliger, Varietes feuilletees (Ann. Scuola Norm. Sup. Pisa 16 (1962) 367-397), complete Numdam scan
- S. Hurder and A. Katok, Differentiability, Rigidity and Godbillon-Vey Classes for Anosov Flows
- S. P. Novikov, The Topology of Foliations (English translation by J. A. Zilber; complete PDF)
- André Haefliger, Variétés feuilletées, Annali della Scuola Normale Superiore di Pisa, 3e série, 16 (1962), no. 4, 367–397 (complete Numdam scan)