[論文レビュー] Notes on the inductive algorithm of resolution of singularities by S. Encinas and O. Villamayor

Kenji Matsuki|ArXiv.org|Mar 19, 2001

Advanced Differential Equations and Dynamical Systems被引用数 4

ひとこと要約

この論文は、特異点の解消を特徴が0の体上で、ハイルベルト＝サミュエル関数に依存しない、新しい不変量に基づくアプローチを用いた構成的で帰納的なアルゴリズムを提示する。この方法は、特異点を滑らかでないか、特異点集合に含まれない中心に沿った吹き上げ（blowups）によって体系的に低減し、終了を保証するための整列順序の不変量 $\underline{\Gamma}$ に依存する。有限ステップで終了し、解消が達成される。

ABSTRACT

In this revised version, the mistake of the author confusing the weak transform and strict transform, pointed out by E. Bierstone, is corrected. It gives a self-contained proof of (embedded) resolution of singularities over a field of characteristic zero following the inductive algorithm of Encinas and Villamayor. A chapter explaining the background motivation for the invariants used (based upon a lecture by Villamayor) and another containing some examples demonstrating the subtle points are added.

研究の動機と目的

• エンシナとビラマヨルが開発した特異点解消の帰納的アルゴリズムの詳細な解説と明確化を行う。
• アルゴリズムの終了メカニズムの根拠となる $t$-不変量の起源と構成を説明する。
• 中心が滑らかでないか、あるいは被覆多様体の特異点集合に含まれない場合でも、埋め込まれたおよび非埋め込みの特異点解消を達成する方法を示す。
• 代数的に閉じていない任意の特徴が0の体上でも、解消を可能にする枠組みを確立する。
• 不変量 $\underline{\Gamma}$ が中心の選択をどのように導き、各ステップで厳密に減少させ、有限終了を保証するかを明確にする。

提案手法

• アルゴリズムは、特異点集合の各点 $p$ に付随する整列順序の不変量 $\underline{\Gamma}(p)$ に基づく再帰的・帰納的なアプローチを用いる。
• 各ステップで、吹き上げの中心は、不変量タプルの辞書式最大値として定義される最大局所 $\underline{\rm Max}\,\Gamma$ として選ばれる。
• 不変量 $\underline{\Gamma}(p)$ は、例外的除法の重み付き乗数を考慮した理想の位数と、除法のインデックスに基づく継ぎ目をなくすタプルから構成される。
• 吹き上げは、例外的除法 $E_{i-1}$ の単純な正規交叉構造を尊重する許容可能な中心に対して実行される。
• アルゴリズムは、$J$ が理想、$b$ が正の整数、$E$ が滑らかな除法の集合である「基本的対象」$(W, (J,b), E)$ の構造を維持する。
• 理想の特異点集合が空集合になるまでプロセスを繰り返し、これにより解消が達成されたと判断する。

実験結果

リサーチクエスチョン

• RQ1 被覆多様体の特異点集合に含まれないか、滑らかでない中心を必要としないで、特異点解消をどのように達成できるか。
• RQ2 $t$-不変量が解消アルゴリズムの終了を保証する役割を果たすのはどのような仕組みか。
• RQ3 不変量 $\underline{\Gamma}$ が中心の選択をどのように導き、各ステップで厳密に減少させ、有限終了を保証するか。
• RQ4 このアルゴリズムは、特徴が0の代数的に閉じていない体に対しても適応可能か。
• RQ5 中心と厳密変換の交差が非可約または非滑らかである場合、アルゴリズムはどのように処理するか。

主な発見

• 例11-7で示されるように、アルゴリズムは単項式基本的対象の特異点を有限回の吹き上げで正しく解消する。
• 不変量 $\underline{\Gamma}$ は各ステップで厳密に減少する：$\max\Gamma_{B_0} = (-1,\frac{3}{2},(2,0)) > \max\Gamma_{B_1} = (-1,\frac{3}{2},(1,0)) > \max\Gamma_{B_2} = (-2,1,(4,3))$ であり、これにより終了が保証される。
• 中心 $Y_{i-1}$ は滑らかでなくてもよく、$X_{i-1}$ の特異点集合に含まれる必要もない。また、それらの厳密変換との交差は特異的または非可約である可能性がある。
• 例外的除法 $E_{i-1}$ が単純な正規交叉除法であることに基づく許容可能な中心を確保することで、埋め込み解消が達成される。
• 最終的な厳密変換 $X_l$ は体 $k$ 上で滑らかであり、写像 $X_0 \to X_l$ は射影的かつ正則部分集合上で同型である。
• ハイルベルト＝サミュエル関数を避けて、位数関数と洗練された不変量に依存することで、より直接的かつ構成的なアプローチを提供する。