Pith. Sign in

REVIEW

Two loops in eleven dimensions

High Energy Physics - Theory · Submitted 6 Oct 1999 · 23 references

Pith's verdict: A real two-loop computation with a genuinely new moduli-space technique; the headline coefficient is solid, but two of its constants are fixed by consistency rather than computed.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9910055 (version 3)
Pith IDT2J7TZQA, Pith's permanent record of this paper and its review
CitationHwang-h. Kwon, Michael B. Green, Pierre Vanhove (DAMTP, UK). "Two loops in eleven dimensions." arXiv:hep-th/9910055 (1999). https://pith.science/paper/T2J7TZQA
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

The two-loop four-graviton amplitude of eleven-dimensional supergravity on a two-torus fixes the exact coefficient of the $D^4R^4$ term in the effective action, matching known string terms and predicting two-loop and D-instanton corrections

The reading

The paper asks what the two-loop Feynman diagrams of eleven-dimensional supergravity contribute to the low-energy effective action when two dimensions are curled into a torus. The authors reduce the leading momentum-dependent part of the four-graviton amplitude to scalar $��^3$ loop integrals and then reorganize the Schwinger parameters as the volume and complex structure of a second torus. That step exposes a hidden $SL(2,��)$ symmetry and turns ultraviolet divergences into boundary effects that can be regularized in a way compatible with string dualities. The payoff is an exact coefficient for the $D^4R^4$ interaction, Eq. (5.1), whose expansion reproduces known tree-level and one-loop string terms, predicts a two-loop string coefficient and an infinite family of D-instanton terms, and forces the leading two-loop divergence in $D^4R^4$ to cancel.

What carries the argument

The load-bearing device is a change of variables from the three Schwinger parameters of the two-loop integral to the volume $V$ and complex structure $��$ of an auxiliary torus $��T^2$, with $��_1=��/(��+��)$, $��_2=��{��}/(��+��)$ and $V=l_{11}^3��{��}$. This turns the integrand into a sum over maps of $��T^2$ into the compactification torus $T^2$ and exposes an $SL(2,��)$ action. The integration runs over the fundamental domain of $��_0(2)$, which is three copies of the standard fundamental domain. Boundary regions classify the divergences: $V����$ gives the primitive $��^8$ divergence, $��_2����$ and its images give the one-loop subdivergences, and non-degenerate orbits give the finite modular-invariant piece. Poisson resummation from Kaluza-Klein modes to winding numbers is what makes the orbit classification possible.

Extended reading notes

Core claim

The central result is Eq. (5.1), an exact expression for the renormalized two-loop contribution to the $D^4R^4$ term of the effective action. The $��$-dependent part is a non-holomorphic Eisenstein series $E_{5/2}(��,��)$; its large-$��_2$ expansion contains a tree-level term, a two-loop term and an infinite series of exponentially suppressed D-instanton terms. The $��$-independent piece matches the one-loop supergravity calculation, and the whole structure is consistent with type IIA/IIB equality through two loops. The paper also argues that the leading two-loop divergence cannot contribute to $D^4R^4$, so this interaction vanishes in the decompactification limit; the next term, $D^6R^4$, does not organize modularly and is left unresolved.

Load-bearing premise

The load-bearing premise is that the type IIA and type IIB four-graviton amplitudes are equal through two loops; the paper argues this by counting supermoduli contractions rather than by a completed string calculation, and that equality fixes the one-loop counterterm and forces the two-loop constant to cancel the leading divergence.

Editorial extensions

If this is right

  • Eq. (5.1) gives a definite coefficient for the $s^2R^4$ term at two loops in type IIA and type IIB string theory, which a direct two-loop string calculation can check.
  • The Eisenstein series $E_{5/2}$ predicts an infinite set of D-instanton corrections to $D^4R^4$ with fixed coefficients.
  • The $D^4R^4$ interaction is absent in the decompactified eleven-dimensional limit because the leading two-loop divergence is cancelled by the two-loop counterterm.
  • The $D^6R^4$ term is not captured by the same modular organization, which suggests that higher-loop supergravity effects contribute there.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the predicted two-loop string coefficient is confirmed, it would show that a calculation in a non-renormalizable eleven-dimensional theory can capture a genuine two-loop string effect once the ultraviolet sensitivity is handled by duality.
  • The same auxiliary-torus method could be applied to other protected higher-derivative couplings; the failure of $D^6R^4$ to fit the modular scheme makes it the natural next test case.
  • The equality of type IIA and type IIB amplitudes through two loops, if it survives higher-loop scrutiny, would suggest a non-renormalization pattern constraining which superspace integrals can contribute to these couplings.
  • A mismatch in the D-instanton coefficients would indicate that the eleven-dimensional supergravity calculation is missing non-perturbative states that the full M-theory supplies.
Original abstract

