[論文レビュー] 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ホモロジーの消滅が、深さの公式が普遍的に成り立つことを証明する。これは、アウスランダーの元来の公式を一般化し、完全交差環からすべての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.

研究の動機と目的

• 正則環および完全交差環を超えて、すべてのGorenstein局域環へアウスランダーの深さの公式を一般化すること。
• 有限Gorenstein射影的次元をもつモジュールに対して、深さの公式が成り立つ条件を確立すること。
• Tateホモロジーを統一的不変量として用いることで、これまでの深さの公式の一般化を統合・拡張すること。
• Tateホモロジー条件を用いて、AB環および完全交差環上のモジュールに対するコホモロジー消滅の新たな境界を導出すること。
• 主結果を双対化し、幅不変量を用いてTateコホモロジーを含む対応する公式を確立すること。

提案手法

• Gorenstein環上のモジュールに対してTateホモロジーを用い、古典的理論を有限Gorenstein射影的次元をもつモジュールへ拡張する。
• 半射影的および半平坦的分解の応用により、導来函手を定義し、深さおよび幅不変量を計算する。
• Tateホモロジーの消滅を保証する条件として、Tate Tor-独立性の概念を導入する。
• ホモトピー型の複体と導来テンソル積の間の擬同型を用いて、深さの公式を証明する。
• 導来Hom複体および幅不変量を用いた双対化により、Tateコホモロジーを含む公式を導出する。
• スペクトル系列およびホモロジー代数的技法を用いて、深さ、幅、およびコホモロジーの消滅を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein局域環上のモジュールに対して、完全交差環を超えて深さの公式が成り立つ条件は何か？
• RQ2 有限射影的次元が存在しない状況において、Tateホモロジーの消滅が深さの公式が成り立つ十分条件として機能するか？
• RQ3 Tateホモロジーの消滅は、AB環および完全交差環におけるコホモロジーの境界とどのように関係するか？
• RQ4 Gorenstein射影的次元は、Tateホモロジーを介して深さの公式を可能にする役割を果たすか？
• RQ5 深さの公式は、Tateコホモロジーを用いて幅の公式に双対化可能か？

主な発見

• Tateホモロジーが消える限り、すべてのTate Tor-独立的モジュールの組に対して、Gorenstein局域環上では深さの公式が成り立つ。これは、以前の結果を一般化する。
• 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$ を示す。