[論文レビュー] Jet schemes, arc spaces and the Nash problem

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

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

ひとこと要約

この論文は、特異点の研究における役割に焦点を当て、代数幾何学におけるジェットスキームと弧空間についての基礎的導入を提供する。ネッシュ問題（基本的除算から弧空間の既約成分へのネッシュ写像が全単射であるか）を提示し、有理特異点およびトーリック特異点における肯定的結果を要約する一方で、高次元における反例も提示し、2次元および3次元における現在の状況と未解決の問題を強調する。

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.

研究の動機と目的

• 代数多様体の特異点を分析するためのツールとして、ジェットスキームと弧空間を導入すること。
• ネッシュ写像が基本的除算から弧空間の既約成分への全単射であるかどうかを問うネッシュ問題を提示すること。
• 有理特異点、トーリック特異点、準通常特異点における既知の肯定的結果を要約すること。
• 次元 ≥4 における反例を提示し、ネッシュ写像が常に全単射でないことを示すこと。
• 2次元および3次元における未解決問題と、ウェッジと解体性質を用いたネッシュ写像の像の特徴付けについて議論すること。

提案手法

• 体 $k$ 上のスキームとして表される関手として、ジェットスキーム $X_m$ と弧空間 $X_\infty$ を、$\operatorname{Spec} K[t]/(t^{m+1})$ および $\operatorname{Spec} K[[t]]$ から $X$ への $k$-準同型を用いて構成する。
• 下位の項を保存する「ジェットデータを切り詰める」truncate写像 $\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 トーリック、有理、または準通常特異点などのどの特異点クラスにおいてネッシュ問題が成り立つか。
• RQ4 ネッシュ写像が全単射である条件を特徴付ける、内在的な幾何的またはコhomologicalな条件は何か。
• RQ5 レグエラの定理が示唆するように、ウェッジの持ち上げ性質を用いてネッシュ写像の像を特徴付けられるか。

主な発見

• 最小的表面特異点（基本的サイクルが非特異な有理特異点）において、ネッシュ問題は肯定的に解決されている。
• サンドイッチ型表面特異点（滑らかな表面での完全イデアルの吹き上げとして得られる特異点）に対してもネッシュ問題は成り立つ。
• 例外的除算 $E$ がすべての成分 $E_i$ に対して $E \cdot E_i < 0$ を満たす正規表面特異点に対し、ネッシュ問題は成立し、この結果はより広いクラスへ一般化されている。
• 任意次元のトーリック特異点、および非正規トーリック多様体に対してもネッシュ問題は成り立つ。
• 次元 ≥4 において反例が存在する。例えば、$\mathbb{A}^5_{\mathbb{C}}$ 内の超曲面 $x_1^3 + x_2^3 + x_3^3 + x_4^3 + x_5^6 = 0$ では、ネッシュ成分の数は1つであるが、基本的除算は2つあるため、ネッシュ写像は全単射でない。
• レグエラの定理（定理 4.24）は、ネッシュ写像の像をウェッジの持ち上げ条件によって特徴付ける：基本的除算が像に属するための必要十分条件は、その一般点における特殊な弧を持つすべてのウェッジが、ある解体に持ち上げられることである。