[论文解读] Sequentially Cohen-Macaulay modules and local cohomology

Juergen Herzog, Enrico Sbarra|ArXiv.org|Jan 10, 2001

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

一句话总结

该论文在特征零及反字典序下，证明了分次环 $ R/I $ 及其一般初等理想 $ \operatorname{Gin}(I) $ 的局部上同调模具有相同的Hilbert函数，当且仅当 $ R/I $ 是逐段Cohen-Macaulay的。关键结果通过对称代数移位推广至平方自由情形，将Hilbert函数与Alexander对偶的分量线性性联系起来。

ABSTRACT

The main result of the paper states that for a graded ideal I in a polynomial ring R over a field of characteristic 0, the Hilbert functions of the local cohomology modules of R/I and of R/Gin(I) coincide if and only if R/I is sequentially Cohen-Macaulay.

研究动机与目标

• 确定 $ R/I $ 与 $ R/\operatorname{Gin}(I) $ 的局部上同调模何时具有相同的Hilbert函数。
• 通过Ext-群与对偶性刻画逐段Cohen-Macaulay模。
• 通过使用对称代数移位，将结果推广至平方自由情形。
• 建立Alexander对偶的分量线性性与Hilbert函数相等之间的联系。

提出的方法

• 利用Peskine通过canonical模与Ext-群对逐段Cohen-Macaulay模的刻画。
• 应用局部对偶性及反字典序下一般初等理想的性质。
• 通过变量数的归纳法，将问题约化至模一个正则元素的情形。
• 利用对称代数移位定义 $ \Delta^s $，即 $ \Delta $ 的移位单纯复形。
• 依赖公式 $ \dim_K H^i_\mathfrak{m}(K[\Delta])_{-j} = \sum_h \binom{n}{h} \binom{h+j-1}{j} \beta_{i-h+1,n-h}(K[\Delta^*]) $，将Hilbert函数与Betti数联系起来。
• 利用矩阵 $ A $ 的可逆性，其元素为 $ \binom{h+j-1}{j} $，由Hilbert函数相等推出Betti数相等。

实验结果

研究问题

• RQ1 在什么条件下 $ R/I $ 与 $ R/\operatorname{Gin}(I) $ 的局部上同调模具有相同的Hilbert函数？
• RQ2 如何通过Ext-群与对偶性刻画模的逐段Cohen-Macaulay性？
• RQ3 对称代数移位如何关联 $ K[\Delta] $ 与 $ K[\Delta^s] $ 的Hilbert函数？
• RQ4 分量线性在Alexander对偶中对Hilbert函数相等起什么作用？

主要发现

• 当且仅当 $ R/I $ 是逐段Cohen-Macaulay时，$ R/I $ 与 $ R/\operatorname{Gin}(I) $ 的局部上同调模具有相同的Hilbert函数。
• 当 $ \operatorname{char}(K) = 0 $ 时，一般初等理想 $ \operatorname{Gin}(I) $ 是逐段Cohen-Macaulay的。
• 在平方自由情形下，$ K[\Delta] $ 与 $ K[\Delta^s] $ 的局部上同调Hilbert函数相等，当且仅当 $ K[\Delta] $ 是逐段Cohen-Macaulay的。
• 局部上同调模的Hilbert函数通过一个可逆矩阵构成的线性系统，确定了Alexander对偶的分次Betti数。
• $ I_{\Delta^*} $ 的分量线性性与 $ K[\Delta] $ 的逐段Cohen-Macaulay性等价。
• 元素为 $ \binom{h+j-1}{j} $ 的矩阵 $ A $ 是可逆的，从而保证Hilbert函数唯一确定Betti数。