Extended Superspace Methods and Off-Shell Limits

Extended superspace makes more supercharges manifest by enlarging the coordinate space, but it does not guarantee a finite auxiliary-field completion. For a four-dimensional $\mathcal N=2$ hypermultiplet, harmonic superspace replaces the on-shell ordinary-superspace constraint by an unconstrained analytic field with an infinite harmonic expansion; projective superspace repackages the same type of off-shell data as a holomorphic series over a patch of $\mathbb{CP}^1$. These formalisms solve important representation and action problems while retaining dimension-, multiplet-, locality-, and auxiliary-cardinality limits.

Required background. The off-shell auxiliary closure map supplies the finite-versus-infinite auxiliary distinction. Extended Supersymmetry, Central Charges, and R-Symmetry supplies the four-dimensional $\mathcal N=2$ algebra and its $SU(2)_R$ index.

Helpful background. Vector, Principal, and Associated Bundles supplies the local-patch and section language used for the auxiliary sphere.

Why ordinary N=2 superspace puts the hypermultiplet on shell

Flat four-dimensional $\mathcal N=2$ superspace has coordinates

$$(x^\mu,\theta^\alpha_i,\bar\theta^{\dot\alpha i}), \qquad i=1,2,$$

and, with vanishing central charge,

$$\{D_\alpha^i,\bar D_{\dot\beta j}\} =-2i\delta^i{}_j \sigma^\mu_{\alpha\dot\beta}\partial_\mu.$$

A doublet $q^i$ subject to the conventional constraints

$$D_\alpha^{(i}q^{j)}=0, \qquad \bar D_{\dot\alpha}^{(i}q^{j)}=0$$

has the desired physical scalars and fermions, but repeated derivatives imply their spacetime equations. The constraint is therefore an on-shell hypermultiplet, not a finite unconstrained off-shell field.

The field and reality data are part of that statement. Here $q^i$ is a complex $SU(2)_R$ doublet and

$$\bar q_i=(q^i)^*$$

is its conjugate doublet; pseudoreality of the $\mathbf2$ representation makes the two representation spaces equivalent but does not make $q^i$ a real commuting doublet. A symplectic-real notation instead introduces a Pauli–Gürsey index $a$ and an antisymmetric form $\Omega_{ab}$, normalized by $\Omega_{12}=1$, and imposes

$$\overline{q^{ia}} =q_{ia} :=\epsilon_{ij}\Omega_{ab}q^{jb},$$

so that the two antisymmetric structures make conjugation square to $+1$. For a hypermultiplet in a complex gauge representation $R$, one keeps a complex pair in $R$ and $R^*$ and cannot identify the two members. The displayed zero-central-charge constraints are the on-shell Fayet–Sohnius system; introducing a central charge changes the algebra and can supply a different finite off-shell multiplet. The complex doublet, its conjugate, and the central-charge extension are displayed explicitly in Gaida 1996, § 1, eqs. (1.17)–(1.23), pp. 5–6.

One can alter the problem by introducing a central charge, choosing a different multiplet, or making only an $\mathcal N=1$ subalgebra manifest. None of these is the same as a finite, central-charge-free, manifestly $\mathcal N=2$ hypermultiplet.

Harmonic variables and analytic superspace

Using $\epsilon^{12}=+1$, introduce harmonics

$$u_i^+,\quad u_i^-, \qquad u^{\pm i}:=\epsilon^{ij}u_j^\pm, \qquad u^{+i}u_i^-=1, \qquad u_i^+u^{+i}=0,$$

which parametrize

$$\frac{SU(2)_R}{U(1)}\simeq S^2.$$

They project the $SU(2)_R$ index:

$$\theta^{\pm\alpha}=u_i^\pm\theta^{\alpha i}, \qquad \bar\theta^{\pm\dot\alpha} =u_i^\pm\bar\theta^{\dot\alpha i},$$

and likewise

$$D_\alpha^\pm=u_i^\pm D_\alpha^i, \qquad \bar D_{\dot\alpha}^\pm =u_i^\pm\bar D_{\dot\alpha}^i.$$

The projected derivatives satisfy

$$\{D_\alpha^+,\bar D_{\dot\beta}^+\}=0,$$

so the analytic constraints

$$D_\alpha^+q^+=0, \qquad \bar D_{\dot\alpha}^+q^+=0$$

are integrable. In an analytic coordinate basis,

$$q^+=q^+(x_A,\theta^+,\bar\theta^+,u)$$

depends on half of the odd coordinates and on the full harmonic sphere. The superscript $+$ is a $U(1)$ harmonic charge, not an electric charge.

The harmonic derivative $D^{++}$ raises that charge and, schematically,

$$D^{++} =u^{+i}\frac{\partial}{\partial u^{-i}} -2i\theta^+\sigma^\mu\bar\theta^+\partial_\mu+\cdots.$$

