Supercovariant Derivatives, Chirality, and Integrability

Supercovariant derivatives are the fermionic differential operators that commute in the graded sense with supertranslations. Their relative signs are fixed, not guessed: they are the right-invariant partners of the differential supercharges. A constraint built from them is supersymmetry invariant, but it defines a consistent multiplet only when its derivative distribution is integrable. In flat four-dimensional $\mathcal N=1$ superspace, $\bar D_{\dot\alpha}\Phi=0$ is integrable and its general solution is an unconstrained function of $(y^\mu,\theta^\alpha)$.

Required background. Superspace and Supertranslations derives the differential supercharges and chiral coordinates. Graded Algebra, Grassmann Variables, and Berezin Integration supplies the left-derivative rules used below.

Helpful background. Spinors, Conjugations, Bilinears, and Fierz Identities supplies the index identities needed for component projection.

Deriving the covariant derivatives

Retain

$$\begin{aligned} Q_\alpha &=\partial_\alpha -i\sigma^\mu_{\alpha\dot\alpha} \bar\theta^{\dot\alpha}\partial_\mu,\\ \bar Q_{\dot\alpha} &=-\bar\partial_{\dot\alpha} +i\theta^\alpha\sigma^\mu_{\alpha\dot\alpha}\partial_\mu. \end{aligned}$$

Spinor indices are raised and lowered with $\epsilon^{12}=\epsilon_{21}=1$; in particular, $D^2=D^\alpha D_\alpha$.

Seek a first-order odd operator with the same leading coordinate derivative as $Q_\alpha$,

$$D_\alpha =\partial_\alpha +c\,i\sigma^\mu_{\alpha\dot\alpha} \bar\theta^{\dot\alpha}\partial_\mu.$$

The condition $\{D_\alpha,\bar Q_{\dot\beta}\}=0$ fixes $c=+1$. Lorentzian conjugation then gives

$$\begin{aligned} D_\alpha &= \frac{\partial}{\partial\theta^\alpha} +i\sigma^\mu_{\alpha\dot\alpha} \bar\theta^{\dot\alpha}\partial_\mu,\\ \bar D_{\dot\alpha} &= -\frac{\partial}{\partial\bar\theta^{\dot\alpha}} -i\theta^\alpha\sigma^\mu_{\alpha\dot\alpha}\partial_\mu. \end{aligned}$$

The graded algebra follows by direct application to a test superfield:

$$\begin{aligned} \{D_\alpha,D_\beta\}&=0, & \{\bar D_{\dot\alpha},\bar D_{\dot\beta}\}&=0,\\ \{D_\alpha,\bar D_{\dot\alpha}\} &=-2i\sigma^\mu_{\alpha\dot\alpha}\partial_\mu, & \{D_A,Q_B\}&=0. \end{aligned}$$

Here the last relation denotes every barred and unbarred pairing. The $D$ algebra differs from the $Q$ algebra only in the mixed sign because it comes from the opposite group action. Gates, Grisaru, Roček, and Siegel 1983, § 3.4, pp. 83–88 develops this left/right-invariant construction.

Two useful consequences are

$$D_\alpha D_\beta =\frac12\epsilon_{\alpha\beta}D^2, \qquad \bar D_{\dot\alpha}\bar D_{\dot\beta} =\frac12\epsilon_{\dot\alpha\dot\beta}\bar D^2,$$

with signs understood in the declared raising/lowering convention. Any calculation using these identities should first verify the normalization of $D^2=D^\alpha D_\alpha$ in its source convention.

Chirality is an integrable differential constraint

A chiral scalar superfield obeys

$$\bar D_{\dot\alpha}\Phi=0.$$

Applying a supersymmetry transformation preserves the constraint:

$$\bar D_{\dot\alpha}\delta_\epsilon\Phi =\delta_\epsilon(\bar D_{\dot\alpha}\Phi)=0,$$

because the odd parameter contributes a second minus sign when $\bar D$ is moved through $\delta_\epsilon=\epsilon Q+\bar\epsilon\bar Q$: the even transformation $\delta_\epsilon$ commutes with $\bar D$. Compatibility between the two barred equations requires

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

which holds identically in flat superspace. This is the graded Frobenius condition for the distribution spanned by the barred derivatives.

Introduce

$$y^\mu=x^\mu+i\theta\sigma^\mu\bar\theta.$$

With left differentiation and $y$ held fixed,

