User Tools

Site Tools


math214:hw11-hint

Hint

1. One can find a cone in R3\R^3 that is tangent to the sphere at the curve, or do the computation using the pullback metric tensor. The following might be helpful:

  1. if AA is square matrix, to compute exp(A)\exp(A), we better do eigenvalue decomposition A=UDU1A = U D U^{-1} where DD is diagonal,then eA=UeDU1e^A = U e^D U^{-1} (proof by Taylor expansion).
  2. 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\omega_1^2 = -\omega_2^1 only one component to solve. Then, one can compute the curvature R=dω+ωω.R = d \omega + \omega \wedge \omega.

4. This one is a bit more difficult. Let X(t)=(Lexp(tY/2))(Rexp(tY/2))XX(t) = (L_{\exp(t Y / 2)})_* (R_{\exp(t Y / 2)})_* X.

  1. To verify the equation at time tt, we need to relate X(t+ϵ)X(t+\epsilon) and X(t)X(t).
  2. Recall that conjugation action is Conjg=LgRg1=Rg1LgConj_g = L_g \circ R_{g^{-1}} = R_{g^{-1}} \circ L_g
  3. X(t+ϵ)=(Lexp(ϵY/2))(Rexp(ϵY/2))X(t)=(Conjexp(ϵY/2))(Lexp(ϵY))X(t) X(t+\epsilon) = (L_{\exp(\epsilon Y / 2)})_* (R_{\exp(\epsilon Y / 2)})_* X(t) = (Conj_{\exp(-\epsilon Y / 2)})_* (L_{\exp(\epsilon Y )})_* X(t)
  4. Try to use left-invariant vector fields to trivialize TGTG, and write down the parallel transport equations.
math214/hw11-hint.txt · Last modified: 2020/04/17 14:52 by pzhou