Cohen's modularity conjecture for class-number generating series

About 13 years old · traced to

Let

S41(τ,X):=∑n=0n odd∞[∑s∈Zs2≤nH(n−s2)1−2sX+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 XℓX^\ell in this formal power series. Cohen's conjecture. The coefficient of XℓX^\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.

References

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.