7.3 Divergence properties of
supergravity
Since the two-loop
supergravity amplitude (58) has been expressed in terms of scalar integrals,
it is straightforward to extract the divergence properties. The scalar integrals diverge only for dimension
; hence the two-loop
amplitude is manifestly finite in
and 6, contrary to earlier
expectations based on superspace power counting [81
]. The discrepancy between the above
explicit results and the earlier superspace power counting arguments may be understood in
terms of an unaccounted higher-dimensional gauge symmetry [129
]. Once this symmetry is
accounted for, superspace power counting gives the same degree of divergence as the explicit
calculation.
The cutting methods provide much more than just an indication of divergence; one can extract the
explicit numerical coefficients of the divergences. For example, near
the divergence of the
amplitude (58) is
which clearly diverges when the dimensional regularization parameter
.
In all cases the linearized divergences take the form of derivatives acting on a particular contraction of
Riemann tensors, which in four dimensions is equivalent to the square of the Bel–Robinson
tensor [6, 37, 38]. This operator appears in the first set of corrections to the
supergravity
Lagrangian, in the inverse string-tension expansion of the effective field theory for the type II
superstring [78]. Therefore, it has a completion into an
supersymmetric multiplet of operators,
even at the non-linear level. It also appears in the M-theory one-loop and two-loop effective
actions [67, 116
, 68].
Interestingly, the manifest
-independence of the cutting algebra allows the calculation to be
extended to
, even though there is no corresponding
super-Yang–Mills theory. The
result (58) then explicitly demonstrates that
,
supergravity diverges. In dimensional
regularization there are no one-loop divergences so the first potential divergence is at two loops. (In a
momentum cutoff scheme the divergences actually begin at one loop [116].) Further work on the structure
of the
two-loop divergences in dimensional regularization has been carried out in Ref. [40, 41].
The explicit form of the linearized
,
counterterm expressed as derivatives acting on
Riemann tensors along with a more general discussion of supergravity divergences may be found in
Ref. [15].
Using the insertion rule of Figure 13, and counting the powers of loop momenta in these contributions
leads to the simple finiteness condition
(with
), where
is the number of loops. This formula indicates that
supergravity
is finite in some other cases where the previous superspace bounds suggest divergences [81
],
e.g.
,
: The first
counterterm detected via the two-particle cuts of
four-point amplitudes occurs at five, not three loops. Further evidence that the finiteness formula
is correct stems from the maximally helicity violating contributions to
-particle cuts, in
which the same supersymmetry cancellations occur as for the two-particle cuts [19
]. Moreover, a
recent improved superspace power count [129
], taking into account a higher-dimensional gauge
symmetry, is in agreement with the finiteness formula (60). Further work would be required to
prove that other contributions do not alter the two-particle cut power counting. A related open
question is whether one can prove that the five-loop
divergence encountered in the
two-particle cuts does not somehow cancel against other contributions [32] because of some
additional symmetry. It would also be interesting to explicitly demonstrate the non-existence of
divergences after including all contributions to the three-loop amplitude. In any case, the explicit
calculations using cutting methods do establish that at two loops maximally supersymmetric
supergravity does not diverge in
[19
], contrary to earlier expectations from superspace power
counting [81].