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

At least 15 years old · documented by

Let kk) be even, let f∈Sk(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=cf w(K)2∣d∣k−1Lf(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.

References

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.