text:
# Higher order contributions to the effective action of 𝒩=4 super Yang-Mills

## 1 Introduction

There is considerable interest in the issue of deformations of maximally supersymmetric Yang-Mills theories ; for a review see . Such deformations arise in the context of superstring theories, where the low-energy effective actions for D-branes admit expansions in powers of the string tension111The generic structure is of the form $`_{n=0}^{\mathrm{}}c_n(\alpha ^{})^nF^{n+2}`$, where $`F^n`$ denotes terms of mass dimension $`2n`$ in $`F`$ and its covariant derivatives. For D-brane probes in the background of a stack of D-branes, the expansion parameter is not $`\alpha ^{},`$ but is determined by the vacuum expectation values of scalar fields which specify the separation of the probe from the stack. $`\alpha ^{}`$. The lowest order term is a maximally supersymmetric Yang-Mills action. For a single D-brane, the terms in the low-energy effective action which do not contain derivatives of the field strength are known to all orders in $`\alpha ^{}`$: they are given by the Born-Infeld action . In the case when there are N coincident D-branes, the resulting low-energy effective action has been dubbed the non-Abelian Born-Infeld action , because the lowest order term in the expansion is the action for SU(N) supersymmetric Yang-Mills theory , and it reduces to the Born-Infeld action in the Abelian case. Due to the Bianchi identity

$$[F_{ab},F_{cd}]=2\mathrm{i}_{[a}_{b]}F_{cd},$$
(1.1)
it is not possible to consistently truncate the non-Abelian Born-Infeld action to constant field strength, and so derivative corrections must be considered . As yet, only a few terms in the $`\alpha ^{}`$ expansion of the non-Abelian Born-Infeld action are known.

Of particular interest is the question as to whether supersymmetry is a sufficiently strong constraint to uniquely specify the form (up to field redefinitions) of the deformation of a maximally supersymmetric Yang-Mills theory . If this were the case, then any means to compute a supersymmetric deformation would yield the non-Abelian Born-Infeld action. In particular, low energy effective actions for supersymmetric Yang-Mills theories would be related to the non-Abelian Born-Infeld action. However, since the effective action is dependent on the choice of gauge, with a change of gauge inducing a field redefinition, direct comparison of low-energy effective actions with deformations obtained by other means is potentially nontrivial.

The $`F^5`$ contributions to the non-Abelian Born-Infeld action have recently been calculated in full by several different methods . In , the one-loop low-energy effective action for $`𝒩=4`$ supersymmetric Yang-Mills theory in four dimensions was calculated using supergraphs, and the result was:

$$\begin{array}{c}\kappa _1\mathrm{Tr}(2(^eF^{ab})(_eF_{bc})F^{cd}F_{da}+2(^eF^{ab})(_eF^{cd})F_{bc}F_{da}+(^eF^{ab})(_eF_{ca})F_{bd}F^{dc}\hfill \\ \hfill \frac{1}{2}(^eF^{ab})(_eF_{ab})F^{cd}F_{cd}\frac{1}{2}(^eF^{ab})(_eF^{cd})F_{ab}F_{cd}\frac{1}{2}(^eF^{ab})(_eF^{cd})F_{cd}F_{ab}\\ \hfill +2\mathrm{i}F^{ab}F_{bc}F^{cd}F_{de}F_a^e+7\mathrm{i}F^{ab}F_{bc}F^{cd}F_a^eF_{de}+3\mathrm{i}F^{ab}F^{cd}F_a^eF_{bc}F_{de}4\mathrm{i}F^{ab}F^{cd}F_{bc}F_a^eF_{de}),\end{array}$$
(1.2)
where $`\kappa _1`$ is a normalization. On the other hand, Koerber and Sevrin  used an approach based on the requirement that certain BPS solutions should exist to the equations of motion derived from the non-Abelian D-brane effective action, extending earlier use of this method for the Abelian case . At order $`(\alpha ^{})^3`$, this approach yields222Partial results at order $`(\alpha ^{})^3`$ had previously been obtained in ,  and . $`F^5`$ terms in ten dimensional super Yang-Mills were given in .

$$\kappa _2\mathrm{Tr}(F^{ab}(_aF^{cd})(^eF_{bc})F_{de}(^eF^{ab})F^{cd}(_aF_{bc})F_{de}\frac{1}{2}(^eF^{ab})(_eF_{ca})F_{bd}F^{dc}$$

$$\frac{1}{2}(^eF^{ab})F_{da}(_eF_{bc})F^{cd}+\frac{1}{8}(^eF^{ab})F^{cd}(_eF_{ab})F_{cd}$$
(1.3)
$$\frac{\mathrm{i}}{10}F^{ab}F_{bc}F^{cd}F_{de}F_a^e\frac{\mathrm{i}}{2}F^{ab}F_{bc}F^{cd}F_a^eF_{de}\frac{\mathrm{i}}{2}F^{ab}F^{cd}F_{bc}F_a^eF_{de}+\frac{\mathrm{i}}{7}F^{ab}F^{cd}F_a^eF_{bc}F_{de}),$$

where $`\kappa _2`$ is a normalization constant. Comparison of (1.2) and (1.3) is not straightforward due to the identity (1.1). However, when written using the basis for the various tensor structures adopted in (1.3), the result (1.2) takes the form

$$8\kappa _1\mathrm{Tr}(F^{ab}(_aF^{cd})(^eF_{bc})F_{de}(^eF^{ab})F^{cd}(_aF_{bc})F_{de}\frac{1}{2}(^eF^{ab})(_eF_{ca})F_{bd}F^{dc}$$

$$\frac{1}{2}(^eF^{ab})F_{da}(_eF_{bc})F^{cd}+\frac{1}{8}(^eF^{ab})F^{cd}(_eF_{ab})F_{cd}$$
(1.4)
$$+\frac{3\mathrm{i}}{20}F^{ab}F_{bc}F^{cd}F_{de}F_a^e+\frac{\mathrm{i}}{8}F^{ab}F_{bc}F^{cd}F_a^eF_{de}\frac{\mathrm{i}}{2}F^{ab}F^{cd}F_{bc}F_a^eF_{de}+\frac{33\mathrm{i}}{40}F^{ab}F^{cd}F_a^eF_{bc}F_{de}),$$

As can be seen, the terms containing covariant derivatives of the field strength coincide with (1.3), but the terms without covariant derivatives differ .

A number of tests have successfully been applied to confirm that expression (1.3) is consistent with string theoretic predictions . Most recently, a string theory calculation of the full five-point scattering amplitude for gluons has been carried out , from which it is inferred that the corresponding low-energy effective action has precisely the order $`(\alpha ^{})^3`$ terms (1.3). This technique was first applied at order $`(\alpha ^{})^2`$ by Gross and Witten . Other approaches have also provided information on the Born-Infeld action at this order .

In this paper, the one-loop low-energy effective action for non-Abelian $`𝒩=4`$ supersymmetric Yang-Mills theory is calculated in $`𝒩=1`$ superfield form through to order $`F^6.`$ The technique employed is a modification of that developed in  based on the properties of ‘moments’ of heat kernels333For an alternative technique, see .. At order $`F^5,`$ extraction of components from the resulting superfield expression yields (1.3), rather than (1.2). The fact that three different means to calculate a $`F^5`$ deformation of supersymmetric Yang-Mills theory yield the same result (1.3) is evidence for the existence of a unique deformation at this order. If indeed this is the case, it also suggests that the $`F^5`$ terms in the low-energy effective action for $`𝒩=4`$ supersymmetric Yang-Mills theory are not renormalized beyond one-loop. The one-loop non-Abelian $`F^6`$ terms computed in this paper are potentially important for comparison with recent string theoretic results , as are the recently computed two-loop Abelian $`F^6`$ terms .

The paper is organized as follows. Firstly the quantization of non-Abelian $`𝒩=4`$ supersymmetric Yang-Mills theory in $`𝒩=1`$ superfield form is briefly reviewed, including the background field method, heat kernels and zeta function regularization. In Section 3 a general expression adapted to the asymptotic expansion of the heat kernel is derived. This expression is then used in Section 4 to compute the $`F^5`$ terms in the low-energy effective action in superfield form, from which we extract the bosonic component and make comparisons with the results (1.2) and (1.3). In Section 5 we explain how the technique generalizes to allow a computation of the $`F^6`$ terms in the one-loop low-energy effective action, and the full superfield result can be found in the Appendix B. Some comments on the form of the result are included in Section 6.

We adopt the conventions and notation of  and .

## 2 Quantization of $`𝒩=4`$ super Yang-Mills

The non-Abelian $`𝒩=4`$ supersymmetric Yang-Mills action cast in $`𝒩=1`$ superfield form is

$`S={\displaystyle \frac{1}{g^2}}\mathrm{Tr}({\displaystyle }\mathrm{d}^8ze^{2V}\overline{\mathrm{\Phi }}_ie^{2V}\mathrm{\Phi }_i+{\displaystyle \frac{1}{4}}{\displaystyle }\mathrm{d}^6zW^\alpha W_\alpha +{\displaystyle \frac{1}{4}}{\displaystyle }\mathrm{d}^6\overline{z}\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}`$
$`+{\displaystyle \frac{\sqrt{2}}{3!}}{\displaystyle }\mathrm{d}^6zϵ^{ijk}[\mathrm{\Phi }_i,\mathrm{\Phi }_j]\mathrm{\Phi }_k+{\displaystyle \frac{\sqrt{2}}{3!}}{\displaystyle }\mathrm{d}^6\overline{z}ϵ^{ijk}[\overline{\mathrm{\Phi }}_i,\overline{\mathrm{\Phi }}_j]\overline{\mathrm{\Phi }}_k),`$ (2.5)
where

$$W_\alpha =\frac{1}{8}\overline{D}^2(e^{2V}D_\alpha e^{2V})$$
(2.6)
and $`\mathrm{\Phi }_i`$ ($`i=1,\mathrm{\hspace{0.17em}2},\mathrm{\hspace{0.17em}3}`$) are chiral superfields. All superfields are Lie-algebra valued, for example $`\mathrm{\Phi }_i=\mathrm{\Phi }_i^IT^I`$, with the Hermitian generators $`T^I`$ satisfying:

$$[T^I,T^J]=\mathrm{i}f^{IJK}T^K.$$
(2.7)
In the $`𝒩=1`$ background field formalism for supersymmetric non-Abelian gauge theories , it is necessary to introduce a nonlinear background-quantum splitting to ensure a gauge invariant effective action. Defining

$$e^{2V}e^we^{\overline{w}},$$
(2.8)
the background-quantum splitting is given by

$$e^w=e^{w_B}e^{w_Q},$$
(2.9)
or equivalently

$$e^{2V}=e^{w_B}e^{2V_Q}e^{\overline{w}_B}$$
(2.10)
where the subscripts $`B`$ and $`Q`$ denote background and quantum pieces respectively. Since we will be performing a one-loop calculation it is only necessary to retain terms quadratic in quantum fields in the action. After background covariant gauge fixing , the quantum quadratic action for $`𝒩=4`$ super Yang-Mills becomes

