Simplifying one-loop amplitudes in superstring theory
Massimo Bianchi, Dario Consoli
Dipartimento di Fisica, Università di Roma “Tor Vergata”
I.N.F.N. Sezione di Roma “Tor Vergata”
Via della Ricerca Scientifica, 00133 Roma, Italy
We show that 4-point vector boson one-loop amplitudes, computed in [Bianchi:2006nf] in the RNS formalism, around vacuum configurations with open unoriented strings, preserving at least SUSY in , satisfy the correct supersymmetry Ward identities, in that they vanish for non MHV configurations and . In the MHV case we drastically simplify their expressions. We then study factorisation and the limiting IR and UV behaviours and find some unexpected results. In particular no massless poles are exposed at generic values of the modular parameter. Relying on the supersymmetric properties of our bosonic amplitudes, we extend them to manifestly supersymmetric super-amplitudes and compare our results with those obtained in the hybrid formalism, pointing out difficulties in reconciling the two approaches for contributions from sectors.
- 1 Superstrings at one loop
- 2 Two-point amplitudes
- 3 Three-point amplitudes
- 4 Four-point amplitudes
- 5 Simplifying 4-pt amplitudes
- 6 Regular branes and super-conformal theories
- 7 UV and IR behaviours
- 8 Supersymmetry vs Hybrid formalism
- 9 Conclusions
- A Spinor helicity formalism
- B Elliptic functions
There is a revival of interest in superstring loop amplitudes from different perspectives [Bianchi:2006nf, Matone:2005vm, Tourkine:2013rda, Witten:2013tpa, Witten:2013cia, Witten:2012bh, Green:2013bza]. The original one-loop computations by Brink, Green and Schwarz [Green:1982sw] paved the way to remarkable developments both in string theory and in field theory related contexts. Some time ago the BGS amplitude for four vector bosons in Type I superstrings was generalised to in vacuum configurations with open and unoriented strings preserving at least supersymmetry [Bianchi:2006nf]. Although the final result could be expressed in a compact form as a sum over the various sectors, only the contribution of the sector and the ‘irreducible’ contributions of the sectors could be easily seen to be proportional to the tree-level amplitude. Supersymmetry Ward identities imply that the only non-vanishing 4-point amplitudes be Maximally Helicity Violating (MHV) [Brandhuber:2007vm]. Thus loop corrections should reproduce similar structures to tree-level amplitudes in supersymmetric vacuum configurations in .
Aim of the present paper is to simplify the results of [Bianchi:2006nf] using the spinor helicity formalism and to analyse the singularities of the resulting amplitudes. We will also comment on the soft behaviour of the amplitudes and compare our results with the ones obtained in [Berkovits:2001nv] within the ‘hybrid formalism’ [Berkovits:1994wr]
The plan of the paper is as follows.
In Section 1, we will briefly review one-loop open superstring amplitudes in order to fix the notation. In Section 2 and 3 we rewrite 2- and 3-point ‘amplitudes’
1 Superstrings at one loop
In theories with open and unoriented strings scattering amplitudes can be computed inserting the corresponding vertex operators on the boundaries [Kiritsis:2007nutshell]. The vector boson vertex (in the super-ghost pictures ) reads
where is the linearised field strength.
The tree-level disk contribution is similar to Veneziano amplitude
where is the coupling constant for open string. The Veneziano factor and the Chan-Paton factor read
while the totally symmetric kinematic factor is given by
In , is non-vanishing only in the Maximally Helicity Violating (MHV) case
thereby, for a given color ordering, the partial amplitudes read
while . Generalization to higher points can be found in [Mafra:2011nv, Mafra:2011nw, Barreiro:2012aw, Barreiro:2013dpa].
The one-loop four-point amplitude in was computed long ago by Brink, Green and Schwarz [Green:1982sw]. It receives three contributions: planar, non-planar and un-orientable. Setting the modular parameter of the covering torus to be for the annulus and for the Möbius strip, all contributions can be written in the form
where is the Chan-Paton factor, is the integration region, depending on color ordering, and
is the ubiquitous Koba-Nielsen factor with the scalar propagator (Bargmann kernel) for boundary insertions at one-loop
We will often write instead to .
In the planar case all vertex operators are inserted on the same boundary of an annulus
plus cyclic permutations of 234. The parametrization of the world-sheet variable on a boundary is with .
In the non-planar case vertex operators are equally distributed among the two boundaries of an annulus
plus permutations of 2 with 3 and 4. The parametrization of the world-sheet variable on the other boundary is with .
For gauge groups with (anomalous) factors there is an additional non-planar contribution with 3 vertices inserted on a boundary and the remaining one on the other boundary
plus permutations of 4 with 1,2,3.
In the un-orientable case vertex operators are inserted along the single boundary of a Möbius strip with twice the length of the strip itself
plus cyclic permutations of 234, with the tension of the relevant -plane in units of , quantized charge. The parametrization of the world-sheet variable on the unique boundary is with .
At low-energies , and one can trivially integrate over the insertion points producing a factor of . The remaining integral over the modular parameter is IR finite (for ) but UV divergent (for ), due to the dilaton tadpole associated to the empty boundary and the ‘cross-cap’. Yet for , the dilaton tadpole cancels and the Type I theory if free of both UV divergences and chiral anomalies [Green:2012pqa]. Non-planar amplitudes are regulated by momentum flow between the two boundaries.
A subtle issue related to potential anomalies is the role of the odd spin structure in the computation of scattering amplitudes. In order to detect potential anomalies, one of the gauge boson vertex operators should appear with longitudinal polarisation and should decouple thanks to BRST invariance in a consistent theory. The standard procedure requires the insertion of a vertex operator in the super-ghost picture and an additional world-sheet super-current insertion brought down by integration over the super-modulus associated to the world-sheet gravitino zero. In hexagon gauge anomaly could be detected this way [Green:1984qs, Gross:1987pd]. In the case under consideration, 4-point amplitudes are not anomalous and BRST invariance allows to replace the combination of the super-modulus and world-sheet super-current with a picture changing operator [Friedan:1985ey]. The latter can act on the vertex operator in the super-ghost picture and change its picture . As in [Bianchi:2006nf], one can then proceed with all vertex operators in the picture
1.1 Partition function
In order to generalize BGS formula to (supersymmetric) vacuum configurations for open and unoriented strings in , one has to first recall the structure of the one-loop partition function. As in [Bianchi:2006nf], we will mainly focus here on magnetised or intersecting D-branes at (non-compact) orbifold singularities [Kachru:1998ys, Zoubos:2010kh]. Consistency requires local RR tadpole cancellation [Bianchi:1988fr, Bianchi:1990tb, Bianchi:1990yu, Angelantonj:1996uy, Angelantonj:2002ct].
The partition function depends on the choice of brane configuration, including number and type of intersections or magnetic fluxes thereon, -planes and orbifold group . For simplicity we will focus on , i.e. with in order to preserve SUSY. We will label the branes of type by , and the orbifold sectors by . We define three combinations that express the twist or shift in the open string spectrum
where , denotes the angles between brane and brane or the shift in the string spectrum induced by the relative magnetic flux and denotes the twist caused by the orbifold. The combinations determine the amount of supersymmetry preserved in each sector.
The weakest condition one can impose to have ‘minimal’, i.e. , supersymmetry is , with . In this case the partition function assumes the form
where labels the four spin structures, represents the ‘regulated’ volume of space-time (to be replaced by in scattering amplitudes), denotes the number of brane intersections or the degeneracy of Landau levels. We have traced the origin of various integers in the denominator, wherein the factor accounts for integration over loop-momenta in .
In sectors with supersymmetry one of the vanishes, let us say . As a consequence . The partition function reads
Where , denotes the number of intersections or degeneracy of Landau levels in the ‘twisted/transverse’ directions and denotes the lattice sum in the two (one complex) ‘untwisted/longitudinal’ compact directions.
Sectors with maximal supersymmetry correspond to and the partition function is simply given by
where denotes the lattice sum in the six internal directions.
Later on, we will compute 2, 3 and 4-point scattering amplitudes. Although the first two formally vanish on-shell due to collinear kinematics, we report their derivation using the spinor helicity formalism since it highlights the meaning of some of the structures that will later appear in the more interesting 4-pt amplitudes. Definitions and notation for elliptic functions and helicity spinors can be found in the appendices.
2 Two-point amplitudes
Let us begin with the two-point amplitude without specifying for the time being whether the amplitude is planar, non-planar or un-oriented. We will see that the results are substantially the same up to minor modifications. Although momentum conservation implies and then , we will formally keep . The one-loop amplitude is given by
where and denote the contributions of the even and odd spin structures. Contractions with zero and one bilinear are zero, we have only the two bilinears contribution. In the even spin structures, the reduced contraction of two bilinears yields
where is the one-loop fermionic propagator (Szego kernel)
where is the scalar propagator in 1.9. We often use the notation instead of . Using the identity , where is Weierstrass function, that does not contribute to the sum over spin structures, and , we have
where the function introduced in [Bianchi:2006nf], labelled by the number of preserved SUSY, depends on the world-sheet modular parameter , on the parameters of the brane configuration coded in and the moduli of the compactification. vanishes in sectors due to Riemann identity.
In the odd spin structure, which only contributes in sectors
For brevity we define the function
Combining the contributions of even and odd spin structures, the two-point amplitude thus reads
Fixing the helicities and noting that we have two simple results. Choosing and using we obtain
while choosing the amplitude vanishes, viz.
To obtain planar, non-planar and un-oriented contributions one has to choose the specific modular parameter and the corresponding integration domain. The result is generically divergent for both sectors, wherein it encodes -functions and one-loop threshold corrections to the gauge kinetic functions [Kiritsis:1997hf, Anastasopoulos:2006hn]. As already observed, it vanishes in sectors, which points to the no-bubble conjecture in SYM, i.e. to the absence of one-loop massless amplitudes with two (bunches of) insertion points.
3 Three-point amplitudes
We continue our preliminary analysis and compute the three-point one-loop amplitude that reads:
Momentum conservation for massless vector bosons implies i.e. collinear momenta. In order to proceed one could either relax momentum conservation [Minahan:1987ha, Kiritsis:1997hf, Berg:2011ij, Berg:2014ama] yet with or analytically continue to complex momenta [Elvang:2013cua]. In the spinor helicity formalism, reviewed in appendix A, one has and there are two options: either , with , convenient for MHV or helicity configurations or the other way around. In the even spin structures, we have two types of contributions from two and three bilinears. The term with three bilinears produces
is the Koba-Nielsen factor and in the last step we have used
The terms with two bilinears produce
where , with .
In the odd spin structure we have similar contributions, from three bilinears we have three terms depending on the choice of the points where the two zero modes are absorbed
where the sum on exchanges means summing terms with and exchanged in the same vertex. From two bilinears we have three terms
Let us consider the two independent helicity configurations. First the case . We begin from even spin structures, we must compute the scalar products :
Using momentum conservation and , so that one has and one can thus factor out and get
The contribution of the odd spin structure becomes proportional to the contribution of the even spin structure after using , thus the complete amplitude vanishes for this choice of helicities, as well as for ,
as expected from SUSY Ward identities
Let us then consider the case . For this helicity configuration one has a single term. The even spin structures produce
It is convenient to compute factorizing the MHV amplitude. In the factor would give zero due to collinear kinematics. In order to circumvent these subtleties, one can analytically continue to complex momenta and choose . This yields the ‘right’ result:
Using partial integration one can replace with to make it look more symmetric and finally find
In the odd spin structure, only sectors contribute. Following similar steps, one finds a similar result with replaced by . Now we can write the complete three-point amplitude
To compute planar, non-planar and un-oriented contributions one has to choose the specific modular parameter and the corresponding integration domain [Sagnotti:1987tw, Bianchi:1988fr, Pradisi:1988xd, Bianchi:1988ux, Bianchi:1989du]. The result is generically divergent for both sectors, wherein it is related by gauge invariance to the 2-point amplitude, encoding -functions and one-loop threshold corrections to the gauge kinetic functions. As already observed, it vanishes in sectors, in a way reminiscent of the no-triangle conjecture in SYM, i.e. the absence of one-loop massless amplitudes with three (bunches of) insertion points.
4 Four-point amplitudes
We are now ready to compute four-point amplitudes. We start by briefly reviewing and summarising the results of [Bianchi:2006nf] and then analyse them in terms of helicity configurations, color orderings and limiting behaviours.
The starting point is
where the integration region and the Chan-Paton factor depend on the distributions of insertions on the two boundaries for the annulus (planar , non-planar and ). For the un-orientable case there is no choice, except for the relative ordering of the insertions. Here, we will only summarise the results, the details can be found in [Bianchi:2006nf].
4.1 Even spin structures, four bilinears
The fermionic contribution consists in two types of terms connected and disconnected. The result for connected contractions is
depends on the number of preserved SUSY, on the world-sheet modular parameter , on the parameters of the brane configuration coded in and the moduli of the “compactification”. The disconnected contractions yield
4.2 Even spin structures, three bilinears
Aside from the bosonic contractions, the fermionic contractions are the same as for three-point amplitudes, discussed previously, thus one finds
4.3 Even spin structures, two bilinears
We already computed the fermionic contractions, thus the contribution to the amplitude is
Notice that each term is gauge invariant per se up to total derivatives. For instance, replacing (or ) with the momentum and noting that (with for brevity) and , the bosonic contractions in can be rewritten as a total derivative that vanishes upon integration
4.4 Odd spin structure, four bilinears
Four fermionic bilinears allow three types of contractions.
First one can absorb the four zero modes at two points (for example and ):
Second, one can absorb two zero modes in a point and the others in two separate points. There are twelve ways to do this:
Third, one can absorb the zero modes in four different points:
4.5 Odd spin structure, three bilinears
With three bilinears, one has three ways to absorb zero modes and the contractions yield
4.6 Odd spin structure, two bilinears
With two fermionic bilinears, there are six ways to absorb the four fermionic zero-modes
5 Simplifying 4-pt amplitudes
Let us now simplify the above results and show that non MHV amplitudes vanish. We will also identify the regions of the integration domain that generically expose singularities and later on discuss which (tadpole) conditions the brane configurations must satisfy in order to cancel or mitigate the singular behaviours.
After analyzing the symmetry properties of the integration variables, that allow to manipulate the integrands and reduce the number of independent contributions, we will study the three independent helicity configurations and check that and .
The -term is proportional to thus reproduces the MHV structure, so we will focus on the -term.
This case is the most laborious because none of the traces over the Lorentz indices of the vanish.
The six terms arising from contractions of two bilinears are separately gauge invariant, thus we can always choose and get and fix so as to make some other product between momenta and polarizations vanish. For example one can compute with the choice and get
For brevity we define
Collecting the various Lorentz invariant structures yields
Using Schouten’s identity traces with two and four ’s can be related
One can easily obtain two more similar formulae permuting the external legs. These formulae can be inverted to give
We rewrite all the traces in terms of single traces of four ’s and obtain
The three-bilinear term can be simplified using a cyclic gauge choice, for example , and momentum conservation . With this choice all the kinematic factors become equal . Thus one finds
Expanding the sum we obtain
The terms can be rewritten in four ways using partial integrations, for example choosing the tern :
To obtain the other three it’s enough to perform a cyclic permutation on the indices . Replacing last equation in one gets
The ratios of can be used to transform the traces of ’s into one another according to
that can be easily proved using the helicity formalism and momentum conservation. Thus one gets