REVIEW
On $R^4$ threshold corrections in IIB string theory and (p,q) string instantons
High Energy Physics - Theory · Submitted 1 Jul 1997 · 24 references
Pith's verdict: The wrapped D-string computation is the real contribution; the identification with Eisenstein series is a well-motivated conjecture whose finite part is fixed by hand.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The exact quantum corrections to a class of string-theory curvature terms are claimed to be a single modular series, fixed entirely by duality.
The reading
What carries the argument
The carrying object is the non-holomorphic Eisenstein series $E_s(M) = sum'_{m_i in mathbb{Z}} (sum_{ij} m_i M^{ij} m_j)^{-s}$, a sum over integer charge vectors weighted by the U-duality-invariant distance they see in the scalar coset. It is manifestly invariant under the discrete duality group by construction, and it is an eigenfunction of the scalar-space Laplacian, which is why a single series can encode tree level, one loop and every instanton at once. The technical engine is Poisson resummation of that sum: splitting the integers into orbits and dualizing converts the integral representation into the expansion in Bessel functions that the authors match against the independently computed perturbative and instanton contributions. The second ingredient is the wrapped-string action: evaluating the D-string Nambu-Goto action on a world-sheet wrapping the torus with wrapping numbers $(m_i, n_i)$ and including the $tau_1 F$ anomaly-cancelling coupling gives the effective modulus $T_{p,q}$, so that the $(p,q)$ instanton sum takes the same product form as the fundamental-string one.
Extended reading notes
Core claim
The paper claims that the exact non-perturbative thresholds of the $t_8t_8R^4$ and $epsilon_8epsilon_8R^4$ couplings in type IIB string theory compactified to eight dimensions are $Delta_{tt} = hat{E}_{3/2} - 2pi log(U_2|eta(U)|^4)$ and $Delta_{epsilonepsilon} = hat{E}_{3/2} + 2pi log(U_2|eta(U)|^4)$, where $hat{E}_{3/2}$ is the regularized order-$3/2$ Eisenstein series of $SL(3,mathbb{Z})$ built from the $SL(3,mathbb{R})/SO(3)$ scalar matrix $M$. Expanding that series reproduces, term by term, the tree-level result $2zeta(3)tau_2^{3/2}/nu^{1/2}$, the one-loop result $2pi^2 T_2/3$, the D-instanton sum, the fundamental-string world-sheet instantons, and the wrapped $(p,q)$-string instantons with effective modulus $T_{p,q} = (qB_R - pB_N) + i|p+qtau|T_2$. The seven-dimensional threshold is claimed to be the analogous order-$3/2$ series for $SL(5,mathbb{Z})$, and the paper conjectures the pattern continues to six dimensions with $SO(5,5,mathbb{Z})$ and to lower dimensions with the exceptional discrete groups. The six-dimensional proposal is explicitly conjectural, and a note appended in January 2010 corrects the matrix used there and restricts the sum to null vectors.
Load-bearing premise
The load-bearing premise is that the regularization of the logarithmically divergent order-$3/2$ Eisenstein series is the physically correct one, since it alone produces the finite term $4pi log nu^{1/3}$ that $SL(3,mathbb{Z})$ invariance demands but that neither the perturbative nor the instanton calculation supplies.
Editorial extensions
If this is right
- The eight-dimensional $R^4$ threshold is fixed with no free parameters: tree level, one loop, D-instantons and all $(p,q)$-string instantons are the successive terms of one $SL(3,mathbb{Z})$ series, so measuring one term predicts the others.
- The seven-dimensional threshold is likewise the order-$3/2$ $SL(5,mathbb{Z})$ series, extending the same organizing principle to a larger U-duality group.
- The result reproduces the independent M-theory proposal for the same eight-dimensional threshold, giving a cross-check between two different descriptions of the same physics.
- U-duality is not broken by non-perturbative effects: every singularity of the threshold can be mapped to the boundary of the moduli space, which is the statement that the duality survives the full instanton sum.
- The conjectured six- and lower-dimensional formulae give a concrete target for D3-brane and exceptional-group instanton calculus.
Reading between the lines
- If the Eisenstein-series identification is correct, the same logic should fix thresholds of other BPS-saturated couplings in these compactifications, since the series is determined by the coset geometry rather than by the particular curvature invariant.
- The finite constant produced by regularizing the divergent series is the one place where the answer is not fixed by symmetry alone; a careful treatment of the infrared divergence in the eight-dimensional one-loop amplitude is the natural place to confirm or contradict it independently.
- The pattern suggests a general rule worth testing: for any toroidal compactification with irreducible scalar coset $G/H$, the order-$3/2$ Eisenstein series of the discrete group is the exact threshold, which would make the whole class computable from group theory.
- Because the instanton sums converge exponentially in the weak-coupling limit, the leading deviation from the perturbative answer is a definite predicted exponential, which is in principle distinguishable from competing proposals by its dependence on the dilaton and on the torus moduli.
Original abstract
We obtain the exact non-perturbative thresholds of $R^4$ terms in IIB string theory compactified to eight and seven dimensions. These thresholds are given by the perturbative tree-level and one-loop results together with the contribution of the D-instantons and of the (p,q)-string instantons. The invariance under U-duality is made manifest by rewriting the sum as a non-holomorphic modular function of the corresponding discrete U-duality group. In the eight-dimensional case, the threshold is the sum of a order-1 Eisenstein series for SL(2,Z) and a order-3/2 Eisenstein series for SL(3,Z). The seven-dimensional result is given by the order-3/2 Eisenstein series for SL(5,Z). We also conjecture formulae for the non-perturbative thresholds in lower dimensional compactifications and discuss the relation with M-theory.
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
We obtain the exact non-perturbative thresholds of $R^4$ terms in IIB string theory compactified to eight and seven dimensions. These thresholds are given by the perturbative tree-level and one-loop results together with the contribution of the D-instantons and of the (p,q)-string instantons. The invariance under U-duality is made manifest by rewriting the sum as a non-holomorphic modular function of the corresponding discrete U-duality group. In the eight-dimensional case, the threshold is the sum of a order-1 Eisenstein series for SL(2,Z) and a order-3/2 Eisenstein series for SL(3,Z). The seven-dimensional result is given by the order-3/2 Eisenstein series for SL(5,Z). We also conjecture formulae for the non-perturbative thresholds in lower dimensional compactifications and discuss the relation with M-theory.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We obtain the exact non-perturbative thresholds of $R^4$ terms in IIB string theory compactified to eight and seven dimensions. | result 0.58 | 0.96 | 0.79 | asserted 1.00 |
| s1 | These thresholds are given by the perturbative tree-level and one-loop results together with the contribution of the D-instantons and of the (p,q)-string instantons. | result 0.84 | 0.80 | 0.26 | asserted 1.00 |
| s2 | The invariance under U-duality is made manifest by rewriting the sum as a non-holomorphic modular function of the corresponding discrete U-duality group. | method 0.54 | 0.88 | 0.13 | asserted 1.00 |
| s3 | In the eight-dimensional case, the threshold is the sum of a order-1 Eisenstein series for SL(2,Z) and a order-3/2 Eisenstein series for SL(3,Z). | result 1.00 | 0.88 | 0.15 | asserted 1.00 |
| s4 | The seven-dimensional result is given by the order-3/2 Eisenstein series for SL(5,Z). | result 1.00 | 0.89 | 0.12 | asserted 1.00 |
| s5 | We also conjecture formulae for the non-perturbative thresholds in lower dimensional compactifications and discuss the relation with M-theory. | future work 0.70 | 0.68 | 0.09 | speculative 1.00 |
What was examined, and what was not
- arXiv listing abstract v6
- 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 later papers used it
82 later papers cite it
3 later papers by other authors are listed below: 3 used its method or tool.
Uses its method or tool 3 of 6 papers with this label
-
Then, by recognizing that the appearing integrals correspond to integral representation of modified Bessel functions $K_ν(x)$ of order $ν$ [ref] [equation] it was observed already in [ref] that they can be interpreted as instantonic contributions.
Emergence of $F^4$-couplings in Heterotic/Type IIA Dual String Theories (2025) · Heterotic worldsheet instanton analysis · 0.82
-
We start from the first term, i.e. the one with $m_1 ≠0$, and perform a Poisson resummation over $m_2$ to obtain [equation] While the contribution $m_2=0$ can be computed as in the nine-dimensional case, see [ref], the sum with $m_2 ≠0$ is conveniently evaluated via the integral representation [ref] [equation] where $K_ν(x)$ denotes the modified Bessel function of order $ν$.
Emergence of $R^4$-terms in M-theory (2024) · One-loop TEXT-term in eight dimensions · 0.98
-
Closely followed Appendix A of this paper.
On the Species Scale, Modular Invariance and the Gravitational EFT expansion (2023) · 0.97 · paraphrased: the licence does not allow quoting
How the literature uses it
75 arXiv papers cite this in 151 sentences
Papers citing it · 96 sentences without a confident label
Builds on it 3 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 work was extended to toroidal compactifications of M-theory, where the $R^4$-type corrections were argued to be given by Eisenstein series of the respective U-duality group [ref] , predicting the contributions of Euclidean D$p$-brane instantons, and, when $n≥6$, NS5-branes.
Instanton Corrections to the Universal Hypermultiplet and Automorphic Forms on SU(2,1) · Rigid Moduli Spaces for $N≥4$ and Eisenstein series · 0.81
-
This was generalized in [ref] (see also the closely related work [ref] ) to include the (full) 1/2 BPS particle-like states of M-theory in $d$ dimensions.
Reflections on an M-theoretic Emergence Proposal · Decompactification limit · 0.84
Uses its method or tool 5 papers
-
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
-
Using the method of orbits [ref] reviewed in appendix [ref], this Eisenstein series can be expanded in terms of $SL(d)$ series as [equation]
Automorphic properties of low energy string amplitudes in various dimensions · The $SO(d, d)$ Eisenstein series · 0.97
-
Then, by recognizing that the appearing integrals correspond to integral representation of modified Bessel functions $K_ν(x)$ of order $ν$ [ref] [equation] it was observed already in [ref] that they can be interpreted as instantonic contributions.
Emergence of $F^4$-couplings in Heterotic/Type IIA Dual String Theories · Heterotic worldsheet instanton analysis · 0.82
Uses its data or values 1 paper
-
The result, in the Type IIB frame, is the following [ref] (see also [ref] )
The Quantum Gravity Scale and the Swampland · Higher-derivative corrections · 0.80
Compares with it 5 papers
-
As a non-trivial cross-check of the prescription, we will find the perfect match between the torus amplitude we compute in [ref] with by now a very well-established result in the literature [ref] .
On string one-loop correction to the Einstein-Hilbert term and its implications on the Kahler potential · Introduction · 0.99
-
Again employing $ζ$-function regularization we find that the final result agrees with the evaluation of the corresponding string amplitude [ref], as e.g. reported in [ref] , eqs.
Emergence of $R^4$-terms in M-theory · One-loop TEXT-terms in TEXT · 0.97
-
[The definition of the Eisenstein series in ([ref]) differs from that given in (3.10) of [ref] and in [ref] .]
Automorphic properties of low energy string amplitudes in various dimensions · The $SO(d, d)$ Eisenstein series · 0.89
Cites it as background 28 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
-
While D-instanton effects are fundamental to the dynamics of string theory [ref] , and have been determined in some cases by a combination of on-shell worldsheet methods and string dualities [ref] , a systematic framework for computing them has been lacking until recent work of Sen [ref] based on open+closed string field theory [ref] .
D-instanton Effects in Type IIB String Theory · Introduction · 0.84
-
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.