Moment Map Zeros in Geometry

• Moment map zeros are the points where the moment map vanishes under Hamiltonian actions, encoding solutions to geometrically significant equations and moduli space conditions.
• In generalized Kähler and hyper-Kähler settings, these zeros correspond to metrics with zero scalar curvature and reveal deep topological invariants via Morse–Bott analysis.
• They play a critical role in variational principles and equivariant localization, bridging geometric invariant theory with deformation quantization and algebraic moduli problems.

A moment map is a fundamental object in symplectic and algebraic geometry, arising from Hamiltonian group actions on symplectic or Kähler manifolds. The vanishing locus, or "zeros," of the moment map often encode solutions to geometrically significant PDEs or correspond to key moduli spaces, such as spaces of constant scalar curvature metrics, isotropic mappings, or moduli of algebraic structures. Analyses of moment map zeros reveal deep relationships between geometry, topology, representation theory, and quantization.

1. Overview of Moment Maps and Zero Loci

Given a symplectic (or Kähler) manifold $(M,\omega)$ or an infinite-dimensional analogue and a Hamiltonian group action $G\curvearrowright M$, the moment map $\mu: M\to\mathfrak{g}^*$ encodes the infinitesimal action and conjugates geometric equations into conditions on $\mu$. The zero locus $\mu^{-1}(0)$ is $G$-stable, and often its quotient $\mu^{-1}(0)/G$ underlies geometric invariant theory (GIT) quotients or moduli problems. In many infinite-dimensional settings, such as spaces of almost complex structures or connections, $\mu^{-1}(0)$ selects solutions of canonical metric equations.

2. Moment Map Zeros in Generalized Kähler Geometry

In the generalized Kähler setting, the scalar curvature of a twisted generalized Kähler pair $(J_1,J_2)$ is realized as the moment map for a natural infinite-dimensional Kähler manifold of deformations $\mathcal{B}_{J_2}(M)$, acted on by the group of generalized Hamiltonian diffeomorphisms. The main result is that the moment map $G\curvearrowright M$0 is given by the scalar curvature $G\curvearrowright M$1. The vanishing locus,

$G\curvearrowright M$2

corresponds to twisted generalized Kähler structures of zero scalar curvature. Existence questions for such structures are subtle: certain topological obstructions arise (e.g., Futaki-like invariants), but on many compact Lie groups, explicit examples with $G\curvearrowright M$3 can be constructed. On the standard Hopf surface, explicit generalized Kähler pairs with zero scalar curvature are obtained via pure spinor constructions, yielding $G\curvearrowright M$4 in both "odd" and "even" type cases. The architecture generalizes the classical Fujiki–Donaldson framework for Kähler geometry, where the scalar curvature serves as a moment map and its zeros are constant-scalar-curvature metrics (Goto, 2021, Goto, 2016).

3. Zeros in Hyper-Kähler and Isotropic Map Settings

In hyper-Kähler moment map geometries, zeros acquire infinite-dimensional topological significance. On the four-dimensional torus, the group of symplectic diffeomorphisms is precisely the zero locus of a canonical hyper-Kähler moment map on a formal infinite-dimensional space of 1-forms. The zero locus is typically a smooth submanifold of codimension equal to the rank of the moment map differential, and under Morse–Bott flow, the functional $G\curvearrowright M$5 deformation-retracts neighborhoods onto the zero set. Polyhedral analogues yield explicit retraction algorithms onto the zero set, elucidating topological invariants of mapping spaces (Rollin, 2021).

For maps from a surface into a symplectic affine space, the moduli of isotropic maps is realized via a Kähler moment map. Zeros of the moment map correspond exactly to isotropic maps; in the polyhedral setting, the modified moment map flow induces a strong deformation retraction from the space of all maps onto the space of isotropic maps. Locally near Morse–Bott regular zeros, the structure is manifold-like with finite codimension (Jauberteau et al., 2024).

4. Vanishing of the Moment Map in Moduli of Algebraic Structures

