[论文解读] THE EVENTUAL STABILITY OF DEPTH, ASSOCIATED PRIMES AND COHOMOLOGY OF A GRADED MODULE

Marc Chardin, Jean-Pierre Jouanolou+1 more|arXiv (Cornell University)|Mar 20, 2012

Commutative Algebra and Its Applications参考文献 13被引用 27

一句话总结

该论文建立了在特征零的多项式环上，有限生成的分次模的分次分量的深度、关联素理想及局部上同调模的最终稳定性。通过使用Castelnuovo-Mumford正则性与对偶性技术，证明了在维数不超过二的诺特环（特别是Gorenstein环的局部环或满同态像）上，上同调维数与深度在正则度reg(M)之后趋于稳定，并给出了明确的界。

ABSTRACT

The asymptotic stability of several homological invariants of the graded pieces of a graded module has attracted quite a lot of attention over the last decades. We provide in this text several stability results together with estimates of the degree from which it stabilizes. Before we establish these regularity results, we prove several facts about depth and cohomological dimension with respect to a finitely generated ideal and about Castelnuovo-Mumford regularity of a graded module.

研究动机与目标

• 建立有限生成分次模在多项式环上的分次分量的深度与上同调维数的最终稳定性。
• 提供这些不变量开始稳定的度的显式界，特别是以Castelnuovo-Mumford正则性为基准。
• 推广并给出Brodmann在维数≤2时关于局部上同调的“驯服性”结果的新且简化的证明。
• 阐明有限性条件（如诺特性、有限生成性）在同调不变量稳定性结果中的作用。
• 通过对偶性与谱序列统一并拓展关于关联素理想与上同调的已知结果。

提出的方法

• 利用分次模M的Castelnuovo-Mumford正则性，界定深度与上同调维数开始稳定的度。
• 通过Herzog-Rahimi谱序列应用对偶理论，将M的局部上同调与对偶模上的Ext模联系起来。
• 利用Koszul复形与Čech复形来定义和计算局部上同调模，确保与理想根的兼容性。
• 利用分次概赋几何上局部上同调与层上同调之间的同构关系，从几何角度解释结果。
• 应用Gorenstein环上模的结构定理与Cohen结构定理，将问题约化为维数≤2的Gorenstein环上多项式环的情形。
• 利用Ext模之间映射的可去性与零化条件，证明关联素理想与上同调的稳定性。

实验结果

研究问题

• RQ1 有限生成分次模的分次分量的深度是否在某一程度之后趋于稳定？若是，从哪一程度开始？
• RQ2 分次分量的关联素理想集合是否趋于稳定？其稳定性的控制界是什么？
• RQ3 关于齐次理想的分次分量的上同调维数是否趋于稳定？能否以模的正则性为基准给出其界？
• RQ4 在何种条件下，局部上同调模H^i_{S_+}(M)_γ在度γ处趋于稳定？其非零范围是什么？
• RQ5 是否能通过正则性与对偶性重新证明并推广Brodmann关于理想幂的关联素理想的“驯服性”结果？

主要发现

• 根据定理4.9，对于有限生成理想I，M_μ关于I的上同调维数在所有μ > reg(M)时趋于稳定。
• 对于所有μ > reg(M)，M_μ关于I的深度至少等于其最终值，且在达到该值时趋于稳定。
• 当M有限生成时，M_μ的关联素理想集合在μ > reg(M)时是非减的，且最终趋于稳定。
• 对于维数不超过二的诺特环（局部环或Gorenstein环的满同态像），局部上同调模H^i_{S_+}(M)_γ在度γ处趋于稳定，且所有分量要么全为零，要么全非零，其阈值低于某一临界值。
• 本文为Brodmann在维数≤2时的“驯服性”结果提供了新且简化的证明，并将其推广至Gorenstein环的满同态像。
• 深度与上同调的稳定性由Castelnuovo-Mumford正则性控制，该正则性作为稳定度的统一界。