[論文レビュー] Crystalline Chebotarëv density theorems

Urs Hartl, Ambrus Pál|arXiv (Cornell University)|Nov 17, 2018

Algebraic Geometry and Number Theory参考文献 39被引用数 5

ひとこと要約

本稿は、有限体上の曲線における収束的 $F$-isocrystal に対して、Tannakian形式主義を用いて $p$-進版の Chebotar"ev の密度定理を定式化する。直接和の形の等臨界的 $F$-isocrystal および、小さな開部分曲線への引き戻しでアーベル的モノドロミーを持つ半単純過収束的 $F$-isocrystal に対してこの予想を証明し、$p$-進ガロア表現論の基盤的道具を確立する。

ABSTRACT

Using the Tannakian formalism, we formulate conjectural analogs of Chebotarëv's Density Theorem for $F$-isocrystals over a smooth geometrically irreducible variety defined over a finite field. We prove these analogs for several large classes, including (a) constant $F$-isocrystals, (b) direct sums of isoclinic convergent $F$-isocrystals, (c) semi-simple overconvergent $F$-isocrystals, and (d) semi-simple convergent $F$-isocrystals which have an overconvergent extension. Case (a) is a generalization of the Mordell-Lang Conjecture for tori and enters in the proofs of (b) and (c). For (b) we use the classical Chebotarëv Density Theorem, and point counting techniques in $p$-adic Lie groups building on a result of Oesterlé. For (c) we give two proofs. One of them uses deep input on the Langlands correspondence by Abe and Lafforgue, and the theory of Frobenius weights of Kedlaya, Abe and Caro. Building on this we formulate and prove the $p$-adic analog of Deligne's Equidistribution Theorem. Then (c) follows by applying real algebraic geometry to maximal compact subgroups in complex algebraic groups, measure theory, and a convergence result on complex hypersurfaces. For (d) we develop the theory of maximal quasi-tori (generalizing maximal tori in non-connected linear algebraic groups) and use D'Addezio's result on Crew's parabolicity conjecture to reduce to (b). These arguments also yield a second proof of (c). Besides of the deep inputs mentioned above and some Tannakian arguments, our main technique is the theory of linear algebraic groups. We include a comparison with the recent article of Cadoret and Tamagawa on the same topic.

研究の動機と目的

• 有限体上の曲線における $F$-isocrystal に対して、Chebotar"ev の密度定理の $p$-進版を構築すること。
• 収束的 $F$-isocrystal のモノドロミーを理解するための Tannakian フレームワークを確立すること。
• 等臨界的および半単純過収束的 $F$-isocrystal（アーベル的モノドロミーを有する）といった重要なケースにおいて、予想される密度定理を証明すること。
• $p$-進ガロア表現を用いて、通常型のアーベル・多様体の同種性基準を $p$-進的に証明すること。

提案手法

• Tannakian形式主義を用いて、収束的 $F$-isocrystal に対する予想される Chebotar"ev 型密度定理を定式化する。
• Tannakian再構成および群論的技法を用いて、等臨界的 $F$-isocrystal の直和に対してこの予想を証明する。
• 最大準トーラスと測度論的議論を用いて、半単純過収束的 $F$-isocrystal に対して Chebotar"ev の定理の過収束的類似を確立する。
• 弱い Pink の予想および複素線型代数的群の最大コンパクト部分群に関する結果を用いて、モノドロミー群を制御する。
• 非中立的 Tannakian 圏および実代数幾何学の測度論的道具を用いて、共轭類およびその交わりを分析する。
• de Jong の $p$-可除群に関する定理および Dieudonn\'e モジュールに関する結果を活用し、$p$-進と $l$-進の設定を結びつける。

実験結果

リサーチクエスチョン

• RQ1 有限体上の曲線における $F$-isocrystal に対して、$p$-進設定で Chebotar"ev の密度定理を定式化できるか？
• RQ2 収束的 $F$-isocrystal のモノドロミー群が、共轭類の分布によってその同型類を決定するための条件は何か？
• RQ3 Tannakian形式主義により、$l$-進版と同等の $p$-進版の Chebotar"ev の定理を構築できるか？
• RQ4 $F$-isocrystal に課される構造的条件（例：半単純性、過収束性、モノドロミー）は、密度定理の有効性を保証するか？
• RQ5 通常型のアーベル・多様体の同種性は、純粋にその $p$-進ガロア表現によって特徴付けられるか？

主な発見

• 直接和の形の等臨界的 $F$-isocrystal に対して、予想される $p$-進 Chebotar"ev の密度定理が成立し、強いモノドロミー制御が得られる。
• 小さな開部分曲線への引き戻しでアーベル的モノドロミーを持つ半単純過収束的 $F$-isocrystal に対して、Chebotar"ev の定理の過収束的類似を用いてこの定理を証明した。
• 証明は、最大準トーラスの構成および、Tannakian群内の共轭類との交わりの分析に依拠している。
• 重要な技術的道具として、弱いファームな $F$-isocrystal に対する弱い Pink の予想が、適切な条件下で確立された。
• 著者らは、定理 1.1 の $p$-進的証明を提供した：関数体上の2つの通常型のアーベル多様体は、$p$-進ガロア表現 $V_p(A)$ と $V_p(B)$ が同型であるときかつそのときに限り同種である。
• 代数的超曲面およびその $ ho$-近傍に関する測度論的結果が、モノドロミー群内の共轭類の密度を制御するために用いられた。