[论文解读] On endomorphism rings of local cohomology

Michael Hellus, Juergen Stueckrad|ArXiv.org|Mar 6, 2007

Commutative Algebra and Its Applications参考文献 13被引用 4

一句话总结

该论文证明了当 $ R $ 是诺特局部完备环且对所有 $ l \neq h $ 有 $ H^l_I(R) = 0 $ 时，局部上同调模 $ H^h_I(R) $ 的自同态环 $ \operatorname{End}_R(H^h_I(R)) $ 同构于 $ R $，从而 canonical map $ R \to \operatorname{End}_R(H^h_I(R)) $ 是同构。该结果被推广至此类模的 Matlis 对偶，并应用于通过在对偶模上使用正则序列，建立理想为集合理论完全交的新的判别准则。

ABSTRACT

Let R be a local complete ring. For an R-module M the canonical ring map R o End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every l eq h(:= height(I)) (I an ideal of R); furthermore the same holds for the Matlis dual of such a module. As an application we prove new criteria for an ideal to be a set-theoretic complete intersection.

研究动机与目标

• 确定局部上同调模 $ M = H^h_I(R) $ 的 canonical map $ R \to \operatorname{End}_R(M) $ 为同构的条件。
• 将该同构结果推广至此类局部上同调模的 Matlis 对偶。
• 利用自同态环的结构性质，推导出理想为集合理论完全交的新判别准则。
• 建立关于 Matlis 对偶模 $ D(H^h_I(R)) $ 上正则序列及 canonical map $ j_{\underline{x},I} $ 的等价条件。

提出的方法

• 使用 Matlis 对偶函子 $ D(M) = \operatorname{Hom}_R(M, E) $，其中 $ E $ 是剩余域的内射包。
• 利用 Khashyarmanesh 的广义版本结果，证明在零化条件 $ H^l_I(R) = 0 $（对 $ l \neq h $）下，有 $ D(H^h_I(D(H^h_I(R)))) \cong R $。
• 通过涉及零化子和谱序列的包含关系，证明 $ \operatorname{Hom}_R(H, D^2(H)) \to \operatorname{End}_R(H) $ 是同构。
• 利用 canonical 同构 $ \gamma_H: \operatorname{Hom}_R(H, D^2(H)) \to D(H^h_I(D(H))) $ 及 $ D(H^h_I(D(H))) \cong R $，推导出 $ \operatorname{End}_R(H) \cong R $。
• 定义理想 $ J_{\underline{x},I} = \{ r \in R \mid \forall l \, \exists s \text{ 使得 } r I^s \subseteq \underline{x}^l R \} $，并将其与映射 $ j_{\underline{x},I}: J_{\underline{x},I} \to \Gamma_I(R/\underline{x}R) $ 关联。
• 证明 $ \sqrt{I} = \sqrt{\underline{x}R} $、$ \underline{x} $ 为 $ D $-正则、$ \iota_{D,\underline{x}} $ 的单射性、$ j_{\underline{x},I} $ 的满射性以及 $ J_{\underline{x},I} = R $ 之间的等价性。

实验结果

研究问题

• RQ1 在什么条件下，canonical map $ R \to \operatorname{End}_R(H^h_I(R)) $ 是同构？
• RQ2 当局部上同调模 $ H^h_I(R) $ 的 Matlis 对偶满足什么条件时，其自同态环同构于 $ R $？
• RQ3 对正则序列 $ \underline{x} \subseteq I $，在什么条件下有 $ \sqrt{I} = \sqrt{\underline{x}R} $？
• RQ4 映射 $ j_{\underline{x},I}: J_{\underline{x},I} \to \Gamma_I(R/\underline{x}R) $ 的满射性如何与理想 $ I $ 的集合理论完全交性质相关？
• RQ5 在什么条件下理想 $ J_{\underline{x},I} $ 等于整个环 $ R $？

主要发现

• 当对所有 $ l \neq h $ 有 $ H^l_I(R) = 0 $，且 $ R $ 是诺特局部完备环时，canonical map $ \mu_H: R \to \operatorname{End}_R(H^h_I(R)) $ 是 $ R $-代数的同构。
• 在相同零化条件下，Matlis 对偶 $ D(H^h_I(R)) $ 也满足 $ \mu_D: R \to \operatorname{End}_R(D(H^h_I(R))) $ 为同构。
• 理想 $ I $ 是集合理论完全交当且仅当序列 $ \underline{x} $ 是 $ D $-正则的，其中 $ D = D(H^h_I(R)) $。
• canonical map $ \iota_{D,\underline{x}}: D/\underline{x}D \to H^h_{\underline{x}R}(D) $ 是单射当且仅当 $ \sqrt{I} = \sqrt{\underline{x}R} $。
• 映射 $ j_{\underline{x},I}: J_{\underline{x},I} \to \Gamma_I(R/\underline{x}R) $ 是满射当且仅当 $ \sqrt{I} = \sqrt{\underline{x}R} $。
• 理想 $ J_{\underline{x},I} $ 等于 $ R $ 当且仅当 $ \sqrt{I} = \sqrt{\underline{x}R} $，这与 $ I $ 是集合理论完全交等价。