[論文レビュー] Free resolutions over commutative Koszul algebras

Luchézar L. Avramov, Aldo Conca+1 more|ArXiv.org|Apr 18, 2009

Commutative Algebra and Its Applications参考文献 10被引用数 4

ひとこと要約

この論文は、可換 Koszul代数上での自由分解の傾きに関する鋭い上限と下限を確立する。$ R = Q/J $ で $ Q $ が Koszul代数で $ J \subseteq (Q_+)^2 $ のとき、$ R $ の $ Q $ に対する傾きは $ \max\{\operatorname{Rate}R + 1, 2\} \leq \operatorname{slope}_Q R \leq \operatorname{Rate}R + 1 $ を満たす。$ \operatorname{pd}_Q R < \infty $ のとき左辺で厳密な不等式が成り立つ。さらに、有限な射影的次元のもとで $ \operatorname{Tor}_i^Q(R,k)_j = 0 $ が $ j > 2i $ のとき、および $ j = 2i $ で $ i > \dim Q - \dim R $ のとき成り立つ。

ABSTRACT

For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j&gt;2i, for each non-negative integer i, and also for j=2i when i&gt;dim Q-dim R and pd_QR is finite.

研究の動機と目的

• $ R $ の $ Q $ に対する最小自由分解の傾きと、$ k = R/R_+ $ の $ R $ に対する傾きとの関係を、特に Koszul代数の文脈で明らかにすること。
• $ R = Q/J $ で $ Q $ が有限生成可換 Koszul $ K $-代数であり、$ J \subseteq (Q_+)^2 $ のとき、$ \operatorname{slope}_Q R $ の鋭い上界と下界を確立すること。
• 有限射影的次元のもとで、$ \operatorname{Tor}_i^Q(R,k)_j $ が $ j > 2i $ のとき、および $ j = 2i $ で $ i > \dim Q - \dim R $ のとき消えることを証明すること。
• 傾きや正則性といったホモロジー的不変量と、$ \Delta^\ell(R) $ のような Gröbner基底の不変量との関係を接続し、Koszul性と LG-二次性の関係を調査すること。

提案手法

• Cartan と Eilenberg の環の変換スペクトル系列を用いて、$ \operatorname{Tor}_i^Q(k,M)_j $ を $ \operatorname{Tor}_i^R(k,M)_j $ と $ \operatorname{Tor}_q^Q(k,R)_j $ に関連付ける。
• ホモロジー代数的手法を適用し、スペクトル系列の $ q = 0 $ 線に沿った収束を分析し、$ t_i^Q(R) $ に関する不等式を導出する。
• 率 $ \operatorname{Rate}R = \operatorname{slope}_R R_+ $ の概念を用い、$ R $ が $ Q $ の線形形式の正則列による商であるとき、$ \operatorname{slope}_Q R_+ = \operatorname{slope}_Q R $ であるという等式を関係づける。
• Gröbner基底理論と $ \Delta^\ell(R) $ という不変量（$ Q/L \simeq R $ となるようなすべての $ Q $ に対して $ \Delta(Q) $ の下界）を用いる。
• 単項イデアルの Taylor 分解を用いて、$ t_i^{\widetilde{Q}}(\widetilde{Q}/\operatorname{in}_\tau(I_Q)) $ を評価し、$ \operatorname{slope}_{\widetilde{R}} R $ に関する境界を得る。
• スペクトル系列の分析と小スケールのホモモーフィズムおよび正則列の性質を組み合わせることで、主要な不等式と消滅結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ Q $ が可換 Koszul代数で $ J \subseteq (Q_+)^2 $ のとき、$ R = Q/J $ に対して $ \operatorname{slope}_Q R $ の正確な境界は何か？
• RQ2 $ \operatorname{Tor}_i^Q(R,k)_j $ が $ j > 2i $ のとき、および $ j = 2i $ で $ i > \dim Q - \dim R $ のとき消える条件は何か？
• RQ3 $ \operatorname{Rate}R $、$ \Delta^\ell(R) $、$ \operatorname{reg}_Q R $ といった不変量は、$ R $ の傾きと Betti 数とどのように関係するか？
• RQ4 すべての Koszul代数は LG-二次的であるか、すなわちすべての Koszul代数に対して $ \Delta^\ell(R) = 2 $ が成り立つか？
• RQ5 Koszul代数において、すべての $ i $ に対して $ \beta_i^{\widetilde{R}}(R) \leq \binom{\beta_1^{\widetilde{R}}(R)}{i} $ が成り立つか？

主な発見

• $ R = Q/J $ で $ Q $ が有限生成可換 Koszul $ K $-代数で $ J \subseteq (Q_+)^2 $ のとき、傾きは $ \max\{\operatorname{Rate}R + 1, 2\} \leq \operatorname{slope}_Q R \leq \operatorname{Rate}R + 1 $ を満たし、$ \operatorname{pd}_Q R < \infty $ のとき左辺で厳密な不等式が成り立つ。
• $ t_i^Q(R) = (c+1) \cdot i $ で $ c = \operatorname{Rate}R $ のとき、すべての $ 1 \leq h \leq i $ に対して $ t_h^Q(R) = (c+1) \cdot h $ であり、$ i \leq \operatorname{rank}_k(J/Q_+J)_{c+1} $ が成り立つ。
• $ \operatorname{pd}_Q R < \infty $ のとき、すべての $ i > \dim Q - \dim R $ に対して $ t_i^Q(R) < (c+1) \cdot i $ が成り立つ。
• Castelnuovo-Mumford 正則性は $ \operatorname{reg}_Q R \leq c \cdot \operatorname{pd}_Q R $ を満たし、$ Q $ が標準的次数付き多項式環で $ J $ が次数 $ c+1 $ の正則列によって生成されるとき等号が成り立つ。
• 不変量 $ \Delta^\ell(R) $ は $ \operatorname{Rate}R + 1 \leq \Delta^\ell(R) $ を満たし、$ \operatorname{slope}_{\widetilde{R}} R \leq \Delta^\ell(R) $ が成り立ち、$ i > \operatorname{rank}_K R_1 - \dim R $ のとき $ t_i^{\widetilde{R}}(R) < \Delta^\ell(R) \cdot i $ が厳密に成り立つ。
• 本論文は、有限射影的次元のもとで $ \operatorname{Tor}_i^Q(R,k)_j = 0 $ が $ j > 2i $ のとき、および $ j = 2i $ で $ i > \dim Q - \dim R $ のとき成り立つことを示し、以前の Gröbner基底に基づく結果を一般化する。