Its omitted terms are fixed by the analytic coordinate basis. It maps analytic superfields to analytic superfields.

The infinite auxiliary tower

An analytic charge-one hypermultiplet has a harmonic expansion beginning

$$q^+(z,u) =f^i(z)u_i^+ +f^{(ijk)}(z)u_i^+u_j^+u_k^- +\cdots,$$

with analogous expansions for each $\theta^+$ and $\bar\theta^+$ coefficient. Before equations of motion there are infinitely many ordinary spacetime fields. Only the lowest harmonic coefficients contain the physical hypermultiplet; the rest are auxiliary.

Ordinary complex conjugation does not preserve the analytic coordinates. Harmonic superspace therefore uses generalized, or smile, conjugation: complex conjugation is composed with the antipodal operation on the harmonic sphere. On a charge-$q$ analytic superfield $\Psi^{(q)}$ it obeys

$$\widetilde{\widetilde{\Psi^{(q)}}} =(-1)^q\Psi^{(q)}.$$

Only even-charge analytic fields can be individually real under this operation. In particular, a charge-one $q^+$ cannot obey $\widetilde q^+=q^+$; the free charged hypermultiplet uses the pair $q^+$ and $\widetilde q^+$, in conjugate gauge representations when a gauge group acts. Kuzenko records the analytic real structure and this even-charge restriction in Kuzenko 1999 (1998 preprint), § 3, eqs. (3.5)–(3.11), pp. 8–9.

A free action has the form

$$S_{\rm free} =-\int\mathrm d\zeta^{(-4)}\,\mathrm du\; \widetilde q^+D^{++}q^+,$$

where $\mathrm d\zeta^{(-4)}\,\mathrm du$ is the analytic superspace and normalized harmonic measure, and the tilde denotes the harmonic analytic conjugation appropriate to the real structure. The equation

$$D^{++}q^+=0$$

recursively removes the higher harmonic coefficients and imposes the physical equations on the surviving components. Off shell, all eight supercharges act manifestly on the infinite tower; on shell, the tower collapses to the usual hypermultiplet.

The first recursion makes both claims concrete. Expand only as far as needed,

$$q^+ =f^+(x_A,u) +\theta^+\psi(x_A,u) +\bar\theta^+\bar\kappa(x_A,u) +\theta^+\sigma^m\bar\theta^+A_m^-(x_A,u) +\cdots.$$

Using the displayed $D^{++}=\partial^{++}-2i\theta^+\sigma^m\bar\theta^+\partial_m+\cdots$ gives successively

$$\begin{aligned} \partial^{++}f^+&=0, & f^+&=f^i(x_A)u_i^+,\\ \partial^{++}\psi&=0, & \psi&=\psi(x_A),\\ \partial^{++}\bar\kappa&=0, & \bar\kappa&=\bar\kappa(x_A),\\ \partial^{++}A_m^-&=2i\,\partial_m f^+, & A_m^-&=2i\,\partial_m f^i(x_A)u_i^-. \end{aligned}$$

Thus the higher harmonic coefficient $A_m^-$ is already a derivative of the physical scalar rather than a new mode. Continuing through the remaining Grassmann orders eliminates the other harmonic coefficients and yields

$$\Box f^i=0, \qquad \bar\sigma^{m\dot\alpha\alpha}\partial_m\psi_\alpha=0, \qquad \sigma^m_{\alpha\dot\alpha} \partial_m\bar\kappa^{\dot\alpha}=0.$$

This is the promised component comparison: $q^+$ is unconstrained off shell as an analytic function on $S^2$, whereas its free Euler–Lagrange equation removes the infinite auxiliary tower and puts the surviving hypermultiplet on shell.

This construction is not a disguised finite completion. Its success comes from replacing finitely many auxiliary spacetime fields by a function on $S^2$. Galperin and collaborators introduced the unconstrained harmonic formulation in Galperin et al. 1984, pp. 469–498; the full component and action analysis is developed in Galperin et al. 2001, ch. 5, pp. 74–106.

Projective superspace

Projective superspace retains the ordinary $\mathcal N=2$ coordinates and introduces a complex coordinate $w$ on a patch of $\mathbb{CP}^1$. Define

$$\nabla_\alpha(w) =wD_\alpha^1-D_\alpha^2, \qquad \bar\nabla_{\dot\alpha}(w) =\bar D_{\dot\alpha 1} +w\bar D_{\dot\alpha 2}.$$

The $\mathcal N=2$ derivative algebra gives

$$\{\nabla_\alpha(w),\bar\nabla_{\dot\beta}(w)\}=0,$$

so a projective superfield $\Upsilon(z,w)$ can obey

