Asymmetry of Ext-groups
type: Item
instance of: scholarly article
title: Asymmetry of Ext-groups
zbMATH Open document ID: 1173.13017
author: Izuru Mori
published in: Journal of Algebra
publication date: 2009-10-13T00:00:00Z
review text: For an algebra \(R\) over a fixed base field \(k\) and finitely generated right \(R\)-modules \(M\) and \(N\), the intersection multiplicity of \(M\) and \(N\) has been defined as \(M\cdot N :=(-1)^{GK\dim R-GK\dim M}\xi(M,N),\) where \(GK\dim M\) is the Gelfand-Kirilov dimension of \(M\) and \(\xi (M,N) = \sum _{i \in {\mathbb{Z^+}}} (-1)^{i} \dim_{k} \mathrm{Ext}_{R}^{i}(M,N)\) (where \({\mathbb{Z^+}}\) denotes the positive integers) is the Euler form of \(M\) and \(N\) [\textit{I. Mori} and \textit{S. P. Smith}, J. Pure Appl. Algebra 157, 279--299 (2001; Zbl 0976.16033)]. For a good intersection theory, the property \(M \cdot N = N \cdot M\) is desirable and is often true if both \(M \cdot N\) and \(N \cdot M\) are well-defined. The author is interested in the question when \(M \cdot N\) being well defined implies that \(N \cdot M\) is well defined and in this paper constructs counterexamples. This is done by looking at two types of symmetric behaviour of the \(\mathrm{Ext}\)-group, which together imply that \(N \cdot M\) will be well-defined if \(M \cdot N\) is: \(\bullet\) {\textbf{(EE)}}: for all finitely generated right R-modules \(M\) and \(N,\) \(\dim_{k} \mathrm{Ext}^{i}_{R} (M,N) < \infty\) for all \(i \in {\mathbb {N}}\) if and only if \(\dim_{k} \mathrm{Ext}^{i}_{R} (N,M)< \infty\) for all \(i \in {\mathbb{N}}\) \(\bullet\) \textbf{ {(ee)}}: for all finitely generated right R-modules \(M\) and \(N \) \(\mathrm{Ext}^{i}_{R} (M,N) =0\) for all \(i \gg 0\) if and only if \(\mathrm{Ext}^{i}_{R} (N,M)=0\) for all \(i \gg 0\) Techniques of noncommutative projective geometry are used to construct examples of algebras not satisfying \textbf{ {(EE)}} and \textbf{ {(ee)}}. It is shown that, in contrast to the commutative case, a simple example exists of a noncommutative noetherian Gorenstein (Frobenius)local algebra satisfying the uniform Auslander condition \textbf{ {(uac)}}: there is an integer \(d_{R} \in {\mathbb{N}}\) such that, for all finitely generated ri…
reviewed by: Frieda Theron
Mathematics Subject Classification ID: 13D07
Mathematics Subject Classification ID: 14D22
zbMATH DE Number: 5614711
zbMATH Keywords: Ext-groups
zbMATH Keywords: AS-Gorenstein algebras
zbMATH Keywords: Frobenius Koszul algebras
zbMATH Keywords: noncommutative projective geometry
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2009.02.027
OpenAlex ID: W2013092613
cites work: Noncommutative projective schemes
cites work: Support varieties and cohomology over complete intersections
cites work: ABSOLUTE, RELATIVE, AND TATE COHOMOLOGY OF MODULES OF FINITE GORENSTEIN DIMENSION
cites work: On the Hochschild (Co)Homology of Quantum Exterior Algebras
cites work: Symmetry in the vanishing of Ext over Gorenstein rings
cites work: Q3378989
cites work: Finite Cohen–Macaulay Type and Smooth Non-Commutative Schemes
cites work: Cohomology of tails, Tate-Vogel cohomology, and noncommutative Serre duality over Koszul quiver algebras.
cites work: Intersection multiplicity over noncommutative algebras
cites work: Homological properties of balanced Cohen-Macaulay algebras
cites work: Serre's vanishing conjecture for Ext-groups.
cites work: Q3424810
cites work: CO-POINT MODULES OVER KOSZUL ALGEBRAS
cites work: Symmetry in the vanishing of Ext over stably symmetric algebras.
cites work: Co-Point Modules Over Frobenius Koszul Algebras
cites work: Bézout's theorem for non-commutative projective spaces
cites work: Ideal classes of three-dimensional Sklyanin algebras.
cites work: Q4875159
cites work: Q4863380
cites work: Dualizing complexes over noncommutative graded algebras
cites work: Existence theorems for dualizing complexes over non-commutative graded and filtered rings
cites work: Connected graded Gorenstein algebras with enough normal elements
DOI: 10.1016/J.JALGEBRA.2009.02.027
description: scientific article; zbMATH DE number 5614711