[论文解读] Formal and rigid geometry: an intuitive introduction, and some applications

Johannes Nicaise|arXiv (Cornell University)|Jan 19, 2007

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文提供了形式几何与严格几何的直观导论，强调其在连接非阿基米德域上的代数几何与算术几何及奇点理论中的作用。文章解释了形式概形如何捕捉无穷小结构，以及严格几何如何在非阿基米德设定下实现解析技术，重点应用包括塞巴格与作者工作的米尔诺纤维化与动机zeta函数。

ABSTRACT

We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author.

研究动机与目标

• 为代数几何与算术几何领域的研究人员提供形式与严格几何的观念性且易于理解的概述。
• 阐明形式概形、其通用纤维（严格簇）与剩余域上的特殊纤维之间的关系。
• 通过米尔诺纤维化与动机zeta函数，阐明这些工具在研究奇点中的应用动机。
• 说明严格几何如何在非阿基米德设定下实现拓扑技术，克服经典格罗滕迪克拓扑的局限性。
• 将抽象的形式与严格结构与伽罗瓦理论及曲线的半稳定约化等具体应用联系起来。

提出的方法

• 使用完备离散赋值环 $ R $ 上的形式概形 $ \widehat{X} $ 来编码关于 $ k $ 的特殊纤维 $ X_0 $ 及其无穷小邻域。
• 通过将统一参数 $ \pi $ 逆过来，构造形式概形 $ \widehat{X} $ 的通用纤维 $ X_\eta $，从而得到 $ K $ 上的严格解析空间。
• 应用贝克维奇的谱理论于严格几何，为解析空间引入真正的拓扑，从而可应用经典代数拓扑技术。
• 利用从严格空间到其在 $ \widetilde{L} $ 上的典范约化之间的约化映射，将形式纤维识别为检测奇点的关键工具。
• 在严格解析曲线的仿射开覆盖上使用粘贴技术，通过粘合典范约化构造半稳定模型。
• 应用GAGA型定理，将严格解析覆盖代数化为代数的 étale 覆盖，从而在非阿基米德域上构造伽罗瓦扩张。

实验结果

研究问题

• RQ1 在算术几何中，$ R $ 上的形式概形如何统一特殊纤维及其无穷小邻域？
• RQ2 严格几何在非阿基米德解析几何中，相较于经典格罗滕迪克拓扑，如何提供更几何化的框架？
• RQ3 严格空间在典范约化中一个闭点上的形式纤维如何检测光滑性或普通二重点等几何性质？
• RQ4 $ R' $-截面（$ R $ 的有限扩张 $ R' $）在形式概形的通用纤维与特殊纤维之间起到什么作用？
• RQ5 在严格几何中，如何使用粘贴技术构造曲线与伽罗瓦覆盖的半稳定模型？

主要发现

• 形式概形 $ \widehat{X} $ 的通用纤维 $ X_\eta $ 是 $ K $ 上的严格解析空间，其 $ K' $-点与 $ X $ 的 $ R' $-截面一一对应，从而在通用纤维与特殊纤维之间建立了自然联系。
• 仿射开域 $ U $ 的典范约化 $ \widetilde{U} $ 上的闭点 $ x $ 是光滑的，当且仅当其形式纤维同构于半径为 1 的开圆盘。
• 通过寻找 $ C^{an} $ 的有限可接受覆盖 $ \mathfrak{U} $，使得典范约化 $ \widetilde{U} $ 为半稳定且可粘合，从而实现了曲线 $ C $ 过 $ L $ 的半稳定模型的构造。
• 利用严格几何，可构造严格解析曲线的 étale 覆盖，并通过 GAGA 定理将其代数化，从而在基域上得到代数的 étale 覆盖。
• 通过严格几何实现了阿布扬卡的猜想：有限群 $ G $ 可作为 $ \mathbb{P}^1_k $ 上的伽罗瓦群实现，且在 $ \infty $ 外无分支，当且仅当 $ G $ 由 $ p $-幂阶元素生成。
• 哈巴特尔定理在严格设定中得以实现：对任意有限群 $ G $，存在一个伽罗瓦覆盖 $ X \to \mathbb{P}^1_L $，使得 $ X $ 光滑、射影且绝对不可约，且在某个 $ L $-有理点处无分支。