Hint
1. One can find a cone in R3 that is tangent to the sphere at the curve, or do the computation using the pullback metric tensor. The following might be helpful:
if
A is square matrix, to compute
exp(A), we better do eigenvalue decomposition
A=UDU−1 where
D is diagonal,then
eA=UeDU−1 (proof by Taylor expansion).
It is useful to use an orthonormal frame for the tangent bundle, i.e, Cartan's moving frame. Then the coefficients changes in a nice way.
2 and 3: Cartan's moving frame is useful. Since in two-dimension, we have ω12=−ω21 only one component to solve. Then, one can compute the curvature R=dω+ω∧ω.
4. This one is a bit more difficult. Let X(t)=(Lexp(tY/2))∗(Rexp(tY/2))∗X.
To verify the equation at time
t, we need to relate
X(t+ϵ) and
X(t).
Recall that conjugation action is
Conjg=Lg∘Rg−1=Rg−1∘Lg
X(t+ϵ)=(Lexp(ϵY/2))∗(Rexp(ϵY/2))∗X(t)=(Conjexp(−ϵY/2))∗(Lexp(ϵY))∗X(t)
Try to use left-invariant vector fields to trivialize
TG, and write down the parallel transport equations.