Nonvanishing of the cusp differential in cohomology of Bianchi groups

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.

Sources & referencesView supporting material

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.