F- and D-Flatness and Gauge Quotients

A supersymmetric vacuum is not merely a zero of the scalar potential. It is a zero-energy field configuration modulo gauge transformations, together with the stabilizer that records which gauge symmetry remains unbroken. For four-dimensional $\mathcal N=1$ gauge theories with canonical kinetic terms, this becomes the concrete problem

$$\mathcal M_{\mathrm{cl}} =\{\partial_iW=0,\ \mu^a=\xi^a\}/G,$$

where $G$ is the compact gauge group, $\mu$ is its moment map, and a Fayet–Iliopoulos parameter $\xi$ is allowed only for an abelian factor. A complexified quotient is often more efficient, but it is equivalent only after the appropriate stability condition is imposed.

Required background. Use F- and D-term potentials for auxiliary-field elimination, constraints and reduction for quotient logic, and moment maps for Hamiltonian group actions. Helpful background. Gauge orbits and stabilizers explains why orbit dimension can jump.

Zero energy and the vacuum equations

Let chiral scalars $\phi^i$ transform unitarily in a representation of $G$. With Kähler metric $g_{i\bar j}$ and gauge kinetic matrix $h_{ab}=\operatorname{Re}f_{ab}$, the auxiliary fields give

$$V=g^{i\bar j}W_i\overline{W_j} +\frac12(h^{-1})^{ab}(\mu_a-\xi_a)(\mu_b-\xi_b).$$

Positivity therefore makes the vacuum equations transparent:

$$W_i(\phi)=0, \qquad \mu_a(\phi)=\xi_a.$$

The first equations define the F-flat locus $\mathcal F$. Algebraically, its coordinate ring is the polynomial or holomorphic function ring divided by the F-term ideal $I_F=(W_i)$. The second equations select a level set of the real moment map. Neither step has yet removed gauge redundancy. This auxiliary-field derivation and its gauge-theory normalization are reviewed in Weinberg 2000, ch. 27.

The physical classical vacuum space is

$$\mathcal M_{\mathrm{cl}}=(\mathcal F\cap\mu^{-1}(\xi))/G.$$

This notation includes important data that a dimension count alone loses. At $p\in\mathcal F\cap\mu^{-1}(\xi)$, the stabilizer

$$G_p=\{g\in G\mid g\cdot p=p\}$$

is the residual gauge group. If $G_p$ changes, the quotient is stratified and may be singular. On a smooth stratum where the equations are transverse,

$$\dim_{\mathbb R}\mathcal M =\dim_{\mathbb R}\mathcal F_p -2\dim(G/G_p),$$

where $\mathcal F_p$ denotes the smooth orbit-type stratum through $p$. The moment-map constraints remove $\dim(G/G_p)$ real directions and the quotient removes the same number of orbit directions. For a free action this reduces to $\dim_{\mathbb R}\mathcal F-2\dim G$. The formula requires the indicated transversality assumptions and must be applied stratum by stratum when stabilizers jump.

Compact and complexified quotients

Suppose the F-flat equations are invariant under the complexified gauge group $G_{\mathbb C}$. One would like to replace the real symplectic quotient by

$$(\mathcal F\cap\mu^{-1}(\xi))/G \simeq \mathcal F^{\mathrm{ss}}_{\xi}/\!/G_{\mathbb C}.$$

The superscript is essential: $\mathcal F^{\mathrm{ss}}_{\xi}$ is the semistable locus determined by the FI parameter, or more generally by a choice of linearization. A complex orbit is retained when its closure meets $\mu^{-1}(\xi)$. When the meeting orbit is closed, the intersection is a single $G$ orbit. Nonclosed orbits flow toward a closed orbit in their closure and are not distinct vacua in the quotient. This is the finite-dimensional content of the Kempf–Ness correspondence, Kempf and Ness 1979, pp. 233–243; its application to supersymmetric vacuum varieties is given by Luty and Taylor 1996, pp. 3399–3405, arXiv:hep-th/9506098. Neither result is permission to divide all of $\mathcal F$ naively by $G_{\mathbb C}$.

For $\xi=0$, affine invariant coordinates describe the categorical quotient

$$\mathcal F/\!/G_{\mathbb C} =\operatorname{Spec}\!\left(\mathbb C[\mathcal F]^{G_{\mathbb C}}\right).$$

This construction deliberately identifies complex orbits whose closures meet. It gives the correct gauge-invariant variety, while stabilizer information must be restored separately if the low-energy spectrum is required.