The two-loop Feynman diagram contribution to the four-graviton amplitude of eleven-dimensional supergravity compactified on a two-torus, T^2, is analyzed in detail. The Schwinger parameter integrations are re-expressed as integration over the moduli space of a second torus, \hat T^2, which enables the leading low-momentum contribution to be evaluated in terms of maps of \hat T^2 into T^2. The ultraviolet divergences associated with boundaries of moduli space are regularized in a manner that is consistent with the expected duality symmetries of string theory. This leads to an exact expression for terms of order D^4 R^4 in the effective M theory action (where R^4 denotes a contraction of four Weyl tensors), thereby extending earlier results for the R^4 term that were based on the one-loop eleven-dimensional amplitude. Precise agreement is found with terms in type IIA and IIB superstring theory that arise from the low energy expansion of the tree-level and one-loop string amplitudes and predictions are made for the coefficients of certain two-loop string theory terms as well as for an infinite set of D-instanton contributions. The contribution at the next order in the derivative expansion, D^6 R^4, is problematic, which may indicate that it mixes with higher-loop effects in eleven-dimensional supergravity.

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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,253 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.09 · states limitation 0.95 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.14 · compares with prior results 0.96 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v3. Results and the main claim are underlined; .

The two-loop Feynman diagram contribution to the four-graviton amplitude of eleven-dimensional supergravity compactified on a two-torus, T^2, is analyzed in detail. The Schwinger parameter integrations are re-expressed as integration over the moduli space of a second torus, \hat T^2, which enables the leading low-momentum contribution to be evaluated in terms of maps of \hat T^2 into T^2. The ultraviolet divergences associated with boundaries of moduli space are regularized in a manner that is consistent with the expected duality symmetries of string theory. This leads to an exact expression for terms of order D^4 R^4 in the effective M theory action (where R^4 denotes a contraction of four Weyl tensors), thereby extending earlier results for the R^4 term that were based on the one-loop eleven-dimensional amplitude. Precise agreement is found with terms in type IIA and IIB superstring theory that arise from the low energy expansion of the tree-level and one-loop string amplitudes and predictions are made for the coefficients of certain two-loop string theory terms as well as for an infinite set of D-instanton contributions. The contribution at the next order in the derivative expansion, D^6 R^4, is problematic, which may indicate that it mixes with higher-loop effects in eleven-dimensional supergravity.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 The two-loop Feynman diagram contribution to the four-graviton amplitude of eleven-dimensional supergravity compactified on a two-torus, T^2, is analyzed in detail. contribution 0.99 0.90 0.05 asserted 0.98
s1 The Schwinger parameter integrations are re-expressed as integration over the moduli space of a second torus, \hat T^2, which enables the leading low-momentum contribution to be evaluated in terms of maps of \hat T^2 into T^2. method 0.98 0.92 0.06 asserted 1.00
s2 The ultraviolet divergences associated with boundaries of moduli space are regularized in a manner that is consistent with the expected duality symmetries of string theory. method 0.98 0.89 0.04 asserted 0.89
s3 This leads to an exact expression for terms of order D^4 R^4 in the effective M theory action (where R^4 denotes a contraction of four Weyl tensors), thereby extending earlier results for the R^4 term that were based on the one-loop eleven-dimensional amplitude. result 0.98 0.93 0.49 asserted 1.00
s4 Precise agreement is found with terms in type IIA and IIB superstring theory that arise from the low energy expansion of the tree-level and one-loop string amplitudes and predictions are made for the coefficients of certain two-loop string theory terms as well as for an infinite set of D-instanton contributions. result 0.98 0.92 0.33 asserted 1.00
s5 The contribution at the next order in the derivative expansion, D^6 R^4, is problematic, which may indicate that it mixes with higher-loop effects in eleven-dimensional supergravity. limitation 0.95 0.82 0.05 hedged possibility 0.93

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. (a) The scalar field theory one-loop diagram contributing to the four￾graviton amplitude of compactified eleven-dimensional supergravity. (b) The one￾loop R4 counterterm that cancels the cubic ultraviolet divergence. 2.1. One-loop contributions Some of the systematics of the correspondence between the loop calculations of eleven-dimensional supergravity compactified on a circle or on a two-torus can be un￾derstood from dimensional arguments. For example, the one-loop four-graviton diagram of fig. 1 has dimension (momentum) 11 but it actually only diverges cubically with momen￾tum.…
Figure 2. (a) A scalar field theory two-loop diagram that contributes to four-graviton scattering. (b) One-loop diagrams in which one vertex is the R4 counterterm cancel the sub-divergences of the two-loop diagrams. (c) A two-loop counterterm proportional to S 2 R4 . New primitive divergences arise at each order in perturbation theory. For example, the two-loop Feynman diagrams contributing to the four-graviton amplitude in eleven￾dimensional supergravity have the superficial degree of divergence Λ20. However, the amplitude has an expansion in powers of derivatives acting on R4 so there are a
Figure 3. The ‘S-channel’ scalar field theory diagrams that contribute to the two￾loop four-graviton amplitude of eleven-dimensional supergravity. (a) The (S, T) planar diagram, I P (S, T); (b) The (S, T) non-planar diagram, I NP (S, T). 19
Figure 4. The domain of integration over the parameters τ1 and τ2, bounded by the thick line, is the fundamental domain of Γ0(2). A more complete analysis of the divergences is greatly facilitated by the observation that the integrand possesses a secret SL(2, Z) symmetry that is not at all apparent in the λ, ˆ ρ, ˆ σˆ parameterization. This symmetry is made manifest by redefining the integration variables in (4.15) so that the parameters, ˆρ, λˆ and ˆσ, are replaced by the dimensionless volume, V , and complex structure, τ = τ1 + iτ2, of a two-torus, Tˆ 2 , defined by τ1 = ρˆ ρˆ+ λˆ , τ2 =

