Teorema de la hoja compacta de Nóvikov

En matemáticas, el teorema de la hoja compacta de Nóvikov, llamado así en honor a Sergéi Nóvikov, establece lo siguiente:

Teorema de la hoja compacta de Nóvikov Una foliación continuamente diferenciable de codimensión uno sobre una 3-variedad compacta, cuyo recubridor universal no es contráctil debe tener una hoja compacta.

Teorema de la hoja compacta de Nóvikov para S³

Teorema: Una foliación continuamente diferenciable de codimensión uno de una 3-esfera S³ tiene una hoja compacta. La hoja es un toro T² que limita un toro sólido con la foliación de Reeb.

El teorema fue demostrado por Sergéi Nóvikov en 1964. Anteriormente Charles Ehresmann hizo hipótesis que toda foliación continuamente diferenciable de dimensión dos sobre S³ tiene una hoja compacta, lo que fue cierto para todos los ejemplos conocidos. En particular, la foliación de Reeb tiene una hoja compacta que es un toro.

Teorema de la hoja compacta de Nóvikov para cualquier M³

En 1965, S. Nóvikov demostró el teorema para cualquier variedad M³:

Teorema: Sea M³ una 3-variedad cerrada con una foliación continuamente diferenciable de codimensión uno. Si se cumple una de las siguientes condiciónes:

1. el grupo fundamental π₁(M³) es finito,
2. el segundo grupo de homotopía $\pi_2(M^3)\ne 0$,
3. existe una hoja $L\in F$ tal que el mapeo $\pi_1(L)\to\pi_1(M^3)$ inducido por la inclusión tiene núcleo no trivial,

entonces F tiene una hoja compacta de género $g\le 1$.

En términos de espacios recubridores:

Una foliación continuamente diferenciable de codimensión uno de una 3-variedad compacta cuyo recubridor universal no es contráctil debe tener una hoja compacta.

Referencias

• S. Novikov. The topology of foliations//Trudy Moskov. Mat. Obshch, 1965, v. 14, p. 248-278.[1]
• 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. [2]