Novikov's Compact Leaf Theorem
   HOME

TheInfoList



OR:

{{Short description, Result about foliation of compact 3-manifolds In mathematics, Novikov's compact leaf theorem, named after Sergei Novikov, states that : ''A codimension-one
foliation In mathematics (differential geometry), a foliation is an equivalence relation on an ''n''-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the decomposition of ...
of a compact 3-manifold whose
universal covering space A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete spa ...
is not contractible must have a compact leaf.''


Novikov's compact leaf theorem for ''S''3

Theorem: ''A smooth codimension-one foliation of the
3-sphere In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensio ...
'' ''S''3 ''has a compact leaf. The leaf is a torus'' ''T''2 ''bounding a solid torus with the
Reeb foliation In mathematics, the Reeb foliation is a particular foliation of the 3-sphere, introduced by the French mathematician Georges Reeb (1920–1993). It is based on dividing the sphere into two solid tori, along a 2-torus: see Clifford torus. Each of ...
.'' The theorem was proved by Sergei Novikov in 1964. Earlier Charles Ehresmann had conjectured that every smooth codimension-one foliation on ''S''3 had a compact leaf, which was known to be true for all known examples; in particular, the
Reeb foliation In mathematics, the Reeb foliation is a particular foliation of the 3-sphere, introduced by the French mathematician Georges Reeb (1920–1993). It is based on dividing the sphere into two solid tori, along a 2-torus: see Clifford torus. Each of ...
has a compact leaf that is ''T''2.


Novikov's compact leaf theorem for any ''M''3

In 1965, Novikov proved the compact leaf theorem for any ''M''3: Theorem: ''Let'' ''M''3 ''be a closed 3-manifold with a smooth codimension-one foliation'' ''F''. ''Suppose any of the following conditions is satisfied:'' # the '' fundamental group \pi_1(M^3) is finite,'' # the ''second homotopy group \pi_2(M^3)\ne 0,'' # ''there exists a leaf L\in F such that the map \pi_1(L)\to\pi_1(M^3) induced by inclusion has a non-trivial
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learn ...
.'' ''Then'' ''F'' ''has a compact leaf of
genus Genus ( plural genera ) is a taxonomic rank used in the biological classification of living and fossil organisms as well as viruses. In the hierarchy of biological classification, genus comes above species and below family. In binomial nom ...
'' ''g'' ≤ 1. In terms of covering spaces: ''A codimension-one
foliation In mathematics (differential geometry), a foliation is an equivalence relation on an ''n''-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the decomposition of ...
of a compact 3-manifold whose
universal covering space A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete spa ...
is not contractible must have a compact leaf.''


References

* ''S. Novikov''. The topology of foliations//Trudy Moskov. Mat. Obshch, 1965, v. 14, p. 248–27

* ''I. Tamura''. Topology of foliations — AMS, v.97, 2006. * ''D. Sullivan'', Cycles for the dynamical study of foliated manifolds and complex manifolds, ''Invent. Math.'', 36 (1976), p. 225–255

Foliations Theorems in topology