[论文解读] On a Duality for local cohomology modules of ralative Cohen-Macaulay rings

Majid Rahro Zargar|arXiv (Cornell University)|Aug 14, 2013

Commutative Algebra and Its Applications参考文献 17被引用 3

一句话总结

本文通过证明 $R$-模 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 在相对科恩-麦克aul伊环中表现出类似于科恩-麦克aul伊环中对偶模的性质，建立了局部上同调模在相对科恩-麦克aul伊环中的对偶性，从而推广了经典对偶定理在相对情形下的结果。

ABSTRACT

Let $(R,\fm)$ be a relative Cohen-Macaulay local ring with respect to an ideal $\fa$ of $R$ and set $c:=\h_{R}\fa$. In this paper, we investigate some properties of the $R$-module $\Hom_{R}(\H_{\fa}^c(R),\E(R/\fm))$ and we show that such module treat like a canonical module over a Cohen-Macaulay local ring.

研究动机与目标

• 研究相对科恩-麦克aul伊环中 $R$-模 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 的结构与性质。
• 在相对科恩-麦克aul伊环的背景下，建立局部上同调模的对偶理论。
• 将经典对偶结果（特别是对偶模的性质）推广到相对情形。
• 阐明局部上同调模 $\H^c_\fa(R)$ 的作用，其中 $c = \h_R(\fa)$ 为 $R$ 关于 $\fa$ 的 $\fa$-高度。
• 证明对偶模 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 在相对情形下表现出类似于对偶模的性质。

提出的方法

• 利用局部上同调模 $\H^c_\fa(R)$，其中 $c = \h_R(\fa)$，即 $R$ 关于 $\fa$ 的 $\fa$-高度。
• 通过剩余域的内射包 $\E(R/\fm)$ 构造对偶模 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$。
• 应用相对科恩-麦克aul伊环的理论，确保上同调维数与 $\fa$-高度一致。
• 依赖局部上同调中的对偶定理以及局部环上内射模的性质。
• 分析对偶模的模结构与有限生成性质，以确立其类似对偶模的行为。
• 利用 $R$ 关于 $\fa$ 是相对科恩-麦克aul伊环的性质，确保上同调模 $\H^c_\fa(R)$ 非零且行为良好。

实验结果

研究问题

• RQ1 在相对科恩-麦克aul伊环的背景下，模 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 如何表现？
• RQ2 该对偶模在多大程度上模仿了科恩-麦克aul伊环中对偶模的性质？
• RQ3 在 $\H^c_\fa(R)$ 与其对偶 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 之间，浮现了哪些对偶关系？
• RQ4 该对偶模能否在相对科恩-麦克aul伊环设定中被表征为对偶模？
• RQ5 当 $R$ 关于 $\fa$ 是相对科恩-麦克aul伊环时，$\H^c_\fa(R)$ 具有哪些结构性质？

主要发现

• 证明了模 $\Hom_R(\H^c_\fa(R), \E(R/\fm))$ 在相对科恩-麦克aul伊设定中表现出类似对偶模的性质。
• 所建立的对偶性推广了标准科恩-麦克aul伊环中经典对偶定理至相对情形。
• 上同调维数 $c = \h_R(\fa)$ 确保 $\H^c_\fa(R)$ 是最高非零的局部上同调模。
• 在相对科恩-麦克aul伊假设下，对偶模继承了有限生成和类反射模的性质。
• 该构造在关于理想 $\fa$ 为科恩-麦克aul伊的环中提供了对偶模的类比。
• 该对偶性具有有效性，即其尊重了相对设定中局部上同调与内射包的结构。