GetWiki
foliation
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
foliation
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{Short description|In mathematics, a type of equivalence relation on an n-manifold}}{{other uses}}- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
missing image!
- Reebfoliation-ring-2d-2.svg|200px|thumb|2-dimensional section of Reeb foliationReeb foliationReeb foliation half-torus POV-Ray.png -
In mathematics (differential geometry), a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation.{{harvnb|Candel|Conlon|2000|p=5}} If the manifold and/or 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. In the most important case of differentiable foliation of class Cr it is usually understood that r ⥠1 (otherwise, C0 is a topological foliation).{{harvnb|Anosov|2001}} The number p (the dimension of the leaves) is called the dimension of the foliation and {{nowrap|1=q = n â p}} is called its codimension.In some papers on general relativity by mathematical physicists, the term foliation (or slicing) is used to describe a situation where the relevant Lorentz manifold (a (p+1)-dimensional spacetime) has been decomposed into hypersurfaces of dimension p, specified as the level sets of a real-valued smooth function (scalar field) whose gradient is everywhere non-zero; this smooth function is moreover usually assumed to be a time function, meaning that its gradient is everywhere time-like, so that its level-sets are all space-like hypersurfaces. In deference to standard mathematical terminology, these hypersurface are often called the leaves (or sometimes slices) of the foliation.{{harvnb|Gourgoulhon|2012|p=56}} Note that while this situation does constitute a codimension-1 foliation in the standard mathematical sense, examples of this type are actually globally trivial; while the leaves of a (mathematical) codimension-1 foliation are always locally the level sets of a function, they generally cannot be expressed this way globally,{{citation |first=G. |last=Reeb |title=Remarques sur les structures feuilletées |journal=Bull. Soc. Math. France |volume=87 |issue= |pages=445â450 |year=1959 |doi=10.24033/bsmf.1539 |url=http://archive.numdam.org/article/BSMF_1959__87__445_0.pdf |zbl=0122.41603|doi-access=free }} as a leaf may pass through a local-trivializing chart infinitely many times, and the holonomy around a leaf may also obstruct the existence of a globally-consistent defining functions for the leaves. For example, while the 3-sphere has a famous codimension-1 foliation discovered by Reeb, 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.- Reebfoliation-ring-2d-2.svg|200px|thumb|2-dimensional section of Reeb foliationReeb foliationReeb foliation half-torus POV-Ray.png -
Foliated charts and atlases
In order to give a more precise definition of foliation, it is necessary to define some auxiliary elements.200px|thumb|left|A 3-dimensional foliated chart with n = 3 and q = 1. The plaques are 2-dimensional and the transversals are 1-dimensional.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{{harvnb|Candel|Conlon|2000|p=19}}
partial B = left { left(0,x^2, ldots, x^n right ) in B right }.
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 open and varphi: U to B_{tau} times B_{pitchfork} is a diffeomorphism, B_{pitchfork} being a rectangular neighborhood in Rq and B_{tau} a rectangular neighborhood in Rp. The set Py = φâ1(BÏ Ã {y}), where y in B_{pitchfork}, is called a plaque of this foliated chart. For each x â BÏ, the set Sx = φâ1({x} à B_{pitchfork}) is called a transversal of the foliated chart. The set âÏU = φâ1(BÏ Ã (âB_{pitchfork})) is called the tangential boundary of U and partial_{pitchfork}U = φâ1((âBÏ) à B_{pitchfork}) is called the transverse boundary of U.{{harvnb|Candel|Conlon|2000|p=20}}The foliated chart is the basic model for all foliations, the plaques being the leaves. The notation BÏ is read as ”B-tangential” and B_{pitchfork} as ”B-transverse”. There are also various possibilities. If both B_{pitchfork} 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_{pitchfork} â â
= âBÏ, then âU = âÏU is a union of plaques and the foliation by plaques is tangent to the boundary. If âBÏ â â
= âB_{pitchfork}, then âU = partial_{pitchfork}U is a union of transversals and the foliation is transverse to the boundary. Finally, if âB_{pitchfork} â â
â âBÏ, this is a model of a foliated manifold with a corner separating the tangential boundary from the transverse boundary.500px|thumb|right|(a) Foliation tangent to the boundary âB_{pitchfork} â â
= âBÏ; (b) Foliation transverse to the boundary âBÏ â â
= âB_{pitchfork}; (c) Foliation with a corner separating the tangential boundary from the transverse boundary âB_{pitchfork} â â
â âBÏ.A foliated atlas of codimension q and class Cr (0 ⤠r ⤠â) on the n-manifold M is a Cr-atlas mathcal{U} = {(U_{alpha}, varphi_{alpha})mid alpha in A} of foliated charts of codimension q which are coherently foliated in the sense that, whenever P and Q are plaques in distinct charts of mathcal{U}, then P â© Q is open both in P and Q.{{harvnb|Candel|Conlon|2000|p=23}}A useful way to reformulate the notion of coherently foliated charts is to write for w â Uα â© Uβ {{harvnb|Candel|Conlon|2000|p=25}}
varphi_{alpha} (w) = left ( x_{alpha} (w), y_{alpha} (w) right ) in B_{tau}^{alpha} times B_{pitchfork}^{alpha},
varphi_{beta} (w) = left ( x_{beta} (w), y_{beta} (w) right ) in B_{tau}^{beta} times B_{pitchfork}^{beta}.
The notation (Uα,Ïα) is often written (Uα,xα,yα), with
x_{alpha} = left (x_{alpha}^1, dots,x_{alpha}^p right ),
y_{alpha} = left (y_{alpha}^1, dots,y_{alpha}^q right ).
On Ïβ(Uα â© Uβ) the coordinates formula can be changed as
g_{alpha beta} left ( x_{beta},y_{beta} right ) = varphi_{alpha} circ varphi_{beta}^{-1} left ( x_{beta}, y_{beta} right ) = left ( x_{alpha} left ( x_{beta}, y_{beta} right ), y_{alpha} left ( x_{beta}, y_{beta} right ) right ).
200px|thumb|left|Plaques of Uα each meet two plaques of Uβ.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
y_alpha = y_alpha(x_beta, y_beta) = y_alpha(y_beta)
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.Two foliated atlases mathcal{U} and mathcal{V} on M of the same codimension and smoothness class Cr are coherent left ( mathcal{U} thickapprox mathcal{V} right ) if mathcal{U} cup mathcal{V} is a foliated Cr-atlas. Coherence of foliated atlases is an equivalence relation.
{| class=“toccolours collapsible collapsed” width=“80%” style="text-align:left”
!Proof - for each α â A, overline{U}_{alpha} is a compact subset of a foliated chart (Wα,Ïα) and Ïα = Ïα|Uα;
- the cover {Uα | α â A} is locally finite;
- if (Uα,Ïα) and (Uβ,Ïβ) are elements of the foliated atlas, then the interior of each closed plaque P â overline{U}_{alpha} meets at most one plaque in overline{U}_{beta}. {{harvnb|Candel|Conlon|2000|p=27}}
overline{g}_{alpha beta} = overline{varphi}_{alpha} circ overline{varphi}_{beta}^{-1} : overline{varphi}_{beta} left ( overline{U}_{alpha} cap overline{U}_{beta} right ) rightarrow overline{varphi}_{alpha} left ( overline{U}_{alpha} cap overline{U}_{beta} right )
has the formula
overline{g}_{alpha beta} left ( overline{x}_{beta}, overline{y}_{beta} right ) = left ( overline{x}_{alpha} left ( overline{x}_{beta}, overline{y}_{beta} right ), overline{y}_{alpha} left ( overline{y}_{beta} right ) right ).
Similar assertions hold also for open charts (without the overlines). The transverse coordinate map yα can be viewed as a submersion
y_{alpha} : U_{alpha} rightarrow mathbb{R}^q
and the formulas yα = yα(yβ) can be viewed as diffeomorphisms
gamma_{alpha beta} : y_{beta} left ( U_{alpha} cap U_{beta} right ) rightarrow y_{alpha} left ( U_{alpha} cap U_{beta} right ).
These satisfy the cocycle conditions. That is, on yδ(Uα ⩠Uβ ⩠Uδ),
gamma_{alpha delta} = gamma_{alpha beta} circ gamma_{beta delta}
and, in particular,{{harvnb|Candel|Conlon|2000|p=28}}
gamma_{alpha alpha} equiv y_{alpha} left ( U_{alpha} right ),
gamma_{alpha beta} = gamma_{beta alpha}^{-1}.
Using the above definitions for coherence and regularity it can be proven that every foliated atlas has a coherent refinement that is regular.{{harvnb|Candel|Conlon|2000|p=29}}
{| class=“toccolours collapsible collapsed” width=“80%” style="text-align:left”
!Proof 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 following400px|thumb|left|Decomposition through the coordinates function x : UâRn.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=constant. A foliation is denoted by mathcal{F}={Lα}αâA.{{harvnb|Lawson|1974}}The notion of leaves allows for an intuitive way of thinking about a foliation. For a slightly more geometrical definition, {{mvar|p}}-dimensional foliation mathcal{F} of an {{mvar|n}}-manifold {{mvar|M}} may be thought of as simply a collection {{math|{Ma} }} of pairwise-disjoint, connected, immersed {{mvar|p}}-dimensional submanifolds (the leaves of the foliation) of {{mvar|M}}, such that for every point {{mvar|x}} in {{mvar|M}}, there is a chart (U,varphi) with {{mvar|U}} homeomorphic to {{math|Rn}} containing {{mvar|x}} such that every leaf, {{math|Ma}}, meets {{mvar|U}} in either the empty set or a countable collection of subspaces whose images under varphi in varphi (M_a cap U) are {{mvar|p}}-dimensional affine subspaces whose first {{math|n â p}} coordinates are constant.Locally, every foliation is a submersion allowing the followingDefinition. 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-{{mvar|p}} foliation mathcal{F} of an {{mvar|n}}-dimensional manifold {{mvar|M}} that is a covered by charts {{math|Ui}} together with maps
varphi_i:U_i to mathbb{R}^n
such that for overlapping pairs {{math|Ui, Uj}} the transition functions {{math|Ïij : Rn â Rn}} defined by
varphi_{ij} =varphi_j varphi_i^{-1}
take the form
varphi_{ij}(x,y) = (varphi_{ij}^1(x),varphi_{ij}^2(x,y))
where {{mvar|x}} denotes the first {{mvar|q}} = {{math|n â p}} coordinates, and {{mvar|y}} denotes the last {{mvar|p}} co-ordinates. That is,
begin{align}
varphi_{ij}^1:{} &mathbb{R}^qtomathbb{R}^q varphi_{ij}^2:{} &mathbb{R}^ntomathbb{R}^pend{align}The splitting of the transition functions Ïij into varphi_{ij}^1(x) and varphi_{ij}^2(x,y) as a part of the submersion is completely analogous to the splitting of overline{g}_{alpha beta} into overline{y}_{alpha} left ( overline{y}_{beta} right ) and overline{x}_{alpha} left ( overline{x}_{beta}, overline{y}_{beta} right ) 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 is associated to a unique foliation mathcal{F} of codimension q.
{| class=“toccolours collapsible collapsed” width=“80%” style="text-align:left”
!Proof
{| class=“toccolours collapsible collapsed” width=“80%” style="text-align:left”
!Proof
g_{alpha beta}(x_beta, y_beta) = ( x_alpha( x_beta, y_beta), y_alpha ( y_beta)).
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.{{harvnb|Candel|Conlon|2000|p=32}}Holonomy
Let (M, mathcal{F}) be a foliated manifold. If L is a leaf of mathcal{F} 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.300px|thumb|left|A cross section N and first return map f where M = S1 à D2 and N = D2.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 has a boundary, the flow is assumed to be tangent to the boundary. The flow generates a 1-dimensional foliation mathcal{F}. If one remembers the positive direction of flow, but otherwise forgets the parametrization (shape of trajectory, velocity, etc.), the underlying foliation mathcal{F} 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 â 1, the foliation mathcal{F} 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
T_y (M) = T_y(mathcal{F}) oplus T_y(N) text{ for each } yin N.
Let y â N and consider the Ï-limit set Ï(y) of all accumulation points in M of all sequences left {Phi_{t_k}(y)right}_{k=1}^infty, where tk goes to infinity. It can be shown that Ï(y) is compact, nonempty, and a union of flow lines. If z = lim_{k rightarrow infty} Phi_{t_k} in omega(y), there is a value t* â R such that Φt*(z) â N and it follows that
lim_{k to infty} Phi_{t_k + t^ast} (y) = Phi_{t^ast}(z) in N.
Since N is compact and mathcal{F} is transverse to N, it follows that the set {t > 0 | Φt(y) â N} is a monotonically increasing sequence {tau_k(y)}_{k=1}^infty 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 depends only on the oriented foliation mathcal{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
(t,y) sim_f (t-1,f(y)).
Equivalently, this is the orbit equivalence for the action of the additive group Z on R Ã N defined by
k cdot (t,y) = (t - k,f^k(y) ),
for each k â Z and for each (t,y) â R Ã N. The mapping cylinder of f is defined to be the Cr manifold
M_f = (mathbb{R} times N)/{sim_f}.
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
Phi : mathbb{R} times N rightarrow M.
defined by the flow, induces a canonical Cr diffeomorphism
varphi : M_f rightarrow M.
If we make the identification M’f = M, then the projection of R Ã N onto R induces a C’r map
pi : M rightarrow mathbb{R} / mathbb{Z} = S^1
that makes M into the total space of a fiber bundle over the circle. This is just the projection of S1 Ã D2 onto S1. The foliation mathcal{F} is transverse to the fibers of this bundle and the bundle projection {{pi}}, restricted to each leaf L, is a covering map {{pi}} : 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
h : pi_1(S^1,x_0) rightarrow operatorname{Diff}^{,r}(N),
called the total holonomy homomorphism for the foliated bundle.Using fiber bundles in a more direct manner, let (M,mathcal{F}) be a foliated n-manifold of codimension q. Let {{pi}} : 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
begin{matrix}
pi^{-1}(U) & xrightarrow{varphi} & Utimes{F} scriptstyle{pi} Biggdownarrow & {qquad} & Biggdownarrow{scriptstyle{p}} U & xrightarrow{text{id}} & Uend{matrix}where Ï is a Cr diffeomorphism (a homeomorphism, if r = 0) that carries mathcal{F} mid pi^{-1}(U) to the product foliation {U Ã {y}}y â F. Here, mathcal{F} mid pi^{-1}(U) is the foliation with leaves the connected components of L â© Ïâ1(U), where L ranges over the leaves of mathcal{F}. This is the general definition of the term “foliated bundle” (M,mathcal{F},Ï) of class Cr.mathcal{F} is transverse to the fibers of Ï (it is said that mathcal{F} is transverse to the fibration) and that the restriction of Ï to each leaf L of mathcal{F} is a covering map Ï : L â B. In particular, each fiber Fx = {{pi}}â1(x) meets every leaf of mathcal{F}. The fiber is a cross section of mathcal{F} in complete analogy with the notion of a cross section of a flow.The foliation mathcal{F} 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
pi : mathbb{R}^2 rightarrow mathbb{R},
pi(x,y) = x,
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 {{pi}}. When F is compact, however, it is true that transversality of mathcal{F} to the fibration does guarantee completeness, hence that (M,mathcal{F},pi) is a foliated bundle.There is an atlas mathcal{U} = {Uα,xα}αâA on B, consisting of open, connected coordinate charts, together with trivializations ϒα : Ïâ1(U’α) â U’α à F that carry mathcal{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.The atlas mathcal{W} = {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 and choose the atlas mathcal{U} 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 gamma = left { gamma_{alpha beta} right }_{alpha,beta in A} by setting
gamma_{alpha beta} = y_alpha circ y_beta^{-1} : F rightarrow F.
Examples
Flat space
Consider an {{mvar|n}}-dimensional space, foliated as a product by subspaces consisting of points whose first {{math|n â p}} coordinates are constant. This can be covered with a single chart. The statement is essentially that {{math|Rn {{=}} Rnâp à Rp}} with the leaves or plaques {{math|Rp}} being enumerated by {{math|Rnâp}}. The analogy is seen directly in three dimensions, by taking {{math|n {{=}} 3}} and {{math|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 {{math|M {{=}} B Ã F}}, foliated by the leaves {{math|Fb {{=}} {b} Ã F, b â B}}. (Another foliation of {{mvar|M}} is given by {{math|Bf {{=}} B Ã { f } , f â F}}.)A more general class are flat {{mvar|G}}-bundles with {{math|G {{=}} Homeo(F)}} for a manifold {{mvar|F}}. Given a representation {{math|Ï : {{pi}}1(B) â Homeo(F)}}, the flat {{math|Homeo(F)}}-bundle with monodromy {{mvar|Ï}} is given by M=left(widetilde{B}times Fright)/pi_1B, where {{math|{{pi}}1(B)}} acts on the universal cover widetilde{B} by deck transformations and on {{mvar|F}} by means of the representation {{mvar|Ï}}.Flat bundles fit into the framework of fiber bundles. A map {{math|{{pi}} : M â B}} between manifolds is a fiber bundle if there is a manifold F such that each {{math|b â B}} has an open neighborhood {{mvar|U}} such that there is a homeomorphism varphi:pi^{-1}(U)to Utimes F with pi = p_1 varphi , with {{math|p1 : U Ã F â U}} projection to the first factor. The fiber bundle yields a foliation by fibers F_b:=pi^{-1}({b}), bin B. Its space of leaves L is homeomorphic to {{mvar|B}}, in particular L is a Hausdorff manifold.Coverings
If {{math|M â N}} is a covering map between manifolds, and {{mvar|F}} is a foliation on {{mvar|N}}, then it pulls back to a foliation on {{mvar|M}}. 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 {{math|Mn â Nq, (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 {{mvar|q}} foliation of {{mvar|M}}. Fiber bundles are an example of this type.An example of a submersion, which is not a fiber bundle, is given by
begin{cases} f:[-1,1]times mathbb{R}to mathbb{R} f(x,y)=(x^2-1) e^yend{cases}
This submersion yields a foliation of {{math|[â1, 1] Ã R}} which is invariant under the {{math|Z}}-actions given by
z(x, y)= (x,y+n ), quad text{or} quad z(x, y)=left((-1)^nx, yright)
for {{math|(x, y) â [â1, 1] à R}} and {{math|n â Z}}. The induced foliations of {{math|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
begin{cases} f:D^{n}times mathbb{R}to mathbb{R} f(r,theta,t):=(r^2-1)e^tend{cases}
where {{math|(r, θ) â [0, 1] à S’nâ1}} are cylindrical coordinates on the {{mvar|n}}-dimensional disk {{math|Dn}}. This submersion yields a foliation of {{math|Dn à R}} which is invariant under the {{math|Z’’’}}-actions given by
z(x,y)=(x,y+z)
for {{math|(x, y) â Dn à R, z â Z}}. The induced foliation of {{math|Z (Dn à R)}} is called the {{mvar|n}}-dimensional Reeb foliation. Its leaf space is not Hausdorff.For {{math|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 {{math|S2n+1}} are also explicitly known.{{citation |first=A.H. |last=Durfee |title=Foliations of Odd-Dimensional Spheres |journal=Annals of Mathematics |series=Second Series |volume=96 |issue=2 |pages=407â411 |year=1972 |doi=10.2307/1970795 |jstor=1970795}}Lie groups
If {{mvar|G}} is a Lie group, and {{mvar|H}} is a Lie subgroup, then {{mvar|G}} is foliated by cosets of {{mvar|H}}. When {{mvar|H}} is closed in {{mvar|G}}, the quotient space {{mvar|G}}/{{mvar|H}} is a smooth (Hausdorff) manifold turning {{mvar|G}} into a fiber bundle with fiber {{mvar|H}} and base {{mvar|G}}/{{mvar|H}}. This fiber bundle is actually principal, with structure group {{mvar|H}}.Lie group actions
Let {{mvar|G}} be a Lie group acting smoothly on a manifold {{mvar|M}}. If the action is a locally free action or free action, then the orbits of {{mvar|G}} define a foliation of {{mvar|M}}.Linear and Kronecker foliations
If tilde{X} is a nonsingular (i.e., nowhere zero) vector field, then the local flow defined by tilde{X} patches together to define a foliation of dimension 1. Indeed, given an arbitrary point x â M, the fact that tilde{X} is nonsingular allows one to find a coordinate neighborhood (U,x1,...,xn) about x such that
- varepsilon < x^i < varepsilon, quad 1 le i le n,
and
frac{partial}{partial x^1} = tilde{X}mid U.
Geometrically, the flow lines of tilde{X} mid U are just the level sets
x^i = c^i, quad 2 le i le n,
where all |c^i| < varepsilon. Since by convention manifolds are second countable, leaf anomalies like the “long line” are precluded by the second countability of M itself. The difficulty can be sidestepped by requiring that tilde{X} be a complete field (e.g., that M be compact), hence that each leaf be a flow line.missing image!
- Linear torus.png -
The linear foliation mathcal{tilde{F
free action- Linear torus.png -
The linear foliation mathcal{tilde{F
missing image!
- Irrational_Rotation_on_a_2_Torus.png -
Irrational rotation on a 2-torus.
An important class of 1-dimensional foliations on the torus T2 are derived from projecting constant vector fields on T2. A constant vector field
- Irrational_Rotation_on_a_2_Torus.png -
Irrational rotation on a 2-torus.
tilde{X} equiv begin{bmatrix}a b end{bmatrix}
on R2 is invariant by all translations in R2, hence passes to a well-defined vector field X when projected on the torus {{math|T2{{=}} R2/Z2}}. It is assumed that a â 0. The foliation mathcal{tilde{F}} on R2 produced by tilde{X} has as leaves the parallel straight lines of slope θ = b/a. This foliation is also invariant under translations and passes to the foliation mathcal{F} on T2 produced by X.Each leaf of mathcal{tilde{F}} is of the form
tilde{L} = {(x_0 + ta,y_0 + tb)}_{t in mathbb{R}}.
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, the points of tilde{L} corresponding to values of t â t0 + Z all project to the same point of T2; so the corresponding leaf L of mathcal{F} is an embedded circle in T2. Since L is arbitrary, mathcal{F} 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 hisKronecker’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.
{| class=“toccolours collapsible collapsed” width=“80%” style="text-align:left”
!ProofSuspension foliations
A flat bundle has not only its foliation by fibres but also a foliation transverse to the fibers, whose leaves are
L_f:= left{pleft(tilde{b},fright): tilde{b}inwidetilde{B}right}, quad mbox{ for }fin F,
where p:widetilde{B}times Fto M is the canonical projection. This foliation is called the suspension of the representation {{math|Ï : {{pi}}1(B) â Homeo(F)}}.In particular, if {{math|B {{=}} S1}} and varphi:Fto F is a homeomorphism of {{mvar|F}}, then the suspension foliation of varphi is defined to be the suspension foliation of the representation {{math|Ï : Z â Homeo(F)}} given by {{math|Ï(z) {{=}} Φz}}. Its space of leaves is {{math|L {{=}} mathcal{F}/~}}, where {{math|x ~ y}} whenever {{math|y {{=}} Φn(x)}} for some {{math|n â Z}}.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)).
M = S1 Ãf X = [0,1] Ã X
Then automatically M carries two foliations: mathcal{F}2 consisting of sets of the form F2,t = {(t,x)~ : x â X} and mathcal{F}1 consisting of sets of the form F2,x0 = {(t,x) : t â [0,1] ,x â Ox0}, where the orbit Ox0 is defined as
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,x0. Understanding the foliation mathcal{F}1 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 {{math|Rα : S1 â S1}} by angle {{math|α â [0, 2{{pi}}).}}missing image!
- 2-Hole Torus-cut.png -
Suspension of 2-holed torus after cutting and re-gluing. a) Two-holed torus with the sections to be cut; b) the geometric figure after cutting with the four faces.
More specifically, if Σ = Σ2 is the two-holed torus with C1,C2 â Σ the two embedded circles let mathcal{F} be the product foliation of the 3-manifold M = Σ à S1 with leaves Σ à {y}, y â S1. Note that Ni = Ci à S1 is an embedded torus and that mathcal{F} 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, letting N_i^{+} and N_i^{-} denote the resulting copies of Ni, i = 1,2. At this point one has a manifold M’ = Σ’ à S1 with four boundary components left {N_i^{pm} right }_{i=1,2}. The foliation mathcal{F} has passed to a foliation mathcal{F^{prime}} transverse to the boundary âM’ , each leaf of which is of the form Σ’ à {y}, y â S1.This leaf meets âM’ in four circles C_i^{pm} times {y} subset N_i^{pm}. If z â Ci, the corresponding points in C_i^{pm} are denoted by z± and N_i^{-} is “reglued” to N_i^{+} by the identification
- 2-Hole Torus-cut.png -
Suspension of 2-holed torus after cutting and re-gluing. a) Two-holed torus with the sections to be cut; b) the geometric figure after cutting with the four faces.
(z^{-},y) equiv (z^{+},f_i(y)), quad i = 1,2.
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. The leaves of mathcal{F^{prime}}, however, reassemble to produce a new foliation mathcal{F}(f1,f2) of M. If a leaf L of mathcal{F}(f1,f2) contains a piece Σ’ à {y0}, then
L = bigcup_{g in G} Sigma^{prime} times { g (y_0) },
where G â Diff+(S1) is the subgroup generated by {f1,f2}. These copies of Σ’ are attached to one another by identifications
(zâ,g(y0)) â¡ (z+,f1(g(y0))) for each z â C1,
(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), then mathcal{F}(f1,f2) = mathcal{F}. 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 has closure bar{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 {{mvar|X}} on {{mvar|M}} that is never zero, its integral curves will give a 1-dimensional foliation. (i.e. a codimension {{math|n â 1}} foliation).This observation generalises to the Frobenius theorem, saying that the necessary and sufficient conditions for a distribution (i.e. an {{math|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 {{math|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 {{math|ker(α)}}, for some (non-canonical) {{math|α â Ω1}} (i.e. a non-zero co-vector field). A given {{mvar|α}} is integrable iff {{math|α ⧠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, requiring that the integrability condition is never satisfied.Existence of foliations
{{harvtxt|Haefliger|1970}} gave a necessary and sufficient condition for a distribution on a connected non-compact manifold to be homotopic to an integrable distribution. {{harvs|txt|last=Thurston|year1=1974|year2=1976}} showed that any compact manifold with a distribution has a foliation of the same dimension.See also
- {{annotated link|G-structure}}
- {{annotated link|Haefliger structure}} closed under taking pullbacks.
- {{annotated link|Lamination (topology)|Lamination}}
- {{annotated link|Reeb foliation}}.
- {{annotated link|Taut foliation}}
Notes
{{Reflist}}References
{{sfn whitelist |CITEREFAnosov2001}}- {{eom|id=F/f040740|title=Foliation|first=D.V.|last= Anosov}}
- {hide}citation| last1 = Candel
| first1 = Alberto
| last2 = Conlon
| first2 = Lawrence
| title = Foliations I
| publisher = American Mathematical Society
| series = Graduate Studies in Mathematics
| volume = 23
| date = 2000
| location = Providence, Rhode Island
| isbn = 0-8218-0809-5
{edih} | last2 = Conlon
| first2 = Lawrence
| title = Foliations I
| publisher = American Mathematical Society
| series = Graduate Studies in Mathematics
| volume = 23
| date = 2000
| location = Providence, Rhode Island
| isbn = 0-8218-0809-5
- {hide}citation| last1 = Candel
| first1 = Alberto
| last2 = Conlon
| first2 = Lawrence
| title = Foliations II
| publisher = American Mathematical Society
| series = Graduate Studies in Mathematics
| volume = 60
| date = 2003
| location = Providence, Rhode Island
| isbn = 0-8218-0809-5
{edih} | last2 = Conlon
| first2 = Lawrence
| title = Foliations II
| publisher = American Mathematical Society
| series = Graduate Studies in Mathematics
| volume = 60
| date = 2003
| location = Providence, Rhode Island
| isbn = 0-8218-0809-5
- {{citation | last = Gourgoulhon
| first = Ãric
| title = 3+1 Formalism in General Relativity
| publisher = Springer
| series = Lecture Notes in Physics
| volume = 846
| date = 2012
| location = Heidelberg, New York, Dordrecht, London
| url =relativite.obspm.fr/3p1
| doi = 10.1007/978-3-642-24525-1
| isbn = 978-3-642-24524-4
}}
| title = 3+1 Formalism in General Relativity
| publisher = Springer
| series = Lecture Notes in Physics
| volume = 846
| date = 2012
| location = Heidelberg, New York, Dordrecht, London
| url =relativite.obspm.fr/3p1
| doi = 10.1007/978-3-642-24525-1
| isbn = 978-3-642-24524-4
}}
- {{Citation | last1=Haefliger | first1=André | title=Feuilletages sur les variétés ouvertes | doi=10.1016/0040-9383(70)90040-6 | mr=0263104 | year=1970 | journal=Topology | issn=0040-9383 | volume=9 | pages=183â194 | issue=2| doi-access= }}
- {{Citation | last1=Lawson | first1=H. Blaine | title=Foliations | url=https://www.ams.org/bull/1974-80-03/S0002-9904-1974-13432-4/ | doi=10.1090/S0002-9904-1974-13432-4 | mr=0343289 | year=1974 | journal=Bulletin of the American Mathematical Society | issn=0002-9904 | volume=80 | pages=369â418 | issue=3 | doi-access=free }}
- {{Citation | last1=Moerdijk | first1=Ieke | last2=MrÄun | first2=J. | title=Introduction to foliations and Lie groupoids | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-83197-0 | mr=2012261 | year=2003 | volume=91| author1-link=Ieke Moerdijk }}
- {{Citation | last1=Reeb | first1=Georges | title=Sur certaines propriétés topologiques des variétés feuilletées | publisher=Hermann & Cie., Paris | series=Actualités Sci. Ind., no. 1183 | mr=0055692 | year=1952}}
- {{Citation | last1=Thurston | first1=William | title=The theory of foliations of codimension greater than one | url=https://eudml.org/doc/139581 | mr=0370619 | year=1974 | journal=Commentarii Mathematici Helvetici | issn=0010-2571 | volume=49 | pages=214â231 | doi=10.1007/BF02566730 | s2cid=120603728 }}
- {{Citation | last1=Thurston | first1=William P. | author1-link=William Thurston | title=Existence of codimension-one foliations | jstor=1971047 | mr=0425985 | year=1976 | journal=Annals of Mathematics |series=Second Series | issn=0003-486X | volume=104 | issue=2 | pages=249â268 | doi=10.2307/1971047}}
External links
- Foliations at the Manifold Atlas
- content above as imported from Wikipedia
- "foliation" does not exist on GetWiki (yet)
- time: 1:48am EDT - Wed, May 22 2024
- "foliation" does not exist on GetWiki (yet)
- time: 1:48am EDT - Wed, May 22 2024
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 21 MAY 2024
The Illusion of Choice
Culture
Culture
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
© 2024 M.R.M. PARROTT | ALL RIGHTS RESERVED