A bstract Modular graph functions (MGFs) are SL(2 , ℤ)-invariant functions on the Poincaré upper half-plane associated with Feynman graphs of a conformal scalar field on a torus. The low-energy expansion of genus-one superstring amplitudes involves suitably regularized integrals of MGFs over the fundamental domain for SL(2 , ℤ). In earlier work, these integrals were evaluated for all MGFs up to two loops and for higher loops up to weight six. These results led to the conjectured uniform transcendentality of the genus-one four-graviton amplitude in Type II superstring theory. In this paper, we explicitly evaluate the integrals of several infinite families of three-loop MGFs and investigate their transcendental structure. Up to weight seven, the structure of the integral of each individual MGF is consistent with the uniform transcendentality of string amplitudes. Starting at weight eight, the transcendental weights obtained for the integrals of individual MGFs are no longer consistent with the uniform transcendentality of string amplitudes. However, in all the cases we examine, the violations of uniform transcendentality take on a special form given by the integrals of triple products of non-holomorphic Eisenstein series. If Type II superstring amplitudes do exhibit uniform transcendentality, then the special combinations of MGFs which enter the amplitudes must be such that these integrals of triple products of Eisenstein series precisely cancel one another. Whether this indeed is the case poses a novel challenge to the conjectured uniform transcendentality of genus-one string amplitudes.
more »
« less
Elliptic modular graph forms. Part I. Identities and generating series
A bstract 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.
more »
« less
- Award ID(s):
- 1914412
- NSF-PAR ID:
- 10228362
- Date Published:
- Journal Name:
- Journal of High Energy Physics
- Volume:
- 2021
- Issue:
- 3
- ISSN:
- 1029-8479
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
The Eichler-Selberg trace formulas express the traces of Hecke operators on a spaces of cusp forms in terms of weighted sums of Hurwitz-Kronecker class numbers. For cusp forms on $\text {\rm SL}_2(\mathbb{Z}),$ Zagier proved these formulas by cleverly making use of the weight 3/2 nonholomorphic Eisenstein series he discovered in the 1970s. The holomorphic part of this form, its so-called {\it mock modular form}, is the generating function for these class numbers. In this expository note we revisit Zagier's method, and we show how to obtain such formulas for congruence subgroups, working out the details for $\Gamma_0(2)$ and $\Gamma_0(4).$ The trace formulas fall out naturally from the computation of the Rankin-Cohen brackets of Zagier's mock modular form with specific theta functions.more » « less
-
Abstract In this paper, we prove one divisibility of the Iwasawa–Greenberg main conjecture for the Rankin–Selberg product of a weight two cusp form and an ordinary complex multiplication form of higher weight, using congruences between Klingen Eisenstein series and cusp forms on $\mathrm {GU}(3,1)$ , generalizing an earlier result of the third-named author to allow nonordinary cusp forms. The main result is a key input in the third-named author’s proof of Kobayashi’s $\pm $ -main conjecture for supersingular elliptic curves. The new ingredient here is developing a semiordinary Hida theory along an appropriate smaller weight space and a study of the semiordinary Eisenstein family.more » « less
-
A bstract We study modular invariants arising in the four-point functions of the stress tensor multiplet operators of the $$ \mathcal{N} $$ N = 4 SU( N ) super-Yang-Mills theory, in the limit where N is taken to be large while the complexified Yang-Mills coupling τ is held fixed. The specific four-point functions we consider are integrated correlators obtained by taking various combinations of four derivatives of the squashed sphere partition function of the $$ \mathcal{N} $$ N = 2 ∗ theory with respect to the squashing parameter b and mass parameter m , evaluated at the values b = 1 and m = 0 that correspond to the $$ \mathcal{N} $$ N = 4 theory on a round sphere. At each order in the 1 /N expansion, these fourth derivatives are modular invariant functions of ( τ, $$ \overline{\tau} $$ τ ¯ ). We present evidence that at half-integer orders in 1 /N , these modular invariants are linear combinations of non-holomorphic Eisenstein series, while at integer orders in 1 /N , they are certain “generalized Eisenstein series” which satisfy inhomogeneous Laplace eigenvalue equations on the hyperbolic plane. These results reproduce known features of the low-energy expansion of the four-graviton amplitude in type IIB superstring theory in ten-dimensional flat space and have interesting implications for the structure of the analogous expansion in AdS 5 × S 5 .more » « less
-
null (Ed.)A bstract We obtain an asymptotic formula for the average value of the operator product expansion coefficients of any unitary, compact two dimensional CFT with c > 1. This formula is valid when one or more of the operators has large dimension or — in the presence of a twist gap — has large spin. Our formula is universal in the sense that it depends only on the central charge and not on any other details of the theory. This result unifies all previous asymptotic formulas for CFT2 structure constants, including those derived from crossing symmetry of four point functions, modular covariance of torus correlation functions, and higher genus modular invariance. We determine this formula at finite central charge by deriving crossing kernels for higher genus crossing equations, which give analytic control over the structure constants even in the absence of exact knowledge of the conformal blocks. The higher genus modular kernels are obtained by sewing together the elementary kernels for four-point crossing and modular transforms of torus one-point functions. Our asymptotic formula is related to the DOZZ formula for the structure constants of Liouville theory, and makes precise the sense in which Liouville theory governs the universal dynamics of heavy operators in any CFT. The large central charge limit provides a link with 3D gravity, where the averaging over heavy states corresponds to a coarse-graining over black hole microstates in holographic theories. Our formula also provides an improved understanding of the Eigenstate Thermalization Hypothesis (ETH) in CFT 2 , and suggests that ETH can be generalized to other kinematic regimes in two dimensional CFTs.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/JHEP03(2021)151
