On the modularity of 2-adic potentially semi-stable deformation rings (Q2031701)

The Fontaine-Mazur conjecture predicts that a continuous representation \(r : G_{\mathbb{Q}} \to \mathrm{GL}_2(\mathbb{Q}_p)\) that is odd, irreducible, unramified at all but finitely many places, and potentially semistable with distinct Hodge-Tate weights, arises from a cuspidal eigenform. If \(p\) is odd this was known under a Taylor-Wiles condition on the mod \(p\) reduction \(\bar{r}\) by work of Kisin, Paškūnas, and Hu-Tan, unless \(p =3\) and \(\bar{r}|_{G_{\mathbb{Q}_p}}\) is (up to twist) a non-split extension of the trivial by the cyclotomic character. The author's article [Algebra Number Theory 15, No. 9, 2173--2194 (2021)] removed this final assumption when \(p = 3\) by providing a new proof that uses the `big' patched module \(M_\infty\) of [\textit{A. Caraiani} et al., Compos. Math. 154, No. 3, 503--548 (2017; Zbl 1461.11157)], and the \(p\)-adic Langlands correspondence. The article under review generalizes this approach to \(p = 2\); the ideas are similar, but a number of references have to be generalized to handle \(p = 2\). The result is new if \(p = 2\) and \(\bar{r}|_{G_{\mathbb{Q}_p}}\) has scalar semisimplification, the missing case from [\textit{V. Paškūnas}, Algebra Number Theory 10, No. 6, 1301--1358 (2016; Zbl 1404.11078)].