Arxiv:Hep-Th/0611273V2 18 Jan 2007

Home , Twistor string theory

Provided byCERNDocumentServer arXiv:hep-th/0611273v2 18 Jan 2007 CORE nt unu hoyo rvt hl t rgnin origin its while gravity perturbativel of a theory of quantum hope finite the raised field as initially [1] incarnation supersymmetric pergravity four-dimensional among Its position theories. privileged a held hoyi eetdb h ornraiaiiyo super- of nonrenormalizability M- the of by structure reflected short-distance is the theory lack about The information interpretation. theory of string its and on two-torus compactified a supergravity eleven-dimensional ampli- in scattering tude four-graviton the of diagrams Feynman n oncin ihtedarm of diagrams the than fascinat- uncovering with divergent on connections based ultraviolet ing largely less is This given the be [3]. a of may expected at sum loops supergravity the of that maximal number years ac- of has few diagrams evidence Feynman past of the amount over sug- certain might cumulated a estimates example, earlier For than protec- greater gest. such far that be suggest may a tion arguments However, indirect of protects corrections. number to supersymmetry perturbative possible which against been to operators yet super- extent not the full has determine it the example, manifest practical For makes no symmetry. is that there since formalism manner covariant off-shell to fully difficult a in notoriously supersymmetry maximal is by implied it constraints that the analyze is supergravity, II in type manner conventional any theory. in string from quantized that isolation be means cannot renormalizable ultraviolet it not higher-dimensional of is that supergravity free fact maximal is the which However, theory, limits string divergences. special II su- as type arise Maximal within dimensions various theory. in string non- pergravities of the or completion M-theory, perturbative of development subsequent the impetus for the provided [2] supergravity eleven-dimensional yeI uegaiy n[]w osdrdthe considered we [4] In of supergravity. implications of study amplitudes II scattering dimen- to type the four is for in approach duality finite different string/M-theory ultraviolet A be to sions. known are which aial xeddsprrvt a o ogtime long a for has supergravity extended Maximally nte elkonpolmwt hoissc as such theories with problem well-known Another ASnmes 11.25.-w,04.65.+e,11.25.Db numbers: PACS ltd ffour-dimensional of plitude iial ru htthe that argue similarly eageta eetrslsi tigprubto hoyi theory perturbation string in results recent that argue We evc ePyiu herqe E/aly F-91191Gif-s Théorique, CEA/Saclay, Physique de Service nvriyo acln,A.ignl67 acln 08028 Barcelona 647, Av.Diagonal Barcelona, of University lrvoe rpriso aia Supergravity Maximal of properties Ultraviolet nttc´ aaaad eec sui Avan¸cats (ICREA Estudis i Recerca de Institució Catalana eateto ple ahmtc n hoeia Physics Theoretical and Mathematics Applied of Department h -loop ibroc od abig B W,UK 0WA, CB3 Cambridge Road, Wilberforce N N Yang–Mills, 4 = uegaiymgtb lrvoe nt pt ih loops eight to up finite ultraviolet be might supergravity 8 = M gaio mltd ih efiiefor finite be might amplitude -graviton N Dtd aur 9 2007) 19, January (Dated: su- 8 = ihe .Green B. Michael e-h0123 AT-0616 PTT616 UB-ECM-P SPHT-T06/156; DAMTP-2006-116; hep-th/0611273; L N og .Russo G. Jorge ireVanhove Pierre -loop 1 = y tigculn osati ie by given is the constant that coupling fact the string with together analysis dimensional from a h form the theory has string ten-dimensional in amplitude four-graviton eiswt oe of genus- power the a that with imply begins conditions These h dilaton. the is fido iceo radius of compact- circle is a theory on eleven-dimensional theory ified the string where IIA – nonrenormalization type limit con- ten-dimensional strong interesting the were in to these conditions led Among theory string straints. to with amplitude consistent the of be structure counterterms. the of un- requiring coefficients an Nevertheless, unknown by of parameterized number was limited ignorance this and gravity where fpower of xlctoelo 6 n w-op[]cluain show calculations [3] two-loop and [6] one-loop Explicit i ooilo power of monomial ric av xettosadfour-dimensional and than behaviour expectations ultraviolet naive milder has limit supergravity invariants, inta the that tion egaiyapiueu oegtloops. eight to up amplitude pergravity l bec futailtdvrecsdvrecsi the four-dimensional in of divergences possi- amplitude divergences the four-graviton to ultraviolet point of [4], absence in ble proposed which those [5], Berkovits than by weaker obtained are perturba- will theory of string We II conditions type tive nonrenormalization supergravity. the of regulator that divergences a see ultraviolet conserva- as theory more the string and of perturbative directly using more by proceed tively will we Here divergences. ultraviolet of free be might gravity A ebgnb oigta the that noting by begin We oee,teagmnso 4 eerte indirect. rather were [4] of arguments the However, orgaio mltd a o-nrylmtthat limit low-energy a has amplitude four-graviton 4 h = R α steWy uvtr and curvature Weyl the is ′ β β dct httefu-rvtnam- four-graviton the that ndicate h h s − , h nteMnesa invariants, Mandelstam the in 1 t lo mltd bandi h o energy low the in obtained amplitude -loop e and 2( rYet,France ur-Yvette, h − u 1) < h hswsitrrtda nindica- an as interpreted was This . φ SPAIN X Metadata, citationandsimilarpapersatcore.ac.uk h + 7 S i ), h aeoto h Mandelstam the of out made R S R M/ 11 i ( 4 β hscniinfollowed condition This . where , h h 2. ) lo otiuint the to contribution -loop I i ( h S ) e ( i ( α φ β We . ′ h S = ,α s, ) h r monomials are N R sasymmet- a is ′ 11 3 ,α t, / s super- 8 = N 2 , where , ′ t u su- 8 = F-06-40 ) and R 4 (1) , u φ . 2

