[论文解读] The Nash problem of arcs and the rational double point $\mathbf{E_6}$

Camille Plénat, Mark Spivakovsky|arXiv (Cornell University)|Nov 10, 2010

Algebraic Geometry and Number Theory参考文献 14被引用 3

一句话总结

本文为有理双 singularity $\mathbf{E_6}$ 的 Nash 问题提供了完整解法，证明了奇点上弧族的数量等于其最小解析解中例外除子的不可约分支数。作者通过使用赋值准则并结合喷射空间与楔方程的详细代数分析，建立了一般性策略，成功解决了 $\mathbf{E_6}$ 所需的所有非包含关系。

ABSTRACT

This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the exceptional divisor in the minimal resolution of this singularity. We propose a program for an affirmative solution of the Nash problem in the case of normal 2-dimensional hypersurface singularities. We illustrate this program by giving an affirmative solution of the Nash problem for the rational double point $\mathbf{E_6}$. We also prove some results on the algebraic structure of the space of $k$-jets of an arbitrary hypersurface singularity and apply them to the specific case of $\mathbf{E_6}$.

研究动机与目标

• 为有理双 singularity $\mathbf{E_6}$ 正确解答 Nash 问题，即验证弧族数量是否等于例外除子分支数。
• 开发一种适用于正规二维超曲面奇点的一般性程序，结合代数与赋值技术。
• 证明弧空间的不可约分支恰好为每个例外除子 $E_i$ 对应的闭包 $\overline{N_i}$。
• 将解法扩展至通过增加 $\mathbf{E_6}$ 的对偶图自交权重而导出的奇点。

提出的方法

• 应用赋值准则：若存在 $f \in \mathcal{O}_{S,0}$ 使得 $\mathrm{ord}_{E_i}(f) < \mathrm{ord}_{E_j}(f)$，则 $\overline{N_i} \not\subset \overline{N_j}$。
• 利用 Lipman 锥体识别具有不同重数的整数值循环，确保每对除子间至少存在一个非包含关系。
• 分析奇点的 $k$-阶喷射的代数结构，通过喷射簇与楔方程研究弧分支。
• 从 $\mathbf{E_6}$ 奇点的定义方程出发，构造并求解参数化形式下的楔方程组。
• 使用计算代数工具（如 XMaple）分析楔系统的一致性，并在假设违反非包含条件时导出矛盾。
• 通过反证法系统性地排除所有 $\overline{N_i} \subset \overline{N_j}$ 的可能情形，证明在这些假设下不存在一致解。

实验结果

研究问题

• RQ1 从弧族到 $\mathbf{E_6}$ 奇点最小解析解的例外除子的 Nash 映射是否仍为满射？
• RQ2 在 $\mathbf{E_6}$ 情形下，是否可对所有 $i \neq j$ 成立非包含关系 $\overline{N_i} \not\subset \overline{N_j}$？
• RQ3 基于赋值准则与喷射空间分析的一般性策略是否足以解决 $\mathbf{E_6}$ 的 Nash 问题？
• RQ4 能否将 $\mathbf{E_6}$ 的解法推广至对偶图经修改（如增加自交数）的奇点？

主要发现

• 对于有理双 singularity $\mathbf{E_6}$，Nash 问题的答案为肯定，即弧族数量等于例外除子分支数。
• 所有必需的非包含关系 $\overline{N_i} \not\subset \overline{N_j}$（$i \neq j$）均已确立，其中赋值准则解决了其中一半，代数楔分析解决了其余部分。
• 从 $\mathbf{E_6}$ 奇点方程导出的楔方程组在假设 $\overline{N_i} \subset \overline{N_j}$ 时导致矛盾，从而证明此类包含关系不可能成立。
• $\mathbf{E_6}$ 的解法表明，Nash 问题对所有通过对 $\mathbf{E_6}$ 的自交权重增加而得到的对偶图奇点也成立。
• 对 $\mathbf{E_6}$ 奇点的 $k$-阶喷射空间的代数结构进行了详细分析，从而实现了一致弧参数化的构造。