[论文解读] The intersection homology D-module in positive characteristic

Manuel Blickle|arXiv (Cornell University)|Oct 9, 2002

Commutative Algebra and Its Applications参考文献 15被引用 6

一句话总结

本论文在正特征的完美域上，证明了局部上同调模 $ H^c_Y(X, \mathcal{O}_X) $ 中存在唯一的简单 $ D_X $-子模，记为 $ L(Y,X) $，当 $ X $ 和 $ Y $ 在该域上定义时，这扩展了复几何中的经典结果。通过与紧密闭包理论相关的局部构造，作者为 $ H^c_Y(X) $ 的 $ D_X $-单纯性提供了一个判别准则，从而建立了 Brylinski 和 Kashiwara 工作在特征 $ p $ 下的类似结果。

ABSTRACT

For Y a closed normal subvariety of codimension c of a smooth complex variety X, Brylinski and Kashiwara showed that the local cohomology module H^c_Y(X,O_X) contains a unique simple D_X-submodule, denoted by L(Y,X). In this paper the analogous result is shown for X and Y defined over a perfect field of finite characteristic. Moreover, a local construction of Ll(Y,X) is given, relating it to the theory of tight closure. From the construction one obtains a criterion for the D_X-simplicity of H^c_Y(X).

研究动机与目标

• 将 Brylinski 和 Kashiwara 在复解析几何中关于 $ H^c_Y(X,\mathcal{O}_X) $ 中唯一简单 $ D_X $-子模 $ L(Y,X) $ 的结果，推广至正特征的完美域上的代数簇。
• 利用紧密闭包理论，在正特征下局部构造 $ L(Y,X) $。
• 在正特征下建立局部上同调模 $ H^c_Y(X,\mathcal{O}_X) $ 的 $ D_X $-单纯性的判别准则。

提出的方法

• 通过正特征上的 $ D $-模理论，将复几何中 $ L(Y,X) $ 的构造方法进行适应。
• 利用紧密闭包理论，定义并刻画 $ H^c_Y(X,\mathcal{O}_X) $ 中局部 $ D_X $-子模 $ L(Y,X) $。
• 显式构造 $ L(Y,X) $ 为与理想紧密闭包相关的特定元素生成的 $ D_X $-子模。
• 利用局部上同调模的结构和 $ D_X $-模运算分析其单纯性。
• 将 $ H^c_Y(X,\mathcal{O}_X) $ 的单纯性与基环中紧密闭包的行为联系起来。
• 利用弗罗贝尼乌斯态射及其在局部上同调上的作用，分析 $ D_X $-模结构。

实验结果

研究问题

• RQ1 在正特征下，是否也存在类似于复情形的唯一简单 $ D_X $-子模 $ L(Y,X) $？
• RQ2 如何利用紧密闭包理论在正特征下显式构造 $ L(Y,X) $？
• RQ3 在正特征下，何种条件可保证 $ H^c_Y(X,\mathcal{O}_X) $ 是 $ D_X $-单纯？
• RQ4 定义子簇 $ Y $ 的理想之紧密闭包，如何与 $ H^c_Y(X) $ 的 $ D_X $-模结构相关联？
• RQ5 能否从紧密闭包的性质推导出 $ H^c_Y(X,\mathcal{O}_X) $ 的 $ D_X $-单纯性判别准则？

主要发现

• 在正特征下，局部上同调模 $ H^c_Y(X,\mathcal{O}_X) $ 包含唯一的简单 $ D_X $-子模，记为 $ L(Y,X) $，其推广了复情形的结果。
• 通过紧密闭包理论提供了 $ L(Y,X) $ 的局部构造，将 $ D $-模结构与正特征下的交换代数联系起来。
• $ H^c_Y(X,\mathcal{O}_X) $ 的 $ D_X $-单纯性由 $ Y $ 的定义理想之紧密闭包的一个条件所刻画。
• 该构造表明 $ L(Y,X) $ 由单个元素生成，其零化子与紧密闭包理想相关。
• 本文证明了 $ H^c_Y(X,\mathcal{O}_X) $ 是 $ D_X $-单纯当且仅当 $ Y $ 的定义理想的紧密闭包满足与弗罗贝尼乌斯作用相关的特定条件。
• 结果为 Brylinski 和 Kashiwara 定理提供了正特征类比，并给出了一个全新的代数-几何单纯性判别准则。