The p-adic group ring of SL₂(p^f).

DOI10.1016/J.JALGEBRA.2014.01.036MaRDI QIDQ403127zbMATH OpenOpenAlexFDO

Authors Florian Eisele

Publication date 29 August 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.7622

zbMATH Keywords

\(p\)-adic group ringsBrauer correspondentsderived equivalencesordersunique lifting property

Mathematics Subject Classification ID

Derived categories and associative algebras (16E35) Representations of orders, lattices, algebras over commutative rings (16G30) Orders in separable algebras (16H10) Group rings (16S34) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) (p)-adic representations of finite groups (20C11) Modular representations and characters (20C20) Representations of finite groups of Lie type (20C33) Linear algebraic groups over finite fields (20G40)

Abstract: In this article we show that the $$-order $$ can be recognized among those orders whose reduction modulo $p$ is isomorphic to $F_{p^f}S{L}_2(p^f)$ using only ring-theoretic properties (in other words we show that $F_{p^f}S{L}_2(p^f)$ lifts uniquely to a $$-order, provided certain reasonable conditions are imposed on the lift). This proves a conjecture made by Nebe concerning the basic order of $$.

Review text

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)\).NEWLINENEWLINE 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)\).

Recommendations

• The group ring of \(\text{SL}_2(p^f)\) over \(p\)-adic integers for \(p\) odd.
• The group ring of SL2(2f) over 2-adic integers
• The group ring of \(\text{SL}_2(p^2)\) over the \(p\)-adic integers
• scientific article; zbMATH DE number 438590
• Group rings of finite groups over p-adic integers

Cites work

• \(p\)-adic lifting problems and derived equivalences.
• A Noether-Deuring theorem for derived categories.
• Broué's conjecture for the nonprincipal block of \(\text{SL}(2,q)\) with full defect.
• Degenerations for derived categories
• Derived Equivalences As Derived Functors
• Die Zerlegungsmatrizen der Gruppen \(PSL(2,p^f)\)
• scientific article; zbMATH DE number 3736029 (Why is no real title available?)
• scientific article; zbMATH DE number 3477356 (Why is no real title available?)
• Lifting theorems for tilting complexes
• Projective modules for SL(2,2ⁿ)
• Quiver and relations for \(\text{SL}(2,2^ n)\) in characteristic \(2\)
• Quiver and relations forSL(2,pⁿ) in characteristicpwithpodd
• The group ring of \(\text{SL}_2(p^f)\) over \(p\)-adic integers for \(p\) odd.
• The group ring of SL2(2f) over 2-adic integers

Cited in

(8)

• The group ring of \(\text{SL}_2(p^2)\) over the \(p\)-adic integers
• The group ring of \(\text{SL}_2(p^f)\) over \(p\)-adic integers for \(p\) odd.
• Arbitrarily large Morita Frobenius numbers
• A presentation of the group \(\text{Sl}_*(2,A)\), \(A\) a simple Artinian ring with involution.
• scientific article; zbMATH DE number 5734699 (Why is no real title available?)
• The group ring of SL2(2f) over 2-adic integers
• Degenerating 0 in triangulated categories
• scientific article; zbMATH DE number 7132835 (Why is no real title available?)

This page was built for publication: The \(p\)-adic group ring of \(\mathrm{SL}_2(p^f)\).

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q403127)