Nonvanishing of the cusp differential in cohomology of Bianchi groups

At least 14 years old · documented by

Let Γs\Gamma_s be the stabilizer of a singular cusp ss, let MM be a coefficient module as above, and let d20,1d_2^{0,1} be the differential in the spectral sequence computing H2(Γ,M)H^2(\Gamma,M). The restriction of this differential to the summand associated with ss is a map

H1(Γs,M)⟶E22,0.H^1(\Gamma_s,M)\longrightarrow E_2^{2,0}.

Nonvanishing conjecture. This restricted differential is nonzero.

This nonvanishing would determine the contribution of singular cusps to the computation of H2(Γ,M)H^2(\Gamma,M) by showing that the corresponding E20,1E_2^{0,1} contribution is not killed trivially. The source reports considerable computational evidence, but does not establish the claim in general.

References

Primary source

Alexander D. Rahm and Mehmet Haluk Sengun, “On Level One Cuspidal Bianchi Modular Forms”, arXiv:1104.5303 (2013).

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.