[論文レビュー] Toward the second main theorem on complements: from local to global

Yuri Prokhorov, Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Jun 12, 2006

Algebraic Geometry and Number Theory参考文献 31被引用数 7

ひとこと要約

この論文は、Borisov-Alexeev予想とファイバー空間における有効な接続性予想の2つの主要な予想を仮定することで、klt log 半ファノ多様体の補集合の有界性を確立する。この多様体が有界な重複度と有限型を満たす場合、次元と重複度集合にのみ依存する一様な整数 $ n $ が存在し、$ n(K+B) $ が数的自明であり、さらに $ |-nK - n\lfloor B\rfloor - \lfloor(n+1)(B - \lfloor B\rfloor)\rfloor| \neq \emptyset $ が成り立つ。これは、反 canonical 系の有効な有界性を示している。

ABSTRACT

We prove the boundedness of complements modulo two conjectures: Borisov-Alexeev conjecture and effective adjunction for fibre spaces. We discuss the last conjecture and prove it in two particular cases.

研究の動機と目的

• 高次元におけるklt log 半ファノ多様体の補集合の有界性を確立すること。
• 補集合のグローバル有界性を、Borisov-Alexeev予想とファイバー空間における有効な接続性予想の2つの予想に還元すること。
• 追加の正則性とFT仮定の下で、特に次元 $ \leq 3 $ の場合に、有効な接続性を2つの特別なケースで証明すること。
• 補集合の有界性が、一様な境界を持つ反 canonical 系の有効な自由性を示すこと。

提案手法

• 超標準的重複度の理論を用いて、グローバル有界性問題を局所的有界性に還元する。
• LMMPの適用により、$ \rho = 1 $ または数的自明な正則クラスの状況に還元する。
• 近似技術と対数終質的変形による補集合の持ち上げを用いる。
• 2つのケースでの有効な接続性の証明：全体空間がプロジェクト型でFTである場合、および次元 $ \leq 3 $ の場合。
• 0-ペアの構造を解析し、$ K+D $ の位数を有界化するために、巡回的エタール被覆の構成を行う。
• 不備の制御と成分の分離を用いて、特定の重複度条件の下で $ \rho = 1 $ のモデルを除外する。

実験結果

リサーチクエスチョン

• RQ1 klt log 半ファノ多様体 $ (X,B) $ の正則クラス $ K+B $ が、有界な $ n $-補集合をもつのはどのような条件下か？
• RQ2 補集合の有界性は、Borisov-Alexeev予想とファイバー空間における有効な接続性予想に還元可能か？
• RQ3 $ D = B - \lfloor B\rfloor $ に対して、$ |-nK - n\lfloor B\rfloor - \lfloor(n+1)D\rfloor| \neq \emptyset $ が成り立つような $ n $ の有効な境界は何か？
• RQ4 有効な接続性はどのような場合に成り立ち、特に次元 $ \leq 3 $ の場合にどうか？
• RQ5 有界な重複度を持つ0-ペアに対して、$ K+D $ の位数は有界にできるか？

主な発見

• 次元 $ d $ のklt log 半ファノ多様体 $ (X,B) $ で、$ X $ がFTで、重複度が $ \Phi(\mathfrak{R}) $ に属する場合、$ n = n(d,\mathfrak{R}) $ という一様な整数 $ n $ が存在し、$ K+B $ が $ n $-補集合をもつ。
• 線形系統 $ |-nK - n\lfloor B\rfloor - \lfloor(n+1)(B - \lfloor B\rfloor)\rfloor| $ は空でなく、$ n $ は $ d $ と $ \mathfrak{R} $ のみに依存する。
• $ B = 0 $ の場合、$ |-nK| $ が空でないような $ n $ が存在し、$ n $ は $ d $ のみに依存する。これは反 canonical 系の有界性を示している。
• 次元3の0-ペアでは、$ n(K+D) \sim 0 $ となるような $ n $ が存在し、$ n $ は $ \mathfrak{R} $ のみに依存する。特に $ D = 0 $ の場合、$ n \leq 21 $ である。
• 2つのケースで有効な接続性が証明された：全体空間がプロジェクト型でFTである場合、および次元 $ \leq 3 $ の場合、追加仮定の下で。
• 証明により、予想1.1は一般にではなく、特定の $ \varepsilon^o > 0 $ のみに必要であることが示され、仮定の必要性が軽減された。