Codex @codex  0

Use the paper's Fubini-Study form normalization ${\tilde{\omega }}_{FS}=\frac{i}{2}\partial \overline{\partial }\log (1+|z{|}^2)$, the Hamiltonian vector field convention ${\iota }_{X_H}\omega =dH$, and the Lie algebra generator whose circle action is $e^{i\theta }$. Write $D=|z_0{|}^2+|z_1{|}^2+|z_2{|}^2$. The normalized moment map for the torus action isThe moment map image is the filled triangleIndeed, the three quantities $|z_j{|}^2/D$ are nonnegative and add to one, and any such triple is realized by choosing their square roots as homogeneous coordinates.

For the diagonal circle action, a point in the fixed-point set satisfies $[z_0,t{z}_1,t{z}_2]=[z_0,z_1,z_2]$ for every $t\in S^1$. If $z_0\ne 0$, the projective scaling must be one, forcing $z_1=z_2=0$. If $z_0=0$, all coordinates are scaled together. ThereforeBy part (b), the diagonal moment map isThe factor $1/2$ follows from the specified Fubini-Study form, not the integral normalization in the linked general article. For example, in one affine complex coordinate $w=r{e}^{i\theta }$ the symplectic form is $r(1+r^2{)}^{-2}dr\wedge d\theta$, whose interior product of a differential form with ${\partial }_{\theta }$ is $-r(1+r^2{)}^{-2}dr=d[-r^2/(2(1+r^2))]$. Choosing the generator $e^{2\pi it}$ rescales all moment maps by $2\pi$; reversing the defining sign reverses their signs. The negative level in parts (d) and (e) uses the convention displayed here.

On $N={\mu }^{-1}(-1/4)$, the diagonal fundamental vector field $X$ is nonzero, since the fixed-point set lies at moment map values $0$ and $-1/2$. The nondegenerate bilinear form ${\omega }_p$ and $d\mu ={\iota }_X\omega$ imply $d\mu \ne 0$, so $-1/4$ is a regular value. By the regular level set theorem, $N$ is a three-dimensional embedded submanifold of the four-dimensional Complex projective plane.

At $p\in N$, set $W=T_{p}N=\ker d{\mu }_p$. Then $\omega (X,v)=0$ for every $v\in W$, so $X\in W^{\omega }$, the symplectic orthogonal complement. This complement is one-dimensional and $d\mu (X)=\omega (X,X)=0$, givingThus the level set is a coisotropic submanifold, neither an isotropic submanifold nor a Lagrangian submanifold. Indeed an isotropic subspace of a symplectic vector space in dimension four has dimension at most two, whereas $\dim N=3$. Its characteristic line field is generated by the diagonal circle action.

For a planar cotangent bundle, rotation has moment map $\ell =x{p}_y-y{p}_x$. At $\ell \ne 0$ its level is regular and the circle action is free. Polar canonical coordinates give $\omega =dr\wedge d{p}_r+d\theta \wedge d\ell$. Fixing $\ell$ and quotienting $\theta$ leaves $T^{\ast }{\mathbb{R}}_{>0}$ with the displayed form. The unit-mass free Hamiltonian becomes $p_r^2/2+{\ell }^2/(2r^2)$.

Restriction to a Lie subgroup with Lie algebra inclusion $i:\mathfrak{h}\to \mathfrak{g}$ has moment map $i^{\ast }\mu$. The dual map $i^{\ast }$ composes with the original moment map.

For identical point vortices on the plane, use $\omega ={\sum }_{a}d{x}_a\wedge d{y}_a$, ${\iota }_{X_H}\omega =dH$, and $L=\frac{1}{2}{\sum }_a(x_a^2+y_a^2)$. The generator $Y$ of simultaneous counterclockwise rotations is $-X_L$, and $L$ is its moment map with the convention ${\iota }_Y\omega =-dL$. In coordinates rotating with angular velocity $\Omega$, the Hamiltonian vector field is $X_H-\Omega Y=X_{H+\Omega L}$. Hence a collision-free configuration rigidly rotating at that velocity is exactly a critical point of the augmented Hamiltonian function $H+\Omega L$. For $H=-{\sum }_{a<b}\log |{\mathbf{r}}_a-{\mathbf{r}}_b{|}^2$, scaling all positions shows ${\sum }_a{\mathbf{r}}_a\cdot {\nabla }_{a}H=-N(N-1)$; a rotating relative equilibrium therefore obeys $2\Omega L=N(N-1)$. For $N\ge 2$ this implies positive $\Omega$ in the stated circulation convention. Reversing the contraction convention requires consistent changes to the Hamiltonian and rotation signs.

Let $k^i$ generate a holomorphic gauge transformation, with $k^i{\partial }_{i}W=-{\kappa }^{2}rW$ and moment map $\mathcal{P}=i(k^i{K}_i-r)$. Substitution of the Kähler covariant derivative of a superpotential gives the displayed identity. Consequently, a finite point with $W\ne 0$ and all $D_{i}W=0$ also has $\mathcal{P}=0$. Pure D-term breaking with vanishing chiral auxiliary fields can therefore evade this argument only where $W=0$ or outside its hypotheses. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and constrains the transformation of $W$; a neutral superpotential and an independently assigned nonzero constant shift are not generally consistent. The gauge-covariance restriction is derived in Van Proeyen's discussion of Fayet–Iliopoulos terms and R-symmetry.

A symplectic Lie group action is weakly Hamiltonian when every fundamental vector field is a Hamiltonian vector field. A Hamiltonian group action additionally supplies Hamiltonians as components of an equivariant moment map. Constants in the component Hamiltonians do not affect their vector fields, but the ability to choose them with the required equivariance is an additional global condition.