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

About 17 years old · traced to

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.

References

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.