[论文解读] Un théorème de Beilinson-Bernstein pour les D-modules arithmétiques

Christine Noot-Huyghe|ArXiv.org|Apr 30, 2007

Commutative Algebra and Its Applications被引用 7

一句话总结

本文建立了在不等特征的完备离散赋值环的形式谱上的旗簇的贝利诺森-伯恩斯坦局部化定理的算术类比。通过一个将 D-仿射性从一般纤维提升到形式概形的准则，证明了当 λ + ρ 为极大且正则时，形式旗簇对 D^\dagger_{{\cal X},{\bf Q}}(\lambda) 是 D-仿射的，从而将经典结果推广至算术 D-模设定。

ABSTRACT

One proves a Beilinson-Bernstein theorem in the context of arithmetic D-modules introduced by Berthelot, for flag varieties. This generalizes in the arithmetic context previous results of Brylinski-Kashiwara and Beilinson-Bernstein in the complex case.

研究动机与目标

• 将贝利诺森-伯恩斯坦关于 D-仿射性的定理推广至形式概形上 D-模的算术设定。
• 在不等特征的完备离散赋值环上的形式旗簇上建立算术 D-模的 D-仿射性。
• 将旗簇在复数域上的经典 D-仿射性结果推广至 p-进算术设定。
• 通过形式旗簇上的 D-模为算术表示理论提供基础。

提出的方法

• 通过从代数设定到形式设定的传递准则，将 D-仿射性从一般纤维 X_K 提升至形式旗簇 X。
• 应用 Kempf 定理于旗簇上线丛的上同调，以确保高阶上同调群的消失。
• 利用 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-模范畴由诱导模生成的事实，将问题约化至代数情形。
• 运用贝尔托莱特发展的算术 D-模理论，特别是取值于线丛的算术微分算子层 D^\dagger_{{\cal X},{\bf Q}}(\lambda)。
• 依赖于整体截面代数的结构，并证明其在赋值环 V 上的完备性与有限生成性。
• 利用旗簇 X = G/P 沿其特殊纤维的正式完成来定义形式概形 X。

实验结果

研究问题

• RQ1 贝利诺森-伯恩斯坦 D-仿射性定理是否对不等特征的完备离散赋值环上形式旗簇的算术 D-模成立？
• RQ2 旗簇一般纤维 X_K 的 D-仿射性是否能推出其沿特殊纤维的正式完成 X 的 D-仿射性？
• RQ3 对于哪些权 λ，形式旗簇 X 是 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-仿射的？
• RQ4 形式旗簇上 D^\dagger_{{\cal X},{\bf Q}}(\lambda)-模范畴与整体截面代数上的模范畴有何关系？
• RQ5 整体截面代数 \Gamma(X, D^\dagger_{{\cal X},{\bf Q}}(\lambda)) 的代数性质（如完备性、有限生成性）是什么？

主要发现

• 当 λ + ρ 为极大且正则时，形式旗簇 X 对 D^\dagger_{{\cal X},{\bf Q}}(\lambda) 是 D-仿射的。
• 整体截面代数 \Gamma(X, D^\dagger_{{\cal X},{\bf Q}}(\lambda)) 是一个弱完备的、有限生成的 V-代数。
• 对每个 m ≥ 1，代数 \Gamma(X, \widehat{D}^{(m)}_{{\cal X},{\bf Q}}(\lambda)) 是一个完备诺特左 V-代数。
• 一般纤维 X_K 的 D-仿射性（由贝利诺森-伯恩斯坦建立）通过提升准则可推出形式概形 X 的 D-仿射性。
• D^\dagger_{{\cal X},{\bf Q}}(\lambda)-模范畴由诱导模生成，这对提升论证至关重要。
• 该结果为正特征下李代数表示的算术局部化定理提供了关键一步。