$$S_{quad}=\mathrm{d}^8zV_Q(\mathrm{\Delta }_1m^2)V_Q$$
(2.11)
where

$$\mathrm{\Delta }_1=𝒟^a𝒟_aW_B^\alpha 𝒟_\alpha \overline{W}_B^{\dot{\alpha }}\overline{𝒟}_{\dot{\alpha }}.$$
(2.12)
The mass $`m^2=|\mathrm{\Phi }_B|^2`$ is introduced via a constant chiral scalar superfield background $`\mathrm{\Phi }_B,`$ and the low-energy effective action has an expansion in inverse powers of $`m^2.`$ The $`W_B`$’s and $`𝒟`$’s are background superfield strengths and background gauge covariant derivatives respectively, defined and related by (dropping all $`B`$ subscripts):

$$𝒟_\alpha =e^wD_\alpha e^w,\overline{𝒟}_{\dot{\alpha }}=e^{\overline{w}}\overline{D}_{\dot{\alpha }}e^{\overline{w}}$$

$$𝒟_a=\frac{1}{2}(\stackrel{~}{\sigma }_a)^{\dot{\alpha }\alpha }𝒟_{\alpha \dot{\alpha }}=\frac{\mathrm{i}}{4}(\stackrel{~}{\sigma }_a)^{\dot{\alpha }\alpha }\{𝒟_\alpha ,\overline{𝒟}_{\dot{\alpha }}\}$$
(2.13)
$$[\overline{𝒟}_{\dot{\alpha }},𝒟_{\beta \dot{\beta }}]=2\mathrm{i}\epsilon _{\dot{\alpha }\dot{\beta }}W_\beta ,[𝒟_\alpha ,𝒟_{\beta \dot{\beta }}]=2\mathrm{i}\epsilon _{\alpha \beta }\overline{W}_{\dot{\beta }}.$$

One can efficiently calculate the one-loop effective action through zeta function regularization, and it is just $`\frac{1}{2}\zeta ^{}(0)`$, where the zeta function is defined by

$$\zeta (s)=\frac{\mu ^{2s}}{\mathrm{\Gamma }(s)}_0^{\mathrm{}}dtt^{s1}e^{tm^2}K(t).$$
(2.14)
In this expression $`\mu `$ is the renormalization point and $`K(t)`$ is the functional trace of the heat kernel associated with the operator $`\mathrm{\Delta }_1`$,

$$K(t)=\mathrm{Tr}\mathrm{d}^8z\underset{z^{}z}{lim}e^{t\mathrm{\Delta }_1}\delta ^{(8)}(z,z^{})\mathrm{Tr}\mathrm{d}^8z\underset{z^{}z}{lim}K(z,z^{},t).$$
(2.15)
Here $`\mathrm{Tr}`$ denotes the trace over gauge indices and $`\delta ^{(8)}(z,z^{})`$ is the superspace delta function,

$$\delta ^{(8)}(z,z^{})=\delta ^{(4)}(x,x^{})\delta ^{(2)}(\theta \theta ^{})\delta ^{(2)}(\overline{\theta }\overline{\theta }^{}).$$
(2.16)
Introducing a plane wave basis for the delta functions,

$$\delta ^{(4)}(x,x^{})=\frac{\mathrm{d}^4k}{(2\pi )^4}e^{\mathrm{i}k^a\omega _a}$$
(2.17)
$$\delta ^{(2)}(\theta \theta ^{})=4\mathrm{d}^2ϵe^{\mathrm{i}ϵ^\alpha (\theta \theta ^{})_\alpha },\delta ^{(2)}(\overline{\theta }\overline{\theta }^{})=4\mathrm{d}^2\overline{ϵ}e^{\mathrm{i}\overline{ϵ}_{\dot{\alpha }}(\overline{\theta }\overline{\theta }^{})^{\dot{\alpha }}}$$
(2.18)
where

$$\omega _a=x_ax_a^{}i\theta \sigma _a\overline{\theta }^{}+i\theta ^{}\sigma _a\overline{\theta },$$
(2.19)
and defining

$$d\eta =16\frac{\mathrm{d}^4k}{(2\pi )^4}\mathrm{d}^2ϵ\mathrm{d}{}_{}{}^{2}\overline{ϵ},$$
(2.20)
$`K(z,z^{},t)`$ becomes

$$K(z,z^{},t)=d\eta e^{\mathrm{i}k^a\omega _a}e^{\mathrm{i}ϵ^\alpha (\theta \theta ^{})_\alpha }e^{\mathrm{i}\overline{ϵ}_{\dot{\alpha }}(\overline{\theta }\overline{\theta }^{})^{\dot{\alpha }}}e^{t\mathrm{\Delta }}$$
(2.21)
with

$$\mathrm{\Delta }=X^aX_aW^\alpha X_\alpha \overline{W}^{\dot{\alpha }}\overline{X}_{\dot{\alpha }}.$$
(2.22)
Here, the $`X`$’s are defined by

$`X_a`$ $`=𝒟_a+ik_a`$
$`X_\alpha `$ $`=𝒟_\alpha +iϵ_\alpha k_{\alpha \dot{\alpha }}(\overline{\theta }\overline{\theta }^{})^{\dot{\alpha }}`$ (2.23)
$`\overline{X}_{\dot{\alpha }}`$ $`=\overline{𝒟}_{\dot{\alpha }}+i\overline{ϵ}_{\dot{\alpha }}+k_{\alpha \dot{\alpha }}(\theta \theta ^{})^\alpha ,`$
and satisfy the algebra

$$\{X_\alpha ,X_\beta \}=\{\overline{X}_{\dot{\alpha }},\overline{X}_{\dot{\beta }}\}=0,\{X_\alpha ,\overline{X}_{\dot{\alpha }}\}=2iX_{\alpha \dot{\alpha }},[X_a,X_b]=G_{ab}$$

$$[X_\alpha ,X_{\beta \dot{\beta }}]=2i\epsilon _{\alpha \beta }\overline{W}_{\dot{\beta }},[\overline{X}_{\dot{\alpha }},X_{\beta \dot{\beta }}]=2i\epsilon _{\dot{\alpha }\dot{\beta }}W_\beta $$
(2.24)
$$G_{\alpha \dot{\alpha },\beta \dot{\beta }}=(\sigma ^a)_{\alpha \dot{\alpha }}(\sigma ^b)_{\beta \dot{\beta }}G_{ab}=\epsilon _{\alpha \beta }(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }})\epsilon _{\dot{\alpha }\dot{\beta }}(𝒟_\alpha W_\beta ).$$

Taking the limit444This limit is implicitly taken throughout the remainder of this paper. $`z^{}z`$ in (2.21), one obtains

$$K(z,t)\underset{z^{}z}{lim}K(z,z^{},t)=d\eta e^{t\mathrm{\Delta }}.$$
(2.25)
The kernel $`K(z,t)`$ has an asymptotic expansion in $`t`$ in the limit $`t0`$, and the leading term in the expansion is of order $`t^2`$. This fact can be seen by making the rescaling $`k_at^{\frac{1}{2}}k_a`$, and by observing that the integral over the fermionic parameters $`ϵ_\alpha `$ and $`\overline{ϵ}_{\dot{\alpha }}`$ will bring down at least four factors of $`t`$. Defining the DeWitt-Seeley coefficients $`a_n`$ in the usual manner,

$$K(z,t)=\frac{1}{16\pi ^2t^2}\underset{n=0}{\overset{\mathrm{}}{}}t^na_na_i=0,i=0,1,2,3,$$
(2.26)
the one-loop effective action then takes the form

$$\mathrm{\Gamma }_{(1)}\frac{1}{2}\zeta ^{}(0)=\frac{1}{32\pi ^2}\underset{n=4}{\overset{\mathrm{}}{}}\frac{(n3)!}{m^{2n4}}\mathrm{d}^8z\mathrm{Tr}(a_n),$$
(2.27)
which is an expansion in inverse powers of the mass parameter. At the component level, the non-trivial DeWitt-Seeley coefficients, $`a_n`$ for $`n4`$, contain bosonic field strength terms of the form $`F^n`$. The first non-trivial coefficient, $`a_4,`$ is well-known (see for example ):

$$\mathrm{Tr}(a_4)=\frac{1}{3}\mathrm{Tr}(2W^2\overline{W}^2W^\alpha \overline{W}_{\dot{\alpha }}W_\alpha \overline{W}^{\dot{\alpha }}).$$
(2.28)
Our goal is to compute $`a_5`$ and $`a_6`$ in superfield form.

In general the process of asymptotically expanding heat kernels is involved and very laborious. The most direct route, expanding the exponential $`e^{t\mathrm{\Delta }}`$, is cumbersome and really only practical for computing the first non-trivial DeWitt-Seeley coefficient. To calculate higher order coefficients it is necessary to introduce an efficient algorithm, which is done in the next section.

## 3 The differential equation approach

We proceed by modifying the differential equation approach developed in . Briefly, this approach involves generating a differential equation for $`K(z,t)`$. By exploiting certain properties of the kernel, and provided the background is sufficiently simple, the resulting equation can be solved either iteratively or in some cases exactly by expressing $`\frac{dK(z,t)}{dt}`$ in terms of $`K(z,t)`$. For more complicated backgrounds, as with the case at hand, it becomes too difficult to express the differential equation in a form in which it can be solved.

However, the techniques employed in  may be used in a rather different way to facilitate the computation of higher order DeWitt-Seeley coefficients in theories with arbitrary backgrounds. In this new approach, one does not actually attempt to solve the differential equation, as we now illustrate.

We begin by differentiating $`K(z,t)`$ with respect to $`t`$, which yields the differential equation

$$\frac{dK(z,t)}{dt}=K_a^a(z,t)W^\alpha K_\alpha (z,t)\overline{W}^{\dot{\alpha }}K_{\dot{\alpha }}(z,t),$$
(3.29)
where the notation

$$K_{A_1A_2\mathrm{}A_n}(z,t)=d\eta X_{A_1}X_{A_2}\mathrm{}X_{A_n}e^{t\mathrm{\Delta }}$$
(3.30)
has been introduced, with the integration measure defined in (2.20). Using the identities

$$0=d\eta \frac{}{k_b}\left(X_ae^{t\mathrm{\Delta }}\right)$$
(3.31)
and

$$[A,e^B]=_0^1dse^{sB}[A,B]e^{(1s)B},$$
(3.32)
it follows that

$$0=\mathrm{i}\delta _a^bK(z,t)+2\mathrm{i}td\eta X_a\underset{n=0}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(J^b)e^{t\mathrm{\Delta }}$$
(3.33)
where

$$J^a=X^a\frac{\mathrm{i}}{2}W\sigma ^a(\overline{\theta }\overline{\theta }^{})\frac{\mathrm{i}}{2}(\theta \theta ^{})\sigma ^a\overline{W}$$
(3.34)
and $`ad^n`$ denotes $`n`$ nested commutators:

