[論文レビュー] Toroidalization of birational morphisms of 3-folds

Steven Dale Cutkosky|ArXiv.org|Jul 14, 2004

Algebraic Geometry and Number Theory参考文献 32被引用数 3

ひとこと要約

本稿は、特性0の体上の3次元多様体の任意の双有理的射が、非特異な曲線および点のブ low-up の列によってトロイダル化可能であることを証明している。その結果、誘導される射が単純な正則交差除部分集合に関してトロイダルになる可換図式が得られる。主な貢献は、局所的べき級数解析と解消技術を用いた構成的証明であり、3次元多様体におけるトロイダル化を確立し、この次元における弱および強因子分解の新たな証明をもたらす。

ABSTRACT

We prove that a birational morphism of projective 3-folds, over a field of characteristic zero, can be made toroidal by performing a sequence of blow ups of points and nonsingular curves above the domain and target.

研究の動機と目的

• 特性0の体上の3次元多様体の双有理的射のトロイダル化問題を解明すること。
• 曲線および曲面における既知のトロイダル化結果を、幾何的複雑性が増加するため従来の手法が失敗する3次元多様体へと拡張すること。
• 非特異な曲線および点のブローアップを用いた構成的技法を提供し、双有理的射をトロイダルなものに変換すること。
• トロイダル化と既存の弱因子分解定理を組み合わせることで、3次元多様体における弱因子分解の新たな証明を確立すること。
• Oda予想が成り立つものと仮定すれば、3次元多様体の強因子分解予想をトロイダル射の状況に還元すること。

提案手法

• 特異点の解消および不定性の解消を用いて、非特異かつ射影的3次元多様体からなる初期の可換図式を構成する。
• 射が準備された状態にあり、除部分集合の全変換がカスピッドル的になるように、準備プロセスを適用する。
• 数値的不変量 τ(X) に関する下り上がり帰納法を用いて、段階的に射の複雑さを低減する。
• 特異点（1-点および2-点）における射の局所的べき級数展開を分析し、トロイダル構造を検証する。
• ヤコビアン行列式および指数を用いて定義される λ-不変量を用いて、局所チャートにおけるトロイダル性を検出する。
• 座標変換の後、ヤコビアン行列式の指数が1であることと、射が局所的に単項的であることの両方を示すことにより、トロイダル形を検証する。

実験結果

リサーチクエスチョン

• RQ1 特性0の体上の3次元多様体の双有理的射は、非特異な曲線および点のブローアップによって常にトロイダル化可能か？
• RQ2 3次元多様体の双有理的射のトロイダル化は、この次元における弱因子分解を意味するか？
• RQ3 3次元多様体の強因子分解予想は、トロイダル射の状況に還元可能か？
• RQ4 どのような局所的不変量または条件が、ブローアップ後に射がトロイダルになることを保証するか？
• RQ5 ヤコビアン行列式および λ-不変量の構造は、局所的べき級数展開においてどのようにトロイダル性を検出するか？

主な発見

• 本稿は、特性0の体上の3次元多様体の任意の双有理的射が、非特異な曲線および点のブローアップによってトロイダル化可能であることを確立している。
• 有限回のブローアップの後、射はトロイダル化され、対象および源の3次元多様体は非特異になり、単純な正則交差除部分集合を備える。
• 各例外的除部分集合成分 E に対して λ(E) = 1 である λ-不変量条件が、局所座標変換の後、トロイダル形を示すことが示された。
• 射の複雑さを測る数値的不変量 τ(X) に関する下り上がり帰納法を用いて、f がトロイダルである場合に還元される。
• この結果は、AKMW および Włodarczyk の弱因子分解定理と組み合わせることで、3次元多様体における弱因子分解の新たな証明をもたらす。
• 系 0.3 は、Oda 予想（トロイダル射の強因子分解）が成り立つならば、Abhyankar–Hironaka の3次元多様体における強因子分解予想が成り立つことを示している。