$$\nabla_\alpha(w)\Upsilon=0, \qquad \bar\nabla_{\dot\alpha}(w)\Upsilon=0, \qquad \partial_{\bar w}\Upsilon=0.$$

An arctic multiplet is holomorphic near $w=0$:

$$\Upsilon(z,w) =\sum_{n=0}^{\infty}\Upsilon_n(z)w^n.$$

Viewed as $\mathcal N=1$ superfields,

$$\bar D_{\dot\alpha}\Upsilon_0=0, \qquad \bar D^2\Upsilon_1=0,$$

while $\Upsilon_{n\ge2}$ are unconstrained complex superfields. Thus $\Upsilon_0$ is chiral, $\Upsilon_1$ is complex linear, and the remaining coefficients form an infinite auxiliary tower.

The conjugate antarctic multiplet is defined on the opposite patch by a conjugation combining ordinary complex conjugation with the antipodal map of $\mathbb{CP}^1$. A typical invariant is a contour integral

$$S = \frac{1}{2\pi i} \oint_C\frac{\mathrm dw}{w} \int\mathrm d^4x\,\mathrm d^4\theta\; \mathcal L(\Upsilon,\breve\Upsilon,w).$$

The contour, patch, poles, and projective weight are part of the action. Kuzenko gives the projective constraints, conjugation, arctic expansion, and contour measure explicitly in Kuzenko 1999 (1998 preprint), § 2, eqs. (2.2)–(2.17), pp. 3–5, and relates the harmonic and projective descriptions in §§ 3–4, pp. 7–14.

What is manifest in each formalism

Formulation	Manifest supersymmetry	Hypermultiplet auxiliaries	Additional structure	Typical limitation
Ordinary $\mathcal N=1$ superfields	Four supercharges	Finite $\mathcal N=1$ auxiliaries	Second supersymmetry acts nonmanifestly	Extra supersymmetry may close only on shell
Ordinary $\mathcal N=2$ constrained $q^i$	Eight supercharges	None sufficient	Differential constraints	Hypermultiplet is on shell
Harmonic $q^+$	Eight supercharges	Infinite harmonic tower	$S^2$ harmonics and analytic measure	More fields and harmonic analysis
Projective arctic $\Upsilon(w)$	Eight supercharges	Infinite holomorphic series	Patches, antipodal conjugation, contour	Only a subgroup of $SU(2)_R$ is manifest in a patch

“Manifest” describes the transformation law in the chosen variables. It does not by itself establish locality of an eliminated component action, quantum equivalence of two measures, or the existence of a finite auxiliary set.

For the corresponding $\mathcal N=1$ constraint, gauge, component, auxiliary, and closure columns, compare the superfield constraints and closure table.

Finite completions that do exist

The obstruction is multiplet specific.

• The four-dimensional $\mathcal N=2$ vector multiplet admits a finite off-shell completion, with a gauge field, two gaugini, a complex scalar, and an $SU(2)_R$ triplet of real auxiliaries.
• Tensor multiplets and specialized multiplets can also have finite descriptions.
• A hypermultiplet can acquire a finite formulation after adding a central charge or other qualifying structure, but the algebra and representation have then changed.
• An $\mathcal N=1$ decomposition can keep finitely many auxiliaries while making only half of $\mathcal N=2$ manifest; the second half may close on shell.

These examples prevent the false conclusion that “extended supersymmetry always requires infinitely many auxiliaries.”

The N=4 Yang–Mills ceiling

Four-dimensional $\mathcal N=4$ Yang–Mills has sixteen supercharges. No conventional finite, local, Lorentz-covariant component formulation is known in which all sixteen close off shell manifestly. Within the component representations and auxiliary-field assumptions they count, Siegel and Roček exclude a broad class of finite completions Siegel and Roček 1981, pp. 275–277.

The justified conclusion is limited:

• it does not exclude an infinite tower;
• it does not exclude formalisms with extra coordinates or nonstandard gauge redundancy;
• it does not exclude keeping a subgroup of supersymmetry manifest;
• it does not turn every claimed alternative into a valid construction;
• it does not establish an interacting action merely from algebraic closure.

Harmonic superspace gives, for example, an unconstrained off-shell $\mathcal N=3$ superfield formulation Galperin et al. 1985, pp. 155–166 whose on-shell content matches $\mathcal N=4$ Yang–Mills Galperin et al. 2001, ch. 12, pp. 263–280. That is powerful, but it makes twelve rather than all sixteen supercharges manifest and uses infinitely many harmonic auxiliaries. The supersymmetry count, auxiliary cardinality, and on-shell equivalence must remain visible.

Comparing harmonic and projective variables

