[论文解读] Grinberg-Kazhdan theorem and Newton groupoids

Vladimir Drinfeld|arXiv (Cornell University)|Jan 3, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 4

一句话总结

本文使用牛顿广群——受牛顿法求根启发的几何结构——提供了格林伯格-卡兹丹形式弧定理的特征无关证明。它证明了在概形中，光滑弧的形式邻域可分解为无限维形式圆盘与有限型概形的积，通过广群与李代数丛阐明了其底层几何。

ABSTRACT

We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by introducing the notion of Newton groupoid (which is related to Newton's method for finding roots). Newton groupoids are certain groupoids in the category of schemes associated to any generically etale morphism from a locally complete intersection to a smooth variety.

研究动机与目标

• 提供格林伯格-卡兹丹形式弧定理的新证明，特征无关，将其有效性扩展至特征非零的情形。
• 通过引入牛顿广群——与从局部完整交概形到光滑概形的拟态射相关的概形范畴中的广群——阐明证明背后的几何直觉。
• 证明光滑广群可在概形上实现一般传递作用，为代数群作用提供灵活的替代方案。
• 通过牛顿广群构造建立概形的形式弧空间与基概形几何之间的联系。
• 证明牛顿广群的李代数丛同构于切层的自然子丛，将微分几何与代数几何联系起来。

提出的方法

• 使用魏尔斯特拉斯除法定理（预备引理）参数化形式弧的形变，将问题约化为模参数幂次的方程求解。
• 将牛顿广群定义为与从局部完整交概形到光滑概形的拟态射相关的概形范畴中的广群，通过牛顿法迭代求根方式编码。
• 通过构造弧提升的方程组，结合锚映射与李代数丛结构，在代数几何中应用隐函数定理的思想。
• 利用测试环（具有幂零极大理想的之局部阿廷代数）的构造，描述形式弧空间的点。
• 使用关键公式 (5.10) 定义牛顿广群结构，并通过 fppf 拓扑层理论与单态射论证验证其性质。
• 依赖于牛顿广群的李代数丛与切层子层之间的同构关系，特别是 $\operatorname{Lie}(\Gamma_r) \cong (\varphi^*\Theta_Y)(-r\Delta_X)$，以建立可积性与几何控制。

实验结果

研究问题

• RQ1 如何在不假设域的特征为零的条件下证明格林伯格-卡兹丹形式弧定理？
• RQ2 形式弧在概形中的形式邻域分解背后的几何结构是什么？
• RQ3 牛顿法与迭代逼近技术在代数几何中如何通过广群体现？
• RQ4 李代数丛在理解形式弧的无穷小对称性中起什么作用？
• RQ5 光滑广群能否在概形上实现一般传递作用？这与代数群作用有何不同？

主要发现

• 形式弧 $\gamma_0$ 在概形 $X$ 中的形式邻域 $\mathcal{L}(X)_{\gamma_0}$ 同构于 $D^\infty \times Y_y$，其中 $Y_y$ 是有限型概形 $Y$ 上点 $y$ 的形式邻域，$D^\infty$ 为形式圆盘的无限积。
• 与从局部完整交概形到光滑概形的拟态射相关的牛顿广群 $\Gamma_r$ 是光滑广群，其李代数丛同构于 $ (\varphi^*\Theta_Y)(-r\Delta_X) $，为隐函数定理提供了几何实现。
• 映射 $ \operatorname{Maps}^\circ_N(\mathbb{A}^1, X/\Gamma_r) \to Z_r $ 是单态射，且当 $ r \geq 3 $ 时，其因子分解通过 $ Z'_r $，表明广群捕捉了正确的形变数据。
• 由方程 (5.23) 定义的概形 $W$ 在 $\operatorname{Spec} A/(q)$ 的任意点上的纤维非空且恰有一个点，这是由于 $ q^{-1}Q(x_0,y_0) $ 模 $q$ 可逆。
• 当 $ a \neq 0 $ 时，群概形 $ (\Gamma_r)_z $ 的结构取决于 $ \frac{\partial f}{\partial x}(x_0,y_0) = 0 $ 是否成立，其结构反映了 $X$ 在 $z$ 处的奇点类型。
• 锚映射 $ \tau: \operatorname{Lie}(\Gamma_r) \to \Theta_X $ 是到子层 $ \mathfrak{a}_r = (\varphi^*\Theta_Y)(-r\Delta_X) $ 的同构，确认李代数丛结构具有几何意义。