Kähler and Hyperkähler Quotients in Supersymmetric QFT

Supersymmetry equips many vacuum spaces with more than a complex structure. Four-dimensional $\mathcal N=1$ Higgs branches arise locally as Kähler quotients, while eight-supercharge Higgs branches arise as hyperkähler quotients. The quotient equations determine the inherited geometry at the classical level; nonrenormalization requires a separate argument and depends on the number of supercharges and on which branch is studied.

Required background. F- and D-flatness supplies the vacuum equations, and moment maps supplies symplectic reduction. Helpful background. Kähler sigma models explains how the quotient metric becomes a low-energy kinetic term.

Kähler reduction from four supercharges

Let a compact group $G$ act holomorphically and isometrically on a Kähler manifold $(X,g,J,\omega)$ . For generators $k_a$ , a moment map satisfies

\iota_{k_a}\omega=d\mu_a.

At a regular central value $\xi$ , with $G$ acting freely and properly, the quotient

X/\!/_{\xi}G=\mu^{-1}(\xi)/G

is Kähler. Its tangent space at an orbit can be represented by vectors orthogonal to both the orbit directions $k_a$ and their complex partners $Jk_a$ . Restricting $g$ to this horizontal subspace gives the quotient metric. The appearance of Kähler target geometry in four-supercharge sigma models is the result of Zumino 1979, pp. 203–206.

In an $\mathcal N=1$ gauge theory, first restrict $X$ to the F-flat locus. When that locus is a smooth $G_{\mathbb C}$ -invariant complex submanifold, the D equation and compact quotient produce its Kähler reduction. If the action has stabilizers or the level is not regular, the result is a stratified Kähler space rather than a smooth manifold.

A useful local calculation integrates out a massive vector multiplet in superspace. For chiral fields $\Phi$ with charges $q_i$ and an abelian vector $V$ ,

K(\Phi,\bar\Phi,V) =\sum_i\bar\Phi_i e^{2q_iV}\Phi_i-2\xi V.

At energies below the vector mass and neglecting its derivative terms, $\partial K/\partial V=0$ is precisely the moment-map equation. Substituting the solution $V(\Phi,\bar\Phi)$ back into $K$ produces a Kähler potential for the quotient in a chosen patch. Different gauge choices change this potential by Kähler transformations while leaving the metric invariant.

Example: the Fubini–Study metric

For $n$ fields of charge $+1$ and $\xi>0$ , choose the complex gauge patch $\Phi_n\neq0$ and define $w_a=\Phi_a/\Phi_n$ for $a=1,\ldots,n-1$ . Solving the vector equation and discarding a Kähler transformation gives

K_{\mathrm{quot}}=\xi\log\!\left(1+\sum_{a=1}^{n-1}|w_a|^2\right).

Thus the quotient metric is the Fubini–Study metric on $\mathbb{CP}^{n-1}$ with Kähler class proportional to $\xi$ :

g_{a\bar b} =\xi\frac{(1+|w|^2)\delta_{a\bar b}-\bar w_a w_b} {(1+|w|^2)^2}.

The coordinate patch fails where $\Phi_n=0$ , but the metric does not. On overlaps, the local Kähler potentials differ by $F(w)+\overline{F(w)}$ .

Three moment maps and hyperkähler reduction

A hyperkähler manifold has a metric $g$ and complex structures $I,J,K$ obeying the quaternionic relations, with closed two-forms $\omega_I,\omega_J,\omega_K$ . A tri-holomorphic $G$ action has three moment maps

d\mu_A^a=\iota_{k_a}\omega_A, \qquad A=I,J,K.

The hyperkähler quotient is

X/\!/\!/_{\vec\xi}G =\vec\mu^{-1}(\vec\xi)/G.

The construction and its supersymmetric interpretation are due to Hitchin, Karlhede, Lindström, and Roček 1987, pp. 535–589.

At a regular value and for a free action, it removes $4\dim G$ real dimensions:

\dim_{\mathbb R}(X/\!/\!/G) =\dim_{\mathbb R}X-4\dim G.

In one chosen complex structure, combine two real equations into the complex moment map $\mu_{\mathbb C}=\mu_J+i\mu_K$ and retain $\mu_{\mathbb R}=\mu_I$ . Then

X/\!/\!/G \simeq \mu_{\mathbb C}^{-1}(\xi_{\mathbb C})^{\mathrm{ss}}/G_{\mathbb C},