′ that β1 = 0 and β2 = 2. In fact, recent perturbative for a square torus with all radii equal to r √α , the ex- 2(h−1) (d−2)h−2βh−6 superstring calculations [5] determine that βh = h up to h pression for A4 behaves as κ(d) Λd , where five loops (h = 5). The less direct arguments of [4] make the d-dimensional Newton constant, given by κ2 = use of string/M-theory dualities to argue that β = h (d) h ′(d−2)/2 − might hold to all orders. In the following we will not α e2φ rd 10, is held fixed. Consider the low en- specify the value of βh until we need to. The functions ergy limit in a dimension d for which the power of Λd is (h) positive, so that (d 2)h > 2βh +6 > 0. We will make Ii are given by integrals over the moduli space of the − h-loop string world-sheet. The number of such terms a ”smoothness assumption” that this power of Λd does depends on the genus. For example, at two loops (h = 2) not increase in the process of taking the low energy limit. there are three terms, Although this sounds plausible, it remains unproven and would fail if the leading low-energy behaviour of the func- 3 h tion Ii (s,t,u) in the compactified theory were an inverse (2) (2) ′ ′ ′ 2 (2) ′ ′ ′ X I (α s, α t, α u)= s I1 (α s, α t, α u) power of s, t or u. With this assumption it follows that Si i i=1 ultraviolet divergences are absent in dimensions for which 2 (2) ′ ′ ′ 2 (2) ′ ′ ′ +t I2 (α s, α t, α u)+ u I3 (α s, α t, α u) .(2) 2βh +6 (h) d< 2+ . (5) The detailed evaluation of the functions Ii for h> 2 is h a daunting task but here we will only be concerned with the general structure of the amplitude. In dimensions that satisfy this bound the expression (4) We wish to consider the low-energy field theory limit is ill-defined since it contains a negative power of the cut- h (h) of A4 obtained by expanding the scalar functions, I , in off, which vanishes, whereas finite and infrared divergent ′ i the limit α 0 while holding the ten-dimensional New- terms that are non-vanishing are not exhibited. In this → 2 ′4 2φ (h) ton coupling, κ(10) = α e , fixed. Since Ii , which is case the negative power of Λd is replaced by a negative (d−2)h/2−βh−3 an integral over world-sheet moduli, does not have poles power of s, t and u of dimension [s] , to- in s, t, u [5] its low-energy expansion starts with a con- gether with possible logarithmic factors. Infrared diver- stant or logarithmic term. At low energies the amplitude gences arise for dimensions d 4 and presumably sum ≤ (1) therefore takes the symbolic form up in the usual fashion to cancel the divergences due to multiple soft graviton emission [7]. These features of − ′ − h ′ Ah κ2(h 1) α 3 4h+β (βh) (1 + O(α s)) R4 , (3) the field theory limit are seen explicitly in the compact- 4 ∼ (10) S ified one-loop (h = 1) amplitude, which has β1 = 0 [8]. where we have not kept track of possible factors that In that case the amplitude has the form of a prefactor are logarithmic in the Mandelstam invariants but which of R4 multiplying a ϕ3 scalar field theory box diagram. are, in principle, defined precisely by evaluating the am- This is ultraviolet divergent when d 8, and finite for plitude. The expression (1) is finite in ten-dimensional 4 string theory due to the presence of the string length that string theory expression reduces to the supergravity two- provides an ultraviolet cutoff. Indeed, the divergence of loop amplitude which was considered in detail in [3, 9]. the expression (3) in the low-energy limit, α′ 0, trans- There it was shown that a power of s2, t2 or u2 factors lates into the ultraviolet divergence of the sum→ of all the out of the sum of all supergravity Feynman diagrams, so contributions to the supergravity h-loop amplitude. Af- that β2 = 2. In this case the sum of Feynman diagrams ter interpreting the inverse string length as an ultraviolet has the form of prefactor s2 R4 multiplying the sum of − momentum cutoff, Λ √α′ 1, (3) becomes planar and non-planar s-channel double box diagrams ∼ of ϕ3 scalar field theory, together with corresponding t- − − − ′ Ah κ2(h 1) Λ8h 6 2βh (βh) (1 + O(α s)) R4 . (4) channel and u-channel terms. More recently the fact that 4 ∼ (10) S β2 = 2 has been confirmed by explicit two-loop calcula- So the presence of the prefactor (βh) R4 means that the tions in string theory [10]. In this case ultraviolet diver- leading divergences, Λ8h+2, of individualS h-loop Feynman gences arise when d 7 and the amplitude is finite for ≥ diagrams cancel and the ultraviolet divergence of the sum 4 2 has not been established We are interested in the maximal supergravity limit in from direct supergravity calculations beyond two loops, lower dimensions so we will consider compactifying the but it is strongly suspected that βh 2 for h > 2. Fur- string loop amplitude on a (10 d)-torus (with the ex- thermore, in contrast to the h = 1≥ and h = 2 cases, − ternal momenta and polarizations oriented in the d non- the sum of Feynman diagrams for h > 2 is unlikely to compact directions). Now consider the low energy limit reduce to a prefactor multiplying diagrams of ϕ3 scalar ′ ′ α 0 with the radii of the torus proportional to √α , field theory. That would require βh = 2(h 1), which so→ that all the massive Kaluza–Klein states, winding- would lead to finiteness in d< 6 dimensions (for− h = 3 it number states and excited string states decouple. This would also contradict the presence of a three-loop term 6 4 leads to an expression for the h-loop supergravity am- in D R found in [13]). Using the value βh = 2 (the least plitude in d dimensions with cut-off Λd. For example, possible value) in (5) leads to the absence of ultraviolet 3