$$\bar D_{\dot\alpha} =-\left. \frac{\partial}{\partial\bar\theta^{\dot\alpha}} \right|_{y,\theta}.$$

Therefore the general local solution is

$$\Phi=\Phi(y,\theta),$$

with no independent $\bar\theta$ dependence. Since there are two independent $\theta$ components, its finite expansion is

$$\Phi(y,\theta) =A(y)+\sqrt2\,\theta\psi(y)+\theta\theta F(y).$$

This is an off-shell irreducibility constraint: $A$, $\psi$, and $F$ remain arbitrary functions of $y$. It has not imposed a Klein–Gordon, Weyl, or auxiliary field equation.

The antichiral condition

$$D_\alpha\bar\Phi=0$$

is solved in $\bar y^\mu=x^\mu-i\theta\sigma^\mu\bar\theta$ by

$$\bar\Phi(\bar y,\bar\theta) =A^*(\bar y)+\sqrt2\,\bar\theta\bar\psi(\bar y) +\bar\theta\bar\theta F^*(\bar y)$$

in Lorentzian signature. The starred fields cease to be a valid pointwise Euclidean interpretation on the Euclidean page.

Expansion in ordinary coordinates

Taylor-expanding the coefficient fields about $x^\mu$ gives

$$\begin{aligned} \Phi(x,\theta,\bar\theta) =\;&A +\sqrt2\,\theta\psi +\theta\theta F +i\theta\sigma^\mu\bar\theta\,\partial_\mu A\\ &-\frac{i}{\sqrt2}\theta\theta\, \partial_\mu\psi\,\sigma^\mu\bar\theta +\frac14\theta\theta\bar\theta\bar\theta\,\Box A. \end{aligned}$$

The series terminates because every monomial beyond degree two in either $\theta$ or $\bar\theta$ vanishes. This expression passes three independent checks:

1. applying $\bar D_{\dot\alpha}$ gives zero term by term;
2. every term has the same engineering dimension when $[\theta]=-1/2$;
3. setting $\bar\theta=0$ returns the unconstrained polynomial in $\theta$.

The coefficient $1/4$ in the final term follows from the second Taylor term and the identity

$$(\theta\sigma^\mu\bar\theta) (\theta\sigma^\nu\bar\theta) =-\frac12\theta\theta\bar\theta\bar\theta\,\eta^{\mu\nu}.$$

The constraint solution and its component expansion are derived in Martin 2016, §§ 4.1–4.3, pp. 31–37, Weinberg 2000, §§ 26.2–26.3, pp. 59–74, and structurally in Gates, Grisaru, Roček, and Siegel 1983, §§ 3.5–3.6, pp. 89–96.

Component projections and normalization

Write a vertical bar for evaluation at $\theta=\bar\theta=0$. With the present epsilon convention,

$$A=\Phi|, \qquad \psi_\alpha=\frac1{\sqrt2}D_\alpha\Phi|, \qquad F=-\frac14D^2\Phi|.$$

The last sign is a normalization statement: here $D^2(\theta\theta)|=-4$. A source using $D^2\theta^2=+4$ must change the projection and every later $F$-term formula together.

Apply $\delta_\epsilon=\epsilon Q+\bar\epsilon\bar Q$ before projecting. Because $Q$ and $D$ anticommute, the projections give

$$\begin{aligned} \delta A &=\sqrt2\,\epsilon\psi,\\ \delta\psi_\alpha &=i\sqrt2(\sigma^\mu\bar\epsilon)_\alpha\partial_\mu A +\sqrt2\,\epsilon_\alpha F,\\ \delta F &=i\sqrt2\,\bar\epsilon\bar\sigma^\mu\partial_\mu\psi. \end{aligned}$$

Thus the superspace constraint reproduces the component multiplet exactly. Conversely, exponentiating the component transformations reconstructs the translated chiral superfield. This is the component–superspace round trip.

Integrability beyond flat chirality

For a collection of covariant derivatives $\nabla_A$, a proposed constraint

$$\nabla_r\mathscr U=0$$

is consistent only if every graded commutator of constrained directions acts within the same constraint ideal:

$$[\nabla_r,\nabla_s\}\mathscr U =T_{rs}{}^t\nabla_t\mathscr U +\mathcal F_{rs}\mathscr U.$$

The torsion term is harmless when it points along already-constrained derivatives. The curvature term must vanish on the representation or be canceled by additional constraints. For gauge-covariant chirality,

$$\bar\nabla_{\dot\alpha}\Phi=0,$$

one needs the conventional integrability condition

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

