Connections
(→Connection on the frame bundle) |
m (→Curvature on the frame bundle) |
||
(7 intermediate revisions by one user not shown) | |||
Line 7: | Line 7: | ||
<wikitex>; | <wikitex>; | ||
A [[Covariant derivative|''covariant derivative'']] on a vector bundle $E$ over a smooth manifold $M$ is a directional derivative $\nabla$ for sections of $E$. It can be viewed as a bilinear map $\nabla : \Gamma TM \times \Gamma E \to \Gamma E$, $(X,s) \mapsto \nabla_Xs$ which is a tensor (linear over $C^\infty(M)$) in the first argument and a derivation in the second argument: | A [[Covariant derivative|''covariant derivative'']] on a vector bundle $E$ over a smooth manifold $M$ is a directional derivative $\nabla$ for sections of $E$. It can be viewed as a bilinear map $\nabla : \Gamma TM \times \Gamma E \to \Gamma E$, $(X,s) \mapsto \nabla_Xs$ which is a tensor (linear over $C^\infty(M)$) in the first argument and a derivation in the second argument: | ||
− | + | \begin{equation}\begin{matrix} \nabla_{(fX)}s &=& f\nabla_Xs\,\cr \nabla_{X}(fs) &=& (Xf)s + f\nabla_Xs \,, \end{matrix}\end{equation} | |
where $f$ is a smooth function and $X$ a vector field on $M$ and $s$ a section of $E$, and where $Xf = \partial_Xf = df.X$ is the ordinary derivative of the function $f$ in the direction of $X$. By these properties, $\nabla$ is defined locally and even pointwise regarding the first argument: For any $v\in T_pM$ we may define $\nabla_xs := (\nabla_Xs)_p$ where $X$ is any (local) vector field with $X_p = x$. | where $f$ is a smooth function and $X$ a vector field on $M$ and $s$ a section of $E$, and where $Xf = \partial_Xf = df.X$ is the ordinary derivative of the function $f$ in the direction of $X$. By these properties, $\nabla$ is defined locally and even pointwise regarding the first argument: For any $v\in T_pM$ we may define $\nabla_xs := (\nabla_Xs)_p$ where $X$ is any (local) vector field with $X_p = x$. | ||
</wikitex> | </wikitex> | ||
Line 15: | Line 15: | ||
A covariant derivative has all properties of the ordinary directional derivative for functions with exception of the commutativity: For functions $f$ we have $\partial_i\partial_jf = \partial_j\partial_if$ with | A covariant derivative has all properties of the ordinary directional derivative for functions with exception of the commutativity: For functions $f$ we have $\partial_i\partial_jf = \partial_j\partial_if$ with | ||
$\partial_if = \frac{\partial(f\circ \phi)}{\partial u_i} = \partial_{\phi_i}f$, where $\phi : \R^n\to M$ is a local diffeomorphism (''local parametrization of $M$'') and $\phi_i := \partial_i\phi$ its $i$-th partial derivative. Instead, for covariant derivatives $\nabla_i = \nabla_{\phi_i}$ of a section $s$ on a vector bundle $E$, the quantity | $\partial_if = \frac{\partial(f\circ \phi)}{\partial u_i} = \partial_{\phi_i}f$, where $\phi : \R^n\to M$ is a local diffeomorphism (''local parametrization of $M$'') and $\phi_i := \partial_i\phi$ its $i$-th partial derivative. Instead, for covariant derivatives $\nabla_i = \nabla_{\phi_i}$ of a section $s$ on a vector bundle $E$, the quantity | ||
− | + | \begin{equation}R_{ij}s := [\nabla_i,\nabla_j]s = \nabla_i\nabla_js - \nabla_j\nabla_is\end{equation} | |
is in general nonzero but just a tensor (rather than a differential operator): | is in general nonzero but just a tensor (rather than a differential operator): | ||
$R_{ij}(fs) = fR_{ij}s$. For arbitrary vector fields $X,Y$ with | $R_{ij}(fs) = fR_{ij}s$. For arbitrary vector fields $X,Y$ with | ||
$X \circ \phi = \sum_i\xi^i\phi_i$ and $Y \circ \phi = \sum_j\eta^j\phi_j$ we put | $X \circ \phi = \sum_i\xi^i\phi_i$ and $Y \circ \phi = \sum_j\eta^j\phi_j$ we put | ||
− | + | \begin{equation}R(X,Y)s = \sum_{ij} \xi^i\eta^j R_{ij}s = [\nabla_X,\nabla_Y]s - \nabla_{[X,Y]}s\end{equation} | |
where $[X,Y] = \sum_i \left((X\eta^i) - (Y\xi^i)\right)\phi_i$ denotes the [[Wikipedia:Lie bracket of vector fields|Lie bracket]] of vector fields. | where $[X,Y] = \sum_i \left((X\eta^i) - (Y\xi^i)\right)\phi_i$ denotes the [[Wikipedia:Lie bracket of vector fields|Lie bracket]] of vector fields. | ||
</wikitex> | </wikitex> | ||
Line 26: | Line 26: | ||
<wikitex>; <label>movingframe</label> | <wikitex>; <label>movingframe</label> | ||
A ''moving frame'' on $E$ is an $n$-tuple of sections $s_1,\dots,s_n \in \Gamma E|_{M_o}$ on some open subset $M_o \subset M$ such that for any $p\in M_o$ the vectors $s_1(p),\dots,s_n(p)$ form a basis of $E_p$. Denoting by $\nabla s_j$ the linear map $X \mapsto \nabla_Xs_j$, we have | A ''moving frame'' on $E$ is an $n$-tuple of sections $s_1,\dots,s_n \in \Gamma E|_{M_o}$ on some open subset $M_o \subset M$ such that for any $p\in M_o$ the vectors $s_1(p),\dots,s_n(p)$ form a basis of $E_p$. Denoting by $\nabla s_j$ the linear map $X \mapsto \nabla_Xs_j$, we have | ||
− | + | \begin{equation}\nabla s_j = \sum_i\omega_{ij} s_i \end{equation} | |
− | for certain 1-forms $\omega_{ij}\in \Omega^1(M_o)$ called (''local'') ''connection forms''. Differentiating a second time we have $\nabla_X\nabla_Ys_j = \sum_i \left\{X\omega_{ij}(Y)s_i + \omega_{ij}(Y)\sum_{k}\omega_{ki}(X)s_k\right\}$ and therefore (interchanging the roles of the indices $k$ and $i$ in the second term) | + | for certain 1-forms $\omega_{ij}\in \Omega^1(M_o)$ called (''local'') ''connection forms''. Differentiating a second time we have $\nabla_X\nabla_Ys_j = \sum_i \left\{X\omega_{ij}(Y)s_i + \omega_{ij}(Y)\sum_{k}\omega_{ki}(X)s_k\right\}$ and therefore (interchanging the roles of the indices $k$ and $i$ in the second term) \begin{equation}R(.,.)s_j = \sum_i \left(d\omega_{ij} + \sum_k \omega_{ik}\wedge \omega_{kj}\right)s_i \end{equation} |
− | where we have used $d\omega(X,Y) = X\omega(Y) - Y\omega(X) - \omega([X,Y])$ and $(\omega\wedge\psi)(X,Y) | + | where we have used $d\omega(X,Y) = X\omega(Y) - Y\omega(X) - \omega([X,Y])$ and |
− | = \omega(X)\psi(Y)-\omega(Y)\psi(X)$ for arbitrary 1-forms $\omega,\psi \in \Omega^1(M_o)$. On the other hand we let | + | $(\omega\wedge\psi)(X,Y) = \omega(X)\psi(Y)-\omega(Y)\psi(X)$ for arbitrary 1-forms $\omega,\psi \in \Omega^1(M_o)$. On the other hand we let |
− | + | \begin{equation}R(.,.)s_j = \Omega_{ij}s_i \end{equation} | |
for some 2-forms $\Omega_{ji} \in \Omega^2(M_o)$ called (local) ''curvature forms'', and thus we obtain the following relation between connection and curvature forms: | for some 2-forms $\Omega_{ji} \in \Omega^2(M_o)$ called (local) ''curvature forms'', and thus we obtain the following relation between connection and curvature forms: | ||
− | + | \begin{equation} \Omega_{ij} = d\omega_{ij} + \sum_k \omega_{ik}\wedge \omega_{kj} \end{equation} | |
− | called ''Cartan Structure equations''. Using matrix notation $\Omega = (\Omega_{ij})$, $\omega = (\omega_{ij})$, we may write the latter equation in the short form | + | called ''Cartan Structure equations''. Using matrix notation $\Omega = (\Omega_{ij})$, $\omega = (\omega_{ij})$, we may write the latter equation in the short form |
+ | \begin{equation}\Omega = d\omega + \omega\wedge\omega. \end{equation} | ||
</wikitex> | </wikitex> | ||
Line 48: | Line 49: | ||
Since it is useful to work with frames instead of single sections, we may replace $E$ with the linear frame bundle $FE$ whose fibre $FE_p$ over $p\in M$ is the set of all frames (bases) of the vector space $E_p$. Then parallelity of a frame $(s_1,\dots,s_n)$, i.e. parallelity of all sections $s_i$ in this frame, is expressed by a distribution on $FE$ which is also called $\mathcal H$. Together with the the "vertical space" $\mathcal V_f$, the tangent space $T_f(FE_p)$ of the fibre through $f$, it yields a direct decomposition $T_fFE | Since it is useful to work with frames instead of single sections, we may replace $E$ with the linear frame bundle $FE$ whose fibre $FE_p$ over $p\in M$ is the set of all frames (bases) of the vector space $E_p$. Then parallelity of a frame $(s_1,\dots,s_n)$, i.e. parallelity of all sections $s_i$ in this frame, is expressed by a distribution on $FE$ which is also called $\mathcal H$. Together with the the "vertical space" $\mathcal V_f$, the tangent space $T_f(FE_p)$ of the fibre through $f$, it yields a direct decomposition $T_fFE | ||
= \mathcal{H}_f \oplus \mathcal{V}_f$ and hence we have projections $\pi_{\mathcal H}$ and $\pi_{\mathcal V}$ of $TFE$ onto the two subbundles. $FE$ is a principal fibre bundle for the group $G = GL_n$, i.e.the fibres are the orbits of a free action of $G$ from the right given by $(f,g) \mapsto fg$ where $f = (f_1,\dots,f_n)$ is a frame and $g = (g_{ij})$ a matrix and where $fg$ is the line with $j$-th component $\sum_i f_ig_{ij}$. Fixing $f\in FE_p$, the action $\phi_f : G \to FE_p$, $g\mapsto fg$ is a diffeomorphism which is equivariant with respect to right translation, and the left invariant vector fields on $G$ are turned by $\phi_*$ into vector fields on $FE$ tangent to the fibres, so called ''fundamental vector fields''. In particular, the vertical space $\mathcal{V}_f$ is canonically isomorphic to the Lie algebra $\frak{g}$ of $G$, via the infinitesimal action $(\phi_f)_* = d(\phi_f)_e$. Using this identification, the projection $\pi_{\mathcal V}$ is a linear form on $TFE$ with values in $\frak{g}$; it will be called (''global'') ''connection form'' $\omega$. The form $\omega$ in Section \ref{movingframe} will be better called $\omega_{\textup{f}}$ since it depends on a moving frame $\textup{f}= (s_1,\dots,s_n) : M_o \to FE$. We have | = \mathcal{H}_f \oplus \mathcal{V}_f$ and hence we have projections $\pi_{\mathcal H}$ and $\pi_{\mathcal V}$ of $TFE$ onto the two subbundles. $FE$ is a principal fibre bundle for the group $G = GL_n$, i.e.the fibres are the orbits of a free action of $G$ from the right given by $(f,g) \mapsto fg$ where $f = (f_1,\dots,f_n)$ is a frame and $g = (g_{ij})$ a matrix and where $fg$ is the line with $j$-th component $\sum_i f_ig_{ij}$. Fixing $f\in FE_p$, the action $\phi_f : G \to FE_p$, $g\mapsto fg$ is a diffeomorphism which is equivariant with respect to right translation, and the left invariant vector fields on $G$ are turned by $\phi_*$ into vector fields on $FE$ tangent to the fibres, so called ''fundamental vector fields''. In particular, the vertical space $\mathcal{V}_f$ is canonically isomorphic to the Lie algebra $\frak{g}$ of $G$, via the infinitesimal action $(\phi_f)_* = d(\phi_f)_e$. Using this identification, the projection $\pi_{\mathcal V}$ is a linear form on $TFE$ with values in $\frak{g}$; it will be called (''global'') ''connection form'' $\omega$. The form $\omega$ in Section \ref{movingframe} will be better called $\omega_{\textup{f}}$ since it depends on a moving frame $\textup{f}= (s_1,\dots,s_n) : M_o \to FE$. We have | ||
− | + | \begin{equation} \omega_{\textup{f}} = \textup{f}^*\omega. \end{equation} | |
</wikitex> | </wikitex> | ||
− | |||
==Curvature on the frame bundle== | ==Curvature on the frame bundle== | ||
<wikitex>; | <wikitex>; | ||
We get the same Cartan structure equations as in Section \ref{movingframe} | We get the same Cartan structure equations as in Section \ref{movingframe} | ||
− | + | \begin{equation} \label{eq:domega} d\omega + \omega\wedge\omega = \Omega \end{equation} | |
− | + | ||
where the (''global'') ''curvature form'' $\Omega\in \Omega^2(FE)$ is given by | where the (''global'') ''curvature form'' $\Omega\in \Omega^2(FE)$ is given by | ||
− | + | \begin{equation} \label{eq:Omega}\Omega(U,V) = -\omega([\pi_{\mathcal{H}}U,\pi_{\mathcal{H}}V]) \end{equation} | |
<!--Omega = 11--> | <!--Omega = 11--> | ||
− | for all vector fields $U,V$ on $FE$. To prove { | + | for all vector fields $U,V$ on $FE$. To prove (\ref{eq:domega}) we work with two special kinds of vector fields on $FE$, the ''fundamental vertical fields'' $A,B$ etc. which are of type $A_f = (d\phi_f)_ea = \frac{d}{dt} (f\exp ta)|_{t=0}$ for some $a\in\frak{g}$, and the ''horizontal lifts'' $X,Y$ etc. which are horizontal vector fields projecting to a constant tangent vector on $M$ along every fibre; they are $\pi$-related to a vector field $\bar X$ on $M$. Choosing $U = A+X$ and similarly $V = B+Y$, we have $\omega(U) = a$ and $\omega(V) = b$ and hence $U\omega(V) = V\omega(U) = 0$ since $a,b$ are constant elements of $\frak{g}$. What remains is |
− | $-d\omega(U,V) = \omega([U,V]) = \omega([A,B] + [X,Y]) = [a,b] + \omega([X,Y]) | + | $$-d\omega(U,V) = \omega([U,V]) = \omega([A,B] + [X,Y]) = [a,b] + \omega([X,Y])= [\omega(U),\omega(V)] - \Omega(U,V), $$ using (\ref{eq:Omega}). Here we see the curvature form in a new role: it measures the non-integrability of the horizontal distribution: $\mathcal{H}$ is integrable $\iff$ $[X,Y]$ is horizontal $\iff$ $\Omega(X,Y) = -\omega([X,Y]) = 0$. |
− | = [\omega(U),\omega(V)] - \Omega(U,V) | + | |
</wikitex> | </wikitex> | ||
+ | |||
==Connections on general principal bundles== | ==Connections on general principal bundles== | ||
<wikitex>; | <wikitex>; | ||
− | More generally, let $P$ be a $G$-principal bundle over $M$: A manifold $P$ with a smooth submersion $\pi : P \to M$ and a free action of a Lie group $G$ on $P$ from the right such that the orbits are precisely the fibres, the preimages $\pi^{-1}(p)$, $p\in M$. A ''connection'' on $P$ is a $G$-invariant distribution $\mathcal{H}$ on $P$ (also called | + | More generally, let $P$ be a [[Principal bundle of smooth manifolds|$G$-principal bundle]] over $M$: A manifold $P$ with a smooth submersion $\pi : P \to M$ and a free action of a Lie group $G$ on $P$ from the right such that the orbits are precisely the fibres, the preimages $\pi^{-1}(p)$, $p\in M$. A ''connection'' on $P$ is a $G$-invariant distribution $\mathcal{H}$ on $P$ (also called the "horizontal distribution") which is complementary to the tangent spaces of the fibres forming the "vertical distribution" $\mathcal{V}$. As before, each vertical space can be identified with the Lie algebra $\frak{g}$ of $G$, and thus the vertical projection $\pi_\mathcal{V}$ can be viewed as a $\frak{g}$-valued 1-form $\omega \in \Omega(P,\frak{g})$, and the equations (\ref{eq:domega}) and (\ref{eq:Omega}) hold accordingly. If $\Omega = 0$, then $P$ splits geometrically as $G\times M$ at least locally, and (\ref{eq:domega}) becomes the Maurer-Cartan equation of the Lie group $G$. For any smooth action |
$\rho : G\times E_o \to E_o$ of $G$ on a smooth manifold $E_o$ we consider the ''associated bundle'' $E = (P\times E_o)/G$ where the action on $P\times E_o$ is given by $g(p,v) = (pg^{-1},\rho(g)v)$. This is a bundle over $M$ with fibre $E_o$, and since the distribution $\mathcal{H}$ is $G$-invariant, it can be transferred to $E$ via $P \subset P\times E_o \to E$, defining a connection on $E$. In the case $P = FE$ for a vector bundle $E$ and $E_o = \R^n$ with its linear $GL_n$-action we have $E \cong (PE\times\R^n)/GL_n$, using the map $PE \times \R^n \to E$, $(f,x) \mapsto fx = \sum_ix_if_i$. This map is obviously invariant under the diagonal $GL_n$-action on $PE\times \R^n$ since $fx = fg^{-1}gx$; it is the usual identification of $\R^n$ with the vector space $E_p$ by means of the basis $f = (f_1,\dots,f_n)$. | $\rho : G\times E_o \to E_o$ of $G$ on a smooth manifold $E_o$ we consider the ''associated bundle'' $E = (P\times E_o)/G$ where the action on $P\times E_o$ is given by $g(p,v) = (pg^{-1},\rho(g)v)$. This is a bundle over $M$ with fibre $E_o$, and since the distribution $\mathcal{H}$ is $G$-invariant, it can be transferred to $E$ via $P \subset P\times E_o \to E$, defining a connection on $E$. In the case $P = FE$ for a vector bundle $E$ and $E_o = \R^n$ with its linear $GL_n$-action we have $E \cong (PE\times\R^n)/GL_n$, using the map $PE \times \R^n \to E$, $(f,x) \mapsto fx = \sum_ix_if_i$. This map is obviously invariant under the diagonal $GL_n$-action on $PE\times \R^n$ since $fx = fg^{-1}gx$; it is the usual identification of $\R^n$ with the vector space $E_p$ by means of the basis $f = (f_1,\dots,f_n)$. | ||
</wikitex> | </wikitex> | ||
==Connections on the tangent bundle== | ==Connections on the tangent bundle== | ||
<wikitex>; | <wikitex>; | ||
− | The tangent bundle $E = TM$ is somewhat special since it carries another 1-form $\theta$ besides $\omega$. In the moving frame language where a local frame $\textup{f}= (f_1,\dots,f_n)$ of $TM$ is given on an open subset $M_o \subset M$, any vector field $Y$ can be written as $Y= \sum \eta_i f_i$. The coefficients $\eta_i$ depend linearly on $Y$, and we may write $\eta_i = \theta_i(Y)$ where the 1-forms $\theta_1,\dots,\theta_n$ om $M_o$ form the dual basis of $(f_1,\dots,f_n)$, i.e. | + | The tangent bundle $E = TM$ is somewhat special since it carries another 1-form $\theta$ besides $\omega$. In the moving frame language where a local frame $\textup{f}= (f_1,\dots,f_n)$ of $TM$ is given on an open subset $M_o \subset M$, any vector field $Y$ can be written as $Y= \sum \eta_i f_i$. The coefficients $\eta_i$ depend linearly on $Y$, and we may write $\eta_i = \theta_i(Y)$ where the 1-forms $\theta_1,\dots,\theta_n$ om $M_o$ form the dual basis of $(f_1,\dots,f_n)$, i.e. $\theta_i(f_j) = \delta_{ij}$. Thus |
− | + | \begin{equation} \label{eq:Y} Y = \sum_i \theta_i(Y)f_i \end{equation} | |
<!--theta = 12--> | <!--theta = 12--> | ||
− | If we have a covariant derivative $\nabla$ on $TM$ and another vector field $X$, we obtain | + | If we have a [[Covariant derivative|covariant derivative]] $\nabla$ on $TM$ and another vector field $X$, we obtain |
$$ \nabla_X Y = \sum_i \left\{X(\theta_i(Y))f_i + \theta_i(Y)\nabla_Xf_i\right\} = \sum_{ij} \left\{X(\theta_i(Y))f_i + \theta_i(Y)\omega_{ji}(X)f_j\right\}$$ | $$ \nabla_X Y = \sum_i \left\{X(\theta_i(Y))f_i + \theta_i(Y)\nabla_Xf_i\right\} = \sum_{ij} \left\{X(\theta_i(Y))f_i + \theta_i(Y)\omega_{ji}(X)f_j\right\}$$ | ||
from which we derive (interchanging the roles of $i$ and $j$ in the second term) | from which we derive (interchanging the roles of $i$ and $j$ in the second term) | ||
$$ T(X,Y): = \nabla_XY-\nabla_YX - [X,Y] = \sum_{ij}\left(d\theta_i + \omega_{ij}\wedge\theta_j\right)(X,Y)f_i.$$ | $$ T(X,Y): = \nabla_XY-\nabla_YX - [X,Y] = \sum_{ij}\left(d\theta_i + \omega_{ij}\wedge\theta_j\right)(X,Y)f_i.$$ | ||
This tensor $T : \Lambda^2TM \to TM$ is called ''Torsion tensor''; letting | This tensor $T : \Lambda^2TM \to TM$ is called ''Torsion tensor''; letting | ||
− | + | \begin{equation} T(.,.) = \sum\Theta_if_i \end{equation} | |
for some $\Theta_i \in \Omega^2(M_o)$ and putting | for some $\Theta_i \in \Omega^2(M_o)$ and putting | ||
$\Theta = (\Theta_1,\dots,\Theta_n)^T$ (called ''torsion form'') and | $\Theta = (\Theta_1,\dots,\Theta_n)^T$ (called ''torsion form'') and | ||
$\theta = (\theta_1,\dots,\theta_n)^T$ (sometimes called ''soldering form''), we end up with the second Cartan structure equation | $\theta = (\theta_1,\dots,\theta_n)^T$ (sometimes called ''soldering form''), we end up with the second Cartan structure equation | ||
− | + | \begin{equation} \Theta = d\theta + \omega \wedge \theta. \end{equation} | |
− | The following section explains why beneath { | + | The following section explains why beneath (\ref{eq:Omega}) a second equation occurs for $TM$. |
</wikitex> | </wikitex> | ||
− | |||
==Affine connections== | ==Affine connections== | ||
<wikitex>; | <wikitex>; | ||
An ''affine frame'' on $T_pM$ is a pair $(f,v)$ where $f = (f_1,\dots,f_n)$ is a frame of $T_pM$ and $v\in T_pM$. This is acted on from the right by the ''affine group'' $A_n$ which consists of the inhomogeneous linear transformations $x\mapsto Ax+a$ on $\R^n$ with $A\in GL_n$ and $a\in \R^n$: we let | An ''affine frame'' on $T_pM$ is a pair $(f,v)$ where $f = (f_1,\dots,f_n)$ is a frame of $T_pM$ and $v\in T_pM$. This is acted on from the right by the ''affine group'' $A_n$ which consists of the inhomogeneous linear transformations $x\mapsto Ax+a$ on $\R^n$ with $A\in GL_n$ and $a\in \R^n$: we let | ||
− | + | \begin{equation} (f,v)(A,a) = (fA,v+f^{-1}a) \end{equation} | |
where the frame $f$ is considered as the isomorphism $f :\R^n\to T_pM$ mapping the standard basis vector $e_i\in\R^n$ onto $f_i\in T_pM$. This action turns the set $AM$ of affine frames on $TM$ into a $A_n$-principal bundle. A connection on the $A_n$-principal bundle $AM$ will be called ''generalized affine connection''. Its connection and curvature forms $\hat\omega$, $\hat\Omega$ are $\frak{a}_n$-valued where $\frak{a}_n$ is the Lie algebra of $A_n$. Since $\frak{a}_n = \R^{n\times n} \oplus \R^n$, the forms split accordingly into a matrix and a vector component. Now we consider the embedding $\gamma: FM \to AM$ with $\gamma(f) = (f,0)$. For the pull back forms on $FM$ we have the same splitting: | where the frame $f$ is considered as the isomorphism $f :\R^n\to T_pM$ mapping the standard basis vector $e_i\in\R^n$ onto $f_i\in T_pM$. This action turns the set $AM$ of affine frames on $TM$ into a $A_n$-principal bundle. A connection on the $A_n$-principal bundle $AM$ will be called ''generalized affine connection''. Its connection and curvature forms $\hat\omega$, $\hat\Omega$ are $\frak{a}_n$-valued where $\frak{a}_n$ is the Lie algebra of $A_n$. Since $\frak{a}_n = \R^{n\times n} \oplus \R^n$, the forms split accordingly into a matrix and a vector component. Now we consider the embedding $\gamma: FM \to AM$ with $\gamma(f) = (f,0)$. For the pull back forms on $FM$ we have the same splitting: | ||
− | + | \begin{equation} \gamma^*\hat\omega = \omega \oplus \theta \end{equation} | |
− | + | \begin{equation} \gamma^*\hat\Omega = \Omega \oplus \Theta \end{equation} | |
where the first term on the right takes values in $\R^{n\times n}$, the second on in | where the first term on the right takes values in $\R^{n\times n}$, the second on in | ||
$\R^n$. Moreover, the Cartan structure equations for the affine group are | $\R^n$. Moreover, the Cartan structure equations for the affine group are | ||
− | + | \begin{equation} \begin{matrix} \Omega &=& d\omega + \omega\wedge \omega,\\ \Theta &=& d\theta + \omega\wedge\theta, \end{matrix} \end{equation} | |
using agian the splitting $\frak{a}_n = \R^{n\times n}\oplus\R^n$. If | using agian the splitting $\frak{a}_n = \R^{n\times n}\oplus\R^n$. If | ||
− | $\theta = (\theta_1,\dots,\theta_n)$ has the special property { | + | $\theta = (\theta_1,\dots,\theta_n)$ has the special property (\ref{eq:Y}), we call the connection ''affine'', and $\Theta$ equals the torsion form as introduced in the last section. |
</wikitex> | </wikitex> | ||
== References == | == References == | ||
Line 105: | Line 103: | ||
*The Wikipedia page about [[Wikipedia:Connection_(mathematics)|connections]] | *The Wikipedia page about [[Wikipedia:Connection_(mathematics)|connections]] | ||
[[Category:Theory]] | [[Category:Theory]] | ||
+ | [[Category:Connections and curvature]] |
Latest revision as of 11:15, 21 May 2013
The user responsible for this page is Jost Eschenburg. No other user may edit this page at present. |
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
1 Introduction
Tex syntax error? It takes values in different vector spaces for each , but differentiating involves comparing values at different points . This needs an extra structure on which connects the different vector spaces , , among each other; it is therefore called connection. It can be defined in two different ways. Either it is viewed as a linear map which assigns to each vector field on
Tex syntax errora so called covariant derivative, a differential operator on the space of sections on . Or else it is given as a parallel displacement along curves in
Tex syntax error: Given two points and a curve connecting these points, a connection allows to move any element of to along . Infinitesimally it is given by a distribution on or on its frame bundle . Let us repeat: In ordinary analysis we differentiate functions with values in a constant vector space; differentiating functions with values in a variable vector space (a vector bundle) needs an extra structure called connection. The greater generality leads to a new notion: curvature. In the covariant derivative model, curvature is the commutator of covariant derivatives in two coordinate directions. For ordinary derivatives this quantity vanishes, and for covariant derivatives it is an algebraic quantity (a tensor) rather than a differential operator. In the parallel displacement model, curvature is just the non-integrability of the distribution, the tensor . A case of particular importance is the tangent bundle, . A connection on yields a second tensor quantity beneath curvature, the so called torsion. This is explained best by passing to the affine frame bundle; therefore a connection on is sometimes called affine connection.
2 Covariant derivatives
Tex syntax erroris a directional derivative for sections of . It can be viewed as a bilinear map , which is a tensor (linear over ) in the first argument and a derivation in the second argument:
Tex syntax errorand a section of , and where is the ordinary derivative of the function in the direction of . By these properties, is defined locally and even pointwise regarding the first argument: For any we may define where is any (local) vector field with .
3 Curvature
A covariant derivative has all properties of the ordinary directional derivative for functions with exception of the commutativity: For functions we have with
, where is a local diffeomorphism (local parametrization ofTex syntax error) and its -th partial derivative. Instead, for covariant derivatives of a section on a vector bundle , the quantity
is in general nonzero but just a tensor (rather than a differential operator): . For arbitrary vector fields with and we put
where denotes the Lie bracket of vector fields.
4 Moving frames
A moving frame on is an -tuple of sections on some open subset such that for any the vectors form a basis of . Denoting by the linear map , we have
where we have used and for arbitrary 1-forms . On the other hand we let
for some 2-forms called (local) curvature forms, and thus we obtain the following relation between connection and curvature forms:
called Cartan Structure equations. Using matrix notation , , we may write the latter equation in the short form
5 Parallelity and connection
A section defined along an injective smooth curve is called parallel if . This is a linear ODE for which is solvable along with arbitrary initial values. If is a basis of parallel sections and is an arbitrary section along , then . Thus a covariant derivative is determined by its notion of parallelity and vice versa. Parallelity is given by a distribution on , i.e.\ a subbundle , where for consists of the initial vectors of parallel sections with along curves starting at . Stated differently, where is a local section defined near such that and for all . Vice versa, a section along any curve (a smooth map with for all ) is parallel iff for all . Since this distribution "connects" the distinct fibres of among each other, it is called a "connection".
For any piecewise smooth curve from to and any initial value we have a parallel section along with . The mapping is an invertible linear map called parallel transport along the curve . In general, parallel transport depends on the curve itself, not only on the end points , but it is independent of the parametrization of . This dependence is measured by the holonomy group at which is the set of parallel transports along all loops at , i.e.piecewise smooth curves with . It is known by the Ambrose-Singer theorem [Kobayashi&Nomizu1963, Theorem 8.1] that the connected component of is a Lie subgroup and its Lie algebra is spanned by the linear maps for all curves starting from and all where .
6 Connection on the frame bundle
Since it is useful to work with frames instead of single sections, we may replace with the linear frame bundle whose fibre over is the set of all frames (bases) of the vector space . Then parallelity of a frame , i.e. parallelity of all sections in this frame, is expressed by a distribution on which is also called . Together with the the "vertical space" , the tangent space of the fibre through , it yields a direct decomposition and hence we have projections and of onto the two subbundles. is a principal fibre bundle for the group , i.e.the fibres are the orbits of a free action of from the right given by where is a frame and a matrix and where is the line with -th component . Fixing , the action , is a diffeomorphism which is equivariant with respect to right translation, and the left invariant vector fields on are turned by into vector fields on tangent to the fibres, so called fundamental vector fields. In particular, the vertical space is canonically isomorphic to the Lie algebra of , via the infinitesimal action . Using this identification, the projection is a linear form on with values in ; it will be called (global) connection form . The form in Section 4 will be better called since it depends on a moving frame . We have
7 Curvature on the frame bundle
We get the same Cartan structure equations as in Section 4
where the (global) curvature form is given by
Tex syntax erroralong every fibre; they are -related to a vector field on
Tex syntax error. Choosing and similarly , we have and and hence since are constant elements of . What remains is
8 Connections on general principal bundles
Tex syntax error: A manifold with a smooth submersion and a free action of a Lie group on from the right such that the orbits are precisely the fibres, the preimages , . A connection on is a -invariant distribution on (also called the "horizontal distribution") which is complementary to the tangent spaces of the fibres forming the "vertical distribution" . As before, each vertical space can be identified with the Lie algebra of , and thus the vertical projection can be viewed as a -valued 1-form , and the equations (10) and (11) hold accordingly. If , then splits geometrically as at least locally, and (10) becomes the Maurer-Cartan equation of the Lie group . For any smooth action of on a smooth manifold we consider the associated bundle where the action on is given by . This is a bundle over
Tex syntax errorwith fibre , and since the distribution is -invariant, it can be transferred to via , defining a connection on . In the case for a vector bundle and with its linear -action we have , using the map , . This map is obviously invariant under the diagonal -action on since ; it is the usual identification of with the vector space by means of the basis .
9 Connections on the tangent bundle
The tangent bundle is somewhat special since it carries another 1-form besides . In the moving frame language where a local frame of is given on an open subset , any vector field can be written as . The coefficients depend linearly on , and we may write where the 1-forms om form the dual basis of , i.e. . Thus
If we have a covariant derivative on and another vector field , we obtain
from which we derive (interchanging the roles of and in the second term)
This tensor is called Torsion tensor; letting
for some and putting (called torsion form) and (sometimes called soldering form), we end up with the second Cartan structure equation
The following section explains why beneath (11) a second equation occurs for .
10 Affine connections
An affine frame on is a pair where is a frame of and . This is acted on from the right by the affine group which consists of the inhomogeneous linear transformations on with and : we let
where the frame is considered as the isomorphism mapping the standard basis vector onto . This action turns the set of affine frames on into a -principal bundle. A connection on the -principal bundle will be called generalized affine connection. Its connection and curvature forms , are -valued where is the Lie algebra of . Since , the forms split accordingly into a matrix and a vector component. Now we consider the embedding with . For the pull back forms on we have the same splitting:
where the first term on the right takes values in , the second on in . Moreover, the Cartan structure equations for the affine group are
using agian the splitting . If has the special property (12), we call the connection affine, and equals the torsion form as introduced in the last section.
11 References
- [Kobayashi&Nomizu1963] S. Kobayashi and K. Nomizu, Foundations of differential geometry. Vol I, Interscience Publishers, a division of John Wiley & Sons, New York-London, 1963. MR1393940 (97c:53001a) Zbl 0508.53002
12 External links
- The Encylopedia of Mathematics article on connections
- The Wikipedia page about connections