In mathematics, Novikov's compact leaf theorem, named after Sergei Novikov, states that
Theorem: A smooth codimension-one foliation of the 3-sphere S<sup>3</sup> has a compact leaf. The leaf is a torus T<sup>2</sup> bounding a solid torus with the Reeb foliation.
The theorem was proved by Sergei Novikov in 1964. Earlier, Charles Ehresmann had conjectured that every smooth codimension-one foliation on S<sup>3</sup> had a compact leaf, which was known to be true for all known examples; in particular, the Reeb foliation has a compact leaf that is T<sup>2</sup>.
In 1965, Novikov proved the compact leaf theorem for any M<sup>3</sup>:
Theorem: Let M<sup>3</sup> be a closed 3-manifold with a smooth codimension-one foliation F. Suppose any of the following conditions is satisfied:
Then F has a compact leaf of genus g ⤠1.
In terms of covering spaces:
A codimension-one foliation of a compact 3-manifold whose universal covering space is not contractible must have a compact leaf.