$$ad_A^{\mathrm{\hspace{0.17em}0}}(B)=B,ad_A^n(B)=[A,ad_A^{n1}(B)].$$
(3.35)
After contraction of vector indices, this becomes

$$K_a^a(z,t)=\frac{2}{t}K(z,t)d\eta X_a\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(J^a)e^{t\mathrm{\Delta }}.$$
(3.36)
Similarly, using

$$0=d\eta \frac{}{ϵ_\beta }\left(X_\alpha e^{t\mathrm{\Delta }}\right)$$
(3.37)
and

$$0=d\eta \frac{}{\overline{ϵ}_{\dot{\beta }}}\left(\overline{X}_{\dot{\alpha }}e^{t\mathrm{\Delta }}\right)$$
(3.38)
it follows that

$$W^\alpha K_\alpha (z,t)=\frac{2}{t}K(z,t)+(𝒟_\alpha W^\alpha )K(z,t)+d\eta X_\alpha \underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(W^\alpha )e^{t\mathrm{\Delta }}$$
(3.39)
and

$$\overline{W}^{\dot{\alpha }}K_{\dot{\alpha }}(z,t)=\frac{2}{t}K(z,t)+(\overline{𝒟}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }})K(z,t)+d\eta \overline{X}_{\dot{\alpha }}\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(\overline{W}^{\dot{\alpha }})e^{t\mathrm{\Delta }}$$
(3.40)
respectively.

Finally, inserting (3.36),(3.39) and (3.40) into the differential equation (3.29) one obtains:

$`{\displaystyle \frac{dK(z,t)}{dt}}{\displaystyle \frac{2}{t}}K(z,t)=`$ $`{\displaystyle 𝑑\eta X_a\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(J^a)e^{t\mathrm{\Delta }}}`$
$`{\displaystyle 𝑑\eta X_\alpha \underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(W^\alpha )e^{t\mathrm{\Delta }}}`$
$`{\displaystyle 𝑑\eta \overline{X}_{\dot{\alpha }}\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(\overline{W}^{\dot{\alpha }})e^{t\mathrm{\Delta }}},`$ (3.41)
where the $`K(z,t)`$ pieces have been brought to the left hand side and the Bianchi identity, $`𝒟^\alpha W_\alpha =\overline{𝒟}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}`$, has been used. The significance of this expression is seen in terms of the asymptotic expansion (2.26), where the left hand side is

$$\frac{dK(z,t)}{dt}\frac{2}{t}K(z,t)=\frac{1}{16\pi ^2}\underset{n=0}{\overset{\mathrm{}}{}}(n4)t^{n3}a_n=\frac{a_5t^2}{16\pi ^2}+\frac{2a_6t^3}{16\pi ^2}+\mathrm{}$$
(3.42)
It is clear that in this particular combination of the kernel and its derivative, the first non-trivial coefficient, $`a_4`$, is absent555This feature is not particular to the current example. Differential equations of the form (3.41), where the first non-trivial coefficient is absent, arise naturally when applying these techniques to heat kernels associated with ‘reasonable’ operators in superspace with arbitrary dimensions. This is most obvious in ordinary p-dimensional spacetime with Laplace-type operators.. Exploiting this fact, the objective now becomes to determine the DeWitt-Seeley coefficients by expanding the right hand side of (3.41) in a power series in $`t`$, and identifying it with the right hand side of (3.42).

The background has been arbitrary to this point. However, from now on it will be placed on-shell, $`𝒟^\alpha W_\alpha =\overline{𝒟}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}=0`$, as we are only interested in the on-shell effective action. Since the summation on the right hand side of (3.41) involves the repetitive calculation of commutators, it is first useful to establish the following relations:

$`[\mathrm{\Delta },X_a]`$ $`=`$ $`2G_a^bX_b+(𝒟_aW^\alpha )X_\alpha +(𝒟_a\overline{W}^{\dot{\alpha }})\overline{X}_{\dot{\alpha }}`$
$`[\mathrm{\Delta },X_\alpha ]`$ $`=`$ $`(𝒟_\alpha W^\beta )X_\beta `$
$`[\mathrm{\Delta },\overline{X}_{\dot{\alpha }}]`$ $`=`$ $`(\overline{𝒟}_{\dot{\alpha }}\overline{W}^{\dot{\beta }})\overline{X}_{\dot{\beta }}`$ (3.43)
$`[\mathrm{\Delta },A]`$ $`=`$ $`(𝒟^a𝒟_aA)+2(𝒟^aA)X_aW^\alpha (𝒟_\alpha A)\overline{W}^{\dot{\alpha }}(\overline{𝒟}_{\dot{\alpha }}A)`$
$`(1)^{\epsilon (A)}[W^\alpha ,A\}X_\alpha (1)^{\epsilon (A)}[\overline{W}^{\dot{\alpha }},A\}\overline{X}_{\dot{\alpha }}.`$
From these it is clear that summation will generate a series of objects of the form $`K_{A_1\mathrm{}A_i}(z,t)`$, which we shall refer to as moments of the kernel666Occasionally we also use this term to collectively refer to all moments and $`K(z,t)`$ itself., as defined in (3.30). Furthermore, it is not difficult to show that to order $`n`$ in this summation, the moments generated have at most $`(n+1)`$ indices. It is convenient to always place these indices in a specific order: first undotted, then dotted, then spacetime. This can be achieved through the commutation relations (2.24). With such an ordering, the leading term in a moment’s asymptotic power series has the following behaviour777With arbitrary ordering the behaviour is only slightly more complicated.:

$$K_{A_1\mathrm{}A_{p+q}}(z,t)\frac{1}{t^2}\left(\frac{1}{t}\right)^{\left[\frac{p}{2}\right]}t^{4q}=t^{2q\left[\frac{p}{2}\right]}q4$$
(3.44)
where $`K_{A_1\mathrm{}A_{p+q}}(z,t)`$ has $`p`$ spacetime indices, $`q`$ spinor indices and $`[\frac{p}{2}]`$ denotes the largest integer part of $`\frac{p}{2}`$. Moments with greater than two undotted or dotted indices vanish as $`X_\alpha X_\beta X_\gamma =\overline{X}_{\dot{\alpha }}\overline{X}_{\dot{\beta }}\overline{X}_{\dot{\gamma }}=0`$.

From these considerations, and by comparison with equation (3.42), the summation in equation (3.41) truncates at $`n=2k5`$ when evaluating $`a_k`$ for $`k5`$. Moreover, it turns out that after tracing over gauge indices, the last term in this truncated summation always vanishes due to the cyclic property of the trace, making it necessary to sum only to $`n=2k6`$. In particular, this means that to evaluate $`a_5`$ and $`a_6`$ one is permitted to truncate at $`n=4`$ and 6 respectively. More explicitly, the terms with $`n=2k5`$ are always of the form

$$t^{2k5}M^{\alpha \beta \dot{\alpha }\dot{\beta }b_1\mathrm{}b_{2k8}}K_{\alpha \beta \dot{\alpha }\dot{\beta }b_1\mathrm{}b_{2k8}}(z,t)k5$$
(3.45)
where the coefficient $`M`$ is some graded commutator. The moment in this expression is only ever required to leading order in $`t,`$ and at this order, it is proportional to the identity matrix in its group indices. Consequently all contributing terms are only proportional to graded commutators, which vanish under the trace.

## 4 The $`F^5`$ terms

In this section, the calculation of the DeWitt-Seeley coefficient $`a_5`$ in $`𝒩=4`$ supersymmetric Yang-Mills theory is discussed. This determines the $`F^5`$ terms in the low-energy effective action.

### 4.1 Evaluating $`a_5`$

Before proceeding, it is instructive to examine the differential equation (3.41) in a little more detail. Since

$$ad_A^n(BC)=\underset{m=0}{\overset{n}{}}\frac{n!}{m!(nm)!}ad_A^{nm}(B)ad_A^m(C),$$
(4.46)
if $`A`$ has even Grassmann parity, then

$`ad_\mathrm{\Delta }^n(J^aX^a)`$ $`={\displaystyle \frac{\mathrm{i}}{2}}(\sigma ^a)_{\alpha \dot{\alpha }}ad_\mathrm{\Delta }^n((\overline{\theta }\overline{\theta }^{})^{\dot{\alpha }}W^\alpha (\theta \theta ^{})^\alpha \overline{W}^{\dot{\alpha }})`$
$`={\displaystyle \frac{\mathrm{i}}{2}}(\sigma ^a)_{\alpha \dot{\alpha }}\left((\overline{\theta }\overline{\theta }^{})^{\dot{\alpha }}ad_\mathrm{\Delta }^n(W^\alpha )(\theta \theta ^{})^\alpha ad_\mathrm{\Delta }^n(\overline{W}^{\dot{\alpha }})\right)+M_n`$ (4.47)
where

$$M_n=\frac{\mathrm{i}}{2}(\sigma ^a)_{\alpha \dot{\alpha }}\underset{m=0}{\overset{n1}{}}\frac{n!}{m!(nm)!}\left(ad_\mathrm{\Delta }^{nm1}(\overline{W}^{\dot{\alpha }})ad_\mathrm{\Delta }^m(W^\alpha )+ad_\mathrm{\Delta }^{nm1}(W^\alpha )ad_\mathrm{\Delta }^m(\overline{W}^{\dot{\alpha }})\right).$$

The differential equation (3.41) can then be expressed in the more useful form

$`{\displaystyle \frac{dK(z,t)}{dt}}{\displaystyle \frac{2}{t}}K(z,t)=`$ $`{\displaystyle d\eta X_a\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(X^a)e^{t\mathrm{\Delta }}}`$
$`{\displaystyle d\eta X_\alpha \underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(W^\alpha )e^{t\mathrm{\Delta }}}`$
$`{\displaystyle d\eta \overline{X}_{\dot{\alpha }}\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}ad_\mathrm{\Delta }^n(\overline{W}^{\dot{\alpha }})e^{t\mathrm{\Delta }}}`$
$`{\displaystyle d\eta X_a\underset{n=1}{\overset{\mathrm{}}{}}\frac{t^n}{(n+1)!}M_ne^{t\mathrm{\Delta }}}.`$ (4.48)
To order $`n`$ in the summation, the last of the four terms on the right hand side will generate moments with at most $`n`$ indices (whereas the first three generate moments with at most $`n+1`$). By investigating its powers series behaviour, one ultimately finds that this last term will not contribute when computing $`a_5`$, and can safely be ignored.

To illustrate the manner in which the first three terms are evaluated, consider the $`n=1`$ contribution to the second term. Use of the commutation relations (3.43) gives:

