Categorification of a linear algebra identity and factorization of Serre functors (Q522024)

From MaRDI portal
Revision as of 20:05, 9 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Categorification of a linear algebra identity and factorization of Serre functors
scientific article

    Statements

    Categorification of a linear algebra identity and factorization of Serre functors (English)
    0 references
    0 references
    12 April 2017
    0 references
    Let \(A\) be a finite dimensional algebra over a field \(k\). \(A\) is said to be triangular algebra if there exists a complete set of primitive orthogonal idempotents \(e_1,\ldots, e_n\) of \(A\) satisfying that \(e_iAe_j=0\) for any \(j<i\) and \(e_iAe_j\cong k\) for \(1\leq i\leq n\). If \(M\) is a finite dimensional \(A\)-\(A\) bimodule, \(M\) is triangular if \(e_iMe_j=0\) for any \(j<i\). The main result of the paper establishes that for the trivial extension \(\Lambda\) of \(A\) and \(DM=\mathrm{Hom}_k(M,k)\), where \(A\) is a finite dimensional triangular algebra and \(M\) is a triangular \(A\)-\(A\) bimodule, there exist triangulated endofunctors \(R_i\) of \({\mathcal D}^b(\Lambda )\), which restrict to the triangulated subcategory of complexes quasi-isomorphic to perfect complexes, verifying: \[ ( -\overset{\mathbf{L}}{\otimes}_ADM_A[1])\circ (-\overset{\mathbf{L}}{\otimes}_\Lambda A_A) = (-\overset{\mathbf{L}}{\otimes}_\Lambda A_A )\circ R_n\circ \cdots \circ R_2 \circ R_1. \] Considering this equality at the level of \(K_0\), an interpretation of the well-known matrix identity obtained by \textit{A. J. Coleman} [Invent. Math. 95, No. 3, 447--477 (1989; Zbl 0679.17008)] for the Cartan matrix of \(\Lambda\) is obtained. As a consequence of the main result, it is shown that a lift the Serre functor on \({\mathcal D}^b(A)\) is a product of \textit{reflections}. This offers a categorification of the forementioned matrix identity for the symmetrization of an upper triangular square matrix. In the last section, the authors compares his categorification results with the previously obtained by \textit{P. Gabriel} in Section 5 [Lect. Notes Math. 831, 1--71 (1980; Zbl 0445.16023)].
    0 references
    triangular algebras
    0 references
    Serre functor
    0 references
    Coxeter reflection
    0 references
    categorification
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references