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$. Thus $D^\alpha=\epsilon^{\alpha\beta}D_\beta$ and $\bar D^{\dot\alpha}=\epsilon^{\dot\alpha\dot\beta} \bar D_{\dot\beta}$. The ordered quadratic operators used throughout this chapter are

$$D^2\equiv D^\alpha D_\alpha, \qquad \bar D^2\equiv \bar D_{\dot\alpha}\bar D^{\dot\alpha}.$$

The opposite-looking index order in the barred definition is deliberate: Lorentzian conjugation reverses the order of odd operators. With $\theta\theta=\theta^\alpha\theta_\alpha$ and $\bar\theta\bar\theta= \bar\theta_{\dot\alpha}\bar\theta^{\dot\alpha}$, these definitions give

$$D^2(\theta\theta)=-4, \qquad \bar D^2(\bar\theta\bar\theta)=-4$$

at the origin of odd coordinates.

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.$$

Let $\mathscr U$ be a homogeneous test superfield. Only the two cross terms in the anticommutator can be independent of $\theta$ and $\bar\theta$:

$$\begin{aligned} \{D_\alpha,\bar Q_{\dot\beta}\}\mathscr U &= \left\{\partial_\alpha, i\theta^\gamma\sigma^\mu_{\gamma\dot\beta} \partial_\mu\right\}\mathscr U\\ &\quad+ \left\{c\,i\sigma^\mu_{\alpha\dot\gamma} \bar\theta^{\dot\gamma}\partial_\mu, -\bar\partial_{\dot\beta}\right\}\mathscr U\\ &=i(1-c)\sigma^\mu_{\alpha\dot\beta} \partial_\mu\mathscr U. \end{aligned}$$

The left-derivative Leibniz rule fixes the relative minus sign in the second line. Requiring the anticommutator to vanish for every $\mathscr U$ gives $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 same test-field calculation fixes the sign of the derivative algebra rather than importing it. For the mixed anticommutator,

$$\begin{aligned} \{D_\alpha,\bar D_{\dot\beta}\}\mathscr U &= \left\{\partial_\alpha, -i\theta^\gamma\sigma^\mu_{\gamma\dot\beta} \partial_\mu\right\}\mathscr U\\ &\quad+ \left\{i\sigma^\mu_{\alpha\dot\gamma} \bar\theta^{\dot\gamma}\partial_\mu, -\bar\partial_{\dot\beta}\right\}\mathscr U\\ &=-2i\sigma^\mu_{\alpha\dot\beta} \partial_\mu\mathscr U. \end{aligned}$$

Terms with two coordinate factors cancel by Grassmann antisymmetry and commuting spacetime derivatives. The same-chirality cross terms vanish, so the complete derivative algebra is

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

Moreover,

$$\begin{aligned} \{D_\alpha,Q_\beta\}&=0, & \{D_\alpha,\bar Q_{\dot\beta}\}&=0,\\ \{\bar D_{\dot\alpha},Q_\beta\}&=0, & \{\bar D_{\dot\alpha},\bar Q_{\dot\beta}\}&=0. \end{aligned}$$

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,$$

The relative minus sign follows from the declared order of $\bar D^2$; it is not optional shorthand. This is the same convention package used by

$$F=-\frac14D^2\Phi|, \qquad F^*=-\frac14\bar D^2\bar\Phi|, \qquad W_\alpha=-\frac14\bar D^2D_\alpha V.$$

Reversing the order in the definition of $\bar D^2$ flips the dotted reduction identity and must also flip every antichiral projector and field-strength formula derived from it.

The component-constraint atlas places these operators in the full path from supertranslations to constraints, gauge equivalences, and component fields.

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. The parameters and the spinor derivatives are both odd, so their relative sign must be shown explicitly. For example,

$$D_\alpha\big(\epsilon^\beta Q_\beta\Phi\big) =-\epsilon^\beta D_\alpha Q_\beta\Phi =+\epsilon^\beta Q_\beta D_\alpha\Phi.$$

