format: text

text:
# 1 Introduction

## 1 Introduction

The supersymmetrization of the fourth power of the Riemann tensor has been an active topic of research. In four dimensions, a term like this would be the leading bosonic contribution to a possible three-loop supergravity counterterm . In type I supergravity in ten dimensions, an $`^4`$ term is necessary to cancel gravitational anomalies . $`^4`$ terms also show up in the low energy field theory effective action of both type II and heterotic string theories, as was shown in .

In previous papers  we have worked out the $`𝒩=1`$ supersymmetrization of $`^4`$ in four dimensions. We have shown that, in the ”old minimal” formulation with this term, the auxiliary fields $`M,N`$ could still be eliminated, but $`A_m`$ could not (it got derivative couplings in the lagrangian that led to a dynamical field equation).

The goal of this article is to extend this supersymmetrization to $`𝒩=2`$ supergravity, which also admits off-shell formulations, and compare the result to the $`𝒩=1`$ one.

We start by briefly reviewing how one can obtain the ”old minimal” (without local SO(2)) $`𝒩=2`$ Poincaré supergravity from the conformal theory by coupling to compensating vector and nonlinear multiplets. We then write, in superspace, using the known chiral projector and chiral density, a lagrangian that contains the fourth power of the Weyl tensor. We start expanding this action in components and we quickly conclude that some of these auxiliary fields get derivatives and cannot be eliminated. For the other auxiliary fields, we make a more detailed analysis and we show that their derivative terms cancel and, therefore, it should still be possible to eliminate them. We analyze, for which multiplet (Weyl, compensating vector and compensating nonlinear) which auxiliary fields can and which cannot be eliminated. We proceed analogously in the $`𝒩=1`$ case, using the previous known results. We compare the two cases and discuss what can be generalized to other versions of both these theories.

In appendix B we give a survey of curved SU(2) superspace, namely its field content and the solution of the Bianchi identities.

## 2 $`𝒩=2`$ supergravity in superspace

### 2.1 $`𝒩=2`$ conformal supergravity in superspace

Conformal supergravity theories were found for $`𝒩4`$ in four dimensions. These theories have a local internal U($`𝒩`$) symmetry which acts on the supersymmetry generators $`Q_A^a`$ and $`S_A^a`$, with $`a=1,\mathrm{},𝒩`$; they can be formulated off-shell in conventional extended superspace, with structure group SO(1,3)$`\times `$U($`𝒩`$), where their actions, written as chiral superspace integrals, are known at the full nonlinear level. The first discussion of the conformal properties of extended superspace was given in ; other later references are the seminal paper  and the very nice review . Here we summarize the main results we need.

In superspace, the main objects are the supervielbein $`E_\mathrm{\Pi }^M`$ and the superconnection $`\mathrm{\Omega }_{\mathrm{\Lambda }N}^P`$ (which can be decomposed in its Lorentz and U($`𝒩`$) parts), in terms of which we write the torsions $`T_{MN}^P`$ and curvatures $`R_{MN}^{PQ}`$. Their arbitrary variations are given by

$`H_M^N`$ $`=`$ $`E_M^\mathrm{\Lambda }\delta E_\mathrm{\Lambda }^N`$ (2.1)
$`\mathrm{\Phi }_{MN}^P`$ $`=`$ $`E_M^\mathrm{\Lambda }\delta \mathrm{\Omega }_{\mathrm{\Lambda }N}^P`$ (2.2)
Symmetries that are manifest in superspace are general supercoordinate transformations (which include $`x`$-space diffeomorphisms and local supersymmetry), with parameters $`\xi ^\mathrm{\Lambda }`$, and tangent space (structure group) transformations, with parameters $`\mathrm{\Lambda }^{MN}`$. One can solve for $`H_M^N`$ and $`\mathrm{\Phi }_{MN}^P`$ in terms of these parameters, torsions and curvatures as

$`H_M^N`$ $`=`$ $`\xi ^PT_{PM}^N+_M\xi ^N+\mathrm{\Lambda }_M^N`$ (2.3)
$`\mathrm{\Phi }_{MN}^P`$ $`=`$ $`\xi ^QR_{QMN}^P_M\mathrm{\Lambda }_N^P`$ (2.4)
but this does not fix all the degrees of freedom of $`H_M^N`$ . Namely, $`H=\frac{1}{4}H_m^m`$ remains an unconstrained superfield and parametrizes the super-Weyl transformations, which include the dilatations and the special supersymmetry transformations.

$`𝒩=1,2`$ Poincaré supergravities can be obtained from the corresponding conformal theories by consistent couplings to compensating multiplets that break superconformal invariance and local U($`𝒩`$). There are different possible choices of compensating multiplets, leading to different formulations of the Poincaré theory. Because of its relevance to this paper, we will briefly review the $`𝒩=2`$ case, which was first studied in .

The $`𝒩=2`$ Weyl multiplet has 24+24 degrees of freedom. Its field content is given by the graviton $`e_\mu ^m`$, the gravitinos $`\psi _\mu ^{Aa}`$, the U(2) connection $`\stackrel{~}{\mathrm{\Phi }}_\mu ^{ab}`$, an antisymmetric tensor $`W_{mn}`$ which we decompose as $`W_{A\dot{A}B\dot{B}}=2\epsilon _{\dot{A}\dot{B}}W_{AB}+2\epsilon _{AB}W_{\dot{A}\dot{B}}`$, a spinor $`\mathrm{\Lambda }_A^a`$ and, as auxiliary field, a dimension 2 scalar $`I`$. In superspace, a gauge choice can be made (in the supercoordinate transformation) such that the graviton and the gravitinos are related to $`\theta =0`$ components of the supervielbein (symbolically $`E_\mathrm{\Pi }^N|`$):

$$E_\mathrm{\Pi }^N|=\left[\begin{array}{ccc}e_\mu ^m& \frac{1}{2}\psi _\mu ^{Aa}& \frac{1}{2}\psi _\mu ^{\dot{A}a}\\ 0& \delta _B^A\delta _b^a& 0\\ 0& 0& \delta _{\dot{B}}^{\dot{A}}\delta _b^a\end{array}\right]$$
(2.5)
In the same way, we gauge the fermionic part of the Lorentz superconnection at order $`\theta =0`$ to zero and we can set its bosonic part equal to the usual spin connection:

$`\mathrm{\Omega }_{\mu m}^n|`$ $`=`$ $`\omega _{\mu m}^n\left(x\right)`$
$`\mathrm{\Omega }_{Aam}^n|,\mathrm{\Omega }_{\dot{A}am}^n|`$ $`=`$ $`0`$ (2.6)
The U(2) superconnection $`\stackrel{~}{\mathrm{\Phi }}_\mathrm{\Pi }^{ab}`$ is such that

$$\stackrel{~}{\mathrm{\Phi }}_\mu ^{ab}|=\stackrel{~}{\mathrm{\Phi }}_\mu ^{ab}$$
(2.7)
The other fields are the $`\theta =0`$ component of some superfield, which we write in the same way.

The chiral superfield $`W_{AB}`$ is the basic object of $`𝒩=2`$ conformal supergravity, in terms of which its action is written. Other theories with different $`𝒩`$ have its analogous superfield (e.g. $`W_{ABC}`$ in $`𝒩=1`$), but with different spinor and (S)U$`\left(𝒩\right)`$ indices. A common feature to these superfields is having the antiself-dual part of the Weyl tensor $`𝒲_{ABCD}:=\frac{1}{8}𝒲_{\mu \nu \rho \sigma }^+\sigma _{\underset{¯}{AB}}^{\mu \nu }\sigma _{\underset{¯}{CD}}^{\rho \sigma }`$ in their $`\theta `$ expansion.

In U(2) $`𝒩=2`$ superspace there is an off-shell solution to the Bianchi identities. The torsions and curvatures can be expressed in terms of superfields $`W_{AB}`$, $`Y_{AB}`$, $`U_{A\dot{A}}^{ab}`$, $`X_{ab}`$, their complex conjugates and their covariant derivatives. Of these four superfields, only $`W_{AB}`$ transforms covariantly under super-Weyl transformations :

$$\delta W_{AB}=HW_{AB}$$
(2.8)
The other three superfields transform non-covariantly; they describe all the non-Weyl covariant degrees of freedom in $`H`$, and can be gauged away by a convenient (Wess-Zumino) gauge choice.

$`\delta Y_{AB}`$ $`=`$ $`HY_{AB}{\displaystyle \frac{1}{4}}[_A^a,_{Ba}]H`$ (2.9)
$`\delta X_{ab}`$ $`=`$ $`HX_{ab}+{\displaystyle \frac{1}{4}}[_a^{\dot{A}},_{\dot{A}b}]H`$ (2.10)
$`\delta U_{A\dot{A}}^{ab}`$ $`=`$ $`HU_{A\dot{A}}^{ab}{\displaystyle \frac{1}{2}}[_A^a,_{\dot{A}}^b]H`$ (2.11)
Another nice feature of $`𝒩=2`$ superspace is that there exists a chiral density $`ϵ`$ and an antichiral projector, given by

$$^{Aa}_A^b\left(_a^B_{Bb}+16X_{ab}\right)^{Aa}_a^B\left(_A^b_{Bb}16iY_{AB}\right)$$
(2.12)
When one acts with this projector on any scalar superfield, one gets an antichiral superfield (with the exception of $`W_{AB}`$, only scalar chiral superfields exist in curved $`𝒩=2`$ superspace). It is then possible to write chiral actions .

### 2.2 Degauging U(1)

The first step for obtaining the Poincaré theory is to couple to the conformal theory an abelian vector multiplet (with central charge), described by a vector $`A_\mu `$, a complex scalar, a Lorentz-scalar SU(2) triplet and a spinorial SU(2) dublet. The vector $`A_\mu `$ is the gauge field of central charge transformations; it corresponds, in superspace, to a 1-form $`A_\mathrm{\Pi }`$ with a U(1) gauge invariance (the central charge transformation). This 1-form does not belong to the superspace geometry.

Using the U(1) gauge invariance we can set the gauge

$$A_\mathrm{\Pi }|=(A_\mu ,0)$$
(2.13)
The field strength $`F_{\mathrm{\Pi }\mathrm{\Sigma }}`$ is a two-form satisfying its own Bianchi identities $`_{[\mathrm{\Gamma }}F_{\mathrm{\Pi }\mathrm{\Sigma }\}}=0`$. Here we split the U(2) superconnection $`\stackrel{~}{\mathrm{\Phi }}_\mathrm{\Pi }^{ab}`$ into a SU(2) superconnection $`\mathrm{\Phi }_\mathrm{\Pi }^{ab}`$ and a U(1) superconnection $`\phi _\mathrm{\Pi }`$; only the later acts on $`A_\mathrm{\Pi }`$:

$$\stackrel{~}{\mathrm{\Phi }}_\mathrm{\Pi }^{ab}=\mathrm{\Phi }_\mathrm{\Pi }^{ab}\frac{1}{2}\epsilon ^{ab}\phi _\mathrm{\Pi }$$
(2.14)
One has to impose covariant constraints on its components (like in the torsions), in order to construct invariant actions:

$`F_{AB}^{ab}`$ $`=`$ $`2\sqrt{2}\epsilon _{AB}\epsilon ^{ab}F`$ (2.15)
$`F_{A\dot{B}}^{ab}`$ $`=`$ $`0`$ (2.16)
By solving the $`F_{\mathrm{\Pi }\mathrm{\Sigma }}`$ Bianchi identities with these constraints, we conclude that they define an off-shell $`𝒩=2`$ vector multiplet, given by the $`\theta =0`$ components of the superfields

$$A_\mu ,F,F_A^a=\frac{i}{2}F_{A\dot{A}}^{\dot{A}a},F_b^a=\frac{1}{2}\left(_b^BF_B^a+F\overline{X}_b^a+\overline{F}X_b^a\right)$$
(2.17)
$`F_b^a|`$ is an auxiliary field; $`F_a^a=0`$ if the multiplet is abelian (as it has to be in this context). $`\overline{F}`$ is a Weyl covariant chiral superfield, with nonzero U(1) and Weyl weigths. A superconformal chiral lagrangian for the vector multiplet is given by

$$=\overline{ϵ}F^2d^4\overline{\theta }+\mathrm{h}.\mathrm{c}.$$
(2.18)
In order to get a Poincaré theory, we must break the superconformal and local abelian (from the U(1) subgroup of U(2) - not the gauge invariance of $`A_\mu `$) invariances. For that, we set the Poincaré gauge

$$F=\overline{F}=1$$
(2.19)
As a consequence, from the Bianchi and Ricci identities we get

$`\phi _A^a`$ $`=`$ $`0`$ (2.20)
$`F_a^A`$ $`=`$ $`0`$ (2.21)
Furthermore, $`U_{A\dot{A}}^{ab}`$ is an SU(2) singlet, to be identified with the bosonic U(1) connection (now an auxiliary field):

$$U_{A\dot{A}}^{ab}=\epsilon ^{ab}U_{A\dot{A}}=\epsilon ^{ab}\phi _{A\dot{A}}$$
(2.22)
Other consequences are

$`F_{A\dot{A}B\dot{B}}`$ $`=`$ $`\sqrt{2}i\left[\epsilon _{AB}\left(W_{\dot{A}\dot{B}}+Y_{\dot{A}\dot{B}}\right)+\epsilon _{\dot{A}\dot{B}}\left(W_{AB}+Y_{AB}\right)\right]`$ (2.23)
$`F_b^a`$ $`=`$ $`X_b^a`$ (2.24)
$`\overline{X_{ab}}`$ $`=`$ $`X^{ab}`$ (2.25)
(2.23) shows that $`W_{mn}`$ is now related to the vector field strength $`F_{mn}`$. $`Y_{mn}`$ emerges as an auxiliary field, like $`X_{ab}`$ (from (2.24)). We have, therefore, the minimal field representation of $`𝒩=2`$ Poincaré supergravity, with a local SU(2) gauge symmetry and 32+32 off-shell degrees of freedom:

$$e_\mu ^m,\psi _\mu ^{Aa},A_\mu ,\mathrm{\Phi }_\mu ^{ab},Y_{mn},U_m,\mathrm{\Lambda }_A^a,X_{ab},I$$
(2.26)
Although the algebra closes with this multiplet, it does not admit a consistent lagrangian because of the higher-dimensional scalar $`I`$ .

### 2.3 Degauging SU(2)

The second step is to break the remaining local SU(2) invariance. This symmetry can be partially broken (at most, to local SO(2)) through coupling to a compensating so-called ”improved tensor multiplet” , or broken completely. In this work, we take the later possibility. There are still two different versions of off-shell $`𝒩=2`$ supergravity without SO(2) symmetry, each with different physical degrees of freedom. In both cases we start by imposing a constraint on the SU(2) parameter $`L^{ab}`$ which restricts it to a compensating nonlinear multiplet  111Actually, condition (2.27) restricts $`L^{ab}`$ to a tensor multiplet, which is the linearization of the nonlinear multiplet. This is enough for our analysis.:

$$_A^{\underset{¯}{a}}L^{\underset{¯}{b}\underset{¯}{c}}=0$$
(2.27)
From the transformation law of the SU(2) connection

$$\delta \mathrm{\Phi }_M^{ab}=_ML^{ab}$$
(2.28)
we can get the required condition for $`L^{ab}`$ by imposing the following constraint on the fermionic connection:

$$\mathrm{\Phi }_A^{abc}=2\epsilon ^{a\underset{¯}{b}}\rho _A^{\underset{¯}{c}}$$
(2.29)
This constraint requires introducing a new fermionic superfield $`\rho _A^a`$. We also introduce its fermionic derivatives $`P`$ (a complex scalar) and $`H_m`$ (see appendix B.1). The previous SU(2) connection $`\mathrm{\Phi }_\mu ^{ab}`$ is now an unconstrained auxiliary field. The divergence of the vector field $`H_m`$ is constrained, though, at the linearized level by the condition $`^mH_m=\frac{1}{3}R\frac{1}{12}I`$. The full nonlinear constraint is

$`I`$ $`=`$ $`4R6_{A\dot{A}}H^{A\dot{A}}24X^{ab}X_{ab}12W^{AB}Y_{AB}12W^{\dot{A}\dot{B}}Y_{\dot{A}\dot{B}}`$ (2.30)
$`+`$ $`3P\overline{P}+{\displaystyle \frac{3}{2}}H^{A\dot{A}}H_{A\dot{A}}12\mathrm{\Phi }_{ab}^{A\dot{A}}\mathrm{\Phi }_{A\dot{A}}^{ab}12U^{A\dot{A}}U_{A\dot{A}}+16i\rho _A^a\mathrm{\Lambda }_a^A`$
$``$ $`16i\rho _{\dot{A}}^a\mathrm{\Lambda }_a^{\dot{A}}48\rho _a^AW_{AB}^{Ba}+48\rho _a^{\dot{A}}W_{\dot{A}\dot{B}}^{\dot{B}a}+48i\rho _a^A\rho ^{Ba}W_{AB}`$
$`+`$ $`48i\rho _a^{\dot{A}}\rho ^{\dot{B}a}W_{\dot{A}\dot{B}}+48\rho ^{Aa}\rho _a^{\dot{A}}U_{A\dot{A}}48i\rho ^{Aa}_{A\dot{A}}\rho _a^{\dot{A}}`$
$`+`$ $`48i\rho ^{\dot{A}a}_{A\dot{A}}\rho _a^A+96i\rho _a^A\mathrm{\Phi }_{A\dot{A}}^{ab}\rho _b^{\dot{A}}`$
which is equivalent to saying that $`I`$, now defined by (B.9), is no longer an independent field. This constraint implies that only the longitudinal part of $`H_m`$ belongs to the nonlinear multiplet; its divergence lies in the original Weyl multiplet. From the structure equation

$$R_{MN}^{ab}=E_M^\mathrm{\Lambda }E_N^\mathrm{\Pi }\{_\mathrm{\Lambda }\mathrm{\Omega }_\mathrm{\Pi }^{ab}+\mathrm{\Omega }_\mathrm{\Lambda }^{ac}\mathrm{\Omega }_{\mathrm{\Pi }c}^b()^{\mathrm{\Lambda }\mathrm{\Pi }}(\mathrm{\Lambda }\mathrm{\Pi })\}$$
(2.31)
and the constraint/definition (2.29), we can derive off-shell relations for the (still SU(2) covariant) derivatives of $`\rho _A^a`$, which we collect in appendix B.2.

Altogether, these component fields form then the ”old minimal” $`𝒩=2`$ 40+40 multiplet :

$$e_\mu ^m,\psi _\mu ^{Aa},A_\mu ,\mathrm{\Phi }_\mu ^{ab},Y_{mn},U_m,\mathrm{\Lambda }_A^a,X_{ab},H_m,P,\rho _A^a$$
(2.32)
This is the formulation of $`𝒩=2`$ supergravity we are working with. The other possibility (also with SU(2) completely broken) is to further restrict the compensating non-linear multiplet to an on-shell scalar multiplet . This reduction generates a minimal 32+32 multiplet (not to be confused with (2.26)) with new physical degrees of freedom. We will not pursue this version of $`𝒩=2`$ supergravity in this work.

### 2.4 $`𝒩=2`$ Poincaré supergravity in superspace

The final lagrangian of ”old minimal” $`𝒩=2`$ supergravity is given by 222$`𝒟_\mu `$ is just the usual Lorentz covariant derivative (not U(2) covariant).

