2020-04-15, Wednesday
Cartan's Moving Frame
Pick any Orthonormal Frame Xα of TM, and choose its dual frame θα of T∗M. Introduce a collection of 1-forms using covariant derivatives
∇Xα=ωαβXβ
Proposition :
ωαβ=−ωβα
dθα=θβ∧ωβα
Proof: (1) For any vector field Y, we have
$$ \la \nabla_Y X_\alpha, X_\beta \ra + \la X_\alpha, \nabla_Y X_\beta \ra = 0. $$
(2) Evaluate on Xγ,Xσ, we get
LHS=dθα(Xγ,Xσ)=Xγ(θα(Xσ))−Xσ(θα(Xγ))−θα([Xγ,Xσ])=−θα([Xγ,Xσ])
Then, we use
[Xγ,Xσ]=∇XγXσ−∇XσXγ=ωσβ(Xγ)Xβ−ωγβ(Xσ)Xβ
Hence
LHS=−θα([Xγ,Xσ])=−ωσα(Xγ)+ωγα(Xσ)
And on RHS
RHS=θβ∧ωβα(Xγ,Xσ)=θβ(Xγ)ωβα(Xσ)−θβ(Xσ)ωβα(Xγ)=ωγα(Xσ)−ωσα(Xγ)
How to interpret this ωβα? A choice of frame Xα induces a local trivialization
of E, so we have a local trivial connection d, it acts on local section u⊂Γ(U,TM) as
u=uαXα,d(u)=d(uα)⊗Xα∈Ω1(U,TM)
That is, dXα=0, d views Xα as constant section. Thus
∇=d+A
where A is a matrix valued (or End(TM) valued) 1-form, we get
∇Xα=A(Xα)=ωαβXβ
A is valued not just in End(E), but in so(E), since the connection preserves length (inner product), that explains why ωαβ is anti-symmetric in the indices.
Given this understanding, we have a local matrix-valued 2-form
Rβα=dωβα+ωγα∧ωβγ.
Application: Orthogonal Coordinate
Suppose we have coordinate that looks like the following
gij=hi2δij
then, we may choose the orthonormal frame Xi as (no summation of repeated indices here)
Xi=hi1∂xi,θi=hidxi
Then, we can get ωij by solving
dθi=d(hi)∧dxi
Now, one need to figure out what is ωij 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 π:E→M be a fiber bundle. A connection is a splitting of
TpE=TpEh⊕TpEv
where h stands for horizontal and v for vertical. TEv is canonical, it is the tangent space to the fiber. TpEh contains information.
If P is a principal G-bundle, then we want the choice of horizontal subspace to be invariant under the (right) action of G.
Parallel transport along a path γ:[0,1]→M on M gives a diffeomorphism
Pγ:Eγ(0)→Eγ(1).
In the case of G-bundle, this diffeomorphism commute with the right G-action on the fiber.
If V is a represenation of G, we may form the associated bundle P×GV, where each fiber over b∈M is Pb×GV={(p,v)∈Pb×V}/(pg,v)∼(p,g⋅v)≅V
since G acts on Pb freely and transitively (Pb is said to be a G-torsor). Then, Pγ also induces parallel transport on P×GV.