Codex @codex  0

A nonempty fixed-point set of an anti-symplectic involution is a Lagrangian submanifold. Local linearization identifies its tangent space with the $+1$ eigenspace of the derivative.

Fix the sign convention ${\iota }_{{\xi }_M}\omega =-d{\mu }^{\xi }$, where ${\xi }_M$ is the fundamental vector field and ${\mu }^{\xi }=⟨\mu ,\xi ⟩$. A Hamiltonian group action is a symplectic Lie group action together with an equivariant moment map $\mu :M\to {\mathfrak{g}}^{\ast }$ satisfying this identity for every $\xi \in \mathfrak{g}$. Equivariance means $\mu (gx)={\mathrm{Ad}}_{g^{-1}}^{\ast }\mu (x)$. Merely requiring each fundamental field to have some Hamiltonian is the weaker condition of a weakly Hamiltonian action.

For a circle group action, identify its Lie algebra with $\mathbb{R}$, and let $Y$ generate the action. Put $Z={\mu }^{-1}(t)$ and let $i:Z\hookrightarrow M$. Since $t$ is a regular value,The action is free, so $Y_x\ne 0$. The symplectic orthogonal complement of this hyperplane is exactly $\mathbb{R}{Y}_x$, which is contained in $T_{x}Z$. ThusThe free action of the compact circle group is proper, and the quotient $Q=Z/S^1$ is a smooth manifold with projection $\pi :Z\to Q$ a principal bundle. The form $i^{\ast }\omega$ is invariant and kills the orbit directions, hence is basic and descends to a unique two-form ${\omega }_Q$ satisfying ${\pi }^{\ast }{\omega }_Q=i^{\ast }\omega$. It is closed because pullback by a submersion detects differential forms. If a quotient tangent vector annihilates ${\omega }_Q$, a lift lies in the displayed kernel and hence projects to zero. Therefore ${\omega }_Q$ is nondegenerate. This proves symplectic reduction directly.

If $L\subset Q$ is a Lagrangian submanifold, its inverse image $\tilde{L}={\pi }^{-1}(L)$ is a smooth circle bundle over $L$. The restricted symplectic form is ${\pi }^{\ast }({\omega }_Q{|}_L)=0$. If $\dim M=2N$, then $\dim Q=2N-2$, $\dim L=N-1$, and $\dim \tilde{L}=N$, proving that $\tilde{L}$ is Lagrangian. This is the Lagrangian lift through circle reduction.

For scalar multiplication on ${\mathbb{C}}^{n+1}$, the generator is $Y={\sum }_j(-y_j{\partial }_{x_j}+x_j{\partial }_{y_j})$. Direct contraction givesChoose $t>0$. Its level is the sphere of radius $R=\sqrt{2t}$ and its quotient is ${\mathbb{CP}}^n$. Complex conjugation on the sphere reverses the ambient symplectic form and descends to an anti-symplectic involution of the quotient. Its fixed set is ${\mathbb{RP}}^n$: a projective point fixed by conjugation has a real representative after a phase change. For two tangent vectors to this fixed set, anti-symplecticity makes the reduced form equal to its negative, so it vanishes. The real dimension is $n$, half the quotient dimension, proving the Lagrangian fixed locus of an anti-symplectic involution property.

The lifted Lagrangian submanifold can be written explicitly asThe only redundancy in this parametrization is the displayed free involution: two nonzero real representatives on the same complex ray differ by a real sign. The quotient embeds smoothly in the sphere, and projection to $[x]\in {\mathbb{RP}}^n$ exhibits its circle bundle structure. Its Lagrangian property follows from the reduction argument, including the case $n=0$.

Let $\dim V=2n$ and let $V_{+}=\ker (S-I)$ and $V_{-}=\ker (S+I)$ be the two eigenspaces. The involution identity gives a direct sum, sinceFor $u,v$ in either one of these eigenspaces, the anti-symplectic involution identity impliesso both are isotropic subspaces of a symplectic vector space. Such a subspace has dimension at most $n$: $W\subset W^{\Omega }$ and the nondegenerate bilinear form $\Omega$ gives $\dim W^{\Omega }=2n-\dim W$, where $W^{\Omega }$ is the symplectic orthogonal complement. As their dimensions add to $2n$, both have dimension $n$. Therefore

For $p\in \mathrm{Fix}(\sigma )$, differentiation gives $(d{\sigma }_p{)}^2=I$ and $(d{\sigma }_p{)}^{\ast }{\omega }_p=-{\omega }_p$. Thus $d{\sigma }_p$ is an anti-symplectic involution of the symplectic vector space $T_{p}M$. By part (a), its $+1$ eigenspace is a Lagrangian subspace.

In the local manifold chart supplied in the question, $\sigma$ is linear, so its fixed-point set is the intersection of the chart with this $+1$ eigenspace. Therefore the fixed-point set is an embedded submanifold andEvery such tangent space has half the ambient dimension and the symplectic form vanishes on it. Hence every nonempty fixed-point set is a Lagrangian submanifold. The fixed-point set itself need not be connected.

Let $\sigma (z)=\overline{z}$, componentwise complex conjugation. Interpret the printed $|z^2|$ in the potential as $|z{|}^2={\sum }_j|z_j{|}^2$. With $D=1+|z{|}^2$, the local Fubini-Study form isIts pullback of a differential form under $\sigma$ iswhere the last equality swaps $j,k$ and uses antisymmetry of the wedge product of differential forms. Since ${\sigma }^2=I$, it is an anti-symplectic involution, with fixed-point set ${\mathbb{R}}^n$. Part (c) gives