-
Worldsheet fermion correlators, modular tensors and higher genus integration kernels
Authors:
Eric D'Hoker,
Oliver Schlotterer
Abstract:
The cyclic product of an arbitrary number of Szegö kernels for even spin structure $δ$ on a compact higher-genus Riemann surface $Σ$ may be decomposed via a descent procedure which systematically separates the dependence on the points $z_i \in Σ$ from the dependence on the spin structure $δ$. In this paper, we prove two different, but complementary, descent procedures to achieve this decomposition…
▽ More
The cyclic product of an arbitrary number of Szegö kernels for even spin structure $δ$ on a compact higher-genus Riemann surface $Σ$ may be decomposed via a descent procedure which systematically separates the dependence on the points $z_i \in Σ$ from the dependence on the spin structure $δ$. In this paper, we prove two different, but complementary, descent procedures to achieve this decomposition. In the first procedure, the dependence on the points $z_i \in Σ$ is expressed via the meromorphic multiple-valued Enriquez kernels of e-print 1112.0864 while the dependence on $δ$ resides in multiplets of functions that are independent of $z_i$, locally holomorphic in the moduli of $Σ$ and generally do not have simple modular transformation properties. The $δ$-dependent constants are expressed as multiple convolution integrals over homology cycles of $Σ$, thereby generalizing a similar representation of the individual Enriquez kernels. In the second procedure, which was proposed without proof in e-print 2308.05044, the dependence on $z_i$ is expressed in terms the single-valued, modular invariant, but non-meromorphic DHS kernels introduced in e-print 2306.08644 while the dependence on $δ$ resides in modular tensors that are independent of $z_i$ and are generally non-holomorphic in the moduli of $Σ$. Although the individual building blocks of these decompositions have markedly different properties, we show that the combinatorial structure of the two decompositions is virtually identical, thereby extending the striking correspondence observed earlier between the roles played by Enriquez and DHS kernels. Both decompositions are further generalized to the case of linear chain products of Szegö kernels.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Deriving motivic coactions and single-valued maps at genus zero from zeta generators
Authors:
Hadleigh Frost,
Martijn Hidding,
Deepak Kamlesh,
Carlos Rodriguez,
Oliver Schlotterer,
Bram Verbeek
Abstract:
Multiple polylogarithms are equipped with rich algebraic structures including the motivic coaction and the single-valued map which both found fruitful applications in high-energy physics. In recent work arXiv:2312.00697, the current authors presented a conjectural reformulation of the motivic coaction and the single-valued map via zeta generators, certain operations on non-commuting variables in s…
▽ More
Multiple polylogarithms are equipped with rich algebraic structures including the motivic coaction and the single-valued map which both found fruitful applications in high-energy physics. In recent work arXiv:2312.00697, the current authors presented a conjectural reformulation of the motivic coaction and the single-valued map via zeta generators, certain operations on non-commuting variables in suitable generating series of multiple polylogarithms. In this work, the conjectures of the reference will be proven for multiple polylogarithms that depend on any number of variables on the Riemann sphere.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
Meromorphic higher-genus integration kernels via convolution over homology cycles
Authors:
Eric D'Hoker,
Oliver Schlotterer
Abstract:
Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the…
▽ More
Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the prime form. Our new representation is used to demonstrate the closure of the space of Enriquez kernels under convolution over homology cycles and under variations of the moduli. The results of this work further strengthen the remarkable parallels of Enriquez kernels with the non-holomorphic modular tensors recently developed in an alternative construction of higher-genus polylogarithms.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
Relating flat connections and polylogarithms on higher genus Riemann surfaces
Authors:
Eric D'Hoker,
Benjamin Enriquez,
Oliver Schlotterer,
Federico Zerbini
Abstract:
In this work, we relate two recent constructions that generalize classical (genus-zero) polylogarithms to higher-genus Riemann surfaces. A flat connection valued in a freely generated Lie algebra on a punctured Riemann surface of arbitrary genus produces an infinite family of homotopy-invariant iterated integrals associated to all possible words in the alphabet of the Lie algebra generators. Each…
▽ More
In this work, we relate two recent constructions that generalize classical (genus-zero) polylogarithms to higher-genus Riemann surfaces. A flat connection valued in a freely generated Lie algebra on a punctured Riemann surface of arbitrary genus produces an infinite family of homotopy-invariant iterated integrals associated to all possible words in the alphabet of the Lie algebra generators. Each iterated integral associated to a word is a higher-genus polylogarithm. Different flat connections taking values in the same Lie algebra on a given Riemann surface may be related to one another by the composition of a gauge transformation and an automorphism of the Lie algebra, thus producing closely related families of polylogarithms. In this paper we provide two methods to explicitly construct this correspondence between the meromorphic multiple-valued connection introduced by Enriquez in e-Print 1112.0864 and the non-meromorphic single-valued and modular-invariant connection introduced by D'Hoker, Hidding and Schlotterer, in e-Print 2306.08644.
△ Less
Submitted 23 March, 2025; v1 submitted 13 January, 2025;
originally announced January 2025.
-
Pinching rules in the chiral-splitting description of one-loop string amplitudes
Authors:
Filippo Maria Balli,
Alex Edison,
Oliver Schlotterer
Abstract:
Loop amplitudes in string theories reduce to those of gauge theories and (super)gravity in their worldline description as the inverse string tension $α'$ tends to zero. The appearance of reducible diagrams in these $α' \rightarrow 0$ limits is determined through so-called pinching rules in the worldline literature. In this work, we extend these pinching rules to the chiral-splitting description of…
▽ More
Loop amplitudes in string theories reduce to those of gauge theories and (super)gravity in their worldline description as the inverse string tension $α'$ tends to zero. The appearance of reducible diagrams in these $α' \rightarrow 0$ limits is determined through so-called pinching rules in the worldline literature. In this work, we extend these pinching rules to the chiral-splitting description of one-loop superstring amplitudes where left- and right-moving degrees of freedom decouple at fixed loop momentum. Starting from six points, the Kronecker-Eisenstein integrands of chiral amplitudes introduce subtleties into the pinching rules and integration-by-parts simplifications. Resolutions of these subtleties are presented and applied to produce a new superspace representation of the six-point one-loop amplitude of type IIA/B supergravity. The worldline computations and their subtleties are compared with the ambitwistor-string approach to one-loop field-theory amplitudes where integration-by-parts manipulations are shown to be more flexible. Throughout this work, the homology invariance of loop-momentum dependent correlation functions on the torus is highlighted as a consistency condition of $α' \rightarrow 0$ limits and their comparison with ambitwistor methods.
△ Less
Submitted 16 April, 2025; v1 submitted 25 October, 2024;
originally announced October 2024.
-
Fay identities for polylogarithms on higher-genus Riemann surfaces
Authors:
Eric D'Hoker,
Oliver Schlotterer
Abstract:
A recent construction of polylogarithms on Riemann surfaces of arbitrary genus in arXiv:2306.08644 is based on a flat connection assembled from single-valued non-holomorphic integration kernels that depend on two points on the Riemann surface. In this work, we construct and prove infinite families of bilinear relations among these integration kernels that are necessary for the closure of the space…
▽ More
A recent construction of polylogarithms on Riemann surfaces of arbitrary genus in arXiv:2306.08644 is based on a flat connection assembled from single-valued non-holomorphic integration kernels that depend on two points on the Riemann surface. In this work, we construct and prove infinite families of bilinear relations among these integration kernels that are necessary for the closure of the space of higher-genus polylogarithms under integration over the points on the surface. Our bilinear relations generalize the Fay identities among the genus-one Kronecker-Eisenstein kernels to arbitrary genus. The multiple-valued meromorphic kernels in the flat connection of Enriquez are conjectured to obey higher-genus Fay identities of exactly the same form as their single-valued non-holomorphic counterparts. We initiate the applications of Fay identities to derive functional relations among higher-genus polylogarithms involving either single-valued or meromorphic integration kernels.
△ Less
Submitted 2 October, 2024; v1 submitted 16 July, 2024;
originally announced July 2024.
-
Canonicalizing zeta generators: genus zero and genus one
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Oliver Schlotterer,
Leila Schneps,
Bram Verbeek
Abstract:
Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, togethe…
▽ More
Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space of formal and motivic multizeta values. Based on these canonical polynomials, we propose a canonical isomorphism that maps motivic multizeta values into the $f$-alphabet. The canonical Lie polynomials from the genus-zero setup determine canonical zeta generators in genus one that act on the two generators of Enriquez' elliptic associators. Up to a single contribution at fixed degree, the zeta generators in genus one are systematically expanded in terms of Tsunogai's geometric derivations dual to holomorphic Eisenstein series, leading to a wealth of explicit high-order computations. Earlier ambiguities in defining the non-geometric part of genus-one zeta generators are resolved by imposing a new representation-theoretic condition. The tight interplay between zeta generators in genus zero and genus one unravelled in this work connects the construction of single-valued multiple polylogarithms on the sphere with iterated-Eisenstein-integral representations of modular graph forms.
△ Less
Submitted 4 July, 2024; v1 submitted 7 June, 2024;
originally announced June 2024.
-
Non-holomorphic modular forms from zeta generators
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Oliver Schlotterer,
Leila Schneps,
Bram Verbeek
Abstract:
We study non-holomorphic modular forms built from iterated integrals of holomorphic modular forms for SL$(2,\mathbb Z)$ known as equivariant iterated Eisenstein integrals. A special subclass of them furnishes an equivalent description of the modular graph forms appearing in the low-energy expansion of string amplitudes at genus one. Notably the Fourier expansion of modular graph forms contains sin…
▽ More
We study non-holomorphic modular forms built from iterated integrals of holomorphic modular forms for SL$(2,\mathbb Z)$ known as equivariant iterated Eisenstein integrals. A special subclass of them furnishes an equivalent description of the modular graph forms appearing in the low-energy expansion of string amplitudes at genus one. Notably the Fourier expansion of modular graph forms contains single-valued multiple zeta values. We deduce the appearance of products and higher-depth instances of multiple zeta values in equivariant iterated Eisenstein integrals, and ultimately modular graph forms, from the appearance of simpler odd Riemann zeta values. This analysis relies on so-called zeta generators which act on certain non-commutative variables in the generating series of the iterated integrals. From an extension of these non-commutative variables we incorporate iterated integrals involving holomorphic cusp forms into our setup and use them to construct the modular completion of triple Eisenstein integrals. Our work represents a fully explicit realisation of the modular graph forms within Brown's framework of equivariant iterated Eisenstein integrals and reveals structural analogies between single-valued period functions appearing in genus zero and one string amplitudes.
△ Less
Submitted 3 October, 2024; v1 submitted 21 March, 2024;
originally announced March 2024.
-
Motivic coaction and single-valued map of polylogarithms from zeta generators
Authors:
Hadleigh Frost,
Martijn Hidding,
Deepak Kamlesh,
Carlos Rodriguez,
Oliver Schlotterer,
Bram Verbeek
Abstract:
We introduce a new Lie-algebraic approach to explicitly construct the motivic coaction and single-valued map of multiple polylogarithms in any number of variables. In both cases, the appearance of multiple zeta values is controlled by conjugating generating series of polylogarithms with Lie-algebra generators associated with odd zeta values. Our reformulation of earlier constructions of coactions…
▽ More
We introduce a new Lie-algebraic approach to explicitly construct the motivic coaction and single-valued map of multiple polylogarithms in any number of variables. In both cases, the appearance of multiple zeta values is controlled by conjugating generating series of polylogarithms with Lie-algebra generators associated with odd zeta values. Our reformulation of earlier constructions of coactions and single-valued polylogarithms preserves choices of fibration bases, exposes the correlation between multiple zeta values of different depths and paves the way for generalizations beyond genus zero.
△ Less
Submitted 16 September, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Basis decompositions of genus-one string integrals
Authors:
Carlos Rodriguez,
Oliver Schlotterer,
Yong Zhang
Abstract:
One-loop scattering amplitudes in string theories involve configuration-space integrals over genus-one surfaces with coefficients of Kronecker-Eisenstein series in the integrand. A conjectural genus-one basis of integrands under Fay identities and integration by parts was recently constructed out of chains of Kronecker-Eisenstein series. In this work, we decompose a variety of more general genus-o…
▽ More
One-loop scattering amplitudes in string theories involve configuration-space integrals over genus-one surfaces with coefficients of Kronecker-Eisenstein series in the integrand. A conjectural genus-one basis of integrands under Fay identities and integration by parts was recently constructed out of chains of Kronecker-Eisenstein series. In this work, we decompose a variety of more general genus-one integrands into the conjectural chain basis. The explicit form of the expansion coefficients is worked out for infinite families of cases where the Kronecker-Eisenstein series form cycles. Our results can be used to simplify multiparticle amplitudes in supersymmetric, heterotic and bosonic string theories and to investigate loop-level echoes of the field-theory double-copy structures of string tree-level amplitudes. The multitude of basis reductions in this work strongly validate the recently proposed chain basis and stimulate mathematical follow-up studies of more general configuration-space integrals with additional marked points or at higher genus.
△ Less
Submitted 5 May, 2024; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Cyclic products of higher-genus Szegö kernels, modular tensors and polylogarithms
Authors:
Eric D'Hoker,
Martijn Hidding,
Oliver Schlotterer
Abstract:
A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coeffici…
▽ More
A wealth of information on multiloop string amplitudes is encoded in fermionic two-point functions known as Szegö kernels. In this paper we show that cyclic products of any number of Szegö kernels on a Riemann surface of arbitrary genus may be decomposed into linear combinations of modular tensors on moduli space that carry all the dependence on the spin structure $δ$. The $δ$-independent coefficients in these combinations carry all the dependence on the marked points and are composed of the integration kernels of higher-genus polylogarithms. We determine the antiholomorphic moduli derivatives of the $δ$-dependent modular tensors.
△ Less
Submitted 12 May, 2025; v1 submitted 9 August, 2023;
originally announced August 2023.
-
Constructing polylogarithms on higher-genus Riemann surfaces
Authors:
Eric D'Hoker,
Martijn Hidding,
Oliver Schlotterer
Abstract:
An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our const…
▽ More
An explicit construction is presented of homotopy-invariant iterated integrals on a Riemann surface of arbitrary genus in terms of a flat connection valued in a freely generated Lie algebra. The integration kernels consist of modular tensors, built from convolutions of the Arakelov Green function and its derivatives with holomorphic Abelian differentials, combined into a flat connection. Our construction thereby produces explicit formulas for polylogarithms as higher-genus modular tensors. This construction generalizes the elliptic polylogarithms of Brown-Levin, and prompts future investigations into the relation with the function spaces of higher-genus polylogarithms in the work of Enriquez-Zerbini.
△ Less
Submitted 8 March, 2025; v1 submitted 14 June, 2023;
originally announced June 2023.
-
Cyclic products of Szegö kernels and spin structure sums I: hyper-elliptic formulation
Authors:
Eric D'Hoker,
Martijn Hidding,
Oliver Schlotterer
Abstract:
The summation over spin structures, which is required to implement the GSO projection in the RNS formulation of superstring theories, often presents a significant impediment to the explicit evaluation of superstring amplitudes. In this paper we discover that, for Riemann surfaces of genus two and even spin structures, a collection of novel identities leads to a dramatic simplification of the spin…
▽ More
The summation over spin structures, which is required to implement the GSO projection in the RNS formulation of superstring theories, often presents a significant impediment to the explicit evaluation of superstring amplitudes. In this paper we discover that, for Riemann surfaces of genus two and even spin structures, a collection of novel identities leads to a dramatic simplification of the spin structure sum. Explicit formulas for an arbitrary number of vertex points are obtained in two steps. First, we show that the spin structure dependence of a cyclic product of Szegö kernels (i.e. Dirac propagators for worldsheet fermions) may be reduced to the spin structure dependence of the four-point function. Of particular importance are certain trilinear relations that we shall define and prove. In a second step, the known expressions for the genus-two even spin structure measure are used to perform the remaining spin structure sums. The dependence of the spin summand on the vertex points is reduced to simple building blocks that can already be identified from the two-point function. The hyper-elliptic formulation of genus-two Riemann surfaces is used to derive these results, and its $SL(2,\mathbb C)$ covariance is employed to organize the calculations and the structure of the final formulas. The translation of these results into the language of Riemann $\vartheta$-functions, and applications to the evaluation of higher-point string amplitudes, are relegated to subsequent companion papers.
△ Less
Submitted 9 May, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Perfecting one-loop BCJ numerators in SYM and supergravity
Authors:
Alex Edison,
Song He,
Henrik Johansson,
Oliver Schlotterer,
Fei Teng,
Yong Zhang
Abstract:
We take a major step towards computing $D$-dimensional one-loop amplitudes in general gauge theories, compatible with the principles of unitarity and the color-kinematics duality. For $n$-point amplitudes with either supersymmetry multiplets or generic non-supersymmetric matter in the loop, simple all-multiplicity expressions are obtained for the maximal cuts of kinematic numerators of $n$-gon dia…
▽ More
We take a major step towards computing $D$-dimensional one-loop amplitudes in general gauge theories, compatible with the principles of unitarity and the color-kinematics duality. For $n$-point amplitudes with either supersymmetry multiplets or generic non-supersymmetric matter in the loop, simple all-multiplicity expressions are obtained for the maximal cuts of kinematic numerators of $n$-gon diagrams. At $n=6,7$ points with maximal supersymmetry, we extend the cubic-diagram numerators to encode all contact terms, and thus solve the long-standing problem of \emph{simultaneously} realizing the following properties: color-kinematics duality, manifest locality, optimal power counting of loop momenta, quadratic rather than linearized Feynman propagators, compatibility with double copy as well as all graph symmetries. Color-kinematics dual representations with similar properties are presented in the half-maximally supersymmetric case at $n=4,5$ points. The resulting gauge-theory integrands and their supergravity counterparts obtained from the double copy are checked to reproduce the expected ultraviolet divergences.
△ Less
Submitted 17 February, 2023; v1 submitted 1 November, 2022;
originally announced November 2022.
-
Tree-level amplitudes from the pure spinor superstring
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
We give a comprehensive review of recent developments on using the pure spinor formalism to compute massless superstring scattering amplitudes at tree level. The main results of the pure spinor computations are placed into the context of related topics including the color-kinematics duality in field theory and the mathematical structure of $α'$-corrections.
We give a comprehensive review of recent developments on using the pure spinor formalism to compute massless superstring scattering amplitudes at tree level. The main results of the pure spinor computations are placed into the context of related topics including the color-kinematics duality in field theory and the mathematical structure of $α'$-corrections.
△ Less
Submitted 9 April, 2023; v1 submitted 25 October, 2022;
originally announced October 2022.
-
Modular graph forms from equivariant iterated Eisenstein integrals
Authors:
Daniele Dorigoni,
Mehregan Doroudiani,
Joshua Drewitt,
Martijn Hidding,
Axel Kleinschmidt,
Nils Matthes,
Oliver Schlotterer,
Bram Verbeek
Abstract:
The low-energy expansion of closed-string scattering amplitudes at genus one introduces infinite families of non-holomorphic modular forms called modular graph forms. Their differential and number-theoretic properties motivated Brown's alternative construction of non-holomorphic modular forms in the recent mathematics literature from so-called equivariant iterated Eisenstein integrals. In this wor…
▽ More
The low-energy expansion of closed-string scattering amplitudes at genus one introduces infinite families of non-holomorphic modular forms called modular graph forms. Their differential and number-theoretic properties motivated Brown's alternative construction of non-holomorphic modular forms in the recent mathematics literature from so-called equivariant iterated Eisenstein integrals. In this work, we provide the first validations beyond depth one of Brown's conjecture that equivariant iterated Eisenstein integrals contain modular graph forms. Apart from a variety of examples at depth two and three, we spell out the systematics of the dictionary and make certain elements of Brown's construction fully explicit to all orders.
△ Less
Submitted 21 December, 2022; v1 submitted 14 September, 2022;
originally announced September 2022.
-
Elliptic modular graph forms II: Iterated integrals
Authors:
Martijn Hidding,
Oliver Schlotterer,
Bram Verbeek
Abstract:
Elliptic modular graph forms (eMGFs) are non-holomorphic modular forms depending on a modular parameter $τ$ of a torus and marked points $z$ thereon. Traditionally, eMGFs are constructed from nested lattice sums over the discrete momenta on the worldsheet torus in closed-string genus-one amplitudes. In this work, we develop methods to translate the lattice-sum realization of eMGFs into iterated in…
▽ More
Elliptic modular graph forms (eMGFs) are non-holomorphic modular forms depending on a modular parameter $τ$ of a torus and marked points $z$ thereon. Traditionally, eMGFs are constructed from nested lattice sums over the discrete momenta on the worldsheet torus in closed-string genus-one amplitudes. In this work, we develop methods to translate the lattice-sum realization of eMGFs into iterated integrals over modular parameters $τ$ of the torus with particular focus on cases with one marked point. Such iterated-integral representations manifest algebraic and differential relations among eMGFs and their degeneration limit $τ\rightarrow i\infty$. From a mathematical point of view, our results yield concrete realizations of single-valued elliptic polylogarithms at arbitrary depth in terms of meromorphic iterated integrals over modular forms and their complex conjugates. The basis dimensions of eMGFs at fixed modular and transcendental weights are derived from a simple counting of iterated integrals and a generalization of Tsunogai's derivation algebra.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Snowmass White Paper: the Double Copy and its Applications
Authors:
Tim Adamo,
John Joseph M. Carrasco,
Mariana Carrillo-González,
Marco Chiodaroli,
Henriette Elvang,
Henrik Johansson,
Donal O'Connell,
Radu Roiban,
Oliver Schlotterer
Abstract:
The double copy is, in essence, a map between scattering amplitudes in a broad variety of familiar field and string theories. In addition to the mathematically rich intrinsic structure, it underlies a multitude of active research directions and has a range of interesting applications in quantum, classical and effective field theories, including broad topics such as string theory, particle physics,…
▽ More
The double copy is, in essence, a map between scattering amplitudes in a broad variety of familiar field and string theories. In addition to the mathematically rich intrinsic structure, it underlies a multitude of active research directions and has a range of interesting applications in quantum, classical and effective field theories, including broad topics such as string theory, particle physics, astrophysics, and cosmology. This Snowmass white paper provides a brief introduction to the double copy, its applications, current research and future challenges.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Snowmass White Paper: String Perturbation Theory
Authors:
Nathan Berkovits,
Eric D'Hoker,
Michael B. Green,
Henrik Johansson,
Oliver Schlotterer
Abstract:
The purpose of this White Paper is to review recent progress towards elucidating and evaluating string amplitudes, relating them to quantum field theory amplitudes, applying their predictions to string dualities, exploring their connection with gravitational physics, and deepening our understanding of their mathematical structure. We also present a selection of targets for future research.
The purpose of this White Paper is to review recent progress towards elucidating and evaluating string amplitudes, relating them to quantum field theory amplitudes, applying their predictions to string dualities, exploring their connection with gravitational physics, and deepening our understanding of their mathematical structure. We also present a selection of targets for future research.
△ Less
Submitted 19 April, 2022; v1 submitted 17 March, 2022;
originally announced March 2022.
-
One-loop amplitudes in Einstein-Yang-Mills from forward limits
Authors:
Franziska Porkert,
Oliver Schlotterer
Abstract:
We present a method to compute the integrands of one-loop Einstein-Yang-Mills amplitudes for any number of external gauge and gravity multiplets. Our construction relies on the double-copy structure of Einstein-Yang-Mills as (super-)Yang-Mills with the so-called YM+$φ^3$ theory -- pure Yang-Mills coupled to bi-adjoint scalars -- which we implement via one-loop Cachazo-He-Yuan formulae. The YM+…
▽ More
We present a method to compute the integrands of one-loop Einstein-Yang-Mills amplitudes for any number of external gauge and gravity multiplets. Our construction relies on the double-copy structure of Einstein-Yang-Mills as (super-)Yang-Mills with the so-called YM+$φ^3$ theory -- pure Yang-Mills coupled to bi-adjoint scalars -- which we implement via one-loop Cachazo-He-Yuan formulae. The YM+$φ^3$ building blocks are obtained from forward limits of tree-level input in external gluons and scalars, and we give the composition rules for any number of traces and orders in the couplings $g$ and $κ$. On the one hand, we spell out supersymmetry- and dimension-agnostic relations that reduce loop integrands of Einstein-Yang-Mills to those of pure gauge theories. On the other hand, we present four-point results for maximal and half-maximal supersymmetry where all supersymmetry cancellations are exposed. In the half-maximal case, we determine six-dimensional anomalies due to chiral hypermultiplets in the loop.
△ Less
Submitted 4 February, 2023; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Poincaré series for modular graph forms at depth two. II. Iterated integrals of cusp forms
Authors:
Daniele Dorigoni,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincaré series in a companion paper. The source term of the Laplace equation is a product of (derivatives of) two non-holomorphic Eisenstein series whence the modular invariants are assigned depth two. These modular invariant functions can sometimes be e…
▽ More
We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincaré series in a companion paper. The source term of the Laplace equation is a product of (derivatives of) two non-holomorphic Eisenstein series whence the modular invariants are assigned depth two. These modular invariant functions can sometimes be expressed in terms of single-valued iterated integrals of holomorphic Eisenstein series as they appear in generating series of modular graph forms. We show that the set of iterated integrals of Eisenstein series has to be extended to include also iterated integrals of holomorphic cusp forms to find expressions for all modular invariant functions of depth two. The coefficients of these cusp forms are identified as ratios of their L-values inside and outside the critical strip.
△ Less
Submitted 28 January, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Poincaré series for modular graph forms at depth two. I. Seeds and Laplace systems
Authors:
Daniele Dorigoni,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We derive new Poincaré-series representations for infinite families of non-holomorphic modular invariant functions that include modular graph forms as they appear in the low-energy expansion of closed-string scattering amplitudes at genus one. The Poincaré series are constructed from iterated integrals over single holomorphic Eisenstein series and their complex conjugates, decorated by suitable co…
▽ More
We derive new Poincaré-series representations for infinite families of non-holomorphic modular invariant functions that include modular graph forms as they appear in the low-energy expansion of closed-string scattering amplitudes at genus one. The Poincaré series are constructed from iterated integrals over single holomorphic Eisenstein series and their complex conjugates, decorated by suitable combinations of zeta values. We evaluate the Poincaré sums over these iterated Eisenstein integrals of depth one and deduce new representations for all modular graph forms built from iterated Eisenstein integrals at depth two. In a companion paper, some of the Poincaré sums over depth-one integrals going beyond modular graph forms will be described in terms of iterated integrals over holomorphic cusp forms and their L-values.
△ Less
Submitted 28 January, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Two-loop superstring five-point amplitudes III, construction via the RNS formulation: even spin structures
Authors:
Eric D'Hoker,
Oliver Schlotterer
Abstract:
The contribution from even spin structures to the genus-two amplitude for five massless external NS states in Type II and Heterotic superstrings is evaluated from first principles in the RNS formulation. Using chiral splitting with the help of loop momenta this problem reduces to the evaluation of the corresponding chiral amplitude, which is carried out using the same techniques that were used for…
▽ More
The contribution from even spin structures to the genus-two amplitude for five massless external NS states in Type II and Heterotic superstrings is evaluated from first principles in the RNS formulation. Using chiral splitting with the help of loop momenta this problem reduces to the evaluation of the corresponding chiral amplitude, which is carried out using the same techniques that were used for the genus-two amplitude with four external NS states. The results agree with the parity-even NS components of a construction using chiral splitting and pure spinors given in earlier companion papers arXiv:2006.05270 and arXiv:2008.08687.
△ Less
Submitted 24 July, 2022; v1 submitted 2 August, 2021;
originally announced August 2021.
-
One-loop matrix elements of effective superstring interactions: $α'$-expanding loop integrands
Authors:
Alex Edison,
Max Guillen,
Henrik Johansson,
Oliver Schlotterer,
Fei Teng
Abstract:
In the low-energy effective action of string theories, non-abelian gauge interactions and supergravity are augmented by infinite towers of higher-mass-dimension operators. We propose a new method to construct one-loop matrix elements with insertions of operators $D^{2k} F^n$ and $D^{2k} R^n$ in the tree-level effective action of type-I and type-II superstrings. Inspired by ambitwistor string theor…
▽ More
In the low-energy effective action of string theories, non-abelian gauge interactions and supergravity are augmented by infinite towers of higher-mass-dimension operators. We propose a new method to construct one-loop matrix elements with insertions of operators $D^{2k} F^n$ and $D^{2k} R^n$ in the tree-level effective action of type-I and type-II superstrings. Inspired by ambitwistor string theories, our method is based on forward limits of moduli-space integrals using string tree-level amplitudes with two extra points, expanded in powers of the inverse string tension $α'$. Similar to one-loop ambitwistor computations, intermediate steps feature non-standard linearized Feynman propagators which eventually recombine to conventional quadratic propagators. With linearized propagators the loop integrand of the matrix elements obey one-loop versions of the monodromy and KLT relations. We express a variety of four- and five-point examples in terms of quadratic propagators and formulate a criterion on the underlying genus-one correlation functions that should make this recombination possible at all orders in $α'$. The ultraviolet divergences of the one-loop matrix elements are crosschecked against the non-separating degeneration of genus-one integrals in string amplitudes. Conversely, our results can be used as a constructive method to determine degenerations of elliptic multiple zeta values and modular graph forms at arbitrary weight.
△ Less
Submitted 2 August, 2022; v1 submitted 16 July, 2021;
originally announced July 2021.
-
Scattering Massive String Resonances through Field-Theory Methods
Authors:
Max Guillen,
Henrik Johansson,
Renann Lipinski Jusinskas,
Oliver Schlotterer
Abstract:
We present a new method, exact in $α'$, to explicitly compute string tree-level amplitudes involving one massive state and any number of massless ones. This construction relies on the so-called twisted heterotic string, which admits only gauge multiplets, a gravitational multiplet, and a single massive supermultiplet in its spectrum. In this simplified model, we determine the moduli-space integran…
▽ More
We present a new method, exact in $α'$, to explicitly compute string tree-level amplitudes involving one massive state and any number of massless ones. This construction relies on the so-called twisted heterotic string, which admits only gauge multiplets, a gravitational multiplet, and a single massive supermultiplet in its spectrum. In this simplified model, we determine the moduli-space integrand of all amplitudes with one massive state using Berends-Giele currents of the gauge multiplet. These integrands are then straightforwardly mapped to gravitational amplitudes in the twisted heterotic string and to the corresponding massive amplitudes of the conventional type-I and type-II superstrings.
△ Less
Submitted 28 July, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
Coaction and double-copy properties of configuration-space integrals at genus zero
Authors:
Ruth Britto,
Sebastian Mizera,
Carlos Rodriguez,
Oliver Schlotterer
Abstract:
We investigate configuration-space integrals over punctured Riemann spheres from the viewpoint of the motivic Galois coaction and double-copy structures generalizing the Kawai-Lewellen-Tye (KLT) relations in string theory. For this purpose, explicit bases of twisted cycles and cocycles are worked out whose orthonormality simplifies the coaction. We present methods to efficiently perform and organi…
▽ More
We investigate configuration-space integrals over punctured Riemann spheres from the viewpoint of the motivic Galois coaction and double-copy structures generalizing the Kawai-Lewellen-Tye (KLT) relations in string theory. For this purpose, explicit bases of twisted cycles and cocycles are worked out whose orthonormality simplifies the coaction. We present methods to efficiently perform and organize the expansions of configuration-space integrals in the inverse string tension $α'$ or the dimensional-regularization parameter $ε$ of Feynman integrals. Generating-function techniques open up a new perspective on the coaction of multiple polylogarithms in any number of variables and analytic continuations in the unintegrated punctures. We present a compact recursion for a generalized KLT kernel and discuss its origin from intersection numbers of Stasheff polytopes and its implications for correlation functions of two-dimensional conformal field theories. We find a non-trivial example of correlation functions in $(\mathfrak{p},2)$ minimal models, which can be normalized to become uniformly transcendental in the $\mathfrak{p} \to \infty$ limit.
△ Less
Submitted 10 May, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
Elliptic modular graph forms I: Identities and generating series
Authors:
Eric D'Hoker,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker--Eisenstein series. The simplest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms.…
▽ More
Elliptic modular graph functions and forms (eMGFs) are defined for arbitrary graphs as natural generalizations of modular graph functions and forms obtained by including the character of an Abelian group in their Kronecker--Eisenstein series. The simplest examples of eMGFs are given by the Green function for a massless scalar field on the torus and the Zagier single-valued elliptic polylogarithms. More complicated eMGFs are produced by the non-separating degeneration of a higher genus surface to a genus one surface with punctures. eMGFs may equivalently be represented by multiple integrals over the torus of combinations of coefficients of the Kronecker--Eisenstein series, and may be assembled into generating series. These relations are exploited to derive holomorphic subgraph reduction formulas, as well as algebraic and differential identities between eMGFs and their generating series.
△ Less
Submitted 15 March, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Towards closed strings as single-valued open strings at genus one
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Carlos R. Mafra,
Oliver Schlotterer,
Bram Verbeek
Abstract:
We relate the low-energy expansions of world-sheet integrals in genus-one amplitudes of open- and closed-string states. The respective expansion coefficients are elliptic multiple zeta values in the open-string case and non-holomorphic modular forms dubbed "modular graph forms" for closed strings. By inspecting the differential equations and degeneration limits of suitable generating series of gen…
▽ More
We relate the low-energy expansions of world-sheet integrals in genus-one amplitudes of open- and closed-string states. The respective expansion coefficients are elliptic multiple zeta values in the open-string case and non-holomorphic modular forms dubbed "modular graph forms" for closed strings. By inspecting the differential equations and degeneration limits of suitable generating series of genus-one integrals, we identify formal substitution rules mapping the elliptic multiple zeta values of open strings to the modular graph forms of closed strings. Based on the properties of these rules, we refer to them as an elliptic single-valued map which generalizes the genus-zero notion of a single-valued map acting on multiple zeta values seen in tree-level relations between the open and closed string.
△ Less
Submitted 14 June, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Identities among higher genus modular graph tensors
Authors:
Eric D'Hoker,
Oliver Schlotterer
Abstract:
Higher genus modular graph tensors map Feynman graphs to functions on the Torelli space of genus-$h$ compact Riemann surfaces which transform as tensors under the modular group $Sp(2h , \mathbb Z)$, thereby generalizing a construction of Kawazumi. An infinite family of algebraic identities between one-loop and tree-level modular graph tensors are proven for arbitrary genus and arbitrary tensorial…
▽ More
Higher genus modular graph tensors map Feynman graphs to functions on the Torelli space of genus-$h$ compact Riemann surfaces which transform as tensors under the modular group $Sp(2h , \mathbb Z)$, thereby generalizing a construction of Kawazumi. An infinite family of algebraic identities between one-loop and tree-level modular graph tensors are proven for arbitrary genus and arbitrary tensorial rank. We also derive a family of identities that apply to modular graph tensors of higher loop order.
△ Less
Submitted 14 September, 2021; v1 submitted 2 October, 2020;
originally announced October 2020.
-
Two-loop superstring five-point amplitudes II: Low energy expansion and S-duality
Authors:
Eric D'Hoker,
Carlos R. Mafra,
Boris Pioline,
Oliver Schlotterer
Abstract:
In an earlier paper, we constructed the genus-two amplitudes for five external massless states in Type II and Heterotic string theory, and showed that the alpha' expansion of the Type II amplitude reproduces the corresponding supergravity amplitude to leading order. In this paper, we analyze the effective interactions induced by Type IIB superstrings beyond supergravity, both for U(1)_R-preserving…
▽ More
In an earlier paper, we constructed the genus-two amplitudes for five external massless states in Type II and Heterotic string theory, and showed that the alpha' expansion of the Type II amplitude reproduces the corresponding supergravity amplitude to leading order. In this paper, we analyze the effective interactions induced by Type IIB superstrings beyond supergravity, both for U(1)_R-preserving amplitudes such as for five gravitons, and for U(1)_R-violating amplitudes such as for one dilaton and four gravitons. At each order in alpha', the coefficients of the effective interactions are given by integrals over moduli space of genus-two modular graph functions, generalizing those already encountered for four external massless states. To leading and sub-leading orders, the coefficients of the effective interactions D^2 R^5 and D^4 R^5 are found to match those of D^4 R^4 and D^6 R^4, respectively, as required by non-linear supersymmetry. To the next order, a D^6 R^5 effective interaction arises, which is independent of the supersymmetric completion of D^8 R^4, and already arose at genus one. A novel identity on genus-two modular graph functions, which we prove, ensures that up to order D^6 R^5, the five-point amplitudes require only a single new modular graph function in addition to those needed for the four-point amplitude. We check that the supergravity limit of U(1)_R-violating amplitudes is free of UV divergences to this order, consistently with the known structure of divergences in Type IIB supergravity. Our results give strong consistency tests on the full five-point amplitude, and pave the way for understanding S-duality beyond the BPS-protected sector.
△ Less
Submitted 24 July, 2022; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Two dialects for KZB equations: generating one-loop open-string integrals
Authors:
Johannes Broedel,
André Kaderli,
Oliver Schlotterer
Abstract:
Two different constructions generating the low-energy expansion of genus-one configuration-space integrals appearing in one-loop open-string amplitudes have been put forward in \rcites{Mafra:2019xms, *Mafra:2019ddf, Broedel:2019gba}. We are going to show that both approaches can be traced back to an elliptic system of Knizhnik--Zamolodchikov--Bernard(KZB) type on the twice-punctured torus. We deri…
▽ More
Two different constructions generating the low-energy expansion of genus-one configuration-space integrals appearing in one-loop open-string amplitudes have been put forward in \rcites{Mafra:2019xms, *Mafra:2019ddf, Broedel:2019gba}. We are going to show that both approaches can be traced back to an elliptic system of Knizhnik--Zamolodchikov--Bernard(KZB) type on the twice-punctured torus. We derive an explicit all-multiplicity representation of the elliptic KZB system for a vector of iterated integrals with an extra marked point and explore compatibility conditions for the two sets of algebra generators appearing in the two differential equations.
△ Less
Submitted 12 August, 2020; v1 submitted 7 July, 2020;
originally announced July 2020.
-
Two-loop superstring five-point amplitudes I: Construction via chiral splitting and pure spinors
Authors:
Eric D'Hoker,
Carlos R. Mafra,
Boris Pioline,
Oliver Schlotterer
Abstract:
The full two-loop amplitudes for five massless states in Type~II and Heterotic superstrings are constructed in terms of convergent integrals over the genus-two moduli space of compact Riemann surfaces and integrals of Green functions and Abelian differentials on the surface. The construction combines elements from the BRST cohomology of the pure spinor formulation and from chiral splitting with th…
▽ More
The full two-loop amplitudes for five massless states in Type~II and Heterotic superstrings are constructed in terms of convergent integrals over the genus-two moduli space of compact Riemann surfaces and integrals of Green functions and Abelian differentials on the surface. The construction combines elements from the BRST cohomology of the pure spinor formulation and from chiral splitting with the help of loop momenta and homology invariance. The $α' \to 0$ limit of the resulting superstring amplitude is shown to be in perfect agreement with the previously known amplitude computed in Type~II supergravity. Investigations of the $α'$ expansion of the Type~II amplitude and comparisons with predictions from S-duality are relegated to a first companion paper. A construction from first principles in the RNS formulation of the genus-two amplitude with five external NS states is relegated to a second companion paper.
△ Less
Submitted 3 July, 2020; v1 submitted 9 June, 2020;
originally announced June 2020.
-
One-loop Correlators and BCJ Numerators from Forward Limits
Authors:
Alex Edison,
Song He,
Oliver Schlotterer,
Fei Teng
Abstract:
We present new formulas for one-loop ambitwistor-string correlators for gauge theories in any even dimension with arbitrary combinations of gauge bosons, fermions and scalars running in the loop. Our results are driven by new all-multiplicity expressions for tree-level two-fermion correlators in the RNS formalism that closely resemble the purely bosonic ones. After taking forward limits of tree-le…
▽ More
We present new formulas for one-loop ambitwistor-string correlators for gauge theories in any even dimension with arbitrary combinations of gauge bosons, fermions and scalars running in the loop. Our results are driven by new all-multiplicity expressions for tree-level two-fermion correlators in the RNS formalism that closely resemble the purely bosonic ones. After taking forward limits of tree-level correlators with an additional pair of fermions/bosons, one-loop correlators become combinations of Lorentz traces in vector and spinor representations. Identities between these two types of traces manifest all supersymmetry cancellations and the power counting of loop momentum. We also obtain parity-odd contributions from forward limits with chiral fermions. One-loop numerators satisfying the Bern-Carrasco-Johansson (BCJ) duality for diagrams with linearized propagators can be extracted from such correlators using the well-established tree-level techniques in Yang-Mills theory coupled to biadjoint scalars. Finally, we obtain streamlined expressions for BCJ numerators up to seven points using multiparticle fields.
△ Less
Submitted 22 June, 2020; v1 submitted 7 May, 2020;
originally announced May 2020.
-
Generating series of all modular graph forms from iterated Eisenstein integrals
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We study generating series of torus integrals that contain all so-called modular graph forms relevant for massless one-loop closed-string amplitudes. By analysing the differential equation of the generating series we construct a solution for its low-energy expansion to all orders in the inverse string tension $α'$. Our solution is expressed through initial data involving multiple zeta values and c…
▽ More
We study generating series of torus integrals that contain all so-called modular graph forms relevant for massless one-loop closed-string amplitudes. By analysing the differential equation of the generating series we construct a solution for its low-energy expansion to all orders in the inverse string tension $α'$. Our solution is expressed through initial data involving multiple zeta values and certain real-analytic functions of the modular parameter of the torus. These functions are built from real and imaginary parts of holomorphic iterated Eisenstein integrals and should be closely related to Brown's recent construction of real-analytic modular forms. We study the properties of our real-analytic objects in detail and give explicit examples to a fixed order in the $α'$-expansion. In particular, our solution allows for a counting of linearly independent modular graph forms at a given weight, confirming previous partial results and giving predictions for higher, hitherto unexplored weights. It also sheds new light on the topic of uniform transcendentality of the $α'$-expansion.
△ Less
Submitted 13 May, 2020; v1 submitted 10 April, 2020;
originally announced April 2020.
-
All-order differential equations for one-loop closed-string integrals and modular graph forms
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We investigate generating functions for the integrals over world-sheet tori appearing in closed-string one-loop amplitudes of bosonic, heterotic and type-II theories. These closed-string integrals are shown to obey homogeneous and linear differential equations in the modular parameter of the torus. We spell out the first-order Cauchy-Riemann and second-order Laplace equations for the generating fu…
▽ More
We investigate generating functions for the integrals over world-sheet tori appearing in closed-string one-loop amplitudes of bosonic, heterotic and type-II theories. These closed-string integrals are shown to obey homogeneous and linear differential equations in the modular parameter of the torus. We spell out the first-order Cauchy-Riemann and second-order Laplace equations for the generating functions for any number of external states. The low-energy expansion of such torus integrals introduces infinite families of non-holomorphic modular forms known as modular graph forms. Our results generate homogeneous first- and second-order differential equations for arbitrary such modular graph forms and can be viewed as a step towards all-order low-energy expansions of closed-string integrals.
△ Less
Submitted 21 January, 2020; v1 submitted 8 November, 2019;
originally announced November 2019.
-
One-loop open-string integrals from differential equations: all-order alpha'-expansions at n points
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
We study generating functions of moduli-space integrals at genus one that are expected to form a basis for massless $n$-point one-loop amplitudes of open superstrings and open bosonic strings. These integrals are shown to satisfy the same type of linear and homogeneous first-order differential equation w.r.t. the modular parameter $τ$ which is known from the A-elliptic Knizhnik--Zamolodchikov--Ber…
▽ More
We study generating functions of moduli-space integrals at genus one that are expected to form a basis for massless $n$-point one-loop amplitudes of open superstrings and open bosonic strings. These integrals are shown to satisfy the same type of linear and homogeneous first-order differential equation w.r.t. the modular parameter $τ$ which is known from the A-elliptic Knizhnik--Zamolodchikov--Bernard associator. The expressions for their $τ$-derivatives take a universal form for the integration cycles in planar and non-planar one-loop open-string amplitudes. These differential equations manifest the uniformly transcendental appearance of iterated integrals over holomorphic Eisenstein series in the low-energy expansion w.r.t. the inverse string tension $α'$. In fact, we are led to matrix representations of certain derivations dual to Eisenstein series. Like this, also the $α'$-expansion of non-planar integrals is manifestly expressible in terms of iterated Eisenstein integrals without referring to twisted elliptic multiple zeta values. The degeneration of the moduli-space integrals at $τ\rightarrow i\infty$ is expressed in terms of their genus-zero analogues -- $(n{+}2)$-point Parke--Taylor integrals over disk boundaries. Our results yield a compact formula for $α'$-expansions of $n$-point integrals over boundaries of cylinder- or Moebius-strip worldsheets, where any desired order is accessible from elementary operations.
△ Less
Submitted 26 November, 2019; v1 submitted 28 August, 2019;
originally announced August 2019.
-
All-order alpha'-expansion of one-loop open-string integrals
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
We present a new method to evaluate the $α'$-expansion of genus-one integrals over open-string punctures and unravel the structure of the elliptic multiple zeta values in its coefficients. This is done by obtaining a simple differential equation of Knizhnik-Zamolodchikov-Bernard-type satisfied by generating functions of such integrals, and solving it via Picard iteration. The initial condition inv…
▽ More
We present a new method to evaluate the $α'$-expansion of genus-one integrals over open-string punctures and unravel the structure of the elliptic multiple zeta values in its coefficients. This is done by obtaining a simple differential equation of Knizhnik-Zamolodchikov-Bernard-type satisfied by generating functions of such integrals, and solving it via Picard iteration. The initial condition involves the generating functions at the cusp $τ\to i\infty$ and can be reduced to genus-zero integrals.
△ Less
Submitted 17 March, 2020; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Towards the n-point one-loop superstring amplitude III: One-loop correlators and their double-copy structure
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
In this final part of a series of three papers, we will assemble supersymmetric expressions for one-loop correlators in pure-spinor superspace that are BRST invariant, local, and single valued. A key driving force in this construction is the generalization of a so far unnoticed property at tree level; the correlators have the symmetry structure akin to Lie polynomials. One-loop correlators up to s…
▽ More
In this final part of a series of three papers, we will assemble supersymmetric expressions for one-loop correlators in pure-spinor superspace that are BRST invariant, local, and single valued. A key driving force in this construction is the generalization of a so far unnoticed property at tree level; the correlators have the symmetry structure akin to Lie polynomials. One-loop correlators up to seven points are presented in a variety of representations manifesting different subsets of their defining properties. These expressions are related via identities obeyed by the kinematic superfields and worldsheet functions spelled out in the first two parts of this series and reflecting a duality between the two kinds of ingredients.
Interestingly, the expression for the eight-point correlator following from our method seems to capture correctly all the dependence on the worldsheet punctures but leaves undetermined the coefficient of the holomorphic Eisenstein series ${\rm G}_4$. By virtue of chiral splitting, closed-string correlators follow from the double copy of the open-string results.
△ Less
Submitted 10 September, 2019; v1 submitted 28 December, 2018;
originally announced December 2018.
-
Towards the n-point one-loop superstring amplitude II: Worldsheet functions and their duality to kinematics
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
This is the second installment of a series of three papers in which we describe a method to determine higher-point correlation functions in one-loop open-superstring amplitudes from first principles. In this second part, we study worldsheet functions defined on a genus-one surface built from the coefficient functions of the Kronecker--Einsenstein series. We construct two classes of worldsheet func…
▽ More
This is the second installment of a series of three papers in which we describe a method to determine higher-point correlation functions in one-loop open-superstring amplitudes from first principles. In this second part, we study worldsheet functions defined on a genus-one surface built from the coefficient functions of the Kronecker--Einsenstein series. We construct two classes of worldsheet functions whose properties lead to several simplifying features within our description of one-loop correlators with the pure-spinor formalism. The first class is described by functions with prescribed monodromies, whose characteristic shuffle-symmetry property leads to a Lie-polynomial structure when multiplied by the local superfields from part I of this series. The second class is given by so-called generalized elliptic integrands (GEIs) that are constructed using the same combinatorial patterns of the BRST pseudo-invariant superfields from part I. Both of them lead to compact and combinatorially rich expressions for the correlators in part III. The identities obeyed by the two classes of worldsheet functions exhibit striking parallels with those of the superfield kinematics. We will refer to this phenomenon as a duality between worldsheet functions and kinematics.
△ Less
Submitted 10 September, 2019; v1 submitted 28 December, 2018;
originally announced December 2018.
-
Towards the n-point one-loop superstring amplitude I: Pure spinors and superfield kinematics
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
This is the first installment of a series of three papers in which we describe a method to determine higher-point correlation functions in one-loop open-superstring amplitudes from first principles. In this first part, we exploit the synergy between the cohomological features of pure-spinor superspace and the pure-spinor zero-mode integration rules of the one-loop amplitude prescription. This lead…
▽ More
This is the first installment of a series of three papers in which we describe a method to determine higher-point correlation functions in one-loop open-superstring amplitudes from first principles. In this first part, we exploit the synergy between the cohomological features of pure-spinor superspace and the pure-spinor zero-mode integration rules of the one-loop amplitude prescription. This leads to the study of a rich variety of multiparticle superfields which are local, have covariant BRST variations, and are compatible with the particularities of the pure-spinor amplitude prescription. Several objects related to these superfields, such as their non-local counterparts and the so-called BRST pseudo-invariants, are thoroughly reviewed and put into new light. Their properties will turn out to be mysteriously connected to products of one-loop worldsheet functions in packages dubbed "generalized elliptic integrands", whose prominence will be seen in the later parts of this series of papers.
△ Less
Submitted 10 September, 2019; v1 submitted 28 December, 2018;
originally announced December 2018.
-
Heterotic-string amplitudes at one loop: modular graph forms and relations to open strings
Authors:
Jan E. Gerken,
Axel Kleinschmidt,
Oliver Schlotterer
Abstract:
We investigate one-loop four-point scattering of non-abelian gauge bosons in heterotic string theory and identify new connections with the corresponding open-string amplitude. In the low-energy expansion of the heterotic-string amplitude, the integrals over torus punctures are systematically evaluated in terms of modular graph forms, certain non-holomorphic modular forms. For a specific torus inte…
▽ More
We investigate one-loop four-point scattering of non-abelian gauge bosons in heterotic string theory and identify new connections with the corresponding open-string amplitude. In the low-energy expansion of the heterotic-string amplitude, the integrals over torus punctures are systematically evaluated in terms of modular graph forms, certain non-holomorphic modular forms. For a specific torus integral, the modular graph forms in the low-energy expansion are related to the elliptic multiple zeta values from the analogous open-string integrations over cylinder boundaries. The detailed correspondence between these modular graph forms and elliptic multiple zeta values supports a recent proposal for an elliptic generalization of the single-valued map at genus zero.
△ Less
Submitted 6 March, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Berends-Giele currents in Bern-Carrasco-Johansson gauge for $F^3$- and $F^4$-deformed Yang-Mills amplitudes
Authors:
Lucia M. Garozzo,
Leonel Queimada,
Oliver Schlotterer
Abstract:
We construct new representations of tree-level amplitudes in D-dimensional gauge theories with deformations via higher-mass-dimension operators $α' F^3$ and $α'^{2} F^4$. Based on Berends-Giele recursions, the tensor structure of these amplitudes is compactly organized via off-shell currents. On the one hand, we present manifestly cyclic representations, where the complexity of the currents is sys…
▽ More
We construct new representations of tree-level amplitudes in D-dimensional gauge theories with deformations via higher-mass-dimension operators $α' F^3$ and $α'^{2} F^4$. Based on Berends-Giele recursions, the tensor structure of these amplitudes is compactly organized via off-shell currents. On the one hand, we present manifestly cyclic representations, where the complexity of the currents is systematically reduced. On the other hand, the duality between color and kinematics due to Bern, Carrasco and Johansson is manifested by means of non-linear gauge transformations of the currents. We exploit the resulting notion of Bern-Carrasco-Johansson gauge to provide explicit and manifestly local double-copy representations for gravitational amplitudes involving $α' R^2$ and $α'^2 R^3$ operators.
△ Less
Submitted 21 September, 2018;
originally announced September 2018.
-
Closed strings as single-valued open strings: A genus-zero derivation
Authors:
Oliver Schlotterer,
Oliver Schnetz
Abstract:
Based on general mathematical assumptions we give an independent, elementary derivation of a theorem by Francis Brown and Clément Dupont which states that tree-level amplitudes of closed and open strings are related through the single-valued map `sv'. This relation can be traced back to the underlying moduli-space integrals over punctured Riemann surfaces of genus zero. The sphere integrals $J$ in…
▽ More
Based on general mathematical assumptions we give an independent, elementary derivation of a theorem by Francis Brown and Clément Dupont which states that tree-level amplitudes of closed and open strings are related through the single-valued map `sv'. This relation can be traced back to the underlying moduli-space integrals over punctured Riemann surfaces of genus zero. The sphere integrals $J$ in closed-string amplitudes and the disk integrals $Z$ in open-string amplitudes are shown to obey $J = {\rm sv} \, Z$.
△ Less
Submitted 11 October, 2018; v1 submitted 2 August, 2018;
originally announced August 2018.
-
Heterotic and bosonic string amplitudes via field theory
Authors:
Thales Azevedo,
Marco Chiodaroli,
Henrik Johansson,
Oliver Schlotterer
Abstract:
Previous work has shown that massless tree amplitudes of the type I and IIA/B superstrings can be dramatically simplified by expressing them as double copies between field-theory amplitudes and scalar disk/sphere integrals, the latter containing all the $α'$-corrections. In this work, we pinpoint similar double-copy constructions for the heterotic and bosonic string theories using an $α'$-dependen…
▽ More
Previous work has shown that massless tree amplitudes of the type I and IIA/B superstrings can be dramatically simplified by expressing them as double copies between field-theory amplitudes and scalar disk/sphere integrals, the latter containing all the $α'$-corrections. In this work, we pinpoint similar double-copy constructions for the heterotic and bosonic string theories using an $α'$-dependent field theory and the same disk/sphere integrals. Surprisingly, this field theory, built out of dimension-six operators such as $(D_μF^{μν})^2$, has previously appeared in the double-copy construction of conformal supergravity. We elaborate on the $α' \rightarrow \infty$ limit in this picture and derive new amplitude relations for various gauge-gravity theories from those of the heterotic string.
△ Less
Submitted 14 March, 2018;
originally announced March 2018.
-
From elliptic multiple zeta values to modular graph functions: open and closed strings at one loop
Authors:
Johannes Broedel,
Oliver Schlotterer,
Federico Zerbini
Abstract:
We relate one-loop scattering amplitudes of massless open- and closed-string states at the level of their low-energy expansion. The modular graph functions resulting from integration over closed-string punctures are observed to follow from symmetrized open-string integrals through a tentative generalization of the single-valued projection known from genus zero.
We relate one-loop scattering amplitudes of massless open- and closed-string states at the level of their low-energy expansion. The modular graph functions resulting from integration over closed-string punctures are observed to follow from symmetrized open-string integrals through a tentative generalization of the single-valued projection known from genus zero.
△ Less
Submitted 2 March, 2019; v1 submitted 1 March, 2018;
originally announced March 2018.
-
Double-Copy Structure of One-Loop Open-String Amplitudes
Authors:
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
In this Letter, we provide evidence for a new double-copy structure in one-loop amplitudes of the open superstring. Their integrands with respect to the moduli space of genus-one surfaces are cast into a form where gauge-invariant kinematic factors and certain functions of the punctures -- so-called generalized elliptic integrands -- enter on completely symmetric footing. In particular, replacing…
▽ More
In this Letter, we provide evidence for a new double-copy structure in one-loop amplitudes of the open superstring. Their integrands with respect to the moduli space of genus-one surfaces are cast into a form where gauge-invariant kinematic factors and certain functions of the punctures -- so-called generalized elliptic integrands -- enter on completely symmetric footing. In particular, replacing the generalized elliptic integrands by a second copy of kinematic factors maps one-loop open-string correlators to gravitational matrix elements of the higher-curvature operator R^4.
△ Less
Submitted 20 June, 2018; v1 submitted 24 November, 2017;
originally announced November 2017.
-
Fermionic one-loop amplitudes of the RNS superstring
Authors:
Seungjin Lee,
Oliver Schlotterer
Abstract:
We investigate massless n-point one-loop amplitudes of the open RNS superstring with two external fermions and determine their worldsheet integrands. The contributing correlation functions involving spin-1/2 and spin-3/2 operators from the fermion vertices are evaluated to any multiplicity. Moreover, we introduce techniques to sum these correlators over the spin structures of the worldsheet fermio…
▽ More
We investigate massless n-point one-loop amplitudes of the open RNS superstring with two external fermions and determine their worldsheet integrands. The contributing correlation functions involving spin-1/2 and spin-3/2 operators from the fermion vertices are evaluated to any multiplicity. Moreover, we introduce techniques to sum these correlators over the spin structures of the worldsheet fermions such as to manifest all cancellations due to spacetime supersymmetry. These spin sums require generalizations of the Riemann identities among Jacobi theta functions, and the results can be expressed in terms of doubly-periodic functions known from the mathematics literature on elliptic multiple zeta values. On the boundary of moduli space, our spin-summed correlators specialize to compact representations of fermionic one-loop integrands for ambitwistor strings.
△ Less
Submitted 19 June, 2018; v1 submitted 19 October, 2017;
originally announced October 2017.
-
New BCJ representations for one-loop amplitudes in gauge theories and gravity
Authors:
Song He,
Oliver Schlotterer,
Yong Zhang
Abstract:
We explain a procedure to manifest the Bern-Carrasco-Johansson duality between color and kinematics in $n$-point one-loop amplitudes of a variety of supersymmetric gauge theories. Explicit amplitude representations are constructed through a systematic reorganization of the integrands in the Cachazo-He-Yuan formalism. Our construction holds for any nonzero number of supersymmetries and does not dep…
▽ More
We explain a procedure to manifest the Bern-Carrasco-Johansson duality between color and kinematics in $n$-point one-loop amplitudes of a variety of supersymmetric gauge theories. Explicit amplitude representations are constructed through a systematic reorganization of the integrands in the Cachazo-He-Yuan formalism. Our construction holds for any nonzero number of supersymmetries and does not depend on the number of spacetime dimensions. The cancellations from supersymmetry multiplets in the loop as well as the resulting power counting of loop momenta is manifested along the lines of the corresponding superstring computations. The setup is used to derive the one-loop version of the Kawai-Lewellen-Tye formula for the loop integrands of gravitational amplitudes.
△ Less
Submitted 29 March, 2018; v1 submitted 2 June, 2017;
originally announced June 2017.
-
Twisted elliptic multiple zeta values and non-planar one-loop open-string amplitudes
Authors:
Johannes Broedel,
Nils Matthes,
Gregor Richter,
Oliver Schlotterer
Abstract:
We consider a generalization of elliptic multiple zeta values, which we call twisted elliptic multiple zeta values. These arise as iterated integrals on an elliptic curve from which a rational lattice has been removed. At the cusp, twisted elliptic multiple zeta values are shown to degenerate to cyclotomic multiple zeta values in the same way as elliptic multiple zeta values degenerate to classica…
▽ More
We consider a generalization of elliptic multiple zeta values, which we call twisted elliptic multiple zeta values. These arise as iterated integrals on an elliptic curve from which a rational lattice has been removed. At the cusp, twisted elliptic multiple zeta values are shown to degenerate to cyclotomic multiple zeta values in the same way as elliptic multiple zeta values degenerate to classical multiple zeta values. We investigate properties of twisted elliptic multiple zeta values and consider them in the context of the non-planar part of the four-point one-loop open-string amplitude.
△ Less
Submitted 24 June, 2018; v1 submitted 11 April, 2017;
originally announced April 2017.
-
Semi-abelian Z-theory: NLSM+phi^3 from the open string
Authors:
John Joseph M. Carrasco,
Carlos R. Mafra,
Oliver Schlotterer
Abstract:
We continue our investigation of Z-theory, the second double-copy component of open-string tree-level interactions besides super-Yang-Mills (sYM). We show that the amplitudes of the extended non-linear sigma model (NLSM) recently considered by Cachazo, Cha, and Mizera are reproduced by the leading alpha'-order of Z-theory amplitudes in the semi-abelian case. The extension refers to a coupling of N…
▽ More
We continue our investigation of Z-theory, the second double-copy component of open-string tree-level interactions besides super-Yang-Mills (sYM). We show that the amplitudes of the extended non-linear sigma model (NLSM) recently considered by Cachazo, Cha, and Mizera are reproduced by the leading alpha'-order of Z-theory amplitudes in the semi-abelian case. The extension refers to a coupling of NLSM pions to bi-adjoint scalars, and the semi-abelian case involves to a partial symmetrization over one of the color orderings that characterize the Z-theory amplitudes. Alternatively, the partial symmetrization corresponds to a mixed interaction among abelian and non-abelian states in the underlying open-superstring amplitude. We simplify these permutation sums via monodromy relations which greatly increase the efficiency in extracting the alpha'-expansion of these amplitudes. Their alpha'-corrections encode higher-derivative interactions between NLSM pions and bi-colored scalars all of which obey the duality between color and kinematics. Through double-copy, these results can be used to generate the predictions of supersymmetric Dirac-Born-Infeld-Volkov-Akulov theory coupled with sYM as well as a complete tower of higher-order alpha'-corrections.
△ Less
Submitted 19 June, 2018; v1 submitted 19 December, 2016;
originally announced December 2016.