$`\kappa ^2_{SG}`$ $`=`$ $`{\displaystyle \frac{1}{2}}e{\displaystyle \frac{1}{4}}e\epsilon ^{\mu \nu \rho \lambda }\left(\psi _{\mu \dot{A}}^a\sigma _\nu ^{A\dot{A}}\psi _{\rho \lambda Aa}+\psi _{\mu A}^a\sigma _\nu ^{A\dot{A}}\psi _{\rho \lambda \dot{A}a}\right){\displaystyle \frac{1}{4}}eF_{\mu \nu }F^{\mu \nu }`$ (2.33)
$``$ $`{\displaystyle \frac{1}{4\sqrt{2}}}e\left(\psi _\mu ^{Aa}\psi _{\nu Aa}+\psi _\mu ^{\dot{A}a}\psi _{\nu \dot{A}a}\right)F^{\mu \nu }{\displaystyle \frac{i}{4\sqrt{2}}}e\epsilon ^{\mu \nu \rho \lambda }\left(\psi _\mu ^{Aa}\psi _{\nu Aa}\psi _\mu ^{\dot{A}a}\psi _{\nu \dot{A}a}\right)F_{\rho \lambda }`$
$``$ $`{\displaystyle \frac{i}{16}}e\epsilon ^{\mu \nu \rho \lambda }\left(\psi _\mu ^{Aa}\psi _{\nu Aa}\psi _\mu ^{\dot{A}a}\psi _{\nu \dot{A}a}\right)\left(\psi _\rho ^{Bb}\psi _{\lambda Bb}+\psi _\rho ^{\dot{B}b}\psi _{\lambda \dot{B}b}\right)`$
$``$ $`{\displaystyle \frac{1}{4}}eY_{\mu \nu }Y^{\mu \nu }{\displaystyle \frac{1}{2}}eX^{ab}X_{ab}+eU^2{\displaystyle \frac{1}{8}}eP\overline{P}{\displaystyle \frac{1}{8}}eH^2+e\mathrm{\Phi }_{ab}^\mu \mathrm{\Phi }_\mu ^{ab}+{\displaystyle \frac{2}{3}}ie\rho ^{Aa}\mathrm{\Lambda }_{Aa}`$
$``$ $`{\displaystyle \frac{2}{3}}ie\rho ^{\dot{A}a}\mathrm{\Lambda }_{\dot{A}a}4e\rho ^{Aa}W_{ABa}^B+4e\rho ^{\dot{A}a}W_{\dot{A}\dot{B}a}^{\dot{B}}+2ie\rho ^{Aa}\rho _a^BW_{AB}+2ie\rho ^{\dot{A}a}\rho _a^{\dot{B}}W_{\dot{A}\dot{B}}`$
$``$ $`ieP\rho ^{Aa}\rho _{Aa}ie\overline{P}\rho ^{\dot{A}a}\rho _{\dot{A}a}2e\rho ^{Aa}\rho _a^{\dot{A}}U_{A\dot{A}}`$
$`+`$ $`2ie\rho ^{Aa}\sigma _{A\dot{A}}^\mu 𝒟_\mu \rho _a^{\dot{A}}2ie\rho ^{\dot{A}a}\sigma _{A\dot{A}}^\mu 𝒟_\mu \rho _a^A+ie\left(\rho ^{Aa}\sigma _{A\dot{A}}^\mu \psi _\mu ^{\dot{A}b}+\rho ^{\dot{A}a}\sigma _{A\dot{A}}^\mu \psi _\mu ^{Ab}\right)X_{ab}`$
$`+`$ $`e\rho ^{Aa}\sigma _{A\dot{A}}^\mu \psi _{\mu \dot{B}a}Y^{\dot{A}\dot{B}}+e\rho ^{\dot{A}a}\sigma _{A\dot{A}}^\mu \psi _{\mu Ba}Y^{AB}+ie\rho ^{Aa}\sigma _{A\dot{A}}^\mu \psi _{\mu Ba}U^{B\dot{A}}`$
$`+`$ $`ie\rho ^{\dot{A}a}\sigma _{A\dot{A}}^\mu \psi _{\mu \dot{B}a}U^{A\dot{B}}+{\displaystyle \frac{1}{4}}e\rho ^{Aa}\sigma _{A\dot{A}}^\mu \psi _{\mu a}^{\dot{A}}P+{\displaystyle \frac{1}{4}}e\rho ^{\dot{A}a}\sigma _{A\dot{A}}^\mu \psi _{\mu a}^A\overline{P}`$
$``$ $`\left(\rho ^{Aa}\psi _{\mu A}^b\rho ^{\dot{A}a}\psi _{\mu \dot{A}}^b\right)\left(\rho _b^B\sigma _{BC}^{\mu \nu }\psi _{\nu a}^C\rho _b^{\dot{B}}\sigma _{\dot{B}\dot{C}}^{\mu \nu }\psi _{\nu a}^{\dot{C}}\right)\rho _a^{\dot{A}}\sigma _\mu ^{A\dot{B}}\psi _{\dot{B}b}^\mu \mathrm{\Phi }_{A\dot{A}}^{ab}`$
$`+`$ $`\rho _a^A\sigma _\mu ^{B\dot{A}}\psi _{Bb}^\mu \mathrm{\Phi }_{A\dot{A}}^{ab}{\displaystyle \frac{1}{4}}e\rho ^{Aa}\sigma _\mu ^{B\dot{A}}\psi _{Ba}^\mu H_{A\dot{A}}+{\displaystyle \frac{1}{4}}e\rho ^{\dot{A}a}\sigma _\mu ^{A\dot{B}}\psi _{\dot{B}a}^\mu H_{A\dot{A}}`$
The final solutions to the Bianchi identities in SU(2) $`𝒩=2`$ superspace are listed in appendix B. We present both the expressions for the torsions and curvatures and the off-shell differential relations among the superfields (appendix B.2). As first noticed in , these solutions only depend on $`W_{AB}`$ (a physical field at $`\theta =0`$), $`\rho _A^a`$ (an auxiliary field at $`\theta =0`$), their complex conjugates and their covariant derivatives. Here we present for completeness the full expansion of the (anti)chiral density $`\overline{ϵ}`$ :

$`\overline{ϵ}`$ $`=`$ $`eie\theta _a^{\dot{A}}\sigma _{A\dot{A}}^\mu \psi _\mu ^{Aa}`$ (2.34)
$`+`$ $`{\displaystyle \frac{e}{2}}\theta _a^{\dot{A}}\theta _b^{\dot{B}}\left[{\displaystyle \frac{16}{3}}\epsilon _{\dot{A}\dot{B}}X^{ab}+{\displaystyle \frac{8}{3}}i\epsilon ^{ab}Y_{\dot{A}\dot{B}}+\sigma _{A\dot{A}}^\mu \psi _\mu ^{Aa}\sigma _{B\dot{B}}^\nu \psi _\nu ^{Bb}\sigma _{A\dot{A}}^\mu \psi _\nu ^{Aa}\sigma _{B\dot{B}}^\nu \psi _\mu ^{Bb}\right]`$
$``$ $`{\displaystyle \frac{e}{6}}\theta _a^{\dot{A}}\theta _b^{\dot{B}}\theta _c^{\dot{C}}[{\displaystyle \frac{16}{3}}i\epsilon _{\dot{A}\dot{B}}\epsilon ^{ac}\mathrm{\Lambda }_{\dot{C}}^b+4\epsilon _{\dot{A}\dot{B}}\epsilon ^{ac}\sigma _{C\dot{C}}^\mu \psi _{\mu B}^bY^{BC}`$
$``$ $`i\epsilon _{\dot{A}\dot{B}}\epsilon ^{ac}\sigma _{C\dot{C}}^\mu \sigma _{\rho \lambda }^{BC}\psi _{\mu B}^b\left(\sqrt{2}F^{\rho \lambda }+\psi ^{\rho Ee}\psi _{Ee}^\lambda +\psi ^{\rho \dot{E}e}\psi _{\dot{E}e}^\lambda \right)`$
$`+`$ $`2\sigma _{A\dot{A}}^\mu \psi _\mu ^{Aa}\left(7i\epsilon _{\dot{B}\dot{C}}X^{bc}5\epsilon ^{bc}Y_{\dot{B}\dot{C}}\right)+i\sigma _{A\dot{A}}^\mu \psi _\mu ^{Aa}\sigma _{B\dot{B}}^\nu \psi _\nu ^{Bb}\sigma _{C\dot{C}}^\lambda \psi _\lambda ^{Cc}`$
$``$ $`3i\sigma _{A\dot{A}}^\mu \psi _\mu ^{Aa}\sigma _{B\dot{B}}^\nu \psi _\lambda ^{Bb}\sigma _{C\dot{C}}^\lambda \psi _\nu ^{Cc}+2i\sigma _{A\dot{A}}^\mu \psi _\nu ^{Aa}\sigma _{B\dot{B}}^\nu \psi _\lambda ^{Bb}\sigma _{C\dot{C}}^\lambda \psi _\mu ^{Cc}]`$
$``$ $`{\displaystyle \frac{2}{3}}\theta _a^{\dot{A}}\theta _b^{\dot{B}}\theta _{\dot{A}}^b\theta _{\dot{B}}^a[_\mu (ieU^\mu +{\displaystyle \frac{e}{2}}H^\mu +2e\rho _a^A\sigma _{AB}^{\mu \nu }\psi _\nu ^{Ba}2e\rho _a^{\dot{A}}\sigma _{\dot{A}\dot{B}}^{\mu \nu }\psi _\nu ^{\dot{B}a})`$
$`+`$ $`{\displaystyle \frac{e}{8}}\epsilon ^{\mu \nu \rho \lambda }(iF_{\mu \nu }F_{\rho \lambda }\psi _{\mu A}^a\sigma _\nu ^{A\dot{A}}\psi _{\rho \lambda \dot{A}a}+\psi _{\mu \dot{A}}^a\sigma _\nu ^{A\dot{A}}\psi _{\rho \lambda Aa}`$
$``$ $`i\psi _\mu ^{Aa}\psi _{\nu Aa}\psi _\rho ^{\dot{A}b}\psi _{\lambda \dot{A}b})+\kappa ^2_{SG}]`$
This allows us to write, up to total derivatives,

$$_{SG}=\frac{3}{4\kappa ^2}\overline{ϵ}d^4\overline{\theta }+\mathrm{h}.\mathrm{c}.$$
(2.35)
## 3 The supersymmetric $`^4`$ lagrangian

Our goal in this article is to supersymmetrize the fourth power of the Weyl tensor. (There are indeed, in four dimensions, thirteen independent scalar fourth-degree polynomials of the Riemann tensor, but we are only interested in a particular one. See  for a complete discussion.) As mentioned before, $`W_{AB}`$ contains in its $`\theta `$ expansion the antiself-dual part of the Weyl tensor (see (B.17)).

### 3.1 The lagrangian in superspace

Analogously to , we write the supersymmetric $`^4`$ lagrangian in superspace, using the chiral projector and the chiral density, as a (quantum) correction to the pure supergravity lagrangian:

$``$ $`=`$ $`{\displaystyle }\overline{ϵ}[{\displaystyle \frac{3}{4\kappa ^2}}+\alpha \kappa ^4(^{Aa}_A^b(_a^B_{Bb}+16X_{ab})`$ (3.1)
$``$ $`^{Aa}_a^B(_A^b_{Bb}16iY_{AB}))W^2\overline{W}^2]d^4\overline{\theta }+\mathrm{h}.\mathrm{c}.`$
$`=`$ $`_{SG}+_^4`$
$`\alpha `$ is a (numerical) constant (we use a different definition from ). Up to that (unknown) numerical factor, this can be seen as a three-loop $`𝒩=2`$ supergravity effective action or, equivalently, as a four dimensional $`𝒩=2`$ string/M-theory effective action resulting from a compactification and truncation from ten/eleven dimensions.

After the superspace integration, (3.1) comes, in terms of components, as

$`_^4`$ $`=`$ $`\alpha \kappa ^4{\displaystyle ϵ\varphi d^4\theta }+\mathrm{h}.\mathrm{c}.`$ (3.2)
$`=`$ $`\alpha \kappa ^4(ϵ^{(0)}\varphi ^{(4)}+{\displaystyle \frac{1}{36}}ϵ^{(1)Bb}\varphi _{BbAa}^{(3)aA}+{\displaystyle \frac{1}{48}}ϵ_A^{(2)bAa}\varphi _{aBb}^{(2)B}`$
$``$ $`{\displaystyle \frac{1}{48}}ϵ_{BaA}^{(2)a}\varphi _b^{(2)AbB}+{\displaystyle \frac{1}{36}}\varphi ^{(1)Bb}ϵ_{BbAa}^{(3)aA}+ϵ^{(4)}\varphi ^{(0)})+\mathrm{h}.\mathrm{c}.`$
where we have defined the chiral superfield

$$\varphi =\left(^{\dot{A}a}_{\dot{A}}^b\left(_a^{\dot{B}}_{\dot{B}b}+16X_{ab}\right)^{\dot{A}a}_a^{\dot{B}}\left(_{\dot{A}}^b_{\dot{B}b}16iY_{\dot{A}\dot{B}}\right)\right)W^2\overline{W}^2$$
(3.3)
and

$`\varphi ^{(0)}`$ $`=`$ $`\varphi |`$
$`\varphi ^{(1)Aa}`$ $`=`$ $`^{Aa}\varphi |`$
$`\varphi _{AaBb}^{(2)}`$ $`=`$ $`{\displaystyle \frac{1}{2}}[_{Aa},_{Bb}]\varphi |`$
$`\varphi _{AaBbCc}^{(3)}`$ $`=`$ $`{\displaystyle \frac{1}{6}}(_{Aa}[_{Bb},_{Cc}]+_{Bb}[_{Cc},_{Aa}]+_{Cc}[_{Aa},_{Bb}])\varphi |`$
$`\varphi ^{(4)}`$ $`=`$ $`{\displaystyle \frac{1}{288}}^{Aa}^{Bb}[_{Ab},_{Ba}]\varphi |`$ (3.4)
As one can see from the component expansions in appendix B, the term $`ϵ^{(0)}\varphi ^{(4)}+\mathrm{h}.\mathrm{c}.`$ clearly contains the fourth power of the Weyl tensor, more precisely (using the notation of ) $`e𝒲_+^2𝒲_{}^2`$.

### 3.2 The lagrangian in components

We now proceed with the calculation of the components of $`\varphi `$ and analysis of its field content. For that, we use the differential constraints from the solution to the Bianchi identities and the commutation relations listed in appendix B to compute the components in (3.4). The process is straightforward but lengthy.

We start by expanding $`\varphi `$ as

$`\varphi `$ $`=`$ $`W^2^{\dot{A}a}_{\dot{A}}^b_a^{\dot{B}}_{\dot{B}b}\overline{W}^2W^2^{\dot{A}a}_a^{\dot{B}}_{\dot{A}}^b_{\dot{B}b}\overline{W}^2`$ (3.5)
$``$ $`32iW^2\overline{W}^2^{\dot{A}a}\mathrm{\Lambda }_{\dot{A}a}+32iW^2\mathrm{\Lambda }^{\dot{A}a}_{\dot{A}a}\overline{W}^2`$
$``$ $`64iW^2\left(^{\dot{A}a}X_a^b\right)W^{\dot{B}\dot{C}}W_{\dot{B}\dot{C}\dot{A}b}64iW^2X_a^b\left(^{\dot{A}a}W^{\dot{B}\dot{C}}\right)W_{\dot{B}\dot{C}\dot{A}b}`$
$``$ $`64iW^2X_a^bW^{\dot{B}\dot{C}}^{\dot{A}a}W_{\dot{B}\dot{C}\dot{A}b}{\displaystyle \frac{64}{3}}W^2\left(^{\dot{A}a}X_{ab}\right)W_{\dot{A}\dot{B}}\mathrm{\Lambda }^{\dot{B}b}`$
$``$ $`{\displaystyle \frac{64}{3}}W^2X_{ab}\left(^{\dot{A}a}W_{\dot{A}\dot{B}}\right)\mathrm{\Lambda }^{\dot{B}b}{\displaystyle \frac{64}{3}}W^2X_{ab}W_{\dot{A}\dot{B}}^{\dot{A}a}\mathrm{\Lambda }^{\dot{B}b}`$
$``$ $`64W^2\left(_{\dot{A}}^aY^{\dot{A}\dot{B}}\right)W^{\dot{C}\dot{D}}W_{\dot{C}\dot{D}\dot{B}a}64W^2Y^{\dot{A}\dot{B}}\left(_{\dot{A}}^aW^{\dot{C}\dot{D}}\right)W_{\dot{C}\dot{D}\dot{B}a}`$
$``$ $`64W^2Y^{\dot{A}\dot{B}}W^{\dot{C}\dot{D}}_{\dot{A}}^aW_{\dot{C}\dot{D}\dot{B}a}+{\displaystyle \frac{64}{3}}iW^2\left(^{\dot{A}a}Y_{\dot{A}\dot{B}}\right)W^{\dot{B}\dot{C}}\mathrm{\Lambda }_{\dot{C}a}`$
$`+`$ $`{\displaystyle \frac{64}{3}}iW^2Y_{\dot{A}\dot{B}}\left(^{\dot{A}a}W^{\dot{B}\dot{C}}\right)\mathrm{\Lambda }_{\dot{C}a}+{\displaystyle \frac{64}{3}}iW^2Y_{\dot{A}\dot{B}}W^{\dot{B}\dot{C}}^{\dot{A}a}\mathrm{\Lambda }_{\dot{C}a}`$
All the terms in (3.5) can be immediately computed by using the differential relations in appendix B.2, except for the first two, which require a substantial amount of derivatives to compute.

In order to compute $`_{\dot{A}a}\overline{W}^2`$, we use the known relation for $`_{\dot{A}a}W_{\dot{C}\dot{D}}`$:

$$_{\dot{A}a}\overline{W}^2=2W^{\dot{C}\dot{D}}_{\dot{A}a}W_{\dot{C}\dot{D}}=4iW^{\dot{C}\dot{D}}W_{\dot{C}\dot{D}\dot{A}a}\frac{4}{3}W_{\dot{A}\dot{B}}\mathrm{\Lambda }_a^{\dot{B}}$$
(3.6)
With this result, we can compute

$`_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ $`=`$ $`4i\left(_{\dot{B}b}W^{\dot{C}\dot{D}}\right)W_{\dot{C}\dot{D}\dot{A}a}+4iW^{\dot{C}\dot{D}}_{\dot{B}b}W_{\dot{C}\dot{D}\dot{A}a}`$ (3.7)
$``$ $`{\displaystyle \frac{4}{3}}\left(_{\dot{B}b}W_{\dot{A}\dot{C}}\right)\mathrm{\Lambda }_a^{\dot{C}}{\displaystyle \frac{4}{3}}W_{\dot{A}\dot{C}}_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{C}}`$
The field content implicit in these relations may be seen from the differential relations in appendix B.2.

From (3.7), we can proceed computing:

$`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ $`=`$ $`4i\left(_{\dot{C}c}_{\dot{B}b}W^{\dot{D}\dot{E}}\right)W_{\dot{D}\dot{E}\dot{A}a}4i\left(_{\dot{B}b}W^{\dot{D}\dot{E}}\right)_{\dot{C}c}W_{\dot{D}\dot{E}\dot{A}a}`$ (3.8)
$`+`$ $`4i\left(_{\dot{C}c}W^{\dot{D}\dot{E}}\right)_{\dot{B}b}W_{\dot{D}\dot{E}\dot{A}a}+4iW^{\dot{D}\dot{E}}_{\dot{C}c}_{\dot{B}b}W_{\dot{D}\dot{E}\dot{A}a}`$
$``$ $`{\displaystyle \frac{4}{3}}\left(_{\dot{C}c}_{\dot{B}b}W_{\dot{A}\dot{D}}\right)\mathrm{\Lambda }_a^{\dot{D}}{\displaystyle \frac{4}{3}}\left(_{\dot{C}c}W_{\dot{A}\dot{C}}\right)_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{C}}`$
$``$ $`{\displaystyle \frac{4}{3}}\left(_{\dot{C}c}W_{\dot{A}\dot{D}}\right)_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{D}}{\displaystyle \frac{4}{3}}W_{\dot{A}\dot{D}}_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{D}}`$
We got some second spinorial derivatives of superfields, as expected, which we can compute by differentiating some of the relations in appendix B.2. We list the results in appendix C.1.

From (3.8), we finally get

$`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2={\displaystyle \frac{4}{3}}\left(_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}W_{\dot{A}\dot{E}}\right)\mathrm{\Lambda }_a^{\dot{E}}`$ $``$ $`{\displaystyle \frac{4}{3}}\left(_{\dot{C}c}_{\dot{B}b}W_{\dot{A}\dot{E}}\right)_{\dot{D}d}\mathrm{\Lambda }_a^{\dot{E}}`$
$`+{\displaystyle \frac{4}{3}}\left(_{\dot{D}d}_{\dot{B}b}W_{\dot{A}\dot{E}}\right)_{\dot{C}c}\mathrm{\Lambda }_a^{\dot{E}}`$ $``$ $`{\displaystyle \frac{4}{3}}\left(_{\dot{B}b}W_{\dot{A}\dot{E}}\right)_{\dot{D}d}_{\dot{C}c}\mathrm{\Lambda }_a^{\dot{E}}`$
$`{\displaystyle \frac{4}{3}}\left(_{\dot{D}d}_{\dot{C}c}W_{\dot{A}\dot{E}}\right)_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{E}}`$ $`+`$ $`{\displaystyle \frac{4}{3}}\left(_{\dot{C}c}W_{\dot{A}\dot{E}}\right)_{\dot{D}d}_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{E}}`$
$`{\displaystyle \frac{4}{3}}\left(_{\dot{D}d}W_{\dot{A}\dot{E}}\right)_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{E}}`$ $``$ $`{\displaystyle \frac{4}{3}}W_{\dot{A}\dot{E}}_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_a^{\dot{E}}`$
$`+4i\left(_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}W^{\dot{E}\dot{F}}\right)W_{\dot{E}\dot{F}\dot{A}a}`$ $`+`$ $`4i\left(_{\dot{C}c}_{\dot{B}b}W^{\dot{E}\dot{F}}\right)_{\dot{D}d}W_{\dot{E}\dot{F}\dot{A}a}`$
$`4i\left(_{\dot{D}d}_{\dot{B}b}W^{\dot{E}\dot{F}}\right)_{\dot{C}c}W_{\dot{E}\dot{F}\dot{A}a}`$ $`+`$ $`4i\left(_{\dot{B}b}W^{\dot{E}\dot{F}}\right)_{\dot{D}d}_{\dot{C}c}W_{\dot{E}\dot{F}\dot{A}a}`$
$`+4i\left(_{\dot{D}d}_{\dot{C}c}W^{\dot{E}\dot{F}}\right)_{\dot{B}b}W_{\dot{E}\dot{F}\dot{A}a}`$ $``$ $`4i\left(_{\dot{C}c}W^{\dot{E}\dot{F}}\right)_{\dot{D}d}_{\dot{B}b}W_{\dot{E}\dot{F}\dot{A}a}`$
$`+4i\left(_{\dot{D}d}W^{\dot{E}\dot{F}}\right)_{\dot{C}c}_{\dot{B}b}W_{\dot{E}\dot{F}\dot{A}a}`$ $`+`$ $`4iW^{\dot{E}\dot{F}}_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}W_{\dot{E}\dot{F}\dot{A}a}`$ (3.9)
As expected, we get some third spinorial derivatives of superfields, which we can compute by differentiating some of the relations from the previous section and in appendix B.2. We list the results in appendix C.2.