Worked example: charged fields and FI chambers

Take $n$ chiral multiplets $z_i$ of charge $+1$ under $U(1)$, no superpotential, and canonical Kähler potential. In a convention where

$$V_D=\frac{g^2}{2}\left(\sum_{i=1}^{n}|z_i|^2-r\right)^2,$$

the vacuum equation is $\sum_i|z_i|^2=r$.

• If $r>0$, the level set is $S^{2n-1}$ and the $U(1)$ action is free. Hence

  $$\mathcal M_r=S^{2n-1}/U(1)=\mathbb{CP}^{n-1}.$$

  In complex language, the same space is $(\mathbb C^n\setminus\{0\})/\mathbb C^*$. The origin is excluded by stability because its orbit closure cannot meet the positive moment-map level.

• If $r=0$, the only solution is $z=0$. Its stabilizer is all of $U(1)$, so the gauge boson is not Higgsed. The quotient is a point, but the low-energy physics is not the smooth $r\to0^+$ sigma model: extra gauge degrees of freedom become massless.

• If $r<0$, there is no solution and supersymmetry is broken in this model. A formal quotient by $\mathbb C^*$ would miss this fact entirely.

This three-chamber calculation is the quickest diagnostic for an incorrect complex quotient: if the proposed construction gives the same answer for all $r$, it has discarded stability data.

A reproducible quotient workflow

For a general gauge-matter theory:

1. Fix the global gauge group, matter representation, superpotential, Kähler potential, gauge kinetic matrix, and FI parameters.
2. Compute $I_F=(\partial_iW)$ and retain every irreducible branch, including intersections.
3. Write the moment map with the same generator and coupling normalization used in the action.
4. Solve $\mu=\xi$ on each F-flat branch and test whether the level set is nonempty.
5. Divide by the compact group, or specify the stability condition before using $G_{\mathbb C}$.
6. Determine generic and special stabilizers. Check the dimension separately on each stratum.
7. Compare with gauge-invariant coordinates and relations; the next page develops that independent description.
8. Distinguish the classical variety from its metric and from quantum corrections. Equality of coordinate rings does not imply equality of metrics or low-energy spectra.

Common pitfalls

Dividing by the wrong group. The compact quotient acts after the real moment-map equation; the complexified quotient acts on a stability-selected complex locus. Writing $\mathcal F/G_{\mathbb C}$ without specifying orbit closure and stability can retain excluded orbits or erase FI chambers.

Subtracting twice without checking the action. The familiar reduction by $2\dim G$ assumes a regular level and a free action. A stabilizer or dependent constraint changes the local dimension and usually signals a special stratum.

Calling every quotient singularity an interacting singularity. A coordinate presentation can be singular because a gauge orbit shrinks, but the physical interpretation requires a mass-spectrum check. The singular-locus analysis supplies that extra test.

Exercises

Consider two fields $x,y$ of charges $+1,-1$, no superpotential, and moment-map equation $|x|^2-|y|^2=r$.

1. Determine the quotient for $r>0$, $r<0$, and $r=0$.
2. Identify the stabilizer on each branch.
3. Compare with the invariant $M=xy$.

Solution

For $r>0$, $x$ cannot vanish. Gauge-fix its phase; $|x|^2=r+|y|^2$, so $y$ supplies one complex modulus through $M=xy$. Thus the quotient is $\mathbb C$. The $r<0$ case is symmetric, with $y\neq0$, and again gives $\mathbb C$. At $r=0$, nonzero solutions have $|x|=|y|$ and are again labeled by $M\neq0$; the origin $x=y=0$ completes the quotient to $\mathbb C$. The stabilizer is trivial away from the origin but is all of $U(1)$ at the origin. The same invariant variety therefore hides a chamber-dependent choice of stable representative and a special unbroken-gauge point.

References

• Kempf, George, and Linda Ness. “The Length of Vectors in Representation Spaces.” In Algebraic Geometry, Lecture Notes in Mathematics 732, 233–243. Springer, 1979. doi:10.1007/BFb0066647.
• Luty, Markus A., and Washington Taylor IV. “Varieties of Vacua in Classical Supersymmetric Gauge Theories.” Physical Review D 53 (1996): 3399–3405. arXiv:hep-th/9506098.
• Weinberg, Steven. The Quantum Theory of Fields, Volume III: Supersymmetry. Cambridge University Press, 2000, ch. 27. doi:10.1017/CBO9781139644198.