The \(p\)-adic group ring of \(\mathrm{SL}_2(p^f)\). (Q403127): Difference between revisions

Let \(R\) denote the unramified extension of the ring of \(p\)-adic integers of degree \(f\), so \(R/pR\cong\mathbb F_{p^f}\). In [J. Reine Angew. Math. 528, 183-200 (2000; Zbl 1043.20009); J. Algebra 230, No. 2, 424-454 (2000; Zbl 1043.20008)] the reviewer described an \(R\)-order \(\Lambda\) such that \(\Lambda/p\Lambda\cong\mathbb F_{p^f}\mathrm{SL}_2(p^f)\) that she conjectured to be isomorphic to the group ring \(R\mathrm{SL}_2(p^f)\). The present paper proves this conjecture by showing that the algebra \(\mathbb F_{p^f}\mathrm{SL}_2(p^f)\) described by \textit{H. Koshita}, [J. Pure Appl. Algebra 97, No. 3, 313-324 (1995; Zbl 0828.16014); Commun. Algebra 26, No. 3, 681-712 (1998; Zbl 0913.20007)] has the unique lifting property. The strategy uses a result by Okuyama, that the \(p\)-blocks of \(\mathrm{SL}_2(p^f)\) are derived equivalent to its Brauer correspondents. The author shows that these Brauer correspondents satisfy the unique lifting property. By the main result of the author's thesis [published in \textit{F. Eisele}, J. Algebra 356, No. 1, 90-114 (2012; Zbl 1276.16008)] there is a bijection between suitable lifts of derived equivalent algebras. So this very powerful method shows that also \(\mathbb F_{p^f}\mathrm{SL}_2(p^f)\) lifts uniquely and hence the orders \(\Lambda\) from [\textit{G. Nebe}, op. cit.] are indeed isomorphic to the \(p\)-adic group ring of \(\mathrm{SL}_2(p^f)\).