Concentration conjecture for localized completed homology

Let UpU^p be a compact open subgroup away from pp, let O\mathcal{O} be the coefficient ring, let TS(Up)\mathbb{T}^S(U^p) be the Hecke algebra, and let q0q_0 be the distinguished homological degree. For a maximal ideal mTS(Up)\mathfrak{m}\subset\mathbb{T}^S(U^p), call m\mathfrak{m} non-Eisenstein when the associated representation ρˉm\bar{\rho}_{\mathfrak{m}} is absolutely irreducible. Concentration conjecture. If mTS(Up)\mathfrak{m}\subset\mathbb{T}^S(U^p) is a non-Eisenstein maximal ideal, then

H~(XUp,O)m=H~q0(XUp,O)m.\widetilde{H}_\ast(X_{U^p},\mathcal{O})_{\mathfrak{m}}=\widetilde{H}_{q_0}(X_{U^p},\mathcal{O})_{\mathfrak{m}}.

These conjectures are open in general, but are known to hold when l0=1l_0=1, namely when FF is an imaginary quadratic field.

Sources & referencesView supporting material

Primary source

Douglas Molin, “On patched completed homology and a conjecture of Venkatesh”, arXiv:2407.04228 (2024).

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.