[论文解读] On Lyubeznik's invariants and endomorphisms of local cohomology modules

Peter Schenzel|ArXiv.org|Apr 16, 2007

Commutative Algebra and Its Applications参考文献 19被引用 7

一句话总结

本文研究了在 Gorenstein 环和正则局部环中局部上同调模的自同态环 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $，在特定条件下证明了 $ B $ 是交换环且诺特环。关键结果是：当且仅当最高 Lyubeznik 数 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) = 1 $，且自然映射 $ \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 非零时，有 $ R \simeq B $，从而在特定情形下证实了一个猜想。

ABSTRACT

Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case of $(R,\mathfrak m)$ a regular local ring containing a field $B$ is a Cohen-Macaulay ring. Its properties are related to the highest Lyubeznik number $l = \dim_k \Ext_R^d(k,H^c_I(R)).$ In particular $R \simeq B$ if and only if $l = 1.$ Moreover, we show that the natural homomorphism $\Ext_R^d(k, H^c_I(R)) o k$ is non-zero.

研究动机与目标

• 理解 Gorenstein 环和正则局部环中局部上同调模的自同态环 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ 的结构。
• 确定在何种条件下 $ B $ 同构于 $ R $，特别是与最高 Lyubeznik 数 $ l $ 的关系。
• 验证自然映射 $ \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 的非零性，从而在特定情形下证实 Hellus 与作者的猜想。

提出的方法

• 使用谱序列和截断复形分析自然映射 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $，将其识别为边缘同态。
• 应用 Huneke-Lyubeznik 第二个零化定理，刻画局部上同调模的零化性质。
• 利用 Gorenstein 环中对偶性和典范模的结构，将 $ B $ 视为 $ R $ 的模有限扩张进行研究。
• 利用局部上同调的 Mayer-Vietoris 正合列，计算涉及非素理想时的 $ B $。
• 采用 Reynolds 算子及特征依赖性分析（正特征与零特征），比较不同域上的 Bass 数。
• 使用完备化和严格 Hensel 化方法研究 $ V(I_d) $ 的余维一连通性，将其与同构 $ R \simeq B $ 联系起来。

实验结果

研究问题

• RQ1 在何种条件下自同态环 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ 同构于 $ R $？
• RQ2 最高 Lyubeznik 数 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) $ 与 $ B $ 的结构之间存在何种关系？
• RQ3 自然映射 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 是否总是非零？这是否证实了 Hellus 与作者的猜想？
• RQ4 在余维一意义下 $ V(I_d) $ 的连通性如何影响 $ B $ 的结构？
• RQ5 Bass 数 $ \dim_k \operatorname{Ext}^i_R(k, H^c_I(R)) $ 如何依赖于基域的特征？

主要发现

• 对于任意 $ n $-维 Gorenstein 环 $ R $，自同态环 $ B = \operatorname{Hom}_R(H^c_I(R), H^c_I(R)) $ 是交换环，且满足 $ B \simeq \operatorname{Ext}^c_R(H^c_I(R), R) $。
• 当 $ R $ 是包含一个域的完备正则局部环时，$ B $ 是一个诺特的、科恩-麦克aul伊的 $ R $-代数，且作为 $ R $-模是秩为 $ \dim_k \operatorname{Ext}^c_R(k, H^c_I(R)) $ 的自由模。
• 同构 $ R \simeq B $ 成立当且仅当最高 Lyubeznik 数 $ l = \dim_k \operatorname{Ext}^d_R(k, H^c_I(R)) = 1 $。
• 自然映射 $ \phi: \operatorname{Ext}^d_R(k, H^c_I(R)) \to k $ 非零，从而在包含域的正则局部环情形下证实了猜想。
• 当且仅当 $ V(I_d) $ 在余维一意义下连通时，$ B $ 是局部环；当且仅当 $ R/I_d $ 的严格 Hensel 化的完备化在余维一意义下连通时，$ R \to B $ 是同构。
• 在例 7.2 中，特征为零时，Lyubeznik 数 $ \dim_k \operatorname{Ext}^2_R(k, H^2_I(R)) = 1 $，但在正特征下为零，表明其对基域特征的依赖性。