[論文レビュー] Strong Toroidalization of Birational Morphisms of 3-Folds

Steven Dale Cutkosky|ArXiv.org|Dec 26, 2004

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

ひとこと要約

本稿は、特徴標数0の体上の非特異3次元多様体の双有理的同型写像に関して、強いトロイダル化を確立する。この同型写像は、指定されたSNC除集合の逆像に含まれる中心による吹き上げによって、トロイダル化可能であることを証明する。主たる貢献は、元の除集合の厳密変換に関してトロイダルとなるように、写像がトロイダルになる可換図式を体系的に構成することである。これは3次元における強いトロイダル化問題を解決するものである。

ABSTRACT

In this paper we prove strong toroidalization of birational morphisms of 3-folds. Suppose that f:X o Y is a birational morphism of nonsingular complete 3-folds, and D_Y, D_X are simple normal crossings divisors on Y and X such that f^{-1}(D_Y)=D_X and D_X contains the singular locus of the morphism f. We prove that there exist morphisms Φ:X_1 o X and Ψ:Y_1 o Y which are products of blow ups of points and nonsingular curves which are supported in the preimage of D_Y and make simple normal crossings with this preimage, such that f_1=Ψ_1^{-1}\circ f\circ Φ_1 is a toroidal morphism. This theorem generalizes the toroidalization theorem which we prove in ``Toroidalization of birational morphisms of 3-folds''.

研究の動機と目的

• 特徴標数0における3次元多様体の双有理的写像の強いトロイダル化問題を解決すること。
• 与えられた写像を、SNC除集合の厳密変換に関してトロイダルにする吹き上げの可換図式を構成すること。
• 吹き上げの中心が元の除集合の逆像に含まれており、それらとSNCをなすように保証すること。
• 従来のトロイダル化結果を、3次元におけるより強く構造化された強いトロイダル化の設定に拡張すること。

提案手法

• 特異点の埋め込み解消と、非特異中心に沿った吹き上げを用いて、特異点を解消しつつトロイダル構造を保つこと。
• 写像の特異点集合に対する帰納的構成を適用し、SNC除集合内の3点および2次曲線に焦点を当てる。
• 写像のトロイダル性を保ちつつ、最終的な除集合構成がキュスピッド型になるような吹き上げの列を構成すること。
• 先行研究（例：[C5]）の結果を活用し、準備段階の後、トロイダル構造の確認に問題を還元すること。
• 局所的トロイダルモデルと接合技術を用いて、特異点集合の異なるストラトゥム間の整合性を保証すること。
• 数値不変量τに関する下向き帰納法を用い、十分な吹き上げの後、トロイダル構造が得られることを達成すること。

実験結果

リサーチクエスチョン

• RQ1 任意の非特異3次元多様体の双有理的写像は、与えられたSNC除集合の逆像に含まれる中心による吹き上げによって、強いついでにトロイダル化可能か？
• RQ2 元のSNC除集合の厳密変換に関して、写像がトロイダルになるような吹き上げの可換図式を構成することは可能か？
• RQ3 写像の特異点集合および元の除集合にどのような条件を課すと、このような強いトロイダル化が存在するか？
• RQ4 吹き上げの中心がSNC構造と整合し、トロイダル性を保つように保証するにはどうすればよいか？
• RQ5 元の除集合に対する準備段階が、キュスピッド型構成を導き、それがトロイダル性を示すのか？

主な発見

• 本稿は定理1.1を証明する：元の写像の特異点集合がSNC除集合の逆像に含まれる非特異射影3次元多様体の双有理的写像に関して、強いトロイダル化が成立する。
• 定理1.2は、特異点を持つ3次元多様体に対しても拡張され、写像の特異点集合が、退化しない次元1の部分スキームの逆像に含まれる場合、強いトロイダル化が存在することを示す。
• 定理1.3は、SNC除集合を持つ非特異3次元多様体の任意の支配的写像に対して、吹き上げの図式が存在し、その結果得られる写像が準備済みであり、元の被写像の全変換がキュスピッド型であることを確立する。
• 構成により、すべての吹き上げが元の除集合の逆像に含まれる非特異中心に沿い、それらとSNCをなすことが保証される。
• 証明は、3点および2次曲線に沿った帰納的吹き上げに依拠しており、最終的な写像はキュスピッド型構成に達した後、トロイダル性を示す。
• 結果は、解消技術と特異点集合に関する帰納的議論、および先行研究における既知のトロイダル写像に関する結果への還元によって得られる。