[论文解读] Weierstrass preparation theorem and singularities in the space of non-degenerate arcs

Ngô Bảo Châu|arXiv (Cornell University)|Jun 19, 2017

Commutative Algebra and Its Applications参考文献 3被引用 3

一句话总结

本文建立了非退化弧空间在一点处的形式完成的 Weierstrass 型分解，表明其同构于一个有限型概形与一个无限维形式圆盘的乘积。关键贡献在于通过涉及幂零映射与 Weierstrass 型映射的态射图，构造出良好的截面，证明弧空间的局部结构在无限维因子意义下形式同构于有限型模型。

ABSTRACT

We study the Weierstrass preparation and division theorems over arbitrary test rings and the local structure of singularities in the space of nondegenerate arcs on algebraic varieties. As an application, we prove a strengthened version of a theorem of Grinberg-Kazhdan and Drinfeld.

研究动机与目标

• 理解代数几何中非退化弧空间的局部结构。
• 通过 Weierstrass 预备定理，将 Grinberg-Kazhdan-Drinfeld 定理推广至更精细的局部模型。
• 构造弧空间的良好截面，使其在形式完成下为形式等价。
• 通过有限型模型为弧空间上的 perverse sheaves 与交线上同调提供基础。
• 阐明形式模型在有限维扩张下的独立性，支持在弧空间上定义典范函数。

提出的方法

• 使用态射图：$ N_{1,d} \to T_d \to T_d \times \mathbb{A}^\infty \simeq N_{1} \to \mathcal{L}X $，其中 $ T_d $ 是 $ S_{d+1}^{n+1} $ 上的有限型概形。
• 应用 $ \mathrm{nil}_\infty $-拟同构的概念，关联 $ N_0 \to N_1 $，确保在形式完成下为同构。
• 通过沿零截面 $ Q_{d+1} \to S_{d+1}^{n+1} $ 的基变换构造 $ Y_d \subset T_d $，得到一个有限型 $ k $-概形。
• 通过 $ N_0 \to N_1 \to \mathcal{L}X $ 的提升，定义态射 $ \phi(r): Y_d \to \mathcal{L}X $，利用形式等价性。
• 证明 $ Y_d \to T_d $ 在形式完成下为形式等价，因其在沿 $ Q_{d+1} \to S_{d+1}^{n+1} $ 的基变换下保持该性质。
• 建立复合态射 $ \phi(r): Y_d \to \mathcal{L}X $ 在形式完成下为形式等价，意味着 $ \hat{Y}_{y'} \times \hat{D}^\infty \simeq \widehat{\mathcal{L}X}_{x'} \times \hat{D}^\infty $。

实验结果

研究问题

• RQ1 非退化弧空间的局部结构能否在无限维形式圆盘意义下由有限型概形建模？
• RQ2 非退化弧处的弧空间形式完成是否允许 Weierstrass 型分解？
• RQ3 有限型形式模型的选择是否在有限维扩张下独立，从而确保交线上同调函数定义的一致性？
• RQ4 能否构造弧空间的良好截面，使其形式完成与弧空间的形式完成等价？
• RQ5 $ \mathrm{nil}_\infty $-拟同构在关联弧空间的不同模型中起什么作用？

主要发现

• 在非退化弧 $ x' $ 处，弧空间 $ \mathcal{L}X $ 的形式完成同构于 $ \hat{Y}_{y'} \times \hat{D}^\infty $，其中 $ Y_{y'} $ 为某个有限型 $ k $-概形，确立了局部有限型模型。
• 态射 $ \phi(r): Y_d \to \mathcal{L}X $ 在形式完成下为形式等价，即 $ \hat{Y}_{y'} \times \hat{D}^\infty \simeq \widehat{\mathcal{L}X}_{x'} \times \hat{D}^\infty $，证明了良好截面的存在性。
• 通过沿 $ Q_{d+1} \to S_{d+1}^{n+1} $ 的基变换构造 $ Y_d $，得到有限型 $ k $-概形，确保截面为代数且行为良好。
• $ Y_d \to T_d $ 在形式完成下为形式等价，其性质继承自 $ Q_{d+1} \to S_{d+1}^{n+1} $，而后者本身即为形式等价。
• $ N_0 \to N_1 $ 的复合态射为 $ \mathrm{nil}_\infty $-拟同构，诱导形式完成下的同构，从而实现态射的提升。
• 态射 $ \phi_0(r): Y_d \to N_0 $ 在形式完成下为形式等价，且由于 $ N_0 \to \mathcal{L}X $ 为 Weierstrass 型，因此复合态射 $ \phi(r) $ 在形式完成下亦为形式等价。