[論文レビュー] Sarkisov program for generalized pairs

Jihao Liu|arXiv (Cornell University)|Feb 12, 2018

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿は、$\mathbb{Q}$-因子的gklt一般化対に対してSarkisovプログラムを確立し、共通の一般化対から$K_W + B_W + M_W$-MMPを経て得られる任意の2つの双有理的モーリー・ファイバー空間は、有限個のSarkisovリンクによって接続されることを証明する。この結果は、古典的なSarkisovプログラムを一般化対の設定へと拡張し、モーリー・ファイバー空間間の双有理写像が標準リンクの有限列に分解されることを保証し、一般化対数正則特異点を保存する。

ABSTRACT

In this paper we show that any two birational Mori fiber spaces of $\Qq$-factorial gklt g-pairs are connected by a finite sequence of Sarkisov links.

研究の動機と目的

• klt対に対して既に確立されているSarkisovプログラムを、より広い一般化対のカテゴリーへと拡張すること。
• 共通の一般化対から得られるモーリー・ファイバー空間間の双有理写像が、有限個のSarkisovリンクによって構成されることを証明すること。
• 分解の全過程を通じて一般化対数正則性（gklt）特異点が保存されることを保証し、リンクを通じて特異点の双有理不変性を確保すること。
• 特に非擬効果的の場合にあたって、ネフなモジュライ除算を有する一般化対を含むように、最小モデルプログラムの枠組みを一般化すること。

提案手法

• W上の2つのアーマー$\mathbb{R}$-除算$L_W$と$H_W$を用いて、二重スケーリングを伴うSarkisovプログラムを構築し、MMPの各ステップを制御する。
• 共通の対数正則解消の存在を用いて、Wがg-端的であり、$\rho_X, \rho_Y$が準同型であると仮定することで、双有理的幾何を単純化する。
• $(L_W, H_W)$のスケーリングを用いて、$X_0 \dashrightarrow X_1 \dashrightarrow \cdots \dashrightarrow X_n$という双有理写像の系列を定義し、各ステップがSarkisovリンクであることを保証する。
• 摂動された対$(W, \Delta_W)$の対数正則モデルを用いて、$X_n \cong Y$が成り立つことを示すことにより、最終写像$f: X \dashrightarrow Y$がcodimension 1で同型であることを証明する。
• もし$h_n < 1$であれば、$K_{X_n} + B_n + h_n H_n + M_{X_n}$が数的正則性を示し、$K_W + B_W + M_W$の非擬効果性と矛盾することを示す。これにより、$h_n = 1$でなければならず、$X_n \cong Y$が得られる。
• 正規化バンドルの公式と接続を用いて、最終的なモーリー・ファイバー空間構造がリンク分解の下でも保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 ネフなモジュライ除算を有する一般化対へと、klt対に対するSarkisovプログラムを拡張することは可能か？
• RQ2 同じ一般化対から得られる2つの双有理的モーリー・ファイバー空間は、有限個のSarkisovリンクによって接続可能か？
• RQ3 一般化対数正則性（gklt）はSarkisovリンク分解の全過程を通じて保持されるか？
• RQ4 共通の一般化対から得られる2つのモーリー・ファイバー空間間の双有理写像は、二重スケーリングを伴う標準リンクの有限列に分解可能か？
• RQ5 一般化対の最小モデルプログラムを用いて、制御された特異点を有する完全なSarkisovプログラムを構築することは可能か？

主な発見

• 任意の$\mathbb{Q}$-因子的gklt一般化対から$K_W + B_W + M_W$-MMPを経て得られる2つの双有理的モーリー・ファイバー空間は、有限個のSarkisovリンクによって接続される。
• 誘導された双有理写像$f: X \dashrightarrow Y$は、定義4.3で与えられる二重スケーリングを伴うSarkisovリンクの合成として表される。
• 最終写像は$X_n \cong Y$を満たすため、分解はcodimension 1での同型で終了する。
• 一般化対数正則性（gklt）は全系列にわたって保存される：初期対が一般化$\epsilon$-lcであれば、すべての中間対に対しても同様に成り立つ。
• 証明は数的正則性による背理法に依拠する：$h_n < 1$であれば、$K_W + B_W + h_n H_W + M_W$は擬効果的であるはずだが、これは$K_W + B_W + M_W$の非擬効果性と矛盾する。
• 同型$X_n \cong Y$は、$B_W + H_W + M_W$の一般な摂動$\Delta_W$を伴う摂動対$(W, \Delta_W)$の対数正則モデルを用いて確立される。