[論文レビュー] Lectures on Factorization of Birational Maps

Kenji Matsuki|ArXiv.org|Feb 11, 2000

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

ひとこと要約

本稿は、特徴値がゼロの代数閉体上での非特異完備代数的空間間の有理写像の弱分解定理について、有理コボルディズム理論とトロイダル構造を用いて詳細に解説する。一般の分解問題はモレリのアルゴリズムによるトロイダル写像の組合せ的分解に還元され、任意のこのような有理写像が共通の開部分集合に交わらない滑らかな中心に沿った吹き上げと吹き下ろしの合成に分解可能であることが示され、入力の多様体が射影的である場合には中間の多様体も射影的になる。

ABSTRACT

This is an expanded version of the notes for the lectures given by the author at RIMS in the summer of 1999 to give a detailed account of the proof for the (weak) factorization theorem of birational maps by Abramovich-Karu-Matsuki-Włodarczyk.

研究の動機と目的

• 非特異多様体間の有理写像の弱分解定理の証明について、包括的かつアクセス可能な記述を提供すること。
• 一般の有理写像からトロイダル写像への還元ステップを、有理コボルディズムの枠組みを用いて明確にすること。
• トロイダル分解のためのモレリの組合せ的アルゴリズムがブラックボックスとして果たす役割を強調し、この手法を特異点の解消と対数幾何の文脈において位置づけること。
• 一般化の基盤を築くこと、特に等長的分解および対数的圏における分解を含む。
• 強い分解予想とトロイダル化予想を、有理幾何における中心的未解決問題として動機づけること。

提案手法

• 証明は、幾何的不変量理論を用いて構成された有理コボルディズム理論に依拠し、有理写像を滑らかな中心に沿った吹き上げと吹き下ろしの列としてモデル化する。
• 重要な構成として「トロフィックイデアル」があり、これは多様体をトロイダル埋め込みに変換する「トロフィケーション」を可能にする。
• 正規化の標準的解消とイデアルの標準的主成分化を用いて、トロフィケーション後に特異点を回復する。
• 一般からトロイダルへの還元は、不定性点の除去と局所的にトロイダル構造を持つ空間へのK*-作用の使用により達成される。
• トロイダル写像の分解はブラックボックスとして扱い、トロイダル有理写像のためのモレリのアルゴリズムに依存する。
• この枠組みは、双有理写像、群作用、代数的閉でない体の上での状況など、一般化を扱うために拡張される。

実験結果

リサーチクエスチョン

• RQ1 どのようにして有理コボルディズムとトロイダル構造を用いて、有理写像の弱分解定理を証明できるか？
• RQ2 トロフィックイデアルは、一般の有理写像をトロイダルなものに還元する際に果たす役割は何か？
• RQ3 有理コボルディズム理論は、共通の開部分集合に交わらない滑らかな中心に沿った分解の構成をどのように支援するか？
• RQ4 弱分解定理の結果は、強い分解予想とトロイダル化にどのような意味を持つのか？
• RQ5 弱分解証明で用いられた手法は、対数的圏における準同型写像のためのアルゴリズム的特異点解消を導くのに適応可能か？

主な発見

• 弱分解定理が成立する：特徴値がゼロの体上での非特異完備多様体間の任意の有理写像は、共通の開部分集合に交わらない滑らかな中心に沿った吹き上げと吹き下ろしの合成に分解可能である。
• 元の多様体と終域が射影的である場合、すべての中間多様体が射影的になるように分解を選び、その中間段階で両方の多様体への写像が射影的になる。
• 一般からトロイダルへの還元は、トロフィケーションと不定性の除去により達成され、特定の性質を備えたトロフィックイデアルの存在に依存する。
• トロイダル写像の分解は、モレリの組合せ的アルゴリズムにより達成され、これは効果的かつ構成的であるが、本研究ではブラックボックスとして扱われる。
• この手法は、等長的分解や非代数的閉体上での分解など、一般化のための枠組みを提供する。
• 本稿は、強い分解予想を証明するための可能性としてトロイダル化予想を動機づけ、対数的圏における特異点の解消のアルゴリズム的アプローチと結びつける。