Absence of $D^4 R^4$ in M-Theory From ABJM
Damon J. Binder, Shai M. Chester, Silviu S. Pufu
TL;DR
The work establishes the absence of the protected $D^4R^4$ interaction in the 11d M-theory S-matrix by connecting ABJM ${ m N}=8$ SCFT data to the flat-space limit of the four-graviton amplitude. It uses a two-pronged approach: (i) relate the fourth mass derivatives of the ${S^3}$ free energy, computed exactly via localization, to integrated four-point functions of the stress-tensor multiplet, and (ii) fix Mellin amplitudes for $raket{SSSS}$, $raket{PPPP}$, and $raket{SSPP}$ through supersymmetry and Ward identities, then translate to the ${11d}$ S-matrix. Localization data fixes $B_4^4$ (reproducing the known ${R^4}$ coefficient) and, crucially, forces $B_6^6$ and $B_4^6$ to vanish, implying $f_{D^4R^4}(s,t)=0$. This provides a direct CFT-based proof of the absence of the ${D^4R^4}$ term and highlights how protected CFT data can determine parts of the quantum gravity S-matrix with potential extensions to higher-derivative terms and other dimensions.
Abstract
Supersymmetry allows a $D^4 R^4$ interaction in M-theory, but such an interaction is inconsistent with string theory dualities and so is known to be absent. We provide a novel proof of the absence of the $D^4 R^4$ M-theory interaction by calculating 4-point scattering amplitudes of 11d supergravitons from ABJM theory. This calculation extends a previous calculation performed to the order corresponding to the $R^4$ interaction. The new ingredient in this extension is the interpretation of the fourth derivative of the mass deformed $S^3$ partition function of ABJM theory, which can be determined using supersymmetric localization, as a constraint on the Mellin amplitude associated with the stress tensor multiplet 4-point function. As part of this computation, we relate the 4-point function of the superconformal primary of the stress tensor multiplet of any 3d ${\cal N} = 8$ SCFT to some of the 4-point functions of its superconformal descendants. We also provide a concise formula for a general integrated 4-point function on $S^d$ for any $d$.