$`{\displaystyle \frac{t}{2!}}{\displaystyle d\eta X_\alpha [\mathrm{\Delta },W^\alpha ]e^{t\mathrm{\Delta }}}=`$ $`{\displaystyle \frac{t}{2!}}((𝒟_\alpha A^\alpha )K(z,t)+((𝒟_\beta C^{\beta \alpha })A^\alpha )K_\alpha (z,t)`$
$`+(𝒟_\alpha E^{\alpha \dot{\alpha }})K_{\dot{\alpha }}(z,t)+(𝒟_\alpha B^{\alpha a})K_a(z,t)`$
$`B^{\alpha a}K_{\alpha a}(z,t)+C^{\alpha \beta }K_{\alpha \beta }(z,t)+E^{\alpha \dot{\alpha }}K_{\alpha \dot{\alpha }}(z,t))`$ (4.49)
with

$$\begin{array}{c}\hfill A^\alpha =(𝒟^a𝒟_aW^\alpha )W^\beta (𝒟_\beta W^\alpha ),B^{\alpha a}=2(𝒟^aW^\alpha )\\ \hfill C^{\alpha \beta }=\{W^\alpha ,W^\beta \},E^{\alpha \dot{\alpha }}=\{W^\alpha ,\overline{W}^{\dot{\alpha }}\}.\end{array}$$
(4.50)
This is further simplified by the vanishing of the coefficient of $`K_{\dot{\alpha }}(z,t)`$ due to chirality and the equations of motion, and $`C^{\alpha \beta }K_{\alpha \beta }(z,t)`$ vanishes due to the symmetry/antisymmetry of its indices. Furthermore, the terms involving $`tK(z,t)`$ and $`tK_a(z,t)`$ will not contribute to the order of interest, since after expansion both have will have leading terms of order $`t^3`$. Curiously, and apparently contrary to equation (3.42), one also finds a term, $`tK_{\alpha \dot{\alpha }}(z,t)`$, of leading order $`t`$, but all such terms are found to cancel (as they must) when considering the complete right hand side of (4.48).

There now remains the problem of expanding the contributing moments to the required order in $`t`$. In the current example this does not pose any additional difficulties since it is only necessary to expand all surviving moments to leading order, and as explained above, such expressions are readily obtained by directly expanding the exponential. For example:

$$K_\alpha (z,t)=d\eta X_\alpha e^{t\mathrm{\Delta }}=\frac{1}{16\pi ^2}\frac{4t}{3!}(W_\alpha \overline{W}^2+\overline{W}^2W_\alpha \overline{W}_{\dot{\alpha }}W_\alpha \overline{W}^{\dot{\alpha }})+𝒪(t^2)$$
(4.51)
where the $`k`$ integral has also been performed (after Wick rotation to a Euclidean metric). In essence the problem of computing the kernel to subleading order has been reduced to computing several moments to leading order.

Carrying out this procedure to order $`t^2`$ for the entire right hand side of equation (4.48) for $`n=1`$ to 4, and using the cyclicity of the trace, $`\mathrm{Tr}(a_5)`$ can be identified:

$$\begin{array}{c}\mathrm{Tr}(a_5)=\frac{1}{90}\mathrm{Tr}(10((𝒟^a𝒟_aW^\alpha )W_\alpha \overline{W}^2+(𝒟^a𝒟_aW^\alpha )\overline{W}^2W_\alpha (𝒟^a𝒟_aW^\alpha )\overline{W}_{\dot{\alpha }}W_\alpha \overline{W}^{\dot{\alpha }})\hfill \\ \hfill +11\left((𝒟^aW^\alpha )(𝒟_aW_\alpha )\overline{W}^2+(𝒟^aW^\alpha )(𝒟_a\overline{W}_{\dot{\alpha }})\overline{W}^{\dot{\alpha }}W_\alpha (𝒟^aW^\alpha )(𝒟_a\overline{W}_{\dot{\alpha }})W_\alpha \overline{W}^{\dot{\alpha }}\right)\\ \hfill +4\left((𝒟^aW^\alpha )W_\alpha (𝒟_a\overline{W}_{\dot{\alpha }})\overline{W}^{\dot{\alpha }}+(𝒟^aW^\alpha )\overline{W}_{\dot{\alpha }}(𝒟_a\overline{W}^{\dot{\alpha }})W_\alpha (𝒟^aW^\alpha )\overline{W}_{\dot{\alpha }}(𝒟_aW_\alpha )\overline{W}^{\dot{\alpha }}\right)\\ \hfill +3(𝒟_\alpha W^\beta )W^\alpha W_\beta \overline{W}^2+9(𝒟_\alpha W^\beta )W^\alpha \overline{W}^2W_\beta +3(𝒟_\alpha W^\beta )\overline{W}^2W^\alpha W_\beta \\ \hfill +3(𝒟_\alpha W^\beta )\overline{W}_{\dot{\alpha }}W^\alpha W_\beta \overline{W}^{\dot{\alpha }}6(𝒟_\alpha W^\beta )W^\alpha \overline{W}_{\dot{\alpha }}W_\beta \overline{W}^{\dot{\alpha }}6(𝒟_\alpha W^\beta )\overline{W}_{\dot{\alpha }}W^\alpha \overline{W}^{\dot{\alpha }}W_\beta )\\ \hfill +c.c.\end{array}$$
(4.52)
Here the complex conjugate of any term is effectively obtained by replacing all undotted spinor indices (and unbarred objects) by dotted spinor indices (and barred objects) and vice-versa. Integrating by parts, the result can be brought into the more compact form

$$\begin{array}{c}\mathrm{Tr}(a_5)=\frac{1}{30}\mathrm{Tr}(2((𝒟^a𝒟_aW^\alpha )W_\alpha \overline{W}^2+(𝒟^a𝒟_aW^\alpha )\overline{W}^2W_\alpha (𝒟^a𝒟_aW^\alpha )\overline{W}_{\dot{\alpha }}W_\alpha \overline{W}^{\dot{\alpha }})\hfill \\ \hfill +\left((𝒟^aW^\alpha )(𝒟_aW_\alpha )\overline{W}^2+(𝒟^aW^\alpha )(𝒟_a\overline{W}_{\dot{\alpha }})\overline{W}^{\dot{\alpha }}W_\alpha (𝒟^aW^\alpha )(𝒟_a\overline{W}_{\dot{\alpha }})W_\alpha \overline{W}^{\dot{\alpha }}\right)\\ \hfill +5((𝒟_\alpha W^\beta )W^\alpha W_\beta \overline{W}^2(𝒟_\alpha W^\beta )W^\alpha \overline{W}_{\dot{\alpha }}W_\beta \overline{W}^{\dot{\alpha }}))+c.c.\end{array}$$
(4.53)
The corresponding piece of the one-loop effective action can immediately be deduced by insertion into equation (2.27).

### 4.2 $`a_5`$ at the component level

We are now in a position to extract the component form of $`\mathrm{Tr}(a_5).`$ We consider only the contribution containing the field strength $`F_{ab}`$ and its covariant derivatives. It is natural to split the result into two parts and compute their component fields separately. Firstly, consider only terms with two covariant derivatives:

$$\begin{array}{c}\frac{1}{30}\mathrm{Tr}(2((𝒟^a𝒟_aW^\alpha )W_\alpha \overline{W}^2+(𝒟^a𝒟_aW^\alpha )\overline{W}^2W_\alpha (𝒟^a𝒟_aW^\alpha )\overline{W}_{\dot{\alpha }}W_\alpha \overline{W}^{\dot{\alpha }})\hfill \\ \hfill +((𝒟^aW^\alpha )(𝒟_aW_\alpha )\overline{W}^2+(𝒟^aW^\alpha )(𝒟_a\overline{W}_{\dot{\alpha }})\overline{W}^{\dot{\alpha }}W_\alpha (𝒟^aW^\alpha )(𝒟_a\overline{W}_{\dot{\alpha }})W_\alpha \overline{W}^{\dot{\alpha }}))+c.c.\end{array}$$
(4.54)
Using standard techniques (for example, see ), it is not difficult to show that the relevant component part of this superfield expression is:

$$\begin{array}{c}\frac{1}{30}\mathrm{Tr}(2((^eF^{ab})(_eF_{bc})F^{cd}F_{da}+(^eF^{ab})(_eF^{cd})F_{bc}F_{da}+(^eF^{ab})(_eF_{ca})F_{bd}F^{dc})\hfill \\ \hfill \frac{1}{2}\left((^eF^{ab})(_eF_{ab})F^{cd}F_{cd}+(^eF^{ab})(_eF^{cd})F_{ab}F_{cd}+(^eF^{ab})(_eF^{cd})F_{cd}F_{ab}\right)\\ \hfill +4\left((^2F^{ab})F_{bc}F^{cd}F_{da}+(^2F^{ab})F^{cd}F_{bc}F_{da}+(^2F^{ab})F_{ca}F_{bd}F^{dc}\right)\\ \hfill ((^2F^{ab})F_{ab}F^{cd}F_{cd}+(^2F^{ab})F^{cd}F_{ab}F_{cd}+(^2F^{ab})F^{cd}F_{cd}F_{ab}))\end{array}$$
(4.55)
where

$$\begin{array}{c}\hfill _a=_a\mathrm{i}A_a,[_a,_b]=\mathrm{i}F_{ab}\\ \hfill F_{ab}=_aA_b_bA_a\mathrm{i}[A_a,A_b],_c(F_{ab})=_cF_{ab}\mathrm{i}[A_c,F_{ab}].\end{array}$$
(4.56)
The $`^2F`$ terms can be converted into $`F^2`$-type terms using

$$^2F_{ab}=2\mathrm{i}(F_{ac}F_b^cF_{bc}F_a^c),$$
(4.57)
thus generating some $`F^5`$ terms. The resulting expression can be further simplified by recognizing that out of the six distinct $`F^5`$ structures, only four are linearly independent, as seen via the following identities:

$`\mathrm{Tr}(F^{ab}F^{de}F_{bc}F_a^cF_{de})`$ $`=`$ $`{\displaystyle \frac{1}{5}}\mathrm{Tr}(F^{ab}F_{bc}F^{cd}F_{de}F_a^e)\mathrm{Tr}(F^{ab}F_{bc}F^{cd}F_a^eF_{de})`$ (4.58)
$`+\mathrm{Tr}(F^{ab}F^{cd}F_{bc}F_a^eF_{de})+{\displaystyle \frac{3}{5}}\mathrm{Tr}(F^{ab}F^{cd}F_a^eF_{bc}F_{de})`$
and

$`\mathrm{Tr}(F^{ab}F_{bc}F_a^cF^{de}F_{de})`$ $`=`$ $`{\displaystyle \frac{3}{5}}\mathrm{Tr}(F^{ab}F_{bc}F^{cd}F_{de}F_a^e)+\mathrm{Tr}(F^{ab}F_{bc}F^{cd}F_a^eF_{de})`$ (4.59)
$`+\mathrm{Tr}(F^{ab}F^{cd}F_{bc}F_a^eF_{de})+{\displaystyle \frac{1}{5}}\mathrm{Tr}(F^{ab}F^{cd}F_a^eF_{bc}F_{de}).`$
Using these, equation (4.55) reduces to

