[論文レビュー] Vanishing of Ext and Tor over Cohen-Macaulay local rings

Craig Huneke, Liana M. Şega+1 more|arXiv (Cornell University)|Sep 3, 2014

Commutative Algebra and Its Applications参考文献 12被引用数 3

ひとこと要約

本稿は、${\mathfrak{m}}^3 = 0$ である可換アービン環局所環に対してオースランダー＝ライテン予想を確立し、$\operatorname{Ext}^i_R(M, M \oplus R) = 0$ が四つの連続する $i \geq 2$ に対して成り立つならば $M$ は自由であることを証明する。さらに、このクラスに属するゴレンシュタイン環に対して、$\operatorname{Ext}^i_R(M,M)$ の $i > 0$ における単一の消滅が自由性を示し、必要な消滅する Ext モジュールの数の上限を示し、$\mathfrak{m}^3$ の消滅と Tor と Ext の消滅を関連付ける。結果は双対性とポincare級数の分析を用いて得られ、低型環におけるタチカワ予想への影響をもたらす。

ABSTRACT

We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.

研究の動機と目的

• 可換アービン環局所環で $\mathfrak{m}^3 = 0$ である場合に、$\operatorname{Ext}^i_R(M, M \oplus R) = 0$ が四つの連続する $i \geq 2$ に対して成り立つならば $M$ が自由であることを証明すること。
• ゴレンシュタイン環にこの結果を拡張し、$\operatorname{Ext}^i_R(M,M) = 0$ が単一の $i > 0$ に対して成り立つならば $M$ が自由であることを示すこと。
• $\mathfrak{m}^2M = 0$ のとき、自由性を保証するに十分な消滅する Ext モジュールの数の有効な上限を、$\nu(M)$ と $\nu(\mathfrak{m}M)$ を用いて確立すること。
• $\operatorname{Tor}_i^R(M,N)$ の消滅と最大イデアルの冪零性との関係を調査し、$\mathfrak{m}^pM = \mathfrak{m}^qN = 0$ かつすべての $i > 0$ で $\operatorname{Tor}_i^R(M,N) = 0$ ならば $\mathfrak{m}^{p+q-1} = 0$ であると予想すること。
• タイプが2以下のコhen＝マカウール環に対してタチカワ予想を証明し、$\operatorname{Tor}_2^R(\omega,\omega) = 0$ または $\operatorname{Ext}^i_R(\omega,R) = 0$（$i=1,2$）ならば $R$ はゴレンシュタイン環であることを示すこと。

提案手法

• Matlis双対性を用いて $\operatorname{Ext}^i_R(M,N)$ の消滅を $\operatorname{Tor}_i^R(M,N)$ の消滅に翻訳し、Tor モジュールによるホモロジー的解析を可能にする。
• Poincaré級数とHilbert級数を用いて、特に $\mathfrak{m}^3 = 0$ または $\mathfrak{m}^2M = 0$ のときの $R$-加群の構造を分析する。
• $\operatorname{Ext}_R^*(k,k)$ 上のYoneda積構造を用いて、特定のTorモジュールの消滅が $k$-代数 $\operatorname{Ext}_R^*(k,k)$ が次数1で生成されることを示し、したがって $R$ がKoszulであることを導く。
• 外積 $\Lambda^n_R(\varphi)$ と誘導される写像 $\varphi \otimes_R \varphi$ を用いて、特に $R^2$ を含む短完全系列における、シンジーギーのランクと構造を分析する。
• Nakayamaの補題と多重度の加法性を活用し、$\operatorname{Tor}_2^R(M,M) = 0$ かつ $M$ が忠実な場合、モジュール $N$ が単項的であることを示し、$R$ がゴレンシュタインでない場合には矛盾に至ることを導く。
• シンジーギー置換と双対性を用いてタチカワ予想を $\mathfrak{m}^3 = 0$ の場合に還元し、低タイプ環における正規化モジュール $\omega$ の分析を実施する。

実験結果

リサーチクエスチョン

• RQ1 可換アービン環局所環で $\mathfrak{m}^3 = 0$ であるとき、$\operatorname{Ext}^i_R(M, M \oplus R)$ が四つの連続する $i \geq 2$ に対して消えるならば、$M$ は自由であるか？
• RQ2 $R$ がゴレンシュタインで、$\operatorname{Ext}^i_R(M,M) = 0$ が $i > 0$ のある $i$ に対して成り立つならば、$M$ は必然的に自由か？
• RQ3 $\mathfrak{m}^2M = 0$ のとき、$\nu(M)$ と $\nu(\mathfrak{m}M)$ を用いて、$\operatorname{Ext}^i_R(M, M \oplus R)$ の消滅するモジュールの数を上限で与えることができるか？
• RQ4 $\operatorname{Tor}_i^R(M,N) = 0$ がすべての $i > 0$ に対して成り立ち、$\mathfrak{m}^pM = \mathfrak{m}^qN = 0$ ならば、$\mathfrak{m}^{p+q-1} = 0$ が成り立つか？
• RQ5 タイプが2以下のコhen＝マカウール局所環に対してタチカワ予想は成り立つか、すなわち $\operatorname{Tor}_2^R(\omega,\omega) = 0$ ならば $R$ はゴレンシュタイン環か？

主な発見

• 可換アービン環局所環で $\mathfrak{m}^3 = 0$ であるとき、$\operatorname{Ext}^i_R(M, M \oplus R) = 0$ が四つの連続する $i \geq 2$ に対して成り立つならば、$M$ は自由である。
• $R$ がゴレンシュタインで、$\operatorname{Ext}^i_R(M,M) = 0$ が $i > 0$ のある $i$ に対して成り立つならば、$M$ は自由である。これはホシノの結果を可換な設定に拡張したものである。
• $\mathfrak{m}^2M = 0$ のとき、すべての $i$ に対して $\operatorname{Ext}^i_R(M, M \oplus R) = 0$ が成り立つならば、$0 < i \leq \max\{3, \nu(M), \nu(\mathfrak{m}M)\}$ を満たす $i$ に対して成り立つと、$M$ は自由である。
• $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$ かつすべての $i > 0$ で $\operatorname{Tor}_i^R(M,N) = 0$ ならば $\mathfrak{m}^{p+q-1} = 0$ であるという予想は、標準的次数付き環の場合に証明された。
• タイプが2以下のコhen＝マカウール局所環では、$\operatorname{Tor}_2^R(\omega,\omega) = 0$ ならば $R$ はゴレンシュタイン環であり、$\operatorname{Ext}^i_R(\omega,R) = 0$（$i=1,2$）であるのと同じく $R$ はゴレンシュタイン環である。
• すべての $i$ に対して $\operatorname{Tor}_i^R(k, \mu_{\mathfrak{m}}) = 0$ ならば、$\operatorname{Ext}_R^*(k,k)$ は次数1で生成されるので、$R$ はKoszulであり、したがって $\mathfrak{m}^3 = 0$ である。