[论文解读] $d$-Koszul algebras, 2-$d$ determined algebras and 2-$d$-Koszul algebras

Edward L. Green, Eduardo N. Marcos|ArXiv.org|Dec 17, 2008

Algebraic structures and combinatorial models参考文献 7被引用 4

一句话总结

本文引入并研究了 $2$-$d$-确定代数与 $2$-$d$-Koszul 代数，证明了：一个在度数 2 和 $d$ 处具有约化 Gröbner 基的分次代数是 $2$-$d$-确定的，当且仅当其对应的单项式代数是 $2$-$d$-Koszul 的，且这一情形恰好发生在对度数 $d$ 关系的首项生成的商代数为 $d$-Koszul 时。主要贡献在于通过其单项式对应代数的 $d$-Koszul 性质，对 $2$-$d$-Koszul 代数进行了刻画。

ABSTRACT

The relationship between an algebra and its associated monomial algebra is investigated when at least one of the algebras is $d$-Koszul. It is shown that an algebra which has a reduced \grb basis that is composed of homogeneous elements of degree $d$ is $d$-Koszul if and only if its associated monomial algebra is $d$-Koszul. The class of 2-$d$-determined algebras and the class 2-$d$-Koszul algebras are introduced. In particular, it shown that 2-$d$-determined monomial algebras are 2-$d$-Koszul algebras and the structure of the ideal of relations of such an algebra is completely determined.

研究动机与目标

• 定义并研究 $2$-$d$-确定与 $2$-$d$-Koszul 代数这两类新代数类，作为 $d$-Koszul 代数的推广。
• 阐明当一个代数及其对应的单项式代数均为 $d$-Koszul 或 $2$-$d$-确定时，二者之间的关系。
• 确定 $2$-$d$-确定代数的 Ext-代数在度数 0、1 和 2 处是否有限生成。
• 建立条件，使得对度数 $d$ 首项的商代数具有 $d$-Koszul 性质，可推出原代数具有 $2$-$d$-Koszul 结构。

提出的方法

• 利用路径代数的 Gröbner 基，为给定代数 $\Lambda = K\Gamma / I$ 构造一个单项式代数 $\Lambda_{\text{mon}} = K\Gamma / I_{\text{mon}}$，其中 $I_{\text{mon}}$ 由 $I$ 的约化 Gröbner 基中首项生成。
• 应用 AGS 分辨法计算半单部分 $\Lambda_0$ 的最小分次投射分辨。
• 通过分辨中投射模的生成度数定义 $F$-确定代数，其中 $\delta(n)$ 为目标度数函数。
• 利用路径上的可允许序及 Gröbner 基理论中的重叠关系构造，分析度数 $\leq d+1$ 内的挠组结构。
• 通过重叠分析与 Gröbner 基设定下的长度比较，证明 $2$-$d$-确定结构与 $K\Gamma / \langle \operatorname{tip}({\mathcal{G}}_d) \rangle$ 的 $d$-Koszul 性质之间的等价性。
• 借助先前关于 $d$-Koszul 代数与 $K2$ 代数（Ext-代数在度数 0、1、2 处生成）的研究成果，刻画 $2$-$d$-Koszul 代数。

实验结果

研究问题

• RQ1 一个在度数 2 和 $d$ 处具有齐次关系的分次代数何时是 $2$-$d$-确定的？
• RQ2 在何种条件下，$2$-$d$-确定代数的 Ext-代数是有限生成的？
• RQ3 是否 $2$-$d$-Koszul 性质等价于对度数 $d$ 关系首项作商后所得代数的 $d$-Koszul 性质？
• RQ4 是否 $2$-$d$-Koszul 性质蕴含 Ext-代数在度数 0、1 和 2 处生成？
• RQ5 能否仅通过 Gröbner 基关联的单项式代数的 $d$-Koszul 结构，完全刻画 $2$-$d$-determined 性质？

主要发现

• 一个 $2$-$d$-确定代数 $\Lambda = K\Gamma / I$ 是 $2$-$d$-Koszul 的，当且仅当其对应的单项式代数 $\Lambda_{\text{mon}}$ 是 $2$-$d$-Koszul 的。
• 若 $\Lambda$ 具有由度数为 2 和 $d$ 的齐次元素构成的约化 Gröbner 基，则 $\Lambda$ 是 $2$-$d$-determined 的，当且仅当 $K\Gamma / \langle \operatorname{tip}({\mathcal{G}}_d) \rangle$ 是 $d$-Koszul 的。
• $2$-$d$-确定单项式代数的 Ext-代数是有限生成的，当且仅当其在度数 0、1 和 2 处生成，这正是 $K2$ 代数的特征。
• 若 $\Lambda$ 是 $2$-$d$-determined 的，则 $\Lambda_0$ 的最小 AGS 分辨中，$P^3$ 的投射模在度数 $\leq d+1$ 内生成。
• 在假设存在最小 AGS 分辨的前提下，$\Lambda$ 的 $2$-$d$-Koszul 性质等价于 $K\Gamma / \langle \operatorname{tip}({\mathcal{G}}_d) \rangle$ 的 $d$-Koszul 性质。
• 若 $\Lambda_{\text{mon}}$ 是 $2$-$d$-Koszul 的，则 $\Lambda$ 是 $2$-$d$-determined 的，从而为 $2$-$d$-determined 性质提供了充分条件。