(d−4)h−6 divergences when the cut-off dependence of this amplitude is Λd (d−2)h−14−M for h < 4+ M/2 and Λd for h 4+ M/2. d< 2+10/h, h> 1 , (6) Given the previous analysis, this would imply≥ that the M-graviton amplitude is finite in four dimensions (d = 4) which appeared in [3]. This shows that the first ultravi- if h < 7+ M/2. It is notable, in particular, that these olet divergence in four dimensions cannot arise until at arguments suggest that there is no divergence associated least five loops. with the seven-loop counterterm [15]. The full extent to which the four-graviton amplitude Finally, we return to the suggestion [4] that β = h. is protected from ultraviolet divergences should become h This was motivated by an indirect argument based on clearer with a more complete understanding of the con- considerations of M-theory duality rather than direct straints implied by maximal supersymmetry. These are string calculations and is therefore less well established. difficult to establish in the absence of an off-shell super- In particular, it is not yet apparent how this condition symmetric formalism. In theories with less supersym- can be motivated by supersymmetry. In this case there metry such protection is typically afforded to F-terms, is an extra power of s,t or u for every additional loop which can be expressed as integrals over a subspace of and the divergence of the h-loop integral is markedly re- the complete superspace. One might estimate the extent duced. Substituting β = h in (5), and making the earlier to which the derivative expansion of the four-graviton h smoothness assumption, it follows that ultraviolet diver- amplitude is protected by using on-shell superfield argu- gences are absent when ments. This is explicit in the pure spinor formalism of the superstring developed by Berkovits [5], in which terms of d< 4+6/h h 2 . (9) the form (k) R4 are F-terms for k 5 and get vanishing ≥ S ≤ contributions from h > k loops. Such terms arise from If correct, this would imply that ultraviolet divergences integration over a subset of the 32 components of the left- are absent to all orders in the four-graviton amplitude moving and right-moving Grassmann spinor world-sheet of four-dimensional maximal supergravity. Finiteness of coordinates, θ and θ . As a result, the low energy limits L R the four-graviton amplitude suggests finiteness of all M- of both type IIA and IIB superstring theories at h loops point functions since they are interconnected by unitar- have β = h for h =2, 3, 4, 5 and β 6 for h 6. Since h h ity. Indeed, the arguments in [4] have an obvious exten- (h) R4 terms are protected for h ≥5 the (6)≥R4 inter- S ≤ S sion to multi-graviton amplitudes, which suggests that action can only arise for h 6. If we once more make the (k) M ≥ the R interactions again have a dependence on the assumption that the power of Λd does not increase in the S (d−4)h−6 process of taking the low energy limit in d dimensions, we cut-off of the form Λd . This leads to the same con- can see from (5) that ultraviolet divergences are absent dition, (9), for ultraviolet finiteness of M-graviton ampli- if tudes as in the four-graviton case. The bound (9) is the same as the condition for the ab- d< 2+18/h, h> 5 (7) sence of ultraviolet divergences in maximally supersymmetric Yang–Mills theory, which is known to be finite in and four dimensions. Indeed, the work of [3] points to connections between loop amplitudes of maximal supergrav- d< 4+6/h h =2,..., 5 . (8) ity and those of maximal super-Yang–Mills motivated in part by the Kawai–Lewellyn–Tye relations [16] that con- This indicates that the nonrenormalization conditions in nect tree-level open and closed string theory. This sug- type II string theory [5] lead to the ultraviolet finiteness gests that N = 8 supergravity may be more finite than of the four-dimensional N = 8 supergravity four-graviton previously expected [17, 18]. amplitude up to at least eight loops (h = 8). Note that To summarize, in this paper we have considered the although type IIA and IIB four-graviton string theory implications for low energy d-dimensional supergravity amplitudes are equal only up to four loops (h = 4) in of the recently discovered nonrenormalization properties ten dimensions [5], they are identical at all loops in the of higher-genus contributions to the four-graviton ampli- d-dimensional low-energy supergravity limit. tude in type II superstring theory [5]. The relevant limit One of the benefits of the superfield description of F- involves compactification of string theory on a (10 d)- terms is that it includes all terms related by supersym- torus followed by a low energy expansion at fixed Newton− 2 metry. For example, interactions involving higher powers constant, κd. We argued that, subject to an important of the curvature tensor of the form (k) RM , are F-terms smoothness assumption, the four-graviton amplitude of if 2k + M < 16 [5] (where (k) Sis a monomial made N = 8 supergravity has no ultraviolet divergences up to of Mandelstam invariants of theS M-particle amplitude). at least eight loops. The nonrenormalization conditions In this case an extension of the fermionic mode count- were obtained in [5] by using the pure spinor formulation ing in [5] shows that there are no corrections beyond of string perturbation theory, in which (h) R4 is an F- h = k + M 4 loops. Generalizing our earlier anal- term and gets no corrections beyond hSloops if h 5. ysis, this means− that the h-loop M-graviton amplitude Similarly, we also argued that the M-graviton amplitude≤ behaves as (h+4−M) RM for M h + 4. It follows that is ultraviolet finite when h< 7+ M/2. S ≤ 4

