[論文レビュー] Constancy of Newton polygons of $F$-isocrystals on Abelian varieties and isotriviality of families of curves

Nobuo Tsuzuki|arXiv (Cornell University)|Apr 4, 2017

Algebraic Geometry and Number Theory参考文献 25被引用数 6

ひとこと要約

この論文は、有限体上のアーベル多様体上のすべての収束的 $F$-イソクリスタルに対して、ニュートン多角形の定数性を証明し、$F$-イソクリスタルの幾何と曲線の族の等質性の間に深い関係を確立する。主な結果は、このような族がアーベル多様体上では等質的でなければならないことを示しており、既知の $p$-進モノドロミーおよび $F$-イソクリスタル不変量に関する結果を一般化する。

ABSTRACT

We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.

研究の動機と目的

• 有限体上のアーベル多様体上のすべての収束的 $F$-イソクリスタルに対して、ニュートン多角形の定数性を確立すること。
• ニュートン多角形の定数性を用いて、アーベル多様体上の射影的で滑らかな曲線族の等質性を証明すること。
• すべての収束的 $F$-イソクリスタルが定数ニュートン多角形を持つような多様体を分類すること。
• エタール基本群と定数 $F$-イソクリスタルの圏との関係を調査すること。
• 正の特性における $p$-進モノドロミーおよび $F$-イソクリスタル不変量の理解を拡張すること。

提案手法

• 固定されたフロベニウス上昇 $\sigma$ を持つ有限体上のスキームにおける収束的 $F$-イソクリスタルの理論を用いる。
• デュドネ＝マニン分類を適用して、各点 $x$ における $F$-空間 $i_{\overline{x}}^*\mathcal{M}$ を用いてニュートン多角形 $\mathrm{NP}(\mathcal{M},x)$ を定義する。
• $p$-進ガロア表現とユニットルート $F$-イソクリスタルの間のカツ＝クル理論を適用し、$\pi_1^{\mathrm{et}}(X_{\overline{k}})$-不変量と $F$-イソクリスタル構造を関係付ける。
• $p$-進完備化とガロア降下を用いて、$\mathcal{M}$ のコホモロジー的データから $\pi_1^{\mathrm{et}}(X)$ の $K_\sigma$-表現 $V(\mathcal{M})$ を構成する。
• 形式的スキーム $\mathrm{Spf}\,A_n$ 上での極限構成を適用し、$V^0(\mathcal{M})$ を完備コホモロジー上の $1 - \Phi \otimes \widehat{\varphi}$ の核として定義する。
• $V(\mathcal{M}) \cong V^0(\mathcal{M})$ であるという事実を用いて、$V(\mathcal{M})$ 内の自明表現が $\mathcal{M}$ 内の自明な部分対象に引き上げられることを示し、Lemma A.7 および局所環 $A_x[1/p]$ の構造を用いる。

実験結果

リサーチクエスチョン

• RQ1 多様体上のすべての $F$-イソクリスタルに対してニュートン多角形が定数であるならば、その上での曲線族の等質性が保証されるか？
• RQ2 アーベル多様体上の有限体上での、ニュートン多角形が定数である $F$-イソクリスタルの圏は、全圏 $F\mbox{-}\mathrm{Isoc}(X/K)$ に一致するか？
• RQ3 エタール基本群 $\pi_1^{\mathrm{et}}(X_{\overline{k}})$ は、$X$ 上の $F$-イソクリスタルの構造から特定可能か？
• RQ4 非定数ニュートン多角形をもつ非等質的曲線族が、アーベル多様体上に存在するか？
• RQ5 どのような条件下で、すべての収束的 $F$-イソクリスタルが定数ニュートン多角形を持つ多様体が保証されるか？

主な発見

• 有限体上のアーベル多様体上の任意の収束的 $F$-イソクリスタルのニュートン多角形は、すべての幾何的点で定数である。
• 有限体上のアーベル多様体上の射影的で滑らかな曲線族は、すべて等質的である。すなわち、有限次拡張による基底変更の後、定数になる。
• ニュートン多角形が定数である $F$-イソクリスタルの圏は、アーベル多様体上の有限体上では全圏 $F\mbox{-}\mathrm{Isoc}(X/K)$ と一致する。
• $V(\mathcal{M})$ 内に自明な $\pi_1^{\mathrm{et}}$-表現が存在するならば、Lemma A.7 を通じて $\mathcal{M}$ 内に自明なユニットルート部分対象が存在する。
• 完備コホモロジー上の $1 - \Phi \otimes \widehat{\varphi}$ の核として定義される $V^0(\mathcal{M})$ の構成により、$V(\mathcal{M})$ に同型な $K_\sigma$-表現が得られ、クル理論との整合性が確認される。
• $A[1/p] = \bigcap_x A_x[1/p]$ が余次元1の点 $x$ に対して成り立つことから、$V_0 \subset M \otimes_{A[1/p]} A_x[1/p]$ ならば $V_0 \subset M$ が成り立つ。これにより、自明表現の降下が可能になる。