Supersymmetric Sigma Models and Kähler Geometry

A two-dimensional nonlinear sigma model turns scalar fields into a map $\phi:\Sigma_2\to X$. Requiring ordinary $(2,2)$ supersymmetry for a two-derivative model built only from chiral multiplets forces the target metric to be Kähler. A flat $B$-field may be added as separate global data, and the quantum axial R anomaly is controlled by $c_1(TX)$. The Kähler condition is an off-shell statement for this multiplet choice; conformal invariance is a stronger quantum condition.

Required background. We use $(2,2)$ chiral superspace and the general construction of supersymmetric Kähler sigma models. Helpful background. Regulated Jacobians and measure variation explain the axial anomaly used below.

From superspace to Kähler geometry

Let $\Phi^i$ be local holomorphic coordinates on a complex target $X$. The most general two-derivative D-term action made only from these chiral fields is

$$S_D=\frac1{4\pi\alpha'}\int d^2x\,d^4\theta\,K(\Phi,\bar\Phi).$$

Its bosonic part contains

$$S_{\mathrm{bos}}= \frac1{4\pi\alpha'}\int d^2x\, g_{i\bar j}(\phi,\bar\phi) \partial_\mu\phi^i\partial^\mu\bar\phi^{\bar j}+\cdots,$$

with

$$g_{i\bar j}=\partial_i\partial_{\bar j}K, \qquad g_{ij}=g_{\bar i\bar j}=0.$$

The associated two-form

$$\omega=i g_{i\bar j}\,d\phi^i\wedge d\bar\phi^{\bar j}$$

is closed because mixed partial derivatives commute. Thus $(X,g,J,\omega)$ is Kähler. Conversely, every Kähler metric is locally of this form. On overlaps $U_a\cap U_b$, local potentials may differ by

$$K_a-K_b=f_{ab}(\Phi)+\bar f_{ab}(\bar\Phi),$$

whose full-superspace integral is a total derivative. On a closed worldsheet the action therefore glues even when no global Kähler potential exists; worldsheets with boundary require compatible boundary couplings. This is the superspace version of Zumino’s result that a second supersymmetry requires a covariantly constant complex structure compatible with the metric Zumino 1979, pp. 203–206. A detailed component reduction appears in Hori et al. 2003, §13.1, pp. 291–294.

Component geometry and fermions

The right- and left-moving fermions are sections

$$\psi_+^i\in\Gamma(S_+\otimes\phi^*T^{1,0}X), \qquad \psi_-^i\in\Gamma(S_-\otimes\phi^*T^{1,0}X),$$

with conjugates valued in $T^{0,1}X$. Their kinetic terms use the pullback Levi-Civita connection, and supersymmetry fixes a four-fermion curvature interaction of the form

$$R_{i\bar j k\bar l}\psi_+^i\psi_-^k \bar\psi_-^{\bar j}\bar\psi_+^{\bar l}.$$

To make the component reduction explicit, define

$$\mathcal F^i=F^i-\Gamma^i{}_{jk}\psi_+^j\psi_-^k, \qquad \nabla_\pm=\nabla_0\pm\nabla_1.$$

Up to the common factor $1/(4\pi\alpha')$, one Lorentzian convention compatible with the page’s $(+,-)$ metric is

$$\begin{aligned} \mathcal L_K={}& g_{i\bar j}\partial_\mu\phi^i\partial^\mu\bar\phi^{\bar j} +i g_{i\bar j}\bar\psi_-^{\bar j}\nabla_+\psi_-^i +i g_{i\bar j}\bar\psi_+^{\bar j}\nabla_-\psi_+^i\\ &+g_{i\bar j}\mathcal F^i\bar{\mathcal F}^{\bar j} +R_{i\bar j k\bar l}\psi_+^i\psi_-^k \bar\psi_-^{\bar j}\bar\psi_+^{\bar l}. \end{aligned}$$

This curvature term is not optional: varying the pullback connection in the fermion kinetic terms produces curvature, whose cancellation requires the four-fermion coupling.

The transformations can be reconstructed without equations of motion. With

$$Q_\pm=\frac{\partial}{\partial\theta^\pm} +i\bar\theta^\pm\partial_\pm, \qquad \bar Q_\pm=-\frac{\partial}{\partial\bar\theta^\pm} -i\theta^\pm\partial_\pm,$$

act on every chiral superfield by

$$\delta_\epsilon\Phi^i= (\epsilon^+Q_++\epsilon^-Q_-+ \bar\epsilon^+\bar Q_++\bar\epsilon^-\bar Q_-)\Phi^i.$$

For the component expansion used on the algebra page, the lowest variation is $\delta\phi^i=\sqrt2(\epsilon^+\psi_+^i+\epsilon^-\psi_-^i)$. Applying the same differential operator and then setting $\theta=\bar\theta=0$ gives the fermion and auxiliary-field variations. Keeping $F^i$ makes closure off shell. A Kähler transformation changes neither this rule nor the action on a closed worldsheet.

If a holomorphic superpotential $W$ is added, the bosonic potential is $g^{i\bar j}\partial_iW\partial_{\bar j}\bar W$. A pure sigma model has $W=0$ and a continuous target; a sigma model with $W$ is more properly a curved-target Landau–Ginzburg model.

The $B$-field and torsion

A $B$-field is globally a gerbe connection: local two-form potentials $B_a$ have a globally defined curvature $H=dB_a$ with quantized periods. In the sector $H=0$, a flat $B$-field can often be represented by a global closed two-form, in which case it contributes

$$S_B=-\frac{i}{2\pi\alpha'}\int_{\Sigma_2}\phi^*B$$

in Euclidean signature, with the orientation convention used in the instanton weight below. In general the exponentiated term is the gerbe holonomy on $\phi(\Sigma_2)$, so it remains meaningful when no global $B$ exists. Small gauge transformations are $B_a\mapsto B_a+d\Lambda_a$; large transformations shift the normalized periods while leaving $\exp(-S_B)$ invariant. The Hodge-$(1,1)$ component that pairs with Kähler moduli conventionally combines with the Kähler form as $B+i\omega$, up to the displayed normalization. The local D-term built from $K$ determines $g$ and $\omega$; it does not by itself specify this global flat $B$-field.

The elementary chiral-only superspace action above has Kähler target and no local torsion. More general $(2,2)$ models containing both chiral and twisted-chiral fields—or semichiral multiplets—can support $H\ne0$ and generalized Kähler, or bi-Hermitian, geometry. In that case two complex structures $J_\pm$ are covariantly constant with respect to connections with torsion $\pm H$. This generalization was derived in Gates, Hull, and Roček 1984, pp. 157–186. It does not contradict the Kähler result; it changes the off-shell multiplet content and geometric hypotheses.

R-symmetry anomalies

Classically both $U(1)_V$ and $U(1)_A$ act on the fermions. In an ordinary closed-worldsheet Kähler sigma model, the vector symmetry is non-anomalous, whereas the axial fermion measure transforms by an index proportional to

$$\int_{\Sigma_2}\phi^*c_1(TX).$$

For a map in class $\beta=\phi_*[\Sigma_2]$, the axial charge violation is proportional to $2\langle c_1(TX),\beta\rangle$. A continuous $U(1)_A$ for all included sectors requires all such pairings to vanish; $c_1(TX)=0$ in integral cohomology is a clean sufficient condition. If the nonzero pairings have greatest common divisor $d$, only a discrete $\mathbb Z_{2d}$ subgroup survives. Torsion classes and determinant-line holonomy are invisible to this local index and require a separate global-anomaly check. These distinctions control the twists:

• the A-twist uses $U(1)_V$ and is available for a generic Kähler target;
• the B-twist uses $U(1)_A$ and globally requires the axial anomaly to vanish.

For a Calabi–Yau target, a nowhere-vanishing holomorphic volume form trivializes the canonical bundle and sets $c_1(TX)=0$. The converse can require global qualifications, especially for noncompact or singular spaces. Boundaries can carry additional anomaly inflow and are not covered by the closed-worldsheet statement.

Renormalization and the conformal question

At one loop in the standard sigma-model normalization, the metric runs by the Ricci tensor Friedan 1980, pp. 1057–1060:

$$\mu\frac{d}{d\mu}g_{i\bar j} =\alpha'R_{i\bar j}+O(\alpha'^2),$$

up to the sign convention for RG time. A Ricci-flat metric cancels the leading metric beta function, but several distinctions matter:

1. Kähler is not Ricci-flat. Kähler geometry is required by supersymmetry; Ricci-flatness addresses conformal invariance.
2. One loop is not an all-orders proof. Extended supersymmetry strongly constrains higher corrections, but a Ricci-flat Kähler metric can acquire a nonzero four-loop beta function in a conventional scheme Hori et al. 2003, §14.2, pp. 328–330. When the relevant obstruction vanishes, the conformal metric is adjusted order by order and is defined only up to field redefinitions; the uncorrected classical metric is not automatically the exact representative.
3. Vanishing beta functions are not enough without a well-defined QFT. Noncompact targets can have continuous spectra and infrared divergences.
4. The dilaton changes the equations. A nonconstant dilaton contributes to Weyl-invariance conditions and cannot be omitted in general string backgrounds.

The cohomology class of the one-loop flow is proportional to $c_1(X)$; higher-loop local corrections are scheme-dependent and need not vanish pointwise. For $c_1(X)=0$, the leading class does not run. For Fano targets such as $\mathbb{CP}^{N-1}$, the model is asymptotically free and generates a scale.

Worldsheet instantons

In Euclidean signature, an A-type BPS configuration is a holomorphic map $\bar\partial\phi=0$. The bosonic action admits the bound

$$S_E\ge \frac1{2\pi\alpha'} \left|\int_{\Sigma_2}\phi^*\omega\right|,$$

with equality for a holomorphic or antiholomorphic map according to orientation. When a global representative of the flat $B$-field exists, its weight combines area and the $B$-field phase,

$$\exp\left[-\frac1{2\pi\alpha'}\int\phi^*\omega +\frac{i}{2\pi\alpha'}\int\phi^*B\right].$$

For a general gerbe, the second exponential is replaced by its surface holonomy. Instantons can deform A-model products into quantum cohomology. B-model local observables are independent of Kähler moduli and do not receive the same worldsheet-instanton corrections, though global anomalies, boundaries, and noncompactness still require control; the localization and observable structure of the sigma-model twist were established in Witten 1988, pp. 411–449.

For $X=\mathbb{CP}^{N-1}$, the classical cohomology relation $H^N=0$ becomes the quantum relation

$$H^N=q,$$

where $q$ records the complexified Kähler parameter in a chosen normalization. The GLSM and effective twisted-superpotential pages derive the same relation from a gauge-theory Coulomb branch.

Domain of validity

Statement	Assumptions	Typical failure
Chiral multiplets imply Kähler target	Two-derivative off-shell $(2,2)$ action using ordinary chirals	Twisted or semichiral multiplets allow torsionful generalized Kähler targets
B-twist exists	Quantum non-anomalous $U(1)_A$	$c_1(TX)\ne0$ or boundary anomaly
Instanton sum is discrete	Compact moduli after stable-map completion	Noncompact zero modes or bubbling at uncontrolled boundaries
Ricci-flatness suggests an SCFT	Compact, unitary model with controlled quantum corrections	Continuum, dilaton gradient, singular target
Classical geometry is a valid EFT	Curvatures small in sigma-model units and omitted modes heavy	Singular GLSM wall or small-cycle regime
Untwisted fermion path integral exists	Chosen worldsheet spin structure and globally defined pullback bundles	Spin/bundle obstruction or uncanceled boundary anomaly

Exercises

1. Show directly that $\omega=i\partial\bar\partial K$ is closed.

Solution

$d=\partial+\bar\partial$, while $\partial^2=\bar\partial^2=0$ and $\partial\bar\partial=-\bar\partial\partial$. Therefore $d\omega=i(\partial+\bar\partial)\partial\bar\partial K=0$.

2. For the Fubini–Study potential $K=r\log(1+|z|^2)$ on a patch of $\mathbb{CP}^1$, compute the metric and Kähler form.

Solution

Two derivatives give

$$g_{z\bar z}=\frac{r}{(1+|z|^2)^2}, \qquad \omega=\frac{ir\,dz\wedge d\bar z}{(1+|z|^2)^2}.$$

On the opposite patch the potentials differ by a holomorphic plus antiholomorphic term, so the metric and $\omega$ agree globally.

3. Why can a noncompact Ricci-flat Kähler target fail to define a compact SCFT spectrum?

Solution

Ricci-flatness controls the local beta function, not normalizability. A noncompact target permits wavefunctions to escape to infinity and generally produces a continuum of states. Partition functions and indices then need infrared boundary conditions or regulators.

References

• Friedan, D. H. “Nonlinear Models in $2+\epsilon$ Dimensions.” Physical Review Letters 45 (1980): 1057–1060. doi:10.1103/PhysRevLett.45.1057.
• Gates, S. J., Hull, C. M., and Roček, M. “Twisted Multiplets and New Supersymmetric Nonlinear Sigma Models.” Nuclear Physics B 248 (1984): 157–186. doi:10.1016/0550-3213(84)90592-3.
• Hori, K., Katz, S., Klemm, A., Pandharipande, R., Thomas, R., Vafa, C., Vakil, R., and Zaslow, E. Mirror Symmetry. Clay Mathematics Monographs 1. Providence, RI: American Mathematical Society and Clay Mathematics Institute, 2003, chs. 13–14. Clay Mathematics Institute book page.
• Witten, E. “Topological Sigma Models.” Communications in Mathematical Physics 118 (1988): 411–449. doi:10.1007/BF01466725.
• Zumino, B. “Supersymmetry and Kähler Manifolds.” Physics Letters B 87 (1979): 203–206. doi:10.1016/0370-2693(79)90964-X.