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 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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
D. Dorigoni, A. Kleinschmidt and O. Schlotterer, Poincaré series for modular graph forms at depth two. Part I. Seeds and Laplace systems, JHEP 01 (2022) 133 [arXiv:2109.05017] [INSPIRE].
O. Ahlén and A. Kleinschmidt, D6 R4 curvature corrections, modular graph functions and Poincaré series, JHEP 05 (2018) 194 [arXiv:1803.10250] [INSPIRE].
D. Dorigoni and A. Kleinschmidt, Modular graph functions and asymptotic expansions of Poincaré series, Commun. Num. Theor. Phys. 13 (2019) 569 [arXiv:1903.09250] [INSPIRE].
D. Dorigoni and A. Kleinschmidt, Resurgent expansion of Lambert series and iterated Eisenstein integrals, Commun. Num. Theor. Phys. 15 (2021) 1 [arXiv:2001.11035] [INSPIRE].
A. Basu, Zero mode of the Fourier series of some modular graphs from Poincaré series, Phys. Lett. B 809 (2020) 135715 [arXiv:2005.07793] [INSPIRE].
E. D’Hoker, M. B. Green and P. Vanhove, On the modular structure of the genus-one type II superstring low energy expansion, JHEP 08 (2015) 041 [arXiv:1502.06698] [INSPIRE].
E. D’Hoker, M. B. Green, Ö. Gürdogan and P. Vanhove, Modular graph functions, Commun. Num. Theor. Phys. 11 (2017) 165 [arXiv:1512.06779] [INSPIRE].
E. D’Hoker and M. B. Green, Identities between modular graph forms, J. Number Theor. 189 (2018) 25 [arXiv:1603.00839] [INSPIRE].
M. B. Green and P. Vanhove, The low-energy expansion of the one loop type-II superstring amplitude, Phys. Rev. D 61 (2000) 104011 [hep-th/9910056] [INSPIRE].
M. B. Green, J. G. Russo and P. Vanhove, Low energy expansion of the four-particle genus-one amplitude in type-II superstring theory, JHEP 02 (2008) 020 [arXiv:0801.0322] [INSPIRE].
M. B. Green, C. R. Mafra and O. Schlotterer, Multiparticle one-loop amplitudes and S-duality in closed superstring theory, JHEP 10 (2013) 188 [arXiv:1307.3534] [INSPIRE].
E. D’Hoker, M. B. Green and P. Vanhove, Proof of a modular relation between 1-, 2- and 3-loop Feynman diagrams on a torus, J. Number Theor. 196 (2019) 381 [arXiv:1509.00363] [INSPIRE].
A. Basu, Poisson equation for the Mercedes diagram in string theory at genus one, Class. Quant. Grav. 33 (2016) 055005 [arXiv:1511.07455] [INSPIRE].
A. Basu, Poisson equation for the three loop ladder diagram in string theory at genus one, Int. J. Mod. Phys. A 31 (2016) 1650169 [arXiv:1606.02203] [INSPIRE].
A. Basu, Proving relations between modular graph functions, Class. Quant. Grav. 33 (2016) 235011 [arXiv:1606.07084] [INSPIRE].
A. Basu, Simplifying the one loop five graviton amplitude in type IIB string theory, Int. J. Mod. Phys. A 32 (2017) 1750074 [arXiv:1608.02056] [INSPIRE].
E. D’Hoker and J. Kaidi, Hierarchy of modular graph identities, JHEP 11 (2016) 051 [arXiv:1608.04393] [INSPIRE].
A. Kleinschmidt and V. Verschinin, Tetrahedral modular graph functions, JHEP 09 (2017) 155 [arXiv:1706.01889] [INSPIRE].
A. Basu, Low momentum expansion of one loop amplitudes in heterotic string theory, JHEP 11 (2017) 139 [arXiv:1708.08409] [INSPIRE].
J. Broedel, O. Schlotterer and F. Zerbini, From elliptic multiple zeta values to modular graph functions: open and closed strings at one loop, JHEP 01 (2019) 155 [arXiv:1803.00527] [INSPIRE].
J. E. Gerken and J. Kaidi, Holomorphic subgraph reduction of higher-point modular graph forms, JHEP 01 (2019) 131 [arXiv:1809.05122] [INSPIRE].
J. E. Gerken, A. Kleinschmidt and O. Schlotterer, Heterotic-string amplitudes at one loop: modular graph forms and relations to open strings, JHEP 01 (2019) 052 [arXiv:1811.02548] [INSPIRE].
E. D’Hoker and J. Kaidi, Modular graph functions and odd cuspidal functions. Fourier and Poincaré series, JHEP 04 (2019) 136 [arXiv:1902.04180] [INSPIRE].
E. D’Hoker and M. B. Green, Absence of irreducible multiple zeta-values in melon modular graph functions, Commun. Num. Theor. Phys. 14 (2020) 315 [arXiv:1904.06603] [INSPIRE].
E. D’Hoker, Integral of two-loop modular graph functions, JHEP 06 (2019) 092 [arXiv:1905.06217] [INSPIRE].
E. D’Hoker and M. B. Green, Exploring transcendentality in superstring amplitudes, JHEP 07 (2019) 149 [arXiv:1906.01652] [INSPIRE].
A. Basu, Eigenvalue equation for the modular graph Ca,b,c,d, JHEP 07 (2019) 126 [arXiv:1906.02674] [INSPIRE].
J. E. Gerken, A. Kleinschmidt and O. Schlotterer, All-order differential equations for one-loop closed-string integrals and modular graph forms, JHEP 01 (2020) 064 [arXiv:1911.03476] [INSPIRE].
S. Hohenegger, From little string free energies towards modular graph functions, JHEP 03 (2020) 077 [arXiv:1911.08172] [INSPIRE].
J. E. Gerken, A. Kleinschmidt and O. Schlotterer, Generating series of all modular graph forms from iterated Eisenstein integrals, JHEP 07 (2020) 190 [arXiv:2004.05156] [INSPIRE].
P. Vanhove and F. Zerbini, Building blocks of closed and open string amplitudes, in MathemAmplitudes 2019: intersection theory and Feynman integrals, (2020) [arXiv:2007.08981] [INSPIRE].
A. Basu, Poisson equations for elliptic modular graph functions, Phys. Lett. B 814 (2021) 136086 [arXiv:2009.02221] [INSPIRE].
A. Basu, Relations between elliptic modular graphs, JHEP 12 (2020) 195 [Erratum ibid. 03 (2021) 061] [arXiv:2010.08331] [INSPIRE].
S. Hohenegger, Diagrammatic expansion of non-perturbative little string free energies, JHEP 04 (2021) 275 [arXiv:2011.06323] [INSPIRE].
F. Brown, Multiple modular values and the relative completion of the fundamental group of ℳ1, 1, arXiv:1407.5167.
F. Zerbini, Single-valued multiple zeta values in genus 1 superstring amplitudes, Commun. Num. Theor. Phys. 10 (2016) 703 [arXiv:1512.05689] [INSPIRE].
F. Brown, A class of non-holomorphic modular forms I, arXiv:1707.01230 [INSPIRE].
F. Brown, A class of nonholomorphic modular forms II: equivariant iterated Eisenstein integrals, Forum Math. Sigma 8 (2020) e31 [arXiv:1708.03354].
E. D’Hoker and W. Duke, Fourier series of modular graph functions, J. Number Theor. 192 (2018) 1 [arXiv:1708.07998] [INSPIRE].
F. Zerbini, Elliptic multiple zeta values, modular graph functions and genus 1 superstring scattering amplitudes, Ph.D. thesis, Bonn U., Bonn, Germany (2017) [arXiv:1804.07989] [INSPIRE].
F. Zerbini, Modular and holomorphic graph functions from superstring amplitudes, in KMPB conference: elliptic integrals, elliptic functions and modular forms in quantum field theory, Springer, Cham, Switzerland (2019), pg. 459 [arXiv:1807.04506] [INSPIRE].
D. Zagier and F. Zerbini, Genus-zero and genus-one string amplitudes and special multiple zeta values, Commun. Num. Theor. Phys. 14 (2020) 413 [arXiv:1906.12339] [INSPIRE].
M. Berg, K. Bringmann and T. Gannon, Massive deformations of Maass forms and Jacobi forms, Commun. Num. Theor. Phys. 15 (2021) 575 [arXiv:1910.02745] [INSPIRE].
N. Matthes, On the algebraic structure of iterated integrals of quasimodular forms, Algebra Number Theor. 11 (2017) 2113 [arXiv:1708.04561].
M. Eichler, Eine Verallgemeinerung der Abelschen Integrale (in German), Math. Z. 67 (1957) 267.
P. G. Shimura, Sur les intégrales attachées aux formes automorphes (in French), J. Math. Soc. Jpn. 11 (1959) 291.
F. Brown, A class of non-holomorphic modular forms III: real analytic cusp forms for SL2 (Z), Res. Math. Sci. 5 (2018) 34 [arXiv:1710.07912].
H. Tsunogai, On some derivations of Lie algebras related to Galois representations, Publ. Res. Inst. Math. Sci. 31 (1995) 113.
A. Pollack, Relations between derivations arising from modular forms, undergraduate thesis, Duke University, Durham, NC, U.S.A. (2009).
F. Brown, From the Deligne-Ihara conjecture to multiple modular values, arXiv:1904.00179.
F. Brown, Zeta and L-functions, old and new, talk given at the workshop Elliptics and beyond, https://indico.cern.ch/event/927781/contributions/3926291/attachments/2101487/3533016/EllipticConf.pdf, (2020).
N. Diamantis, Modular iterated integrals associated with cusp forms, arXiv:2009.07128.
J. Drewitt, Triple equivariant Eisenstein integrals, arXiv:2104.09916.
J. Broedel, N. Matthes and O. Schlotterer, Relations between elliptic multiple zeta values and a special derivation algebra, J. Phys. A 49 (2016) 155203 [arXiv:1507.02254] [INSPIRE].
D. Zagier and H. Gangl, Classical and elliptic polylogarithms and special values of L-series, in The arithmetic and geometry of algebraic cycles (Banff, AB, Canada 1998), NATO Sci. Ser. C 548, Kluwer Acad. Publ., Dordrecht, The Netherlands (2000), pg. 561.
D. Zagier, Periods of modular forms and Jacobi theta functions, Invent. Math. 104 (1991) 449.
D. B. Zagier, Quelques conséquences surprenantes de la cohomologie de SL(2, Z), in Leçons de Mathématiques d’aujourd’hui, Cassini, Paris, France (2000), pg. 99.
E. Hecke, Über Modulfunktionen und die Dirichletschen Reihen mit Eulerscher Produktentwicklung. I, Math. Ann. 114 (1937) 1.
P. Deligne, La conjecture de Weil. I, Inst. Hautes Études Sci. Publ. Math. 43 (1974) 273.
J. I. Manin, Periods of parabolic forms and p-adic Hecke series, Math. USSR-Sbornik 21 (1973) 371.
A. Saad, Multiple zeta values and iterated Eisenstein integrals, arXiv:2009.09885.
F. Brown, private communication.
The PARI group, PARI/GP version 2.13.1, http://pari.math.u-bordeaux.fr/, Univ. Bordeaux, Bordeaux, France (2020).
T. Dokchitser, ComputeL — PARI package v1.3.8, https://people.maths.bris.ac.uk/∼matyd/computel/, (2018).
M. B. Green, S. D. Miller and P. Vanhove, SL(2, Z)-invariance and D-instanton contributions to the D6 R4 interaction, Commun. Num. Theor. Phys. 09 (2015) 307 [arXiv:1404.2192] [INSPIRE].
K. Klinger-Logan, Differential equations in automorphic forms, Commun. Number Theory Phys. 12 (2018) 767 [arXiv:1801.00838].
K. Klinger-Logan, S. D. Miller and D. Radchenko, The D6 R4 coupling, revisited, work in progress.
T. M. Apostol, Modular functions and Dirichlet series in number theory, Springer, New York, NY, U.S.A. (1990).
K. Haberland, Perioden von Modulformen einer Variabler und Gruppencohomologie, I (in German), Math. Nachr. 112 (1983) 245.
K. Haberland, Perioden von Modulformen einer Variabler und Gruppencohomologie, II (in German), Math. Nachr. 112 (1983) 283.
K. Haberland, Perioden von Modulformen einer Variabler und Gruppencohomologie, III (in German), Math. Nachr. 112 (1983) 297.
H. Hida and Y. Maeda, Non-Abelian base change for totally real fields, Pacific J. Math. 181 (1997) 189.
A. Ghitza and A. McAndrew, Experimental evidence for Maeda’s conjecture on modular forms, Tbilisi Math. J. 5 (2012) 55.
LMFDB collaboration, The L-functions and modular forms database, http://www.lmfdb.org, (2021).
J.-G. Luque, J.-C. Novelli and J.-Y. Thibon, Period polynomials and Ihara brackets, J. Lie Theory 17 (2007) 229 [math.CO/0606301].
J. Broedel, N. Matthes and O. Schlotterer, Elliptic multiple zeta values, https://tools.aei.mpg.de/emzv.
B. Enriquez, Analogues elliptiques des nombres multizétas (in French), Bull. Soc. Math. France 144 (2016) 395 [arXiv:1301.3042].
H. Iwaniec, Spectral methods of automorphic forms, American Mathematical Society, Providence, RI, U.S.A. (2002).
P. Fleig, H. P. A. Gustafsson, A. Kleinschmidt and D. Persson, Eisenstein series and automorphic representations, Cambridge University Press, Cambridge, U.K. (2018) [arXiv:1511.04265] [INSPIRE].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
ArXiv ePrint: 2109.05018
Supplementary Information
ESM 1
(ZIP 1126 kb)
Rights and permissions
Open Access . This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Dorigoni, D., Kleinschmidt, A. & Schlotterer, O. Poincaré series for modular graph forms at depth two. Part II. Iterated integrals of cusp forms. J. High Energ. Phys. 2022, 134 (2022). https://doi.org/10.1007/JHEP01(2022)134
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP01(2022)134