[论文解读] Jet schemes, arc spaces and the Nash problem

Shihoko Ishii|arXiv (Cornell University)|Apr 25, 2007

Algebraic Geometry and Number Theory参考文献 36被引用 28

一句话总结

本文为代数几何中的喷射概形与弧空间提供了基础性介绍，重点探讨其在奇点研究中的作用。文章提出了纳什问题——即从本质除子到弧空间不可约分支的纳什映射是否为双射——并总结了对有理奇点与 торic 奇点的肯定性结果，同时展示了高维中的反例，从而凸显了该问题在二维与三维情形下的当前状态及未解问题。

ABSTRACT

This paper is an introduction to the jet schemes and the arc space of an algebraic variety. We also introduce the Nash problem on arc families.

研究动机与目标

• 介绍喷射概形与弧空间作为分析代数簇奇点的工具。
• 提出纳什问题，即询问从本质除子到弧空间不可约分支的纳什映射是否为双射。
• 总结对有理奇点、 торic 奇点与拟平凡奇点的已知肯定性结果。
• 强调在维度 ≥4 中存在的反例，表明纳什映射并不总是双射。
• 讨论二维与三维情形下的未解问题，以及通过楔形与解消性质表征纳什映射像的方法。

提出的方法

• 通过从 $\operatorname{Spec} K[t]/(t^{m+1})$ 与 $\operatorname{Spec} K[[t]]$ 到 $X$ 的 $k$-态射，将喷射概形 $X_m$ 与弧空间 $X_\infty$ 构造为 $k$ 上的概形所表示的函子。
• 定义截断映射 $\psi_{m',m}: X_{m'} \to X_m$，其作用为截断喷射数据，保留低阶项。
• 利用喷射概形的普遍性质，通过基概形的态射定义其间的态射。
• 引入 $K$-楔形 $\gamma: \operatorname{Spec} K[[\lambda,t]] \to X$ 的概念，其对应于 $X_\infty$ 上的 $K[[\lambda]]$-点，从而实现对弧族的研究。
• 通过几何与函子性构造隐含应用了动机积分的概念，尽管未完整发展动机积分理论。
• 通过楔形的提升条件表征纳什映射的像，如雷古埃拉定理（定理 4.24）所示。

实验结果

研究问题

• RQ1 对于所有代数簇，将本质除子与弧空间不可约分支关联的纳什映射是否为双射？
• RQ2 纳什映射的像是什么？在何种条件下其与本质除子集合重合？
• RQ3 纳什问题在哪些奇点类中成立，例如 торic、有理或拟平凡奇点？
• RQ4 是否存在内在的几何或上同调条件，可表征纳什映射为双射的情形？
• RQ5 纳什映射的像是否可如雷古埃拉定理所建议，通过楔形的提升性质来表征？

主要发现

• 对于极小表面奇点（即基本循环为约化的有理奇点），纳什问题得到肯定回答。
• 纳什问题对夹层表面奇点成立，这类奇点源于光滑曲面上完全理想的一族爆破。
• 当例外除子 $E$ 满足对所有分量 $E_i$ 有 $E \cdot E_i < 0$ 时，纳什问题对正规表面奇点成立，且该结果可推广至更广的类。
• 纳什问题对任意维数的 торic 奇点以及非正规的 toric 代数簇均成立。
• 在维度 ≥4 中存在反例，例如 $\mathbb{A}^5_{\mathbb{C}}$ 中的超曲面 $x_1^3 + x_2^3 + x_3^3 + x_4^3 + x_5^6 = 0$，其纳什分支数为 1，但存在两个本质除子，故纳什映射非双射。
• 雷古埃拉定理（定理 4.24）通过楔形的提升表征了纳什映射的像：一个本质除子属于像当且仅当其任意在一般点具有特殊弧的楔形均可提升至某个解消。