\(p\)-adic lifting problems and derived equivalences. (Q713394)

From MaRDI portal
Revision as of 19:13, 5 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references