Moduli-Space Metrics and Quantum Corrections

The equations defining a moduli space, its complex or hyperkähler structure, and its metric are different layers of information. Quantum effects can leave the set of vacua unchanged while modifying the two-derivative kinetic term, or can instead deform the vacuum equations themselves. A reliable claim of protection must name the layer, the dimension and supersymmetry, the branch, and the assumptions excluding mixing with additional light fields.

Required background. Kähler and hyperkähler quotients gives the classical geometry, and Kähler sigma models relates its metric to kinetic terms. Helpful background. The 1PI effective action distinguishes a quantum effective metric from the microscopic one.

Reading a metric from the effective action

Let $m^i$ be massless scalar coordinates on a smooth patch of the vacuum space. The low-energy 1PI action begins

\Gamma_{\mathrm{IR}} =\int d^dx\left[ g^{\mathrm{eff}}_{i\bar j}(m,\bar m;\mu) \,\partial_\mu m^i\partial^\mu\bar m^{\bar j} +O(\partial^4) \right].

The metric is a physical two-derivative coupling, defined only up to field redefinitions. In an $\mathcal N=1$ description it is locally

g^{\mathrm{eff}}_{i\bar j} =\partial_i\partial_{\bar j}K_{\mathrm{eff}}.

Holomorphy of a superpotential does not protect the real function $K_{\mathrm{eff}}$ . Loops of fields whose masses depend on $m$ can therefore change the metric even when $W_{\mathrm{eff}}$ is exactly known. Near a locus where a supposedly integrated-out mass $M(m)$ vanishes, terms such as $\log(|M(m)|/\mu)$ become singular and the reduced field description fails. Standard supersymmetric effective-action examples are reviewed in Weinberg 2000, chs. 27–29.

Three questions should be kept separate:

Does the quantum theory still have a vacuum branch?
Which complex, symplectic, or hyperkähler structures survive?
What is the exact metric on the smooth part of that branch?

The first can be constrained by holomorphy and indices. The second follows from the supersymmetry algebra acting on massless multiplets. The third is generally the most dynamical.

A hypothesis table for common branches

Theory and branch	Structure fixed by supersymmetry	Metric status	Essential qualifications
4d $\mathcal N=1$ chiral moduli	Kähler	Generally corrected	$K_{\mathrm{eff}}$ is not holomorphic; singular loci require added light fields.
4d $\mathcal N=2$ Coulomb branch	Rigid special Kähler	Perturbative and instanton corrections allowed	The exact metric is encoded by a prepotential locally, or by periods globally.
4d $\mathcal N=2$ Higgs branch	Hyperkähler	Protected in a rigid theory with eight unbroken supercharges	Statement concerns the intrinsic Higgs-branch metric; gauging, gravity, or branch intersections require renewed analysis.
3d $\mathcal N=4$ Higgs branch	Hyperkähler	Protected under the analogous rigid assumptions	Real masses and FI parameters can change which branch is present or resolved.
3d $\mathcal N=4$ Coulomb branch	Hyperkähler	Usually corrected	One-loop effects and monopole operators can alter the classical geometry.
2d $(2,2)$ chiral moduli	Kähler	Generally corrected and scale dependent	Worldsheet instantons and RG flow can be important.

This table is a decision aid, not a theorem without hypotheses. “Protected” never means that a singular coordinate chart is trustworthy, that global identifications are automatic, or that higher-derivative terms vanish.

Why the 4d N=2 Higgs metric is special

On a pure Higgs branch of a rigid four-dimensional $\mathcal N=2$ theory, the massless coordinates sit in hypermultiplets, whereas gauge couplings and Coulomb-branch moduli sit in vector multiplets. Eight supercharges forbid a general dependence of the hypermultiplet two-derivative metric on background vector-multiplet scalars. Moving to a weakly coupled region of vector-multiplet parameter space can then compute the same intrinsic Higgs-branch metric, yielding the classical hyperkähler quotient result.

The argument has a domain. At an intersection with a Coulomb or mixed branch, extra vector multiplets are massless and a sigma model containing only Higgs coordinates is incomplete. Coupling to supergravity changes the target geometry from hyperkähler to quaternionic Kähler. Gauging a flavor symmetry or compactifying can introduce new scales and new light sectors. Each modification changes an assumption used above.

Coulomb-branch metrics and special coordinates

For a rank- $r$ four-dimensional $\mathcal N=2$ Coulomb branch, choose local special coordinates $a^I$ . The two-derivative abelian action is controlled locally by a holomorphic prepotential $\mathcal F(a)$ ,

