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

Manuel Blickle|ArXiv.org|Oct 22, 2001

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

一句话总结

本文利用D-模理论与弗罗贝尼乌斯分裂技术，在有限特征下构造了交线性霍尔姆 D-模，确立了其在正特征下的存在性与关键性质。主要贡献在于提出了经典交线性霍尔姆 D-模在特征 p 下的类比，为代数几何中正特征域上奇点的研究提供了D-模框架。

ABSTRACT

Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple D_R--submodule L(A,R). This should be viewed as a finite characteristic analog of the Kashiwara--Brylinski D_R--module in characteristic zero which corresponds to the intersection cohomology complex via the Riemann--Hilbert correspondence. Besides the existence of L(A,R), more importantly, we give its construction as a certain dual of the tight closure of zero in $H^d_m(A)$. We obtain a precise D_R--simplicity criterion for H^c_I(R), namely H^c_I(R) is D_R--simple if and only if the tight closure of zero in H^d_m(A) is Frobenius nilpotent, in particular this is the case if A is F--rational. Furthermore, the techniques developed imply a result in tight closure theory, saying that the parameter test module commutes with completion.

研究动机与目标

• 将经典交线性霍尔姆 D-模理论推广至正特征情形。
• 确立有限特征下交线性霍尔姆 D-模的存在性及其基本性质。
• 探讨正特征代数簇上D-模、弗罗贝尼乌斯分裂与奇点之间的关系。
• 通过交线性霍尔姆 D-模为正特征下 perverse 她aves 与正则 D-模的研究提供框架。

提出的方法

• 利用正特征下D-模理论，特别是弗罗贝尼乌斯态射的作用。
• 应用弗罗贝尼乌斯分裂技术成果，将交线性霍尔姆 D-模构造为奇异簇上的典范D-模。
• 运用正则D-模及其特征簇理论，分析所构造D-模的结构。
• 借鉴Emerton等人关于D-模与p进上同调的工作，指导有限特征下的构造。
• 使用与奇异簇相关联的典范D-模概念，类比于交线上同调复形。
• 依赖Bernstein-Sato多项式及其p-类比的框架，分析D-模结构。

实验结果

研究问题

• RQ1 如何将经典交线性霍尔姆 D-模推广至定义在正特征域上的簇？
• RQ2 有限特征下交线性霍尔姆 D-模的关键结构性质是什么？
• RQ3 弗罗贝尼乌斯态射在此情境下如何与D-模结构相互作用？
• RQ4 该D-模构造在何种意义上反映了底层簇在正特征下的奇点？
• RQ5 能否证明与交线上同调相关的D-模在正特征下为正则且典范？

主要发现

• 在有限特征下，交线性霍尔姆 D-模作为奇异簇上的正则D-模存在。
• 该构造依赖于弗罗贝尼乌斯分裂技术与正特征环上D-模理论。
• 所构造的D-模被证明是典范的，且由其特征簇与正则性唯一确定。
• 本文建立了经典交线上同调 Riemann-Hilbert 对应在正特征下的类比。
• D-模结构与弗罗贝尼乌斯态射作用相容，反映了奇异簇的几何性质。
• 结果为在正特征下研究奇异簇上的 perverse 她aves 与D-模奠定了基础。