An important further issue that remains to be re- N = 4 Yang–Mills coupled to superconformal gravity solved is the fact that, in the low energy limit under con- [22, 23]. Perhaps one of the proposals for a N = 8 twistor sideration, infinite towers of states in the nonperturba- string theory in [24] is on the right track. tive sector of string theory (wrapped Dp-branes, Neveu– Schwarz branes, Kaluza-Klein charges and Kaluza–Klein monopoles) become massless. These are likely to give singular contributions that may cast doubt on the valid- Acknowledgments ity of the perturbative approximation, which only takes into account the perturbative states [25]. It would obviously be of interest if this understand- We are grateful to Nathan Berkovits for many use- ing could be extended to derive the all-orders non- ful interactions and to Savdeep Sethi and Edward Wit- renormalization conditions proposed in [4]. Interestingly, ten for correspondence. We are also grateful to Hi- there are similar situations in highly supersymmetric the- rosi Ooguri and John Schwarz for communications re- ories in which an infinite number of higher-dimension op- garding the possible rôle of massless ‘non-perturbative’ erators are protected from renormalization even though states. P.V. would like to thank the LPTHE of Jussieu a naive application of supersymmetry would suggest that for hospitality where part of this work was carried out. only a finite number should be [19, 20]. J.R. also acknowledges support by MCYT FPA 2004- A priori, finiteness of N = 8 seems very unlikely and, if 04582-C02-01. This work was partially supported by true, would cry out for a natural explanation. One possi- the RTN contracts MRTN-CT-2004-503369, MRTN-CT- ble framework for such an explanation might be a variant 2004-512194 and MRTN-CT-2004-005104 and by the of twistor string theory [21], which naturally describes ANR grant BLAN06-3-137168.

