[論文レビュー] The monodromy of $F$-isocrystals with log-decay

Joe Kramer-Miller|arXiv (Cornell University)|Dec 4, 2016

Advanced Algebra and Geometry参考文献 11被引用数 6

ひとこと要約

本稿は、Tsuzukiの過収束F-イソクリスタル理論を拡張し、Igusa塔のような幾何的文脈でよく見られる対数的減衰を示すF-イソクリスタルのGalois理論的解釈を、高次の分岐群の漸近的挙動を通じて提示する。このようなF-イソクリスタルは、無限大モノドロミーをもつが、制御された対数的減衰を示す表現に対応しており、p進微分方程式およびrigidな解析幾何における収束性の性質を通じて、有限モノドロミーの場合の一般化を確立する。

ABSTRACT

Let U be a smooth geometrically connected affine curve over $\mathbb{F}_p$ with compactification X. Following Dwork and Katz, a $p$-adic representation $ρ$ of $π_1(U)$ corresponds to an étale $F$-isocrystal. By work of Tsuzuki and Crew an $F$-isocrystal is overconvergent precisely when $ρ$ has finite monodromy at each $x \in X-U$. However, in practice most F-isocrystals arising geometrically are not overconvergent and have logarithmic growth at singularities (e.g. characters of the Igusa tower over a modular curve). We give a Galois-theoretic interpretation of these log growth $F$-isocrystals in terms of asymptotic properties of higher ramification groups.

研究の動機と目的

• 過収束性と有限モノドロミーのTsuzukiの同値性を、対数的減衰を示すF-イソクリスタルへ一般化すること。
• 特異点における対数的成長を示すが過収束でない幾何的F-イソクリスタルのGalois理論的解釈を提供すること。
• p進表現の文脈において、高次の分岐群の漸近的性質を通じてF-イソクリスタルのモノドロミーを特徴付けること。
• 微分方程式における周期の減衰率と、対応するGalois表現の分岐構造との間の明確な関係を確立すること。

提案手法

• 局所体 $ F = k((T)) $ の絶対Galois群に還元することで、局所Galois理論的手法を用いる。
• $ \mathcal{E} $ および $ \mathcal{E}^\dagger $ 上の $ (\rho, \nabla) $-加群の理論を適用し、表現とF-イソクリスタルを関連付ける。
• 収束性を用いて、$ 0 < r < |T|_p < 1 $ のアニュラス上で定義される対数的減衰の概念を導入し、過収束性を一般化する。
• $ p $-進近似技法を用いて、$ K\langle T, T^{-1} \rangle $ に値をとる基底を構成し、Frobeniusおよび接続と両立するように保証する。
• $ \mathcal{T}_x^{an} $ というrigidな解析空間とその関数環 $ R_x $ を用い、局所F-イソクリスタルを定義し、$ \mathcal{E}_{T_x}^r $ と関連付ける。
• 補題7.3を適用し、$ BL $ の各成分が $ K\langle T, T^{-1} \rangle $ に属するような行列 $ B \in GL_n(\mathcal{O}_K[[T]][T^{-1}, p^{-1}]) $ を構成することで、収束性と両立性を保証する。

実験結果

リサーチクエスチョン

• RQ1 F-イソクリスタルが対数的減衰を示す場合、そのモノドロミーはGalois理論的言語でどのように特徴付けられるか？
• RQ2 $ p $-進微分方程式における周期の減衰率と、対応するGalois表現の分岐構造との間の明確な関係は何か？
• RQ3 過収束F-イソクリスタルの理論は、無限大モノドロミーを示す幾何的に生じるF-イソクリスタルへ拡張可能か？
• RQ4 高次の分岐群は、特異点におけるF-イソクリスタルの収束性および減衰性を制御するために果たす役割は何か？

主な発見

• 対数的減衰を示すF-イソクリスタルは、無限大モノドロミーをもつが、制御された分岐性を示す$ p $-進Galois表現に対応しており、Tsuzukiの有限モノドロミー結果を一般化する。
• モノドロミーが無限大である場合、周期行列 $ A $ の成分は線形より遅い対数的減衰を示すが、過収束の場合とは対照的である。
• $ \mathcal{E}_{T_x}^r \cap R_x $ 上に定義されたF-イソクリスタルが存在し、基底変換により局所F-イソクリスタル $ M_x $ に同型になることが保証され、Frobeniusおよび接続と両立する。
• $ BL $ の成分が $ K\langle T, T^{-1} \rangle $ に属するような行列 $ B \in GL_n(\mathcal{O}_K[[T]][T^{-1}, p^{-1}}]) $ の構成により、F-イソクリスタル構造が共通部分環上に定義され、局所同型性が証明される。
• $ p $-進逐次近似の手法により、$ p^n $ を法とする解を収束する$ p $-進べき級数に持ち上げることができ、$ R_x $ 上での両立する基底の存在が保証される。