[論文レビュー] Noncommutative Koszul filtrations

Dmitri Piontkovski|ArXiv.org|Jan 21, 2003

Algebraic structures and combinatorial models参考文献 10被引用数 3

ひとこと要約

この論文は、非可換な二次代数へと可換代数におけるKoszulフィルトレーション理論を拡張し、非可換Koszulフィルトレーション—特定のイデアル作用に閉じた一次生成イデアルの集合—を導入することで、その理論を拡張する。非可換代数がこのようなフィルトレーションを持つ場合、それらはKoszul的であり、Hilbert級数が有理関数であることを証明しており、可換代数の既知の結果を一般化するとともに、PBW代数やレートフィルトレーションとの関係を確立する。

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.

研究の動機と目的

• 可換な二次代数におけるKoszulフィルトレーションの概念を非可換な二次代数へ一般化すること。
• 非可換代数がKoszulフィルトレーションを有することによりKoszul的である条件を確立すること。
• 有限レートフィルトレーションを有する代数が有理Hilbert級数および有限レートを示すことを証明し、可換代数における既知の結果を拡張すること。
• 非可換な文脈において、Koszulフィルトレーション、PBW代数、および初期Koszul性との関係を調査すること。
• レートフィルトレーションの文脈における双対性、左/右イデアル、Veronese部分代数、および整合性に関する未解決の問題を探索すること。

提案手法

• 一次生成右イデアルの集合として非可換Koszulフィルトレーションを導入し、イデアル作用 I = J + xR および (x:J) = {a ∈ R | xa ∈ J} における閉包性を満たすものとする。
• Koszulフラグを、このようなイデアルの鎖として定義し、すべてのKoszulフィルトレーションがKoszulフラグを含むことを示す。
• Hilbert級数の再帰的関係を導くために、0 → J → I → R/N[-d] → 0 の形の完全系列を用いる。
• Eulerの示性数の議論を適用し、H = A(R(z)e - H) の形の線形方程式系を導出し、有理生成関数を得る。
• 二次代数でない代数に対し、レート（一般化されたKoszul）フィルトレーションを導入し、イデアルが一次生成である必要はないものとする。
• 有限レートフィルトレーションが有限レート（H_{ij}(R) = 0 for j > di）を意味することを確立し、行列代数を用いてHilbert級数の有理型を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の可換G-二次代数（二次グレブナー基底を持つもの）はKoszulフラグを有するか？
• RQ2 Koszulフィルトレーションを欠くPBW代数は存在するか？
• RQ3 代数が無限大のKoszulフィルトレーションを有する場合、それらは必ず有限のフィルトレーションを有する必要があるか？
• RQ4 代数がKoszulフィルトレーション（またはフラグ）を有する場合、その双対代数 R! も同様の性質を有するか？
• RQ5 右イデアルにおけるKoszulフィルトレーションの存在が、左イデアルに対しても同様に成り立つか？

主な発見

• Koszulフィルトレーションを有する任意の代数はKoszul的であり、そのようなフィルトレーションはKoszulフラグを含む。
• 有限レートフィルトレーションを有する代数は有限レートを示し、H_{ij}(R) = 0 for j > di を満たす。そのHilbert級数は有理関数である。
• 度数dのレートフィルトレーションにおいて、s個の非ゼロHilbert級数を持つ場合、有理Hilbert級数の分子および分母の次数はsdで上限づけられる。
• 有限レートフィルトレーションに属する任意のイデアルのHilbert級数は有理関数であり、分子および分母の次数はsdで上限づけられる。
• 初期Koszul代数（最小のKoszulフィルトレーションを持つもの）はPBW代数であり、単一の二次関係を有するすべてのこのような代数は初期Koszル的である。
• 初期Koszul代数のテンソル積および半テンソル積もまた初期Koszル的であり、フィルトレーション構造を保存する。