10 1. Geometry of Coadjoint Orbits
Then [ξ1, ξ2](e, 0) = ([X1, X2], K(X1)F2 − K(X2)F1) and we also have
ξ1θ(ξ2) = ξ1 F, X2 = F1, X2 , ξ2θ(ξ1) = ξ2 F, X1 = F2, X1 ,
θ([ξ1, ξ2]) = F, [X1, X2] .
The desired formula (12) follows from these computations.
The group G×G acts on G by left and right shifts: (g1, g2)·g = g1g g2
This action extends to a Hamiltonian action on T
Actually, the extension
is again given by left and right shifts on elements G viewed as elements of
the group T ∗G. Using the above identification we can write it in the form
(13) (g1, g2) · (g, F ) =
Recall (see Appendix III.1.1) that to any X ∈ g there correspond two vector
fields on G:
– the infinitesimal right shift X, which is a unique left-invariant field
satisfying X(e) = X, and
– the infinitesimal left shift X, which is a unique right-invariant field
satisfying X(e) = X.
Exercise 1. Using the above identifications, write explicitly
a) the vector fields X and X on G;
b) their Hamiltonian lifts
a) X(g) = X; X(g) = Ad
F ) = (X, 0),
F ) =
Hint. Use formula (13).
To construct the reduction of T
with respect to the left, right, or
two-sided action of G (see Appendix II.3.4), we have to know the moment
Lemma 4. For the action of G × G on T
the moment map μ : T
g∗ ⊕ g∗ is given by the formula
(15) μ (g, F ) = (F ⊕ K(g)F ).