[論文レビュー] Desingularization algorithms I. Role of exceptional divisors

Edward Bierstone, Pierre D. Milman|ArXiv.org|Jul 11, 2002

Algebraic Geometry and Number Theory参考文献 6被引用数 5

ひとこと要約

本稿は、特徴量がゼロの状態における特異点の正規化を、不変に基づく吹き上げによって統一的に記述する原理を導入する。この原理は、例外的除因子が局所的に不変を定義する役割を果たし、同時に全体的に不変性を保証する役割を果たすことに着目し、吹き上げにおける不変性を保証するための局所的データの同値類を定める。

ABSTRACT

The article is about a "desingularization principle" common to various canonical desingularization algorithms in characteristic zero, and the roles played by the exceptional divisors in the underlying local construction. We compare algorithms of the authors and of Villamayor and his collaborators, distinguishing between the fundamental effect of the way the exceptional divisors are used, and different theorems obtained because of flexibility allowed in the choice of "input data". We show how the meaning of "invariance" of the desingularization invariant, and the efficiency of the algorithm depend on the notion of "equivalence" of collections of local data used in the inductive construction.

研究の動機と目的

• 特徴量がゼロの状態におけるさまざまな正規化アルゴリズムに共通する一般化された正規化原理を定式化すること。
• 正規化不変量の局所的帰納的構成と全体的な不変性の両方において、例外的除因子が果たす二重の役割を明確にすること。
• 著者らの手法とVillamayor らの手法を比較するため、例外的除因子が不変量および吹き上げ中心の選択にどのように影響するかを分析すること。
• 不変性を保証するための局所的データ（表現）の同値関係を定義し、その分析を行うこと。
• 次回の論文で検討されるように、局所的にバイノミアル的またはトーリックな多様体における組合せ的構造が正規化をどのように簡略化するかの基盤を築くこと。

提案手法

• 特徴量がゼロの状態において、適切に選ばれた初期不変量を、許容的な吹き上げの系列にわたって拡張することで、最大集合を逐次吹き上げることで特異点を正規化できるという、正規化原理（定理 1.14）を導入する。
• 局所的帰納的構成を用い、例外的除因子をテスト吹き上げを用いて追跡することで、表現の同値類を定義する。
• 蓄積された例外的除因子に依存するテスト吹き上げの系列を用いて、表現の同値関係を定義し、不変量が同値類にのみ依存することを保証する。
• 異なる初期不変量（Hilbert-Samuel 関数 vs. 理想の位数）を選択することで、埋め込み正規化および理想の主成分化にこの原理を適用する。
• 不変量における残余乗数が、基本的対象や理想的指数の広い同値類ではなく、表現の同値類に依存することを示す。
• 形式的べき級数と標準基底を用いて、特定の条件下で変換された理想のニュートン図が元の理想と一致することを証明し、不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特徴量がゼロの状態における多様な正規化アルゴリズムを統一する共通の原理はどのように構築できるか？
• RQ2 例外的除因子が局所的構成と正規化不変量の全体的不変性の両方において果たす正確な役割は何か？
• RQ3 局所的データ（表現）に対する同値関係の選択が、アルゴリズムの不変性と効率性にどのように影響するか？
• RQ4 なぜ不変量における残余乗数が、基本的対象の同値類よりも粗いクラスではなく、表現の同値類に依存するのか？
• RQ5 組合せ的構造（例えば、ニュートン図）は、局所的にバイノミアル的多様体において正規化プロセスをどのように簡略化するのか？

主な発見

• 正規化原理（定理 1.14）により、許容的な吹き上げの系列にわたって拡張された不変量の最大集合を逐次吹き上げることで、特異点が正規化可能であることが保証される。
• 例外的除因子は二重の役割を果たす：局所的な不変量の構成に影響を与え、かつ同値類を用いた吹き上げにおける不変性を達成するために不可欠である。
• テスト吹き上げが蓄積された例外的除因子に依存するように定義された表現の同値類は、基本的対象や理想的指数の同値類よりも厳密に細かいものである。
• 不変量における残余乗数は、表現の同値類にのみ依存し、より粗いクラス（基本的対象など）には依存しない。これは、著者らの手法とVillamayorの手法の間でアルゴリズム的挙動の差が生じる理由を説明する。
• 変換された理想 $J_1$ の標準基底が $u=0$ のとき、元の理想 $J_0$ の標準基底を誘導する。これにより、${\frak{N}}(J_1) = {\frak{N}}(J_0)$ が成り立つことが示される。
• すべての $k$ に対して $\frac{{\mathbb{K}}{[\![}u,v{]\!]}}{J_1 + \underline{m}^{k+1}} \cong \frac{{\mathbb{K}}{[\![}u,v{]\!]}}{\underline{m}^{k+1}}$ が成り立つことから、$J_1 \cap \mathbb{K}[[u,v]]^\mathfrak{N} = 0$ が従い、直和分解と不変性が確認される。