When a spinor derivative acts on a vector derivative of a superfield, first we commute the two derivatives with the help of the torsions and curvatures listed in the appendix B. Then we use the gauge choices (2.5), (2.6) and (2.7) to write

$$_\mu |=_\mu $$
(3.10)
$`_\mu `$ is a Lorentz and SU(2) covariant derivative. For an arbitrary superfield $`G`$ we have then

$$_mG|=e_m^\mu _\mu G|\frac{1}{2}\psi _m^{Aa}_{Aa}G|\frac{1}{2}\psi _m^{\dot{A}a}_{\dot{A}a}G|$$
(3.11)
The equations we have been obtaining allow us to determine the field content of $`\varphi |`$, by replacing the equations with fewer spinorial derivatives (starting from the differential relations in appendix B.2) in the ones with more spinorial derivatives, and by suitable index contraction and derivative commutation.

This same relations (more precisely, their complex conjugates) will also be useful for calculating the higher $`\theta `$ components of $`\varphi `$. Other differential relations will be necessary: the series of spinorial derivatives will act on $`\varphi |`$, which after the full component expansion contains much more fields (not only $`W_{AB}`$). These fields will also be acted on by four spinorial derivatives, which we have not computed (and, as we will see next section, we don’t need to). The computations are straightforward, like the one we did for $`\overline{W}^2`$. Rather than performing them, we prefer to deduce some of their properties, using the results we have.

## 4 The field equations for the auxiliary fields

Having seen how to obtain the supersymmetric $`^4`$ lagrangian in components, we are now in a position to analyze the auxiliary field sector. Our main goal is to figure out which auxiliary fields, with this $`^4`$ correction, do not get spacetime derivatives in the action (i.e. have an algebraic field equation and can be eliminated on-shell), and which do get. We start by the $`𝒩=2`$ case, the lagrangian of which we have been determining. Then we summarize the $`𝒩=1`$ case, which we analyzed in previous works, and we compare the two cases.

### 4.1 The $`𝒩=2`$ case

We start by recalling that, in pure supergravity, both in $`𝒩=1`$ and in $`𝒩=2`$, the auxiliary fields are equal to 0 on-shell .

Just by looking at the differential relations in appendix B.2, it is immediate to conclude that, if a $`_{\dot{B}b}W_{\dot{C}\dot{D}\dot{A}a}`$ term shows up in the lagrangian, one gets derivatives of $`\mathrm{\Phi }_{A\dot{B}}^{ab}`$ and of $`U_m`$. This term shows up already in $`_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ (which shows up, by itself, in higher $`\theta `$ components of $`\overline{\varphi }`$). Dotted spinor derivatives of $`\mathrm{\Phi }_{A\dot{B}}^{ab}`$ and $`U_m`$ will introduce the physical superfields $`W_{\dot{C}\dot{D}},W_{\dot{C}\dot{D}\dot{A}a},Y_{\dot{C}\dot{D}Aa}`$ and the auxiliary superfields $`Y_{\dot{C}\dot{D}},X_{ab},\mathrm{\Lambda }_{Aa}`$ (but not $`\mathrm{\Lambda }_{\dot{A}a}`$). It also introduces a derivative of the superfield $`\rho _{\dot{A}a}`$. These superfields get then one derivative - $`\rho _{\dot{A}a}`$ actually gets two - in the term $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$.

Just by inspection, we expect these auxiliary fields to have derivatives. To actually compute the coefficient of their derivative terms is a hard task - basically it would be equivalent to computing all the terms in the lagrangian, which would require an enormous amount of algebra. Fortunately, it is possible to compute their leading derivative terms using a simple trick.

In the previous section we obtained an expression for $`\varphi |`$ in terms of spinorial derivatives of superfields. To compute higher $`\theta `$ terms, we act on $`\varphi `$ with undotted spinor derivatives. From (3.5) we see that these derivatives either act on $`W^2`$, $`W_{\dot{A}\dot{B}\dot{C}c}`$, $`X_{ab}`$, $`\mathrm{\Lambda }_{\dot{C}c}`$, $`Y_{\dot{A}\dot{B}}`$ or their spinor derivatives - giving rise to the equations we got in computing $`\varphi |`$, but complex-conjugated -, or they act on four dotted spinorial derivatives of $`\overline{W}^2`$. Each undotted derivative can be anticommuted with a dotted one (giving rise to a vector derivative and curvature terms), until it finally acts in $`\overline{W}^2`$ \- resulting 0. The torsion and curvature terms we get in this process, after all undotted derivatives are taken, include other superfields like $`U_{A\dot{A}}`$, $`Y_{AB\dot{C}c}`$, the spinor derivatives of which we know from computing $`\varphi |`$. Therefore, the higher $`\theta `$ terms of $`\varphi `$ are either products of terms we already know from $`\varphi |`$, or overall vector derivatives. Since the higher $`\theta `$ terms are multiplied, in the action (3.2), by a corresponding term of the chiral density, we can integrate by parts the derivatives in the higher $`\theta `$ terms and have them acting in the chiral density! Therefore, all the lower $`\theta ^{4n}`$ terms in the chiral density are acted in the action by $`n`$ vector derivatives. Looking at the chiral density in (2.34), we conclude that $`X_{ab}`$ and $`Y_{mn}`$ have terms with at least two derivative in the action, and $`\mathrm{\Lambda }_{Aa}`$ has terms with at least one derivative in the action. These terms cannot be eliminated by integration by parts.

Furthermore, $`U_m`$ and $`\mathrm{\Phi }_m^{ab}`$ also get derivatives in the action. The reason is the following: the vector derivatives we get come from superspace and, therefore, are (or can be made) Lorentz and U(2) covariant. 333In this paper, they are just SU(2) covariant, by our choice. The choice of tangent group in superspace is a matter of convenience. We could have kept the U(2) covariance, and the argument in the text would be valid directly, but we broke this covariance to SU(2). We get them extra $`U_m`$ terms \- $`U_m`$ was the U(1) connection -, which would be reabsorbed in the derivatives, if the U(2) covariance had been kept. The physical theory should be only Lorentz invariant; the U(1) and SU(2) connections should be seen respectively as the $`U_m`$ and $`\mathrm{\Phi }_m^{ab}`$ auxiliary fields. Therefore, terms with $`n`$ vector (Lorentz and U(2) covariant) derivatives give rise to $`n1`$ vector Lorentz covariant derivatives of $`U_m`$ and $`\mathrm{\Phi }_m^{ab}`$.

Derivatives of $`P`$ and $`H_m`$ superfields still have not appeared up to now. By our previous arguments, if these derivatives do not appear in $`\varphi |`$, they do not appear at all, since these superfields do not appear in the chiral density except in the highest $`\theta `$ term. Therefore, all that is left to do is check that $`\varphi |`$ has no derivatives of $`\rho _A^a`$, $`P`$, their hermitean conjugates and $`H_m`$.

#### 4.1.1 Derivatives of $`P`$ and $`H_m`$ in $`_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ and $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$

The $`P`$ and $`H_m`$ superfields only appear in $`_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ through $`I`$, which belongs to the original Weyl multiplet and is given by (2.30), and its derivatives 444We will be only looking for derivatives of $`P`$ because, although this superfield is chiral, it is generated (and acquires derivatives) through $`_{\dot{B}b}\rho _{\dot{A}a}`$ and $`_{\dot{B}b}H_{A\dot{A}}`$. Its complex conjugate, $`\overline{P}`$, does not get derivatives in $`\varphi `$, but gets them in $`\overline{\varphi }`$.. Recall that $`I`$ itself has a divergence $`_{B\dot{B}}H^{B\dot{B}}`$ and derivatives $`_{B\dot{B}}\rho _{\dot{A}a}`$; it shows up already in the expansion of $`_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ in (3.7), through $`_{\dot{B}b}\mathrm{\Lambda }^{\dot{B}b}`$. These derivatives already show up at this early stage, and will keep showing up as the calculation goes. We anticipate that we will be interested only in derivatives of fields coming from the nonlinear multiplet. Therefore, from now on when we refer to ”derivatives of $`H_m`$” we are excluding its divergence.

As we keep going and compute $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$, we see that the derivatives in which we are interested come only from the $`_{\dot{C}c}I`$ term; all the other terms in (3.8), which we computed in terms of known expressions in appendix C.1, contribute at most with $`_{B\dot{B}}H^{B\dot{B}}`$ terms.

The complete expansion for $`_{\dot{C}c}I`$ is given by (C.4) in appendix C.1. For each term in this equation, we compute in appendix D.1 its content in terms of the derivatives of interest. Now, here a surprise happens: after all the contributions have been analyzed, we conclude that they all precisely cancel in such a way that $`_{\dot{C}c}I`$ contains no derivatives of $`P`$ or of $`H_m`$ (with the exception of $`_{B\dot{B}}H^{B\dot{B}}`$, as before). This result is easily obtained from (C.4) and the expressions from appendix D.1. This shows that derivatives of $`P`$ and $`H_m`$ do not come up to $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$.

#### 4.1.2 Derivatives of $`P`$ and $`H_m`$ in $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$

