[Paper Review] Noncommutative Koszul filtrations

Dmitri Piontkovski|ArXiv.org|Jan 21, 2003

Algebraic structures and combinatorial models10 references3 citations

TL;DR

This paper extends the theory of Koszul filtrations from commutative to noncommutative quadratic algebras by introducing noncommutative Koszul filtrations—sets of degree-one generated ideals closed under certain ideal operations. It proves that algebras with such filtrations are Koszul and have rational Hilbert series, generalizing results from commutative algebra and establishing connections to PBW algebras and rate filtrations.

ABSTRACT

We study associative graded algebras which have a ``complete flag'' of cyclic modules with linear free resolutions, i.e., algebras over which there is a cyclic Koszul module with every admissible number of relations (from zero up to the number of generators of the algebra). Commutative algebras with the same property has been studied in several papers by A. Conca and others. Here we present a non-commutative version. We introduce the concept of Koszul filtration in non-commutative algebras and study its connections with Koszul algebras and algebras with quadratic Groebner bases. Also, here are considered several examples, such as ``Groebner flags'', generic algebras, and algebras with one relation. A generalization of the concept Koszul filtration (generalized Koszul, or rate, filtration) leads to algebras with finite Backelin's rate and to coherent algebras. One of our main results is that every algebra with Koszul filtration (or with finite rate filtration) has rational Hilbert series.

Motivation & Objective

• To generalize the concept of Koszul filtration from commutative to noncommutative quadratic algebras.
• To establish conditions under which noncommutative algebras are Koszul via the existence of Koszul filtrations.
• To prove that algebras with finite rate filtrations have rational Hilbert series and finite rate, extending known results from commutative algebra.
• To investigate the relationship between Koszul filtrations, PBW algebras, and initial Koszulness in the noncommutative setting.
• To explore open questions on duality, left/right ideals, Veronese subalgebras, and coherence in the context of rate filtrations.

Proposed method

• Introduces noncommutative Koszul filtrations as sets of degree-one generated right ideals closed under the operation I = J + xR and closure of (x:J) = {a ∈ R | xa ∈ J}.
• Defines a Koszul flag as a chain of such ideals forming a filtration, showing that every Koszul filtration contains a Koszul flag.
• Uses exact sequences of the form 0 → J → I → R/N[-d] → 0 to derive recursive relations for Hilbert series.
• Applies Euler characteristic arguments to derive linear systems H = A(R(z)e - H), leading to rational generating functions.
• Introduces rate (generalized Koszul) filtrations for non-quadratic algebras, where ideals are not required to be degree-one generated.
• Establishes that finite rate filtrations imply finite rate (H_{ij}(R) = 0 for j > di), and uses matrix algebra to prove rationality of Hilbert series.

Experimental results

Research questions

• RQ1 Does every commutative G-quadratic algebra (with quadratic Gröbner basis) admit a Koszul flag?
• RQ2 Are there PBW algebras that lack Koszul filtrations?
• RQ3 If an algebra has an infinite Koszul filtration, must it also have a finite one?
• RQ4 If an algebra has a Koszul filtration (or flag), does its dual algebra R! also have the same property?
• RQ5 Does the existence of a Koszul filtration for right-sided ideals imply the same for left-sided ideals?

Key findings

• Every algebra with a Koszul filtration is Koszul, and such filtrations contain a Koszul flag.
• Algebras with finite rate filtrations have finite rate, meaning H_{ij}(R) = 0 for j > di, and their Hilbert series are rational.
• For a rate filtration of degree d with s nonzero Hilbert series in the set, the numerator and denominator degrees of the rational Hilbert series are bounded by sd.
• The Hilbert series of any ideal in a finite rate filtration is rational, with degrees of numerator and denominator bounded by sd.
• Initially Koszul algebras (those with minimal Koszul filtrations) are PBW, and all such algebras with a single quadratic relation are initially Koszul.
• Tensor and semi-tensor products of initially Koszul algebras are also initially Koszul, preserving the filtration structure.