[论文解读] 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

一句话总结

本文通过利用局部上同调模的分裂性质，为 Cohen-Macaulay 局部环商环上的有限生成模引入了一种新不变量——未混合度。通过使用 $p$-标准参数系并分析未混合分量对 Cohen-Macaulay 性的偏离，作者构造了一种广义 Vasconcelos 概念的新扩展度，该度量满足扩展度的公理，提供了一种非 Cohen-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.

研究动机与目标

• 理解同态像为 Cohen-Macaulay 局部环的模的非 Cohen-Macaulay 模的结构。
• 将 Cohen-Macaulay 性的未混合定理推广至任意有限生成模。
• 利用未混合分量和局部上同调，构造 Vasconcelos 意义下的新扩展度。
• 建立一个同调不变量——未混合度，以度量与 Cohen-Macaulay 性的偏离。

提出的方法

• 使用 $p$-标准参数系以控制参数列中关系的零化子。
• 应用模除参数元后局部上同调正合列的分裂性质。
• 通过局部上同调模的未混合分量定义未混合度。
• 构造一个模序列——Cohen-Macaulay 偏离序列，以表达与 Cohen-Macaulay 性的偏离。
• 证明分裂同构 $H^i_I(M/xM) \cong H^i_I(M) \oplus H^{i+1}_I(M/U_M(0))$ 对于 $x \in \mathfrak{b}(M)^3$ 且 $i < d - \dim R/I - 1$ 成立。
• 验证未混合度在有限生成 $R$-模范畴上满足扩展度的公理。

实验结果

研究问题

• RQ1 能否通过局部上同调和未混合分量系统地描述非 Cohen-Macaulay 模的结构？
• RQ2 是否存在一个明确定义的扩展度，能推广 Vasconcelos 的概念并度量 Cohen-Macaulay 性的失败？
• RQ3 在序列 Cohen-Macaulay 模的情形下，未混合度与同调度及算术度相比如何？
• RQ4 未混合度是否在满足特定零化子条件的参数元选择下保持不变？
• RQ5 未混合度能否通过逐次模掉参数元实现递归计算？

主要发现

• 根据定理 5.18，对于任意 $\mathfrak{m}$-主理想 $I$，未混合度 $\mathrm{udeg}(I,M)$ 是有限生成 $R$-模范畴上的扩展度。
• 在 Gorenstein 环上序列 Cohen-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))$，表明其与算术度存在精确联系。
• 未混合度满足 $\mathrm{udeg}(I,M/xM) \leq \mathrm{udeg}(I,M)$，且当 $x$ 零化 $H^0_\mathfrak{m}(M')$ 和 $H^1_\mathfrak{m}(M'/U_{M'}(0))$ 时（其中 $M' = M/(x_3,\ldots,x_d)M$）取等号，如定理 5.16 所示。
• 在例 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 所述。