An even bigger surprise is that these derivatives also cancel in those terms from $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ in which we will be interested. The procedure we took to fully check these cancellations was analogous to the previous case: we expanded each term in (3.9) in terms of known expressions in appendix C.2. For those terms which had derivatives of interest, we computed their derivative content in appendix D.2. We summed all the possible contributions for each term in (3.9) and we list them next. During the partial calculations we see lots of independent terms appearing from different sources, but at the end we found several remarkable cancellations of those terms. The most remarkable one happens in $`_{\dot{D}d}_{\dot{C}c}I`$, which is part of the term with $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_{\dot{A}a}`$ in (3.9). As it can be seen from the expansion of $`_{\dot{D}d}_{\dot{C}c}I`$ in equation (C.14), in order to get the derivative content of this term we need contributions from every expression in appendix D. It turns out, though, after a lot of algebra, that all the contributions precisely cancel in such a way that $`_{\dot{D}d}_{\dot{C}c}I`$ has absolutely no derivatives of $`P`$ or $`H_m`$ besides $`_{B\dot{B}}H^{B\dot{B}}`$, exactly like $`_{\dot{C}c}I`$ in the previous section. All these results can be checked using the equations in appendices C and D. After performing all the calculations, the final result is then the following: the only nonvanishing contributions to interesting derivative terms in (3.9) come from

$$_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}W_{\dot{E}\dot{F}\dot{A}a}=\frac{1}{4}\epsilon _{\dot{B}\dot{A}}\epsilon _{\dot{D}\dot{C}}\epsilon _{dc}X_{ab}_{\underset{¯}{\overset{\dot{}}{E}}}^AH_{A\underset{¯}{\overset{\dot{}}{F}}}+\frac{1}{4}\epsilon _{\dot{B}\dot{A}}\epsilon _{\dot{D}\dot{C}}\epsilon _{dc}\mathrm{\Phi }_{\underset{¯}{\overset{\dot{}}{E}}ab}^A_{A\underset{¯}{\overset{\dot{}}{F}}}P+\mathrm{}$$
(4.1)
These terms actually do not vanish in $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$, but they do vanish in $`\varphi `$. This is because, as it may be seen from (3.5), $`\varphi `$ only contains the combinations $`^{\dot{A}\underset{¯}{a}}_{\dot{A}}^{\underset{¯}{b}}_a^{\dot{B}}_{\dot{B}b}\overline{W}^2`$ and $`^{\underset{¯}{\overset{\dot{}}{A}}a}_a^{\underset{¯}{\overset{\dot{}}{B}}}_{\dot{A}}^b_{\dot{B}b}\overline{W}^2`$. In the first combination, we need $`_{\underset{¯}{d}}^{\dot{D}}_{\dot{D}\underset{¯}{c}}^{\dot{B}c}W_{\dot{E}\dot{F}\dot{B}}^d`$, while in the second we need $`^{\underset{¯}{\overset{\dot{}}{D}}c}_c^{\underset{¯}{\overset{\dot{}}{C}}}_{\dot{D}}^bW_{\dot{E}\dot{F}\dot{C}b}`$. Both these combinations have no derivatives of interest, as one sees from (4.1).

The other terms from (3.5) do not have any interesting derivatives, as it may be easily seen from the equations in appendix B.2. We thus have shown that in $`\varphi |`$ there are not any derivatives of $`P`$ or $`H_m`$, apart from the divergence of this last field.

#### 4.1.3 Higher $`\theta `$ terms of $`\varphi `$

We have shown that $`\varphi |`$ contains no derivatives of $`P`$ or the transversal part of $`H_m`$. For that purpose, we needed to compute spinor derivatives of all the superfields of ”old minimal” $`𝒩=2`$ supergravity. As one can see from the results of appendix D, not all spinor derivatives of superfields originate the vector derivatives we were looking at; only the spinor derivatives of the ”dangerous” superfields $`\rho _{\dot{A}}^a`$, $`P`$, $`H_m`$ and $`\mathrm{\Phi }_m^{ab}`$ originate such derivatives.

In order to compute the higher $`\theta `$ terms of $`\varphi `$, we act on (3.5) with undotted spinor derivatives and follow the procedure described in the beginning of this section. We will find only terms that we have already computed but, most important, we will only find spinor derivatives of the ”safe” superfields $`W_{AB}`$, $`W_{\dot{A}\dot{B}\dot{C}c}`$, $`X_{ab}`$, $`\mathrm{\Lambda }_{\dot{C}c}`$, $`Y_{\dot{A}\dot{B}}`$, $`U_{A\dot{A}}`$, $`Y_{AB\dot{C}c}`$, or of their spinor derivatives, but not of any of the ”dangerous” ones. These superfields are ”safe” even in the sense that they are ”closed” with respect to differentiation: spinor derivatives of ”safe” superfields only originate ”safe” superfields.

This way, we conclude there are no derivatives of $`P`$ or the transversal part of $`H_m`$ in the $`𝒩=2`$ supersymmetrization of the fourth power of the Weyl tensor.

#### 4.1.4 The behavior of $`\rho _A^a`$

Our results indicate that in $`𝒩=2`$ ”old minimal” supergravity with the $`^4`$ correction, the bosonic auxiliary fields from the compensating nonlinear multiplet do not get derivatives and can still be eliminated. Auxiliary fields from the Weyl ($`Y_{mn}`$, $`\mathrm{\Lambda }_{Aa}`$, $`U_m`$, $`\mathrm{\Phi }_m^{ab}`$) and vector ($`X_{ab}`$) multiplets get derivatives and cannot be eliminated.

The only unclear result is the behavior of the fundamental (in terms of which all the others are defined) auxiliary field $`\rho _A^a`$. Derivatives of $`\rho _A^a`$ (and of its hermitian conjugate) are not generated by the process of integration by parts we mentioned, but they are constantly being generated in the computation of $`\varphi |`$ already from its beginning. This is because these derivatives exist already in the simple differential relations of appendix B.2 and in the definition (2.30) of $`I`$. This is why we have not fully calculated these derivatives, as we did with the other superfields: that would require computing a big number of terms and, for each term, a huge number of different contributions. This is probably because $`\rho _A^a`$ belongs to a nonlinear multiplet. It would seem a miracle that all these derivative terms would cancel, but we have not shown that they do not cancel and we cannot rule it out! We can at least provide arguments supporting the hypothesis of cancellation. And there are at least two good ones. The first argument is that it seems strange (although it is not impossible) to have a field ($`\rho _A^a`$) with a dynamical field equation while having two fields obtained from its spinorial derivatives ($`P`$ and $`H_m`$ \- see appendix B.1) without such an equation. The second argument is that $`\rho _A^a`$, like $`P`$ and $`H_m`$, are intrinsic to the ”old minimal” version of $`𝒩=2`$ supergravity; they all come, as we saw, from the same multiplet. The physical theory does not depend on these auxiliary fields and, therefore, it seems natural that they can be eliminated from the classical theory and its quantum corrections. We checked that $`P`$ and (transversal) $`H_m`$ can be eliminated; the same should be expected for $`\rho _A^a`$. If that was the case that the derivatives of $`\rho _A^a`$ would cancel, its field equation would be some function of the ”dynamical” auxiliary fields and their derivatives, such that when replaced in their definitions in appendix B.1, it would result in differential (i.e. dynamical) field equations for these fields.

### 4.2 The $`𝒩=1`$ case

The fields of $`𝒩=1`$ conformal supergravity multiplet are the graviton $`e_\mu ^m`$, the gravitino $`\psi _\mu ^A`$ and a U(1) gauge field $`A_\mu `$. (The dilation gauge field $`B_\mu `$ can be gauged away.) Just with these fields, the superconformal algebra closes off-shell. Each one of these is a gauge field; the corresponding gauge invariances must be considered when counting the number of degrees of freedom. In particular, $`A_\mu `$ has 4-1=3 degrees of freedom .

To obtain the ”old minimal” formulation of $`𝒩=1`$ Poincaré supergravity , we take the superconformally invariant action of a chiral multiplet. In order to break the superconformal and local U(1) invariances, one must impose some constraint which restricts the parameters of their transformation rules to the chiral multiplet. In superspace this is achieved by imposing the following nonconformal torsion constraint :

$$T_{Am}^m=0$$
(4.2)
This constraint implies the known off-shell constraints and differential relations between the $`𝒩=1`$ supergravity superfields $`R,G_m,W_{ABC}`$:

$`^AR`$ $`=`$ $`0`$ (4.3)
$`^AG_{A\dot{B}}`$ $`=`$ $`{\displaystyle \frac{1}{24}}_{\dot{B}}R`$ (4.4)
$`^AW_{ABC}`$ $`=`$ $`i\left(_{B\dot{A}}G_C^{\dot{A}}+_{C\dot{A}}G_B^{\dot{A}}\right)`$ (4.5)
which imply the relation

$$^2\overline{R}\overline{}^2R=96i^nG_n$$
(4.6)
The (anti)chirality condition on $`R,\overline{R}`$ implies their $`\theta =0`$ components (resp. the auxiliary fields $`MiN,M+iN`$) lie in antichiral/chiral multiplets; (4.4) shows the spin-1/2 parts of the gravitino lie on the same multiplets and, according to (4.6), so does $`^\mu A_\mu `$ (because $`G_m|=A_m`$).555The remaining scalar off-shell degree of freedom is the trace of the metric.

In previous works, we have considered a similar problem to the one in the present paper: supersymmetrizing the fourth power of the Weyl tensor, $`𝒲_+^2𝒲_{}^2`$, in the ”old minimal” formulation of $`𝒩=1`$ supergravity . When we took the superspace action which included this term, we obtained algebraic field equations for $`R,\overline{R}`$. According to (4.6), $`^nG_n`$ also obbeys an algebraic equation. The auxiliary fields that belong to the compensating multiplet can thus still be eliminated. This is not the case for the auxiliary fields which come from the Weyl multiplet ($`A_m`$), as we obtained, in the same work, a differential field equation for $`G_m`$.

### 4.3 Possible generalizations

It would be interesting to figure out how the results we got can be generalized. Both $`𝒩=1`$ and $`𝒩=2`$ supergravities admit other minimal formulations, with different choices of compensating multiplets and different sets of auxiliary fields. In ”new minimal” $`𝒩=1`$ , the chiral compensating multiplet is replaced by a compensating tensor multiplet that still breaks conformal invariance but leaves the local U(1) invariance unbroken. In the ”new minimal” $`𝒩=2`$ , one still has the compensating vector multiplet that breaks conformal and local U(1) invariances, but the nonlinear multiplet is replaced by an ”improved tensor” compensating multiplet that breaks local SU(2) to local SO(2).

The obvious observation is that both in $`𝒩=1`$ and $`𝒩=2`$ the auxiliary fields from the tensor multiplets do not get derivatives in the supersymmetric $`^4`$ action, while the auxiliary fields from the Weyl (and vector in $`𝒩=2`$) multiplets do get. This way we notice that, in the cases we analyzed, the auxiliary fields that can be eliminated come from multiplets which, on-shell, have no physical fields; while the auxiliary fields that get derivatives come from multiplets with physical fiels on-shell (the graviton, the gravitino(s) and, in $`𝒩=2`$, the vector). Our general conjecture for $`^4`$ supergravity, which is fully confirmed in the ”old minimal” $`𝒩=1`$ case, can now be stated: the auxiliary fields which come from multiplets with on-shell physical fields cannot be eliminated, but the ones that come from compensating multiplets that, on shell, have no physical fields, can.

This analysis should also be extended to nonminimal versions of these theories. These nonminimal versions would have fermionic auxiliary fields (also in $`𝒩=1`$). This should be part of another project, and we leave more definite results to another work. Maybe by understanding the behavior of these fermionic auxiliary fields (and the ones in ”new minimal” $`𝒩=2`$) we could fully understand what in this paper we have just conjectured: the behavior of the auxiliary field $`\rho _A^a`$ in ”old minimal” $`𝒩=2`$ supergravity. Possibly the computations would get easier in other versions of the $`𝒩=2`$ theory; the fact that they were difficult in the ”old minimal” formulation, particularly the ones concerning $`\rho _A^a`$, is probably simply due to the presence of the nonlinear multiplet.

A generalization of these results to $`𝒩=3,4`$ Poincaré supergravity theories, which can also be seen as broken superconformal theories, is more difficult. This is because these theories do not have an off-shell formulation in conventional superspace. A formulation like this could still be possible, but either in harmonic superspace or with multiplets with central charge.

## 5 Conclusions

We wrote down an action containing an $`^4`$ correction to ”old minimal” $`𝒩=2`$ supergravity. We analyzed its auxiliary field sector, and we concluded that the auxiliary fields belonging to the Weyl and compensating vector multiplets acquire derivatives with these correction and cannot be eliminated on-shell. We checked that all the terms with derivatives for the bosonic auxiliary fields from the compensating nonlinear multiplets cancel; we argued that the same should be true for the fermionic auxiliary field from this multiplet, although we have not performed the full calculation in order to reach a definitive conclusion.

In ”old minimal” $`𝒩=1`$ supergravity a similar result is valid: the auxiliary field from the Weyl multiplet cannot be eliminated on-shell with the $`^4`$ correction, while the ones from the chiral compensating multiplet can. We then conjectured that analogous results about the Weyl and compensating multiplets should be valid for the other versions of $`𝒩=1,2`$ supergravity. In general, we conjecture that auxiliary fields which come from multiplets with on-shell physical fields cannot be eliminated, but those ones that come from compensating multiplets without any on shell physical fields can be eliminated. These results should help to clarify the structure of the supersymmetric $`^4`$ actions in more complicated and less understood theories, either with more supersymmetries (in $`d=4`$) or in higher dimensions.

The direct supersymmetrization of higher order terms in 10 and 11 dimensions has been an active topic of research, although lots of questions remain open. Some superinvariants associated with the $`^4`$ term have been studied , but complete supersymmetric effective actions including all the leading order corrections to supergravity are still lacking. In M-theory, because of the absence of a microscopical formulation, the construction of superinvariants would be even more important. Hopefully the results we have been getting in four dimensions will provide some insight for the higher dimensional theories!

##### Acknowledgements

The author is very grateful to Martin Roček for having suggested him this problem and, together with Warren Siegel, for very helpful discussions. He wishes to thank Antoine van Proeyen for correspondence and Bernard de Wit for discussions and for having indicated him useful references. He also wishes to thank INFN, Sezione di Bologna, for hospitality and financial support during a short visit in January 2003. This work has been partially supported by NSF through grant PHY-0098527.

## Appendix A $`𝒩=2`$ SU(2) superspace conventions

We work with standard SU(2) $`𝒩=2`$ superspace. We define

$$V_M=(V_m,V_{Aa},V_{\dot{B}b})$$
(A.1)
$`A,\dot{B}`$ are spinor indices, the algebra of which being exactly the same as the $`𝒩=1`$ case, which is fully explained in . $`a`$ is an internal SU(2) index, which is raised and lowered with an SU(2)-invariant $`\epsilon ^{ab}`$ tensor, just like the spinor indices: $`T^a=\epsilon ^{ab}T_b,T_a=T^b\epsilon _{ba}`$. We take $`\epsilon _{12}=1`$. The basic rule of our conventions (different from other conventions in the literature) is that we use the northwest rule in every index (spinor or SU(2)) contraction. The complex conjugation rules are

$$\overline{V_A^a}=V_{\dot{A}a},\overline{V^{Aa}}=V_a^{\dot{A}},\overline{V_{Aa}}=V_{\dot{A}}^a,\overline{V_a^A}=V^{\dot{A}a},\overline{\epsilon _{ab}}=\epsilon ^{ab},\overline{\chi ^{Aa}\psi ^{Bb}}=\overline{\chi ^{Aa}}\overline{\psi ^{Bb}}$$
(A.2)
All other conventions regarding spacetime metrics, the Riemann tensor, Pauli matrices, superspace torsions and curvatures are the same as in .

## Appendix B Solution to the Bianchi identities in $`𝒩=2`$ SU(2) superspace

In conformal supergravity, all torsions and curvatures can be expressed in terms of the basic superfields $`W_{AB}`$, $`Y_{AB}`$, $`U_{A\dot{A}}`$, $`X_{ab}`$, their complex conjugates and their covariant derivatives. After breaking of superconformal invariance and local U(2), the basic superfields in the Poincaré theory become the physical field $`W_{AB}`$ and the auxiliary field $`\rho _A^a`$. All torsions and curvatures can be expressed in terms of these superfields, their complex conjugates and their covariant derivatives. In sections B.1 and B.2 we present the definitions of these superfields, and then we list the torsions and curvatures.

### B.1 Definitions

$`\rho _A^a|`$ is an auxiliary field; $`W_{AB}|`$, at the linearized level, is related to the field strength of the physical vector field $`A_\mu `$. From (2.23), the complete expression is

$$W_{AB}|=\frac{i}{2\sqrt{2}}\sigma _{AB}^{mn}F_{mn}Y_{AB}\frac{i}{4}\sigma _{AB}^{mn}(\psi _m^{Cc}\psi _{nCc}+\psi _m^{\dot{C}c}\psi _{n\dot{C}c})$$
(B.1)
Now we present the definitions of the superfields of ”old minimal” $`𝒩=2`$ supergravity in terms of $`W_{AB}`$ and $`\rho _A^a`$. The hermitian conjugates can be easily obtained from the basic rules in (A.2), which are valid for $`_A^a`$ and $`\rho _A^a`$, and the definition

$$W_{\dot{A}\dot{B}}=\overline{W_{AB}}.$$

$`X^{ab}`$ $`=`$ $`{\displaystyle \frac{1}{2}}\left(^{\dot{A}\underset{¯}{a}}2\rho ^{\dot{A}\underset{¯}{a}}\right)\rho _{\dot{A}}^{\underset{¯}{b}}={\displaystyle \frac{1}{2}}\left(^{A\underset{¯}{a}}2\rho ^{A\underset{¯}{a}}\right)\rho _A^{\underset{¯}{b}}`$ (B.2)
$`Y_{AB}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\left(_{\underset{¯}{A}}^a+2\rho _{\underset{¯}{A}}^a\right)\rho _{\underset{¯}{B}a}`$ (B.3)
$`U_{A\dot{A}}`$ $`=`$ $`{\displaystyle \frac{1}{4}}\left(_A^a\rho _{\dot{A}a}+_{\dot{A}}^a\rho _{Aa}+4\rho _A^a\rho _{\dot{A}a}\right)`$ (B.4)
$`\mathrm{\Phi }_{A\dot{A}}^{ab}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\left(_A^{\underset{¯}{a}}\rho _{\dot{A}}^{\underset{¯}{b}}_{\dot{A}}^{\underset{¯}{a}}\rho _A^{\underset{¯}{b}}4\rho _A^{\underset{¯}{a}}\rho _{\dot{A}}^{\underset{¯}{b}}\right)`$ (B.5)
$`P`$ $`=`$ $`i^{\dot{A}a}\rho _{\dot{A}a}`$ (B.6)
$`H_{A\dot{A}}`$ $`=`$ $`i_A^a\rho _{\dot{A}a}+i_{\dot{A}}^a\rho _{Aa}`$ (B.7)
$`\mathrm{\Lambda }^{Aa}`$ $`=`$ $`i_b^AX^{ab}`$ (B.8)
$`I`$ $`=`$ $`i^{\dot{A}a}\mathrm{\Lambda }_{\dot{A}a}i^{Aa}\mathrm{\Lambda }_{Aa}`$ (B.9)
$`W_{BCAa}`$ $`=`$ $`{\displaystyle \frac{i}{2}}_{Aa}W_{BC}{\displaystyle \frac{i}{6}}\left(\epsilon _{AB}\mathrm{\Lambda }_{Ca}+\epsilon _{AC}\mathrm{\Lambda }_{Ba}\right)`$ (B.10)
$`Y_{BC\dot{A}a}`$ $`=`$ $`{\displaystyle \frac{i}{2}}_{\dot{A}a}Y_{BC}`$ (B.11)
$`W_{ABCD}`$ $`=`$ $`\left({\displaystyle \frac{i}{4}}_{\underset{¯}{A}}^b_{\underset{¯}{B}b}2Y_{\underset{¯}{AB}}\right)W_{\underset{¯}{CD}}`$ (B.12)
$`W_{\dot{A}\dot{B}\dot{C}\dot{D}}`$ $`=`$ $`\left({\displaystyle \frac{i}{4}}_{\underset{¯}{\overset{\dot{}}{A}}}^b_{\underset{¯}{\overset{\dot{}}{B}}b}2Y_{\underset{¯}{\dot{A}\dot{B}}}\right)W_{\underset{¯}{\dot{C}\dot{D}}}`$
$`P_{AB\dot{C}\dot{D}}`$ $`=`$ $`{\displaystyle \frac{i}{8}}_{\underset{¯}{A}}^b_{\underset{¯}{B}b}Y_{\dot{C}\dot{D}}+{\displaystyle \frac{i}{8}}_{\underset{¯}{\overset{\dot{}}{C}}}^b_{\underset{¯}{\overset{\dot{}}{D}}b}Y_{AB}Y_{AB}Y_{\dot{C}\dot{D}}W_{AB}W_{\dot{C}\dot{D}}`$ (B.13)
$``$ $`U_{\underset{¯}{A}\underset{¯}{\overset{\dot{}}{C}}}U_{\underset{¯}{B}\underset{¯}{\overset{\dot{}}{D}}}`$
$`R`$ $`=`$ $`{\displaystyle \frac{i}{4}}\left(^{\dot{A}a}_a^{\dot{B}}W_{\dot{A}\dot{B}}+^{Aa}_a^BW_{AB}+i^{\dot{A}a}_{\dot{A}}^bX_{ab}+i^{Aa}_A^bX_{ab}\right)`$ (B.14)
$``$ $`2\left(W^{AB}Y_{AB}+W^{\dot{A}\dot{B}}Y_{\dot{A}\dot{B}}\right)6X^{ab}X_{ab}+6U^2`$
$`X^{ab}|,Y_{AB}|,U_m|,\mathrm{\Phi }_{A\dot{A}}^{ab}|,P|,H_{A\dot{A}}|`$ are auxiliary fields; $`I`$ is a dependent field. $`W_{ABCD}`$ is symmetric in all its indices, but $`W_{ABCc}`$ and $`Y_{AB\dot{C}c}`$ are only symmetric in $`A,B`$. In the linearized approximation, $`W_{ABCc}|`$ and $`Y_{AB\dot{C}c}|`$ are the gravitino curls and $`W_{ABCD}|`$, $`P_{AB\dot{C}\dot{D}}|`$, $`R|`$ are the antiself-dual Weyl tensor, the traceless Ricci tensor and the Ricci scalar, respectively:

$`W_{ABCc}|`$ $`=`$ $`{\displaystyle \frac{1}{4}}\psi _{ABCc}+\mathrm{}`$ (B.15)
$`Y_{\dot{A}\dot{B}Cc}|`$ $`=`$ $`{\displaystyle \frac{1}{8}}\psi _{\dot{A}\dot{B}Cc}+\mathrm{}`$ (B.16)
$`W_{ABCD}|`$ $`=`$ $`{\displaystyle \frac{1}{8}}𝒲_{\mu \nu \rho \sigma }^+\sigma _{\underset{¯}{AB}}^{\mu \nu }\sigma _{\underset{¯}{CD}}^{\rho \sigma }+\mathrm{}`$ (B.17)
$`P_{CD\dot{A}\dot{B}}|`$ $`=`$ $`{\displaystyle \frac{1}{2}}\sigma _{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{A}}}^\mu \sigma _{\underset{¯}{D}\underset{¯}{\overset{\dot{}}{B}}}^\nu \left(_{\mu \nu }{\displaystyle \frac{1}{4}}g_{\mu \nu }\right)+\mathrm{}`$ (B.18)
$`R|`$ $`=`$ $`+\mathrm{}`$ (B.19)
### B.2 Off-shell differential relations

These off-shell differential relations among superfields are direct consequences of the Bianchi identities and the definitions in B.1.

$`_A^a\rho _B^b`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon _{AB}\epsilon ^{ab}\overline{P}\epsilon _{AB}X^{ab}i\epsilon ^{ab}Y_{AB}+2\rho _A^b\rho _B^a`$ (B.20)
$`_A^a\rho _{\dot{B}}^b`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon ^{ab}H_{A\dot{B}}\epsilon ^{ab}U_{A\dot{B}}i\mathrm{\Phi }_{A\dot{B}}^{ab}+2\rho _A^b\rho _{\dot{B}}^a`$ (B.21)
$`_{\dot{C}c}W_{AB}`$ $`=`$ $`0,_{Cc}W_{\dot{A}\dot{B}}=0`$ (B.22)
$`_{Aa}W_{BC}`$ $`=`$ $`2iW_{BCAa}+{\displaystyle \frac{1}{3}}\left(\epsilon _{AB}\mathrm{\Lambda }_{Ca}+\epsilon _{AC}\mathrm{\Lambda }_{Ba}\right)`$ (B.23)
$`_{Aa}X_{bc}`$ $`=`$ $`{\displaystyle \frac{i}{3}}\left(\epsilon _{ab}\mathrm{\Lambda }_{Ac}+\epsilon _{ac}\mathrm{\Lambda }_{Ab}\right)`$ (B.24)
$`_{Aa}Y_{BC}`$ $`=`$ $`{\displaystyle \frac{1}{3}}\left(\epsilon _{AB}\mathrm{\Lambda }_{Ca}+\epsilon _{AC}\mathrm{\Lambda }_{Ba}\right)`$ (B.25)
$`_{\dot{A}a}Y_{BC}`$ $`=`$ $`2iY_{BC\dot{A}a}`$ (B.26)
$`_{Aa}U_{B\dot{B}}`$ $`=`$ $`Y_{AB\dot{B}a}+\epsilon _{AB}W_{\dot{B}\dot{A}a}^{\dot{A}}+{\displaystyle \frac{2}{3}}i\epsilon _{AB}\mathrm{\Lambda }_{\dot{B}a}`$ (B.27)
$`_{\dot{A}}^aP`$ $`=`$ $`0,_A^a\overline{P}=0`$ (B.28)
$`_A^aP`$ $`=`$ $`8iW_{AB}^{Ba}{\displaystyle \frac{4}{3}}\mathrm{\Lambda }_A^a8\rho ^{Ba}W_{AB}+2P\rho _A^a+2\rho ^{\dot{A}a}H_{A\dot{A}}`$ (B.29)
$``$ $`4i\rho ^{\dot{A}a}U_{A\dot{A}}8_{A\dot{A}}\rho ^{\dot{A}a}8\mathrm{\Phi }_{A\dot{A}}^{ab}\rho _b^{\dot{A}}`$
$`_A^aH_{B\dot{B}}`$ $`=`$ $`8i\epsilon _{AB}W_{\dot{A}\dot{B}}^{\dot{A}a}+{\displaystyle \frac{4}{3}}\epsilon _{AB}\mathrm{\Lambda }_{\dot{B}}^a4\epsilon _{AB}\rho ^{\dot{A}a}W_{\dot{A}\dot{B}}4i\epsilon _{AB}\rho _{\dot{B}b}X^{ba}`$ (B.30)
$``$ $`2\epsilon _{AB}\overline{P}\rho _{\dot{B}}^a2\epsilon _{AB}\rho ^{Ca}H_{C\dot{B}}+4\rho _{\dot{B}}^aY_{AB}+2i\rho _A^aU_{B\dot{B}}`$
$``$ $`8\rho _{Ab}\mathrm{\Phi }_{B\dot{B}}^{ab}+8\rho _{Bb}\mathrm{\Phi }_{A\dot{B}}^{ab}4_{B\dot{B}}\rho _A^a+8_{A\dot{B}}\rho _B^a`$
$`_A^a\mathrm{\Phi }_{B\dot{B}}^{bc}`$ $`=`$ $`2i\epsilon _{AB}\epsilon ^{a\underset{¯}{b}}W_{\dot{B}\dot{A}}^{\dot{A}\underset{¯}{c}}+{\displaystyle \frac{2}{3}}\epsilon _{AB}\epsilon ^{a\underset{¯}{b}}\mathrm{\Lambda }_{\dot{B}}^{\underset{¯}{c}}2\epsilon _{AB}\epsilon ^{a\underset{¯}{b}}\rho ^{\dot{A}\underset{¯}{c}}W_{\dot{A}\dot{B}}`$ (B.31)
$`+`$ $`2i\epsilon ^{a\underset{¯}{b}}Y_{AB\dot{B}}^{\underset{¯}{c}}2\epsilon ^{a\underset{¯}{b}}Y_{AB}\rho _{\dot{B}}^{\underset{¯}{c}}+i\epsilon ^{a\underset{¯}{b}}\rho _A^{\underset{¯}{c}}U_{B\dot{B}}2i\epsilon ^{a\underset{¯}{b}}\rho _B^{\underset{¯}{c}}U_{A\dot{B}}`$
$``$ $`4\epsilon ^{a\underset{¯}{b}}\rho _{Ad}\mathrm{\Phi }_{B\dot{B}}^{d\underset{¯}{c}}2\epsilon ^{a\underset{¯}{b}}_{B\dot{B}}\rho _A^{\underset{¯}{c}}2i\epsilon _{AB}X^{a\underset{¯}{b}}\rho _{\dot{B}}^{\underset{¯}{c}}+2\rho _A^{\underset{¯}{b}}\mathrm{\Phi }_{B\dot{B}}^{a\underset{¯}{c}}`$
$`_A^a\mathrm{\Lambda }_B^b`$ $`=`$ $`{\displaystyle \frac{i}{8}}I\epsilon _{AB}\epsilon ^{ab}+{\displaystyle \frac{3}{2}}\epsilon _{AB}\epsilon ^{ab}_{C\dot{C}}U^{C\dot{C}}`$ (B.32)
$`+`$ $`{\displaystyle \frac{3}{2}}i\epsilon _{AB}\epsilon ^{ab}\left(Y^{CD}W_{CD}Y^{\dot{C}\dot{D}}W_{\dot{C}\dot{D}}\right)6Y_{AB}X^{ab}`$
$`_A^a\mathrm{\Lambda }_{\dot{B}}^b`$ $`=`$ $`3i\epsilon ^{ab}\left(_{B\dot{B}}W_A^B+_A^{\dot{A}}Y_{\dot{A}\dot{B}}\right)3_{A\dot{B}}X^{ab}6iU_{A\dot{B}}X^{ab}`$ (B.33)
$`_{\dot{B}b}W_{\dot{C}\dot{D}\dot{A}a}`$ $`=`$ $`\epsilon _{ba}W_{\dot{C}\dot{D}\dot{A}\dot{B}}+{\displaystyle \frac{1}{12}}\epsilon _{ba}\left(\epsilon _{\dot{A}\dot{C}}\epsilon _{\dot{B}\dot{D}}+\epsilon _{\dot{A}\dot{D}}\epsilon _{\dot{B}\dot{C}}\right)R\epsilon _{\dot{B}\dot{A}}_{\underset{¯}{\overset{\dot{}}{C}}}^C\mathrm{\Phi }_{Cb\underset{¯}{\overset{\dot{}}{D}}a}`$ (B.34)
$`+`$ $`i\epsilon _{ba}\epsilon _{\underset{¯}{\overset{\dot{}}{C}}\underset{¯}{\underset{¯}{\overset{\dot{}}{A}}}}_{\underset{¯}{\overset{\dot{}}{D}}}^CU_{C\underset{¯}{\underset{¯}{\overset{\dot{}}{B}}}}+2\epsilon _{\dot{B}\dot{A}}W_{\dot{C}\dot{D}\dot{E}\underset{¯}{b}}\rho _{\underset{¯}{a}}^{\dot{E}}2\epsilon _{\dot{B}\dot{A}}Y_{\dot{C}\dot{D}E\underset{¯}{b}}\rho _{\underset{¯}{a}}^E`$
$`+`$ $`\epsilon _{\dot{B}\dot{A}}\mathrm{\Phi }_{\underset{¯}{\overset{\dot{}}{C}}\underset{¯}{b}}^{Ce}\mathrm{\Phi }_{Ce\underset{¯}{\overset{\dot{}}{D}}\underset{¯}{a}}+2\epsilon _{ba}Y_{\underset{¯}{\overset{\dot{}}{C}}\dot{B}}W_{\underset{¯}{\overset{\dot{}}{D}}\dot{A}}+\epsilon _{ba}\epsilon _{\underset{¯}{\overset{\dot{}}{C}}\dot{B}}\epsilon _{\underset{¯}{\overset{\dot{}}{D}}\dot{A}}W^{CD}Y_{CD}`$
$`+`$ $`\epsilon _{ba}\epsilon _{\underset{¯}{\overset{\dot{}}{C}}\dot{B}}\epsilon _{\underset{¯}{\overset{\dot{}}{D}}\dot{A}}X^2+\epsilon _{ba}\epsilon _{\underset{¯}{\overset{\dot{}}{C}}\dot{B}}\epsilon _{\underset{¯}{\overset{\dot{}}{D}}\dot{A}}U^2+2i\epsilon _{\underset{¯}{\overset{\dot{}}{D}}\dot{A}}Y_{\underset{¯}{\overset{\dot{}}{C}}\dot{B}}X_{ba}`$
$`+`$ $`2i\epsilon _{\underset{¯}{\overset{\dot{}}{C}}\dot{B}}W_{\underset{¯}{\overset{\dot{}}{D}}\dot{A}}X_{ba}`$
$`_{Bb}W_{\dot{C}\dot{D}\dot{A}a}`$ $`=`$ $`\epsilon _{ab}_{B\dot{A}}W_{\dot{C}\dot{D}}+\epsilon _{ab}\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}_B^{\dot{B}}W_{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}\epsilon _{ab}\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}_{\underset{¯}{\overset{\dot{}}{D}}}^CY_{BC}`$ (B.35)
$`+`$ $`i\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}_{B\underset{¯}{\overset{\dot{}}{D}}}X_{ab}2\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}U_{B\underset{¯}{\overset{\dot{}}{D}}}X_{ab}+i\epsilon _{ab}U_{B\dot{A}}W_{\dot{C}\dot{D}}`$
$`+`$ $`2i\epsilon _{ab}\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}U_B^{\dot{B}}W_{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}`$
$`_{\dot{B}b}Y_{CD\dot{A}a}`$ $`=`$ $`\epsilon _{ba}P_{CD\dot{B}\dot{A}}+i\epsilon _{ba}_{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{A}}}U_{\underset{¯}{D}\underset{¯}{\overset{\dot{}}{B}}}\epsilon _{\dot{B}\dot{A}}_{\underset{¯}{C}}^{\dot{C}}\mathrm{\Phi }_{\underset{¯}{D}a\dot{C}b}`$ (B.36)
$``$ $`2\epsilon _{\dot{B}\dot{A}}W_{CDE\underset{¯}{b}}\rho _{\underset{¯}{a}}^E+2\epsilon _{\dot{B}\dot{A}}Y_{CD\dot{E}\underset{¯}{b}}\rho _{\underset{¯}{a}}^{\dot{E}}+\epsilon _{\dot{B}\dot{A}}\mathrm{\Phi }_{\underset{¯}{C}\underset{¯}{b}}^{\dot{C}e}\mathrm{\Phi }_{\underset{¯}{D}\underset{¯}{a}\dot{C}e}`$
$`+`$ $`\epsilon _{ba}W_{CD}W_{\dot{B}\dot{A}}+\epsilon _{ba}Y_{CD}Y_{\dot{B}\dot{A}}\epsilon _{ba}\epsilon _{\dot{B}\dot{A}}W_{\underset{¯}{C}}^EY_{E\underset{¯}{D}}`$
$``$ $`i\epsilon _{\dot{B}\dot{A}}X_{ab}Y_{CD}+i\epsilon _{\dot{B}\dot{A}}X_{ab}W_{CD}+\epsilon _{ba}U_{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{A}}}U_{\underset{¯}{D}\underset{¯}{\overset{\dot{}}{B}}}`$
$`_{Bb}Y_{CD\dot{A}a}`$ $`=`$ $`\epsilon _{ba}\epsilon _{B\underset{¯}{C}}_{\underset{¯}{D}}^{\dot{C}}W_{\dot{C}\dot{A}}\epsilon _{ba}_{\underset{¯}{D}\dot{A}}Y_{B\underset{¯}{C}}+i\epsilon _{B\underset{¯}{C}}_{\underset{¯}{D}\dot{A}}X_{ab}`$ (B.37)
$``$ $`i\epsilon _{ba}Y_{CD}U_{B\dot{A}}+2i\epsilon _{ba}Y_{B\underset{¯}{C}}U_{\underset{¯}{D}\dot{A}}+2\epsilon _{B\underset{¯}{C}}U_{\underset{¯}{D}\dot{A}}X_{ba}`$
$`_{\dot{E}e}W_{\dot{A}\dot{B}\dot{C}\dot{D}}`$ $`=`$ $`2i\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{C}}}_{\underset{¯}{C}}^EY_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}Ee}4iY_{\dot{E}\underset{¯}{\overset{\dot{}}{C}}}W_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{D}}e}8\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{C}}}X_e^fW_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{D}}f}`$ (B.38)
$`+`$ $`3\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{C}}}Y_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}Ee}U_{\underset{¯}{\overset{\dot{}}{D}}}^E2iW_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\dot{E}e}Y_{\underset{¯}{\overset{\dot{}}{C}}\underset{¯}{\overset{\dot{}}{D}}}`$
$`_{Aa}W_{\dot{A}\dot{B}\dot{C}\dot{D}}`$ $`=`$ $`2i_{A\underset{¯}{\overset{\dot{}}{C}}}W_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{D}}a}+U_{A\underset{¯}{\overset{\dot{}}{C}}}W_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{D}}a}+4iW_{\underset{¯}{\overset{\dot{}}{C}}\underset{¯}{\overset{\dot{}}{D}}}Y_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}Aa}`$ (B.39)
$`_{\dot{E}e}P_{CD\dot{B}\dot{A}}`$ $`=`$ $`2i_{\underset{¯}{C}\dot{E}}Y_{\dot{A}\dot{B}\underset{¯}{D}e}i_{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{A}}}Y_{\dot{E}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{D}e}+i\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{B}}}_{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{A}}}W_{\underset{¯}{D}Ee}^E2iY_{CD\dot{E}e}Y_{\dot{A}\dot{B}}`$ (B.40)
$``$ $`iY_{\dot{E}\underset{¯}{\overset{\dot{}}{A}}}Y_{CD\underset{¯}{\overset{\dot{}}{B}}e}+i\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{A}}}W_{\underset{¯}{C}}^EY_{E\underset{¯}{D}\underset{¯}{\overset{\dot{}}{B}}e}2iW_{CD}W_{\dot{A}\dot{B}\dot{E}e}`$
$``$ $`i\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{A}}}W_{CD}W_{\underset{¯}{\overset{\dot{}}{B}}\dot{C}e}^{\dot{C}}5\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{A}}}X_e^fY_{CD\underset{¯}{\overset{\dot{}}{B}}f}2\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{A}}}W_{CDFe}U_{\underset{¯}{\overset{\dot{}}{B}}}^F`$
$`+`$ $`\epsilon _{\dot{E}\underset{¯}{\overset{\dot{}}{A}}}U_{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{B}}}W_{\underset{¯}{D}Ee}^E+{\displaystyle \frac{1}{2}}U_{\underset{¯}{C}\underset{¯}{\overset{\dot{}}{B}}}Y_{\dot{E}\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{D}e}+2U_{\underset{¯}{C}\dot{E}}Y_{\dot{A}\dot{B}\underset{¯}{D}e}`$
$`_{\dot{A}a}R`$ $`=`$ $`i^{B\dot{B}}Y_{\dot{A}\dot{B}Ba}+3i_{\dot{A}}^BW_{BCa}^C+10X_{ab}W_{\dot{A}\dot{B}}^{\dot{B}b}2iW_{\dot{C}\dot{B}a}^{\dot{B}}Y_{\dot{A}}^{\dot{C}}`$ (B.41)
$``$ $`4iW_{\dot{C}\dot{B}\dot{A}a}Y^{\dot{C}\dot{B}}3iW^{CB}Y_{CB\dot{A}a}+{\displaystyle \frac{9}{2}}U^{B\dot{B}}Y_{\dot{A}\dot{B}Ba}+{\displaystyle \frac{9}{2}}U_{\dot{A}}^BW_{BCa}^C`$
Using (B.36) and (B.37), one may compute $`^{B\dot{B}}Y_{\dot{A}\dot{B}Ba}`$; replacing in (B.41), we get the more convenient expression

$`_{\dot{A}a}R`$ $`=`$ $`4i_{\dot{A}}^BW_{BCa}^C+12X_{ab}W_{\dot{A}\dot{B}}^{\dot{B}b}2iW^{CB}Y_{CB\dot{A}a}`$ (B.42)
$``$ $`6iW_{\dot{C}\dot{B}\dot{A}a}Y^{\dot{C}\dot{B}}+12U^{B\dot{B}}Y_{\dot{A}\dot{B}Ba}+4U_{\dot{A}}^BW_{BCa}^C`$
### B.3 Torsions

$`T_{A\dot{B}}^{abm}`$ $`=`$ $`2i\epsilon ^{ab}\sigma _{A\dot{B}}^m`$
$`T_{AB}^{abm},T_{\dot{A}\dot{B}}^{abm}`$ $`=`$ $`0`$
$`T_{\dot{A}aBbCc},T_{Aa\dot{B}b\dot{C}c}`$ $`=`$ $`0`$
$`T_{AaBbCc},T_{\dot{A}a\dot{B}b\dot{C}c}`$ $`=`$ $`0`$
$`T_A^{amn},T_{\dot{A}}^{amn}`$ $`=`$ $`0`$
$`T_{A\dot{A}BbCc}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon _{bc}\left(\epsilon _{AB}U_{C\dot{A}}+\epsilon _{AC}U_{B\dot{A}}\right)`$
$`T_{A\dot{A}\dot{B}b\dot{C}c}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon _{bc}\left(\epsilon _{\dot{A}\dot{B}}U_{A\dot{C}}+\epsilon _{\dot{A}\dot{C}}U_{A\dot{B}}\right)`$
$`T_{A\dot{A}Bb\dot{C}c}`$ $`=`$ $`\epsilon _{bc}\left(\epsilon _{AB}W_{\dot{A}\dot{C}}+\epsilon _{\dot{A}\dot{C}}Y_{AB}\right)i\epsilon _{AB}\epsilon _{\dot{A}\dot{C}}X_{bc}`$
$`T_{A\dot{A}\dot{B}bCc}`$ $`=`$ $`\epsilon _{bc}\left(\epsilon _{AC}Y_{\dot{A}\dot{B}}+\epsilon _{\dot{A}\dot{B}}W_{AC}\right)+i\epsilon _{AC}\epsilon _{\dot{A}\dot{B}}X_{bc}`$
$`T_{mnp}`$ $`=`$ $`0`$
$`T_{A\dot{A}B\dot{B}Cc}`$ $`=`$ $`\epsilon _{\dot{A}\dot{B}}W_{ABCc}\epsilon _{AB}Y_{\dot{A}\dot{B}Cc}`$
$`T_{A\dot{A}B\dot{B}\dot{C}c}`$ $`=`$ $`\epsilon _{AB}W_{\dot{A}\dot{B}\dot{C}c}+\epsilon _{\dot{A}\dot{B}}Y_{AB\dot{C}c}`$ (B.43)
### B.4 Lorentz curvatures

$`R_{AaBbCD}`$ $`=`$ $`2i\epsilon _{AB}\epsilon _{ab}Y_{CD}+2\left(\epsilon _{AC}\epsilon _{BD}+\epsilon _{AD}\epsilon _{BC}\right)X_{ab}`$
$`R_{AaBb\dot{C}\dot{D}}`$ $`=`$ $`2i\epsilon _{AB}\epsilon _{ab}W_{\dot{C}\dot{D}}`$
$`R_{\dot{A}a\dot{B}bCD}`$ $`=`$ $`2i\epsilon _{\dot{A}\dot{B}}\epsilon _{ab}W_{CD}`$
$`R_{\dot{A}a\dot{B}b\dot{C}\dot{D}}`$ $`=`$ $`2i\epsilon _{\dot{A}\dot{B}}\epsilon _{ab}Y_{\dot{C}\dot{D}}+2\left(\epsilon _{\dot{A}\dot{C}}\epsilon _{\dot{B}\dot{D}}+\epsilon _{\dot{A}\dot{D}}\epsilon _{\dot{B}\dot{C}}\right)X_{ab}`$
$`R_{\dot{A}aBbCD}`$ $`=`$ $`\epsilon _{ab}\left(\epsilon _{BC}U_{D\dot{A}}+\epsilon _{BD}U_{C\dot{A}}\right)`$
$`R_{\dot{A}aBb\dot{C}\dot{D}}`$ $`=`$ $`\epsilon _{ab}\left(\epsilon _{\dot{A}\dot{C}}U_{B\dot{D}}+\epsilon _{\dot{A}\dot{D}}U_{B\dot{C}}\right)`$
$`R_{A\dot{A}BbCD}`$ $`=`$ $`i\epsilon _{B\underset{¯}{C}}Y_{A\underset{¯}{D}\dot{A}b}+i\epsilon _{AB}Y_{CD\dot{A}b}+{\displaystyle \frac{i}{2}}\left(\epsilon _{AC}\epsilon _{BD}+\epsilon _{AD}\epsilon _{BC}\right)W_{\dot{A}\dot{B}b}^{\dot{B}}`$
$`R_{A\dot{A}\dot{B}bCD}`$ $`=`$ $`i\epsilon _{A\underset{¯}{C}}Y_{\dot{A}\dot{B}\underset{¯}{D}b}+2i\epsilon _{\dot{A}\dot{B}}W_{\underset{¯}{ACD}b}+{\displaystyle \frac{i}{3}}\epsilon _{\dot{A}\dot{B}}\epsilon _{A\underset{¯}{C}}W_{\underset{¯}{D}Bb}^B`$
$`R_{A\dot{A}Bb\dot{C}\dot{D}}`$ $`=`$ $`i\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}Y_{AB\underset{¯}{\overset{\dot{}}{D}}b}+2i\epsilon _{AB}W_{\underset{¯}{\dot{A}\dot{C}\dot{D}}b}+{\displaystyle \frac{i}{3}}\epsilon _{AB}\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{C}}}W_{\underset{¯}{\overset{\dot{}}{D}}\dot{B}b}^{\dot{B}}`$
$`R_{A\dot{A}\dot{B}b\dot{C}\dot{D}}`$ $`=`$ $`i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}Y_{\dot{A}\underset{¯}{\overset{\dot{}}{D}}Ab}+i\epsilon _{\dot{A}\dot{B}}Y_{\dot{C}\dot{D}Ab}+{\displaystyle \frac{i}{2}}\left(\epsilon _{\dot{A}\dot{C}}\epsilon _{\dot{B}\dot{D}}+\epsilon _{\dot{A}\dot{D}}\epsilon _{\dot{B}\dot{C}}\right)W_{ABb}^B`$
$`R_{A\dot{A}B\dot{B}CD}`$ $`=`$ $`\epsilon _{AB}P_{CD\dot{A}\dot{B}}+{\displaystyle \frac{1}{12}}\epsilon _{\dot{A}\dot{B}}\left(\epsilon _{AC}\epsilon _{BD}+\epsilon _{AD}\epsilon _{BC}\right)R+\epsilon _{\dot{A}\dot{B}}W_{ABCD}`$
$`R_{A\dot{A}B\dot{B}\dot{C}\dot{D}}`$ $`=`$ $`\epsilon _{\dot{A}\dot{B}}P_{AB\dot{C}\dot{D}}+{\displaystyle \frac{1}{12}}\epsilon _{AB}\left(\epsilon _{\dot{A}\dot{C}}\epsilon _{\dot{B}\dot{D}}+\epsilon _{\dot{A}\dot{D}}\epsilon _{\dot{B}\dot{C}}\right)R+\epsilon _{AB}W_{\dot{A}\dot{B}\dot{C}\dot{D}}`$ (B.44)
### B.5 SU(2) curvatures

$`R_{AaBbcd}`$ $`=`$ $`2\epsilon _{AB}\left(\epsilon _{bd}X_{ac}\epsilon _{ad}X_{bc}\right)2i\left(\epsilon _{ac}\epsilon _{bd}+\epsilon _{ad}\epsilon _{bc}\right)Y_{AB}`$
$`R_{\dot{A}a\dot{B}bcd}`$ $`=`$ $`2\epsilon _{\dot{A}\dot{B}}\left(\epsilon _{bd}X_{ac}\epsilon _{ad}X_{bc}\right)2i\left(\epsilon _{ac}\epsilon _{bd}+\epsilon _{ad}\epsilon _{bc}\right)Y_{\dot{A}\dot{B}}`$
$`R_{Aa\dot{B}bcd}`$ $`=`$ $`2\left(\epsilon _{ac}\epsilon _{bd}+\epsilon _{ad}\epsilon _{bc}\right)U_{A\dot{B}}`$
$`R_{A\dot{A}Bbcd}`$ $`=`$ $`2i\epsilon _{b\underset{¯}{d}}Y_{AB\dot{A}\underset{¯}{c}}2i\epsilon _{AB}\epsilon _{b\underset{¯}{d}}W_{\dot{A}\dot{B}\underset{¯}{c}}^{\dot{B}}{\displaystyle \frac{2}{3}}\epsilon _{AB}\epsilon _{b\underset{¯}{d}}\mathrm{\Lambda }_{\dot{A}\underset{¯}{c}}`$
$`R_{A\dot{A}\dot{B}bcd}`$ $`=`$ $`2i\epsilon _{b\underset{¯}{d}}Y_{\dot{A}\dot{B}A\underset{¯}{c}}2i\epsilon _{\dot{A}\dot{B}}\epsilon _{b\underset{¯}{d}}W_{AB\underset{¯}{c}}^B{\displaystyle \frac{2}{3}}\epsilon _{\dot{A}\dot{B}}\epsilon _{b\underset{¯}{d}}\mathrm{\Lambda }_{A\underset{¯}{c}}`$
$`R_{A\dot{A}B\dot{B}cd}`$ $`=`$ $`2\epsilon _{\dot{A}\dot{B}}\left(W_{ABE\underset{¯}{c}}\rho _{\underset{¯}{d}}^EY_{AB\dot{E}\underset{¯}{c}}\rho _{\underset{¯}{d}}^{\dot{E}}+{\displaystyle \frac{1}{2}}_{\underset{¯}{A}}^{\dot{E}}\mathrm{\Phi }_{\underset{¯}{B}\dot{E}cd}{\displaystyle \frac{1}{2}}\mathrm{\Phi }_{\underset{¯}{A}\underset{¯}{c}}^{\dot{E}e}\mathrm{\Phi }_{\underset{¯}{B}\dot{E}\underset{¯}{d}e}\right)`$
$`+`$ $`2\epsilon _{AB}\left(W_{\dot{A}\dot{B}\dot{E}\underset{¯}{c}}\rho _{\underset{¯}{d}}^{\dot{E}}Y_{\dot{A}\dot{B}E\underset{¯}{c}}\rho _{\underset{¯}{d}}^E{\displaystyle \frac{1}{2}}_{\underset{¯}{\overset{\dot{}}{A}}}^E\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{B}}cd}+{\displaystyle \frac{1}{2}}\mathrm{\Phi }_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{c}e}^E\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{d}}^e\right)`$
We see that all torsions and curvatures can be expressed in terms of the basic superfields $`W_{AB}`$, $`Y_{AB}`$, $`U_{A\dot{A}}`$, $`X_{ab}`$, their complex conjugates and their covariant derivatives (see section B.1). This is obvious except for $`R_{A\dot{A}B\dot{B}cd}`$, which may be rewritten as

$`R_{A\dot{A}B\dot{B}cd}`$ $`=`$ $`\epsilon _{\dot{A}\dot{B}}\left({\displaystyle \frac{1}{2}}_{\underset{¯}{c}}^{\dot{C}}Y_{AB\dot{C}\underset{¯}{d}}+iX_{cd}Y_{AB}iX_{cd}W_{AB}\right)`$ (B.45)
$`+`$ $`\epsilon _{AB}\left({\displaystyle \frac{1}{2}}_{\underset{¯}{c}}^CY_{\dot{A}\dot{B}C\underset{¯}{d}}+iX_{cd}Y_{\dot{A}\dot{B}}iX_{cd}W_{\dot{A}\dot{B}}\right)`$
## Appendix C The lagrangian in components

### C.1 Calculation of $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$

In this section, we fully express the terms with two spinorial derivatives arising in the calculation of (3.8) as functions of those with one spinorial derivative, previously computed in appendix B. These terms are:

$`_{\dot{C}c}_{\dot{B}b}W_{\dot{A}\dot{D}}`$ $`=`$ $`2i_{\dot{C}c}W_{\dot{A}\dot{D}\dot{B}b}{\displaystyle \frac{2}{3}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{A}}}_{\dot{C}c}\mathrm{\Lambda }_{\underset{¯}{\overset{\dot{}}{D}}b}`$ (C.1)
$`_{\dot{C}c}_{\dot{B}b}W_{\dot{D}\dot{E}\dot{A}a}`$ $`=`$ $`\epsilon _{ab}_{\dot{C}c}W_{\dot{D}\dot{E}\dot{A}\dot{B}}2\epsilon _{ab}\left(_{\dot{C}c}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}\right)W_{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}2\epsilon _{ab}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}_{\dot{C}c}W_{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}`$ (C.2)
$`+`$ $`2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{C}c}W_{\dot{D}\dot{E}\dot{F}\underset{¯}{a}}\right)\rho _{\underset{¯}{b}}^{\dot{F}}2\epsilon _{\dot{B}\dot{A}}W_{\dot{D}\dot{E}\dot{F}\underset{¯}{a}}_{\dot{C}c}\rho _{\underset{¯}{b}}^{\dot{F}}`$
$``$ $`2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{C}c}Y_{\dot{D}\dot{E}E\underset{¯}{a}}\right)\rho _{\underset{¯}{b}}^E+2\epsilon _{\dot{B}\dot{A}}Y_{\dot{D}\dot{E}E\underset{¯}{a}}_{\dot{C}c}\rho _{\underset{¯}{b}}^E\epsilon _{\dot{B}\dot{A}}_{\dot{C}c}_{\underset{¯}{\overset{\dot{}}{D}}}^E\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{E}}ab}`$
$`+`$ $`2\epsilon _{\dot{B}\dot{A}}\mathrm{\Phi }_{\underset{¯}{\overset{\dot{}}{D}}\underset{¯}{a}}^{Ee}_{\dot{C}c}\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{E}}e\underset{¯}{b}}2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}\left(_{\dot{C}c}X_{ab}\right)W_{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}`$
$``$ $`2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}X_{ab}_{\dot{C}c}W_{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}+{\displaystyle \frac{1}{6}}\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}_{\dot{C}c}R`$
$``$ $`i\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{\underset{¯}{\overset{\dot{}}{A}}}}_{\dot{C}c}_{\underset{¯}{\overset{\dot{}}{D}}}^EU_{E\underset{¯}{\underset{¯}{\overset{\dot{}}{B}}}}+\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}U^{F\dot{F}}_{\dot{C}c}U_{F\dot{F}}`$
$`+`$ $`2i\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\left(_{\dot{C}c}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}\right)X_{ab}+2i\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}_{\dot{C}c}X_{ab}`$
$`+`$ $`\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}W^{AB}_{\dot{C}c}Y_{AB}+2\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}X^{de}_{\dot{C}c}X_{de}`$
$`_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_{\dot{A}a}`$ $`=`$ $`{\displaystyle \frac{i}{8}}\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}_{\dot{C}c}I{\displaystyle \frac{3}{2}}\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}_{\dot{C}c}^{F\dot{F}}U_{F\dot{F}}{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}W^{AB}_{\dot{C}c}Y_{AB}`$ (C.3)
$`+`$ $`{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}W^{\dot{E}\dot{F}}_{\dot{C}c}Y_{\dot{E}\dot{F}}+{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}Y^{\dot{E}\dot{F}}_{\dot{C}c}W_{\dot{E}\dot{F}}+6X_{ab}_{\dot{C}c}Y_{\dot{B}\dot{A}}`$
$`+`$ $`6Y_{\dot{B}\dot{A}}_{\dot{C}c}X_{ab}`$
For (C.3) we need $`_{\dot{C}c}I`$, which we compute here.

$`_{\dot{C}c}I`$ $`=`$ $`4_{\dot{C}c}R48X^{ab}_{\dot{C}c}X_{ab}12W^{AB}_{\dot{C}c}Y_{AB}12W^{\dot{A}\dot{B}}_{\dot{C}c}Y_{\dot{A}\dot{B}}`$ (C.4)
$``$ $`12Y^{\dot{A}\dot{B}}_{\dot{C}c}W_{\dot{A}\dot{B}}24U^{F\dot{F}}_{\dot{C}c}U_{F\dot{F}}+3P_{\dot{C}c}\overline{P}+3H^{F\dot{F}}_{\dot{C}c}H_{F\dot{F}}`$
$``$ $`24\mathrm{\Phi }_{ab}^{F\dot{F}}_{\dot{C}c}\mathrm{\Phi }_{F\dot{F}}^{ab}6_{\dot{C}c}^{F\dot{F}}H_{F\dot{F}}16i\left(_{\dot{C}c}\rho ^{Aa}\right)\mathrm{\Lambda }_{Aa}+16i\rho ^{Aa}_{\dot{C}c}\mathrm{\Lambda }_{Aa}`$
$`+`$ $`16i\left(_{\dot{C}c}\rho ^{\dot{A}a}\right)\mathrm{\Lambda }_{\dot{A}a}16i\rho ^{\dot{A}a}_{\dot{C}c}\mathrm{\Lambda }_{\dot{A}a}+48\left(_{\dot{C}c}\rho ^{Aa}\right)W_{ABa}^B`$
$``$ $`48\rho ^{Aa}_{\dot{C}c}W_{ABa}^B48\left(_{\dot{C}c}\rho ^{\dot{A}a}\right)W_{\dot{A}\dot{B}a}^{\dot{B}}+48\rho ^{\dot{A}a}_{\dot{C}c}W_{\dot{A}\dot{B}a}^{\dot{B}}`$
$``$ $`96iW^{AB}\rho _{Aa}_{\dot{C}c}\rho _B^a96iW^{\dot{A}\dot{B}}\rho _{\dot{A}a}_{\dot{C}c}\rho _{\dot{B}}^a+48i\rho _{\dot{A}a}\rho _{\dot{B}}^a_{\dot{C}c}W^{\dot{A}\dot{B}}`$
$``$ $`48U^{A\dot{A}}\left(_{\dot{C}c}\rho _{Aa}\right)\rho _{\dot{A}}^a+48U^{A\dot{A}}\rho _{Aa}_{\dot{C}c}\rho _{\dot{A}}^a48\rho _{Aa}\rho _{\dot{A}}^a_{\dot{C}c}U^{A\dot{A}}`$
$`+`$ $`48i\left(_{\dot{C}c}\rho _{Aa}\right)^{A\dot{A}}\rho _{\dot{A}}^a48i\rho _{Aa}_{\dot{C}c}^{A\dot{A}}\rho _{\dot{A}}^a48i\left(_{\dot{C}c}\rho _{\dot{A}a}\right)^{A\dot{A}}\rho _A^a`$
$`+`$ $`48i\rho _{\dot{A}a}_{\dot{C}c}^{A\dot{A}}\rho _A^a+96i\mathrm{\Phi }_{A\dot{A}}^{ab}\rho _b^{\dot{A}}_{\dot{C}c}\rho _a^A+96i\mathrm{\Phi }_{A\dot{A}}^{ab}\rho _b^A_{\dot{C}c}\rho _a^{\dot{A}}`$
$`+`$ $`96i\rho _a^A\rho _b^{\dot{A}}_{\dot{C}c}\mathrm{\Phi }_{A\dot{A}}^{ab}`$
Terms involving combinations of vector and spinor covariant derivatives may be written as vector derivatives of the relations listed in appendix B using the commutation relations.

### C.2 Calculation of $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$

In this section, we fully express the terms with two and three spinorial derivatives arising in the calculation of (3.9) as functions of those with one spinorial derivative, previously computed in appendix B. These terms are:

$`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}W_{\dot{E}\dot{F}}`$ $`=`$ $`2i_{\dot{D}d}_{\dot{C}c}W_{\dot{E}\dot{F}\dot{B}b}{\displaystyle \frac{2}{3}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}_{\dot{D}d}_{\dot{C}c}\mathrm{\Lambda }_{\underset{¯}{\overset{\dot{}}{F}}b}`$ (C.5)
$`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}W_{\dot{E}\dot{F}\dot{A}a}`$ $`=`$ $`\epsilon _{ab}_{\dot{D}d}_{\dot{C}c}W_{\dot{E}\dot{F}\dot{A}\dot{B}}2\epsilon _{ab}\left(_{\dot{D}d}_{\dot{C}c}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}\right)W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}`$ (C.6)
$`+`$ $`2\epsilon _{ab}\left(_{\dot{C}c}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}\right)_{\dot{D}d}W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}2\epsilon _{ab}\left(_{\dot{D}d}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}\right)_{\dot{C}c}W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}`$
$``$ $`2\epsilon _{ab}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}_{\dot{D}d}_{\dot{C}c}W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}+2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{D}d}_{\dot{C}c}W_{\dot{E}\dot{F}\dot{G}\underset{¯}{a}}\right)\rho _{\underset{¯}{b}}^{\dot{G}}`$
$`+`$ $`2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{C}c}W_{\dot{E}\dot{F}\dot{G}\underset{¯}{a}}\right)_{\dot{D}d}\rho _{\underset{¯}{b}}^{\dot{G}}2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{D}d}W_{\dot{E}\dot{F}\dot{G}\underset{¯}{a}}\right)_{\dot{C}c}\rho _{\underset{¯}{b}}^{\dot{G}}`$
$`+`$ $`2\epsilon _{\dot{B}\dot{A}}W_{\dot{E}\dot{F}\dot{G}\underset{¯}{a}}_{\dot{D}d}_{\dot{C}c}\rho _{\underset{¯}{b}}^{\dot{G}}2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{D}d}_{\dot{C}c}Y_{\dot{E}\dot{F}E\underset{¯}{a}}\right)\rho _{\underset{¯}{b}}^E`$
$``$ $`2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{C}c}Y_{\dot{E}\dot{F}E\underset{¯}{a}}\right)_{\dot{D}d}\rho _{\underset{¯}{b}}^E+2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{D}d}Y_{\dot{E}\dot{F}E\underset{¯}{a}}\right)_{\dot{C}c}\rho _{\underset{¯}{b}}^E`$
$``$ $`2\epsilon _{\dot{B}\dot{A}}Y_{\dot{E}\dot{F}E\underset{¯}{a}}_{\dot{D}d}_{\dot{C}c}\rho _{\underset{¯}{b}}^E\epsilon _{\dot{B}\dot{A}}_{\dot{D}d}_{\dot{C}c}_{\underset{¯}{\overset{\dot{}}{E}}}^E\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{F}}ab}`$
$`+`$ $`2\epsilon _{\dot{B}\dot{A}}\mathrm{\Phi }_{\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{a}}^{Ee}_{\dot{D}d}_{\dot{C}c}\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{F}}e\underset{¯}{b}}2\epsilon _{\dot{B}\dot{A}}\left(_{\dot{C}c}\mathrm{\Phi }_{\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{a}}^{Ee}\right)_{\dot{D}d}\mathrm{\Phi }_{E\underset{¯}{\overset{\dot{}}{F}}e\underset{¯}{b}}`$
$``$ $`i\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{\underset{¯}{\overset{\dot{}}{A}}}}_{\dot{D}d}_{\dot{C}c}_{\underset{¯}{\overset{\dot{}}{F}}}^EU_{E\underset{¯}{\underset{¯}{\overset{\dot{}}{B}}}}+\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{F}}}\left(_{\dot{D}d}U^{G\dot{G}}\right)_{\dot{C}c}U_{G\dot{G}}`$
$`+`$ $`\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{F}}}U^{G\dot{G}}_{\dot{D}d}_{\dot{C}c}U_{G\dot{G}}2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}\left(_{\dot{D}d}_{\dot{C}c}X_{ab}\right)W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}`$
$`+`$ $`2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}\left(_{\dot{C}c}X_{ab}\right)_{\dot{D}d}W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}\left(_{\dot{D}d}X_{ab}\right)_{\dot{C}c}W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}`$
$``$ $`2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{E}}}X_{ab}_{\dot{D}d}_{\dot{C}c}W_{\underset{¯}{\overset{\dot{}}{F}}\dot{A}}2i\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{E}}}\left(_{\dot{D}d}_{\dot{C}c}X_{ab}\right)Y_{\underset{¯}{\overset{\dot{}}{F}}\dot{B}}`$
$`+`$ $`2i\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{E}}}\left(_{\dot{C}c}X_{ab}\right)_{\dot{D}d}Y_{\underset{¯}{\overset{\dot{}}{F}}\dot{B}}2i\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{E}}}\left(_{\dot{D}d}X_{ab}\right)_{\dot{C}c}Y_{\underset{¯}{\overset{\dot{}}{F}}\dot{B}}`$
$``$ $`2i\epsilon _{\dot{A}\underset{¯}{\overset{\dot{}}{E}}}X_{ab}_{\dot{D}d}_{\dot{C}c}Y_{\underset{¯}{\overset{\dot{}}{F}}\dot{B}}+\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{F}}}W^{AB}_{\dot{D}d}_{\dot{C}c}Y_{AB}`$
$`+`$ $`2\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{F}}}\left(_{\dot{D}d}X^{ef}\right)_{\dot{C}c}X_{ef}+2\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{F}}}X^{ef}_{\dot{D}d}_{\dot{C}c}X_{ef}`$
$`+`$ $`{\displaystyle \frac{1}{6}}\epsilon _{ab}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{A}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{F}}}_{\dot{D}d}_{\dot{C}c}R`$
$`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_{\dot{A}a}`$ $`=`$ $`{\displaystyle \frac{3}{2}}\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}_{\dot{D}d}_{\dot{C}c}^{F\dot{F}}U_{F\dot{F}}{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}W^{AB}_{\dot{D}d}_{\dot{C}c}Y_{AB}`$ (C.7)
$`+`$ $`{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}\left(_{\dot{D}d}W^{\dot{E}\dot{F}}\right)_{\dot{C}c}Y_{\dot{E}\dot{F}}+{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}W^{\dot{E}\dot{F}}_{\dot{D}d}_{\dot{C}c}Y_{\dot{E}\dot{F}}`$
$`+`$ $`{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}\left(_{\dot{D}d}Y^{\dot{E}\dot{F}}\right)_{\dot{C}c}W_{\dot{E}\dot{F}}+{\displaystyle \frac{3}{2}}i\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}Y^{\dot{E}\dot{F}}_{\dot{D}d}_{\dot{C}c}W_{\dot{E}\dot{F}}`$
$`+`$ $`6\left(_{\dot{D}d}X_{ab}\right)_{\dot{C}c}Y_{\dot{B}\dot{A}}+6X_{ab}_{\dot{D}d}_{\dot{C}c}Y_{\dot{B}\dot{A}}+6Y_{\dot{B}\dot{A}}_{\dot{D}d}_{\dot{C}c}X_{ab}`$
$`+`$ $`6\left(_{\dot{D}d}Y_{\dot{B}\dot{A}}\right)_{\dot{C}c}X_{ab}+{\displaystyle \frac{i}{8}}\epsilon _{ab}\epsilon _{\dot{B}\dot{A}}_{\dot{D}d}_{\dot{C}c}I`$
These results require knowing second spinorial derivatives of superfields, some of which we have computed in section C.1, but others we have not computed yet. We present those here:

$`_{\dot{D}d}_{\dot{C}c}W_{\dot{E}\dot{F}\dot{A}\dot{B}}`$ $`=`$ $`4i\left(_{\dot{D}d}Y_{\dot{B}\underset{¯}{\overset{\dot{}}{A}}}\right)W_{\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{\overset{\dot{}}{F}}c}4iY_{\dot{B}\underset{¯}{\overset{\dot{}}{A}}}_{\dot{D}d}W_{\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{\overset{\dot{}}{F}}c}`$ (C.8)
$``$ $`8\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{F}}}\left(_{\dot{D}d}X_c^e\right)W_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{E}}e}8\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{F}}}X_c^e_{\dot{D}d}W_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}\underset{¯}{\overset{\dot{}}{E}}e}`$
$``$ $`2i\left(_{\dot{D}d}Y_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}}\right)W_{\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{\overset{\dot{}}{F}}\dot{C}c}2iY_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}}_{\dot{D}d}W_{\underset{¯}{\overset{\dot{}}{E}}\underset{¯}{\overset{\dot{}}{F}}\dot{C}c}2i\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{F}}}_{\dot{D}d}_{\underset{¯}{\overset{\dot{}}{E}}}^EY_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}Ec}`$
$`+`$ $`3\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{F}}}\left(_{\dot{D}d}U_{\underset{¯}{\overset{\dot{}}{E}}}^E\right)Y_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}Ec}+3\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{F}}}U_{\underset{¯}{\overset{\dot{}}{E}}}^E_{\dot{D}d}Y_{\underset{¯}{\overset{\dot{}}{A}}\underset{¯}{\overset{\dot{}}{B}}Ec}`$
$`_{\dot{D}d}_{\dot{C}c}\rho _{\dot{B}b}`$ $`=`$ $`\epsilon _{\dot{C}\dot{B}}_{\dot{D}d}X_{cb}i\epsilon _{cb}_{\dot{D}d}Y_{\dot{B}\dot{C}}+2\rho _{\dot{B}c}_{\dot{D}d}\rho _{\dot{C}b}2\rho _{\dot{C}b}_{\dot{D}d}\rho _{\dot{B}c}`$ (C.9)
$`_{\dot{D}d}_{\dot{C}c}\rho _{Bb}`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon _{cb}_{\dot{D}d}H_{B\dot{C}}\epsilon _{cb}_{\dot{D}d}U_{B\dot{C}}+i_{\dot{D}d}\mathrm{\Phi }_{B\dot{C}cb}+2\rho _{Bc}_{\dot{D}d}\rho _{\dot{C}b}`$ (C.10)
$``$ $`2\rho _{\dot{C}b}_{\dot{D}d}\rho _{Bc}`$
$`_{\dot{D}d}_{\dot{C}c}Y_{\dot{A}\dot{B}Aa}`$ $`=`$ $`\epsilon _{ac}_{\dot{D}d}_{A\underset{¯}{\overset{\dot{}}{A}}}Y_{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}+2i\epsilon _{ac}\left(_{\dot{D}d}U_{A\underset{¯}{\overset{\dot{}}{A}}}\right)Y_{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}+2i\epsilon _{ac}U_{A\underset{¯}{\overset{\dot{}}{A}}}_{\dot{D}d}Y_{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}`$ (C.11)
$``$ $`i\epsilon _{ac}\left(_{\dot{D}d}U_{A\dot{C}}\right)Y_{\dot{A}\dot{B}}i\epsilon _{ac}U_{A\dot{C}}_{\dot{D}d}Y_{\dot{A}\dot{B}}\epsilon _{ac}\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}_{\dot{D}d}_{\underset{¯}{\overset{\dot{}}{A}}}^BW_{AB}`$
$`+`$ $`i\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}_{\dot{D}d}_{A\underset{¯}{\overset{\dot{}}{A}}}X_{ac}2\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}\left(_{\dot{D}d}U_{A\underset{¯}{\overset{\dot{}}{A}}}\right)X_{ac}`$
$``$ $`2\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}U_{A\underset{¯}{\overset{\dot{}}{A}}}_{\dot{D}d}X_{ac}`$
$`_{\dot{D}d}_{\dot{C}c}\mathrm{\Phi }_{B\dot{B}ba}`$ $`=`$ $`2i\epsilon _{\underset{¯}{b}c}\epsilon _{\dot{B}\dot{C}}_{\dot{D}d}W_{BA\underset{¯}{a}}^A+{\displaystyle \frac{2}{3}}\epsilon _{\underset{¯}{b}c}\epsilon _{\dot{B}\dot{C}}_{\dot{D}d}\mathrm{\Lambda }_{B\underset{¯}{a}}+2\epsilon _{\underset{¯}{b}c}\epsilon _{\dot{B}\dot{C}}\left(_{\dot{D}d}\rho _{\underset{¯}{a}}^A\right)W_{AB}`$ (C.12)
$``$ $`2i\epsilon _{\underset{¯}{b}c}_{\dot{D}d}Y_{\dot{B}\dot{C}B\underset{¯}{a}}+2\epsilon _{c\underset{¯}{b}}\left(_{\dot{D}d}\rho _{B\underset{¯}{a}}\right)Y_{\dot{B}\dot{C}}2\epsilon _{c\underset{¯}{b}}\rho _{B\underset{¯}{a}}_{\dot{D}d}Y_{\dot{B}\dot{C}}`$
$``$ $`i\epsilon _{c\underset{¯}{b}}\left(_{\dot{D}d}\rho _{\dot{C}\underset{¯}{a}}\right)U_{B\dot{B}}+i\epsilon _{c\underset{¯}{b}}\rho _{\dot{C}\underset{¯}{a}}_{\dot{D}d}U_{B\dot{B}}+2i\epsilon _{c\underset{¯}{b}}\left(_{\dot{D}d}\rho _{\dot{B}\underset{¯}{a}}\right)U_{B\dot{C}}`$
$``$ $`2i\epsilon _{c\underset{¯}{b}}\rho _{\dot{B}\underset{¯}{a}}_{\dot{D}d}U_{B\dot{C}}+4\epsilon _{c\underset{¯}{b}}\left(_{\dot{D}d}\rho _{\dot{C}}^e\right)\mathrm{\Phi }_{B\dot{B}e\underset{¯}{a}}4\epsilon _{c\underset{¯}{b}}\rho _{\dot{C}}^e_{\dot{D}d}\mathrm{\Phi }_{B\dot{B}e\underset{¯}{a}}`$
$``$ $`2\epsilon _{c\underset{¯}{b}}_{\dot{D}d}_{B\dot{B}}\rho _{\dot{C}\underset{¯}{a}}2i\epsilon _{\dot{B}\dot{C}}\left(_{\dot{D}d}\rho _{B\underset{¯}{b}}\right)X_{c\underset{¯}{a}}+2i\epsilon _{\dot{B}\dot{C}}\rho _{B\underset{¯}{b}}_{\dot{D}d}X_{c\underset{¯}{a}}`$
$`+`$ $`2\left(_{\dot{D}d}\rho _{\dot{C}\underset{¯}{b}}\right)\mathrm{\Phi }_{B\dot{B}c\underset{¯}{a}}2\rho _{\dot{C}\underset{¯}{b}}_{\dot{D}d}\mathrm{\Phi }_{B\dot{B}c\underset{¯}{a}}`$
$`_{\dot{D}d}_{\dot{C}c}U_{B\dot{B}}`$ $`=`$ $`_{\dot{D}d}Y_{\dot{B}\dot{C}Bc}\epsilon _{\dot{B}\dot{C}}_{\dot{D}d}W_{ABc}^A+{\displaystyle \frac{2}{3}}i\epsilon _{\dot{B}\dot{C}}_{\dot{D}d}\mathrm{\Lambda }_{Bc}`$ (C.13)
$`_{\dot{D}d}_{\dot{C}c}R`$ $`=`$ $`4i_{\dot{D}d}_{\dot{C}}^BW_{BAc}^A+12\left(_{\dot{D}d}X_{cb}\right)W_{\dot{C}\dot{B}}^{\dot{B}b}+12X_{cb}_{\dot{D}d}W_{\dot{C}\dot{B}}^{\dot{B}b}`$
$``$ $`2iW^{CB}_{\dot{D}d}Y_{CB\dot{C}c}6i\left(_{\dot{D}d}W_{\dot{A}\dot{B}\dot{C}c}\right)Y^{\dot{A}\dot{B}}+6iW_{\dot{A}\dot{B}\dot{C}c}_{\dot{D}d}Y^{\dot{A}\dot{B}}`$
$`+`$ $`12\left(_{\dot{D}d}U^{B\dot{B}}\right)Y_{\dot{C}\dot{B}Bc}+12U^{B\dot{B}}_{\dot{D}d}Y_{\dot{C}\dot{B}Bc}+4\left(_{\dot{D}d}U_{\dot{C}}^B\right)W_{BCc}^C`$
$`+`$ $`4U_{\dot{C}}^B_{\dot{D}d}W_{BCc}^C`$
$`_{\dot{D}d}_{\dot{C}c}I`$ $`=`$ $`4_{\dot{D}d}_{\dot{C}c}R48\left(_{\dot{D}d}X^{ab}\right)_{\dot{C}c}X_{ab}48X^{ab}_{\dot{D}d}_{\dot{C}c}X_{ab}`$ (C.14)
$``$ $`12W^{AB}_{\dot{D}d}_{\dot{C}c}Y_{AB}12\left(_{\dot{D}d}W^{\dot{A}\dot{B}}\right)_{\dot{C}c}Y_{\dot{A}\dot{B}}`$
$``$ $`12W^{\dot{A}\dot{B}}_{\dot{D}d}_{\dot{C}c}Y_{\dot{A}\dot{B}}12\left(_{\dot{D}d}Y^{\dot{A}\dot{B}}\right)_{\dot{C}c}W_{\dot{A}\dot{B}}`$
$``$ $`12Y^{\dot{A}\dot{B}}_{\dot{D}d}_{\dot{C}c}W_{\dot{A}\dot{B}}24\left(_{\dot{D}d}U^{F\dot{F}}\right)_{\dot{C}c}U_{F\dot{F}}`$
$``$ $`24U^{F\dot{F}}_{\dot{D}d}_{\dot{C}c}U_{F\dot{F}}+3P_{\dot{D}d}_{\dot{C}c}\overline{P}+3\left(_{\dot{D}d}H^{F\dot{F}}\right)_{\dot{C}c}H_{F\dot{F}}`$
$`+`$ $`3H^{F\dot{F}}_{\dot{D}d}_{\dot{C}c}H_{F\dot{F}}24\left(_{\dot{D}d}\mathrm{\Phi }_{ab}^{F\dot{F}}\right)_{\dot{C}c}\mathrm{\Phi }_{F\dot{F}}^{ab}`$
$``$ $`24\mathrm{\Phi }_{ab}^{F\dot{F}}_{\dot{D}d}_{\dot{C}c}\mathrm{\Phi }_{F\dot{F}}^{ab}6_{\dot{D}d}_{\dot{C}c}^{F\dot{F}}H_{F\dot{F}}`$
$``$ $`16i\left(_{\dot{D}d}_{\dot{C}c}\rho ^{Aa}\right)\mathrm{\Lambda }_{Aa}16i\left(_{\dot{C}c}\rho ^{Aa}\right)_{\dot{D}d}\mathrm{\Lambda }_{Aa}`$
$`+`$ $`16i\left(_{\dot{D}d}\rho ^{Aa}\right)_{\dot{C}c}\mathrm{\Lambda }_{Aa}16i\rho ^{Aa}_{\dot{D}d}_{\dot{C}c}\mathrm{\Lambda }_{Aa}`$
$`+`$ $`16i\left(_{\dot{D}d}_{\dot{C}c}\rho ^{\dot{A}a}\right)\mathrm{\Lambda }_{\dot{A}a}+16i\left(_{\dot{C}c}\rho ^{\dot{A}a}\right)_{\dot{D}d}\mathrm{\Lambda }_{\dot{A}a}`$
$``$ $`16i\left(_{\dot{D}d}\rho ^{\dot{A}a}\right)_{\dot{C}c}\mathrm{\Lambda }_{\dot{A}a}+16i\rho ^{\dot{A}a}_{\dot{D}d}_{\dot{C}c}\mathrm{\Lambda }_{\dot{A}a}`$
$`+`$ $`48\left(_{\dot{D}d}_{\dot{C}c}\rho ^{Aa}\right)W_{ABa}^B+48\left(_{\dot{C}c}\rho ^{Aa}\right)_{\dot{D}d}W_{ABa}^B`$
$``$ $`48\left(_{\dot{D}d}\rho ^{Aa}\right)_{\dot{C}c}W_{ABa}^B+48\rho ^{Aa}_{\dot{D}d}_{\dot{C}c}W_{ABa}^B`$
$``$ $`48\left(_{\dot{D}d}_{\dot{C}c}\rho ^{\dot{A}a}\right)W_{\dot{A}\dot{B}a}^{\dot{B}}48\left(_{\dot{C}c}\rho ^{\dot{A}a}\right)_{\dot{D}d}W_{\dot{A}\dot{B}a}^{\dot{B}}`$
$`+`$ $`48\left(_{\dot{D}d}\rho ^{\dot{A}a}\right)_{\dot{C}c}W_{\dot{A}\dot{B}a}^{\dot{B}}48\rho ^{\dot{A}a}_{\dot{D}d}_{\dot{C}c}W_{\dot{A}\dot{B}a}^{\dot{B}}`$
$``$ $`96iW^{AB}\left(_{\dot{D}d}\rho _{Aa}\right)_{\dot{C}c}\rho _B^a+96iW^{AB}\rho _{Aa}_{\dot{D}d}_{\dot{C}c}\rho _B^a`$
$``$ $`96i\left(_{\dot{D}d}W^{\dot{A}\dot{B}}\right)\rho _{\dot{A}a}_{\dot{C}c}\rho _{\dot{B}}^a96iW^{\dot{A}\dot{B}}\left(_{\dot{D}d}\rho _{\dot{A}a}\right)_{\dot{C}c}\rho _{\dot{B}}^a`$
$`+`$ $`96iW^{\dot{A}\dot{B}}\rho _{\dot{A}a}_{\dot{D}d}_{\dot{C}c}\rho _{\dot{B}}^a96i\rho _{\dot{A}a}\left(_{\dot{D}d}\rho _{\dot{B}}^a\right)_{\dot{C}c}W^{\dot{A}\dot{B}}`$
$`+`$ $`48i\rho _{\dot{A}a}\rho _{\dot{B}}^a_{\dot{D}d}_{\dot{C}c}W^{\dot{A}\dot{B}}48\left(_{\dot{D}d}_{\dot{C}c}\rho _{Aa}\right)\rho _{\dot{A}}^aU^{A\dot{A}}`$
$``$ $`48U^{A\dot{A}}\left(_{\dot{C}c}\rho _{Aa}\right)_{\dot{D}d}\rho _{\dot{A}}^a+48\left(_{\dot{C}c}\rho _{Aa}\right)\rho _{\dot{A}}^a_{\dot{D}d}U^{A\dot{A}}`$
$`+`$ $`48\left(_{\dot{D}d}U^{A\dot{A}}\right)\rho _{Aa}_{\dot{C}c}\rho _{\dot{A}}^a+48U^{A\dot{A}}\left(_{\dot{D}d}\rho _{Aa}\right)_{\dot{C}c}\rho _{\dot{A}}^a`$
$``$ $`48U^{A\dot{A}}\rho _{Aa}_{\dot{D}d}_{\dot{C}c}\rho _{\dot{A}}^a48\left(_{\dot{D}d}\rho _{Aa}\right)\rho _{\dot{A}}^a_{\dot{C}c}U^{A\dot{A}}`$
$`+`$ $`48\rho _{Aa}\left(_{\dot{D}d}\rho _{\dot{A}}^a\right)_{\dot{C}c}U^{A\dot{A}}48\rho _{Aa}\rho _{\dot{A}}^a_{\dot{D}d}_{\dot{C}c}U^{A\dot{A}}`$
$`+`$ $`48i\left(_{\dot{D}d}_{\dot{C}c}\rho _{Aa}\right)^{A\dot{A}}\rho _{\dot{A}}^a+48i\left(_{\dot{C}c}\rho _{Aa}\right)_{\dot{D}d}^{A\dot{A}}\rho _{\dot{A}}^a`$
$``$ $`48i\left(_{\dot{D}d}\rho _{Aa}\right)_{\dot{C}c}^{A\dot{A}}\rho _{\dot{A}}^a+48i\rho _{Aa}_{\dot{D}d}_{\dot{C}c}^{A\dot{A}}\rho _{\dot{A}}^a`$
$``$ $`48i\left(_{\dot{D}d}_{\dot{C}c}\rho _{\dot{A}a}\right)^{A\dot{A}}\rho _A^a48i\left(_{\dot{C}c}\rho _{\dot{A}a}\right)_{\dot{D}d}^{A\dot{A}}\rho _A^a`$
$`+`$ $`48i\left(_{\dot{D}d}\rho _{\dot{A}a}\right)_{\dot{C}c}^{A\dot{A}}\rho _A^a48i\rho _{\dot{A}a}_{\dot{D}d}_{\dot{C}c}^{A\dot{A}}\rho _A^a`$
$`+`$ $`96i\left(_{\dot{D}d}\mathrm{\Phi }_{A\dot{A}}^{ab}\right)\rho _b^{\dot{A}}_{\dot{C}c}\rho _a^A+96i\mathrm{\Phi }_{A\dot{A}}^{ab}\left(_{\dot{D}d}\rho _b^{\dot{A}}\right)_{\dot{C}c}\rho _a^A`$
$``$ $`96i\mathrm{\Phi }_{A\dot{A}}^{ab}\rho _b^{\dot{A}}_{\dot{D}d}_{\dot{C}c}\rho _a^A+96i\left(_{\dot{D}d}\mathrm{\Phi }_{A\dot{A}}^{ab}\right)\rho _b^A_{\dot{C}c}\rho _a^{\dot{A}}`$
$`+`$ $`96i\mathrm{\Phi }_{A\dot{A}}^{ab}\left(_{\dot{D}d}\rho _b^A\right)_{\dot{C}c}\rho _a^{\dot{A}}96i\mathrm{\Phi }_{A\dot{A}}^{ab}\rho _b^A_{\dot{D}d}_{\dot{C}c}\rho _a^{\dot{A}}`$
$`+`$ $`96i\left(_{\dot{D}d}\rho _a^A\right)\rho _b^{\dot{A}}_{\dot{C}c}\mathrm{\Phi }_{A\dot{A}}^{ab}96i\rho _a^A\left(_{\dot{D}d}\rho _b^{\dot{A}}\right)_{\dot{C}c}\mathrm{\Phi }_{A\dot{A}}^{ab}`$
$`+`$ $`96i\rho _a^A\rho _b^{\dot{A}}_{\dot{D}d}_{\dot{C}c}\mathrm{\Phi }_{A\dot{A}}^{ab}`$
Because of the $`_{\dot{D}d}_{\dot{C}c}I`$ term in $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}\mathrm{\Lambda }_{\dot{A}a}`$, we will also need the following terms:

$`_{\dot{D}d}_{\dot{C}c}\overline{P}`$ $`=`$ $`8i_{\dot{D}d}W_{\dot{C}\dot{B}c}^{\dot{B}}{\displaystyle \frac{4}{3}}_{\dot{D}d}\mathrm{\Lambda }_{\dot{C}c}+8\left(_{\dot{D}d}\rho _c^{\dot{B}}\right)W_{\dot{C}\dot{B}}8\rho _c^{\dot{B}}_{\dot{D}d}W_{\dot{C}\dot{B}}`$ (C.15)
$`+`$ $`2\left(_{\dot{D}d}\overline{P}\right)\rho _{\dot{C}c}+2\overline{P}_{\dot{D}d}\rho _{\dot{C}c}+2\left(_{\dot{D}d}\rho _c^C\right)H_{C\dot{C}}2\rho _c^C_{\dot{D}d}H_{C\dot{C}}`$
$`+`$ $`4i\left(_{\dot{D}d}\rho _c^C\right)U_{C\dot{C}}4i\rho _c^C_{\dot{D}d}U_{C\dot{C}}8_{\dot{D}d}_{C\dot{C}}\rho _c^C`$
$`+`$ $`8\left(_{\dot{D}d}\mathrm{\Phi }_{C\dot{C}cb}\right)\rho ^{Cb}+8\mathrm{\Phi }_{C\dot{C}cb}_{\dot{D}d}\rho ^{Cb}`$
$`_{\dot{D}d}_{\dot{C}c}H_{B\dot{B}}`$ $`=`$ $`8i\epsilon _{\dot{C}\dot{B}}_{\dot{D}d}W_{ABc}^A+{\displaystyle \frac{4}{3}}\epsilon _{\dot{C}\dot{B}}_{\dot{D}d}\mathrm{\Lambda }_{Bc}+4\epsilon _{\dot{C}\dot{B}}W_{BC}_{\dot{D}d}\rho _c^C`$ (C.16)
$``$ $`4i\epsilon _{\dot{C}\dot{B}}X_{bc}_{\dot{D}d}\rho _B^b+4i\epsilon _{\dot{C}\dot{B}}\rho _B^b_{\dot{D}d}X_{bc}2\epsilon _{\dot{C}\dot{B}}P_{\dot{D}d}\rho _{Bc}`$
$``$ $`2\epsilon _{\dot{C}\dot{B}}H_{B\dot{A}}_{\dot{D}d}\rho _c^{\dot{A}}+2\epsilon _{\dot{C}\dot{B}}\rho _c^{\dot{A}}_{\dot{D}d}H_{B\dot{A}}4Y_{\dot{C}\dot{B}}_{\dot{D}d}\rho _{Bc}`$
$`+`$ $`4\rho _{Bc}_{\dot{D}d}Y_{\dot{C}\dot{B}}2iU_{B\dot{B}}_{\dot{D}d}\rho _{\dot{C}c}+2i\rho _{\dot{C}c}_{\dot{D}d}U_{B\dot{B}}`$
$`+`$ $`8\mathrm{\Phi }_{B\dot{B}bc}_{\dot{D}d}\rho _{\dot{C}}^b8\rho _{\dot{C}}^b_{\dot{D}d}\mathrm{\Phi }_{B\dot{B}bc}4_{\dot{D}d}_{B\dot{B}}\rho _{\dot{C}c}`$
$`+`$ $`8_{\dot{D}d}_{B\dot{C}}\rho _{\dot{B}c}+8\rho _{\dot{B}}^b_{\dot{D}d}\mathrm{\Phi }_{B\dot{C}bc}8\mathrm{\Phi }_{B\dot{C}bc}_{\dot{D}d}\rho _{\dot{B}}^b`$
$`_{\dot{D}d}_{\dot{C}c}\mathrm{\Lambda }_{Bb}`$ $`=`$ $`3i\epsilon _{cb}_{\dot{D}d}_{B\dot{B}}W_{\dot{C}}^{\dot{B}}+3i\epsilon _{cb}_{\dot{D}d}_{\dot{C}}^AY_{AB}3_{\dot{D}d}_{B\dot{C}}X_{cb}`$ (C.17)
$`+`$ $`6i\left(_{\dot{D}d}U_{B\dot{C}}\right)X_{cb}+6iU_{B\dot{C}}_{\dot{D}d}X_{cb}`$
$`_{\dot{D}d}_{\dot{C}c}W_{ABCc}`$ $`=`$ $`\epsilon _{cb}_{\dot{D}d}_{\underset{¯}{A}\dot{C}}W_{\underset{¯}{B}C}+2i\epsilon _{cb}\left(_{\dot{D}d}U_{\underset{¯}{A}\dot{C}}\right)W_{\underset{¯}{B}C}\epsilon _{cb}\epsilon _{\underset{¯}{B}C}_{\dot{D}d}_{\underset{¯}{A}}^{\dot{B}}Y_{\dot{B}\dot{C}}`$ (C.18)
$``$ $`i\epsilon _{\underset{¯}{B}C}_{\dot{D}d}_{\underset{¯}{A}\dot{C}}X_{cb}i\epsilon _{cb}\left(_{\dot{D}d}U_{C\dot{C}}\right)W_{AB}2\epsilon _{\underset{¯}{B}C}\left(_{\dot{D}d}U_{\underset{¯}{A}\dot{C}}\right)X_{cb}`$
$``$ $`2\epsilon _{\underset{¯}{B}C}U_{\underset{¯}{A}\dot{C}}_{\dot{D}d}X_{cb}`$
$`_{\dot{D}d}_{\dot{C}c}Y_{AB}`$ $`=`$ $`2i_{\dot{D}d}Y_{AB\dot{C}c}`$ (C.19)
$`_{\dot{D}d}_{\dot{C}c}Y_{\dot{A}\dot{B}}`$ $`=`$ $`{\displaystyle \frac{2}{3}}\epsilon _{\dot{C}\underset{¯}{\overset{\dot{}}{B}}}_{\dot{D}d}\mathrm{\Lambda }_{\underset{¯}{\overset{\dot{}}{A}}c}`$ (C.20)
$`_{\dot{D}d}_{\dot{C}c}X_{ab}`$ $`=`$ $`{\displaystyle \frac{2}{3}}i\epsilon _{c\underset{¯}{a}}_{\dot{D}d}\mathrm{\Lambda }_{\dot{C}\underset{¯}{b}}`$ (C.21)
All other differential relations we will need involve combinations of vector and spinor covariant derivatives. Terms containing these expressions are very important for our analysis, since a lot of the derivatives we are looking for come from them. They may be written, using the commutation relations, as vector derivatives of the relations we have seen plus torsion and curvature terms. Some of the torsion terms require differential relations involving undotted and dotted spinorial derivatives which we compute now:

$`_A^a_{\dot{C}}^c\rho _{\dot{B}}^b`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{cb}_A^aP\epsilon _{\dot{C}\dot{B}}_A^aX^{cb}i\epsilon ^{cb}_A^aY_{\dot{C}\dot{B}}+2\rho _{\dot{B}}^c_A^a\rho _{\dot{C}}^b`$ (C.22)
$``$ $`2\rho _{\dot{C}}^b_A^a\rho _{\dot{B}}^c`$
$`_A^a_{\dot{C}}^c\rho _B^b`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon ^{cb}_A^aH_{B\dot{C}}\epsilon ^{cb}_A^aU_{B\dot{C}}+i_A^a\mathrm{\Phi }_{B\dot{C}}^{bc}+2\rho _B^c_A^a\rho _{\dot{C}}^b`$ (C.23)
$``$ $`2\rho _{\dot{C}}^b_A^a\rho _B^c`$
$`_D^d_{\dot{C}}^cH_{B\dot{B}}`$ $`=`$ $`8i\epsilon _{\dot{C}\dot{B}}_D^dW_{BC}^{Cc}+{\displaystyle \frac{4}{3}}\epsilon _{\dot{C}\dot{B}}_D^d\mathrm{\Lambda }_B^c+4\epsilon _{\dot{C}\dot{B}}W_{BC}_D^d\rho ^{Cc}`$ (C.24)
$``$ $`4\epsilon _{\dot{C}\dot{B}}\rho ^{Cc}_D^dW_{BC}+4i\epsilon _{\dot{C}\dot{B}}X^{cb}_D^d\rho _b^C4i\epsilon _{\dot{C}\dot{B}}\rho _b^C_D^dX^{cb}`$
$``$ $`2\epsilon _{\dot{C}\dot{B}}\rho _B^c_D^dP2\epsilon _{\dot{C}\dot{B}}P_D^d\rho _B^c2\epsilon _{\dot{C}\dot{B}}H_{B\dot{A}}_D^d\rho ^{\dot{A}c}`$
$`+`$ $`2\epsilon _{\dot{C}\dot{B}}\rho ^{\dot{A}c}_D^dH_{B\dot{A}}4Y_{\dot{C}\dot{B}}_D^d\rho _B^c+4\rho _B^c_D^dY_{\dot{C}\dot{B}}2iU_{B\dot{B}}_D^d\rho _{\dot{C}}^c`$
$`+`$ $`2i\rho _{\dot{C}}^c_D^dU_{B\dot{B}}8\mathrm{\Phi }_{B\dot{B}}^{bc}_D^d\rho _{\dot{C}b}+8\rho _{\dot{C}b}_D^d\mathrm{\Phi }_{B\dot{B}}^{bc}+8\mathrm{\Phi }_{B\dot{C}}^{bc}_D^d\rho _{\dot{B}b}`$
$``$ $`8\rho _{\dot{B}b}_D^d\mathrm{\Phi }_{B\dot{C}}^{bc}4_D^d_{B\dot{B}}\rho _{\dot{C}}^c+8_D^d_{B\dot{C}}\rho _{\dot{B}}^c`$
$`_{Dd}_{\dot{C}c}U_{B\dot{B}}`$ $`=`$ $`_{Dd}Y_{\dot{C}\dot{B}Bc}+\epsilon _{\dot{C}\dot{B}}_{Dd}W_{BCc}^C{\displaystyle \frac{2}{3}}i\epsilon _{\dot{C}\dot{B}}_{Dd}\mathrm{\Lambda }_{Bc}`$ (C.25)
$`_D^d_{\dot{C}}^c\mathrm{\Phi }_{B\dot{B}}^{ab}`$ $`=`$ $`2i\epsilon _{\dot{C}\dot{B}}\epsilon ^{c\underset{¯}{b}}_D^dW_{BC}^{C\underset{¯}{a}}+{\displaystyle \frac{2}{3}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{c\underset{¯}{b}}_D^d\mathrm{\Lambda }_B^{\underset{¯}{a}}+2\epsilon _{\dot{C}\dot{B}}\epsilon ^{c\underset{¯}{b}}W_{BC}_D^d\rho ^{C\underset{¯}{a}}`$
$``$ $`2\epsilon _{\dot{C}\dot{B}}\epsilon ^{c\underset{¯}{b}}\rho ^{C\underset{¯}{a}}_D^dW_{BC}+2i\epsilon ^{c\underset{¯}{b}}_D^dY_{\dot{C}\dot{B}B}^{\underset{¯}{a}}+2\epsilon ^{c\underset{¯}{b}}Y_{\dot{C}\dot{B}}_D^d\rho _B^{\underset{¯}{a}}`$
$``$ $`2\epsilon ^{c\underset{¯}{b}}\rho _B^{\underset{¯}{a}}_D^dY_{\dot{C}\dot{B}}i\epsilon ^{c\underset{¯}{b}}U_{B\dot{B}}_D^d\rho _{\dot{C}}^{\underset{¯}{a}}+i\epsilon ^{c\underset{¯}{b}}\rho _{\dot{C}}^{\underset{¯}{a}}_D^dU_{B\dot{B}}+2i\epsilon ^{c\underset{¯}{b}}U_{B\dot{C}}_D^d\rho _{\dot{B}}^{\underset{¯}{a}}`$
$``$ $`2i\epsilon ^{c\underset{¯}{b}}\rho _{\dot{B}}^{\underset{¯}{a}}_D^dU_{B\dot{C}}+2i\epsilon _{\dot{C}\dot{B}}X^{c\underset{¯}{b}}_D^d\rho _B^{\underset{¯}{a}}2i\epsilon _{\dot{C}\dot{B}}\rho _B^{\underset{¯}{a}}_D^dX^{c\underset{¯}{b}}+2\mathrm{\Phi }_{B\dot{B}}^{\underset{¯}{b}c}_D^d\rho _{\dot{C}}^{\underset{¯}{a}}`$
$``$ $`2\rho _{\dot{C}}^{\underset{¯}{a}}_D^d\mathrm{\Phi }_{B\dot{B}}^{\underset{¯}{b}c}4\epsilon ^{c\underset{¯}{b}}\mathrm{\Phi }_{B\dot{B}}^{\underset{¯}{a}e}_D^d\rho _{\dot{C}e}+4\epsilon ^{c\underset{¯}{b}}\rho _{\dot{C}e}_D^d\mathrm{\Phi }_{B\dot{B}}^{\underset{¯}{a}e}2\epsilon ^{c\underset{¯}{b}}_D^d_{B\dot{B}}\rho _{\dot{C}}^{\underset{¯}{a}}`$
All these expressions should be enough for the direct computation of (3.9).

## Appendix D Calculation of the derivative terms

In this appendix, we compute the terms arising in the calculation of $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ and $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$ which contain vector derivatives of the auxiliary fields $`P,H_m`$ (excluding $`^mH_m`$, as justified on the text). For each expression, we indicate its content in terms of the derivatives of interest. The derivatives of some of these expressions will also be necessary; for those expressions, we give their field content in terms of $`P,H_m`$. Through all this appendix, we will be only interested in the derivatives we mentioned and, therefore, we will only consider here expressions which contain them. Those expressions we do not consider here simply do not contain such derivatives, as it can be verified using their expansions in appendix C.

### D.1 Calculation of the derivative terms in $`_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$

From (3.8), the following expressions are necessary:

$`_{\dot{C}}^c_{\dot{B}}^bW_{\dot{D}\dot{E}}`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon ^{bc}\epsilon _{\underset{¯}{\overset{\dot{}}{D}}\dot{B}}\epsilon _{\underset{¯}{\overset{\dot{}}{E}}\dot{C}}\left(P\overline{P}+H^22_{A\dot{A}}H^{A\dot{A}}\right)+\mathrm{}`$ (D.27)
$`_{\dot{C}}^c_{\dot{B}}^bW_{\dot{D}\dot{E}\dot{A}}^a`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon _{\dot{B}\dot{A}}\epsilon ^{\underset{¯}{a}c}PW_{\dot{D}\dot{E}\dot{C}}^{\underset{¯}{b}}+{\displaystyle \frac{i}{2}}\epsilon _{\dot{B}\dot{A}}\epsilon ^{\underset{¯}{a}c}H_{E\dot{C}}Y_{\dot{D}\dot{E}}^{E\underset{¯}{b}}+\mathrm{}`$ (D.28)
$`_{\dot{B}}^b_{A\dot{A}}\rho _{\dot{C}}^c`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon ^{bc}\epsilon _{\dot{B}\dot{C}}_{A\dot{A}}P+{\displaystyle \frac{i}{4}}\epsilon ^{bc}Y_{\dot{A}\dot{B}}H_{A\dot{C}}+{\displaystyle \frac{i}{4}}\epsilon ^{bc}\epsilon _{\dot{A}\dot{B}}W_A^DH_{D\dot{C}}`$ (D.29)
$``$ $`{\displaystyle \frac{1}{4}}\epsilon _{\dot{A}\dot{C}}\epsilon ^{bc}PU_{A\dot{B}}+{\displaystyle \frac{1}{8}}\epsilon ^{bc}\epsilon _{\dot{B}\dot{C}}PU_{A\dot{A}}{\displaystyle \frac{1}{4}}\epsilon _{\dot{A}\dot{B}}X^{bc}H_{A\dot{C}}+\mathrm{}`$
$`_{\dot{C}}^c_{A\dot{A}}\rho ^{Aa}`$ $`=`$ $`{\displaystyle \frac{i}{4}}\epsilon ^{ca}_{A\dot{A}}H_{\dot{C}}^A{\displaystyle \frac{i}{2}}\epsilon ^{ca}\overline{P}Y_{\dot{A}\dot{C}}+{\displaystyle \frac{1}{2}}\epsilon _{\dot{A}\dot{C}}\overline{P}X^{ca}`$ (D.30)
$``$ $`{\displaystyle \frac{1}{8}}\epsilon ^{ca}U_{A\dot{A}}H_{\dot{C}}^A+{\displaystyle \frac{1}{4}}\epsilon ^{ca}U_{A\dot{C}}H_{\dot{A}}^A+\mathrm{}`$
$`_{A\dot{A}}_{\dot{B}}^bH_{C\dot{C}}`$ $`=`$ $`2\epsilon _{\dot{C}\dot{B}}\rho _C^b_{A\dot{A}}P+2\epsilon _{\dot{C}\dot{B}}P_{A\dot{A}}\rho _C^b+2\epsilon _{\dot{C}\dot{B}}\rho ^{\dot{D}b}_{A\dot{A}}H_{C\dot{D}}`$ (D.31)
$`+`$ $`2\epsilon _{\dot{C}\dot{B}}H_{C\dot{D}}_{A\dot{A}}\rho ^{\dot{D}b}+\mathrm{}`$
### D.2 Calculation of the derivative terms in $`_{\dot{D}d}_{\dot{C}c}_{\dot{B}b}_{\dot{A}a}\overline{W}^2`$

In order to compute the derivatives in (3.9), besides the previous expressions we also need

$`_{\dot{D}}^d_{\dot{C}}^c\overline{P}`$ $`=`$ $`2i\epsilon ^{dc}_{C\underset{¯}{\overset{\dot{}}{C}}}H_{\underset{¯}{\overset{\dot{}}{D}}}^C+\mathrm{}`$ (D.32)
$`_{\dot{D}}^d_{\dot{C}}^cH_{B\dot{B}}`$ $`=`$ $`2i\epsilon ^{dc}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}_{B\underset{¯}{\overset{\dot{}}{D}}}P2\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}X^{cd}H_{B\underset{¯}{\overset{\dot{}}{D}}}i\epsilon _{\dot{D}\dot{C}}\epsilon ^{dc}W_B^CH_{C\dot{B}}`$ (D.33)
$``$ $`i\epsilon _{\dot{D}\dot{C}}\epsilon ^{dc}Y_{\dot{B}}^{\dot{A}}H_{B\dot{A}}+4i\epsilon ^{dc}H_{B\dot{B}}Y_{\dot{C}\dot{D}}+\mathrm{}`$
$`_D^d_{\dot{C}}^cH_{B\dot{B}}`$ $`=`$ $`i\epsilon ^{dc}\epsilon _{\dot{C}\dot{B}}\epsilon _{DB}_{A\dot{A}}H^{A\dot{A}}+i\epsilon ^{dc}_{B\dot{B}}H_{D\dot{C}}2i\epsilon ^{dc}_{B\dot{C}}H_{D\dot{B}}`$ (D.34)
$`+`$ $`\mathrm{}`$
$`_{\dot{D}}^d_{A\dot{A}}_{\dot{C}}^cH_{B\dot{B}}`$ $`=`$ $`i\epsilon _{\dot{C}\dot{B}}\epsilon _{AB}\epsilon ^{dc}Y_{\dot{A}\dot{D}}_{E\dot{E}}H^{E\dot{E}}i\epsilon ^{dc}Y_{\dot{A}\dot{D}}_{B\dot{B}}H_{A\dot{C}}`$ (D.35)
$`+`$ $`2i\epsilon ^{dc}Y_{\dot{A}\dot{D}}_{B\dot{C}}H_{A\dot{B}}+i\epsilon _{\dot{C}\dot{B}}\epsilon _{\dot{A}\dot{D}}\epsilon ^{dc}W_{AB}_{E\dot{E}}H^{E\dot{E}}`$
$``$ $`i\epsilon _{\dot{A}\dot{D}}\epsilon ^{dc}W_A^C_{B\dot{B}}H_{C\dot{C}}+2i\epsilon _{\dot{A}\dot{D}}\epsilon ^{dc}W_A^C_{B\dot{C}}H_{C\dot{B}}`$
$``$ $`\epsilon _{\dot{C}\dot{B}}\epsilon _{\dot{A}\dot{D}}\epsilon _{AB}X^{dc}_{E\dot{E}}H^{E\dot{E}}+\epsilon _{\dot{A}\dot{D}}X^{dc}_{B\dot{B}}H_{A\dot{C}}`$
$``$ $`2\epsilon _{\dot{A}\dot{D}}X^{dc}_{B\dot{C}}H_{A\dot{B}}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}\epsilon ^{dc}U_{A\dot{A}}_{B\underset{¯}{\overset{\dot{}}{D}}}P\epsilon _{\dot{C}\dot{A}}\epsilon ^{dc}U_{A\dot{D}}_{B\dot{B}}P`$
$`+`$ $`2\epsilon _{\dot{B}\dot{A}}\epsilon ^{dc}U_{A\dot{D}}_{B\dot{C}}P+2i\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}\epsilon ^{dc}_{A\dot{A}}_{B\underset{¯}{\overset{\dot{}}{D}}}P`$
$``$ $`i\epsilon _{\dot{D}\dot{C}}\epsilon ^{dc}W_B^C_{A\dot{A}}H_{C\dot{B}}2\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}X^{dc}_{A\dot{A}}H_{B\underset{¯}{\overset{\dot{}}{D}}}`$
$``$ $`i\epsilon _{\dot{D}\dot{C}}\epsilon ^{dc}Y_{\dot{B}}^{\dot{E}}_{A\dot{A}}H_{B\dot{E}}+4i\epsilon ^{dc}Y_{\dot{C}\dot{D}}_{A\dot{A}}H_{B\dot{B}}+\mathrm{}`$
$`_{\dot{D}}^d_{\dot{C}}^c_{A\dot{A}}H_{B\dot{B}}`$ $`=`$ $`_{\dot{D}}^d_{A\dot{A}}_{\dot{C}}^cH_{B\dot{B}}i\epsilon _{\dot{D}\dot{B}}\epsilon _{AB}\epsilon ^{dc}Y_{\dot{A}\dot{C}}_{E\dot{E}}H^{E\dot{E}}+i\epsilon ^{dc}Y_{\dot{A}\dot{C}}_{B\dot{B}}H_{A\dot{D}}`$ (D.36)
$``$ $`2i\epsilon ^{dc}Y_{\dot{A}\dot{C}}_{A\dot{B}}H_{B\dot{D}}i\epsilon ^{dc}\epsilon _{\dot{D}\dot{B}}\epsilon _{\dot{A}\dot{C}}W_{AB}_{E\dot{E}}H^{E\dot{E}}`$
$`+`$ $`i\epsilon ^{dc}\epsilon _{\dot{A}\dot{C}}W_A^C_{B\dot{B}}H_{C\dot{D}}2i\epsilon ^{dc}\epsilon _{\dot{A}\dot{C}}W_A^C_{C\dot{B}}H_{B\dot{D}}`$
$``$ $`\epsilon _{AB}\epsilon _{\dot{D}\dot{B}}\epsilon _{\dot{A}\dot{C}}X^{dc}_{E\dot{E}}H^{E\dot{E}}`$
$`+`$ $`\epsilon _{\dot{A}\dot{C}}X^{dc}_{B\dot{B}}H_{A\dot{D}}2\epsilon _{\dot{A}\dot{C}}X^{dc}_{A\dot{B}}H_{B\dot{D}}`$
$``$ $`\epsilon ^{dc}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{C}}}U_{A\dot{A}}_{B\underset{¯}{\overset{\dot{}}{D}}}P+2\epsilon ^{dc}\epsilon _{\dot{B}\underset{¯}{\overset{\dot{}}{D}}}U_{A\dot{C}}_{B\underset{¯}{\overset{\dot{}}{A}}}P+\mathrm{}`$
Remarkably, when we contract the $`A,B`$ and $`\dot{A},\dot{B}`$ indices, lots of terms in the previous equations cancel by themselves. Ignoring the $`_{E\dot{E}}H^{E\dot{E}}`$ parts, in which we are not interested, we are simply left with

$$_{\dot{D}}^d_{\dot{C}}^c_{A\dot{A}}H^{A\dot{A}}=4\epsilon ^{dc}U_{\underset{¯}{\overset{\dot{}}{C}}}^A_{A\underset{¯}{\overset{\dot{}}{D}}}P+\mathrm{}$$
(D.37)
We also need more derivatives of $`\rho _{\dot{B}}^b`$:

$`_A^a_{\dot{C}}^c\rho _{\dot{B}}^b`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon ^{cb}\epsilon _{\dot{C}\dot{B}}\rho _A^aP{\displaystyle \frac{i}{2}}\epsilon ^{cb}H_{A\underset{¯}{\overset{\dot{}}{B}}}\rho _{\underset{¯}{\overset{\dot{}}{C}}a}{\displaystyle \frac{i}{2}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{a\underset{¯}{b}}H_{A\dot{A}}\rho ^{\dot{A}\underset{¯}{c}}`$ (D.38)
$``$ $`{\displaystyle \frac{i}{2}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{cb}H_{A\dot{A}}\rho ^{\dot{A}a}+\mathrm{}`$
$`_{\dot{D}}^d_{\dot{C}}^c_{A\dot{A}}\rho _{\dot{B}}^b`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon ^{db}\epsilon _{\dot{D}\dot{C}}\rho _{\dot{B}}^c_{A\dot{A}}P+{\displaystyle \frac{i}{2}}\epsilon ^{dc}\epsilon _{\dot{D}\dot{B}}\rho _{\dot{C}}^b_{A\dot{A}}P+\mathrm{}`$ (D.39)
$`_{\dot{D}}^d_{\dot{C}}^c_{A\dot{A}}\rho _B^b`$ $`=`$ $`i\epsilon ^{\underset{¯}{c}b}\epsilon _{\dot{D}\dot{C}}\rho _B^{\underset{¯}{c}}_{A\dot{A}}P{\displaystyle \frac{i}{2}}\epsilon ^{cb}\epsilon _{\dot{D}\dot{C}}\rho ^{\dot{B}d}_{A\dot{A}}H_{B\dot{B}}`$ (D.40)
$``$ $`{\displaystyle \frac{i}{2}}\epsilon ^{dc}\rho _{\dot{C}}^b_{A\dot{A}}H_{B\dot{D}}+\mathrm{}`$
With respect to derivatives of $`\mathrm{\Phi }_{A\dot{B}}^{ab}`$, we need:

$`_{\dot{D}}^d_{\dot{C}}^c\mathrm{\Phi }_{B\dot{B}}^{ab}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}W_B^AH_{A\dot{D}}+{\displaystyle \frac{i}{2}}\epsilon _{\dot{D}\dot{B}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}W_B^AH_{A\dot{C}}+{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}Y_{\dot{B}\dot{C}}H_{B\dot{D}}`$ (D.41)
$``$ $`{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}Y_{\dot{B}\dot{D}}H_{B\dot{C}}{\displaystyle \frac{1}{2}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{d\underset{¯}{b}}X^{c\underset{¯}{a}}H_{B\dot{D}}{\displaystyle \frac{1}{2}}\epsilon _{\dot{D}\dot{B}}\epsilon ^{c\underset{¯}{b}}X^{d\underset{¯}{a}}H_{B\dot{C}}`$
$``$ $`i\epsilon ^{c\underset{¯}{a}}\epsilon _{\dot{D}\dot{C}}\mathrm{\Phi }_{B\dot{B}}^{d\underset{¯}{b}}P{\displaystyle \frac{i}{2}}\epsilon ^{d\underset{¯}{a}}\epsilon _{\dot{D}\dot{C}}\mathrm{\Phi }_{B\dot{B}}^{c\underset{¯}{b}}P+{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}\epsilon _{\dot{D}\dot{C}}_{B\dot{B}}P+\mathrm{}`$
$`_D^d_{\dot{C}}^c\mathrm{\Phi }_{B\dot{B}}^{ab}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}_{B\dot{B}}H_{D\dot{C}}+\mathrm{}`$ (D.42)
$`_{\dot{D}}^d_{\dot{C}}^c_{A\dot{A}}\mathrm{\Phi }_{B\dot{B}}^{ab}`$ $`=`$ $`{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}\epsilon _{\dot{D}\dot{C}}_{A\dot{A}}_{B\dot{B}}P`$ (D.43)
$``$ $`i\epsilon ^{c\underset{¯}{a}}\epsilon _{\dot{D}\dot{C}}\mathrm{\Phi }_{B\dot{B}}^{d\underset{¯}{b}}_{A\dot{A}}P{\displaystyle \frac{i}{2}}\epsilon ^{d\underset{¯}{a}}\epsilon _{\dot{D}\dot{C}}\mathrm{\Phi }_{B\dot{B}}^{c\underset{¯}{b}}_{A\dot{A}}P`$
$``$ $`{\displaystyle \frac{i}{2}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}W_B^D_{A\dot{A}}H_{D\dot{D}}+{\displaystyle \frac{i}{2}}\epsilon _{\dot{D}\dot{B}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}W_B^D_{A\dot{A}}H_{D\dot{C}}`$
$``$ $`{\displaystyle \frac{i}{2}}\epsilon _{\dot{C}\dot{A}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}W_A^D_{B\dot{B}}H_{D\dot{D}}+{\displaystyle \frac{i}{2}}\epsilon _{\dot{D}\dot{A}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}W_A^D_{B\dot{B}}H_{D\dot{C}}`$
$`+`$ $`{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}Y_{\dot{B}\dot{C}}_{A\dot{A}}H_{B\dot{D}}{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}Y_{\dot{B}\dot{D}}_{A\dot{A}}H_{B\dot{C}}`$
$``$ $`{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}Y_{\dot{A}\dot{C}}_{B\dot{B}}H_{A\dot{D}}+{\displaystyle \frac{i}{2}}\epsilon ^{c\underset{¯}{a}}\epsilon ^{d\underset{¯}{b}}Y_{\dot{A}\dot{D}}_{B\dot{B}}H_{A\dot{C}}`$
$``$ $`{\displaystyle \frac{1}{2}}\epsilon _{\dot{C}\dot{B}}\epsilon ^{d\underset{¯}{b}}X^{c\underset{¯}{a}}_{A\dot{A}}H_{B\dot{D}}{\displaystyle \frac{1}{2}}\epsilon _{\dot{D}\dot{B}}\epsilon ^{c\underset{¯}{b}}X^{d\underset{¯}{a}}_{A\dot{A}}H_{B\dot{C}}`$
$``$ $`{\displaystyle \frac{1}{2}}\epsilon _{\dot{C}\dot{A}}\epsilon ^{d\underset{¯}{b}}X^{c\underset{¯}{a}}_{B\dot{B}}H_{A\dot{D}}+{\displaystyle \frac{1}{2}}\epsilon _{\dot{D}\dot{A}}\epsilon ^{c\underset{¯}{b}}X^{d\underset{¯}{a}}_{B\dot{B}}H_{A\dot{C}}+\mathrm{}`$
We did not include in (D.41) and (D.43) those terms with a $`U_{A\dot{A}}_{B\dot{B}}P`$ factor, simply because these terms exist in partial calculations, but overall they cancel. The term with $`_{A\dot{A}}_{B\dot{B}}P`$ does not cancel in (D.43), but this expression appears in (C.6) as $`_{\dot{D}}^d_{\dot{C}}^c_{\underset{¯}{\overset{\dot{}}{A}}}^B\mathrm{\Phi }_{B\underset{¯}{\overset{\dot{}}{B}}}^{ab}`$. Therefore, this term appears as $`_{\underset{¯}{\overset{\dot{}}{A}}}^B_{B\underset{¯}{\overset{\dot{}}{B}}}P`$, a commutator that does not have vector derivatives.

Replacing all the appropriate expressions in (C.14), with suitable contraction or symmetrization of the adequate indices, and adding all terms, we are led to the surprising and exciting result that $`_{\dot{D}d}_{\dot{C}c}I`$, like $`_{\dot{C}c}I`$, also has no derivatives of $`P,H_{A\dot{A}}`$ other than $`_{A\dot{A}}H^{A\dot{A}}`$. We analyze the other terms from (3.9) in the main text.