Foliation
(6 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | |||
{{Stub}} | {{Stub}} | ||
== Introduction == | == Introduction == | ||
− | + | This page gives the definition of the term ''foliation''. For further information, see the page [[Foliations]] and | |
+ | {{cite|Godbillon1991}}. | ||
=== Foliations === | === Foliations === | ||
+ | <wikitex>; | ||
Let $M$ be an $n$-manifold, possibly with boundary, and let ${\mathcal{F}}=\left\{F_b\right\}_{b\in B}$ be a decomposition of $M$ into connected, topologically immersed submanifolds of dimension $n-q$. ${\mathcal{F}}$ is said to be a codimension $q$ (smooth) foliation of $M$ if $M$ admits an (smooth) atlas $\left\{U_\alpha,\phi_\alpha\right\}_{\alpha\in {\mathcal{A}}}$ of foliated charts, that is (diffeomorphisms) homeomorphisms $$\phi_\alpha=\left(x_\alpha,y_\alpha\right):U_\alpha\rightarrow B_{\alpha,\tau}\times B_{\alpha,\pitchfork}\subset {\mathbb R}^{n-q}\times{\mathbb R}^q$$ such that for each $\alpha\in{\mathcal{A}}, b\in B$ the intersection $F_b\cap U_\alpha$ is a union of plaques $\phi_\alpha^{-1}\left(B_{\alpha,\tau}\times\left\{y\right\}\right)$. | Let $M$ be an $n$-manifold, possibly with boundary, and let ${\mathcal{F}}=\left\{F_b\right\}_{b\in B}$ be a decomposition of $M$ into connected, topologically immersed submanifolds of dimension $n-q$. ${\mathcal{F}}$ is said to be a codimension $q$ (smooth) foliation of $M$ if $M$ admits an (smooth) atlas $\left\{U_\alpha,\phi_\alpha\right\}_{\alpha\in {\mathcal{A}}}$ of foliated charts, that is (diffeomorphisms) homeomorphisms $$\phi_\alpha=\left(x_\alpha,y_\alpha\right):U_\alpha\rightarrow B_{\alpha,\tau}\times B_{\alpha,\pitchfork}\subset {\mathbb R}^{n-q}\times{\mathbb R}^q$$ such that for each $\alpha\in{\mathcal{A}}, b\in B$ the intersection $F_b\cap U_\alpha$ is a union of plaques $\phi_\alpha^{-1}\left(B_{\alpha,\tau}\times\left\{y\right\}\right)$. | ||
+ | </wikitex> | ||
=== Defining differential form === | === Defining differential form === | ||
+ | <wikitex>; | ||
If $\mathcal{F}$ is a smooth, transversely orientable codimension $q$ foliation and $E$ its tangential plane field, then there is a nonsingular $q$-form $\omega\in\Omega^q\left(M\right)$ such that, for each $x\in M$, | If $\mathcal{F}$ is a smooth, transversely orientable codimension $q$ foliation and $E$ its tangential plane field, then there is a nonsingular $q$-form $\omega\in\Omega^q\left(M\right)$ such that, for each $x\in M$, | ||
$$\omega_x\left(v_1\wedge\ldots\wedge v_q\right)=0\Longleftrightarrow \mbox{\ at\ least\ one\ }v_i\in E_x.$$ | $$\omega_x\left(v_1\wedge\ldots\wedge v_q\right)=0\Longleftrightarrow \mbox{\ at\ least\ one\ }v_i\in E_x.$$ | ||
This implies that $d\omega=\omega\wedge\eta$ for some $\eta\in\Omega^1\left(M\right)$. | This implies that $d\omega=\omega\wedge\eta$ for some $\eta\in\Omega^1\left(M\right)$. | ||
− | + | </wikitex> | |
=== Leaves === | === Leaves === | ||
+ | <wikitex>; | ||
The leaves of $\mathcal{F}$ are the immersed submanifolds $F_b$. Each $x\in M$ belongs to a unique leaf. The foliation $\mathcal{F}$ determines its tangential plane field $E\subset TM$ by $E_x:=T_xF_b\subset T_xM$ if $x\in F_b$. | The leaves of $\mathcal{F}$ are the immersed submanifolds $F_b$. Each $x\in M$ belongs to a unique leaf. The foliation $\mathcal{F}$ determines its tangential plane field $E\subset TM$ by $E_x:=T_xF_b\subset T_xM$ if $x\in F_b$. | ||
The space of leaves is $L=M/\sim$ with the quotient topology, where $x\sim y$ if and only if $x$ and $y$ belong to the same leaf of $\mathcal{F}$. | The space of leaves is $L=M/\sim$ with the quotient topology, where $x\sim y$ if and only if $x$ and $y$ belong to the same leaf of $\mathcal{F}$. | ||
− | + | </wikitex> | |
=== Holonomy Cocycle === | === Holonomy Cocycle === | ||
+ | <wikitex>; | ||
The holonomy cocycle $\left\{\gamma_{\alpha\beta}: \alpha,\beta\in{\mathcal{A}}\right\}$ of the atlas is given by $$\gamma_{\alpha\beta}:=y_\alpha y_\beta^{-1}:y_\beta\left(U_\alpha\cap U_\beta\right)\rightarrow y_\alpha\left(U_\alpha\cap U_\beta\right).$$ | The holonomy cocycle $\left\{\gamma_{\alpha\beta}: \alpha,\beta\in{\mathcal{A}}\right\}$ of the atlas is given by $$\gamma_{\alpha\beta}:=y_\alpha y_\beta^{-1}:y_\beta\left(U_\alpha\cap U_\beta\right)\rightarrow y_\alpha\left(U_\alpha\cap U_\beta\right).$$ | ||
A smooth foliation ${\mathcal{F}}$ is said to be transversely orientable if $det\left(D\gamma_{\alpha\beta}\right)>0$ everywhere. | A smooth foliation ${\mathcal{F}}$ is said to be transversely orientable if $det\left(D\gamma_{\alpha\beta}\right)>0$ everywhere. | ||
− | + | </wikitex> | |
== Special classes of foliations == | == Special classes of foliations == | ||
=== Bundles === | === Bundles === | ||
− | |||
<wikitex>; | <wikitex>; | ||
− | |||
The most trivial examples of foliations are products $M=B\times F$, foliated by the leaves $F_b:=\left\{b\right\}\times F, b\in B$. (Another foliation of $M$ is given by $B_f:=\left\{f\right\}\times B, f\in F$.) | The most trivial examples of foliations are products $M=B\times F$, foliated by the leaves $F_b:=\left\{b\right\}\times F, b\in B$. (Another foliation of $M$ is given by $B_f:=\left\{f\right\}\times B, f\in F$.) | ||
Line 69: | Line 72: | ||
where $\left(r,\theta\right)\in \left[0,1\right]\times S^{n-1}$ are cylindrical coordinates on $D^n$. This submersion yields a foliation of $D^n\times{\mathbb R}$ which is invariant under the ${\mathbb Z}$-actions given by $$z\left(x,y\right)=\left(x,y+z\right)$$ | where $\left(r,\theta\right)\in \left[0,1\right]\times S^{n-1}$ are cylindrical coordinates on $D^n$. This submersion yields a foliation of $D^n\times{\mathbb R}$ which is invariant under the ${\mathbb Z}$-actions given by $$z\left(x,y\right)=\left(x,y+z\right)$$ | ||
for $\left(x,y\right)\in D^n\times{\mathbb R}, z\in{\mathbb Z}$. The induced foliation of ${\mathbb Z}\backslash \left(D^n\times{\mathbb R}\right)$ is called the n-dimensional Reeb foliation. Its leaf space is not Hausdorff. | for $\left(x,y\right)\in D^n\times{\mathbb R}, z\in{\mathbb Z}$. The induced foliation of ${\mathbb Z}\backslash \left(D^n\times{\mathbb R}\right)$ is called the n-dimensional Reeb foliation. Its leaf space is not Hausdorff. | ||
− | |||
</wikitex> | </wikitex> | ||
Line 75: | Line 77: | ||
<wikitex>; | <wikitex>; | ||
A codimension one foliation $\mathcal{F}$ of $M$ is taut if for every leaf $\lambda$ of $\mathcal{F}$ there is a circle transverse to $\mathcal{F}$ which intersects $\lambda$. | A codimension one foliation $\mathcal{F}$ of $M$ is taut if for every leaf $\lambda$ of $\mathcal{F}$ there is a circle transverse to $\mathcal{F}$ which intersects $\lambda$. | ||
− | + | </wikitex> | |
== References == | == References == | ||
{{#RefList:}} | {{#RefList:}} | ||
+ | == External links == | ||
+ | * The Encylopedia of Mathematics article on [http://www.encyclopediaofmath.org/index.php/Foliation foliations] | ||
+ | * The Wikipedia page about [[Wikipedia:Foliation|foliations]] | ||
[[Category:Definitions]] | [[Category:Definitions]] |
Latest revision as of 10:35, 28 March 2013
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
[edit] 1 Introduction
This page gives the definition of the term foliation. For further information, see the page Foliations and [Godbillon1991].
[edit] 1.1 Foliations
[edit] 1.2 Defining differential form
If is a smooth, transversely orientable codimension foliation and its tangential plane field, then there is a nonsingular -form such that, for each ,
This implies that for some .
[edit] 1.3 Leaves
The leaves of are the immersed submanifolds . Each belongs to a unique leaf. The foliation determines its tangential plane field by if .
The space of leaves is with the quotient topology, where if and only if and belong to the same leaf of .
[edit] 1.4 Holonomy Cocycle
A smooth foliation is said to be transversely orientable if everywhere.
[edit] 2 Special classes of foliations
[edit] 2.1 Bundles
The most trivial examples of foliations are products , foliated by the leaves . (Another foliation of is given by .)
A more general class are flat -bundles with or for a (smooth or topological) manifold . Given a representation , the flat -bundle with monodromy is given as , where acts on the universal cober by deck transformations and on by means of the representation . ( is a flat -bundle if .)
Flat bundles fit into the frame work of fiber bundles. A (smooth) mapThe fiber bundle yields a foliation by fibers . Its space of leaves is (diffeomeorphic) homeomorphic to , in particular is a Hausdorff manifold.
[edit] 2.2 Suspensions
where is the canonical projection. This foliation is called the suspension of the representation .
In particular, if and is a homeomorphism of , then the suspension foliation of is defined to be the suspension foliation of the representation given by . Its space of leaves is , where if for some .
The simplest examples of suspensions are the Kronecker foliations of the 2-torus, that is the suspension foliation of the rotation by angle . If is a rational multiple of , then the leaves of are compact. If is an irrational multiple of , then the leaves of are dense on the 2-torus.
[edit] 2.3 Submersions
An example of a submersion, which is not a fiber bundle, is given by
for . The induced foliations of are called the 2-dimensional Reeb foliation (of the annulus) resp. the 2-dimensional nonorientable Reeb foliaton (of the Möbius band). Their leaf spaces are not Hausdorff.
[edit] 2.4 Reeb foliations
for . The induced foliation of is called the n-dimensional Reeb foliation. Its leaf space is not Hausdorff.
[edit] 2.5 Taut foliations
A codimension one foliation of is taut if for every leaf of there is a circle transverse to which intersects .
[edit] 3 References
- [Godbillon1991] C. Godbillon, Feuilletages, Birkhäuser Verlag, 1991. MR1120547 (93i:57038) Zbl 0724.58002
[edit] 4 External links
- The Encylopedia of Mathematics article on foliations
- The Wikipedia page about foliations