\tau_{IJ}(a)=\frac{\partial^2\mathcal F}{\partial a^I\partial a^J}, \qquad ds^2=\operatorname{Im}\tau_{IJ}\,da^I d\bar a^J.

Holomorphy strongly constrains $\mathcal F$ but does not force it to equal its classical value. Massive charged multiplets generate logarithmic one-loop terms, and instantons generate nonperturbative terms. Moreover, $(a^I,a_{D,I})$ undergo electric–magnetic monodromy, so no single prepotential need cover the entire branch.

For pure $SU(2)$ theory at $|a|\gg\Lambda$ , dimensional analysis and the one-loop beta function give schematically

\mathcal F(a) =\frac{i}{2\pi}a^2\log\frac{a^2}{\Lambda^2} +a^2\sum_{k\ge1}c_k\left(\frac{\Lambda}{a}\right)^{4k},

up to convention-dependent quadratic terms. The logarithm and instanton series change the metric. Near a singular point, a monopole or dyon becomes massless; including that multiplet restores a regular local effective description even though the metric written only in the original electric coordinate appears singular. This exact $SU(2)$ Coulomb-branch mechanism is the Seiberg–Witten solution Seiberg and Witten 1994, pp. 19–52, arXiv:hep-th/9407087.

A threshold calculation as a diagnostic

Suppose a heavy chiral multiplet has a holomorphic mass $M(X)=m+\lambda X$ , where $X$ is a light modulus. Integrating it out produces a one-loop correction of the schematic form

\Delta K_{\mathrm{eff}} \sim -\frac{1}{32\pi^2}|M(X)|^2 \log\frac{|M(X)|^2}{\mu^2},

with the overall multiplicity and finite terms depending on the model and scheme. Differentiating twice changes $g_{X\bar X}$ . The correction is reliable only where $|M(X)|$ is well above the external momenta. Its logarithmic behavior as $M\to0$ is not proof that the full theory is singular; it announces that the heavy-field EFT has crossed its validity boundary.

This provides a universal practical rule: whenever a metric correction diverges, first identify which mass used in matching is approaching zero. Reintroduce that degree of freedom before interpreting the geometry.

How to state a protection claim

A useful statement has the form:

In a rigid theory with specified dimension and supersymmetry, on the named branch away from mixed-branch intersections, the stated two-derivative structure is protected from the listed quantum effects; this does not fix global identifications, higher-derivative terms, or physics at loci with additional massless fields.

Then check four independent inputs: the unbroken supercharges, the multiplets containing couplings and moduli, the absence of branch mixing, and the energy range of the effective action. Holomorphy can constrain F-terms; it does not by itself establish a metric theorem.

Common pitfalls

Using the classical quotient metric everywhere. The quotient metric is a classical starting point. In an $\mathcal N=1$ theory it is generally renormalized, and near a singular stratum its coordinate-only EFT may be invalid.

Calling holomorphic data a metric. A prepotential or chiral-ring relation constrains the metric only after the appropriate supersymmetry structure is supplied. Even then, monodromy can require multiple special-coordinate patches.

Overextending Higgs-branch protection. The standard 4d $\mathcal N=2$ result assumes a rigid theory and a pure Higgs-branch region. Mixed branches, compactification, gauging, and gravity must be treated separately.

Exercises

Let $K=X^\dagger X-(c/\Lambda^2)(X^\dagger X)^2$ with real $c$ .

Compute $g_{X\bar X}$ .
Determine the region in which this truncated metric is positive.
Explain why violation of positivity does not prove that the UV theory is inconsistent.

Solution

Writing $r=X\bar X$ gives $g_{X\bar X}=\partial_X\partial_{\bar X}(r-cr^2/\Lambda^2)=1-4cr/\Lambda^2$ . For $c>0$ , the truncated metric is positive when $|X|^2<\Lambda^2/(4c)$ ; for $c<0$ it is positive throughout this truncation. If the bound is approached, higher powers of $r/\Lambda^2$ are not parametrically smaller, so the derivative and field expansion has left its controlled domain. One must use the full effective action or the UV completion before drawing a consistency conclusion.

References

Seiberg, Nathan, and Edward Witten. “Electric–Magnetic Duality, Monopole Condensation, and Confinement in $\mathcal N=2$ Supersymmetric Yang–Mills Theory.” Nuclear Physics B 426 (1994): 19–52; erratum 430 (1994): 485–486. arXiv:hep-th/9407087.
Weinberg, Steven. The Quantum Theory of Fields, Volume III: Supersymmetry. Cambridge University Press, 2000, chs. 27–29. doi:10.1017/CBO9781139644198.