In the variational study of associative and Leibniz algebra laws on finite-dimensional complex vector spaces, moment maps arise naturally in the Kähler structure on the projective variety of algebra laws. However, the vanishing of the moment map corresponds only to the trivial ("zero") product law: for any nontrivial associative or Leibniz algebra, the associated moment map is never zero. In projective geometry, the only zero lies in the affine cone's vertex, outside the projective variety itself. The minima of the functional $G\curvearrowright M$6 are nonzero and are achieved precisely at semisimple (Leibniz or associative) algebra laws, but these are not zeros of the moment map (Zhang et al., 2023, Chen et al., 2023).

Setting	Zeros of Moment Map	Geometric Significance
Generalized Kähler	Pairs $G\curvearrowright M$7 with $G\curvearrowright M$8	Metrics with zero scalar curvature, often novel on non-Kähler spaces
Hyper-Kähler/symplectic T⁴	Symplectic diffeomorphisms	Topology of mapping spaces, Morse–Bott flows
Algebra laws	Only the zero algebra	Nontrivial algebras never achieve zero; minima correspond to semisimple
Isotropic maps	Isotropic (pullback $G\curvearrowright M$9) maps	Moduli of Lagrangian or isotropic submanifolds; topological retraction

5. Infinitesimal Index and Localization at Moment Map Zeros

Given a Hamiltonian action of a compact Lie group, the equivariant localization formulas and the infinitesimal index localize topological invariants to the zero locus $\mu: M\to\mathfrak{g}^*$0. For regular values (so $\mu: M\to\mathfrak{g}^*$1 is a submanifold), the equivariant cohomology of $\mu: M\to\mathfrak{g}^*$2 is realized as the appropriately localized cohomology of $\mu: M\to\mathfrak{g}^*$3. The infinitesimal index becomes a fundamental bridge to the characters of transversally elliptic operators, relating cohomological and representation-theoretic multiplicities (Concini et al., 2010). The structure of $\mu: M\to\mathfrak{g}^*$4—in particular whether it is smooth, singular, or decomposes into components—has implications for both geometry and representation theory.

6. Moment Map Zero Loci in PDE and Algebraic Quotient Geometries

Moment map zeros also characterize solution sets of geometric PDEs and play a structural role in GIT quotient spaces. In the geometry of symplectic 3D Monge–Ampère equations, the Hitchin moment map zeros are the cocharacteristic variety, directly matching with the contact cone structure at regular points in the symbol. The stratification of the image—generic, linearizable, Goursat, and parabolic—corresponds to the rank/type of the associated quadratic form. This provides algebraic uniformity to the organization of solution sets for Monge–Ampère equations (Gutt et al., 2021).

For the Borel moment map in linear algebraic geometry, the zero fiber decomposes into $\mu: M\to\mathfrak{g}^*$5 irreducible components, each typically singular. GIT quotients constructed from the zero locus yield geometric resolutions of singularities, generalizing the Hilbert–Chow context to parabolic and flag Hilbert schemes, and linking moment map zeros to advanced moduli problems (Im et al., 2020).

7. Variational and Quantization Implications of Zero Loci

Zeros of moment maps often arise as Euler–Lagrange solutions of variational functionals, exemplified by the Calabi-type functionals in Kähler and symplectic geometry. In the infinite-dimensional space of symplectic connections, vanishing of the Cahen–Gutt moment map corresponds to being a stationary point of the Calabi functional: $\mu: M\to\mathfrak{g}^*$6 For Kähler manifolds with non-negative Ricci curvature, the zero set is a finite-dimensional submanifold (modulo automorphisms), and for quantization, zero moment map corresponds to the existence of closed Fedosov star products up to order $\mu: M\to\mathfrak{g}^*$7. Thus, geometric and physical structures are tightly linked to the vanishing of the moment map through both analytic and algebraic mechanisms (Fuente-Gravy, 2015).

---

In summary, zeros of moment maps encode highly nontrivial geometric, topological, and representation-theoretic phenomena across a wide range of contexts. Their study bridges moduli theory, global analysis, deformation quantization, and geometric invariant theory, frequently via deep connections between differential geometry and algebraic geometry.