[论文解读] 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$ 的交换 Artinian 局部环上，Auslander-Reiten 猜想成立，即若 $\operatorname{Ext}^i_R(M, M \oplus R) = 0$ 对于四个连续的 $i \geq 2$ 成立，则 $M$ 是自由模。此外，对于此类环中的 Gorenstein 环，若存在某个 $i > 0$ 使得 $\operatorname{Ext}^i_R(M,M) = 0$，则 $M$ 必为自由模，并给出了所需消失的 Ext 模数量的有效界，该界与 $\nu(M)$ 和 $\nu(\mathfrak{m}M)$ 相关，且建立了 Tor 与 Ext 的消失性与 $\mathfrak{m}^3$ 的关系。研究结果通过对偶性和 Poincaré 级数分析得出，对低型环中的 Tachikawa 猜想具有重要意义。

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$ 的交换 Artinian 局部环上，若 $\operatorname{Ext}^i_R(M, M \oplus R) = 0$ 对于四个连续的 $i \geq 2$ 成立，则 $M$ 是自由模。
• 将结果推广至 Gorenstein 环，证明若 $\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)$ 的消失性与极大理想幂零性的关系，提出一个猜想：若对所有 $i > 0$ 有 $\operatorname{Tor}_i^R(M,N) = 0$，且 $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$，则 $\mathfrak{m}^{p+q-1} = 0$。
• 证明在类型至多为 2 的 Cohen-Macaulay 环上，Tachikawa 猜想成立，即若 $\operatorname{Tor}_2^R(\omega,\omega) = 0$ 或 $\operatorname{Ext}^i_R(\omega,R) = 0$ 对 $i=1,2$ 成立，则 $R$ 是 Gorenstein 环。

提出的方法

• 利用 Matlis 对偶性将 $\operatorname{Ext}^i_R(M,N)$ 的消失性转化为 $\operatorname{Tor}_i^R(M,N)$ 的消失性，从而通过 Tor 模实现同调分析。
• 应用 Poincaré 级数与 Hilbert 级数分析 $R$-模的结构，特别是在 $\mathfrak{m}^3 = 0$ 或 $\mathfrak{m}^2M = 0$ 的情形下。
• 利用 $\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$ 非 Gorenstein 则导致矛盾。
• 通过挠率模替换与对偶性将 Tachikawa 猜想约化至 $\mathfrak{m}^3 = 0$ 的情形，随后分析低型环中典范模 $\omega$ 的性质。

实验结果

研究问题

• RQ1 若在满足 $\mathfrak{m}^3 = 0$ 的交换 Artinian 局部环上，$\operatorname{Ext}^i_R(M, M \oplus R)$ 对于四个连续的 $i \geq 2$ 消失，是否能推出 $M$ 是自由模？
• RQ2 若 $R$ 是 Gorenstein 环，且存在某个 $i > 0$ 使得 $\operatorname{Ext}^i_R(M,M) = 0$，是否必有 $M$ 是自由模？
• RQ3 当 $\mathfrak{m}^2M = 0$ 时，能否以 $\nu(M)$ 和 $\nu(\mathfrak{m}M)$ 表示 $\operatorname{Ext}^i_R(M, M \oplus R)$ 消失的模数？
• RQ4 若对所有 $i > 0$ 有 $\operatorname{Tor}_i^R(M,N) = 0$，且 $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$，是否可推出 $\mathfrak{m}^{p+q-1} = 0$？
• RQ5 Tachikawa 猜想是否对类型至多为 2 的 Cohen-Macaulay 局部环成立？即若 $\operatorname{Tor}_2^R(\omega,\omega) = 0$，是否必有 $R$ 是 Gorenstein 环？

主要发现

• 在满足 $\mathfrak{m}^3 = 0$ 的交换 Artinian 局部环上，若 $\operatorname{Ext}^i_R(M, M \oplus R) = 0$ 对于四个连续的 $i \geq 2$ 成立，则 $M$ 是自由模。
• 若 $R$ 是 Gorenstein 环，且存在某个 $i > 0$ 使得 $\operatorname{Ext}^i_R(M,M) = 0$，则 $M$ 是自由模，该结果将 Hoshino 的结果推广至交换情形。
• 当 $\mathfrak{m}^2M = 0$ 时，若对所有满足 $0 < i \leq \max\{3, \nu(M), \nu(\mathfrak{m}M)\}$ 的 $i$，有 $\operatorname{Ext}^i_R(M, M \oplus R) = 0$，则 $M$ 是自由模。
• 对于标准分次环的情形，若对所有 $i > 0$ 有 $\operatorname{Tor}_i^R(M,N) = 0$ 且 $\mathfrak{m}^pM = \mathfrak{m}^qN = 0$，则 $\mathfrak{m}^{p+q-1} = 0$ 的猜想得证。
• 对于类型至多为 2 的 Cohen-Macaulay 局部环，若 $\operatorname{Tor}_2^R(\omega,\omega) = 0$，则 $R$ 是 Gorenstein 环；同理，若 $\operatorname{Ext}^i_R(\omega,R) = 0$ 对 $i=1,2$ 成立，也推出 $R$ 是 Gorenstein 环。
• 若对所有 $i$ 有 $\operatorname{Tor}_i^R(k, \mu_{\mathfrak{m}}) = 0$，则 $\operatorname{Ext}_R^*(k,k)$ 在度数 1 上生成，故 $R$ 是 Koszul 环，从而 $\mathfrak{m}^3 = 0$。