\(p\)-adic lifting problems and derived equivalences. (Q713394): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q403591 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Frauke M. Bleher / rank | |||
Normal rank |
Revision as of 00:01, 15 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(p\)-adic lifting problems and derived equivalences. |
scientific article |
Statements
\(p\)-adic lifting problems and derived equivalences. (English)
0 references
29 October 2012
0 references
Let \((K,\mathcal O,k)\) be a \(p\)-modular system for some prime \(p\) where we assume \(\mathcal O\) to be complete. For some results, the author needs to assume that \(k\) is algebraically closed. Let \(\overline\Lambda\) be a finite dimensional \(k\)-algebra. A lift of \(\overline\Lambda\) is a pair \((\Lambda,\varphi)\), where \(\Lambda\) is an \(\mathcal O\)-order and \(\varphi\colon k\otimes_{\mathcal O}\Lambda\to\overline\Lambda\) is an isomorphism. Two lifts \((\Lambda,\varphi)\) and \((\Lambda',\varphi')\) are said to be equivalent if the following is true: There exists an isomorphism \(\alpha\colon\Lambda\to\Lambda'\), and there exists an element \(\beta\in\Aut_k(\overline\Lambda)\) such that the functor \(-\otimes_{\overline\Lambda}^{\mathbf L}{_\beta\overline\Lambda}_{\mathrm{id}}\) fixes all isomorphism classes of tilting complexes in \(\mathrm K^b(\mathrm{proj}(\overline\Lambda))\), satisfying \(\varphi=\beta\circ\varphi'\circ(\mathrm{id}_k\otimes\alpha)\). The set \(\widehat{\mathfrak L}(\overline\Lambda)\) is then defined to be the set of lifts \((\Lambda,\varphi)\) modulo this equivalence relation. Let \(\overline\Lambda\) and \(\overline\Gamma\) be two derived equivalent finite dimensional \(k\)-algbras. The author proves that the respective problems of lifting \(\overline\Lambda\), resp. \(\overline\Gamma\), to \(\mathcal O\)-orders are essentially equivalent. More precisely, he associates to a two-sided tilting complex \(X\in\mathrm D^b(\overline\Lambda^{\mathrm{op}}\otimes_k\overline\Gamma)\) a bijection \(\phi_X\colon\widehat{\mathfrak L}(\overline\Lambda)\to\widehat{\mathfrak L}(\overline\Gamma)\). Under certain conditions, the author uses this correspondence to transfer properties between \(\Lambda\) and \(\Gamma\) when \(\Lambda\), resp. \(\Gamma\), are lifts of \(\overline\Lambda\), resp. \(\overline\Gamma\). As an application, the author considers tame blocks of group algebras \(kG\), where \(G\) is a finite group and \(k\) is algebraically closed. In particular, he considers blocks with dihedral defect groups and precisely two isomorphism classes of simple modules. He proves that two such blocks are Morita equivalent over \(\mathcal O\) if and only if their corresponding blocks defined over \(k\) are Morita equivalent and their centers are equal. He further shows that in this case only those algebras with parameter \(c=0\) occur as basic algebras, where \(c\) is the parameter introduced by \textit{K. Erdmann} to describe these algebras [see Blocks of tame representation type and related algebras. Lect. Notes Math. 1428. Berlin: Springer-Verlag (1990; Zbl 0696.20001)].
0 references
orders
0 references
integral representations
0 references
tilting complexes
0 references
derived equivalences
0 references
\(p\)-modular systems
0 references
dihedral defect groups
0 references
tame blocks
0 references
group algebras
0 references