Conjectural normalized Euler characteristic formula for genus 2

About 6 years old · traced to

Let k>0k>0 and l≥0l\geq0 satisfy k≡6lk\equiv_6 l. Let XΓ[−3](2)\mathcal X^{(2)}_{\Gamma[\sqrt{-3}]} be the genus-2 moduli space considered in the paper, let Wk,l\mathbb W_{k,l} be the corresponding local system, and let αk\alpha_k, βk\beta_k, S±[Γ1(3),k+2]S^\pm[\Gamma_1(3),k+2], Lr,s\mathbb L^{r,s} and δi\delta_i be the representations and spaces defined in the surrounding text. The genus-2 normalized Euler-characteristic conjecture.

ecnorm(XΓ[−3](2),Wk,l)=−αk−βk−S+[Γ1(3),k+2]αk−S−[Γ1(3),k+2]βk+δk+1(Lk+1,0αk+L0,k+1βk)+δk+7(L0,k+1αk+Lk+1,0βk),\begin{aligned} e_c^{\rm norm}(\mathcal X^{(2)}_{\Gamma[\sqrt{-3}]},\mathbb W_{k,l})={}&-\alpha_k-\beta_k-S^+[\Gamma_1(3),k+2]\alpha_k-S^-[\Gamma_1(3),k+2]\beta_k\\ &+\delta_{k+1}(\mathbb L^{k+1,0}\alpha_k+\mathbb L^{0,k+1}\beta_k)\\ &+\delta_{k+7}(\mathbb L^{0,k+1}\alpha_k+\mathbb L^{k+1,0}\beta_k), \end{aligned}

as an element of K0S2×S2(Gal⁡F)K^{\mathfrak S_2\times\mathfrak S_2}_0(\operatorname{Gal}_F), where δi=1\delta_i=1 if i≡120i\equiv_{12}0 and 00 otherwise. This supplies a genus-2 analogue of the preceding cohomological conjectures.

References

Primary source

Jonas Bergström and Gerard van der Geer, “Picard modular forms and the cohomology of local systems on a Picard modular surface”, arXiv:2012.07673 (2020).

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.