$$\begin{array}{c}\frac{1}{30}\mathrm{Tr}(2((^eF^{ab})(_eF_{bc})F^{cd}F_{da}+(^eF^{ab})(_eF^{cd})F_{bc}F_{da}+(^eF^{ab})(_eF_{ca})F_{bd}F^{dc})\hfill \\ \hfill \frac{1}{2}\left((^eF^{ab})(_eF_{ab})F^{cd}F_{cd}+(^eF^{ab})(_eF^{cd})F_{ab}F_{cd}+(^eF^{ab})(_eF^{cd})F_{cd}F_{ab}\right)\\ \hfill +4\mathrm{i}(F^{ab}F_{bc}F^{cd}F_{de}F_a^e+3F^{ab}F_{bc}F^{cd}F_a^eF_{de}F^{ab}F^{cd}F_{bc}F_a^eF_{de}+F^{ab}F^{cd}F_a^eF_{bc}F_{de})).\end{array}$$
(4.60)
The bosonic component of $`\mathrm{Tr}(a_5)`$ coming from the terms in (4.53) with a single covariant derivative is

$$\begin{array}{c}\frac{\mathrm{i}}{12}\mathrm{Tr}(2F^{ab}F_{bc}F^{cd}F_{de}F_a^e+4F^{ab}F_{bc}F^{cd}F_a^eF_{de}2F^{ab}F^{cd}F_{bc}F_a^eF_{de}\hfill \\ \hfill +F^{ab}F_{bc}F_a^cF^{de}F_{de}+F^{ab}F^{de}F_{bc}F_a^cF_{de}),\end{array}$$
(4.61)
which, after the application of (4.58) and (4.59) becomes

$$\begin{array}{c}\frac{\mathrm{i}}{15}\mathrm{Tr}\left(2F^{ab}F_{bc}F^{cd}F_{de}F_a^e+5F^{ab}F_{bc}F^{cd}F_a^eF_{de}+F^{ab}F^{cd}F_a^eF_{bc}F_{de}\right).\hfill \end{array}$$
(4.62)
Finally, adding (4.60) and (4.62), one obtains the overall bosonic component of $`\mathrm{Tr}(a_5)`$,

$$\begin{array}{c}\frac{1}{30}\mathrm{Tr}(2((^eF^{ab})(_eF_{bc})F^{cd}F_{da}+(^eF^{ab})(_eF^{cd})F_{bc}F_{da}+(^eF^{ab})(_eF_{ca})F_{bd}F^{dc})\hfill \\ \hfill \frac{1}{2}\left((^eF^{ab})(_eF_{ab})F^{cd}F_{cd}+(^eF^{ab})(_eF^{cd})F_{ab}F_{cd}+(^eF^{ab})(_eF^{cd})F_{cd}F_{ab}\right)\\ \hfill +2\mathrm{i}(F^{ab}F_{bc}F^{cd}F_a^eF_{de}2F^{ab}F^{cd}F_{bc}F_a^eF_{de}+F^{ab}F^{cd}F_a^eF_{bc}F_{de})).\end{array}$$
(4.63)
After conversion to the basis used in  (see Appendix A), we find exact agreement, up to an overall multiplicative constant, with equation (1.3), which describes the $`(\alpha ^{})^3`$ terms in the non-Abelian Born-Infeld action.

Conversely we do not find agreement with the results of , equation (1.2), where the component form of the $`𝒩=4`$ super Yang-Mills one-loop effective action is extracted in several pieces through supergraph techniques888It is perhaps worth pointing out that separate agreement (up to overall multiplicative constants) is found between our equations (4.55) and (4.62), and the corresponding equations in , (6.2) and (4.13) respectively. However, the multiplicative factors differ in each case, and so on assembling the final result, a discrepancy emerges..

## 5 The $`F^6`$ terms

### 5.1 Expanding moments

Employing the procedure outlined above to compute $`a_k`$ for $`k>5`$ will necessarily involve asymptotically expanding moments to higher than leading order. A prescription will therefore be required if this scheme is to be generalized. It is possible to appeal to a set of techniques similar to those already seen in the previous sections.

More specifically, to evaluate any moment to arbitrary order, one proceeds iteratively by using the following generalizations of the identities (3.31), (3.37) and (3.38):

$`0`$ $`={\displaystyle d\eta \frac{}{k_b}\left(X_{A_1}\mathrm{}X_{A_n}e^{t\mathrm{\Delta }}\right)}`$ (5.64)
$`0`$ $`={\displaystyle d\eta \frac{}{ϵ_\beta }\left(X_{A_1}\mathrm{}X_{A_n}e^{t\mathrm{\Delta }}\right)}`$ (5.65)
$`0`$ $`={\displaystyle d\eta \frac{}{\overline{ϵ}_{\dot{\beta }}}\left(X_{A_1}\mathrm{}X_{A_n}e^{t\mathrm{\Delta }}\right)};`$ (5.66)
or by differentiation with respect to $`t`$ as in (3.29):

$$\frac{d^mK_{A_1\mathrm{}A_n}(z,t)}{dt^m}=d\eta X_{A_1}\mathrm{}X_{A_n}\mathrm{\Delta }^me^{t\mathrm{\Delta }};$$
(5.67)
or by using a combination of the two as in (3.41). Of course, none of this actually computes the moment directly, but is used with the intention of expressing it in terms of other moments with the same number or more indices, which are generally easier to compute directly. Using this procedure, expanding a moment to some order will usually require knowledge of the expansion of several other moments to the same or lower order. Consequently at some point it will be necessary to evaluate at least one moment directly by expanding the exponential.

### 5.2 The moment hierarchy and $`a_6`$

Computing $`a_6`$ involves summing from $`n=1`$ to 6 on the right hand side of (4.48), which generates a hierarchy of moments, a partial list being given below (all but $`K(z,t)`$ required to subleading order):

$$K_{\alpha \beta \dot{\alpha }\dot{\beta }ab}(z,t)$$

$$K_{\alpha \beta \dot{\alpha }\dot{\beta }a}(z,t)K_{\alpha \beta \dot{\alpha }ab}(z,t)K_{\alpha \dot{\alpha }\dot{\beta }ab}(z,t)K_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t)$$

$$K_{\alpha \beta \dot{\alpha }a}(z,t)K_{\alpha \dot{\alpha }\dot{\beta }a}(z,t)K_{\alpha \beta ab}(z,t)K_{\alpha \dot{\alpha }ab}(z,t)K_{\dot{\alpha }\dot{\beta }ab}(z,t)K_{\alpha \beta \dot{\alpha }}(z,t)K_{\alpha \dot{\alpha }\dot{\beta }}(z,t)$$

$$K_{\alpha \beta a}(z,t)K_{\alpha \dot{\alpha }a}(z,t)K_{\dot{\alpha }\dot{\beta }a}(z,t)K_{\alpha ab}(z,t)K_{\dot{\alpha }ab}(z,t)K_{\alpha \beta }(z,t)K_{\alpha \dot{\alpha }}(z,t)K_{\dot{\alpha }\dot{\beta }}(z,t)$$

$$\mathrm{}$$

$$K_{ab}(z,t)K_{\alpha a}(z,t)K_{\dot{\alpha }a}(z,t)K_\alpha (z,t)K_{\dot{\alpha }}(z,t)$$

$$K(z,t)$$

Generally speaking, the following structure is present: from top to bottom the moments decrease in the number of indices, increase in difficulty of expansion, and the exponent of $`t`$ in the leading order term increases (each row contains moments with the same leading order). From left to right, the moments decrease in their difficulty of expansion, and clearly many are related by complex conjugation.

In the prescription outlined above, the expansion of any moment hinges on having computed the expansion of a number of those next to or above it in the hierarchy, so naturally one begins at the top and works down. To be more explicit, consider the following three examples which cover all important points.

$`K_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t)`$ turns out to be a rather important object in this hierarchy, in that all others can be expressed in terms of it. It’s power series to subleading order is not difficult to compute by directly expanding the exponential, and takes the simple form:

$$K_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t)=\frac{1}{16\pi ^2}\frac{4}{t^2}\epsilon _{\alpha \beta }\epsilon _{\dot{\alpha }\dot{\beta }}+𝒪(t^0),$$
(5.68)
where the $`t^1`$ term vanishes due to the equations of motion.

Computing $`K_{\alpha \beta \dot{\alpha }}(z,t)`$ involves the identity

$$0=d\eta \frac{}{\overline{ϵ}_{\dot{\gamma }}}\left(X_\alpha X_\beta \overline{X}_{\dot{\alpha }}\overline{X}_{\dot{\beta }}e^{t\mathrm{\Delta }}\right)$$
(5.69)
which, after the contraction of $`\dot{\beta }`$ and $`\dot{\gamma },`$ leads to

$$K_{\alpha \beta \dot{\alpha }}(z,t)=d\eta X_\alpha X_\beta \overline{X}_{\dot{\alpha }}\overline{X}_{\dot{\beta }}\underset{n=0}{\overset{\mathrm{}}{}}\frac{t^{n+1}}{(n+1)!}ad_\mathrm{\Delta }^n(\overline{W}^{\dot{\beta }})e^{t\mathrm{\Delta }}.$$
(5.70)
To leading or subleading order, the summation can be truncated at $`n=0`$ or 2 respectively. Alternatively, one may have chosen to start with the identity

$$0=d\eta \frac{}{k_b}\left(X_\alpha X_\beta \overline{X}_{\dot{\alpha }}X_ae^{t\mathrm{\Delta }}\right)$$
(5.71)
to obtain an expression for $`K_{\alpha \beta \dot{\alpha }}(z,t)`$, but this ends up being far more complicated. In general, if the moment in question has less than four spinor indices, it is more convenient to chose the identities (5.65) or (5.66) rather than (5.64). However, if there are four spinor indices there is no choice and (5.64) must be used.

Summing from $`n=0`$ to 2 in (5.70), one finds that to subleading order, $`K_{\alpha \beta \dot{\alpha }}(z,t)`$ can be expressed in terms of

$$t^3K_{\alpha \beta \dot{\alpha }\dot{\beta }ab}(z,t),t^2K_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t),tK_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t)\text{and}tK_{\alpha \beta \dot{\alpha }}(z,t),$$

where only $`K_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t)`$ is actually required to subleading order. Notice that $`K_{\alpha \beta \dot{\alpha }}(z,t)`$ is actually expressed in terms of itself (multiplied by $`t`$). This is a typical feature of this approach, and one can either rely on the fact that $`K_{\alpha \beta \dot{\alpha }}(z,t)`$ is already known to leading order, or bring it to the left hand side and premultiply both sides by an inverse operator (to appropriate order) to generate an new expression for $`K_{\alpha \beta \dot{\alpha }}(z,t)`$ in terms of only $`K_{\alpha \beta \dot{\alpha }\dot{\beta }ab}(z,t)`$ and $`K_{\alpha \beta \dot{\alpha }\dot{\beta }}(z,t)`$.

