[論文レビュー] On the structure of finitely generated modules and the unmixed degrees

Nguyen Tu Cuong, Phạm Hùng Quý|arXiv (Cornell University)|Dec 22, 2016

Commutative Algebra and Its Applications参考文献 18被引用数 8

ひとこと要約

本稿では、局所コホホロジー加群の分解を活用して、コhen-Macaulay局標の商環上の有限生成加群に対して、新たな不変量である「アンミクスト次数（unmixed degree）」を導入する。$p$-標準的パラメータ系を用い、アンミクスト成分を介してコhen-Macaulay性からのずれを分析することで、バスコネロスの概念を一般化した新しい拡張次数を構成する。この次数は拡張次数の公理を満たし、コhen-Macaulay性からのずれをホモロジー的測度として定める。

ABSTRACT

Let $(R, \frak m)$ be a homomorphic image of a Cohen-Macaulay local ring and $M$ a finitely generated $R$-module. We use the splitting of local cohomology to shed a new light on the structure of non-Cohen-Macaulay modules. Namely, we show that every finitely generated $R$-module $M$ is associated by a sequence of invariant modules. This modules sequence expresses the deviation of $M$ with the Cohen-Macaulay property. This result generalizes the unmixed theorem of Cohen-Macaulayness for any finitely generated $R$-module. As an application we construct a new extended degree in sense of Vasconcelos.

研究の動機と目的

• コhen-Macaulay局標の像である環上の非コhen-Macaulay加群の構造を理解すること。
• コhen-Macaulay性のアンミクスト定理を任意の有限生成加群に一般化すること。
• アンミクスト成分と局所コホホロジーを用いて、バスコネロスの意味での新たな拡張次数を構成すること。
• コhen-Macaulay性からのずれを測るホモロジー的不変量としてのアンミクスト次数を確立すること。

提案手法

• パラメータ列における関係の annihilator を制御するための $p$-標準的パラメータ系の使用。
• パラメータ元で割った加群に対する局所コホホロジー完全列の分解の応用。
• 局所コホホロジー加群のアンミクスト成分の次元を用いたアンミクスト次数の定義。
• コhen-Macaulay性からのずれを表現するための、コhen-Macaulayずれ列と呼ばれる加群の列の構成。
• $x \in \mathfrak{b}(M)^3$ および $i < d - \dim R/I - 1$ のとき、同型 $H^i_I(M/xM) \cong H^i_I(M) \oplus H^{i+1}_I(M/U_M(0))$ の証明。
• アンミクスト次数が有限生成 $R$-加群の圏上で拡張次数の公理を満たすことを検証すること。

実験結果

リサーチクエスチョン

• RQ1 局所コホホロジーとアンミクスト成分を用いて、非コhen-Macaulay加群の構造を体系的に記述できるか？
• RQ2 バスコネロスの概念を一般化し、コhen-Macaulay性の失敗を測る well-defined な拡張次数が存在するか？
• RQ3 逐次的コhen-Macaulay加群の場合、アンミクスト次数はホモロジー次数および算術次数とどのように比較できるか？
• RQ4 特定の annihilator 条件を満たすパラメータ元の選び方に対して、アンミクスト次数は不変か？
• RQ5 逐次的なパラメータ元による商を経て、アンミクスト次数を再帰的に計算できるか？

主な発見

• 定理 5.18 で示されたように、任意の $\mathfrak{m}$-主理想 $I$ に対して、$\mathrm{udeg}(I,M)$ は有限生成 $R$-加群の圏上で拡張次数である。
• ゴレンシュタイン環上の逐次的コhen-Macaulay加群に対しては、$\mathrm{udeg}(I,M) = \mathrm{adeg}(I,M) = \mathrm{deg}(I,M) + \sum_{i=0}^{d-1} \mathrm{deg}(\mathrm{Ext}^{n-i}_S(M,S))$ が成り立ち、算術次数と明確な関係が示される。
• 定理 5.16 で示されたように、$\mathrm{udeg}(I,M/xM) \leq \mathrm{udeg}(I,M)$ が成り立ち、$x$ が $H^0_\mathfrak{m}(M')$ および $H^1_\mathfrak{m}(M'/U_{M'}(0))$ を annihilate するとき等号が成り立つ（$M' = M/(x_3,\ldots,x_d)M$）。
• 例 5.20 において、$\mathrm{deg}(R) = 1 < \mathrm{udeg}(R) = 2 < \mathrm{hdeg}(R) = 3$ であり、次数の厳密な不等式が示される。
• 例 5.21 において、$\mathrm{udeg}(R) = 4$ および $\mathrm{hdeg}(R) = 5$ であり、この場合にも $\mathrm{udeg}(I,M) \leq \mathrm{hdeg}(I,M)$ が成り立つ。
• 本稿では、すべての有限生成 $R$-加群および $\mathfrak{m}$-主理想 $I$ に対して $\mathrm{udeg}(I,M) \leq \mathrm{hdeg}(I,M)$ が成り立つかどうかは未解決であり、質問 1 として提起されている。