In mathematics, a p-dimensional foliation is a partition of a manifold into submanifolds, all of the same dimension p, locally modeled on the decomposition of Rn into the p. The submanifolds are called the leaves of the foliation.

The 3-sphere has a famous codimension-1 foliation called the Reeb foliation.

The submanifolds are required to be connected and injectively immersed, but they are not required to be embedded. For example, if m is a fixed irrational number, the torus is foliated by the set of straight lines in the torus of slope m. Each line is dense in the torus and is injectively immersed but not embedded.

If the manifold and the submanifolds are required to have a piecewise-linear, differentiable (of class Cr), or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively.

The level sets of a smooth real-valued function on a manifold with no critical points form a codimension 1 foliation on the manifold. For example, in general relativity, spacetimes with some number of spatial dimensions and 1 time dimension are often foliated as the level sets of a smooth function whose gradient is timelike, so that the leaves are spacelike hypersurfaces. Every codimension 1 foliation locally arises this way, but generally does not arise this way globally. For example, a codimension-1 foliation of a closed manifold cannot be given by the level sets of a smooth function, since a smooth function on a closed manifold necessarily has critical points at its maxima and minima.

Foliated charts and atlases

In order to give a more precise definition of foliation, it is necessary to define some auxiliary elements. A rectangular neighborhood in Rn is an open subset of the form B = J1 × ⋅⋅⋅ × Jn, where Ji is a (possibly unbounded) relatively open interval in the ith coordinate axis. If J1 is of the form (a,0], it is said that B has boundary

In the following definition, coordinate charts are considered that have values in Rp × Rq, allowing the possibility of manifolds with boundary and (convex) corners.

