[論文レビュー] Resolving 3-dimensional toric singularities

Dimitrios I. Dais|ArXiv.org|Oct 25, 2001

Commutative Algebra and Its Applications参考文献 43被引用数 15

ひとこと要約

本稿では、格子三角形分割を用いたトーリックブローアップを通じて、3次元トーリック特異点を構成的・組み合わせ論的に解消する手法を提示する。主に、格子分割に基づくクレパントで、射影的な解消を焦点としている。すべての2^k 個のクレパント解消が、特定の格子多角形分割にボックス対角線を追加することで得られることを確立し、唯一の終端化（terminalization）が存在し、それには唯一の通常二重点（ordinary double points）しか持たないことを証明しており、トーリック設定におけるクレパント解消の完全な分類を提供する。

ABSTRACT

This paper surveys, in the first place, some basic facts from the classification theory of normal complex singularities, including details for the low dimensions 2 and 3. Next, it describes how the toric singularities are located within the class of rational singularities, and recalls their main properties. Finally, it focuses, in particular, on a toric version of Reid's desingularization strategy in dimension three

研究の動機と目的

• 3次元トーリック特異点のクレパントで射影的な解消の完全かつアルゴリズム的な分類を提供すること。
• 3次元において、離散的幾何学と組み合わせ論的技法を用いて、リードの解消戦略のトーリック版を確立すること。
• 与えられたトーリック特異点のすべての2^k 個の可能なクレパント解消が、特定の格子多角形分割にボックス対角線を追加することで実現できることを示すこと。
• 3次元トーリック3-fold特異点の唯一の終端化が存在し、それには唯一の通常二重点しか持たず、クレパントで射影的な解消が可能であることを証明すること。

提案手法

• 方法は、Gorensteinで3次元のコーンを持つ特異なトーリック多様体から出発し、1次元の部分多様体に沿った、トーラスに同変で、クレパントで、射影的なブローアップの系列を用いる。
• 初期多角形の内点の凸包として定義される格子多角形の組み合わせ論と、その内点を用いた逐次的分割を用い、凸包によって新たな中心コーンを生成する。
• この構成は、多角形分割の格子三角形分割の分類に依存しており、各ボックス対角線による完成が、異なるクレパント解消をもたらす。
• 結果として得られる双有理写像の射影性は、アンペルネス基準（定理3.3）を用いて検証され、すべての解消が射影的であることが保証される。
• この方法は段階的にブローアップ過程を適用し、各ステップが、レイトスに沿ったスターレーション分割を通じたファーン構造の細分化に対応する。
• 全過程は、コーンの幾何、双対格子、および双対半群のヒルベルト基底の間の相互作用に基づいており、例外的除集合に対する明示的制御が可能である。

実験結果

リサーチクエスチョン

• RQ1 すべてのクレパントで射影的な解消を、組み合わせ論的データを用いてどのように体系的に構成できるか？
• RQ2 初期多角形の内点の凸包として定義される中心格子多角形（central lattice polygon）は、解消過程において果たす役割は何か？
• RQ3 すべての2^k 個の可能なクレパント解消が、ボックス対角線による三角形分割の完成で実現可能であり、それらがすべて射影的であるか？
• RQ4 3次元トーリック特異点に対して、唯一の終端化が存在し、それには唯一の通常二重点しか持たず、クレパント解消が可能であるか？
• RQ5 超平面切断のローファー＝リード不変量は、特異点の埋め込み次元とどのように関係するか？

主な発見

• 例の特異点のすべての2^3 = 8 個のクレパントで、射影的で完全な解消は、図4の最終的な多角形分割にボックス対角線を追加することで得られる。
• トーリック3-fold特異点Z_τ_Pの終端化は一意的であり、唯一の通常二重点しか持たない。
• 特異点U_σの埋め込み次元は14であり、一般の超平面切断のローファー＝リード不変量は13であり、edim - 1として計算される。
• 解消過程は完全に構成的で、組み合わせ論的であり、ファーンの1次元部分多様体に沿った逐次的トーリックブローアップに依存しており、各ステップでクレパント性と射影性が保たれる。
• すべての双有理写像の射影性は、アンペルネス基準（定理3.3）によって保証され、すべての解消が射影的であることが保証される。
• この方法は、明示的な格子三角形分割を通じて、すべての2^k 個の可能なクレパント解消を実現し、与えられた特異点クラスの完全な分類を提供する。