2019/06/18 by Michael H. Mertens, Ken Ono, Mertens, Michael H. +3
Mathematics · #Advanced Mathematical Identities #Advanced Algebra and Geometry #Analytic Number Theory Research
paper · pdf · doi:10.48550/arxiv.1906.07410
By the theory of Eisenstein series, generating functions of various divisor functions arise as modular forms. It is natural to ask whether further divisor functions arise systematically in the theory of mock modular forms. We establish, using the method of Zagier and Zwegers on holomorphic projection, that this is indeed the case for certain (twisted) "small divisors" summatory functions σψsm(n). More precisely, in terms of the weight 2 quasimodular Eisenstein series E2(τ) and a generic Shimura theta function θψ(τ), we show that there is a constant αψ for which E+ψ(τ):= αψ⋅(E2(τ))/(θψ(τ))+ (1)/(θψ(τ)) ∑n=1^∞ σsmψ(n)qn is a half integral weight (polar) mock modular form. These include generating functions for combinatorial objects such as the Andrews spt-function and the "consecutive parts" partition function. Finally, in analogy with Serre's result that the weight 2 Eisenstein series is a p-adic modular form, we show that these forms possess canonical congruences with modular forms.