Abstract

We define canonical real analytic versions of modular forms of integral weight for the full modular group, generalising real analytic Eisenstein series. They are harmonic Maass waveforms with poles at the cusp, whose Fourier coefficients involve periods and quasi-periods of cusp forms, which are conjecturally transcendental. In particular, we settle the question of finding explicit ‘weak harmonic lifts’ for every eigenform of integral weight k and level one. We show that mock modular forms of integral weight are algebro-geometric and have Fourier coefficients proportional to n^{1-k}(a_n^{prime } + rho a_n) for nne 0, where rho is the normalised permanent of the period matrix of the corresponding motive, and a_n, a_n^{prime } are the Fourier coefficients of a Hecke eigenform and a weakly holomorphic Hecke eigenform, respectively. More generally, this framework provides a conceptual explanation for the algebraicity of the coefficients of mock modular forms in the CM case.

Highlights

  • Let H denote the upper-half plane with the usual left action by = SL2(Z)

  • This paper is the third in a series [2,3] studying subspaces of the vector space M! of real analytic functions f : H → C which are modular of weights (r, s) for r, s ∈ Z, i.e

  • There exists a unique family of real analytic modular functions

Read more

Summary

Introduction

Of modular iterated integrals, generated from weakly holomorphic modular forms by repeatedly taking primitives with respect to ∂ and ∂ In this instalment, we describe the subspace. Of modular iterated integrals of length one These correspond to a modular incarnation of the abelian quotient of the relative completion of the fundamental group [4,15] of the moduli stack of elliptic curves M1,1. They span the first level in an infinite tower of non-abelian or ‘mixed’ modular functions whose general definition was given in

34 Page 2 of 36
Real Frobenius
34 Page 4 of 36
Contents
Background on weakly holomorphic modular forms
34 Page 10 of 36
Period matrix
Real Frobenius and single-valued map
34 Page 12 of 36
Differential operators There exist bigraded derivations
Bol’s operator
34 Page 14 of 36
34 Page 16 of 36
Modular iterated integrals of length one
34 Page 18 of 36
Ansatz for primitives
34 Page 20 of 36
34 Page 22 of 36
Definition
34 Page 24 of 36
34 Page 26 of 36
34 Page 28 of 36
Cocycles and periods
34 Page 30 of 36
Example
Cocycles
The mock modular form M
34 Page 34 of 36
34 Page 36 of 36
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call