On a new formula for the Gorenstein dimension (Q1734219)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a new formula for the Gorenstein dimension |
scientific article |
Statements
On a new formula for the Gorenstein dimension (English)
0 references
22 March 2019
0 references
Let $A$ be a finite-dimensional algebra over a fixed field $K$. Denote by $A^e = A^{\mathrm{op}}\otimes_KA$ the enveloping algebra of $A$. It is known that the $A^e$-modules correspond to the $A$-bimodules. Recall that an algebra $A$ is called left weakly Gorenstein if the full subcategory of Gorenstein projective modules coincides with the full subcategory of modules $M$ with $\mathrm{Ext}^i_A(M,A) = 0$ for all $i\geq 1$. Denote by $\mathrm{Gdim}(A)$, $\mathrm{Gpd}_{A^e}(A)$ and $\mathrm{gldim}(A)$, the Gorenstein dimension of $A$, the Gorenstein projective dimension of the regular module as an $A^e$-module and the global dimension of $A$, respectively. The main result of the paper says that, if $A$ is left weakly Gorenstein algebra, then $\mathrm{Gdim}(A)=\mathrm{Gpd}_{A^e}(A)$. The author also gives the following applications of the main result: 1. Let $A$ be an algebra such that $\mathrm{gldim}(A)<\infty$. Then $\mathrm{gldim}(A) = \mathrm{Gpd}_{A^e}(A)$. 2. Let $A$ be a left weakly Gorenstein algebra. Then $A$ is selfinjective if and only if $A$ is Gorenstein projective as an $A^e$-module. 3. Let $A$ be a left weakly Gorenstein algebra that is not Gorenstein. Then $\mathrm{Ext}^i(D(A),A)\neq 0$ for infinitely many $i\geq 1$. Note that the first application generalises a formula of Happel for the global dimension of algebras (see [\textit{D. Happel}, Lect. Notes Math. 1404, 108--126 (1989; Zbl 0688.16033)]), the second generalises a criterion of Shen for an algebra to be selfinjective (see [\textit{D. Shen}, ``A description of Gorenstein projective modules over the tensor products of algebras'', Preprint, \url{arXiv:1602.00116}]), and in the third application the author proves a stronger version of the first Tachikawa conjecture for left weakly Gorenstein algebras (see [\textit{H. Tachikawa}, Quasi-Frobenius rings and generalizations. QF-3 and QF-1 rings. Notes by Claus Michael Ringel. Berlin: Springer (1973; Zbl 0271.16004)]).
0 references
Gorenstein algebras
0 references
enveloping algebra
0 references
Gorenstein homological algebra
0 references
Gorenstein projective dimension
0 references
0 references
0 references