[論文レビュー] Koszulity of algebras with non-pure resolutions

Di-Ming Lu, Jun-Ru Si|ArXiv.org|Mar 29, 2008

Algebraic structures and combinatorial models参考文献 6被引用数 5

ひとこと要約

本稿では、非純粋な分解能を扱うために、部分的 Koszul および N-Koszul 代数の一般化として、bi-Koszul 代数を導入する。特に、タイプ (12221) および (13431) の Artin-Schelter 正則代数に対して有効である。可解な bi-Koszul 加群は、δ-Koszul 加群の純粋分解能に分解可能であり、非純粋なホモロジー的性質に対して構造的分解を与える。

ABSTRACT

We discuss certain homological properties of graded algebras whose trivial modules admit non-pure resolutions. Such algebras include both of Artin-Schelter regular algebras of types (12221) and (13431). Under certain conditions, a module with non-pure resolution is decomposed to form an extension by two modules with pure resolutions.

研究の動機と目的

• 非純粋な分解能を有するグレーディング付き代数のホモロジー的枠組みを構築すること、特にタイプ (12221) および (13431) の Artin-Schelter 正則代数を対象とする。
• piecewise-Koszul 代数の非純粋な類似物として、bi-Koszul 代数を定義し、特徴づけること。
• 可解な bi-Koszul 加群について、非純粋な分解能が純粋分解能にどのように分解できるかを調査すること。
• Ext代数の構造を通じて、bi-Koszul 代数に対する Koszul双対理論を確立すること。

提案手法

• 度数の周期的シフトを伴う一般化された分解能パターンを用いて、bi-Koszul 代数を導入し、piecewise-Koszul 代数を拡張する。
• bi-Koszul 代数の Ext代数構造を定義し、$ E^{3n}(A) = (E^3(A))^n $、$ E^{3n+1}(A) = E^1(A)E^{3n}(A) $、および $ E^{3n+2}(A) \to E^2(A)E^{3n}(A) \times \mathsf{E}^2_{2nd+d+1}(J\Omega^{3n}(k)) $ が $ E^0(A) $-加群として成り立つことを示す。
• Ext代数が度数 0, 1, 2, 3 で生成される strongly bi-Koszul 代数の概念を用いる。
• 自由積を用いて例を構成し、$ B = A \sqcup A' $ に対して $ E(B) = E(A) \sqcap E(A') $ が成り立ち、$ B $ が bi-Koszul 構造を引き継ぐことを示す。
• 可解な bi-Koszul 加群の分解能が、2 つの δ-Koszul 加群の純粋分解能に分解できることを証明する。
• この分解を応用し、$ \mathsf{E}^m(M) \cong \mathsf{E}^m(M') \oplus \mathsf{E}^m(M'') $ を示し、両方の和成分が純粋であることを示す。

実験結果

リサーチクエスチョン

• RQ1 グレーディング付き代数における非純粋な分解能は、系統的に純粋分解能に分解可能か？
• RQ2 タイプ (12221) および (13431) の Artin-Schelter 正則代数が $ \mathcal{K}_2 $ 代数でない場合、そのホモロジー的構造はどのように捉えられるか？
• RQ3 Ext代数は、bi-Koszul 代数の特徴づけおよび Koszul 双対性において果たす役割は何か？
• RQ4 すべての bi-Koszul 代数は必然的に strongly bi-Koszul であるのか、それとも非 strongly bi-Koszul な代数が存在するのか？
• RQ5 自由積などの操作により、純粋分解能を有するより単純な代数から新しい bi-Koszul 代数を構成可能か？

主な発見

• 連結グレーディング付き代数 $ A $ が bi-Koszul であるための必要十分条件は、その Ext代数 $ E(A) $ が $ E^{3n}(A) = (E^3(A))^n $、$ E^{3n+1}(A) = E^1(A)E^{3n}(A) $、および $ E^{3n+2}(A) \cong E^2(A)E^{3n}(A) \oplus \mathsf{E}^2_{2nd+d+1}(J\Omega^{3n}(k)) $ が $ E^0(A) $-加群として成り立つことである。
• 可解な bi-Koszul 加群 $ M $ は、短完全列 $ 0 \to M' \to M \to M'' \to 0 $ を用いて、$ M' $、$ M'' $ がいずれも $ \delta $-Koszul 加群であるとき、その分解能が 2 つの純粋分解能に分解可能である。
• このような可解な bi-Koszul 加群 $ M $ に対して、Ext-モジュールは $ \mathsf{E}^m(M) \cong \mathsf{E}^m(M') \oplus \mathsf{E}^m(M'') $ を満たし、両方の和成分 $ \mathsf{E}^m(M') $ および $ \mathsf{E}^m(M'') $ は純粋である。
• 2 つの $ \delta $-Koszul 代数 $ A $ および $ A' $ の自由積 $ B = A \sqcup A' $ は、strongly bi-Koszul 代数となり、$ E(B) = E(A) \sqcap E(A') $ であり、$ i=0,1,2 $ に対して $ E^{3n+i}(B) = E^{3n+i}(A) \oplus E^{3n+i}(A') $ が成り立つ。
• $ A = k\langle x,y,z,w \rangle / (yx, z^2y, wz) $ は、自明加群の分解能の度数が bi-Koszul パatters に一致するため、bi-Koszul 代数である。
• 本稿では、非 strongly bi-Koszul 代数が存在するかは未解決であり、問題として提起されている：すべての bi-Koszul 代数は必然的に strongly bi-Koszul であるのか？