Harmonic superfields are globally smooth charge-weighted functions on the auxiliary $S^2$ and preserve manifest $SU(2)_R$ covariance. Projective superfields are holomorphic on punctured patches and are economical for reduction to $\mathcal N=1$ superfields. Polar and arctic multiplets still have infinite series. Finite truncation applies only to special classes such as $\mathcal O(p)$ multiplets; the general relation instead compares smooth harmonic data with punctured or limiting projective data on the same auxiliary geometry. It is not the identity of two finite component lists.

Lindström and Roček’s projective construction produces new off-shell multiplets and hyperkähler sigma-model geometries Lindström and Roček 1988, pp. 21–29. Kuzenko’s comparison shows how projective multiplets arise from suitable punctured harmonic data and also records the tradeoff between harmonic $SU(2)_R$ covariance and projective economy Kuzenko 1999 (1998 preprint), §§ 1–4, pp. 1–14.

Common pitfalls

One superfield need not mean finitely many fields. A harmonic or projective superfield is a function of an additional bosonic coordinate and generally contains an infinite expansion.

On-shell equivalence is not off-shell identity. Two formalisms can reduce to the same physical hypermultiplet while differing in auxiliaries, gauge symmetries, and manifest supersymmetry.

A counting obstruction is not assumption free. State finite cardinality, Lorentz covariance, locality, central charges, gauge structure, and the number of manifest supercharges before quoting a no-go result.

Exercises

1. Check analytic integrability

Use the $\mathcal N=2$ derivative algebra to show $\{D_\alpha^+,\bar D_{\dot\beta}^+\}=0$.

Solution

Contracting with two $u^+$ harmonics gives

$$\{D_\alpha^+,\bar D_{\dot\beta}^+\} =-2i\,u_i^+u^{+i} \sigma^\mu_{\alpha\dot\beta}\partial_\mu.$$

The antisymmetric $SU(2)$ contraction $u_i^+u^{+i}$ vanishes, so the analytic constraints are mutually integrable.

2. Read the arctic coefficients

Why are $\Upsilon_0$ and $\Upsilon_1$ special?

Solution

Expanding the projective constraints in powers of $w$ relates neighboring coefficients. At the lower endpoint there is no $\Upsilon_{-1}$, giving $\bar D_{\dot\alpha}\Upsilon_0=0$. The next relation gives $\bar D^2\Upsilon_1=0$. For $n\ge2$, no endpoint condition remains, so the coefficients are unconstrained $\mathcal N=1$ superfields and serve as auxiliaries.

3. Evaluate a formulation claim

A paper says that $\mathcal N=4$ Yang–Mills is “off shell in harmonic superspace.” What data are needed before interpreting the statement?

Solution

Ask how many of the sixteen supercharges are manifest, whether the auxiliary tower is finite or infinite, which gauge prepotentials and harmonic constraints are used, whether an interacting action exists, and whether equivalence to $\mathcal N=4$ holds off shell or only after equations of motion. An $\mathcal N=3$ harmonic formulation with on-shell $\mathcal N=4$ enhancement is not the same as manifest off-shell closure of all sixteen charges.

Continue

Supersymmetric Action Principles and Component Reduction explains how an off-shell realization becomes an action. N=2 Multiplets, Lagrangians, and Vacuum Branches applies the finite vector and hypermultiplet distinctions in four-dimensional gauge dynamics.

References

• Gaida, Ingo. “The Hypermultiplet in N=2 Superspace.” HUB-EP-96/35, 1996. arXiv:hep-th/9607216.

• Galperin, A. S., E. A. Ivanov, S. Kalitzin, V. I. Ogievetsky, and E. S. Sokatchev. “Unconstrained N=2 Matter, Yang–Mills and Supergravity Theories in Harmonic Superspace.” Classical and Quantum Gravity 1 (1984): 469–498; erratum 2 (1985): 127. DOI.

• Galperin, A. S., E. A. Ivanov, S. Kalitzin, V. I. Ogievetsky, and E. S. Sokatchev. “Unconstrained Off-Shell N=3 Supersymmetric Yang–Mills Theory.” Classical and Quantum Gravity 2 (1985): 155–166. DOI.

• Galperin, A. S., E. A. Ivanov, V. I. Ogievetsky, and E. S. Sokatchev. Harmonic Superspace. Cambridge Monographs on Mathematical Physics. Cambridge: Cambridge University Press, 2001. DOI.

• Kuzenko, Sergei M. “Projective Superspace as a Double-Punctured Harmonic Superspace.” International Journal of Modern Physics A 14 (1999): 1737–1758. DOI. arXiv:hep-th/9806147.

• Lindström, Ulf, and Martin Roček. “New Hyperkähler Metrics and New Supermultiplets.” Communications in Mathematical Physics 115 (1988): 21–29. DOI.

• Siegel, Warren, and Martin Roček. “On Off-Shell Supermultiplets.” Physics Letters B 105 (1981): 275–277. DOI.