[论文解读] The Nash problem on arcs for surface singularities

Marcel Moralès|arXiv (Cornell University)|Sep 22, 2006

Advanced Topics in Algebra参考文献 9被引用 7

一句话总结

该论文通过引入数值Nash条件（NN_{(i,j)}）解决了正规曲面奇点上的Nash弧问题，该条件确保了从弧空间的不可约分支到例外除子的Nash映射是单射。证明了至少一半的分支对满足这些条件，并识别出一类称为Nash矩阵的交集矩阵，使得Nash映射为双射，从而通过仅基于解析图矩阵的纯数值准则，在更广泛的新情形下确立了满射性。

ABSTRACT

Let $(X,O)$ be a germ of a normal surface singularity, $π: ilde X\longrightarrow X$ be the minimal resolution of singularities and let $A=(a_{i,j})$ be the $n imes n$ symmetrical intersection matrix of the exceptional set of $ ilde X$. In an old preprint Nash proves that the set of arcs on a surface singularity is a scheme ${\cal H}$, and defines a map ${\cal N}$ from the set of irreducible components of ${\cal H}$ to the set of exceptional components of the minimal resolution of singularities of $(X,O)$. He proved that this map is injective and ask if it is surjective. In this paper we consider the canonical decomposition ${\cal H}=\cup_{i=1}^n \bar{\cal N}_i$: o For any couple $(E_i,E_j)$ of distinct exceptional components, we define Numerical Nash condition $(NN_{(i,j)})$. We have that $(NN_{(i,j)})$ implies $\bar{\cal N}_{i} ot\subset \bar{\cal N}_{j} $. In this paper we prove that $(NN_{(i,j)})$ is always true for at least the half of couples $(i,j)$. o The condition $(NN_{(i,j)})$ is true for all couples $(i,j)$ with $i ot=j$, characterizes a certain class of negative definite matrices, that we call Nash matrices. If $A$ is a Nash matrix then the Nash map ${\cal N}$ is bijective. In particular our results depends only on $A$ and not on the topological type of the exceptional set. o We recover and improve considerably almost all results known on this topic and our proofs are new and elementary. o We give infinitely many other classes of singularities where Nash Conjecture is true. The proofs are based on my old work \cite{M} and in Plenat \cite{P}.

研究动机与目标

• 通过确定从弧分支到例外除子的Nash映射何时为满射，解决正规曲面奇点上的Nash弧问题。
• 基于解析图的交集矩阵，刻画Nash映射为双射的曲面奇点类别。
• 提供一种纯数值准则——“Nash矩阵”——以确定Nash映射的双射性，而无需依赖拓扑类型。
• 通过初等且自包含的证明，推广并改进了该领域先前的结果。

提出的方法

• 为例外分支对引入数值Nash条件（NN_{(i,j)}），确保一个Nash分支的闭包不被另一个包含。
• 利用弧空间 H = ∪i N̄i 的典范分解，其中不可约分支与例外除子 Ei 相关联。
• 应用早期工作（Morales [7]，Plenat [9]）的结果，推导出一个准则：若存在 f ∈ O_{X,O} 使得 ord_Ei(f) < ord_Ej(f)，则 N̄i ⊄ N̄j。
• 证明：若对所有 i 都有 −E·Ei ≥ 2K·Ei，则理想层 Q = π*O_{X̃}(−E) 是全局生成的。
• 将Nash矩阵定义为满足所有 i ≠ j 的 (NN_{(i,j)}) 的负定对称交集矩阵，并证明此类矩阵可保证Nash映射的双射性。
• 利用邻接公式和例外曲线的亏格约束，推导出涉及典范除子与自交数的不等式。

实验结果

研究问题

• RQ1 在交集矩阵 A 满足何种条件时，从弧分支到例外除子的Nash映射是双射？
• RQ2 Nash映射的满射性能否完全由交集矩阵决定，而独立于解析图的拓扑类型？
• RQ3 对于多少对例外分支 (i,j)，可以避免包含关系 N̄i ⊂ N̄j，从而确保分支的互异性？
• RQ4 哪类负定矩阵恰好对应于Nash映射为双射的奇点？

主要发现

• 对于所有满足 i ≠ j 的分支对，至少有一半满足数值Nash条件（NN_{(i,j)}），从而保证这些对中 N̄i ⊄ N̄j。
• 一个负定对称矩阵 A 是Nash矩阵，当且仅当对所有 i ≠ j 都满足 (NN_{(i,j)})，且对这样的矩阵，Nash映射为双射。
• Nash映射的双射性仅依赖于交集矩阵 A，而与解析图的拓扑类型无关。
• 本文通过初等且自包含的论证，恢复并改进了所有先前已知的Nash问题结果。
• 识别出无穷多类新的曲面奇点，使得Nash猜想成立，包括 E8 及某些星形图结构的例子。
• 通过显式矩阵与实例（如 E8、满足与不满足条件 (NN) 的星形图）展示了该准则的适用性与局限性。