Böcherer's conjecture for degree-two Siegel cusp forms

Let kk) be even, let fSk(Sp(4,Z))f\in S_k(\operatorname{Sp}(4,\mathbb Z)) be a non-zero Hecke eigenform, and let πf\pi_f be the associated automorphic representation of GSp(4,A)\operatorname{GSp}(4,\mathbb A). For an imaginary quadratic field K=Q(d)K=\mathbb Q(\sqrt d) with d<0d<0 a fundamental discriminant, let R(f,K)R(f,K) be the sum of the Fourier coefficients of ff over the ideal class group of KK; write w(K)w(K) for the number of roots of unity in KK, χd\chi_d for the associated quadratic Hecke character, and Lf(s,πfχd)L_{\mathrm f}(s,\pi_f\otimes\chi_d) for the finite part of the degree-44 Langlands LL-function.

Böcherer's conjecture. There exists a constant cfc_f depending only on ff such that, for every such KK,

R(f,K)2=cfw(K)2dk1Lf(1/2,πfχd).|R(f,K)|^2=c_f\,w(K)^2|d|^{k-1}L_{\mathrm f}(1/2,\pi_f\otimes\chi_d).

This conjecture relates class-group averages of Fourier coefficients to central LL-values and is a fundamental instance of the connection between Siegel modular forms and automorphic LL-functions. The source gives no resolution status for the conjecture.

Sources & referencesView supporting material

Primary source

Martin Dickson, Ameya Pitale, Abhishek Saha and Ralf Schmidt, “Explicit refinements of Böcherer's conjecture for Siegel modular forms of squarefree level”, arXiv:1512.07204 (2019).

Additional references

3 papers in this index state this conjecture (2010–2015). The statement above is taken from the most recent of them; the others are arXiv:1208.2926, arXiv:1010.3648.

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.