Derived equivalences of selfinjective algebras preserve singularities. (Q1416713)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Derived equivalences of selfinjective algebras preserve singularities.
scientific article

    Statements

    Derived equivalences of selfinjective algebras preserve singularities. (English)
    0 references
    0 references
    0 references
    16 December 2003
    0 references
    Let \(A\) and \(B\) be finite dimensional self-injective algebras over an algebraically closed field \(k\). Then, one defines an algebraic variety \(\text{mod}(A,d)\) of \(d\)-dimensional \(A\)-modules as the variety of possible \(A\)-module structures on a fixed \(d\)-dimensional vector space. The base change group \(\text{Gl}_d(k)\) acts on \(\text{mod}(A,d)\) and a module \(M\) is said to be a degeneration of a module \(N\) if \(M\) belongs to the Zariski closure \(\overline O_N=\overline{\text{Gl}_d(k)\cdot N}\) of the \(\text{Gl}_d(k)\)-orbit of \(N\). Now, any two pointed algebraic varieties \((X_1,x_1)\) and \((X_2,x_2)\) are said to be smoothly equivalent if there is a third \((Z,z_0)\) and smooth morphisms \(\xi_i\colon(Z,z_0)\to(X_i,x_i)\) for \(i=1\) and \(i=2\). The equivalence class of \((X,x)\) is denoted \(\text{Sing}(X,x)\). The main result of the paper under review is the following statement. Suppose there is an \(A\)-\(B\)-bimodule \(M\) and a \(B\)-\(A\)-bimodule \(N\) so that \(M\otimes_BN\) is isomorphic to the direct sum of \(A\) and a projective \(A\)-\(A\)-bimodule, and likewise for \(N\otimes_AM\). If the \(A\)-module \(V\) degenerates to \(W\), then \(\text{Sing}(\overline O_V,W)=\text{Sing}(\overline O_{M\otimes_AV},M\otimes_AW)\). As an application the authors show that the closures of the orbits of the module varieties of a Brauer tree algebra are Cohen-Macaulay, normal, and, if the characteristic of \(k\) is \(0\), have rational singularities. The proof of the main theorem is a reduction to a statement on Grothendieck groups, and then the authors apply an earlier result of the second author. The existence of such bimodules \(M\) and \(N\) is implied by an equivalence between the derived categories of the two algebras.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    degenerations of modules
    0 references
    singularities
    0 references
    modules varieties
    0 references
    0 references