# Solution to exercises

**Exercise 8.3**

Let be a real vector space with . For show that if and only if the map is an isomorphism.

*Proof*

Let's start near the beginning and describe the map . Recall the identification of with the collection of bilinear forms on : if then corresponds to the bilinear form . Now every bilinear form can be expressed as a sum of a symmetric and an anti-symmetric bilinear form:

With these identifications fixed, choosing a basis for allows us to represent our as an anti-symmetric square matrix and in fact, so long as we choose our basis carefully, this matrix may be taken to be of the following form:

The scene is set for us to ask: when is non-zero?. As the wedge product distributes over addition we can expand the brackets and view as a sum

**Exercise 8.4**

Let act on in the standard way and consider the induced action on the cotangent space . Show that the moment map is angular momentum.

*Proof*

Let be coordinates on and coordinates on .

Then we have natural coordinates on and on .

Recall that the standard symplectic form on is . Since the action on is linear, the action on the cotangent bundle is simply given by for any . It is easy to check that this action is symplectic: in fact, write for and observe that the symplectic form goes to .

Recall that the Lie algebra of is . We want to translate the action into a map ; to the matrix we associate the section . Now construct the -closed form , (recall that ) and obtain . Observe that this is exact with primitive (up to constants).

Finally, is a real vector space of dimension and a natural basis of its dual is , defined by . Since for our anti-symmetric matrices, the moment map is given by which can be identified with under . Compare with angular momentum in classical mechanics .

**Exercise 8.5**

Let act on by multiplication. Show that the associated vector fields are for . Show that these can be written as for . Show that these are Hamiltonian, where the Hamiltonian is given by .

*Proof*

The vector fields associated to a Lie group action on a manifold are given by . In our case we have and so we obtain

**Exercise 8.6**

Let be a symplectic vector field on a compact symplectic manifold and a path in . Denote by the surface swept out after time by the flow along the vector field starting at . Then define . Prove that is Hamiltonian for every .

*Proof*

Since is a symplectic vector field we have that is closed and so represents a cohomology class in . This class is zero (i.e. is a Hamiltonian vector field) precisely when it integrates to zero on every closed loop in . So it will suffice to prove that

**Solution to exercises**) only locally and the global statement will follow. We will prove the identity in the neighbourhood using the function . We have the following local expressions (using Einstein summation notation):

**Exercise 8.7**

Let act on by conjugation. Show that the invariant polynomials are the symmetric polynomials in the eigenvalues. What are the semistable points of this action? What the polystable ones?

*Proof*

We know from linear algebra that a complete invariant for this action is the Jordan form, i.e. any -orbit contains a unique matrix in Jordan form.

Combine this with the observation that diagonalizable matrices are Zariski-dense. A -invariant polynomial is therefore determined by its value on diagonal matrices. Their entries coincide with the eigenvalues in this case. Observe that permutation matrices lie in and they just change the order of diagonal entries; we conclude that our -invariant polynomial must be a symmetric polynomial in the eigenvalues.

Notice that the coefficients of the characteristic polynomial are regular functions on the space of matrices (i.e. polynomials in their entries) and that they are precisely the elementary symmetric functions in the eigenvalues. It is known that they constitute a free basis of the algebra of symmetric polynomials. So and the GIT quotient is .

From this we know that unstable points are nilpotents matrices (i.e. the ones whose eigenvalues are all zero). It is maybe interesting to remark the fact that the GIT quotient is not at all an orbit space in this case, since matrices with same eigenvalues but different Jordan forms get identified in the quotient, even though their orbits are distinct.

We want now to understand the relation between orbits which get identified in the quotient. The matrix conjugates into . Roughly speaking, this shows that a matrix with a shorter Jordan block lies in the closure of the orbit of a matrix with a longer Jordan block. Hence the polystable orbits (i.e. the closed ones, i.e. the smallest ones) are precisely the ones with no 1s' on the upper diagonal.

Similarly we are convinced that the largest orbits (i.e. the ones with stabilizer as small as possible, i.e. the ones corresponding to stable points) are the ones with as many 1s' as possible. To se this properly, concentrate on the stabilizer instead. If there are two different eigenvalues, then of course their eigenspaces cannot be interchanged; so we are reduced to the case where there is only one eigenvalue, and we may suppose that it is 0 since scalar matrices are central. If we look at nilpotent matrices, -orbits (or, equivalently, Jordan forms) are in one-to-one correspondance with partitions of , say . An element stabilizes if and only if is of -modules, where acts as , the Jordan matrix corresponding to , so that splits as . So indeed the largest orbits are the ones with as many 1s' as possible in their Jordan forms.

**Exercise 8.8**

Consider the action of on given by . Show that this has moment map , where u(k) consists of skew-Hermitian matrices and we are implicitly identifying with its dual via the inner product . Identify the Grassmannian of complex k-planes in with the symplectic quotient .

*Proof*

We do not want to get bogged down in indices, so we use a trick. Notice the group acts linearly on the complex vector space , which is implicitly given some Hermitian structure. So we need a lemma:

**Lemma Template:Thnum@157**

Take a unitary linear representation on a Hermitian vector space and fix an element B in . The Hamiltonian of the associated -action generated by B is given by for .

*Proof*

This is linear in the variable, so we look for a quadratic function with this differential. The answer is just what we stated. (This implicitly uses the symmetry of the matrix defined by )

Now notice the group acts on the right on the vector space, so when we apply the lemma we need to throw in another negative sign for the Lie algebra action. Then the Hamiltonian becomes:

For the second part, notice up to scaling, we are looking at the set of matrices A such that . This amounts to isometric embeddings of into . Hence up to U(k) equivalence we are just looking at embedded copies of k-dimensional subspaces, hence the symplectic quotient is naturally a Grassmannian.