As a final example, consider expanding the moment $`K_{\alpha \beta }(z,t)`$ to subleading order. In this case it is far more convenient to differentiate with respect to $`t`$. The power series expansion of $`K_{\alpha \beta }(z,t)`$ will look like

$$K_{\alpha \beta }(z,t)=A+tB+𝒪(t^2),$$
(5.72)
and so,

$$\frac{dK_{\alpha \beta }(z,t)}{dt}=B+𝒪(t).$$
(5.73)
Therefore, after a little work, to order unity in $`t`$ (ie $`t^0`$)

$$\frac{dK_{\alpha \beta }(z,t)}{dt}=K_{\alpha \beta a}^a(z,t)\overline{W}^{\dot{\alpha }}K_{\alpha \beta \dot{\alpha }}(z,t).$$
(5.74)
So if both $`K_{\alpha \beta ab}(z,t)`$ and $`K_{\alpha \beta \dot{\alpha }}(z,t)`$, which are higher up the hierarchy, are known to subleading order (to order unity in $`t`$), $`K_{\alpha \beta }(z,t)`$ can immediately be evaluated to subleading order (ie identify $`B`$). Additionally this generates the leading order identity

$$K_{\alpha \beta a}^a(z,t)=\overline{W}^{\dot{\alpha }}K_{\alpha \beta \dot{\alpha }}(z,t),$$
(5.75)
which serves as a useful consistency check.

Having summed the right hand side of (4.48) from $`n=1`$ to 6 and expanded all surviving terms to order $`t^3`$, $`a_6`$ can be identified (and of course $`a_5`$ is also recovered in this process). The final result is given in Appendix B. Due to its size, and the fact that there are many equivalent ways of presenting the result, it is a significant challenge to find the most compact and symmetric looking expression. By extensive use of commutation relations, equations of motion and the cyclicity of the trace, the result is brought into a manifestly real form involving only seven distinct types of terms, each listed schematically below (where $`G_{ab}`$ was defined in (2.24)):

$$W^2\overline{W}^2𝒟_a^4,W^2\overline{W}^2G_{ab}𝒟_a^2,W^3\overline{W}^2𝒟_\alpha 𝒟_a^2,W^2\overline{W}^3\overline{𝒟}_{\dot{\alpha }}𝒟_a^2,$$

$$W^3\overline{W}^3𝒟_\alpha \overline{𝒟}_{\dot{\alpha }},W^4\overline{W}^2𝒟_\alpha ^2,W^2\overline{W}^4\overline{𝒟}_{\dot{\alpha }}^2.$$

Here, for example, $`W^2\overline{W}^2𝒟_a^4`$ is taken to mean terms which contain (some specific permutation and contraction of) two chiral superfield strengths, two antichiral superfield strengths and four spacetime covariant derivatives.

Again the corresponding contribution to the effective action can be obtained by inspection, but integrating by parts offers little in the way of simplification. Extraction of the component form of $`a_6`$ is now in principle straightforward, and contains $`F^6`$-type field strength terms.

## 6 Discussion

In this paper, the $`F^5`$ and $`F^6`$ terms in the one-loop low-energy effective action for $`𝒩=4`$ supersymmetric Yang-Mills theory have been computed in $`𝒩=1`$ superfield form. As noted in the Introduction, the $`F^5`$ terms are consistent with the result (1.3) obtained from superstring theory, providing evidence for a unique form for the non-Abelian Born-Infeld action at this order. The $`F^6`$ terms in the low-energy effective action have not previously been computed, and comparison with recent superstring results  remains to be carried out.

It is possible to perform a non-trivial test on the $`F^6`$ results. The form of the one-loop low-energy effective action is known in the Abelian case in the constant field strength approximation , and the coefficient of $`F^6`$ is zero. Inspection of $`a_6`$ reveals that in the Abelian limit, $`F^6`$ contributions for constant field strength can come only from terms of the form: $`W^4\overline{W}^2𝒟_\alpha ^2`$ and $`W^2\overline{W}^4\overline{𝒟}_{\dot{\alpha }}^2`$ (which encompass the last terms in $`a_6`$ as it is given). Explicitly, the result reduces to

$`{\displaystyle \frac{1}{2520}}(`$ $`(𝒟_\alpha W^\beta )(𝒟_\beta W^\alpha )W^2\overline{W}^2(5+5+5+33+19+19)`$
$`+(𝒟_\alpha W^\beta )(𝒟_\beta W^\alpha )W^2\overline{W}^2(6+8+866+22)`$
$`+(𝒟_\alpha W^\beta )(𝒟_\beta W^\alpha )W^2\overline{W}^2(9{\displaystyle \frac{5}{2}}{\displaystyle \frac{5}{2}}5)`$
$`+(𝒟_\alpha W^\beta )(𝒟_\gamma W^\alpha )W_\beta W^\gamma \overline{W}^2(14+14+14+42+28+28)`$
$`+14(𝒟_\alpha W^\beta )(𝒟_\gamma W^\alpha )W_\beta W^\gamma \overline{W}^2(1+1+2)+14(𝒟_\alpha W^\beta )(𝒟_\gamma W^\alpha )W_\beta W^\gamma \overline{W}^2)+c.c.`$
$`={\displaystyle \frac{1}{24}}(`$ $`(𝒟_\alpha W^\beta )(𝒟_\beta W^\alpha )W^2\overline{W}^2+2(𝒟_\alpha W^\beta )(𝒟_\gamma W^\alpha )W_\beta W^\gamma \overline{W}^2)+c.c.`$
The second term can be rearranged into the same form as the first, since in the Abelian case,

$`W_\alpha W_\beta `$ $`=`$ $`{\displaystyle \frac{1}{2}}\epsilon _{\alpha \beta }W^2`$
$`(𝒟_\alpha W^\beta )(𝒟_\gamma W^\alpha )W_\beta W^\gamma \overline{W}^2`$ $`=`$ $`{\displaystyle \frac{1}{2}}(𝒟_\alpha W^\beta )(𝒟_\beta W^\alpha )W^2\overline{W}^2,`$
and indeed one finds non-trivial cancellation, consistent with .

###### Acknowledgments.

I wish to thank I.N. McArthur for discussions, ideas, suggestions and explanations. I am also grateful to S.M. Kuzenko for suggestions and references.

## Appendix A Change of basis

In this appendix we briefly outline the transformation from the basis used in our result (4.63), to that of (1.3). For simplicity we introduce the following notation:

$`s_{0,0}`$ $`=\mathrm{Tr}(F^{ab}F_{bc}F^{cd}F_{de}F_a^e)`$ $`s_{0,1}`$ $`=\mathrm{Tr}(F^{ab}F_{bc}F^{cd}F_a^eF_{de})`$
$`s_{0,2}`$ $`=\mathrm{Tr}(F^{ab}F^{cd}F_{bc}F_a^eF_{de})`$ $`s_{0,3}`$ $`=\mathrm{Tr}(F^{ab}F^{cd}F_a^eF_{bc}F_{de})`$
$`s_{0,4}`$ $`=\mathrm{Tr}(F^{ab}F_{bc}F_a^cF^{de}F_{de})`$ $`s_{0,5}`$ $`=\mathrm{Tr}(F^{ab}F^{de}F_{bc}F_a^cF_{de})`$
$`s_{1,0}`$ $`=\mathrm{Tr}((^eF^{ab})(_eF_{ab})F^{cd}F_{cd})`$ $`s_{1,1}`$ $`=\mathrm{Tr}((^eF^{ab})(_eF^{cd})F_{ab}F_{cd})`$
$`s_{1,2}`$ $`=\mathrm{Tr}((^eF^{ab})(_eF^{cd})F_{cd}F_{ab})`$ $`s_{1,3}`$ $`=\mathrm{Tr}((^eF^{ab})(_eF_{bc})F^{cd}F_{da})`$
$`s_{1,4}`$ $`=\mathrm{Tr}((^eF^{ab})(_eF_{ca})F_{bd}F^{dc})`$ $`s_{1,5}`$ $`=\mathrm{Tr}((^eF^{ab})(_eF^{cd})F_{bc}F_{da})`$
$`s_{1,6}`$ $`=\mathrm{Tr}((^eF^{ab})F_{da}(_eF_{bc})F^{cd})`$ $`s_{1,7}`$ $`=\mathrm{Tr}((^eF^{ab})F^{cd}(_eF_{ab})F_{cd})`$
$`s_{2,0}`$ $`=\mathrm{Tr}((^eF^{ab})F^{cd}(_aF_{bc})F_{de})`$ $`s_{2,1}`$ $`=\mathrm{Tr}(F^{ab}(_aF^{cd})(^eF_{bc})F_{de})`$
$`s_{2,2}`$ $`=\mathrm{Tr}(F^{ab}(_aF^{bc})F^{de}(_eF_{cd})).`$
Using the equations of motion, the Bianchi identity, integration by parts and the cyclic property of the trace, one can establish the following identities:

$`s_{0,4}=`$ $`{\displaystyle \frac{3}{5}}s_{0,0}+s_{0,1}+s_{0,2}+{\displaystyle \frac{1}{5}}s_{0,3}`$ $`s_{0,5}=`$ $`{\displaystyle \frac{1}{5}}s_{0,0}s_{0,1}+s_{0,2}+{\displaystyle \frac{3}{5}}s_{0,3}`$
$`s_{1,1}=`$ $`{\displaystyle \frac{1}{2}}s_{1,7}+2\mathrm{i}s_{0,5}`$ $`s_{1,2}=`$ $`s_{1,0}4s_{2,2}+4\mathrm{i}s_{0,4}`$
$`s_{1,3}=`$ $`\mathrm{i}s_{0,0}\mathrm{i}s_{0,1}+\mathrm{i}s_{0,2}+3\mathrm{i}s_{0,3}`$ $`s_{1,5}=`$ $`s_{1,6}s_{1,4}2\mathrm{i}s_{0,1}+2\mathrm{i}s_{0,2}`$
$`{\displaystyle \frac{\mathrm{i}}{2}}s_{0,4}\mathrm{i}s_{0,5}2s_{1,4}s_{1,6}`$
$`+{\displaystyle \frac{3}{8}}s_{1,7}4s_{2,0}+4s_{2,1}s_{2,2}`$
In this notation, the bosonic component of $`\mathrm{Tr}(a_5)`$, equation (4.63), takes the form:

$$\frac{1}{30}\mathrm{Tr}(2(s_{1,3}+s_{1,4}+s_{1,5})\frac{1}{2}(s_{1,0}+s_{1,1}+s_{1,2})+2\mathrm{i}(s_{0,1}2s_{0,2}+s_{0,3})).$$
(A.76)
Using the above relations, elimination of $`s_{1,1},s_{1,2},s_{1,3}`$ and $`s_{1,5}`$, followed by the further elimination of $`s_{0,4}`$ and $`s_{0,5}`$, yields the following expression:

