[论文解读] The convergence Newton polygon of a $p$-adic differential equation V : local index theorems

Jérôme Poineau, Andréa Pulita|arXiv (Cornell University)|Sep 16, 2013

Algebraic Geometry and Number Theory参考文献 44被引用 7

一句话总结

本文建立了在拟光滑Berkovich曲线上$p$-进微分方程的de Rham上同调的局部与整体指标定理，证明了有限维性的判别准则，并推导出一个Grothendieck-Ogg-Shafarevich公式，该公式将指标与欧拉示性数及通过收敛半径斜率定义的全局不规则性不变量相联系。此外，还证明了收敛Newton多边形的偏高度的超调和性。

ABSTRACT

In this paper and its sequel we consider locally-free $\mathscr{O}_X$-modules together with a connection over a quasi-smooth Berkovich curve $X$. We obtain necessary and sufficient conditions for the finite dimensionality of their de Rham cohomology over local domains such as disks and annuli. We deal with both analytic and meromorphic connections and we derive index formulas relating the index to the behavior of the radii of convergence of their solutions at the boundary of the curve $X$. We introduce the notion of absolute local index. We prove that it is an intrinsic notion extending the previous notions of Robba's generalized index and that of $p$-adic exponents. This condition arises at the boundary of the curve $X$ and it is an exact condition for the finite dimensionality of the de Rham cohomology. We derive comparison results between formal, meromorphic and analytic de Rham cohomologies.

研究动机与目标

• 建立确保在拟光滑Berkovich曲线上$p$-进微分方程的de Rham上同调有限维性的局部与整体判别准则。
• 制定一个全局Grothendieck-Ogg-Shafarevich公式，将微分方程的指标与曲线的欧拉示性数及其几何不变量相联系。
• 定义并分析$p$-进微分方程的收敛Newton多边形，特别是其沿骨架$\Gamma_S$的偏高度。
• 证明收敛Newton多边形的偏高度的超调和性，扩展了已知的$p$-进上同调设定下的结果。

提出的方法

• 以Berkovich曲线上每点处Taylor解的收敛半径作为核心解析不变量。
• 引入一个位于曲线内的控制图$\Gamma_S(\mathscr{F})$，通过伪三角剖分$S$定义，用于捕捉收敛半径变化的位置，且该图是局部有限且连通的。
• 从收敛半径的斜率构造收敛Newton多边形，特别关注骨架$\Gamma_S$上的偏高度。
• 应用Berkovich几何与normoid Fréchet空间的技术，确保对截面与联络的拓扑与解析控制。
• 利用谱序列与仿射开覆盖上的逆极限分析上同调有限性及限制的相容性。
• 运用Banach空间与压缩映射理论，定义并比较层及其联络上的normoid Fréchet结构。

实验结果

研究问题

• RQ1 在何种条件下，拟光滑Berkovich曲线上$p$-进微分方程的de Rham上同调是有限维的？
• RQ2 如何将微分方程的指标与曲线的欧拉示性数及其几何不变量进行全局关联？
• RQ3 收敛Newton多边形在编码$p$-进微分方程不规则性方面起什么作用？
• RQ4 在几何与解析约束下，收敛Newton多边形的偏高度如何表现？
• RQ5 能否在$p$-进设定下建立Newton多边形偏高度的超调和性？

主要发现

• 局部自由$\mathscr{O}_X$-模带联络的de Rham上同调是有限维的，当且仅当控制图$\Gamma_S(\mathscr{F})$是局部有限的。
• 建立了全局Grothendieck-Ogg-Shafarevich公式，将$\mathscr{F}$的指标表达为$X$的欧拉示性数加上由全局收敛半径斜率定义的不规则性之和。
• $\mathscr{F}$的收敛Newton多边形的偏高度是骨架$\Gamma_S$上的超调和函数。
• $\mathscr{F}$的收敛半径是Berkovich曲线$X$上的连续函数，且控制图$\Gamma_S(\mathscr{F})$是一个局部有限且连通的图。
• $\mathscr{F}(X)$与$\mathscr{F}'(X)$上的normoid Fréchet结构与递减仿射邻域上的逆极限相容，确保了拓扑一致性。
• 截面上的限制映射在normoid Fréchet空间范畴中诱导同构，且联络$\nabla_X$是$K$-线性压缩映射。