[1] E. Cremmer and B. Julia, The N=8 Supergravity Theory. Non-renormalization theorems and the 4-point function, 1. The Lagrangian, Phys. Lett. B 80 (1978) 48. Nucl. Phys. B 715, 3 (2005) [arXiv:hep-th/0501197]. B. de Wit and H. Nicolai, N=8 Supergravity, Nucl. Phys. N. Berkovits and C. R. Mafra, Equivalence of two- B 208 (1982) 323. loop superstring amplitudes in the pure spinor and [2] E. Cremmer, B. Julia and J. Scherk, Supergravity theory RNS formalisms, Phys. Rev. Lett. 96, 011602 (2006) in 11 dimensions, Phys. Lett. B 76 (1978) 409. [arXiv:hep-th/0509234]; [3] Z. Bern, L. J. Dixon, D. C. Dunbar, M. Perelstein N. Berkovits, Super-Poincare covariant two-loop and J. S. Rozowsky, On the relationship between Yang- superstring amplitudes, JHEP 0601, 005 (2006) Mills theory and gravity and its implication for ul- [arXiv:hep-th/0503197]. traviolet divergences, Nucl. Phys. B 530 (1998) 401. [11] P. S. Howe and P. C. West, The Complete N=2, D = 10 [arXiv:hep-th/9802162]. Supergravity, Nucl. Phys. B 238, 181 (1984). [4] M. B. Green, J. G. Russo and P. Vanhove, Non- [12] M. B. Green, H. h. Kwon and P. Vanhove, Two loops renormalisation conditions in type II string theory and in eleven dimensions, Phys. Rev. D 61 (2000) 104010. maximal supergravity [arXiv:hep-th/0610299]. [arXiv:hep-th/9910055]. [5] N. Berkovits, New higher-derivative R**4 theorems [13] M. B. Green and P. Vanhove, Duality and higher [arXiv:hep-th/0609006]. derivative terms in M theory, JHEP 0601, 093 (2006). [6] M. B. Green and J. H. Schwarz, Supersymmetrical String [arXiv:hep-th/0510027]. Theories, Phys. Lett. B 109 (1982) 444. [14] E. Cremmer and S. Ferrara, Formulation Of Eleven- [7] S. Weinberg, Infrared photons and gravitons, Phys. Rev. Dimensional Supergravity In Superspace, Phys. Lett. B 140 (1965) B516. 91 (1980) 61. D. C. Dunbar and P. S. Norridge, Inﬁnities within gravi- [15] P. S. Howe and U. Lindstrom, Higher Order Invariants In ton scattering amplitudes, Class. Quant. Grav. 14, 351 Extended Supergravity, Nucl. Phys. B 181 (1981) 487. (1997). [arXiv:hep-th/9512084]. [16] H. Kawai, D. C. Lewellen and S. H. H. Tye, A Relation [8] M. B. Green, J. H. Schwarz and L. Brink, N=4 Yang- Between Tree Amplitudes Of Closed And Open Strings, Mills And N=8 Supergravity As Limits Of String Theo- Nucl. Phys. B 269 (1986) 1. ries, Nucl. Phys. B 198 (1982) 474. [17] Z. Bern, N. E. J. Bjerrum-Bohr and D. C. Dunbar, Inher- [9] V. A. Smirnov, Analytical result for dimensionally regu- ited twistor-space structure of gravity loop amplitudes, larized massless on-shell double box, Phys. Lett. B 460 JHEP 0505, 056 (2005). [arXiv:hep-th/0501137]. (1999) 397. [arXiv:hep-ph/9905323]. N. E. J. Bjerrum-Bohr, D. C. Dunbar and H. Ita, Six- J. B. Tausk, Non-planar massless two-loop Feynman di- point one-loop N = 8 supergravity NMHV amplitudes agrams with four on-shell legs, Phys. Lett. B 469 (1999) and their IR behaviour, Phys. Lett. B 621, 183 (2005). 225. [arXiv:hep-ph/9909506]. [arXiv:hep-th/0503102]. C. Anastasiou, J. B. Tausk and M. E. Tejeda-Yeomans, N. E. J. Bjerrum-Bohr, D. C. Dunbar, H. Ita, The on-shell massless planar double box diagram with W. B. Perkins and K. Risager, The no-triangle hypothe- an irreducible numerator, Nucl. Phys. Proc. Suppl. 89 sis for N = 8 supergravity [arXiv:hep-th/0610043]. (2000) 262. [arXiv:hep-ph/0005328]. [18] Z. Bern, L. J. Dixon and R. Roiban, Is N = 8 supergravity [10] E. D’Hoker and D. H. Phong, Two-loop superstrings. VI: ultraviolet ﬁnite?, arXiv:hep-th/0611086. 5

