[論文レビュー] Extension functors of local cohomology modules

Moharram Aghapournahr, A. J. Taherizadeh+1 more|ArXiv.org|Mar 12, 2009

Commutative Algebra and Its Applications被引用数 16

ひとこと要約

この論文は、セール部分カテゴリを用いて局所コホモロジー・モジュールの拡張ファンクターを調査し、局所コホモロジーを含むExtモジュールが与えられたセール部分カテゴリに属するための条件を確立する。主な貢献は、ややきつい有限性およびねじれ条件の下で、$\ mathrm{Ext}^{s+t}_R(N,X)$ と $\ mathrm{Ext}^s_R(N,H^t_\ mathfrak{a}(X))$ の間の一般化された同型を確立することであり、これにより局所コホモロジー・モジュールの新たな有限性および余有限性の結果が得られる。

ABSTRACT

Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, and $X$ an $R$--module. In this paper, for fixed integers $s, t$ and a finite $\fa$--torsion $R$--module $N$, we first study the membership of $\Ext^{s+t}_{R}(N, X)$ and $\Ext^{s}_{R}(N, H^{t}_{\fa}(X))$ in Serre subcategories of the category of $R$--modules. Then we present some conditions which ensure the existence of an isomorphism between them. Finally, we introduce the concept of Serre cofiniteness as a generalization of cofiniteness and study this property for certain local cohomology modules.

研究の動機と目的

• R-モジュールのセール部分カテゴリにおける $\ mathrm{Ext}^{s+t}_R(N,X)$ および $\ mathrm{Ext}^s_R(N,H^t_\u005C mathfrak{a}(X))$ の属する条件を研究すること。
• $\mathrm{Ext}^{s+t}_R(N,X)$ と $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ の間の同型が存在する十分条件を確立すること。
• 局所コホモロジー・モジュールの古典的余有限性の一般化として、セール余有限性を導入し、それらを研究すること。
• スペクトル系列およびセール部分カテゴリの技法を用いて、既存の局所コホモロジー・モジュールの有限性および余有限性の結果を一般化すること。

提案手法

• フィルトレーションの議論を通じて、$\mathrm{Ext}^t_R(N,X)$ と $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ を結ぶグロテンディークのスペクトル系列を用いる。
• セール部分カテゴリにおけるスペクトル系列の収束性および部分商の閉性を応用して、モジュールの属する条件を導出する。
• 有限性条件を精緻化するために、特別なセール部分カテゴリのクラスとして、メルケルソン部分カテゴリの概念を導入する。
• スペクトル系列のフィルトレーションからの帰納法および完全系列を用いて、下位のExtおよび局所コホモロジー項に関する仮定の下で、$\mathrm{Ext}^n_R(N,X)$ がセール部分カテゴリに属することを証明する。
• ベース・チェンジおよびモジュール拡張技法を用いて、セール余有限性の環の変更原理を一般化する。
• ミニマックスモジュール構造を応用して、特にアートジアンおよび有限長モジュールの文脈で、余有限性の結果を強化する。

実験結果

リサーチクエスチョン

• RQ1 すべての $0 \leq r \leq t$ に対して $\mathrm{Ext}^{t-r}_R(N,H^r_\mathfrak{a}(X)) \in \mathcal{S}$ であるとき、$\mathrm{Ext}^{s+t}_R(N,X)$ がセール部分カテゴリ $\mathcal{S}$ に属するための条件は何か？
• RQ2 有限な $\mathfrak{a}$-ねじれモジュール $N$ に対して、$\mathrm{Ext}^{s+t}_R(N,X)$ と $\mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ の間に同型が存在する条件は何か？
• RQ3 セール部分カテゴリを用いて、古典的な $\mathfrak{a}$-余有限性の概念をどのように一般化できるか？
• RQ4 $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ が有限であり、$j < i$ に対して $H^j_\mathfrak{a}(X)$ がミニマックスであるとき、$H^i_\mathfrak{a}(X)$ が $\mathfrak{a}$-余有限である条件は何か？
• RQ5 $\mathrm{Hom}_R(R/\mathfrak{a},H^n_\mathfrak{a}(X))$ が有限であるのはいつか？ そしてこれは $H^n_\mathfrak{a}(X)$ のアートジアンおよび余有限性とどのように関係するか？

主な発見

• 定理2.1は、すべての $0 \leq r \leq t$ に対して $\mathrm{Ext}^{t-r}_R(N,H^r_\mathfrak{a}(X)) \in \mathcal{S}$ ならば、$\mathrm{Ext}^t_R(N,X) \in \mathcal{S}$ であることを、スペクトル系列のフィルトレーションを用いて確立する。
• 定理3.5は、$N$ および $\mathfrak{a}$-ねじれの有限性に関するややきつい仮定の下で、自然な同型 $\mathrm{Ext}^{s+t}_R(N,X) \cong \mathrm{Ext}^s_R(N,H^t_\mathfrak{a}(X))$ を提供する。
• 系4.11は、[6, 定理2.3]を改善し、すべての $0 \leq i \leq n$ に対して $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ が有限長であるならば、$\mathrm{Hom}_R(R/\mathfrak{a},H^n_\mathfrak{a}(X))$ が有限であることを示す。
• 系4.12は、$H^i_\mathfrak{a}(X)$ が $\mathfrak{a}$-余有限であることが、$0 \leq i \leq n$ に対して $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ が有限長であることと同値であることを確立する。
• 命題4.10は、$i < n$ に対して $H^i_\mathfrak{a}(X)$ が $\mathfrak{a}$-余有限であり、$n \leq i \leq m$ に対して $\mathrm{Ext}^i_R(R/\mathfrak{a},X)$ が有限であり、$n \leq i \leq m$ に対して $H^i_\mathfrak{a}(X)$ がミニマックスであるならば、$H^n_\mathfrak{a}(X)$ が $\mathfrak{a}$-余有限であることを証明する。
• この論文は、古典的余有限性の結果を一般化し、セール余有限性を導入することで、$\mathfrak{a}$-余有限なミニマックスモジュールのクラスがセール部分カテゴリをなすことを示し、この性質に対する環の変更原理を証明する。