Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 16 / 5

A Hamiltonian group action is a smooth Lie group action of $G$ on $(M,\omega )$ by symplectomorphisms, together with an equivariant moment map $\mu :M\to {\mathfrak{g}}^{\ast }$. For $\xi \in \mathfrak{g}$, let ${\xi }_M(p)={\frac{d}{dt}|}_0\exp (t\xi )\cdot p$ be its fundamental vector field. In our sign convention the defining identities areHere the left coadjoint action means $({\mathrm{Ad}}_g^{\ast }\nu )(\xi )=\nu ({\mathrm{Ad}}_{g^{-1}}\xi )$. Each component ${\mu }^{\xi }$ is therefore a Hamiltonian function for the corresponding infinitesimal action. Equivariance is part of the definition; merely requiring each infinitesimal generator to be a Hamiltonian vector field is the weaker condition of a weakly Hamiltonian action. Reversing the defining sign of Hamiltonian vector fields reverses the moment map sign as well.

Use the normalization in which a projective line has area $2\pi$. On the affine chart of Complex projective space where $Z_0\ne 0$, set $w_j=Z_j/Z_0$ and $S=1+{\sum }_j|w_j{|}^2$. Define the Fubini-Study form byOn another chart the corresponding potential differs by $\log |h{|}^2$ for a nowhere-zero holomorphic function $h$, whose $\partial \bar{\partial }$ is zero. Thus these local differential forms glue to a global form. It is real and closed. Its Hermitian coefficient matrix is positive definite, since for $v\ne 0$ the Cauchy-Schwarz inequality givesHence it is a Kähler form and in particular a symplectic form.

On a complex projective line with $w=x+iy$ this is $2(1+|w{|}^2{)}^{-2}dx\wedge dy$, whose total area is $2\pi$. Thus $[{\omega }_{\mathrm{FS}}/(2\pi )]$ is the positive generator, equivalently $c_1(\mathcal{O}(1))$. Another common normalization uses half this form and gives line area $\pi$; the scale must be carried consistently into symplectic reduction.

The Marsden-Weinstein theorem says that for a Hamiltonian group action, if $c$ is a regular value fixed by the coadjoint action and $G$ acts freely and properly on ${\mu }^{-1}(c)$, thenis a symplectic manifold with a unique form characterized by ${\pi }^{\ast }{\omega }_c={\iota }^{\ast }\omega$, where $\iota$ includes the level set and $\pi$ is the quotient projection. Its dimension is $\dim M-2\dim G$.

Equip ${\mathbb{C}}^{n+1}$ with the standard symplectic formLet the circle group act by $e^{i\theta }\cdot z=e^{i\theta }z$. Its generator is $X={\sum }_j(-y_j{\partial }_{x_j}+x_j{\partial }_{y_j})$, andConsequently the moment map in our convention is $\mu (z)=-|z{|}^2/2$. It is invariant, hence equivariant because the circle group is abelian. The level ${\mu }^{-1}(-1)$ is the sphere of radius $\sqrt{2}$; it is regular, the circle group acts freely there, and properness follows from compactness of the group. The quotient is Complex projective space, by $z\mapsto [z]$, a scaled Hopf fibration. The Marsden-Weinstein theorem therefore produces a reduced symplectic form on ${\mathbb{CP}}^n$.

To identify it rather than only assert its existence, use the primitiveOn the affine chart choose the local section $s(w)=\sqrt{2}(1,w)/\sqrt{S}$ of the quotient. Direct substitution givesDifferentiating, using $\bar{\partial }\partial =-\partial \bar{\partial }$, givesThis is the Fubini-Study form from circle reduction. The unit sphere instead produces half this form; our radius $\sqrt{2}$ is exactly what gives the $2\pi$ line-area normalization used above.