[论文解读] Local cohomology multiplicities in in terms of étale cohomolgy

Manuel Blickle, Raphaël Bondu|ArXiv.org|Jun 14, 2004

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

该论文在正特征下建立了局部上同调重数 λₐ,ᵢ(A) 与 ℤ/pℤ 系数的étale上同调之间的精确联系，表明这些不变量由奇异点处局部étale上同调群的维数给出。关键结果将此前针对孤立奇点的解析结果推广至更广泛的奇点类——接近 F-有理的代数簇，利用了Emerton与Kisin在正特征下的Riemann–Hilbert对应关系。

ABSTRACT

We give a description of certain local cohomology invariants (introduced by Lyubeznik) for a class of mildly singular varieties in positive characteristic. The novelty of our approuch lies in using the new Riemann-Hilbert type correspondenc of Emerton and Kisin to express these invariants in terms of 'etale cohomology with ZZ/pZZ coefficients. Thus we are able to obtain results in positive characteristic whereas earlier approaches were restricted (due to the use of de Rham theory) to the analytic case.

研究动机与目标

• 将Lyubeznik不变量 λₐ,ᵢ(A) 的拓扑解释从孤立奇点推广至更广泛的奇点类。
• 为García-López与Sabbah在复解析情形下关于局部上同调重数的分析结果提供正特征类比。
• 利用Emerton–Kisin的Riemann–Hilbert对应关系，建立局部代数不变量与étale上同调之间的新联系。
• 将 λₐ,ᵢ(A) 的描述从孤立奇点推广至 Y∖{x} 为交上同调流形的代数簇。
• 证明不变量 λₐ,ᵢ(A) 在特定度数之外消失，并以étale上同调群的形式给出显式公式。

提出的方法

• 使用Emerton与Kisin在正特征下对D-模的Riemann–Hilbert型对应关系，以Artin–Schreier理论替代de Rham理论。
• 构造特征零结果的无对偶性证明，以实现向正特征的转移。
• 应用该对应关系，将局部上同调模 Hⁿ⁻ⁱᴵ(R) 与带 ℤ/pℤ 系数的穿孔簇 Y∖{x} 的étale上同调联系起来。
• 通过同构 L(Y,X) ≅ RΓ[Y](𝒪_X)[n−d] 来刻画接近 F-有理奇点，其中 L(Y,X) 是唯一的单个单位 R[F]-子模。
• 利用 Hⁿ⁻ⁱᴵ(R) = 0 当且仅当 Hⁱₘ(A) 是 F-幂零这一事实，将局部上同调的消失性与模论性质联系起来。
• 通过基变换将一般情形约化至分离闭包情形，同时保持不变量 λₐ,ᵢ(A) 不变。

实验结果

研究问题

• RQ1 Lyubeznik不变量 λₐ,ᵢ(A) 在正特征下如何通过étale上同调来解释？
• RQ2 哪类奇点使得不变量 λₐ,ᵢ(A) 可通过 ℤ/pℤ 系数的étale上同调群来描述？
• RQ3 García-López与Sabbah在特征零下对孤立奇点的结果，能否通过代数方法推广至非孤立奇点？
• RQ4 Emerton–Kisin的Riemann–Hilbert对应关系如何实现复代数几何中使用的Riemann–Hilbert对应关系在正特征下的类比？
• RQ5 代数几何中，代数簇 Y 的何种精确代数-几何条件使得局部上同调重数 λₐ,ᵢ(A) 由 Y∖{x} 的étale上同调决定？

主要发现

• 对于在单点 x 外接近 F-有理的 k-代数簇 Y（维数为 d），当 1 ≤ i ≤ d−1 时，不变量 λ₀,ᵢ(A) 由 dim_{ℤ/pℤ} Hⁱ_{{ x }}(Yét, ℤ/pℤ) 给出。
• 对于 λₐ,ₙ(A)（2 ≤ a ≤ d−1），不变量为 dim_{ℤ/pℤ} H^{d+1−a}_{{ x }}(Yét, ℤ/pℤ)，且 λ_{d,d}(A) = dim_{ℤ/pℤ} H¹_{{ x }}(Yét, ℤ/pℤ) + 1。
• 其余所有 λₐ,ᵢ(A) 均为零，确认了不变量中存在强烈的消失模式。
• 不变量 λₐ,ᵢ(A) 在基域的分离闭包上保持不变，从而可约化至分离闭包情形。
• 接近 F-有理奇点的类由同构 L(Y,X) ≅ RΓ[Y](𝒪_X)[n−d] 特征化，将局部上同调与交上同调模联系起来。
• 该结果将García-López与Sabbah在复解析情形下的结果推广至非孤立奇点，以正特征下的étale上同调替代复上同调。