[论文解读] Continuity of the radius of convergence of p-adic differential equations on Berkovich analytic spaces

Francesco Baldassarri, Lucia Di Vizio|ArXiv.org|Sep 13, 2007

advanced mathematical theories参考文献 5被引用 9

一句话总结

本文建立了 p-进微分方程在 Berkovich 解析空间上的收敛半径的连续性，特别是通过 Dwork-Robba 理论与赋值折线分析，证明了收敛半径函数在极大点处连续且上半连续。该关键结果将经典的 p-进微分方程理论推广至解析几何中的非刚性点。

ABSTRACT

We consider a vector bundle with integrable connection (\cE, a) on an analytic domain U in the generic fiber \cX_η of a smooth formal p-adic scheme \cX, in the sense of Berkovich. We define the \emph{diameter} δ_{\cX}(ξ,U) of U at ξ\in U, the \emph{radius} ρ_{\cX}(ξ) of the point ξ\in\cX_η, the \emph{radius of convergence} of solutions of (\cE, a) at ξ, R(ξ) = R_{\cX}(ξ, U,(\cE, a)). We discuss (semi-) continuity of these functions with respect to the Berkovich topology. In particular, under we prove under certain assumptions that δ_{\cX}(ξ,U), ρ_{\cX}(ξ) and R_ξ(U,\cE, a) are upper semicontinuous functions of ξ; for Laurent domains in the affine space, δ_{\cX}(-,U) is continuous. In the classical case of an affinoid domain U of the analytic affine line, R is a continuous function.

研究动机与目标

• 研究 p-进微分方程在 Berkovich 解析空间中非刚性点处的收敛半径行为。
• 解决经典 Cauchy 存在性定理在非 k-有理点处失效的问题。
• 建立收敛半径函数在整个解析域上的连续性性质，尤其关注极大点附近的行为。
• 将 Dwork-Robba 定理推广至高维 Berkovich 空间，并证明收敛半径函数的上半连续性。
• 通过传递定理与赋值折线技术，证明收敛半径在极大点（如 Gauss 点）处连续。

提出的方法

• 利用 p-进域整数环上光滑形式概形的正式模型，定义局部收敛半径。
• 应用 Dwork-Robba 定理，推导 p-进微分系统解的全局增长估计。
• 运用多变量解析函数的赋值折线理论，分析收敛行为。
• 引入点处区域的直径概念，并将其与最大收敛半径相关联。
• 利用收敛半径函数的上半连续性，并通过趋近 Gauss 点的序列极限论证，证明其在极大点处的连续性。
• 依赖基扩张 $ X \widehat{\otimes} \mathscr{H}(\xi) $ 中的典范点 $\xi'$，局部恢复 Cauchy 型收敛性。

实验结果

研究问题

• RQ1 p-进微分系统在 Berkovich 解析空间中作为点 $\xi$ 的函数，其收敛半径是否连续？
• RQ2 在非 k-有理点，特别是圆盘的极大点（Gauss 点）处，收敛半径如何表现？
• RQ3 Dwork-Robba 定理关于收敛半径的结果能否推广至高维解析域？
• RQ4 多变量解析函数的赋值折线在确定 p-进微分方程收敛半径方面起什么作用？
• RQ5 在 Berkovich 拓扑下，收敛半径在基变换或 étale 拉回下在多大程度上保持不变？

主要发现

• 收敛半径 $ R(\xi, \Sigma) $ 作为 $ \xi \in X $ 的函数是上半连续的，其中 $ X $ 为 Berkovich 解析空间。
• 在极大点（如 Gauss 点 $ \eta_X $）处，映射 $ \xi \mapsto R(\xi, \Sigma) $ 是连续的，此结论由 Dwork 的传递定理所支持。
• 对于一维仿射域 $ U \subset D(0,1^+) $，函数 $ R_{{\mathcal{X}}}(\xi, \Sigma) $ 在 $ U $ 上连续，从而推广了 Christol-Dwork 定理。
• 在 Gauss 点处的收敛半径满足 $ R(\eta_X, \Sigma) = \min(1, \widetilde{R}(\eta_X, \Sigma)) $，其仅依赖于剩余域上系统的性质。
• 通过沿 $ r \to 1^- $ 的点列 $ t_{0,r} $ 的极限论证，建立了 $ \eta_X $ 的仿射邻域上 $ \xi \mapsto R(\xi, \Sigma) $ 的连续性。
• 赋值折线理论可精确控制收敛半径：若 $ \underline{\mu} \in \mathrm{Z}(f) $，则存在具有指定范数的零点，此性质构成连续性证明的基础。