Construction of even-level representations of \(\mathrm{SL}_2 (\mathfrak{o})\) with residue field of characteristic two (Q6564645)

Let \(\mathfrak{o}\) be a compact discrete valuation ring with maximal ideal \(\mathfrak{p}\) and finite residue field \(\mathbb{F}_{q}\) of characteristic \(p\) and, for \(\ell \geq 1\), let \(\mathfrak{o}_{\ell}\) be the finite quotient \(\mathfrak{o}/\mathfrak{p}^{\ell}\). For a prime \(p\), let \(\mathrm{DVR}_{p}\) be the set of all compact discrete valuation rings with finite residue field of characteristic \(p\), \(\mathrm{DVR}_{0} = \{ \mathfrak{o} \in \mathrm{DVR}_{p} \mid \mathrm{char}(\mathfrak{o}) = 0 \}\) and \(\mathrm{DVR}_{p}^{+}=\{\mathfrak{o} \in \mathrm{DVR}_{p} \mid \mathrm{char}(\mathfrak{o})= p \}\). For \(\mathfrak{o} \in \mathrm{DVR}_{p}^{+}\), \(\mathfrak{o}\) has ramification index \(e\) if \(p\mathfrak{o} = \pi^{e}\mathfrak{o}\), where \(\pi\) is a fixed uniformizer of the ring \(\mathfrak{o}\), that is \(\mathfrak{p}=\pi \mathfrak{o}\).\N\NIn the paper under review, the author focuses on the construction of the finite-dimensional continuous complex irreducible representations of groups \(\mathrm{SL}_{2}(\mathfrak{o})\). For \(\mathfrak{o} \in \mathrm{DVR}_{p}\) with \(p \not = 2\), the construction is already known (see [\textit{S. Tanaka}, J. Math. Kyoto Univ. 7, 123--132 (1967; Zbl 0219.20005)]). In particular he gives a construction of all irreducible representations of \(\mathrm{SL}_{2}(\mathfrak{o}_{r})\) for all \(\mathfrak{o} \in \mathrm{DVR}_{2}^{+}\) with \(r\geq 1\), and for \(\mathfrak{o} \in \mathrm{DVR}_{2}^{0}\) with \(\lfloor r\rfloor \geq 2e + 1\). This completes the construction for all irreducible representations of \(\mathrm{SL}(\mathfrak{o})\) for \(\mathfrak{o} \in \mathrm{DVR}_{2}\).\N\NThe author also proves that the complex group algebras of \(\mathrm{SL}_{2}\) over finite quotient rings of such compact discrete valuation rings depend on the characteristic of the ring. In particular, he proves that the group algebras \(\mathbb{C}[\mathrm{SL}_{2}(\mathbb{Z}/2^{r} \mathbb{Z})]\) and \(\mathbb{C}[\mathrm{SL}_{2}(\mathbb{F}_{2}[t]/(t^{r})]\) are not isomorphic for any \(r \geq 4\).