PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: Low
[parent] Cartan structural equations (Result)

To deduce the Cartan structural equations in a coordinated frame we are going to use the definition of the Christoffel symbols (connection coefficients) and where we always are going to use the Einstein sum convention: $$\nabla_{\partial_ i}\partial_j={\Gamma^s}_{ij}\partial_s$$ and the curvature tensor $$R(X,Y)Z=\nabla_X\nabla_YZ-\nabla_Y\nabla_XZ-\nabla_{[X,Y]}Z$$ where $X,Y,Z$ are any three vector fields in a riemannian manifold $\cal{M}$ with the Levi-Civita connection $\nabla$ .

First, we define through the relation $\nabla_X\partial_i={\omega^s}_i(X)\partial_s$ a set of scalar function ${\omega^s}_i$ which are easily to see that they actually are 1-forms. We observe that ${\omega^s}_i(\partial_j)={\Gamma^s}_{ij}$ .

They satisfy skew-symmetry rule: $\omega_{si}=-\omega_{is}$ , which arises from the covariant constancy of the metric tensor $g_{kl}$ i.e. \begin{eqnarray*} 0&=&\nabla_{X}g_{kl}\\ &=&\nabla_{X}\langle\partial_k,\partial_l\rangle\\ &=&\langle\nabla_{X}\partial_k,\partial_l\rangle+\langle\partial_k,\nabla_{X}\partial_l\rangle\\ &=&\langle{\omega^s}_k(X)\partial_s,\partial_l\rangle+\langle\partial_k,{\omega^s}_l(X)\partial_s\rangle\\ &=&{\omega^s}_k(X)g_{sl}+{\omega^s}_l(X)g_{ks}\\ 0&=&\omega_{lk}(X)+\omega_{kl}(X) \end{eqnarray*}that last equation is valid for each vector field $X$ , then $\omega_{lk}=-\omega_{kl}$ .

Next we define through the relation $$R(X,Y)\partial_i={\Omega^s}_i(X,Y)\partial_s$$ the scalars ${\Omega^s}_i(X,Y)$ which are the so called connection 2-forms. That they are really 2-forms is an easy caligraphic exercise.

Now by the use of the Riemann curvature tensor above we see \begin{eqnarray*} R(X,Y)\partial_i&=&\nabla_X\nabla_Y\partial_i-\nabla_Y\nabla_X\partial_i-\nabla_{[X,Y]}\partial_i\\ &=&\nabla_X({\omega^s}_i(Y)\partial_s)-\nabla_Y({\omega^s}_i(X)\partial_s)-{\omega^s}_i[X,Y]\partial_s\\ &=&X({\omega^s}_i(Y))\partial_s+{\omega^s}_i(Y)\nabla_X\partial_s- Y({\omega^s}_i(X)\partial_s-{\omega^s}_i(X)\nabla_Y\partial_s-{\omega^s}_i[X,Y]\partial_s\\ &=&X({\omega^s}_i(Y))\partial_s+{\omega^s}_i(Y){\omega^t}_s(X)\partial_t- Y({\omega^s}_i(X)\partial_s-{\omega^s}_i(X){\omega^t}_s(Y)\partial_t-{\omega^s}_i[X,Y]\partial_s\\ &=&[X({\omega^s}_i(Y))+{\omega^t}_i(Y){\omega^s}_t(X)-Y({\omega^s}_i(X))-{\omega^t}_i(X){\omega^s}_t(Y)-{\omega^s}_i[X,Y]]\partial_s\\ {\Omega^s}_i(X,Y)\partial_s &=& [X({\omega^s}_i(Y))-Y({\omega^s}_i(X))-{\omega^s}_i[X,Y]+{\omega^s}_t(X){\omega^t}_i(Y)-{\omega^s}_t(Y){\omega^t}_i(X)]\partial_s\\ \end{eqnarray*}In this last relation we recognize -in the first three terms- the exterior derivative of ${\omega^s}_i$ evaluated at $(X,Y)$ i.e. $$d{\omega^s}_i(X,Y)=X({\omega^s}_i(Y))-Y({\omega^s}_i(X))-{\omega^s}_i[X,Y]$$ and in the last two terms its wedge product $${\omega^s}_t\wedge{\omega^t}_i(X,Y)={\omega^s}_t(X){\omega^t}_i(Y)-{\omega^s}_t(Y){\omega^t}_i(X)$$ all these for any two fields $X,Y$ . Hence $${\Omega^s}_i=d{\omega^s}_i+{\omega^s}_t\wedge{\omega^t}_i$$ which is called the second Cartan structural equation for the coordinated frame field $\partial_i$ .

More interesting things happen in an an-holonomic basis.




"Cartan structural equations" is owned by juanman.
(view preamble | get metadata)

View style:

Keywords:  Cartan Calculus, differential forms, spin connection, holonomy, an-holonomy

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: basis, fields, wedge product, terms, exterior derivative, Riemann curvature tensor, connection, valid, equation, metric tensor, 1-forms, function, scalar, relation, Levi-Civita connection, Riemannian manifold, vector fields, tensor, curvature, sum, Christoffel symbols, frame
There is 1 reference to this entry.

This is version 9 of Cartan structural equations, born on 2007-10-22, modified 2007-10-23.
Object id is 10010, canonical name is CartanEstructuralEquations.
Accessed 1631 times total.

Classification:
AMS MSC58A10 (Global analysis, analysis on manifolds :: General theory of differentiable manifolds :: Differential forms)
 58A12 (Global analysis, analysis on manifolds :: General theory of differentiable manifolds :: de Rham theory)
 53A45 (Differential geometry :: Classical differential geometry :: Vector and tensor analysis)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)