A simple approach to counterterms in N=8 supergravity
Henriette Elvang, Daniel Z. Freedman, Michael Kiermaier
TL;DR
The paper presents a practical, on-shell matrix-element method to test the supersymmetrization of local operators in ${ m N}=8$ supergravity, recasting potential counterterms as questions about locality and SUSY Ward identities of $n$-point matrix elements. By separating into MHV and NMHV sectors and enforcing permutation symmetry, the authors rule out many candidates (e.g., $R^n$, $D^2R^n$, $D^4R^n$, $D^6R^n$ for $n>4$ at MHV; $R^n$ and $D^2R^n$ at NMHV) and explicitly construct viable structures such as the NMHV $D^4R^6$ counterterm, as well as MHV candidates like $D^{8}R^4$ under certain loop-order restrictions. They also develop a gauge-theory–based construction for gravity NMHV operators and propose bounds that would imply finiteness for loop orders $L<7$, while outlining extensions to higher N$^K$MHV levels and potential connections to $E_{7,7}$ symmetry. Overall, the work provides a systematic, perspective-preserving framework for identifying which supersymmetric counterterms can exist in ${ m N}=8$ supergravity and how they relate to loop order and point-number.
Abstract
We present a simple systematic method to study candidate counterterms in N=8 supergravity. Complicated details of the counterterm operators are avoided because we work with the on-shell matrix elements they produce. All n-point matrix elements of an independent SUSY invariant operator of the form D^{2k} R^n +... must be local and satisfy SUSY Ward identities. These are strong constraints, and we test directly whether or not matrix elements with these properties can be constructed. If not, then the operator does not have a supersymmetrization, and it is excluded as a potential counterterm. For n>4, we find that R^n, D^2 R^n, D^4 R^n, and D^6 R^n are excluded as counterterms of MHV amplitudes, while only R^n and D^2 R^n are excluded at the NMHV level. As a consequence, for loop order L<7, there are no independent D^{2k}R^n counterterms with n>4. If an operator is not ruled out, our method constructs an explicit superamplitude for its matrix elements. This is done for the 7-loop D^4 R^6 operator at the NMHV level and in other cases. We also initiate the study of counterterms without leading pure-graviton matrix elements, which can occur beyond the MHV level. The landscape of excluded/allowed candidate counterterms is summarized in a colorful chart.
