[论文解读] Vanishing of Tate homology and depth formulas over local rings

Lars Winther Christensen, David A. Jorgensen|arXiv (Cornell University)|Jul 15, 2011

Algebraic structures and combinatorial models参考文献 17被引用 5

一句话总结

该论文为 Gorenstein 局部环上 Tate Tor-独立模建立了深度公式，证明了 Tate 同调的消失意味着深度公式普遍成立。该工作将 Auslander 的原始公式推广至所有 Gorenstein 环，而不仅限于完备交环，从而得到了新的上同调消失界与通过宽度不变量得到的对偶性结果。

ABSTRACT

Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules over a Gorenstein local ring. It subsumes previous eneralizations of Auslander's formula and yields exact bounds for vanishing of cohomology over certain Gorenstein rings.

研究动机与目标

• 将 Auslander 的深度公式从正则环和完备交环推广至所有 Gorenstein 局部环。
• 建立在 Gorenstein 项目射维数有限的模上，深度公式成立的条件。
• 利用 Tate 同调作为统一不变量，统一并扩展先前对深度公式的推广。
• 通过 Tate 同调条件，为 AB 环和完备交环上的模，推导出新的上同调消失界。
• 将主结果对偶化为宽度不变量，建立相应的 Tate 上同调公式。

提出的方法

• 在 Gorenstein 环上使用 Tate 同调，将经典理论扩展至 Gorenstein 项目射维数有限的模。
• 应用半内射与半平坦化解析，定义导出函子并计算深度与宽度不变量。
• 引入 Tate Tor-独立性的概念，作为确保 Tate 同调消失的条件。
• 通过同调复之间及导出张量积之间的拟同构，证明深度公式。
• 利用导出 Hom 复形与宽度不变量对主结果进行对偶化，得到涉及 Tate 上同调的公式。
• 使用谱序列与同调代数技巧，关联深度、宽度与上同调消失性。

实验结果

研究问题

• RQ1 在完备交环之外，Gorenstein 局部环上模的深度公式在何种条件下成立？
• RQ2 当项目射维数有限时，Tate 同调消失是否足以保证深度公式成立？
• RQ3 Tate 同调的消失如何与 AB 环及完备交环中的上同调界相关联？
• RQ4 Gorenstein 项目射维数在通过 Tate 同调实现深度公式中起何种作用？
• RQ5 能否利用 Tate 上同调将深度公式对偶化为宽度公式？

主要发现

• 若 Tate 同调消失，则所有 Gorenstein 局部环上 Tate Tor-独立模对的深度公式成立，推广了先前结果。
• 即使项目射维数为无穷，Tate 同调消失仍蕴含深度公式成立，涵盖了先前在完备交环上的结果。
• 对于 AB 环，当 Tate 同调消失时，可获得精确的上同调消失界，扩展了已知结果。
• 对于完备交环，若在有限个连续指标上 Tate 同调消失，则存在导出深度公式，其条件仅依赖于环本身。
• 通过 Tate 上同调建立了对偶的宽度公式，表明 $\widehat{\operatorname{Ext}}$ 的消失蕴含 $\operatorname{width}_{R}\operatorname{\mathbf{R}Hom}_{R}(M,N) = \operatorname{depth}_{R}M + \operatorname{width}_{R}N - \operatorname{depth}R$。