[19] S. Sethi and M. Stern, Supersymmetry and the Yang- [22] N. Berkovits, An alternative string theory in twistor Mills eﬀective action at ﬁnite N, JHEP 9906 (1999) 004. space for N = 4 super-Yang-Mills, Phys. Rev. Lett. 93, [arXiv:hep-th/9903049]. 011601 (2004). [arXiv:hep-th/0402045]. S. Sethi, Structure in supersymmetric Yang-Mills theory, [23] N. Berkovits and E. Witten, Conformal supergrav- JHEP 0410 (2004) 001. [arXiv:hep-th/0404056]. ity in twistor-string theory, JHEP 0408 (2004) 009. [20] M. Dine and J. Gray, Non-renormalization theorems for [arXiv:hep-th/0406051]. operators with arbitrary numbers of derivatives in N [24] M. Abou-Zeid, C. M. Hull and L. J. Mason, Ein- = 4 Yang-Mills theory, Phys. Lett. B 481 (2000) 427. stein supergravity and new twistor string theories [arXiv:hep-th/9909020]. [arXiv:hep-th/0606272]. [21] E. Witten, Perturbative gauge theory as a string theory [25] Similar observations have independenty been made by in twistor space, Commun. Math. Phys. 252 (2004) 189. Hirosi Ooguri and John Schwarz. [arXiv:hep-th/0312171].