[論文レビュー] Sur l'holonomie de D-modules arithmétiques associés à des F-isocristaux surconvergents sur des courbes lisses

Christine Huyghe, Fabien Trihan|ArXiv.org|May 3, 2007

Algebraic Geometry and Number Theory参考文献 18被引用数 3

ひとこと要約

この論文は、滑らかな曲線上の過収束 $F$-等長体に付随する算術 $π$-加群がホロノミックであることを示す新しい証明を提供する。ユニポテンツ $F$-等長体が対数的 $F$-等長体から生じることと、Matasuda-Trihan の半安定還元を用いた $p$-進モノドロミー定理を組み合わせることで、一般の過収束 $F$-等長体に対しホロノミック性を確立し、滑らかな曲線上における Grothendieck の六操作に関して算術 $π$-加群の安定性を完成させる。

ABSTRACT

We show that the arithmetic D-module associated to an overconvergent F-isocrystal over a smooth curve is holonomic. We first prove that unipotent F-isocrystals are holonomic D-module by using the fact that such F-isocrystals come from logarithmic F-isocrystals. We deduce the general case from the semi-stable theorem for F-isocrystals over curves of Matsuda-Trihan which relies on the p-adic monodromy theorem independently proved by André, Kedlaya and Mebkhout. The main result has already been proved by D. Caro.

研究の動機と目的

• 滑らかな曲線上の過収束 $F$-等長体に付随する算術 $π$-加群のホロノミック性に関する Caro の結果に対する代替的証明を提供すること。
• 過収束 $F$-等長体の Berthelot の特徴付けに依存しないようにし、代わりに対数的構造とユニポテンツ $F$-等長体を用いること。
• 曲線上の $F$-等長体に対する Matsuda-Trihan の半安定還元定理を適用することで、ホロノミック性の一般ケースを確立すること。
• 滑らかな曲線上における算術 $π$-加群が Grothendieck の六操作に関して安定であるという証明を完成させ、予想 A と D を確認すること。

提案手法

• 対数的 $F$-等長体から生じるユニポテンツ $F$-等長体が自然にフロベニウス構造を持つことを利用して、それらがホロノミック $π$-加群であることを示す。
• André, Kedlaya, Mebkhout によって独立に証明された $p$-進モノドロミー定理を基盤とする道具として用いる。
• 曲線上の $F$-等長体に対する Matsuda-Trihan の半安定還元定理を適用し、一般ケースをユニポテンツケースに還元する。
• 一様過収束 $π$-加群の文脈でトレース準同型を構成し、Étale 同型の Tsuzuki の結果を一般化する。
• Berthelot による過収束 $F$-等長体のグローバルおよびローカル特徴付けを用いて、予想 D を検証し、これにより予想 A を示す。
• フロベニウス構造を備えた対数的スキームの形式的設定において、$π$-加群および形式的スキーム上の過収束微分作用素を用いる。

実験結果

リサーチクエスチョン

• RQ1 滑らかな曲線上の過収束 $F$-等長体に付随する算術 $π$-加群は常にホロノミックか？
• RQ2 過収束 $F$-等長体の Berthelot の特徴付けに依存せずに、そのホロノミック性を確立できるか？
• RQ3 曲線上の $F$-等長体に対する Matsuda-Trihan の半安定還元定理は、それらに付随する $π$-加群のホロノミック性を示唆するか？
• RQ4 対数的 $F$-等長体におけるフロベニウス構造は、従来の手法と比較してホロノミック性の証明をどのように簡略化するか？
• RQ5 過収束 $F$-等長体に関する Berthelot の予想 D は、局所的およびグローバル特徴付けを用いて検証可能であり、これにより Grothendieck の六操作に関して $π$-加群の安定性が完成するか？

主な発見

• 滑らかな曲線上の任意の過収束 $F$-等長体に付随する算術 $π$-加群はホロノミックである。
• ユニポテンツ $F$-等長体は、対数的 $F$-等長体からの持ち上げによってホロノミック $π$-加群であることが示された。
• 一般ケースのホロノミック性は、$p$-進モノドロミー定理に依存する Matsuda-Trihan の半安定還元定理から導かれる。
• 証明は Berthelot の過収束 $F$-等長体の特徴付けに依存せず、より構造的な新しい手法を提供する。
• 過収束 $F$-等長体のグローバルおよびローカル特徴付けを用いて、Berthelot の予想 D が検証され、$π$-加群の安定性の証明が完成した。
• この結果により、滑らかな曲線上の有界ホロノミック算術 $π$-加群の圏が Grothendieck の六操作に関して安定であることが確認された。