[論文レビュー] Swan conductors for p-adic differential modules, II: Global variation

Kiran S. Kedlaya|ArXiv.org|May 1, 2007

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

ひとこと要約

本稿は、正の特性を持つ完全体上の多様体における収束的F-イソクラストラルの微分的スワン導来数を拡張し、特に曲面における下調和性および半連続性といったグローバルな変動性の性質を確立する。さらに、ガロア表現を通じて、一様なℓ-adic層への構成を適応し、基底変換下での凸性、多面体性、整数性を証明する。

ABSTRACT

Using a local construction from a previous paper, we exhibit a numerical invariant, the differential Swan conductor, for an isocrystal on a variety over a perfect field of positive characteristic overconvergent along a boundary divisor; this leads to an analogous construction for certain p-adic and l-adic representations of the etale fundamental group of a variety. We then demonstrate some variational properties of this definition for overconvergent isocrystals, paying special attention to the case of surfaces.

研究の動機と目的

• 正の特性を持つ完全体上の多様体における収束的F-イソクラストラルの微分的スワン導来数のグローバルな変動を定義し、研究すること。
• ガロア表現を介して導来数の構成を一様なℓ-adic層に拡張し、類似した変動性の性質を確立すること。
• 特に曲面および除数的価値に関する文脈で、基底変換および分岐に関する導来数の振る舞いを分析すること。
• 特に正則微分モジュールに関する複素幾何学的結果（下調和性および半連続性）と類似性を明らかにすること。
• 半安定還元の文脈におけるサバのストークス現象およびモノドロミー変動に関する研究のp進類似を提供すること。

提案手法

• 前回の論文における局所的構成を用いて、正の特性を持つ完全体上の多様体における収束的F-イソクラストラルの微分的スワン導来数を定義する。
• 既知のメカニズムを介してガロア表現をF-イソクラストラルに変換することで、一様なℓ-adic層への導来数定義を適用する。
• 基底変換技術および帰納法を用い、表現のスワン導来数とその誘導表現との関係を確立し、連続性および凸性を証明する。
• ハッセ＝アルフの性質を適用して、導来数の値が値群の離散的部分群に属することを示し、整数性を保証する。
• ベルコヴィッチの解析的幾何学および価値論的手法を用いて、境界除数に関する導来数を関数として分析する。
• 特に相対的円環および形式的スキームの文脈で、特殊化およびチューブ構成を用いてグローバルな性質を局所的性質に還元する。

実験結果

リサーチクエスチョン

• RQ1 収束的F-イソクラストラルの文脈において、曲面における境界除数に関する微分的スワン導来数の変動はどのように行われるか？
• RQ2 微分的スワン導来数の変動性は、複素幾何学における下調和性および半連続性とどの程度類似しているか？
• RQ3 微分的スワン導来数は一様なℓ-adic層へ拡張可能か？また、F-イソクラストラル設定からどのような性質を継承するか？
• RQ4 有限局所モノドロミーを持つガロア表現の文脈において、導来数とモノドロミー作用の関係は何か？
• RQ5 特に有限被覆の文脈において、基底変換および表現の誘導における導来数の振る舞いはいかなるものか？

主な発見

• 相対的円環設定における半径パラメータに関して、収束的F-イソクラストラルの微分的スワン導来数は連続的で、凸的かつ整数的多面体的である。
• 一様なℓ-adic層に対して、導来数 $ d!B_i(\tfrac{1}{d}\rho, r) $ および $ B_d(\tfrac{1}{d}\rho, r) $ は連続的で、凸的かつ整数的多面体的であり、値は $ \mathbb{Z} + \mathbb{Z}r_1 + \cdots + \mathbb{Z}r_n $ に属する。
• $ r=0 $ におけるスワン導来数の右斜面、すなわち $ \operatorname{Swan}'_Z(\mathcal{E},z) $ は、すべての点 $ z \in Z $ に対して $ -\ell(\mathcal{E},Z) $ に等しく、$ \ell(\mathcal{E},Z) \in \{0,1,\dots,d\} $ を満たす。
• $ \sum_{z\in Z} (\operatorname{Swan}'_Z(\mathcal{E},z) + \ell(\mathcal{E},Z)) $ は不等式 $ \geq (2-2g(Z))\ell(\mathcal{E},Z) - Z^2 \operatorname{Swan}(\mathcal{E},Z) $ を満たし、トポロジー的不変量と導来数の振る舞いを結びつける。
• 導来数は正の性質を満たす： $ Z \cdot (\operatorname{Swan}(\mathcal{E}) + \ell(\mathcal{E},Z)(K_{\overline{X}} + D)) \geq 0 $ であり、これは曲面における幾何的制約を反映している。
• 導来数はトゥイリエの意味における下調和的挙動を示し、特定の条件下で単調性が成り立つ。これはアンドレおよびデリーニュによる複素解析的結果と類似している。