Novikov's compact leaf theorem

Novikov's Compact Leaf Theorem is a result in the field of differential topology, particularly in the study of foliations on smooth manifolds. It addresses the existence of compact leaves in a certain class of foliations, which are decompositions of a manifold into disjoint submanifolds called leaves.