Figures reproduced from arXiv:hep-th/9910055 by the authors.

References
How later papers used it

78 later papers cite it

Evidence: substantial. 63 of the citing papers share no author with it, and 13 of those carry a confident label from Pith's citation classifier.

Pith read 16 of the 198 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 3 of 10 papers with this label · 1 by the same authors

By the same authors

Uses its data or values 1 of 5 papers with this label
How the literature uses it

72 arXiv papers cite this in 196 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 129 sentences without a confident label

Builds on it 1 paper
Uses its method or tool 10 papers
  • To evaluate eval, we further define [ref] τ_1 = ρ̂/ρ̂+λ̂, τ_2 = √(Δ̂_2(,ł̂,̊̂))/ρ̂+λ̂, V_2 = l_11^2 √(Δ̂_2(,ł̂,̊̂)),to get that 𝒜_D^4ℛ^4^(2) = π^11κ_11^4/(2π)^D l_11^8 _2ℛ^4∑_m̂^I, n̂^I∫_0^∞dV_2 V_2^3 ∫_ℱ_2 d^2 τ/τ_2^2 e^-π^2 G_IJ (m̂+n̂τ)^I (m̂+n̂τ̅)^J V_2/τ_2,where $d^2 τ= dτ_1 dτ_2$ and $ℱ_2$ is the fundamental domain of $SL(2,ℤ)$ defined by ℱ_2 = { -1/2 ≤τ_1 ≤1/2, τ_2 ≥0, |τ|^2 ≥1}.Thus $V_2$ and $τ$ parametrize the volume and complex structure of an auxiliary $T^2$.

    Non--analytic terms from nested divergences in maximal supergravity · The $ℛ^4$, $D^2ℛ^4$ and $D^4ℛ^4$ coefficient functions from supergravity amplitudes · 0.91

  • The integral over $τ$ in the $(m̂,n̂) (0,0)$ piece can be `unfolded' to the infinite strip as in [ref] , giving h_(p,q)^0 (1) = π^5 b_(p,q)^0 ∫_chi^dVV ( ∫_d^2ττ_2^2 +∫_0^∞dtt^2∑_p≠0exp(-πp^2 v V/τ_2)) = π^6 b_(p,q)^03 ∫_chi^dVV + π^6 b_(p,q)^03v ∫_chi^dVV^2 .

    Modular properties of two-loop maximal supergravity and connections with string theory · $h_(3,0)^0$, $h_(0,2)^0$ · 0.96

  • Hence we only need to isolate the boundary contribution, which is done along the lines of [ref] and so we only mention the results.

    The D^6 R^4 term from three loop maximal supergravity · The two loop four graviton amplitude · 0.99

Uses its data or values 5 papers
  • Using the ten dimensional values $λ^(10)_(0,0)=3/4$, $λ^(10)_(1,0)=15/4$ and $λ^(10)_(0,1)=12$ determined in [ref] , we deduce that the coefficients of the terms discussed in [ref] satisfy the following set of Laplace eigenvalue equations with source terms, [equation]

    String theory dualities and supergravity divergences · Constraints on the coefficients · 0.99

  • The contribution to the coefficient of the $σ_2 ^4∼^4 ^4$ term was shown in [ref] to have the form I^(d=10)_(1,0) + I_▹ (1,0)^(d=10) + δ_2 I^(d=10)_(1,0) = ζ(5)4 R_11^5 ,

    Modular properties of two-loop maximal supergravity and connections with string theory · $(p,q)=(1,0)$ · 0.81

  • For the $D^4ℛ^4$ interaction, from 1loop2 we get that ( λ^2 ^2/λ^2 +2 λ/λ-2)Î^(1)_D^4ℛ^4 =0,leading to I^(1)_D^4 ℛ^4 = 4/π^2ζ(3)ζ(4)(r^3 +1/r^3 ), where we have fixed the overall normalization using the answer from two loop supergravity [ref] .

    Perturbative type II amplitudes for BPS interactions · The genus one amplitudes · 0.87

Compares with it 6 papers
Cites it as background 26 papers

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.