Conjectural normalized Euler characteristic formula for genus 2

Let k>0k>0 and l0l\geq0 satisfy k6lk\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βkS+[Γ1(3),k+2]αkS[Γ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(GalF)K^{\mathfrak S_2\times\mathfrak S_2}_0(\operatorname{Gal}_F), where δi=1\delta_i=1 if i120i\equiv_{12}0 and 00 otherwise. This supplies a genus-2 analogue of the preceding cohomological conjectures.

Sources & referencesView supporting material

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.