Paramodular eigenform contribution to cuspidal cohomology of \SL_4Z\mathbb Z

Let NN be prime, and let P3nG(N)P_3^{\mathrm{nG}}(N) denote the space of weight-three non-Gritsenko paramodular eigenforms. Choose an equivalence class of eigenforms in P3nG(N)P_3^{\mathrm{nG}}(N) and a representative hh. Let dhd_h be the degree of the extension of Q\mathbb Q generated by the eigenvalues of hh. Let Hcusp5(Γ0(N);C)H^5_{\mathrm{cusp}}(\Gamma_0(N);\mathbb C) be the cuspidal fifth cohomology, and let H(ξ)H(\xi) and HSp(h)H_{\operatorname{Sp}}(h) denote the Hecke polynomials defined in the paper.

Paramodular cohomology conjecture. The cuspidal cohomology Hcusp5(Γ0(N);C)H^5_{\mathrm{cusp}}(\Gamma_0(N);\mathbb C) contains a 2dh2d_h-dimensional subspace spanned by Hecke eigenclasses. For every eigenclass ξ\xi in this subspace, the Hecke polynomial H(ξ)H(\xi) agrees with HSp(h)H_{\operatorname{Sp}}(h) up to Galois conjugacy.

This predicts the contribution of non-Gritsenko paramodular forms to the cuspidal cohomology at prime level. The supplied text gives no resolution evidence, so the conjecture is recorded as open.

Sources & referencesView supporting material

Primary source

Avner Ash, Paul E. Gunnells and Mark McConnell, “Cohomology of Congruence Subgroups of SL_4(Z). III”, arXiv:0903.3201 (2009).

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.