$$\frac{4}{15}\mathrm{Tr}(s_{2,1}s_{2,0}\frac{1}{2}s_{1,4}\frac{1}{2}s_{1,6}+\frac{1}{8}s_{1,7}\frac{\mathrm{i}}{10}s_{0,0}\frac{\mathrm{i}}{2}s_{0,1}\frac{\mathrm{i}}{2}s_{0,2}+\frac{7\mathrm{i}}{10}s_{0,3}).$$
(A.77)
which up to an overall multiplicative factor, is equation (1.3).

## Appendix B $`\mathrm{Tr}(a_6)`$

$`\begin{array}{c}\mathrm{Tr}\left(a_6\right)=\hfill \\ \frac{1}{2520}\mathrm{Tr}(28\left(𝒟^a𝒟_a𝒟^b𝒟_bW^\alpha \right)(W_\alpha \overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}+\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}W_\alpha \overline{W}_{\dot{\alpha }}W_\alpha \overline{W}^{\dot{\alpha }})\hfill \\ +62\left(𝒟^a𝒟^b𝒟_bW^\alpha \right)\left(\left(𝒟_aW_\alpha \right)\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}+\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\alpha \overline{W}^{\dot{\alpha }}\right)\hfill \\ +62\left(𝒟^a𝒟^b𝒟_bW^\alpha \right)\left(W_\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}\left(𝒟_aW_\alpha \right)\overline{W}_{\dot{\alpha }}W_\alpha \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +44\left(𝒟^a𝒟^b𝒟_bW^\alpha \right)\left(W_\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_aW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ +48\left(𝒟^b𝒟_bW^\alpha \right)\left(\left(𝒟^a𝒟_aW_\alpha \right)\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}+\left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\alpha \left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\alpha \overline{W}^{\dot{\alpha }}\right)\hfill \\ +22\left(𝒟^b𝒟_bW^\alpha \right)\left(W_\alpha \left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\alpha \overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_aW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ +50\left(𝒟^b𝒟_bW^\alpha \right)\left(\left(𝒟^aW_\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\alpha \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_aW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ +50\left(𝒟^b𝒟_bW^\alpha \right)\left(W_\alpha \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+\overline{W}_{\dot{\alpha }}\left(𝒟^a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_aW_\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟^aW_\alpha \right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +40\left(𝒟^b𝒟_bW^\alpha \right)\left(\left(𝒟^aW_\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}\left(𝒟_aW_\alpha \right)\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)W_\alpha \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +44\left(𝒟^a𝒟^bW^\alpha \right)\left(\left(𝒟_a𝒟_bW_\alpha \right)\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}+\left(𝒟_a𝒟_b\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\alpha \left(𝒟_a𝒟_b\overline{W}_{\dot{\alpha }}\right)W_\alpha \overline{W}^{\dot{\alpha }}\right)\hfill \\ +12\left(𝒟^a𝒟^bW^\alpha \right)\left(W_\alpha \left(𝒟_a𝒟_b\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\overline{W}_{\dot{\alpha }}\left(𝒟_a𝒟_b\overline{W}^{\dot{\alpha }}\right)W_\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_a𝒟_bW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ +52\left(𝒟^a𝒟^bW^\alpha \right)\left(\left(𝒟_aW_\alpha \right)\left(𝒟_b\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)W_\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_bW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ +52\left(𝒟^a𝒟^bW^\alpha \right)\left(W_\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_bW_\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_aW_\alpha \right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +64\left(𝒟^a𝒟^bW^\alpha \right)\left(\left(𝒟_aW_\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}\left(𝒟_bW_\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\alpha \left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +9\left(𝒟^aW^\alpha \right)\left(\left(𝒟^bW_\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\left(𝒟^b\overline{W}_{\dot{\alpha }}\right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_bW_\alpha \right)\left(𝒟^b\overline{W}_{\dot{\alpha }}\right)\left(𝒟_aW_\alpha \right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +26\left(𝒟^aW^\alpha \right)\left(\left(𝒟_aW_\alpha \right)\left(𝒟^b\overline{W}_{\dot{\alpha }}\right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟^b\overline{W}^{\dot{\alpha }}\right)\left(𝒟_bW_\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟^bW_\alpha \right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +84G^{ab}\left(𝒟_aW^\alpha \right)\left(\left(𝒟_bW_\alpha \right)\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}+\left(𝒟_b\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\alpha \left(𝒟_b\overline{W}_{\dot{\alpha }}\right)W_\alpha \overline{W}^{\dot{\alpha }}\right)\hfill \\ +84G^{ab}\left(𝒟_aW^\alpha \right)\left(W_\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\alpha }}\left(𝒟_bW_\alpha \right)\overline{W}_{\dot{\alpha }}W_\alpha \left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +60G^{ab}\left(𝒟_aW^\alpha \right)\left(W_\alpha \left(𝒟_b\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\overline{W}_{\dot{\alpha }}\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)W_\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_bW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ 4G^{ab}W^\alpha \left(\left(𝒟_aW_\alpha \right)\left(𝒟_b\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)W_\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_bW_\alpha \right)\overline{W}^{\dot{\alpha }}\right)\hfill \\ 4G^{ab}W^\alpha \left(\left(𝒟_aW_\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}\left(𝒟_bW_\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\alpha \left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +32G^{ab}W^\alpha \left(W_\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)+\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_bW_\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_aW_\alpha \right)\left(𝒟_b\overline{W}^{\dot{\alpha }}\right)\right)\hfill \\ +\left(𝒟^a𝒟_a𝒟_\alpha W^\beta \right)(16W^\alpha W_\beta \overline{W}^2+18\overline{W}_{\dot{\alpha }}W^\alpha W_\beta \overline{W}^{\dot{\alpha }}+16\overline{W}^2W^\alpha W_\beta \hfill \\ +50W^\alpha \overline{W}^2W_\beta 34W^\alpha \overline{W}_{\dot{\alpha }}W_\beta \overline{W}^{\dot{\alpha }}34\overline{W}_{\dot{\alpha }}W^\alpha \overline{W}^{\dot{\alpha }}W_\beta )\hfill \\ +\left(𝒟^a𝒟_\alpha W^\beta \right)(16\left(𝒟_aW^\alpha \right)W_\beta \overline{W}^2+24\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W^\alpha W_\beta \overline{W}^{\dot{\alpha }}+24\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W^\alpha W_\beta \hfill \\ +64\left(𝒟_aW^\alpha \right)\overline{W}^2W_\beta 40\left(𝒟_aW^\alpha \right)\overline{W}_{\dot{\alpha }}W_\beta \overline{W}^{\dot{\alpha }}48\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W^\alpha \overline{W}^{\dot{\alpha }}W_\beta )\hfill \\ +\left(𝒟^a𝒟_\alpha W^\beta \right)(8W^\alpha \left(𝒟_aW_\beta \right)\overline{W}^2+12\overline{W}_{\dot{\alpha }}\left(𝒟_aW^\alpha \right)W_\beta \overline{W}^{\dot{\alpha }}+16\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W^\alpha W_\beta \hfill \\ +36W^\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\beta 20W^\alpha \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\beta \overline{W}^{\dot{\alpha }}28\overline{W}_{\dot{\alpha }}\left(𝒟_aW^\alpha \right)\overline{W}^{\dot{\alpha }}W_\beta )\hfill \\ +\left(𝒟^a𝒟_\alpha W^\beta \right)(16W^\alpha W_\beta \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+12\overline{W}_{\dot{\alpha }}W^\alpha \left(𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}+8\overline{W}^2\left(𝒟_aW^\alpha \right)W_\beta \hfill \\ +36W^\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta 28W^\alpha \overline{W}_{\dot{\alpha }}\left(𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}20\overline{W}_{\dot{\alpha }}W^\alpha \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta )\hfill \\ +\left(𝒟^a𝒟_\alpha W^\beta \right)(24W^\alpha W_\beta \overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+24\overline{W}_{\dot{\alpha }}W^\alpha W_\beta \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+16\overline{W}^2W^\alpha \left(𝒟_aW_\beta \right)\hfill \\ +64W^\alpha \overline{W}^2\left(𝒟_aW_\beta \right)48W^\alpha \overline{W}_{\dot{\alpha }}W_\beta \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)40\overline{W}_{\dot{\alpha }}W^\alpha \overline{W}^{\dot{\alpha }}\left(𝒟_aW_\beta \right))\hfill \\ +\left(𝒟_\alpha W^\beta \right)(10\left(𝒟^a𝒟_aW^\alpha \right)W_\beta \overline{W}^2+16\left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)W^\alpha W_\beta \overline{W}^{\dot{\alpha }}+18\left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W^\alpha W_\beta \hfill \\ +44\left(𝒟^a𝒟_aW^\alpha \right)\overline{W}^2W_\beta 26\left(𝒟^a𝒟_aW^\alpha \right)\overline{W}_{\dot{\alpha }}W_\beta \overline{W}^{\dot{\alpha }}34\left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)W^\alpha \overline{W}^{\dot{\alpha }}W_\beta )\hfill \end{array}`$
$`\begin{array}{c}+\left(𝒟_\alpha W^\beta \right)(10W^\alpha \left(𝒟^a𝒟_aW_\beta \right)\overline{W}^2+10\overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_aW^\alpha \right)W_\beta \overline{W}^{\dot{\alpha }}+16\overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)W^\alpha W_\beta \hfill \\ +36W^\alpha \left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\beta 20W^\alpha \left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\beta \overline{W}^{\dot{\alpha }}26\overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_aW^\alpha \right)\overline{W}^{\dot{\alpha }}W_\beta )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(16W^\alpha W_\beta \left(𝒟^a𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+10\overline{W}_{\dot{\alpha }}W^\alpha \left(𝒟^a𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}+10\overline{W}^2\left(𝒟^a𝒟_aW^\alpha \right)W_\beta \hfill \\ +36W^\alpha \overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta 26W^\alpha \overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}20\overline{W}_{\dot{\alpha }}W^\alpha \left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(18W^\alpha W_\beta \overline{W}_{\dot{\alpha }}\left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)+16\overline{W}_{\dot{\alpha }}W^\alpha W_\beta \left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)+10\overline{W}^2W^\alpha \left(𝒟^a𝒟_aW_\beta \right)\hfill \\ +44W^\alpha \overline{W}^2\left(𝒟^a𝒟_aW_\beta \right)34W^\alpha \overline{W}_{\dot{\alpha }}W_\beta \left(𝒟^a𝒟_a\overline{W}^{\dot{\alpha }}\right)26\overline{W}_{\dot{\alpha }}W^\alpha \overline{W}^{\dot{\alpha }}\left(𝒟^a𝒟_aW_\beta \right))\hfill \\ +\left(𝒟_\alpha W^\beta \right)(4\left(𝒟^aW^\alpha \right)\left(𝒟_aW_\beta \right)\overline{W}^2+16\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_aW^\alpha \right)W_\beta \overline{W}^{\dot{\alpha }}+24\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W^\alpha W_\beta \hfill \\ +44\left(𝒟^aW^\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W_\beta 20\left(𝒟^aW^\alpha \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)W_\beta \overline{W}^{\dot{\alpha }}40\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_aW^\alpha \right)\overline{W}^{\dot{\alpha }}W_\beta )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(8\left(𝒟^aW^\alpha \right)W_\beta \left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+8\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)W^\alpha \left(𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}+12\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}\left(𝒟_aW^\alpha \right)W_\beta \hfill \\ +28\left(𝒟^aW^\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta 16\left(𝒟^aW^\alpha \right)\overline{W}_{\dot{\alpha }}\left(𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}20\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)W^\alpha \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(12\left(𝒟^aW^\alpha \right)W_\beta \overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+16\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)W^\alpha W_\beta \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+12\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}W^\alpha \left(𝒟_aW_\beta \right)\hfill \\ +40\left(𝒟^aW^\alpha \right)\overline{W}^2\left(𝒟_aW_\beta \right)28\left(𝒟^aW^\alpha \right)\overline{W}_{\dot{\alpha }}W_\beta \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)28\left(𝒟^a\overline{W}_{\dot{\alpha }}\right)W^\alpha \overline{W}^{\dot{\alpha }}\left(𝒟_aW_\beta \right))\hfill \\ +\left(𝒟_\alpha W^\beta \right)(16W^\alpha \left(𝒟^aW_\beta \right)\left(𝒟_a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}+4\overline{W}_{\dot{\alpha }}\left(𝒟^aW^\alpha \right)\left(𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}+16\overline{W}_{\dot{\alpha }}\left(𝒟^a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_aW^\alpha \right)W_\beta \hfill \\ +36W^\alpha \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta 20W^\alpha \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_aW_\beta \right)\overline{W}^{\dot{\alpha }}20\overline{W}_{\dot{\alpha }}\left(𝒟^aW^\alpha \right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)W_\beta )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(12W^\alpha \left(𝒟^aW_\beta \right)\overline{W}_{\dot{\alpha }}\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+8\overline{W}_{\dot{\alpha }}\left(𝒟^aW^\alpha \right)W_\beta \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+8\overline{W}_{\dot{\alpha }}\left(𝒟^a\overline{W}^{\dot{\alpha }}\right)W^\alpha \left(𝒟_aW_\beta \right)\hfill \\ +28W^\alpha \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\overline{W}^{\dot{\alpha }}\left(𝒟_aW_\beta \right)20W^\alpha \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)W_\beta \left(𝒟_a\overline{W}^{\dot{\alpha }}\right)16\overline{W}_{\dot{\alpha }}\left(𝒟^aW^\alpha \right)\overline{W}^{\dot{\alpha }}\left(𝒟_aW_\beta \right))\hfill \\ +\left(𝒟_\alpha W^\beta \right)(24W^\alpha W_\beta \left(𝒟^a\overline{W}_{\dot{\alpha }}\right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+16\overline{W}_{\dot{\alpha }}W^\alpha \left(𝒟^aW_\beta \right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)+4\overline{W}^2\left(𝒟^aW^\alpha \right)\left(𝒟_aW_\beta \right)\hfill \\ +44W^\alpha \overline{W}_{\dot{\alpha }}\left(𝒟^a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_aW_\beta \right)40W^\alpha \overline{W}_{\dot{\alpha }}\left(𝒟^aW_\beta \right)\left(𝒟_a\overline{W}^{\dot{\alpha }}\right)20\overline{W}_{\dot{\alpha }}W^\alpha \left(𝒟^a\overline{W}^{\dot{\alpha }}\right)\left(𝒟_aW_\beta \right))\hfill \\ +14\left(𝒟_\alpha W^\beta \right)\left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)\left(W^\alpha \overline{W}^{\dot{\alpha }}\overline{W}^{\dot{\beta }}W_\beta +\overline{W}^{\dot{\alpha }}W^\alpha W_\beta \overline{W}^{\dot{\beta }}W^\alpha \overline{W}^{\dot{\alpha }}W_\beta \overline{W}^{\dot{\beta }}\overline{W}^{\dot{\alpha }}W^\alpha \overline{W}^{\dot{\beta }}W_\beta \right)\hfill \\ +14\left(𝒟_\alpha W^\beta \right)(W^\alpha \left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)\overline{W}^{\dot{\alpha }}\overline{W}^{\dot{\beta }}W_\beta +\overline{W}^{\dot{\alpha }}\left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)W^\alpha \overline{W}^{\dot{\beta }}W_\beta \hfill \\ W^\alpha \left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)\overline{W}^{\dot{\alpha }}W_\beta \overline{W}^{\dot{\beta }}\overline{W}^{\dot{\alpha }}\left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)\overline{W}^{\dot{\beta }}W^\alpha W_\beta )\hfill \\ +14\left(𝒟_\alpha W^\beta \right)\left(\overline{W}^{\dot{\alpha }}W^\alpha \left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)\overline{W}^{\dot{\beta }}W_\beta W^\alpha \overline{W}^{\dot{\alpha }}\left(\overline{𝒟}_{\dot{\alpha }}\overline{W}_{\dot{\beta }}\right)\overline{W}^{\dot{\beta }}W_\beta \right)\hfill \\ +7\left(\overline{𝒟}_{\dot{\alpha }}𝒟_\alpha W^\beta \right)W^\alpha (2\overline{W}_{\dot{\beta }}\overline{W}^{\dot{\alpha }}W_\beta \overline{W}^{\dot{\beta }}+\overline{W}_{\dot{\beta }}\overline{W}^{\dot{\alpha }}\overline{W}^{\dot{\beta }}W_\beta +W_\beta \overline{W}^{\dot{\alpha }}\overline{W}^2\hfill \\ 2\overline{W}^{\dot{\alpha }}\overline{W}_{\dot{\beta }}W_\beta \overline{W}^{\dot{\beta }}2\overline{W}^{\dot{\alpha }}\overline{W}^2W_\beta \overline{W}_{\dot{\beta }}W_\beta \overline{W}_{\dot{\alpha }}\overline{W}^{\dot{\beta }})\hfill \\ +7\left(\overline{𝒟}_{\dot{\alpha }}𝒟_\alpha W^\beta \right)\overline{W}^{\dot{\alpha }}\left(6W^\alpha \overline{W}_{\dot{\beta }}W_\beta \overline{W}^{\dot{\beta }}+\overline{W}^2W^\alpha W_\beta 3W^\alpha W_\beta \overline{W}^23\overline{W}_{\dot{\beta }}W^\alpha W_\beta \overline{W}^{\dot{\beta }}2W^\alpha \overline{W}^2W_\beta \right)\hfill \\ +7\left(\overline{𝒟}_{\dot{\alpha }}𝒟_\alpha W^\beta \right)\overline{W}_{\dot{\beta }}\left(2\overline{W}^{\dot{\alpha }}W^\alpha W_\beta \overline{W}^{\dot{\beta }}+W^\alpha W_\beta \overline{W}^{\dot{\alpha }}\overline{W}^{\dot{\beta }}+\overline{W}^{\dot{\alpha }}W^\alpha \overline{W}^{\dot{\beta }}W_\beta 3W^\alpha \overline{W}^{\dot{\alpha }}W_\beta \overline{W}^{\dot{\beta }}\overline{W}^{\dot{\alpha }}\overline{W}^{\dot{\beta }}W^\alpha W_\beta \right)\hfill \\ +\left(𝒟_\alpha W^\beta \right)\left(𝒟_\beta W^\alpha \right)(5W^2\overline{W}^2+5\overline{W}_{\dot{\alpha }}W^2\overline{W}^{\dot{\alpha }}+5\overline{W}^2W^2\hfill \\ +33W^\gamma \overline{W}^2W_\gamma 19W^\gamma \overline{W}_{\dot{\alpha }}W_\gamma \overline{W}^{\dot{\alpha }}19\overline{W}_{\dot{\alpha }}W^\gamma \overline{W}^{\dot{\alpha }}W_\gamma )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(6W^\gamma \left(𝒟_\beta W^\alpha \right)\overline{W}_{\dot{\alpha }}W_\gamma \overline{W}^{\dot{\alpha }}+8\overline{W}_{\dot{\alpha }}\left(𝒟_\beta W^\alpha \right)W^2\overline{W}^{\dot{\alpha }}+8\overline{W}_{\dot{\alpha }}\left(𝒟_\beta W^\alpha \right)\overline{W}^{\dot{\alpha }}W^2\hfill \\ 6W^\gamma \left(𝒟_\beta W^\alpha \right)W_\gamma \overline{W}^26W^\gamma \left(𝒟_\beta W^\alpha \right)\overline{W}^2W_\gamma 22\overline{W}_{\dot{\alpha }}\left(𝒟_\beta W^\alpha \right)W^\gamma \overline{W}^{\dot{\alpha }}W_\gamma )\hfill \\ +\left(𝒟_\alpha W^\beta \right)(9W^2\left(𝒟_\beta W^\alpha \right)\overline{W}^2+\frac{5}{2}W^\gamma \overline{W}_{\dot{\alpha }}\left(𝒟_\beta W^\alpha \right)W_\gamma \overline{W}^{\dot{\alpha }}\hfill \\ +\frac{5}{2}\overline{W}_{\dot{\alpha }}W^\gamma \left(𝒟_\beta W^\alpha \right)\overline{W}^{\dot{\alpha }}W_\gamma 5W^\gamma \overline{W}_{\dot{\alpha }}\left(𝒟_\beta W^\alpha \right)\overline{W}^{\dot{\alpha }}W_\gamma )\hfill \\ +\left(𝒟_\alpha W^\beta \right)\left(𝒟_\gamma W^\alpha \right)(14W_\beta W^\gamma \overline{W}^2+14\overline{W}_{\dot{\alpha }}W_\beta W^\gamma \overline{W}^{\dot{\alpha }}+14\overline{W}^2W_\beta W^\gamma \hfill \\ +42W_\beta \overline{W}^2W^\gamma 28W_\beta \overline{W}_{\dot{\alpha }}W^\gamma \overline{W}^{\dot{\alpha }}28\overline{W}_{\dot{\alpha }}W_\beta \overline{W}^{\dot{\alpha }}W^\gamma )\hfill \\ +14\left(𝒟_\alpha W^\beta \right)\overline{W}_{\dot{\alpha }}\left(𝒟_\gamma W^\alpha \right)(W_\beta W^\gamma \overline{W}^{\dot{\alpha }}+\overline{W}^{\dot{\alpha }}W_\beta W^\gamma 2W_\beta \overline{W}^{\dot{\alpha }}W^\gamma )+14\left(𝒟_\alpha W^\beta \right)\overline{W}^2\left(𝒟_\gamma W^\alpha \right)W_\beta W^\gamma )+c.c.\hfill \end{array}`$