Title: Ultraviolet Behavior of Supergravity
1Ultraviolet Behavior of
Supergravity
- Lance Dixon (SLAC)
- International School of Subnuclear Physics
- Erice, Sicily
- Based on work with Z. Bern, J.J. Carrasco, D.
Dunbar, H. Johansson, D. Kosower, M. Perelstein,
R. Roiban, J. Rozowsky - Lecture I 31 August 2009
2Introduction
- Quantum gravity is nonrenormalizable by power
counting, because the coupling, Newtons
constant, - GN 1/MPl2 is dimensionful vs. aQED , aS
dimensionless - What this means is that at each order in
perturbation theory the divergences should get
worse and worse two more powers of loop
momentum in each loop. - String theory cures the divergences of quantum
gravity by introducing a new length scale, the
string tension, at which particles are no longer
pointlike. - Is this necessary? Or could enough symmetry
allow a point particle theory of quantum gravity
to be perturbatively ultraviolet finite? - If the latter is true, even if in a toy model,
it would have a big impact on how we think about
quantum gravity. After all, 10500 is a lot of
solutions (to string theory). Maybe there are
theories with fewer ground states?
3Maximal supergravity
DeWit, Freedman (1977) Cremmer, Julia, Scherk
(1978) Cremmer, Julia (1978,1979)
- Most supersymmetry allowed, for maximum spin of
2 - Unique, but very lengthy, Lagrangian we wont
need it!
- 28 256 massless states.
- Multiplicity of states, vs. helicity, from
coefficients in binomial expansion of (xy)8
8 SUSY charges Qa shift helicity by 1/2
8 SUSY charges Qa shift helicity by 1/2
4Is ( ) supergravity finite?
A question that has been asked many times, over
many years.
5Divergences in quantum gravity
- - Divergences always associated with local
operators counterterms - - On-shell counterterms are generally covariant,
- built out of products of Riemann tensor
( derivatives ) - Terms containing Ricci tensor and
scalar - removable by nonlinear field redefinition in
Einstein action
6Pure gravity diverges at two loops
Relevant counterterm,
is nontrivial. By explicit
Feynman diagram calculation it appears with a
nonzero coefficient at two loops
Goroff, Sagnotti (1986) van de Ven (1992)
7Pure supergravity ( ) Divergences
deferred to at least three loops
8Hints that is very special
divergence at five loops?
Bern, LD, Dunbar, Perelstein, Rozowsky (1998)
9No triangle hypothesis ? theorem
Bjerrum-Bohr et al., hep-th/0610043 Bern,
Carrasco, Forde, Ita, Johansson, 0707.1035 (pure
gravity) Kallosh, 0711.2108 Bjerrum-Bohr,
Vanhove, 0802.0868 Proofs Bjerrum-Bohr,
Vanhove, 0805.3682 Arkani-Hamed, Cachazo,
Kaplan, 0808.1446
- Statement about UV behavior of N8 SUGRA
amplitudes at one loop but with
arbitrarily many external legs - N8 UV behavior no worse than N4 SYM at
one loop - Samples arbitrarily many powers of loop momenta
- Necessary but not sufficient for excellent
multi-loop behavior - Implies specific multi-loop cancellations Bern,
LD, Roiban, th/0611086
gravity (spin 2)
gauge theory (spin 1)
10UV info from scattering amplitudes vs.
- Study 4-graviton amplitudes in higher-dimensional
versions of N8 supergravity to see what critical
dimension Dc they begin to diverge in, as a
function of loop number L - Compare with analogous results for
- N4 super-Yang-Mills theory (a finite theory
in D 4).
Results now available through four loops!
BCDJR, 0905.2326
11Compare spectra
12Kawai-Lewellen-Tye relations
KLT, 1986
13AdS/CFT vs. KLT
14Amplitudes via perturbative unitarity
- S-matrix is a unitary operator between in and
out states - ? Unitarity relations (cutting rules) for
amplitudes
- Very efficient due to simple structure of tree
helicity amplitudes
- Generalized unitarity (more propagators open)
necessary to - reduce everything to trees (in order to apply KLT
relations)
15Generalized unitarity
Generalized unitarity put 3 or 4 particles on
shell
Ordinary unitarity put 2 particles on shell
Methods now also used for NLO QCD _at_ LHC
trees get simpler
cut conditions may require complex loop momenta
16Virtues of complex momenta
- Makes sense of most basic process with all 3
particles massless
17Multi-loop generalized unitarity
Bern, LD, Kosower, hep-ph/0001001 Bern, Czakon,
LD, Kosower, Smirnov hep-th/0610248 Bern,
Carrasco, LD, Johansson, Kosower, Roiban,
hep-th/0702112 BCJK, 0705.1864 Cachazo,
Skinner, 0801.4574 Cachazo, 0803.1988 Cachazo,
Spradlin, Volovich, 0805.4832
Ordinary cuts of multi-loop amplitudes contain
loop amplitudes. But it is very convenient to
work with tree amplitudes only.
For example, at 3 loops, one encounters the
product of a 5-point tree and a 5-point one-loop
amplitude
Cut 5-point loop amplitude further, into
(4-point tree) x (5-point tree), in all 3
inequivalent ways
cut conditions satisfied by real momenta
18Method of maximal cuts
Complex cut momenta make sense out of
all-massless 3-point kinematics can chop an
amplitude entirely into 3-point trees
? maximal cuts
Maximal cuts are maximally simple, yet give
excellent starting point for constructing full
answer
For example, in planar (leading in Nc) N4
SYM they find all terms in the complete answer
for 1, 2 and 3 loops
Remaining terms found systematically Let 1 or 2
propagators collapse from each maximal cut
? near-maximal cuts
19Unitarity and N4 SYM
- Many higher-loop contributions to gg -gt gg
scattering can be deduced from a simple property
of the 2-particle cuts at one loop
Bern, Rozowsky, Yan (1997)
20Unitarity and N4 SYM (cont.)
Lets show
21Unitarity and N4 SYM (cont.)
22Unitarity and N4 SYM (cont.)
So we can choose the easiest helicity
configuration, which can only be satisfied by
gluon intermediate states
_
_
_
_
And fermions, scalars require (,-) across cut
23N4 ? N8 Rung Rule
N4 SYM rung rule
using same algebra twice, after using KLT
relations
N8 SUGRA rung rule
24Iterated 2-particle cut-constructible
contributionsall follow from Rung Rule
For example, this topology is easily computable
More concise terminology (planar) Mondrian
diagrams
25End of Lecture I
26Extra Slides
27Zero-mode counting in string theory
Berkovits, hep-th/0609006 Green, Russo, Vanhove,
hep-th/0611273
- Pure spinor formalism for type II superstring
theory - spacetime supersymmetry manifest
- Zero mode analysis of multi-loop 4-graviton
amplitude in string theory implies - ? At L loops, for L lt 7, effective action is
- ? For L 7 and higher, run out of zero modes,
and - arguments gives
- If result survives both the low-energy limit, a
? 0, - and compactification to D4 i.e., no
cancellations between massless modes and either
stringy or Kaluza-Klein excitations then it
implies finiteness through 8 loops
28M theory duality
Green, Vanhove, hep-th/9910055, hep-th/0510027
Green, Russo, Vanhove, hep-th/0610299
- N1 supergravity in D11 is low-energy limit of
M theory - Compactify on two torus with complex parameter W
- Use invariance under
-
- combined with threshold behavior of
- amplitude in limits leading to
- type IIA and IIB superstring theory
- Conclude that at L loops, effective action is
- If all dualities hold, and if this result
survives the compactification to lower D i.e.
there are no cancellations between massless modes
and Kaluza-Klein excitations - then it implies
same as in N4 SYM - for all L
W
1