[论文解读] Exceptional divisors which are not uniruled belong to the image of the Nash map

Monique Lejeune-Jalabert, Ana J. Reguera|ArXiv.org|Nov 14, 2008

Algebraic Geometry and Number Theory参考文献 9被引用 15

一句话总结

本文证明，在特征为零的不可数代数闭域上，任何在奇异簇的解析中出现的不可约例外除子，若其非有理齐次（non-uniruled），则必属于Nash映射的像——即对应于位于奇点处的弧空间的某个不可约分支。该结果将Nash问题约化为理解哪些有理齐次本质除子属于Nash映射的像，方法包括楔形提升（wedge lifting）与Lüroth定理的应用。

ABSTRACT

We prove that, if X is a variety over an uncountable algebraically closed field k of characteristic zero, then any irreducible exceptional divisor E on a resolution of singularities of X which is not uniruled, belongs to the image of the Nash map, i.e. corresponds to an irreducible component of the space of arcs on X centered in Sing X. This reduces the Nash problem of arcs to understanding which uniruled essential divisors are in the image of the Nash map, more generally, how to determine the uniruled essential divisors from the space of arcs.

研究动机与目标

• 通过确定哪些本质除子源自于位于奇点处的弧空间的不可约分支，以解决Nash问题的一部分。
• 利用楔形提升性质与弧空间中的稳定点，刻画Nash映射的像。
• 证明非有理齐次本质除子始终属于Nash映射的像，从而将Nash映射的满射性问题完全约化为有理齐次除子的情形。
• 基于从弧空间中局部闭子集的闭点出发的楔形提升，提供一个判断元素是否属于Nash映射像的标准。
• 将表面奇点的Nash映射满射性与拟有理奇点解析的楔形提升性质联系起来。

提出的方法

• 引入一个关于位于弧空间局部闭子集的闭点处的楔形的提升准则，该子集与本质除子相关。
• 利用Lüroth定理推导出：非有理齐次除子通过从楔形出发的有理映射的不定点消除，对应于弧空间的分支。
• 应用Reguera提出的弧空间中稳定点的曲线选择引理，分析弧及其中心的几何结构。
• 沿曲线构造概形的正式完备化，以将Ψ-映射从弧空间提升至奇点的正式邻域。
• 利用形式函数定理，将层上同调的逆极限与正式完备化联系起来，确保楔形提升的存在性。
• 依赖于奇异点解析中例外除子为有理曲线的解析存在性，尤其在表面奇点情形下。

实验结果

研究问题

• RQ1 在特征为零的代数闭域上，对于任意非有理齐次的本质除子，其是否都属于Nash映射的像？
• RQ2 Nash映射的满射性是否可约化为仅分析有理齐次本质除子？
• RQ3 何种解析条件可保证给定的本质除子源自于位于奇点处的弧空间的不可约分支？
• RQ4 楔形提升性质与本质除子背景下Nash映射的像之间有何关系？
• RQ5 在何种条件下，拟有理表面奇点的解析可实现楔形提升？其对Nash映射满射性有何影响？

主要发现

• 在不可数代数闭域上，特征为零的代数簇的解析中，任何非有理齐次的不可约例外除子均属于Nash映射的像。
• 若每个拟有理表面奇点都存在一个具有楔形提升性质的解析，则在ℂ上，正常表面奇点的Nash映射满射性将得证。
• Nash映射的像完全由与每个本质除子相关联的弧空间局部闭子集中闭点出发的楔形提升所决定。
• 楔形提升的构造依赖于正式完备化与形式函数定理，确保从弧空间到正式邻域的态射可提升。
• 该结果将完整的Nash问题约化为有理齐次本质除子的情形，因为非有理齐次除子已处于像中。
• 本文基于从闭点出发的楔形提升存在性，提供了一个判断元素是否属于Nash映射像的标准，推广了关于稳定点的早期结果。