Basis Decompositions and a Mathematica Package for Modular Graph Forms

Abstract

Modular graph forms (MGFs) are a class of non-holomorphic modular forms which naturally appear in the low-energy expansion of closed-string genus-one amplitudes and have generated considerable interest from pure mathematicians. MGFs satisfy numerous non-trivial algebraic- and differential relations which have been studied extensively in the literature and lead to significant simplifications. In this paper, we systematically combine these relations to obtain basis decompositions of all two- and three-point MGFs of total modular weight $w+\bar{w}\le 12$, starting from just two well-known identities for banana graphs. Furthermore, we study previously known relations in the integral representation of MGFs, leading to a new understanding of holomorphic subgraph reduction as Fay identities of Kronecker--Eisenstein series and opening the door towards decomposing divergent graphs. We provide a computer implementation for the manipulation of MGFs in the form of the $\text{Mathematica}$ package $\text{ModularGraphForms}$ which includes the basis decompositions obtained.

arXiv comment75+27 pages. Submission includes a Mathematica package and text files with basis decompositions in the ancillary files

References in corpus (25)

• Elliptic multiple zeta values and one-loop superstring amplitudes
• The low energy expansion of the one-loop type II superstring amplitude
• Low energy expansion of the four-particle genus-one amplitude in type II superstring theory
• On the modular structure of the genus-one Type II superstring low energy expansion
• Matching the $D^6{\mathcal{R}}^4$ interaction at two-loops
• Higher genus modular graph functions, string invariants, and their exact asymptotics
• Proving relations between modular graph functions
• From elliptic multiple zeta values to modular graph functions: open and closed strings at one loop
• Current Algebra on the Torus
• Proof of a modular relation between 1-, 2- and 3-loop Feynman diagrams on a torus
• Poisson equation for the Mercedes diagram in string theory at genus one
• All-order differential equations for one-loop closed-string integrals and modular graph forms
• Generating series of all modular graph forms from iterated Eisenstein integrals
• Simplifying the one loop five graviton amplitude in type IIB string theory
• Heterotic-string amplitudes at one loop: modular graph forms and relations to open strings
• Tetrahedral modular graph functions
• Modular graph functions and odd cuspidal functions -- Fourier and Poincaré series
• Functional relations for elliptic polylogarithms
• Eigenvalue equation for the modular graph $C_{a,b,c,d}$
• From Little String Free Energies Towards Modular Graph Functions
• Holomorphic subgraph reduction of higher-point modular graph forms
• Eigenvalue equation for genus two modular graphs
• Low momentum expansion of one loop amplitudes in heterotic string theory
• A simplifying feature of the heterotic one loop four graviton amplitude
• Zero mode of the Fourier series of some modular graphs from Poincare series

Cited by in corpus (9)

• The SAGEX Review on Scattering Amplitudes, Chapter 10: Selected topics on modular covariance of type IIB string amplitudes and their $\mathcal{N}=4$ supersymmetric Yang-Mills duals
• Modular graph forms from equivariant iterated Eisenstein integrals
• Poincaré series for modular graph forms at depth two. I. Seeds and Laplace systems
• To the cusp and back: Resurgent analysis for modular graph functions
• Integrating three-loop modular graph functions and transcendentality of string amplitudes
• Basis decompositions of genus-one string integrals
• Advanced tools for basis decompositions of genus-one string integrals
• Type II superstring amplitude at one-loop and transcendentality
• From Modular Graph Forms to Iterated Integrals