Nonvanishing conjecture for the first Fourier coefficient of twisted divisor-function forms

Let DD, cellcell, kk, and ee be the parameters defining the modular form FD,,k,e\mathcal{F}_{D,\ell,k,e} and its Fourier coefficient aD,,k,e(1;χ)a_{D,\ell,k,e}(1;\chi), and set

K=k++2e.K=k+\ell+2e.

Nonvanishing conjecture. The first Fourier coefficient satisfies

aD,,k,e(1;χ)0a_{D,\ell,k,e}(1;\chi)\neq 0

for KD1K\gg_D1.

This conjecture proposes nonvanishing of the first Fourier coefficient when the weight is sufficiently large relative to DD. The source notes that a related result is known when e=0e=0 and k=k=\ell, after modifying the definition, under the explicit bound K10D+2K\geq 10D+2; the general assertion remains open.

Sources & referencesView supporting material

Primary source

Tianyu Ni, “Representation of Ramanujan's tau function by twisted divisor functions”, arXiv:2604.13365 (2026).

Additional references

9 papers in this index state this conjecture (2005–2026). The statement above is taken from the most recent of them; the others are arXiv:2503.20345, arXiv:2407.09210, arXiv:2202.13814, arXiv:2201.11315, arXiv:2005.02613, arXiv:1808.00438, arXiv:1503.06503, arXiv:math/0501193.

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.