Ends of generic leaves of complete Cartan foliations (Q1957048)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ends of generic leaves of complete Cartan foliations |
scientific article |
Statements
Ends of generic leaves of complete Cartan foliations (English)
0 references
24 September 2010
0 references
Suppose that \(\left( M,\mathcal F\right) \) is a complete Cartan foliation. The author gives the following theorems: If the structure Lie algebra \(\mathfrak{g}_0=\mathfrak{g}_0\left( M,\mathcal F\right)\) is nonzero, then the set of ends of the generic leaves of \(\left( M,\mathcal F\right)\) is either finite and consists of one or two points or is Cantor. If, in addition, \(\dim\mathcal F =2\), then either all generic leaves are noncompact and have genus 0 or all generic leaves are orientable and have only nonplanar ends, or all ends of generic leaves are nonorientable. For \(\mathfrak{g}_0=0\), any finite, countable, or Cantor set can be realized as the set of ends of the generic leaves of \(\left( M, \mathcal F\right)\). If \(\left( M,\mathcal F\right)\) has a compact leaf, then either the set of ends of a generic leaf \(L_0\) is Cantor, or \(e\left( L_0\right)\) is finite and equal to 0,1 or 2; moreover, \(e\left( L_0\right) =0\) if and only if \(\left( M,\mathcal F\right)\) is a compact Riemannian foliation and the space of leaves \(M/\mathcal F\) is a smooth orbifold. Suppose that \(\left( M,\mathcal F\right)\) is of type \(\mathfrak{g}/\mathfrak{h}\) with nonzero structure Lie algebra and at least one of the following two conditions holds: {\parindent7mm \begin{itemize}\item[(1)] the structure algebra \(\mathfrak{g}_0\left( M,\mathcal F\right)\) is solvable; \item[(2)] the algebra \(\mathfrak{g}\) is solvable and the foliation \(\left( M,\mathcal F\right)\) has zero transverse curvature. \end{itemize}} Then the standard generic leaf of this foliation has precisely one or precisely two ends. If \(M\) is a simply connected compact manifold, then \(e\left( L_0\right)\) is equal to 0, 1 or 2. Moreover \(e\left( L_0\right) =0\) if and only if \(\left( M,\mathcal F\right)\) is a compact Riemannian foliation and \(M/\mathcal F\) is a smooth simply connected compact orbifold.
0 references
complete Cartan foliation
0 references
end of a manifold
0 references
orbifold
0 references
generic leaf of a foliation
0 references
structure Lie algebra
0 references
Lie derivative
0 references
adjoint representation
0 references
Cantor set
0 references