The first minus sign is the graded Leibniz sign; the second uses $\{D_\alpha,Q_\beta\}=0$. The same two signs occur in the barred term, so the even transformation $\delta_\epsilon$ commutes with $D_\alpha$.

Now work through the fermion projection. At $\theta=\bar\theta=0$, the differential supercharges reduce to the corresponding leading spinor derivatives, and therefore

$$\begin{aligned} \delta\psi_\alpha &=\frac1{\sqrt2} \left( \epsilon^\beta D_\beta D_\alpha\Phi +\bar\epsilon_{\dot\beta} \bar D^{\dot\beta}D_\alpha\Phi \right)\bigg|\\ &=\frac1{\sqrt2} \left[ 2\epsilon_\alpha F +2i(\sigma^\mu\bar\epsilon)_\alpha \partial_\mu A \right]. \end{aligned}$$

For the first term, $D_\beta D_\alpha=\tfrac12\epsilon_{\beta\alpha}D^2$ and $D^2\Phi|=-4F$. For the second, chirality removes $D_\alpha\bar D^{\dot\beta}\Phi$, while the mixed anticommutator supplies $-2i\epsilon^{\dot\beta\dot\gamma} \sigma^\mu_{\alpha\dot\gamma}\partial_\mu\Phi$. The contraction $\bar\epsilon_{\dot\beta}\epsilon^{\dot\beta\dot\gamma} =-\bar\epsilon^{\dot\gamma}$ supplies the compensating minus sign. Thus the scalar, fermion, and top 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 the canonical free massless action

$$S_0=\int\mathrm d^4x\,\mathrm d^4\theta\; \bar\Phi\Phi,$$

with boundary conditions that make superspace and spacetime integration by parts legitimate, the superfield equation and its conjugate are

$$-\frac14\bar D^2\bar\Phi=0, \qquad -\frac14D^2\Phi=0.$$

They are chiral and antichiral, respectively, and algebraically consistent, but together their projections set $F=0$ and impose the massless Weyl and Klein–Gordon equations.

The qualifier “massless” matters. Adding the quadratic superpotential in

$$S_m=S_0+\left[ \int\mathrm d^4x\,\mathrm d^2\theta\; \frac m2\Phi^2+\text{c.c.} \right]$$

changes the chiral equation to

$$-\frac14\bar D^2\bar\Phi+m\Phi=0.$$

Its lowest projection is $F^*+mA=0$, and higher projections give the massive fermion equation and $(\Box+\lvert m\rvert^2)A=0$. Chirality itself remains a kinematic off-shell constraint in both theories; only the action-dependent superfield equation puts the multiplet on shell. 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. Fix the relative derivative sign

Starting from

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

compute $\{D_\alpha,\bar Q_{\dot\beta}\}$ on a test superfield. Then use the resulting value of $c$ to recover the sign of $\{D_\alpha,\bar D_{\dot\beta}\}$.

Solution

The coordinate-derivative cross terms give

$$\{D_\alpha,\bar Q_{\dot\beta}\} =i(1-c)\sigma^\mu_{\alpha\dot\beta}\partial_\mu.$$

Covariance under the left supertranslation action therefore requires $c=+1$. Replacing the $+i\theta\sigma\partial$ term of $\bar Q$ by the $-i\theta\sigma\partial$ term of $\bar D$ makes the two cross terms add rather than cancel:

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

3. Check both top projectors

Use the ordered definitions of $D^2$ and $\bar D^2$ to verify

$$F=-\frac14D^2\Phi|, \qquad F^*=-\frac14\bar D^2\bar\Phi|.$$

Solution

At the origin of odd coordinates, $D_\alpha=\partial_\alpha$ and $\bar D_{\dot\alpha}=-\bar\partial_{\dot\alpha}$. The declared order gives

$$D^2(\theta\theta)=-4, \qquad \bar D^2(\bar\theta\bar\theta)=-4.$$

All lower-degree terms vanish after the two derivatives and projection, so the two displayed formulas return $F$ and $F^*$. If one reverses the order in $\bar D^2$, its sign flips; the antichiral projector and $W_\alpha=-\bar D^2D_\alpha V/4$ must then be changed with it.

4. 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.