[論文レビュー] p-adic monodromy of the universal deformation of an elementary Barsotti-Tate group

Yichao Tian|arXiv (Cornell University)|Aug 15, 2007

Advanced Algebra and Geometry被引用数 2

ひとこと要約

この論文は、特徴値 $ p > 0 $ の代数的に閉じた体上の連結で HW-巡回なバラソッティ＝テイト群の普遍変形の通常部分集合の基本群の $ p $-進モノドロミー表現が、テートモジュール上で全射であることを証明する。この結果は、すべての1次元連結群を含む、より広いクラスの $ p $-可除群へイグザの定理を一般化する。

ABSTRACT

Let k be an algebraically closed field of characteristic $p>0$, and $G_0$ be a Barsotti-Tate group (or $p$-divisible group) over k. We denote by $S$ the algebraic local moduli in characteristic p of $G_0$, by $G$ the universal deformation of $G_0$ over $S$, and by $U\subset S$ the ordinary locus of $G$. The etale part of $G$ over $U$ gives rise to a monodromy representation $ ho$ of the fundamental group of $U$ on the Tate module of $G$. Motivated by a famous theorem of Igusa, we prove in this article that $ ho$ is surjective if $G_0$ is connected and HW-cyclic. This latter condition is equivalent to that Oort's $a$-number of $G_0$ equals 1, and it is satisfied by all connected one-dimensional Barsotti-Tate groups over $k$.

研究の動機と目的

• 通常でない場合を含む、より広いクラスの $ p $-可除群へ、モノドロミー全射性に関するイグザの定理を拡張すること。
• バラソッティ＝テイト群の通常部分集合における普遍変形のエタール部分から生じるモノドロミー表現を調査すること。
• テートモジュール上のモノドロミー表現が全射となる条件を特定すること、特に HW-巡回性条件に注目すること。
• モノドロミー行動とバラソッティ＝テイト群の $ a $-数、特に $ a = 1 $ の場合との関係を明らかにすること。
• 正の特性における $ p $-可除群の算術的モノドロミーの基礎的結果を提供すること。

提案手法

• 特徴値 $ p $ の下でバラソッティ＝テイト群 $ G_0 $ の代数的局所モジュライ空間 $ S $ を構成し、その変形をパラメトライズする。
• $ S $ 内の通常部分集合として $ U o S $ を定義し、$ G_0 $ の変形 $ G $ が通常になる部分を表す。
• $ G $ のエタール部分を $ U $ 上で研究し、これにより基本群のガロア表現 $ ho $ が $ G $ のテートモジュール上に生じる。
• $ G_0 $ が連結で HW-巡回であること（Oort の $ a $-数が 1 に等しいことと同値）を条件として、モノドロミー表現の構造を分析する。
• $ p $-進ホッジ理論と変形理論の技法を用いて、モジュライ空間の幾何と普遍変形の構造を活用し、$ ho $ の全射性を導出する。
• テートモジュール上の作用を分析し、普遍族の $ p $-進モノドロミーと関連付けることで、$ ho $ の全射性を確立する。

実験結果

リサーチクエスチョン

• RQ1 バラソッティ＝テイト群の普遍変形の通常部分集合の基本群の $ p $-進モノドロミー表現が、どのような条件下で全射になるか？
• RQ2 バラソッティ＝テイト群の HW-巡回性条件は、そのモノドロミー表現の全射性とどのように関係するか？
• RQ3 イグザの古典的結果であるモノドロミー全射性は、通常でない連結な $ p $-可除群へどの程度まで拡張可能か？
• RQ4 $ a $-数は、普遍変形のモノドロミー行動を決定づける役割を果たすか？
• RQ5 特徴値 $ p $ の下で1次元連結なバラソッティ＝テイト群のテートモジュール上のモノドロミー表現は、完全に記述可能か？

主な発見

• $ G_0 $ が連結で HW-巡回であるとき、通常部分集合 $ U $ の基本群のテートモジュール上でのモノドロミー表現 $ ho $ は全射である。
• $ G_0 $ が HW-巡回であることと、Oort の $ a $-数が 1 に等しいことは同値であり、これは $ k $ 上のすべての連結1次元バラソッティ＝テイト群に成り立つ。
• $ ho $ の全射性は、モジュライ空間 $ S $ 及びその通常部分集合 $ U $ 上での普遍変形の幾何的解析を通じて確立された。
• この結果は、通常の場合に限らない、より広いクラスの $ p $-可除群へのイグザの定理の一般化である。
• 与えられた条件下で、テートモジュール上のモノドロミー作用は、変形空間における完全なガロア対称性を捉えている。
• この構成は、正の特性における $ p $-進ホッジ理論および $ p $-可除群のモジュライの文脈でモノドロミーを統一的に研究するためのフレームワークを提供する。