[论文解读] The monodromy of $F$-isocrystals with log-decay

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

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

一句话总结

本文通过高阶分歧群的渐近行为，对几何情境（如Igusa塔）中常见的对数衰减F-等构微分系统提供了伽罗瓦理论解释，将Tsuzuki关于过收敛F-等构微分系统的理论进行拓展。研究结果表明，此类F-等构微分系统对应于具有无限单值但受控对数衰减的表示，通过p进微分方程与刚性解析几何中的收敛性质，推广了有限单值情形的结果。

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-等构微分系统提供伽罗瓦理论解释。
• 通过p进表示中高阶分歧群的渐近性质，刻画F-等构微分系统的单值性。
• 建立微分方程中周期衰减速率与相应伽罗瓦表示分歧结构之间的联系。

提出的方法

• 通过约化至局部域 $ F = k((T)) $ 的绝对伽罗瓦群，使用局部伽罗瓦理论方法。
• 应用 $ \mathcal{E} $ 与 $ \mathcal{E}^\dagger $ 上的 $ (\rho, \nabla) $-模理论，将表示与F-等构微分系统联系起来。
• 通过在环 $ 0 < r < |T|_p < 1 $ 上的收敛性引入对数衰减的概念，推广过收敛性。
• 采用 $ p $-进逼近技术，构造具有 $ K\langle T, T^{-1} \rangle $ 中元素的基，确保与弗罗贝尼乌斯算子和联络的相容性。
• 使用刚性解析空间 $ \mathcal{T}_x^{an} $ 及其函数环 $ R_x $ 来定义局部F-等构微分系统，并将其与 $ \mathcal{E}_{T_x}^r $ 联系起来。
• 应用引理7.3，构造矩阵 $ B \in GL_n(\mathcal{O}_K[[T]][T^{-1}, p^{-1}]) $，使得 $ BL $ 的元素属于 $ K\langle T, T^{-1} \rangle $，从而确保收敛性与相容性。

实验结果

研究问题

• RQ1 如何以伽罗瓦理论语言刻画具有对数衰减的F-等构微分系统的单值性？
• RQ2 在 $ p $-进微分方程中，周期的衰减速率与对应伽罗瓦表示的分歧结构之间的确切关系是什么？
• RQ3 过收敛F-等构微分系统理论能否扩展至包含具有无限单值的几何出现的F-等构微分系统？
• RQ4 高阶分歧群在控制F-等构微分系统在奇点处的收敛性与衰减性质方面起什么作用？

主要发现

• 具有对数衰减的F-等构微分系统对应于具有无限单值但受控分歧的 $ p $-进伽罗瓦表示，推广了Tsuzuki的有限单值结果。
• 当单值为无限时，周期矩阵 $ A $ 的元素表现出对数衰减（慢于线性衰减），与过收敛情形下的线性衰减形成对比。
• 存在一个定义在 $ \mathcal{E}_{T_x}^r \cap R_x $ 上的 $ F $-等构微分系统，经过基变换后与局部 $ F $-等构微分系统 $ M_x $ 同构，确保与弗罗贝尼乌斯算子和联络的相容性。
• 构造矩阵 $ B \in GL_n(\mathcal{O}_K[[T]][T^{-1}, p^{-1}]) $，使得 $ BL $ 的元素属于 $ K\langle T, T^{-1} \rangle $，确保 $ F $-等构微分系统结构定义在公共子环上，从而证明局部同构性。
• 逐次 $ p $-进逼近方法允许将模 $ p^n $ 的解提升为收敛的 $ p $-进幂级数，从而证明在 $ R_x $ 上存在相容基。