A foliated chart on the n-manifold M of codimension q is a pair (U,), where U ⊆ M is a diffeomorphism being a rectangular neighborhood in Rq a rectangular neighborhood in Rp. The set Py = −1(Bτ × {y, is called a plaque of this foliated chart. For each x ∈ Bτ, the set Sx = −1({x) is called a transversal of the foliated chart. The set ∂τU = −1(Bτ × (∂)) is called the tangential boundary of U = −1((∂Bτ) is called the transverse boundary of U.

The foliated chart is the basic model for all foliations, the plaques being the leaves. The notation Bτ is read as "B as "B and Bτ have empty boundary, the foliated chart models codimension-q foliations of n-manifolds without boundary. If one, but not both of these rectangular neighborhoods has boundary, the foliated chart models the various possibilities for foliations of n-manifolds with boundary and without corners. Specifically, if ∂ ≠ ∅ = ∂Bτ, then ∂U = ∂τU is a union of plaques and the foliation by plaques is tangent to the boundary. If ∂Bτ ≠ ∅ = ∂, then ∂U is a union of transversals and the foliation is transverse to the boundary. Finally, if ∂ ≠ ∅ ≠ ∂Bτ, this is a model of a foliated manifold with a corner separating the tangential boundary from the transverse boundary.

A foliated atlas of codimension q and class Cr (0 ≤ r ≤ ∞) on the n-manifold M is a Cr of foliated charts of codimension q which are coherently foliated in the sense that, whenever P and Q, then P ∩ Q is open both in P and Q.

A useful way to reformulate the notion of coherently foliated charts is to write for w ∈ Uα ∩ Uβ

The notation (Uα,φα) is often written (Uα,xα,yα), with

On φβ(Uα ∩ Uβ) the coordinates formula can be changed as

The condition that (Uα,xα,yα) and (Uβ,xβ,yβ) be coherently foliated means that, if P ⊂ Uα is a plaque, the connected components of P ∩ Uβ lie in (possibly distinct) plaques of Uβ. Equivalently, since the plaques of Uα and Uβ are level sets of the transverse coordinates yα and yβ, respectively, each point z ∈ Uα ∩ Uβ has a neighborhood in which the formula

is independent of xβ.

The main use of foliated atlases is to link their overlapping plaques to form the leaves of a foliation. For this and other purposes, the general definition of foliated atlas above is a bit clumsy. One problem is that a plaque of (Uα,φα) can meet multiple plaques of (Uβ,φβ). It can even happen that a plaque of one chart meets infinitely many plaques of another chart. However, no generality is lost in assuming the situation to be much more regular as shown below.

on M of the same codimension and smoothness class Cr are coherent is a foliated Cr-atlas. Coherence of foliated atlases is an equivalence relation.

1. {| class="toccolours collapsible collapsed" width="80%" style="text-align:left"

!Proof |- | Reflexivity and symmetry are immediate. To prove transitivity. Let (Uα,xα,yα and (Wλ,xλ,yλ and suppose that there is a point w ∈ Uα ∩ Wλ. Choose (Vδ,xδ,yδ such that w ∈ Vδ. By the above remarks, there is a neighborhood N of w in Uα ∩ Vδ ∩ Wλ such that

and hence

Since w ∈ Uα ∩ Wλ is arbitrary, it can be concluded that yα(xλ,yλ) is locally independent of xλ, hence that coherence is transitive. |} Plaques and transversals defined above on open sets are also open. But one can speak also of closed plaques and transversals. Namely, if (U,φ) and (W,ψ (the closure of U) is a subset of W and φ = ψ|U

A foliated atlas is said to be regular if

1. for each α ∈ A is a compact subset of a foliated chart (Wα,ψα) and φα = ψα|Uα;

2. the cover {Uα | α ∈ A} is locally finite;

3. if (Uα,φα) and (Uβ,φβ) are elements of the foliated atlas, then the interior of each closed plaque P

By property (1), the coordinates xα and yα Property (3) is equivalent to requiring that, if Uα ∩ Uβ That is

has the formula

Similar assertions hold also for open charts (without the overlines). The transverse coordinate map yα can be viewed as a submersion

and the formulas yα = yα(yβ) can be viewed as diffeomorphisms

These satisfy the cocycle conditions. That is, on yδ(Uα ∩ Uβ ∩ Uδ),

and, in particular,

Using the above definitions for coherence and regularity it can be proven that every foliated atlas has a coherent refinement that is regular.

1. {| class="toccolours collapsible collapsed" width="80%" style="text-align:left"

!Proof |- | Fix a metric on M Passing to a subcover is finite. Let ε > 0 be a Lebesgue number That is, any subset X ⊆ M of diameter < ε lies entirely in some Wj. For each x ∈ M, choose j such that x ∈ Wj and choose a foliated chart (Ux, φx) such that

1. x ∈ Ux ⊂ Wj,

2. φx = ψj|Ux,

3. diam(Ux) < ε/2.

Suppose that Ux ⊂ Wk, k ≠ j, and write ψk = (xk,yk) as usual, where yk : Wk → Rq is the transverse coordinate map. This is a submersion having the plaques in Wk as level sets. Thus, yk restricts to a submersion yk : Ux → Rq.

This is locally constant in xj; so choosing Ux smaller, if necessary, one can assume that yk as its level sets. That is, each plaque of Wk. Since 1 < k < l < ∞, one can choose Ux so that, whenever Ux ⊂ Wk lie in distinct plaques of Wk of {(Ux,φx) | x ∈ M}. If Ui ∩ Uj ≠ 0, then diam(Ui ∪ Uj) < ε, and so there is an index k) lie in distinct plaques of Wk and is a regular foliated atlas.

If M is not compact, local compactness and second countability of compact subsets such that Ki ⊂ int Ki+1 for each i covers Kl. Let δl denote the distance from Kl to ∂Kl+1 and choose εl > 0 so small that εl < min{δl/2,εl-1} for l ≥ 1, ε0 < δ0/2, and εl (as an open cover of Kl (as an open cover of Kl+1). More precisely, if X ⊂ M meets Kl (respectively, Kl+1) and diam X < εl, then X). For each x ∈ Kl int Kl-1, construct (Ux,φx be a compact subset of Wj and that φx = ψj|Ux, some j ≤ nl < εl of Kl int Kl-1. (Here, it is taken n−1. |}

Foliation definitions

Several alternative definitions of foliation exist depending on the way through which the foliation is achieved. The most common way to achieve a foliation is through decomposition reaching to the following Definition. A p-dimensional, class Cr foliation of an n-dimensional manifold M is a decomposition of M into a union of disjoint connected submanifolds {Lα}α∈A, called the leaves of the foliation, with the following property: Every point in M has a neighborhood U and a system of local, class Cr coordinates x=(x1, ⋅⋅⋅, xn) : U→Rn such that for each leaf Lα, the components of U ∩ Lα are described by the equations xp+1=constant, ⋅⋅⋅, xn={Lα}α∈A.

The notion of leaves allows for an intuitive way of thinking about a foliation. For a slightly more geometrical definition, a of an -manifold may be thought of as simply a collection of pairwise-disjoint, connected, immersed -dimensional submanifolds (the leaves of the foliation) of , such that for every point in with homeomorphic to containing such that every leaf, , meets in either the empty set or a countable are -dimensional affine subspaces whose first coordinates are constant.

Locally, every foliation is a submersion allowing the following

Definition. Let M and Q be manifolds of dimension n and q≤n respectively, and let f : M→Q be a submersion, that is, suppose that the rank of the function differential (the Jacobian) is q. It follows from the implicit function theorem that ƒ induces a codimension-q foliation on M where the leaves are defined to be the components of f−1(x) for x ∈ Q.

This definition describes a dimension- of an -dimensional manifold that is a covered by charts together with maps

such that for overlapping pairs the transition functions defined by

take the form

where denotes the first = coordinates, and denotes the last co-ordinates. That is,

The splitting of the transition functions φij as a part of the definition of a regular foliated atlas. This makes possible another definition of foliations in terms of regular foliated atlases. To this end, one has to prove first that every regular foliated atlas of codimension q of codimension q.

1. {| class="toccolours collapsible collapsed" width="80%" style="text-align:left"

!Proof be a regular foliated atlas of codimension q. Define an equivalence relation on M by setting x ~ y-plaque P0 such that x,y ∈ P0 or there is a sequence L = {P0,P1,⋅⋅⋅,Pp-plaques such that x ∈ P0, y ∈ Pp, and Pi ∩ Pi-1 ≠ ∅ with 1 ≤ i ≤ p. The sequence L will be called a plaque chain of length p connecting x and y. In the case that x,y ∈ P0, it is said that {P0} is a plaque chain of length 0 connecting x and y. The fact that ~ is an equivalence relation is clear. It is also clear that each equivalence class L-plaques can only overlap in open subsets of each other, L is locally a topologically immersed submanifold of dimension n − q. The open subsets of the plaques P ⊂ L form the base of a locally Euclidean topology on L of dimension n − q and L is clearly connected in this topology. It is also trivial to check that L is Hausdorff. The main problem is to show that L is second countable. Since each plaque is 2nd countable, the same will hold for L-plaques in L is at most countably infinite. Fix one such plaque P0. By the definition of a regular, foliated atlas, P0 meets only finitely many other plaques. That is, there are only finitely many plaque chains {P0,Pi} of length 1. By induction on the length p of plaque chains that begin at P0-plaque in L is, by the definition of ~, reached by a finite plaque chain starting at P0, the assertion follows. |} As shown in the proof, the leaves of the foliation are equivalence classes of plaque chains of length ≤ p which are also topologically immersed Hausdorff -dimensional submanifolds are foliated atlases on M.

1. {| class="toccolours collapsible collapsed" width="80%" style="text-align:left"

!Proof , every leaf L-plaques. These plaques are open subsets in the manifold topology of L, let Q-plaque. If L and w ∈ L ∩ Q, let P ∈ L-plaque with w ∈ P. Then P ∩ Q is an open neighborhood of w in Q and P ∩ Q ⊂ L ∩ Q. Since w ∈ L ∩ Q is arbitrary, it follows that L ∩ Q is open in Q. Since L is an arbitrary leaf, it follows that Q decomposes into disjoint open subsets, each of which is the intersection of Q. Since Q is connected, L ∩ Q = Q. Finally, Q. |} It is now obvious that the correspondence between foliations on M and their associated foliated atlases induces a one-to-one correspondence between the set of foliations on M of codimension q and class Cr on M is a coherence class of foliated atlases of codimension q and class Cr on M. By Zorn's lemma, it is obvious that every coherence class of foliated atlases contains a unique maximal foliated atlas. Thus,

Definition. A foliation of codimension q and class Cr on M is a maximal foliated Cr-atlas of codimension q on M.

In practice, a relatively small foliated atlas is generally used to represent a foliation. Usually, it is also required this atlas to be regular.

In the chart , the stripes match up with the stripes on other charts . These submanifolds piece together from chart to chart to form maximal connected injectively immersed submanifolds called the leaves of the foliation.

If one shrinks the chart it can be written as , where , is homeomorphic to the plaques, and the points of parametrize the plaques in . If one picks in , then is a submanifold of that intersects every plaque exactly once. This is called a local transversal section of the foliation. Note that due to monodromy global transversal sections of the foliation might not exist.

The case r = 0 is rather special. Those C0 foliations that arise in practice are usually "smooth-leaved". More precisely, they are of class Cr,0, in the following sense.

Definition. is of class Cr,k, r > k ≥ 0, if the corresponding coherence class of foliated atlases contains a regular foliated atlas {Uα,xα,yα}α∈A such that the change of coordinate formula

is of class Ck, but xα is of class Cr in the coordinates xβ and its mixed xβ partials of orders ≤r are Ck in the coordinates (xβ,yβ).

The above definition suggests the more general concept of a foliated space or abstract lamination. One relaxes the condition that the transversals be open, relatively compact subsets of Rq, allowing the transverse coordinates yα to take their values in some more general topological space Z. The plaques are still open, relatively compact subsets of Rp, the change of transverse coordinate formula yα(yβ) is continuous and xα(xβ,yβ) is of class Cr in the coordinates xβ and its mixed xβ partials of orders ≤r are continuous in the coordinates (xβ,yβ). One usually requires M and Z to be locally compact, second countable and metrizable. This may seem like a rather wild generalization, but there are contexts in which it is useful.

Holonomy

Let (M) be a foliated manifold. If L and s is a path in L, one is interested in the behavior of the foliation in a neighborhood of s in M. Intuitively, an inhabitant of the leaf walks along the path s, keeping an eye on all of the nearby leaves. As they (hereafter denoted by s(t)) proceed, some of these leaves may "peel away", getting out of visual range, others may suddenly come into range and approach L asymptotically, others may follow along in a more or less parallel fashion or wind around L laterally, etc. If s is a loop, then s(t) repeatedly returns to the same point s(t0) as t goes to infinity and each time more and more leaves may have spiraled into view or out of view, etc. This behavior, when appropriately formalized, is called the holonomy of the foliation.

Holonomy is implemented on foliated manifolds in various specific ways: the total holonomy group of foliated bundles, the holonomy pseudogroup of general foliated manifolds, the germinal holonomy groupoid of general foliated manifolds, the germinal holonomy group of a leaf, and the infinitesimal holonomy group of a leaf.

Foliated bundles

The easiest case of holonomy to understand is the total holonomy of a foliated bundle. This is a generalization of the notion of a Poincaré map. The term "first return (recurrence) map" comes from the theory of dynamical systems. Let Φt be a nonsingular Cr flow (r≥1) on the compact n-manifold M. In applications, one can imagine that M is a cyclotron or some closed loop with fluid flow. If M. If one remembers the positive direction of flow, but otherwise forgets the parametrization (shape of trajectory, velocity, etc is said to be oriented. Suppose that the flow admits a global cross section N. That is, N is a compact, properly embedded, Cr submanifold of M of dimension n– is transverse to N, and every flow line meets N. Because the dimensions of N and of the leaves are complementary, the transversality condition is that

Let y ∈ N and consider the ω-limit set ω(y) of all accumulation points in M, where tk there is a value t* ∈ R such that Φt*(z) ∈ N and it follows that

Since N is transverse to N, it follows that the set {t > 0 | Φt(y that diverges to infinity.

As y ∈ N varies, let τ(y) = τ1(y), defining in this way a positive function τ ∈ Cr(N) (the first return time) such that, for arbitrary y ∈ N, Φt(y) ∉ N, 0 < t < τ(y), and Φτ(y)(y) ∈ N.

Define f : N → N by the formula f(y) = Φτ(y)(y). This is a Cr map. If the flow is reversed, exactly the same construction provides the inverse f−1; so f ∈ Diffr(N). This diffeomorphism is the first return map and τ is called the first return time. While the first return time depends on the parametrization of the flow, it should be evident that f. It is possible to reparametrize the flow Φt, keeping it nonsingular, of class Cr, and not reversing its direction, so thatτ≡1.

The assumption that there is a cross section N to the flow is very restrictive, implying that M is the total space of a fiber bundle over S1. Indeed, on R × N, define ~f to be the equivalence relation generated by

Equivalently, this is the orbit equivalence for the action of the additive group Z on R × N defined by

for each k ∈ Z and for each (t,y) ∈ R × N. The mapping cylinder of f is defined to be the Cr manifold

By the definition of the first return map f and the assumption that the first return time is τ ≡ 1, it is immediate that the map

defined by the flow, induces a canonical Cr diffeomorphism

If we make the identification Mf = M, then the projection of R × N onto R induces a Cr map

that makes M into the total space of a fiber bundle over the circle. This is just the projection of S1 × D2 onto S1 is transverse to the fibers of this bundle and the bundle projection, restricted to each leaf L, is a covering map : L → S1. This is called a foliated bundle.

Take as basepoint x0 ∈ S1 the equivalence class 0 + Z; so π−1(x0) is the original cross section N. For each loop s on S1, based at x0, the homotopy class [s] ∈ π1(S1,x0) is uniquely characterized by deg s ∈ Z. The loop s lifts to a path in each flow line and it should be clear that the lift sy that starts at y ∈ N ends at fk(y) ∈ N, where k = deg s. The diffeomorphism fk ∈ Diffr(N) is also denoted by hs and is called the total holonomy of the loop s. Since this depends only on [s], this is a definition of a homomorphism

called the total holonomy homomorphism for the foliated bundle.

Using fiber bundles in a more direct manner, let (M) be a foliated n-manifold of codimension q. Let : M → B be a fiber bundle with q-dimensional fiber F and connected base space B. Assume that all of these structures are of class Cr, 0 ≤ r ≤ ∞, with the condition that, if r = 0, B supports a C1 structure. Since every maximal C1 atlas on B contains a C∞ subatlas, no generality is lost in assuming that B is as smooth as desired. Finally, for each x ∈ B, assume that there is a connected, open neighborhood U ⊆ B of x and a local trivialization

where φ is a Cr diffeomorphism (a homeomorphism, if r to the product foliation {U × {y}}y∈F is the foliation with leaves the connected components of L ∩ π−1(U), where L. This is the general definition of the term "foliated bundle" (M,π) of class Cr.

is transverse to the fibration) and that the restriction of π to each leaf L is a covering map π : L → B. In particular, each fiber Fx = −1(x in complete analogy with the notion of a cross section of a flow.

being transverse to the fibers does not, of itself, guarantee that the leaves are covering spaces of B. A simple version of the problem is a foliation of R2, transverse to the fibration

but with infinitely many leaves missing the y-axis. In the respective figure, it is intended that the "arrowed" leaves, and all above them, are asymptotic to the axis x = 0. One calls such a foliation incomplete relative to the fibration, meaning that some of the leaves "run off to infinity" as the parameter x ∈ B approaches some x0 ∈ B. More precisely, there may be a leaf L and a continuous path s : [0,a) → L such that limt→a−π(s(t)) = x0 ∈ B, but limt→a−s(t) does not exist in the manifold topology of L. This is analogous to the case of incomplete flows, where some flow lines "go to infinity" in finite time. Although such a leaf L may elsewhere meet π−1(x0), it cannot evenly cover a neighborhood of x0, hence cannot be a covering space of B under . When F is a foliated bundle.

= {Uα,xα}α∈A on B, consisting of open, connected coordinate charts, together with trivializations φα : π−1(Uα) → Uα × F|π−1(Uα) to the product foliation. Set Wα = π−1(Uα) and write φα = (xα,yα) where (by abuse of notation) xα represents xα π and yα : π−1(Uα) → F is the submersion obtained by composing φα with the canonical projection Uα × F → F.

= {Wα,xα,yα}α∈A plays a role analogous to that of a foliated atlas. The plaques of Wα are the level sets of yα and this family of plaques is identical to F via yα. Since B is assumed to support a C∞ structure, according to the Whitehead theorem one can fix a Riemannian metric on B to be geodesically convex. Thus, Uα ∩ Uβ is always connected. If this intersection is nonempty, each plaque of Wα meets exactly one plaque of Wβ. Then define a holonomy cocycle by setting

Examples

Flat space

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

Bundles

A rather trivial example of foliations are products , foliated by the leaves . (Another foliation of is given by .)

A more general class are flat -bundles with for a manifold . Given a representation , the flat -bundle with monodromy , where acts on the universal cover by deck transformations and on by means of the representation .

Flat bundles fit into the framework of fiber bundles. A map between manifolds is a fiber bundle if there is a manifold F such that each has an open neighborhood , with . Its space of leaves L is homeomorphic to , in particular L is a Hausdorff manifold.

Coverings

If is a covering map between manifolds, and is a foliation on , then it pulls back to a foliation on . 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 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 foliation of . 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 which is invariant under the -actions given by

for and . The induced foliations of 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 are cylindrical coordinates on the -dimensional disk . This submersion yields a foliation of which is invariant under the -actions given by

for . The induced foliation of is called the -dimensional Reeb foliation. Its leaf space is not Hausdorff.

For , 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 are also explicitly known.

Lie groups

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

Lie group actions

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

Linear and Kronecker foliations

is a nonsingular (i.e. patches together to define a foliation of dimension 1. Indeed, given an arbitrary point x ∈ M is nonsingular allows one to find a coordinate neighborhood (U,x1,...,xn) about x such that

and

are just the level sets

Since by convention manifolds are second countable, leaf anomalies like the "long line" are precluded by the second countability of M be a complete field (e.g., that M be compact), hence that each leaf be a flow line. An important class of 1-dimensional foliations on the torus T2 are derived from projecting constant vector fields on T2. A constant vector field

on R2 is invariant by all translations in R2, hence passes to a well-defined vector field X when projected on the torus . It is assumed that a on R2 has as leaves the parallel straight lines of slope θ = b/a on T2 produced by X.

is of the form

If the slope is rational then all leaves are closed curves homeomorphic to the circle. In this case, one can take a,b ∈ Z. For fixed t ∈ R corresponding to values of t ∈ t0 + Z all project to the same point of T2; so the corresponding leaf L is an embedded circle in T2. Since L is a foliation of T2 by circles. It follows rather easily that this foliation is actually a fiber bundle π : T2 → S1. This is known as a linear foliation.

When the slope θ = b/a is irrational, the leaves are noncompact, homeomorphic to the non-compactified real line, and dense in the torus (cf Irrational rotation). The trajectory of each point (x0,y0) never returns to the same point, but generates an "everywhere dense" winding about the torus, i.e. approaches arbitrarily close to any given point. Thus the closure to the trajectory is the entire two-dimensional torus. This case is named Kronecker foliation, after Leopold Kronecker and his

Kronecker's Density Theorem. If the real number θ is distinct from each rational multiple of π, then the set {einθ | n ∈ Z} is dense in the unit circle.

1. {| class="toccolours collapsible collapsed" width="80%" style="text-align:left"

does not project one-to-one into T2, there must be a real number t ≠ 0 such that ta and tb are both integers. But this would imply that b/a ∈ Q. In order to show that each leaf L is dense in T2, it is enough to show that, for every v ∈ R2 achieves arbitrarily small positive distances from suitable points of the coset v + Z2. A suitable translation in R2 allows one to assume that v passes arbitrarily close to suitable points (n,m) ∈ Z2 has slope-intercept equation

So it will suffice to find, for arbitrary η > 0, integers n and m such that

Equivalently, c ∈ R being arbitrary, one is reduced to showing that the set {θn − m}m,n∈Z is dense in R. This is essentially the criterion of Eudoxus that θ and 1 be incommensurable (i.e., that θ be irrational). |} A similar construction using a foliation of by parallel lines yields a 1-dimensional foliation of the -torus 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

is the canonical projection. This foliation is called the suspension of the representation .

In particular, if is a homeomorphism of is defined to be the suspension foliation of the representation given by . Its space of leaves is , where whenever for some .

The simplest example of foliation by suspension is a manifold X of dimension q. Let f : X → X be a bijection. One defines the suspension M = S1 ×f X as the quotient of [0,1] × X by the equivalence relation (1,x) ~ (0,f(x)).

1. M = S1 ×f X = [0,1] × X

Then automatically M2 consisting of sets of the form F2,t = {(t,x)~ : x ∈ X1 consisting of sets of the form F2,x0 = {(t,x) : t ∈ [0,1] ,x ∈ Ox0}, where the orbit Ox0 is defined as

1. Ox0 = {..., f−2(x0), f−1(x0), x0, f(x0), f2(x0), ...},

where the exponent refers to the number of times the function f is composed with itself. Note that Ox0 = Of(x0) = Of−2(x0), etc., so the same is true for F1,x01 is equivalent to understanding the dynamics of the map f. If the manifold X is already foliated, one can use the construction to increase the codimension of the foliation, as long as f maps leaves to leaves.

The Kronecker foliations of the 2-torus are the suspension foliations of the rotations by angle More specifically, if Σ = Σ2 is the two-holed torus with C1,C2 be the product foliation of the 3-manifold M = Σ × S1 with leaves Σ × {y}, y ∈ S1. Note that Ni = Ci × S1 is transverse to Ni, i = 1,2. Let Diff+(S1) denote the group of orientation-preserving diffeomorphisms of S1 and choose f1,f2 ∈ Diff+(S1). Cut M apart along N1 and N2 denote the resulting copies of Ni, i = 1,2. At this point one has a manifold M = Σ' × S1 transverse to the boundary ∂M' , each leaf of which is of the form Σ' × {y}, y ∈ S1.

This leaf meets ∂M' If z ∈ Ci are denoted by z± by the identification

Since f1 and f2 are orientation-preserving diffeomorphisms of S1, they are isotopic to the identity and the manifold obtained by this regluing operation is homeomorphic to M(f1,f2) of M. If a leaf L(f1,f2) contains a piece Σ' × {y0}, then

where G ⊂ Diff+(S1) is the subgroup generated by {f1,f2}. These copies of Σ' are attached to one another by identifications

1. (z−,g(y0)) ≡ (z+,f1(g(y0))) for each z ∈ C1,

2. (z−,g(y0)) ≡ (z+,f2(g(y0))) for each z ∈ C2,

where g ranges over G. The leaf is completely determined by the G-orbit of y0 ∈ S1 and can he simple or immensely complicated. For instance, a leaf will be compact precisely if the corresponding G-orbit is finite. As an extreme example, if G is trivial (f1 = f2 = idS1(f1,f2. If an orbit is dense in S1, the corresponding leaf is dense in M. As an example, if f1 and f2 are rotations through rationally independent multiples of 2π, every leaf will be dense. In other examples, some leaf L that meets each factor {w} × S1 in a Cantor set. Similar constructions can be made on Σ × I, where I is a compact, nondegenerate interval. Here one takes f1,f2 ∈ Diff+(I) and, since ∂I is fixed pointwise by all orientation-preserving diffeomorphisms, one gets a foliation having the two components of ∂M as leaves. When one forms M' in this case, one gets a foliated manifold with corners. In either case, this construction is called the suspension of a pair of diffeomorphisms and is a fertile source of interesting examples of codimension-one foliations.

Foliations and integrability

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

This observation generalises to the Frobenius theorem, saying that the necessary and sufficient conditions for a distribution (i.e. an 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 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 , for some (non-canonical) (i.e. a non-zero co-vector field). A given is integrable iff 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, requiring that the integrability condition is never satisfied.

Existence of foliations

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

See also

• closed under taking pullbacks.

• .

Notes

References

External links

• Foliations at the Manifold Atlas