[論文レビュー] 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-加群設定に拡張する。

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-加群を通じて算術表現論の基盤を提供すること。

提案手法

• 代数的設定から形式的設定への移行のための基準を用いて、一般化されたファイバー X_K からのD-アフィン性を形式的旗細胞 X に持ち上げる。
• 旗細胞上の線束のコホモロジーに関するケンプフの定理を適用し、高次コホモロジー群の消滅を保証する。
• 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)-アフィンである。
• 全体切断代数 \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)-加群の圏は誘導加群によって生成され、これが持ち上げの議論において鍵的役割を果たす。
• この結果は、正標数におけるリー代数表現の局在化定理の算術的版への重要な一歩を提供する。