[论文解读] Noncommutative Koszul filtrations

Dmitri Piontkovski|ArXiv.org|Jan 21, 2003

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

一句话总结

本文通过引入非交换 Koszul 分滤（noncommutative Koszul filtrations）——即在特定理想运算下封闭的一次生成理想集合——将 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 标记。
• 利用形如 0 → J → I → R/N[-d] → 0 的正合列，推导 Hilbert 系列的递推关系。
• 应用欧拉示性数论证，导出线性系统 H = A(R(z)e - H)，从而得到有理生成函数。
• 为非二次代数引入率（广义 Koszul）分滤，其中理想不要求为一次生成。
• 证明有限率分滤蕴含有限率（即 H_{ij}(R) = 0 对 j > di），并利用矩阵代数证明 Hilbert 系列的有理性。

实验结果

研究问题

• RQ1 每个具有二次 Gröbner 基的交换 G-二次代数是否都存在 Koszul 标记？
• RQ2 是否存在缺乏 Koszul 分滤的 PBW 代数？
• RQ3 若一个代数具有无限 Koszul 分滤，是否也必然存在有限分滤？
• RQ4 若一个代数具有 Koszul 分滤（或标记），其对偶代数 R! 是否也具有相同性质？
• RQ5 右理想存在 Koszul 分滤是否意味着左理想也具有相同性质？

主要发现

• 每个具有 Koszul 分滤的代数都是 Koszul 代数，且此类分滤包含一个 Koszul 标记。
• 具有有限率分滤的代数具有有限率，即 H_{ij}(R) = 0 对 j > di，且其 Hilbert 系列为有理函数。
• 对于度数为 d 的率分滤，若集合中存在 s 个非零 Hilbert 系列，则有理 Hilbert 系列的分子与分母次数均受 sd 限制。
• 有限率分滤中任一理想之 Hilbert 系列均为有理函数，且其分子与分母次数受 sd 限制。
• 初始 Koszul 代数（即具有最小 Koszul 分滤的代数）为 PBW 代数，且所有具有单个二次关系的此类代数均为初始 Koszul。
• 初始 Koszul 代数的张量积与半张量积也保持初始 Koszul 性，且保持分滤结构。