User Tools

Site Tools


math214:04-15

2020-04-15, Wednesday

Cartan's Moving Frame

Pick any Orthonormal Frame XαX_\alpha of TMTM, and choose its dual frame θα\theta^\alpha of TMT^*M. Introduce a collection of 1-forms using covariant derivatives Xα=ωαβXβ \nabla X_\alpha = \omega_\alpha^\beta X_\beta

Proposition : ωαβ=ωβα \omega_\alpha^\beta = - \omega_\beta^\alpha dθα=θβωβα d \theta^\alpha = \theta^\beta \wedge \omega_\beta^\alpha Proof: (1) For any vector field YY, we have $$ \la \nabla_Y X_\alpha, X_\beta \ra + \la X_\alpha, \nabla_Y X_\beta \ra = 0. $$ (2) Evaluate on Xγ,XσX_\gamma, X_\sigma, we get LHS=dθα(Xγ,Xσ)=Xγ(θα(Xσ))Xσ(θα(Xγ))θα([Xγ,Xσ])=θα([Xγ,Xσ]) LHS=d \theta^\alpha(X_\gamma, X_\sigma) = X_\gamma(\theta^\alpha (X_\sigma)) - X_\sigma(\theta^\alpha(X_\gamma)) - \theta^{\alpha}([X_\gamma, X_\sigma]) = - \theta^{\alpha}([X_\gamma, X_\sigma]) Then, we use [Xγ,Xσ]=XγXσXσXγ=ωσβ(Xγ)Xβωγβ(Xσ)Xβ [X_\gamma, X_\sigma] = \nabla_{X_\gamma} X_\sigma - \nabla_{X_\sigma} X_\gamma = \omega_\sigma^\beta(X_\gamma) X_\beta - \omega_\gamma^\beta(X_\sigma) X_\beta Hence LHS=θα([Xγ,Xσ])=ωσα(Xγ)+ωγα(Xσ)LHS = - \theta^{\alpha}([X_\gamma, X_\sigma]) = - \omega_\sigma^\alpha(X_\gamma) + \omega_\gamma^\alpha(X_\sigma) And on RHS RHS=θβωβα(Xγ,Xσ)=θβ(Xγ)ωβα(Xσ)θβ(Xσ)ωβα(Xγ)=ωγα(Xσ)ωσα(Xγ)RHS = \theta^\beta \wedge \omega_\beta^\alpha ( X_\gamma, X_\sigma) = \theta^\beta(X_\gamma)\omega_\beta^\alpha(X_\sigma) - \theta^\beta(X_\sigma)\omega_\beta^\alpha(X_\gamma)= \omega_\gamma^\alpha(X_\sigma) - \omega_\sigma^\alpha(X_\gamma)

How to interpret this ωβα\omega^\alpha_\beta? A choice of frame XαX_\alpha induces a local trivialization of EE, so we have a local trivial connection dd, it acts on local section uΓ(U,TM)u \In \Gamma(U, TM) as u=uαXα,d(u)=d(uα)XαΩ1(U,TM)u = u^\alpha X_\alpha, \quad d(u) = d(u^\alpha) \otimes X_\alpha \in \Omega^1(U, TM) That is, dXα=0d X_\alpha = 0, dd views XαX_\alpha as constant section. Thus =d+A \nabla = d + A where AA is a matrix valued (or End(TM)End(TM) valued) 1-form, we get Xα=A(Xα)=ωαβXβ \nabla X_\alpha = A (X_\alpha) = \omega_\alpha^\beta X_\beta AA is valued not just in End(E)End(E), but in so(E)\mathfrak{so}(E), since the connection preserves length (inner product), that explains why ωαβ\omega_\alpha^\beta is anti-symmetric in the indices.

Given this understanding, we have a local matrix-valued 2-form Rβα=dωβα+ωγαωβγ. R^\alpha_\beta = d \omega^\alpha_\beta + \omega^\alpha_\gamma \wedge \omega^\gamma_\beta.

Application: Orthogonal Coordinate

Suppose we have coordinate that looks like the following gij=hi2δij g_{ij} = h_i^2 \delta_{ij} then, we may choose the orthonormal frame XiX_i as (no summation of repeated indices here) Xi=1hixi,θi=hidxiX_i = \frac{1}{h_i} \d_{x^i}, \theta^i = h_i dx^i Then, we can get ωij\omega_i^j by solving dθi=d(hi)dxi d \theta^i = d(h_i) \wedge dx^i Now, one need to figure out what is ωij\omega_i^j in each specific cases. Once that is done, one can easily get the curvature.

Aside: Ehresmann connection, Connection on Principal Bundle

Another more geometric notion of connection is called Ehresmann connection, it applies to fiber bundle. Let π:EM\pi: E \to M be a fiber bundle. A connection is a splitting of TpE=TpEhTpEvT_p E = T_p E_h \oplus T_p E_v where hh stands for horizontal and vv for vertical. TEvTE_v is canonical, it is the tangent space to the fiber. TpEhT_p E_h contains information.

If PP is a principal GG-bundle, then we want the choice of horizontal subspace to be invariant under the (right) action of GG.

Parallel transport along a path γ:[0,1]M\gamma: [0,1] \to M on MM gives a diffeomorphism Pγ:Eγ(0)Eγ(1). P_\gamma: E_{\gamma(0)} \to E_{\gamma(1)}. In the case of GG-bundle, this diffeomorphism commute with the right GG-action on the fiber.

If VV is a represenation of GG, we may form the associated bundle P×GVP \times_G V, where each fiber over bMb \in M is Pb×GV={(p,v)Pb×V}/(pg,v)(p,gv)V P_b \times_G V = \{ (p , v) \in P_b \times V \} / (p g, v) \sim (p, g \cdot v) \cong V since GG acts on PbP_b freely and transitively (PbP_b is said to be a GG-torsor). Then, PγP_\gamma also induces parallel transport on P×GVP \times_G V.

math214/04-15.txt · Last modified: 2020/04/15 00:55 by pzhou