-
Modular Features of Superstring Scattering Amplitudes: Generalised Eisenstein Series and Theta Lifts
Authors:
Daniele Dorigoni,
Michael B. Green,
Congkao Wen
Abstract:
In previous papers it has been shown that the coefficients of terms in the large-$N$ expansion of a certain integrated four-point correlator of superconformal primary operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory are rational sums of real-analytic Eisenstein series and "generalised Eisenstein series''. The latter are novel modular functions first encountered in the context of gravi…
▽ More
In previous papers it has been shown that the coefficients of terms in the large-$N$ expansion of a certain integrated four-point correlator of superconformal primary operators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory are rational sums of real-analytic Eisenstein series and "generalised Eisenstein series''. The latter are novel modular functions first encountered in the context of graviton amplitudes in type IIB superstring theory. Similar modular functions, known as two-loop modular graph functions, are also encountered in the low-energy expansion of the integrand of genus-one closed superstring amplitudes. In this paper we further develop the mathematical structure of such generalised Eisenstein series emphasising, in particular, the occurrence of $L$-values of holomorphic cusp forms in their Fourier mode decomposition. We show that both the coefficients in the large-$N$ expansion of the integrated correlator and two-loop modular graph functions admit a unifying description in terms of four-dimensional lattice sums generated by theta lifts of local Maass functions, which generalise the structure of real-analytic Eisenstein series. Through the theta lift representation, we demonstrate that elements belonging to these two families of non-holomorphic modular functions can be expressed as rational linear combinations of generalised Eisenstein series for which all the $L$-values of holomorphic cusp forms precisely cancel.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
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.
-
Two string theory flavours of generalised Eisenstein series
Authors:
Daniele Dorigoni,
Rudolfs Treilis
Abstract:
Generalised Eisenstein series are non-holomorphic modular invariant functions of a complex variable, $τ$, subject to a particular inhomogeneous Laplace eigenvalue equation on the hyperbolic upper-half $τ$-plane. Two infinite classes of such functions arise quite naturally within different string theory contexts. A first class can be found by studying the coefficients of the effective action for th…
▽ More
Generalised Eisenstein series are non-holomorphic modular invariant functions of a complex variable, $τ$, subject to a particular inhomogeneous Laplace eigenvalue equation on the hyperbolic upper-half $τ$-plane. Two infinite classes of such functions arise quite naturally within different string theory contexts. A first class can be found by studying the coefficients of the effective action for the low-energy expansion of type IIB superstring theory, and relatedly in the analysis of certain integrated four-point functions of stress tensor multiplet operators in $\mathcal{N} = 4$ supersymmetric Yang-Mills theory. A second class of such objects is known to contain all two-loop modular graph functions, which are fundamental building blocks in the low-energy expansion of closed-string scattering amplitudes at genus one. In this work, we present a Poincaré series approach that unifies both classes of generalised Eisenstein series and manifests certain algebraic and differential relations amongst them. We then combine this technique with spectral methods for automorphic forms to find general and non-perturbative expansions at the cusp $τ\to i \infty$. Finally, we find intriguing connections between the asymptotic expansion of these modular functions as $τ\to 0$ and the non-trivial zeros of the Riemann zeta function.
△ Less
Submitted 25 July, 2023; v1 submitted 14 July, 2023;
originally announced July 2023.
-
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.
-
To the cusp and back: Resurgent analysis for modular graph functions
Authors:
Daniele Dorigoni,
Axel Kleinschmidt,
Rudolfs Treilis
Abstract:
Modular graph functions arise in the calculation of the low-energy expansion of closed-string scattering amplitudes. For toroidal world-sheets, they are ${\rm SL}(2,\mathbb{Z})$-invariant functions of the torus complex structure that have to be integrated over the moduli space of inequivalent tori. We use methods from resurgent analysis to construct the non-perturbative corrections arising when th…
▽ More
Modular graph functions arise in the calculation of the low-energy expansion of closed-string scattering amplitudes. For toroidal world-sheets, they are ${\rm SL}(2,\mathbb{Z})$-invariant functions of the torus complex structure that have to be integrated over the moduli space of inequivalent tori. We use methods from resurgent analysis to construct the non-perturbative corrections arising when the argument of the modular graph function approaches the cusp on this moduli space. ${\rm SL}(2,\mathbb{Z})$-invariance will in turn strongly constrain the behaviour of the non-perturbative sector when expanded at the origin of the moduli space.
△ Less
Submitted 30 August, 2022;
originally announced August 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.
-
Resurgent expansion of Lambert series and iterated Eisenstein integrals
Authors:
Daniele Dorigoni,
Axel Kleinschmidt
Abstract:
We consider special Lambert series as generating functions of divisor sums and determine their complete transseries expansion near rational roots of unity. Our methods also yield new insights into the Laurent expansions and modularity properties of iterated Eisenstein integrals that have recently attracted attention in the context of certain period integrals and string theory scattering amplitudes…
▽ More
We consider special Lambert series as generating functions of divisor sums and determine their complete transseries expansion near rational roots of unity. Our methods also yield new insights into the Laurent expansions and modularity properties of iterated Eisenstein integrals that have recently attracted attention in the context of certain period integrals and string theory scattering amplitudes.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Modular graph functions and asymptotic expansions of Poincaré series
Authors:
Daniele Dorigoni,
Axel Kleinschmidt
Abstract:
In this note we study $SL(2,\mathbb{Z})$-invariant functions such as modular graph functions or coefficient functions of higher derivative corrections in type IIB string theory. The functions solve inhomogeneous Laplace equations and we choose to represent them as Poincaré series. In this way we can combine different methods for asymptotic expansions and obtain the perturbative and non-perturbativ…
▽ More
In this note we study $SL(2,\mathbb{Z})$-invariant functions such as modular graph functions or coefficient functions of higher derivative corrections in type IIB string theory. The functions solve inhomogeneous Laplace equations and we choose to represent them as Poincaré series. In this way we can combine different methods for asymptotic expansions and obtain the perturbative and non-perturbative contributions to their zero Fourier modes. In the case of the higher derivative corrections, these terms have an interpretation in terms of perturbative string loop effects and pairs of instantons/anti-instantons.
△ Less
Submitted 14 January, 2020; v1 submitted 21 March, 2019;
originally announced March 2019.
