On extensions of supersingular representations of \(\mathrm{SL}_2(\mathbb{Q}_p)\) (Q1729751)

In this paper, the author put a great effort in the background material and this was really needed throughout. The main goal, see Theorem 1.1, is to calculate the dimensions of the spaces of degree one extensions \(\text{Ext}^1_{\mathrm{SL}_2(\mathbb{Q}_p)}\), for any two irreducible supersingular representations of \(\mathrm{SL}_2(\mathbb{Q}_p)\), when \(p>3 \). Extensions of irreducible supersingular representations of \(\mathrm{GL}_2(\mathbb{Q}_p)\) were studied in [\textit{V. Paskunas}, Astérisque 331, 317--353 (2010; Zbl 1204.22013)], and the dimensions of those spaces were calculated. For extensions between non-supersingular representations of \(\mathrm{GL}_2(\mathbb{Q}_p)\) and in general for other classes of reductive groups see [\textit{C. Breuil} and \textit{V. Paskunas}, Mem. Amer. Math. Soc. 216 (1016) (2012; Zbl 1245.22010)] and [\textit{J. Hauseux}, Algebra Number Theory 12 (4), 779--831 (2018; Zbl 1395.22008)], respectively. Other than the introduction, the paper contains two sections with several subsections, each contributing a step in the proof of the main theorem. In the first section, Extensions of pro \(p\)-Iwahori Heche algebra modules were calculated from resolutions constructed for Hecke modules due to Schneider and Ollivier [\textit{R. Ollivier} and \textit{P. Schneider}, Adv. Math. 327, 52--127 (2018; Zbl 1427.20007)]. The author continues the work in the second section; first by considering the equivalence between the category of smooth representations of \(\mathrm{SL}_2(\mathbb{Q}_p)\), generated by the pro \(p\)-Iwahori invariant vectors, and the module category of the pro \(p\)-Iwahori Hecke algebra of \(\mathrm{SL}_2(\mathbb{Q}_p)\), refering to Theorem 5.2 in [\textit{K. Koziol} Int. Math. Res. Not. IMRN (4), 1090--1125 (2016; Zbl 1347.11048)]. This equivalence between the above two categories, induces a certain Ext-spectral sequence which was then used to calculate the \(\text{Ext}^1_{\mathrm{SL}_2(\mathbb{Q}_p)}\). Some applications of the main result are also derived. For example, to determine the structure of the pro \(p\)-Iwahori invariants of extensions of supersingular representations of \(\mathrm{SL}_2(\mathbb{Q}_p)\). Hence to get the explicit construction of those extensions of supersingular representations of \(\mathrm{SL}_2(\mathbb{Q}_p)\) generated by pro \(p \)-Iwahori invariants. Finally, the paper is well organized, written neatly and in clear mathematical language.