[論文レビュー] 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

ひとこと要約

この論文は、有理的二重特異点 $\mathbf{E_6}$ におけるナッシュ問題を完全に解決し、特異点上の弧の族の数がその最小解消における特異的除因子の既約成分の数に等しいことを証明している。著者らは、値関手的基準とジェット空間およびウェッジ方程式の詳細な代数的解析を用いた一般的手順を確立し、$\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}$.

研究の動機と目的

• 有理的二重特異点 $\u005c mathbf{E_6}$ に対してナッシュ問題を肯定的に解決すること。これは、弧の族の数が特異的除因子の成分の数に等しいかどうかを問うものである。
• 代数的および値関手的技法を用いて、一般化可能な2次元特異点の超曲面特異点に適用可能なプログラムを構築すること。
• 弧空間の既約成分が、それぞれの特異的除因子 $E_i$ に対応する閉包 $\overline{N_i}$ であることを証明すること。
• $\ mathbf{E_6}$ の双対グラフから得られる自己交差重みを増加させた特異点に対しても、解を拡張すること。

提案手法

• 値関手的基準を適用する：$\mathrm{ord}_{E_i}(f) < \mathrm{ord}_{E_j}(f)$ となる $f \in \mathcal{O}_{S,0}$ が存在するならば、$\overline{N_i} \not\subset \overline{N_j}$ である。
• リプマンの錐を用いて、異なる重複度を持つ整数値サイクルを特定し、各除因子ペアに対して少なくとも1つの非包含関係を保証する。
• 特異点の $k$-ジェットの代数的構造を分析し、ジェットスキームおよびウェッジ方程式を用いて弧成分を研究する。
• $\ mathbf{E_6}$ 特異点の定義方程式をパラメータ化形式で得たウェッジ方程式系を構築し、それを解く。
• 計算代数（例：XMaple）を用いてウェッジ系の整合性を分析し、非包含条件を破る仮定が矛盾を引き起こすことを導く。
• 背理法を用いて、すべての可能なケース $\overline{N_i} \subset \overline{N_j}$ を体系的に排除し、そのような仮定の下では一貫した解が存在しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 $\ mathbf{E_6}$ 特異点の最小解消における特異的除因子への弧の族からのナッシュ写像が、依然として全射のままであるか。
• RQ2 $\ mathbf{E_6}$ の場合に、すべての $i \neq j$ のペアに対して非包含 $\overline{N_i} \not\subset \overline{N_j}$ が確立可能か。
• RQ3 値関手的基準とジェット空間解析に基づく一般戦略が、$\ mathbf{E_6}$ におけるナッシュ問題を解くのに十分か。
• RQ4 $\ mathbf{E_6}$ に対する解が、自己交差数を増加させたような双対グラフが得られる特異点へ拡張可能か。

主な発見

• 有理的二重特異点 $\ mathbf{E_6}$ に対してナッシュ問題は肯定的に解決され、弧の族の数が特異的除因子の成分の数に等しいことが確認された。
• すべての必要な非包含関係 $\overline{N_i} \not\subset \overline{N_j}$（$i \neq j$）が確立され、値関手的基準で半分、代数的ウェッジ解析で残りの半分が解決された。
• $\ mathbf{E_6}$ 特異点の定義方程式から導かれるウェッジ方程式系は、$\overline{N_i} \subset \overline{N_j}$ を仮定すると矛盾を引き起こし、このような包含関係が成立しないことを証明した。
• $\ mathbf{E_6}$ に対する解は、$\ mathbf{E_6}$ の自己交差重みを増加させた双対グラフを持つすべての特異点に対してもナッシュ問題が成立することを示唆する。
• $\ mathbf{E_6}$ 特異点の $k$-ジェット空間の代数的構造が詳細に分析され、一貫した弧パラメータ化の構築が可能になった。