Poincare series for modular graph forms at depth two. II. Iterated integrals of cusp forms

We continue the analysis of modular invariant functions, subject to inhomogeneous Laplace eigenvalue equations, that were determined in terms of Poincare 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.

Poincare series for modular graph forms at depth two. I. Seeds and Laplace systems

We derive new Poincare-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 Poincare 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 Poincare 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 Poincare 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.

Two-loop superstring five-point amplitudes III, construction via the RNS formulation: even spin structures

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.

Elliptic modular graph forms I: Identities and generating series

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.

Identities among higher genus modular graph tensors

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.

One-loop Correlators and BCJ Numerators from Forward Limits

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.

Generating series of all modular graph forms from iterated Eisenstein integrals

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 $alpha$. 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 Browns 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 $alpha$-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 $alpha$-expansion.

All-order differential equations for one-loop closed-string integrals and modular graph forms

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.

One-loop open-string integrals from differential equations: all-order alpha-expansions at n points

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 $tau$ which is known from the A-elliptic Knizhnik--Zamolodchikov--Bernard associator. The expressions for their $tau$-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 $alpha$. In fact, we are led to matrix representations of certain derivations dual to Eisenstein series. Like this, also the $alpha$-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 $tau rightarrow iinfty$ 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 $alpha$-expansions of $n$-point integrals over boundaries of cylinder- or Moebius-strip worldsheets, where any desired order is accessible from elementary operations.

All-order alpha-expansion of one-loop open-string integrals

We present a new method to evaluate the $alpha$-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 $tauto iinfty$ and can be reduced to genus-zero integrals.