with stability fixed by $\xi_{\mathbb R}$ . This form closely parallels F-flatness followed by a D-term quotient.

Worked example: cotangent bundles of projective space

Take flat $\mathbb H^n\simeq\mathbb C^n\oplus(\mathbb C^n)^*$ with complex coordinates $(q_i,\widetilde q_i)$ . Let $U(1)$ act with charges $+1$ on $q_i$ and $-1$ on $\widetilde q_i$ . In a standard normalization,

\begin{aligned} \mu_{\mathbb R}&=\sum_i\left(|q_i|^2-|\widetilde q_i|^2\right)-r,\\ \mu_{\mathbb C}&=\sum_i\widetilde q_iq_i-\zeta. \end{aligned}

For $r>0$ and $\zeta=0$ , not all $q_i$ can vanish. The complex quotient first chooses a point $[q]\in\mathbb{CP}^{n-1}$ ; the equation $\widetilde q\cdot q=0$ makes $\widetilde q$ a cotangent vector at that point. Hence

\mathbb H^n/\!/\!/U(1)\simeq T^*\mathbb{CP}^{n-1},

with real dimension $4(n-1)$ . For $n=2$ the smooth quotient is the Eguchi–Hanson space, a resolution of $\mathbb C^2/\mathbb Z_2$ . Sending the triplet of FI parameters to zero collapses the exceptional two-sphere and restores the cone singularity.

What supersymmetry does and does not protect

The classical quotient identifies a metric inherited from the microscopic kinetic terms. Whether that metric is exact is theory-dependent:

Setting	Branch geometry	Typical quantum status
4d $\mathcal N=1$	Kähler	Kähler potential and metric can receive perturbative and nonperturbative corrections.
4d $\mathcal N=2$ Higgs branch	Hyperkähler	Metric is protected under the standard rigid-theory assumptions; global identifications still require care.
4d $\mathcal N=2$ Coulomb branch	Special Kähler	Metric generally receives one-loop and instanton corrections.
3d $\mathcal N=4$ Higgs branch	Hyperkähler	Higgs-branch metric is protected in the usual decoupled rigid setting.
3d $\mathcal N=4$ Coulomb branch	Hyperkähler	Metric is typically corrected, including monopole effects.

The reason is not that all hyperkähler metrics are immutable. Rather, the multiplets containing Higgs-branch coordinates and couplings constrain how those couplings can enter the low-energy action. Compactification, gauging flavor symmetries, coupling to gravity, or mixing branches can invalidate the simplest protection statement. The metrics and corrections page separates these hypotheses carefully.

Common pitfalls

Equating complex varieties with metrics. Two FI chambers can be biholomorphic in a patch yet carry different Kähler classes. Conversely, a quantum correction can change the metric without changing the complex coordinate ring.

Forgetting regularity. The dimension subtraction and smooth quotient metric assume a regular moment-map value and a locally free action. At a stabilizer jump, use a stratified quotient and inspect the light spectrum.

Calling an $\mathcal N=1$ quotient hyperkähler. Kähler reduction needs one moment map; hyperkähler reduction needs a triplet and a tri-holomorphic action. The additional structure comes from eight supercharges or an equivalent geometric input.

Exercises

For the hyperkähler quotient of $\mathbb H^2$ by $U(1)$ above:

Verify its real dimension.
Show that at $r>0$ , $\zeta=0$ , the locus $\widetilde q=0$ is a copy of $\mathbb{CP}^1$ .
Explain why this sphere collapses at $r=0$ .

Solution

The starting dimension is eight. Three moment-map equations and one compact quotient remove four real dimensions, leaving four. With $\widetilde q=0$ , the real equation is $|q_1|^2+|q_2|^2=r$ ; quotienting its $S^3$ by $U(1)$ gives $\mathbb{CP}^1$ . Its Kähler area is proportional to $r$ , so it collapses as $r\to0$ . At the origin the $U(1)$ stabilizer returns, and the quotient becomes the singular cone $\mathbb C^2/\mathbb Z_2$ .

References

Hitchin, Nigel J., Anders Karlhede, Ulf Lindström, and Martin Roček. “Hyperkähler Metrics and Supersymmetry.” Communications in Mathematical Physics 108 (1987): 535–589. doi:10.1007/BF01214418.
Zumino, Bruno. “Supersymmetry and Kähler Manifolds.” Physics Letters B 87 (1979): 203–206. doi:10.1016/0370-2693(79)90964-X.