REVIEW
One loop in eleven dimensions
High Energy Physics - Theory · Submitted 25 Jun 1997 · 19 references
Pith's verdict: The one-loop computation is solid and reproduces the string R^4 sector exactly; the soft spot is the unproved non-renormalization premise, which the authors flag themselves.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A one-loop calculation in eleven-dimensional supergravity, compactified on tori, reproduces the full torus dependence of the four-graviton $t_8t_8R^4$ terms in the ten-, nine- and eight-dimensional type II string effective actions.
The reading
What carries the argument
The load-bearing mechanism is Poisson resummation of the loop momentum sum into a winding sum. In equation (9) the amplitude is a sum over Kaluza-Klein integers $l_I$ weighted by $e^{-tau G^{(n)}_{IJ} l^I l^J}$; inverting the torus metric turns it into equation (10), a sum over winding integers $hat l_I$ weighted by $e^{-tau G^{(n)}_{IJ} hat l^I hat l^J}$, where the circulating particle's world-line wraps the compact directions. That rewriting is what converts a supergravity loop into a sum over Euclidean D-particle world-lines: the massless winding reproduces perturbative string one-loop effects, the massive windings reproduce D-instantons, and the single-winding term on a circle reproduces the tree-level string term. The second piece of machinery is the modular function $f$, the Maass waveform of eigenvalue $3/4$ satisfying $Omega_2^2 partial partial-bar f = (3/4) f$, which packages the tree-level, one-loop and instanton series into one object and is reproduced term by term by the winding sum.
Extended reading notes
Core claim
The central claim is that the one-loop four-graviton amplitude of eleven-dimensional supergravity, reduced on $T^n$ and Poisson-resummed into a sum over windings $G^{(n)}_{IJ}$-weighted integers, reproduces the complete dependence of the $t_8t_8R^4$ term on the toroidal moduli. On a single circle, the nonzero-winding sum gives the tree-level type IIA contribution $1/3$ times $3.14159...$ times $1/R_{11}^3$; on a two-torus, the nonzero-winding sum gives exactly the modular-invariant function $f(Omega,bar Omega)$ that is an eigenfunction of the Laplacian with eigenvalue $3/4$, whose large-$Omega_2$ expansion contains the type IIB tree-level term, the one-loop term and the whole D-instanton series. On a three-torus, the one-loop amplitude supplies the $Sl(3,Z)$-symmetric Kaluza-Klein piece, while the wrapped-membrane piece is fixed separately by U-duality and one-loop string theory. The ultraviolet divergence sits entirely in the zero-winding term, a constant $C$ times the volume, and the authors determine $C = 1/3$ times $3.14159...$ by matching the coefficients of the two power-behaved terms under T-duality in nine dimensions.
Load-bearing premise
The argument requires that the one-loop coefficient of the $t_8t_8R^4$ term receives no corrections from higher loops, so that a computation in a non-renormalizable theory can be compared directly to the exact string effective action; the paper asserts this on the grounds of an eleven-dimensional non-renormalization theorem tied to the anomaly-fixed eleven-form, but does not prove the theorem here.
Editorial extensions
If this is right
- The complete $t_8t_8R^4$ term of ten-dimensional type IIB string theory follows from the one-loop eleven-dimensional amplitude in the zero-volume limit $V_2 to 0$, including its infinite series of D-instanton contributions.
- The tree-level $1/3$ times $3.14159...$-weighted $1/R_{11}^3$ term of type IIA string theory is recovered from a single winding of the supergraviton world-line around the eleventh dimension, not from a string-tree computation.
- The logarithmic divergence of the eight-dimensional one-loop amplitude is regularized in a way fixed by modular invariance, producing the combination $-ln(U_2 |eta(U)|^4) - ln(T_2)$ in the moduli-dependent piece.
- The value of the divergent constant is fixed to $C = 1/3$ times $3.14159...$, which the authors note is also the value required by eleven-dimensional supersymmetry through the $C^{(3)}$ term, and which they pose as a target for Matrix theory to reproduce.
Reading between the lines
- If the one-loop coefficient really is protected, then the eleven-dimensional amplitude is a rare example of a divergent quantity in a non-renormalizable theory whose finite part is physically meaningful; that would make similar protected couplings in lower-dimensional compactifications a practical testing ground for any candidate microscopic theory.
- The fact that the same constant is fixed independently by T-duality and by the supersymmetry relation to the eleven-form suggests a broader pattern: anomaly-fixed couplings may act as normalizations for whole towers of higher-derivative terms, which would let one read off the coefficient of a term without computing the loop at all.
- The paper's split on $T^3$ — Kaluza-Klein effects from the one-loop amplitude, wrapped-membrane effects fixed by duality — suggests that on $T^4$ and beyond, where the U-duality group no longer factors, the one-loop result alone will underdetermine the answer and genuinely new input about wrapped branes will be needed.
- A concrete check that would sharpen the claim: compute the zero-winding constant directly in a microscopic formulation of eleven-dimensional dynamics and see whether it lands on $1/3$ times $3.14159...$ rather than on some other finite value.
Original abstract
Four-graviton scattering in eleven-dimensional supergravity is considered at one loop compactified on one, two and three-dimensional tori. The dependence on the toroidal geometry determines the known perturbative and non-perturbative terms in the corresponding processes in type II superstring theories in ten, nine and eight dimensions. The ultra-violet divergence must be regularized so that it has a precisely determined finite value that is consistent both with T-duality in nine dimensions and with eleven-dimensional supersymmetry.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Four-graviton scattering in eleven-dimensional supergravity is considered at one loop compactified on one, two and three-dimensional tori. The dependence on the toroidal geometry determines the known perturbative and non-perturbative terms in the corresponding processes in type II superstring theories in ten, nine and eight dimensions. The ultra-violet divergence must be regularized so that it has a precisely determined finite value that is consistent both with T-duality in nine dimensions and with eleven-dimensional supersymmetry.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Four-graviton scattering in eleven-dimensional supergravity is considered at one loop compactified on one, two and three-dimensional tori. | contribution 0.94 | 0.77 | 0.06 | asserted 0.88 |
| s1 | The dependence on the toroidal geometry determines the known perturbative and non-perturbative terms in the corresponding processes in type II superstring theories in ten, nine and eight dimensions. | interpretation 0.55 | 0.47 | 0.57 | asserted 1.00 |
| s2 | The ultra-violet divergence must be regularized so that it has a precisely determined finite value that is consistent both with T-duality in nine dimensions and with eleven-dimensional supersymmetry. | method 0.68 | 0.51 | 0.21 | asserted 0.97 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
99 arXiv papers cite this in 236 sentences
Papers citing it · 164 sentences without a confident label
Builds on it 2 papers
-
The explicit $^(D)_(0,0)$ coefficients in dimensions $D≥6$ will be obtained in terms of Eisenstein series that satisfy Laplace eigenvalue equations on moduli space space, building on the work of [ref] .
Automorphic properties of low energy string amplitudes in various dimensions · Introduction · 0.99
-
This was achieved by extending the original computation of Green-Gutperle-Vanhove [ref] for toroidal compactifications of M-theory to include also light particle-like towers of transverse $M2$- and $M5$-branes wrapped on appropriate cycles.
Emergence of $R^4$-terms in M-theory · Conclusions · 1.00
Uses its method or tool 9 papers
-
We compute $11$D amplitudes in the superparticle formalism compactified on a $2$-torus [ref] .
Type IIB at eight derivatives: insights from Superstrings, Superfields and Superparticles · 11D superparticle amplitudes · 0.89
-
As explained in [ref] , the invariance under the discrete subgroup $SL(2,)$ can be restored by summing over images, using similar techniques as the ones used for $R^4$ couplings in toroidal compactifications [ref] .
D-instantons and twistors · S-duality and A-type D-instanton corrections · 0.86
-
Thus, using the worldline formalism [ref] , the amplitude reads as
The Double EFT Expansion in Quantum Gravity · Decompactification limits and the EFT breaking scale · 1.00
Uses its data or values 6 papers
-
First recall the analytic terms in the derivative expansion of one-loop supergravity ($L=1$) compactified on $^1$ up to the order of interest in this paper are [ref] A_L=1^an = iκ_11^4(2π)^11 l_11^3 4π^4 ^4 [ 2ζ(3)R_11^3+4ζ(2) +4ζ(4)3 R_11σ_24^2 + 4ζ(6)27 R_11^3 σ_34^3 +64ζ(8)2835 R_11^5 σ_2^24^4 +16ζ(10)1125 R_11^7 σ_2σ_34^5 +64ζ(12)31185·691 R_11^9 (675σ_2^3+872σ_3^2)4^6 ⋯ ] .
Modular properties of two-loop maximal supergravity and connections with string theory · Analytic terms · 0.85
-
At low orders, however, one can distinguish between tree and loop terms by the different power of $ℓ_11$ that multiply them.] terms $_R$, $_R^4$, and $_D^6R^4$ are protected, and so can be computed from Type IIA string theory by compactifying on a circle [ref] [$_D^4R^4$ can also be computed in this way, but it vanishes and so we did not write it.] to get SGtoR4 𝒜_R^4/𝒜_R=stu/3·2^7 , 𝒜_D^6R^4/𝒜_R=(stu)^2/15·2^15 .
6d (2,0) and M-theory at 1-loop · Introduction · 0.82
-
Its dependence with respect to the moduli space parametrised by ${𝒱_2, τ}$ has been already computed in [ref] , and it is captured by the following non-trivial function (see also [ref] )
On the Species Scale, Modular Invariance and the Gravitational EFT expansion · M-theory on $T^2$ · 0.84
Compares with it 7 papers
-
We compare the results of conventional ten-dimensional ($10$D) superstring amplitudes with eleven-dimensional ($11$D) superparticle amplitudes compactified on a two-torus [ref] , and superspace approaches to Type IIB $=2$ supergravity [ref] .
Type IIB at eight derivatives: insights from Superstrings, Superfields and Superparticles · Introduction and summary · 0.99
-
However, let us remind that in GGV [ref] such a term had somehow to be added by hand, while here we can reproduce it by integrating out a physical quantity and imposing the desired modular behavior.
Emergence of $R^4$-terms in M-theory · TEXT-term in eight dimensions · 0.93
-
For $R|R$, we precisely match the 1-loop correction to 11d supergravity [ref] , as was done for $𝒩=4$ SYM and 10d supergravity in [ref] .
6d (2,0) and M-theory at 1-loop · Introduction · 0.97
Cites it as support 1 paper
-
Evidence for this comes from the protected $R^4$ corrections to the supergravity action [ref] .
D-branes · SL(2, $ℤ$) duality of type IIB · 1.00
Cites it as background 34 papers
-
Many D-instanton induced terms were predicted using S-duality invariances of various compactified string theories [ref] , but except for the early attempts [ref] , the direct systematic computation of these amplitudes from first principles has not been carried out.
Normalization of Type IIB D-instanton Amplitudes · Introduction · 0.97
-
In this section we will provide some background for the calculation of the $R^4$-term à la GGV [ref] .
Emergence of $R^4$-terms in M-theory · One-loop TEXT-terms in perturbative string theory · 0.93
-
Although the coefficients, $^(D)_(p,q)$, have not been determined in generality, a significant amount of information has accumulated for the first three terms for the cases with $D≥6$ (duality groups $E_d+1$ with $d ≤4$) [ref] , and there are various conjectures concerning the coefficient of the $^4$ interaction, $^(D)_(0,0)$, for higher-rank groups [ref] .
Eisenstein series for higher-rank groups and string theory amplitudes · Introduction · 0.80
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.