on the relevant bundle. This condition is not automatic for an arbitrary connection; it is part of the superspace gauge geometry.

A differential condition may also be integrable yet dynamical. For a free chiral action, the superfield equation

$$-\frac14\bar D^2\bar\Phi=0$$

is itself chiral and algebraically consistent, but its projections set $F=0$ and impose the Weyl and Klein–Gordon equations. Integrability and off-shell status are therefore separate questions.

Convention translation

Many references choose at least one of the following alternatives:

Choice	This page	Common alternative
Momentum operator	$P_\mu=i\partial_\mu$	$P_\mu=-i\partial_\mu$
Chiral coordinate	$y=x+i\theta\sigma\bar\theta$	$y=x-i\theta\sigma\bar\theta$
Grassmann derivative	Left	Right
Auxiliary projection	$F=-\tfrac14D^2\Phi\rvert_{\theta=\bar\theta=0}$	$F=+\tfrac14D^2\Phi\rvert_{\theta=\bar\theta=0}$

A safe translation changes $Q$, $D$, $y$, the component expansion, and the projection rule as one system. The invariant checks are the super-Poincaré anticommutator, $\bar D\Phi=0$, and closure of the component transformations.

Common pitfalls

Covariant does not mean gauge covariant by itself. Flat $D_\alpha$ is covariant under rigid supertranslations. A gauge-covariant derivative $\nabla_\alpha$ includes a connection and has additional curvature constraints.

A consistent constraint need not be kinematic. Chirality selects an off-shell multiplet; a superfield Euler–Lagrange equation selects solutions. Both are supersymmetric differential constraints.

Component projection is convention sensitive. A wrong factor in $D^2\Phi|$ propagates into auxiliary equations, potentials, and closure checks.

Exercises

1. Solve chirality

Show that $\bar D_{\dot\alpha}y^\mu=0$ and conclude that every function $\Phi(y,\theta)$ is chiral.

Solution

At fixed $x$, the left derivative of $\theta\sigma^\mu\bar\theta$ with respect to $\bar\theta$ carries the graded sign that makes

$$-\bar\partial_{\dot\alpha}y^\mu =+i\theta^\beta\sigma^\mu_{\beta\dot\alpha}.$$

This cancels the second term $-i\theta^\beta\sigma^\mu_{\beta\dot\alpha}\partial_\mu y^\nu$. The chain rule then gives $\bar D_{\dot\alpha}\Phi(y,\theta)=0$.

2. Check the top projection

Use the $\theta$ expansion to verify $F=-\tfrac14D^2\Phi|$.

Solution

At the origin of odd coordinates, $D_\alpha$ reduces to $\partial_\alpha$. Acting twice on $\theta\theta F$ gives $-4F$ in the declared epsilon and left-derivative convention, while lower-degree terms vanish. Hence $-\tfrac14D^2\Phi|=F$.

3. Diagnose a curved constraint

Suppose $\{\bar\nabla_{\dot\alpha},\bar\nabla_{\dot\beta}\}\mathscr U =\mathcal F_{\dot\alpha\dot\beta}\mathscr U$. When is $\bar\nabla_{\dot\alpha}\mathscr U=0$ consistent?

Solution

It requires $\mathcal F_{\dot\alpha\dot\beta}\mathscr U=0$. This may follow from a conventional curvature constraint, from $\mathscr U$ being neutral, or from an additional representation condition. Without one of these, applying two constrained derivatives produces an independent obstruction.

Continue

Chiral, Vector, Linear, and Field-Strength Superfields applies these derivative constraints to the standard $\mathcal N=1$ multiplets. Euclidean Superspace, Conjugation, and Field-Space Complexification explains which conjugation statements survive analytic continuation.

References

• Gates, S. James, Jr., Marcus T. Grisaru, Martin Roček, and Warren Siegel. Superspace, or One Thousand and One Lessons in Supersymmetry. Frontiers in Physics 58. Reading, MA: Benjamin/Cummings, 1983. Corrected open edition, 2001. arXiv:hep-th/0108200.

• Martin, Stephen P. “A Supersymmetry Primer.” In Perspectives on Supersymmetry II, edited by Gordon L. Kane, 1–153. Singapore: World Scientific, 2010. Version 7, 2016. arXiv:hep-ph/9709356. DOI.

• Weinberg, Steven. The Quantum Theory of Fields. Volume III: Supersymmetry. Cambridge: Cambridge University Press, 2000, §§ 26.2–26.3. DOI.