[论文解读] Swan conductors for p-adic differential modules, II: Global variation

Kiran S. Kedlaya|ArXiv.org|May 1, 2007

Algebraic Geometry and Number Theory参考文献 9被引用 4

一句话总结

本文将微分Swan导子推广至正特征完美域上代数簇的过收敛F-等参微分模，建立了其在曲面上的全局变分性质——特别是次调和性与半连续性。此外，通过伽罗瓦表示将该构造推广至平展ℓ-进层，证明了在基变换下导子的凸性、多面性与整性。

ABSTRACT

Using a local construction from a previous paper, we exhibit a numerical invariant, the differential Swan conductor, for an isocrystal on a variety over a perfect field of positive characteristic overconvergent along a boundary divisor; this leads to an analogous construction for certain p-adic and l-adic representations of the etale fundamental group of a variety. We then demonstrate some variational properties of this definition for overconvergent isocrystals, paying special attention to the case of surfaces.

研究动机与目标

• 为正特征完美域上代数簇的过收敛F-等参微分模定义并研究其微分Swan导子的全局变分性质。
• 通过伽罗瓦表示将导子构造推广至平展ℓ-进层，建立相应的变分性质。
• 分析导子在基变换与分歧下的行为，尤其在曲面与除子赋值的背景下。
• 与复几何建立类比，特别是对全纯微分模的次调和性与半连续性结果。
• 提供Sabbah关于稳定减少背景下Stokes现象与单值性变化工作的p-进类比。

提出的方法

• 利用前期论文中的局部构造，为正特征完美域上代数簇的过收敛F-等参微分模定义微分Swan导子。
• 通过已知机制将伽罗瓦表示转化为F-等参微分模，将导子定义应用于平展ℓ-进层。
• 采用基变换技巧与归纳法，将表示的Swan导子与其诱导表示的导子关联，证明连续性与凸性。
• 应用Hasse-Arf性质，证明导子取值属于值群的离散子群，从而保证整性。
• 运用Berkovich解析几何与赋值理论方法，分析导子作为边界除子函数的性质。
• 通过专门化与管状构造，将全局性质归约为局部性质，尤其在相对环形区域与形式概形的背景下。

实验结果

研究问题

• RQ1 在曲面上过收敛F-等参微分模的背景下，微分Swan导子作为边界除子的函数如何变化？
• RQ2 微分Swan导子的变分性质在多大程度上类似于复几何中的次调和性与半连续性？
• RQ3 微分Swan导子能否推广至平展ℓ-进层？它从F-等参微分模设定中继承了哪些性质？
• RQ4 在具有有限局部单值性的伽罗瓦表示背景下，导子与单值作用之间有何关系？
• RQ5 在有限覆盖的背景下，导子在基变换与表示诱导下的行为如何，尤其在曲面上？

主要发现

• 在相对环形区域设定下，过收敛F-等参微分模的微分Swan导子作为半径参数的函数是连续、凸且整值多面体的。
• 对平展ℓ-进层，导子 $ d!B_i(\tfrac{1}{d}\rho, r) $ 与 $ B_d(\tfrac{1}{d}\rho, r) $ 是连续、凸且整值多面体的，取值于 $ \mathbb{Z} + \mathbb{Z}r_1 + \cdots + \mathbb{Z}r_n $。
• 在 $ r=0 $ 处导子的右斜率，记为 $ \operatorname{Swan}'_Z(\mathcal{E},z) $，对所有但有限多个点 $ z \in Z $ 满足 $ = -\ell(\mathcal{E},Z) $，其中 $ \ell(\mathcal{E},Z) \in \{0,1,\dots,d\} $。
• 总和 $ \sum_{z\in Z} (\operatorname{Swan}'_Z(\mathcal{E},z) + \ell(\mathcal{E},Z)) $ 满足不等式 $ \geq (2-2g(Z))\ell(\mathcal{E},Z) - Z^2 \operatorname{Swan}(\mathcal{E},Z) $，将拓扑不变量与导子行为联系起来。
• 导子满足一个正性条件：$ Z \cdot (\operatorname{Swan}(\mathcal{E}) + \ell(\mathcal{E},Z)(K_{\overline{X}} + D)) \geq 0 $，反映了曲面上的几何约束。
• 导子表现出Thuillier意义下的次调和类似行为，且在某些条件下保持单调性，与André与Deligne的复分析结果相呼应。