[論文レビュー] Quotients of Koszul algebras with almost linear resolution

Jon Eivind Vatne|arXiv (Cornell University)|Mar 18, 2011

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

ひとこと要約

本稿は、関係が次数 $d \geq 4$ にあり、最初の微分以外がすべて線形であるような、Koszul代数の商の Ext-代数のヒルベルト級数および階数付きベクトル空間構造を計算する。スペクトル系列の議論を用いて、Ext-代数が Koszul双対と、自己結合生成子上のテンソル代数のテンソル積に同型であることを確立する。主な結果は、一般化された行列式的多様体の Ext-代数の閉形式のヒルベルト級数の公式である。

ABSTRACT

We compute the Hilbert series, and the graded vector space structure, of Ext-algebras of quotients of Koszul algebras with almost linear resolution. The example of the generic determinantal varieties is treated in detail.

研究の動機と目的

• Koszul代数の商の Ext-代数の階数付きベクトル空間構造およびヒルベルト級数を計算すること。
• 最初の微分のみが次数 $d \geq 4$ の同次多項式であるが、それ以外は線形な代数に対して、Koszul型双対性を拡張すること。
• スペクトル系列技法を用いて、一般化された行列式的多様体の Ext-代数に対して明示的な公式を導出すること。
• このような商が Cassidy と Shelton の一般化された Koszul 条件を満たすかどうかを調査すること。
• オペラッドコホホロジー（特に Harrison コホホロジー）を用いて、可換 $N$-Koszul理論を定式化できるかを検討すること。

提案手法

• リングの変化スペクトル系列を用いる：$E^{pq}_2 = \operatorname{Ext}^p_R(k, \operatorname{Ext}^q_A(R,k)) \Rightarrow \operatorname{Ext}^{p+q}_A(k,k)$。
• $\operatorname{Ext}^*_A(R,k) \cong G_*^\vee$ であるという事実を活用する。ここで $G_i$ は自己結合の生成空間である。
• 定理 3.2 を適用して、$\operatorname{Ext}^m_R(k,k) \cong (A^! \otimes T(\bigoplus G_i^\vee))_m$ が階数付きベクトル空間として成り立つことを示す。
• Eagon-Northcott複体を用いて、一般化された行列式的多様体のための商代数 $R = k[x_{ij}]/I$ を分解する。
• 外代数 $\Lambda V^*$ とテンソル代数の生成関数の積を用いてヒルベルト級数を計算する。
• 系 3.3 を適用して、Ext-代数のヒルベルト級数の明示的な有理関数形を導出する。

実験結果

リサーチクエスチョン

• RQ1 Koszul代数の商で、ほぼ線形的分解を持つものについて、Cassidy と Shelton の一般化された Koszul 条件を満たすか。
• RQ2 特に Harrison コホホロジーを用いて、オペラッドコホホロジーを通じて可換 $N$-Koszul代数の概念を定式化できるか。
• RQ3 一般化された行列式的多様体の座標環の Harrison コホホロジーは何か。
• RQ4 このような商の Ext-代数構造は、Koszul双対と自己結合生成子によって完全に決定されるか。
• RQ5 スペクトル系列法は、最初の自己結合が非線形な他の代数へ一般化可能か。

主な発見

• Koszul代数 $A$ の商 $R$ の Ext-代数について、階数付きベクトル空間として $\operatorname{Ext}^m_R(k,k) \cong (A^! \otimes T(\bigoplus G_i^\vee))_m$ が成り立つ。
• $\mathbb{P}^{nm-1}$ 内の一般化された行列式的多様体について、Ext-代数は $\Lambda V^* \otimes T(\bigoplus G_i^\vee)$ に同型であり、$G_{i+1} \cong S^i(V^*) \otimes \Lambda^{i+n}(W^*)$ である。
• 一般化された行列式的多様体の Ext-代数のヒルベルト級数は $\frac{(1+t)^{nm}}{1 - \sum_{j=2}^m c_j t^j}$ であり、係数 $c_j$ は二項係数の表現を持つ。
• Artin代数 $R = k[x_0,\dots,x_s]/(x_0,\dots,x_s)^n$ のヒルベルト級数は $\frac{(1+t)^s}{1 - \sum_{j=2}^{n+s} d_j t^j}$ であり、$d_j$ は明示的に与えられる。
• $d=3$ の場合、スペクトル系列の収束に関する技術的障害のため、この手法は失敗するが、$d=2$ の場合は既に Koszul であることが知られている。
• 例から、すべての関係が固定された次数 $d \geq 4$ にある可換代数は、一般化された $N$-Koszul 構造を有する可能性があるが、まだそのような理論は確立されていない。