[論文レビュー] Resolution of Singularities -- Seattle Lecture

Janós Kollár|ArXiv.org|Aug 17, 2005

Algebraic Geometry and Number Theory参考文献 23被引用数 29

ひとこと要約

本稿では、鍵となる不変量を再定義することで、複雑なグローバルに定義された不変量の必要性を排除し、代数的多様体に対するスムーズでグローバルに適用可能な特異点解消アルゴリズムを提示する。順序付きマークドイデアルと Włodarczyk の特徴的表現理論を活用し、辞書的順序の低減に基づく反復的ブローアップによって関手的解消を達成し、最終的に単項イデアル構造に至る。

ABSTRACT

These are the notes for my lecture ``Resolution of Sigularities in Charcteristic 0" given at the AMS Summer Institute at Seattle. It gives a self contained proof of the strong Hironaka resolution theorem.

研究の動機と目的

• 複雑でグローバルに定義された不変量の必要性を回避するため、帰納的セットアップを再定義することで、グローバルに適用可能な解消アルゴリズムを開発すること。
• ヒルベルト＝サミュエル関数に依存するのではなく、順序付き除数を持つマークドイデアルの順序低減に注目することで、ヒロナカの解消法を単純化すること。
• Włodarczyk の特徴的表現理論と MC-不変性を活用し、多様体の関手的かつ強い特異点解消を達成すること。
• 特定の座標系を固定する必要がないことを示し、適切なイデアル調整によってすべての妥当な座標系の選択が同値になることにより、座標系の選択に依存しない解消が可能であることを示すこと。
• 以前の証明で入り組んでいた要素を独立したモジュラーなステップに分離することで、解消プロセスを統一的かつ簡素化すること。

提案手法

• D-バランス型および MC-不変イデアル層の概念を導入し、解消プロセスを独立したモジュラーなコンponentsに分離する。
• 順序付き単純正交交差除数によって定義される単項イデアルにおける辞書的順序低減戦略を採用し、最小のインデックスと最大の係数を優先する。
• 係数の和が最大となる除数の交わりの部分集合における反復的ブローアップを実行し、各ステップでペア $(m_r(E), n_r(E))$ が辞書的順序で減少することを保証する。
• すべての妥当な座標系の選択が同値となるようにイデアルを調整するチューニング手順を適用し、標準座標系の必要性を排除する。
• 従来のグローバル不変量アプローチに代えて、局所的なアルゴリズムを採用し、変更されたイデアルの不変性特性により自動的にグローバル化される。
• Włodarczyk の特徴的表現の同値性に関する結果を活用し、さまざまなブローアップ列の選択に対しても手法の堅牢性を正当化する。

実験結果

リサーチクエスチョン

• RQ1 関手的かつ終了性を保ちつつ、複雑なグローバル不変量の必要性を完全に回避する解消アルゴリズムを構築できるか？
• RQ2 ヒルベルト＝サミュエル関数のような高次の不変量に依存するのではなく、イデアルの順序低減に注目することで、解消プロセスをどの程度単純化できるか？
• RQ3 解消プロセスから座標系の選択をどの程度分離できるか、その結果に影響を与えることなく？
• RQ4 以前の証明で入り組んでいたステップの複雑な依存関係を、独立したモジュラーなコンponentsに分離できるか？
• RQ5 順序付きマークドイデアルは、終了性を保証する辞書的順序での段階的低減を可能にする役割を果たすか？

主な発見

• 変更されたイデアル構造のブローアップにおける不変性により、別個のグローバル不変量の必要性が排除され、解消アルゴリズムが自然にグローバル化される。
• 単項イデアルにおける辞書的順序低減プロセスは、各ステップでペア $(m_r(E), n_r(E))$ が辞書的順序で減少するため、終了性が保証される。
• $m = \max\text{ord}(I)$ かつ $E = \emptyset$ の場合、アルゴリズムは標準的な順序低減に帰着され、初期のブローアップ以降は追加ステップは不要となる。
• D-バランス型および MC-不変性の性質のおかげで、解消プロセス全体の制御を明示的に行う必要がなく、強い関手的解消が達成される。
• Włodarczyk の特徴的表現の同値性に関する結果により、座標系の選択に感度がなくなるため、全体のフレームワークが簡素化される。
• 例題 112 は、陽な順序付けがなければ正標数においても失敗することを示しているが、本手法はブローアップにおける辞書的優先順位を強制することで、このような病理的状況を回避する。