Codimension one foliations without compact leaves (Q1897464)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Codimension one foliations without compact leaves |
scientific article |
Statements
Codimension one foliations without compact leaves (English)
0 references
27 August 1995
0 references
In the study of foliations an important problem consists in the analysis of the compact leaves. Novikov's theorem states that every foliation of certain three-dimensional manifolds has a compact leaf. The purpose of this paper is to show that there is no such result for \(C^1\) codimension one foliations in dimensions greater than three. Theorem: Let \(M\) be a smooth \((C^\infty)\) closed manifold of dimension \(n \geq 4\) with a \(C^\infty\) codimension one foliation \(F_0\). Then \(M\) has a codimension one foliation \(F_1\) with no compact leaves, locally defined by a \(C^1\) differential 1-form and such that all the leaves are \(C^\infty\) submanifolds of \(M\). Furthermore, \(F_1\) can be chosen \(C^1\)-concordant to \(F_0\) and such that their tangent plane fields \(TF_0\) and \(TF_1\) are homotopic as subbundles of the tangent bundle \(TM\). The method consists in an explicit \(C^1\) construction modifying the given foliation \(F_0\). From this theorem one obtains the following Corollary: Every smooth closed connected manifold of dimension \(n \geq 4\) with vanishing Euler characteristic has a codimension one foliation with no compact leaves locally defined by a \(C^1\)-form and with all leaves smooth. Such a foliation exists in every homotopy class of tangent plane field and of Haefliger \(\Gamma^1_1\)-structures. Two attractive questions are formulated by the author. The paper also contains a construction of foliations without compact leaves on \(S^1 \times S^{n-1}\) \((n \geq 4)\).
0 references
foliations
0 references
compact leaves
0 references
exceptional minimal set
0 references
holonomy
0 references
saturations
0 references
function
0 references
\(r\)-controlled
0 references