[論文レビュー] $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$次で生成されるグレブナー基底を有する分類付き代数が、$2$-$d$-決定的であるための必要十分条件として、その関連単項式代数が$2$-$d$-Koszulであること、さらに、$d$次関係の先行項による商が$d$-Koszulであることと一致することを確立している。主な貢献は、$2$-$d$-Koszul代数の特徴づけが、その単項式対応物の$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構造を導く条件を確立すること。

提案手法

• パス代数におけるグレブナー基底を用い、与えられた代数$\Lambda = K\Gamma / I$に対して、$I_{\text{mon}}$を$I$の削減グレブナー基底の先行項によって生成される単項式代数$\Lambda_{\text{mon}} = K\Gamma / I_{\text{mon}}$を関連付ける。
• AGS分解法を用いて、半単純部$\Lambda_0$の最小の分類付き射影的分解を計算する。
• 分解における射影的加群の生成度に基づき、$F$-決定的代数を定義し、$\delta(n)$をターゲット度関数とする。
• パス上の許容順序とグレブナー基底理論における重複関係の構成を用い、次数$\leq d+1$における関係の構造を分析する。
• 重複解析とグレブナー基底設定下での長さ比較を用いて、$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 グレブナー基底を介して得られる単項式代数の$d$-Koszul構造のみを用いて、$2$-$d$-決定的性質を特徴づけられるか？

主な発見

• 分類付き代数$\Lambda = K\Gamma / I$が$2$-$d$-決定的であるとき、$\Lambda$が$2$-$d$-Koszulであることと、その関連単項式代数$\Lambda_{\text{mon}}$が$2$-$d$-Koszulであることとは同値である。
• $\Lambda$が2次および$d$次元の同次的要素からなる削減グレブナー基底を持つとき、$\Lambda$が$2$-$d$-決定的であることと、$K\Gamma / \langle \operatorname{tip}({\mathcal{G}}_d) \rangle$が$d$-Koszulであることとは同値である。
• $2$-$d$-決定的単項式代数のExt代数が有限生成であることと、それが次数0, 1, 2で生成されることとは同値であり、これは$K2$代数を特徴付ける。
• $\Lambda$が$2$-$d$-決定的であるとき、$\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$-決定的である。これは、$2$-$d$-決定的性質の十分条件を確立する。