# Foliation

{{#invoke:Hatnote|hatnote}}

Template:More footnotes
In mathematics, a **foliation** is a geometric device used to study manifolds, consisting of an integrable subbundle of the tangent bundle. A foliation looks locally like a decomposition of the manifold as a union of parallel submanifolds of smaller dimension.

## Definition

More formally, a dimension Template:Mvar foliation Template:Mvar of an Template:Mvar-dimensional manifold Template:Mvar is a covering by charts *U _{i}* together with maps

such that for overlapping pairs *U _{i}*,

*U*the transition functions

_{j}*φ*:

_{ij}**R**

^{n}→

**R**

^{n}defined by

take the form

where Template:Mvar denotes the first *n* − *p* coordinates, and Template:Mvar denotes the last Template:Mvar co-ordinates. That is,

In the chart *U _{i}*, the stripes

*x*= constant match up with the stripes on other charts

*U*. Technically, these stripes are called

_{j}**plaques**of the foliation. In each chart, the plaques are Template:Mvar dimensional submanifolds. These submanifolds piece together from chart to chart to form maximal connected injectively immersed submanifolds called the

**leaves**of the foliation.

The notion of leaves allows for a more intuitive way of thinking about a foliation. A Template:Mvar-dimensional foliation of an Template:Mvar-manifold Template:Mvar may be thought of as simply a collection {*M _{a}*} of pairwise-disjoint, connected, immersed Template:Mvar-dimensional submanifolds (the leaves of the foliation) of Template:Mvar, such that for every point Template:Mvar in Template:Mvar, there is a chart with Template:Mvar homeomorphic to

**R**

^{n}containing Template:Mvar such that every leaf,

*M*, meets Template:Mvar in either the empty set or a countable collection of subspaces whose images under in are Template:Mvar-dimensional affine subspaces whose first

_{a}*n*−

*p*coordinates are constant.

If we shrink the chart *U _{i}* it can be written as

*U*×

_{ix}*U*, where

_{iy}*U*⊂

_{ix}**R**

^{n−p},

*U*⊂

_{iy}**R**

^{p},

*U*is homeomorphic to the plaques, and the points of

_{iy}*U*parametrize the plaques in

_{ix}*U*. If we pick

_{i}*y*

_{0}in

*U*, then

_{iy}*U*× {

_{ix}*y*

_{0}} is a submanifold of

*U*that intersects every plaque exactly once. This is called a local

_{i}*transversal section*of the foliation. Note that due to monodromy global transversal sections of the foliation might not exist.

## Examples

### Flat space

Consider an Template:Mvar-dimensional space, foliated as a product by subspaces consisting of points whose first *n* − *p* coordinates are constant. This can be covered with a single chart. The statement is essentially that **R**^{n} = **R**^{n−p} × **R**^{p} with the leaves or plaques **R**^{p} being enumerated by **R**^{n−p}. The analogy is seen directly in three dimensions, by taking *n* = 3 and *p* = 2: the 2-dimensional leaves of a book are enumerated by a (1-dimensional) page number.

### Bundles

A rather trivial example of foliations are products *M* = *B* × *F*, foliated by the leaves *F _{b}* = {

*b*} ×

*F*,

*b*∈

*B*. (Another foliation of Template:Mvar is given by

*B*=

_{f}*B*× {

*f*} ,

*f*∈

*F*.)

A more general class are flat Template:Mvar-bundles with *G* = Homeo(*F*) for a manifold Template:Mvar. Given a representation *ρ* : *π*_{1}(*B*) → Homeo(*F*), the flat Homeo(*F*)-bundle with monodromy Template:Mvar is given by , where *π*_{1}(*B*) acts on the universal cover by deck transformations and on Template:Mvar by means of the representation Template:Mvar.

Flat bundles fit into the framework of fiber bundles. A map *π* : *M* → *B* between manifolds is a fiber bundle if there is a manifold F such that each *b* ∈ *B* has an open neighborhood Template:Mvar such that there is a homeomorphism with , with *p*_{1} : *U* × *F* → *U* projection to the first factor. The fiber bundle yields a foliation by fibers . Its space of leaves L is homeomorphic to Template:Mvar, in particular L is a Hausdorff manifold.

### Covers

If *M* → *N* is a covering between manifolds, and Template:Mvar is a foliation on Template:Mvar, then it pulls back to a foliation on Template:Mvar. More generally, if the map is merely a branched covering, where the branch locus is transverse to the foliation, then the foliation can be pulled back.

### Submersions

If *M ^{n}* →

*N*(

^{q},*q*≤

*n*) is a submersion of manifolds, it follows from the inverse function theorem that the connected components of the fibers of the submersion define a codimension Template:Mvar foliation of Template:Mvar. Fiber bundles are an example of this type.

An example of a submersion, which is not a fiber bundle, is given by

This submersion yields a foliation of [−1, 1] × **R** which is invariant under the **Z**-actions given by

for (*x*, *y*) ∈ [−1, 1] × **R** and *z* ∈ **Z**. The induced foliations of **Z**\([−1, 1] × **R**) are called the 2-dimensional Reeb foliation (of the annulus) resp. the 2-dimensional nonorientable Reeb foliation (of the Möbius band). Their leaf spaces are not Hausdorff.

### Reeb foliations

Define a submersion

where (*r*, *θ*) ∈ [0, 1] × *S*^{n−1} are cylindrical coordinates on the Template:Mvar-dimensional disk *D ^{n}*. This submersion yields a foliation of

*D*×

^{n}**R**which is invariant under the

**Z**-actions given by

for (*x*, *y*) ∈ *D ^{n}* ×

**R**,

*z*∈

**Z**. The induced foliation of

**Z**\(

*D*×

^{n}**R**) is called the Template:Mvar-dimensional Reeb foliation. Its leaf space is not Hausdorff.

For *n* = 2, this gives a foliation of the solid torus which can be used to define the Reeb foliation of the 3-sphere by gluing two solid tori along their boundary. Foliations of odd-dimensional spheres *S*^{2n+1} are also explicitly known.^{[1]}

### Lie groups

If Template:Mvar is a Lie group, and Template:Mvar is a Lie subgroup, then Template:Mvar is foliated by cosets of Template:Mvar. When Template:Mvar is closed in Template:Mvar, the quotient space Template:Mvar/Template:Mvar is a smooth (Hausdorff) manifold turning Template:Mvar into a fiber bundle with fiber Template:Mvar and base Template:Mvar/Template:Mvar. This fiber bundle is actually principal, with structure group Template:Mvar.

### Lie group actions

Let Template:Mvar be a Lie group acting smoothly on a manifold Template:Mvar. If the action is a locally free action or free action, then the orbits of Template:Mvar define a foliation of Template:Mvar.

### Kronecker foliation

The set of lines on the torus *T* = **R**^{2}/**Z**^{2} with the same slope Template:Mvar forms a foliation. The leaves are obtained by projecting straight lines of slope Template:Mvar in the plane **R**^{2} onto the torus. If the slope is rational then all leaves are closed curves homeomorphic to the circle, while if it is irrational, the leaves are noncompact, homeomorphic to the real line, and dense in the torus (cf Irrational rotation). The irrational case is known as the **Kronecker foliation**, after Leopold Kronecker. A similar construction using a foliation of **R**^{n} by parallel lines yields a 1-dimensional foliation of the Template:Mvar-torus **R**^{n}/**Z**^{n} associated with the linear flow on the torus.

### Suspension foliations

A flat bundle has not only its foliation by fibres but also a foliation transverse to the fibers, whose leaves are

where is the canonical projection. This foliation is called the suspension of the representation *ρ* : *π*_{1}(*B*) → Homeo(*F*).

In particular, if *B* = *S*^{1} and is a homeomorphism of Template:Mvar, then the suspension foliation of is defined to be the suspension foliation of the representation *ρ* : **Z** → Homeo(*F*) given by *ρ*(*z*) = Φ^{z}. Its space of leaves is *L* = *F*/~, where *x* ~ *y* whenever *y* = Φ^{n}(*x*) for some *n* ∈ **Z**.

The Kronecker foliations of the 2-torus are the suspension foliations of the rotations *R _{α}* :

*S*

^{1}→

*S*

^{1}by angle

*α*∈ [0, 2

*π*).

## Foliations and integrability

There is a close relationship, assuming everything is smooth, with vector fields: given a vector field Template:Mvar on Template:Mvar that is never zero, its integral curves will give a 1-dimensional foliation. (i.e. a codimension *n* − 1 foliation).

This observation generalises to the Frobenius theorem, saying that the necessary and sufficient conditions for a distribution (i.e. an *n* − *p* dimensional subbundle of the tangent bundle of a manifold) to be tangent to the leaves of a foliation, is that the set of vector fields tangent to the distribution are closed under Lie bracket. One can also phrase this differently, as a question of reduction of the structure group of the tangent bundle from GL(*n*) to a reducible subgroup.

The conditions in the Frobenius theorem appear as integrability conditions; and the assertion is that if those are fulfilled the reduction can take place because local transition functions with the required block structure exist. For example, in the codimension 1 case, we can define the tangent bundle of the foliation as ker(*α*), for some (non-canonical) *α* ∈ Ω^{1} (i.e. a non-zero co-vector field). A given Template:Mvar is integrable iff *α* ∧ *dα* = 0 everywhere.

There is a global foliation theory, because topological constraints exist. For example in the surface case, an everywhere non-zero vector field can exist on an orientable compact surface only for the torus. This is a consequence of the Poincaré–Hopf index theorem, which shows the Euler characteristic will have to be 0. There are many deep connections with contact topology, which is the "opposite" concept.

## Existence of foliations

Template:Harvtxt gave a necessary and sufficient condition for a distribution on a connected non-compact manifold to be homotopic to an integrable distribution. Template:Harvs showed that any compact manifold with a distribution has a foliation of the same dimension.

## See also

- G-structure
- Classifying space for foliations
- Haefliger structure, a generalization of foliations closed under taking pullbacks.
- Lamination
- Reeb foliation of the 3-sphere.
- Taut foliation

## References

- ↑ Durfee: Foliations of Odd-Dimensional Spheres. Annals of Mathematics, Second Series, Vol. 96, No. 2 (Sep., 1972), pp. 407-411.

- General

- Template:Eom
- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

## External links

- Foliations at the Manifold Atlas