\(p\)-adic lifting problems and derived equivalences. (Q713394): Difference between revisions

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)].