Cohen's modularity conjecture for class-number generating series

Let

S41(τ,X):=n=0n odd[sZs2nH(ns2)12sX+nX2+k=0λ2k+1(n)X2k]qn,S_4^1(\tau,X):=\sum\limits_{\substack{n=0\\ n\text{ odd}}}^\infty \left[\sum_{\substack{s\in\mathbb{Z}\\ s^2\leq n}}\frac{H(n-s^2)}{1-2sX+nX^2}+\sum\limits_{k=0}^\infty \lambda_{2k+1}(n)X^{2k}\right]q^n,

where q=e2πiτq=e^{2\pi i\tau} with Im(τ)>0\operatorname{Im}(\tau)>0, H(n)H(n) is the Hurwitz class number, and λ2k+1(n)\lambda_{2k+1}(n) denotes the coefficients occurring in Cohen's formal power series. For each nonnegative integer \ell, consider the coefficient of XX^\ell in this formal power series. Cohen's conjecture. The coefficient of XX^\ell is a holomorphic modular form of weight +2\ell+2 on Γ0(4)\Gamma_0(4). Cohen's conjecture connects the class-number generating series with holomorphic modular forms and extends the modularity phenomena known for the generalized class-number series. Its resolution status is not established by the supplied source context.

Sources & referencesView supporting material

Primary source

Michael H. Mertens, “Mock Modular Forms and Class Number Relations”, arXiv:1305.5122 (2013).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.