Pseudorepresentation compatibility conjecture for patched completed homology

Let RppsR^{\operatorname{ps}}_p be the relevant pseudodeformation ring, let EBE_{\mathfrak{B}} be the corresponding Hecke-module coefficient algebra, and let C~()\widetilde{\mathcal{C}}(\infty) be the patched completed-homology complex. The ring RppsR^{\operatorname{ps}}_p acts on Hq0(C~())H_{q_0}(\widetilde{\mathcal{C}}(\infty)) in two ways: through the map RppsEBR^{\operatorname{ps}}_p\to E_{\mathfrak{B}} and through the map RppsTS(Up)mR^{\operatorname{ps}}_p\to\mathbb{T}^S(U^p)_{\mathfrak{m}}. Pseudorepresentation compatibility conjecture. These two actions of RppsR^{\operatorname{ps}}_p on Hq0(C~())H_{q_0}(\widetilde{\mathcal{C}}(\infty)) coincide. This compatibility is an additional assumption used to make the depth-estimate part of the Taylor–Wiles method work for the relevant images in the category of EBE_{\mathfrak{B}}-modules; its resolution is not specified in the supplied text.

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.