Asymmetry of Ext-groups (Q734774): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Noncommutative projective schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Support varieties and cohomology over complete intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: ABSOLUTE, RELATIVE, AND TATE COHOMOLOGY OF MODULES OF FINITE GORENSTEIN DIMENSION / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Hochschild (Co)Homology of Quantum Exterior Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetry in the vanishing of Ext over Gorenstein rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3378989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite Cohen–Macaulay Type and Smooth Non-Commutative Schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cohomology of tails, Tate-Vogel cohomology, and noncommutative Serre duality over Koszul quiver algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intersection multiplicity over noncommutative algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homological properties of balanced Cohen-Macaulay algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Serre's vanishing conjecture for Ext-groups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3424810 / rank
 
Normal rank
Property / cites work
 
Property / cites work: CO-POINT MODULES OVER KOSZUL ALGEBRAS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetry in the vanishing of Ext over stably symmetric algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Co-Point Modules Over Frobenius Koszul Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bézout's theorem for non-commutative projective spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ideal classes of three-dimensional Sklyanin algebras. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4875159 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4863380 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dualizing complexes over noncommutative graded algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Existence theorems for dualizing complexes over non-commutative graded and filtered rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Connected graded Gorenstein algebras with enough normal elements / rank
 
Normal rank

Revision as of 00:50, 2 July 2024

scientific article
Language Label Description Also known as
English
Asymmetry of Ext-groups
scientific article

    Statements

    Asymmetry of Ext-groups (English)
    0 references
    0 references
    13 October 2009
    0 references
    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 right R-modules \(M\) and \(N\) if \(\mathrm{Ext}^{i}_{R} (M,N) =0\) for all \(i \gg 0\), then \(\mathrm{Ext}_{R}^{i} (M,N) = 0\) for all \(i > d_{R}\), but not satisfying \textbf{ {(ee)}}.
    0 references
    0 references
    Ext-groups
    0 references
    AS-Gorenstein algebras
    0 references
    Frobenius Koszul algebras
    0 references
    noncommutative projective geometry
    0 references

    Identifiers