Fourier series of modular graph functions

Modular graph functions associate to a graph an SL(2,Z)-invariant function on the upper half plane. We obtain the Fourier series of modular graph functions of arbitrary weight w and two-loop order. The motivation for this work is to develop a deeper understanding of the origin of the algebraic identities between modular graph functions which have been discovered recently, and of the relation between the existence of these identities and the occurrence of cusp forms. We show that the constant Fourier mode, as a function of the modulus τ, consists of a Laurent polynomial in y=πImτ of degree (w,1−w), plus a contribution which decays exponentially as y→∞. The Laurent polynomial is a linear combination with rational coefficients of the top term yw, and lower order terms ζ(2k+1)yw−2k−1 for 1≤k≤w−1, as well as terms ζ(2w−2ℓ−3)ζ(2ℓ+1)y2−w for 1≤ℓ≤w−3. The exponential contribution is a linear combination of exponentials of y and incomplete Γ-functions whose coefficients are Laurent polynomials in y with rational coefficients.