[論文レビュー] Boundedness of anti-canonical volumes of singular log Fano threefolds

Chen Jiang|arXiv (Cornell University)|Nov 25, 2014

Geometry and complex manifolds参考文献 29被引用数 8

ひとこと要約

この論文は3次元における弱いBorisov–Alexeev–Borisov（BAB）予想を証明し、任意の$\epsilon$-klt log Fano 3次元多様体の反標準的体積が、$\epsilon$にのみ依存する定数によって上から有界であることを確立する。証明はモアリファイバー空間への還元を経て、付随、体積推定、連結性補題を用いて、体積が提案された上限を超えると矛盾が生じることを示し、特異的log Fano 3次元多様体の有界性を確認する。

ABSTRACT

We prove Weak Borisov--Alexeev--Borisov Conjecture in dimension three which states that the anti-canonical volume of an $ε$-klt log Fano pair of dimension three is bounded from above.

研究の動機と目的

• 3次元における弱いBAB予想を証明すること。これは、$\epsilon$-klt log Fano 3次元多様体の反標準的体積が上から有界であると主張する。
• 3次元のすべての$\epsilon$-Fano型$X$に対して、体積$\mathrm{Vol}(-K_X)$の均一な上界$M(3,\epsilon)$を確立すること。
• 最小モデルプログラムを用いて一般の場合をモアリファイバー空間に還元し、より単純なファイブレーションにおける既知の有界性結果を活用すること。
• 付随を一般ファイバーに適用し、連結性補題を用いて体積増大を制約することで、背理法により予想を解決すること。

提案手法

• 最小モデルプログラムを用いて問題をモアリファイバー空間に還元し、この場合の有界性が一般の場合の有界性を示すことの根拠とする。
• モアリファイバー空間の一般ファイバーに付随を適用し、非klt集合の構造を分析し、不変量の制約を導出する。
• リーマン–ロッホおよび漸近的コホロジーを用いた体積比較により、十分大きな$m$に対して$h^0(X, \mathcal{O}_X(-mK_X - pG))$を推定する。
• $\Delta$-線形同値性と$\Delta$-有効性を用いて、$\Delta$-因子$B \sim_{\mathbb{Q}} -K_X - tG$を構成し、非klt性の挙動をテストする。
• 連結性補題を用いて、非klt集合がファイバーと交わることを示し、一般ファイバーと交わる曲線を非klt集合内に強制する。
• 体積の初期仮定$\mathrm{Vol}(-K_X) > 144(d(\epsilon)+2)/\epsilon^2$に反する$t \leq 6/\epsilon$を示すことにより、矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の$\epsilon$-klt log Fano 3次元多様体の反標準的体積は、$\epsilon$にのみ依存する定数によって上から有界であるか？
• RQ2 3次元における弱いBAB予想は、モアリファイバー空間のケースに還元可能か？
• RQ3 3次元多様体の$\epsilon$-Fano多様体に対して、$\mathrm{Vol}(-K_X)$の鋭い上界は$\epsilon$の関数としてどのように表されるか？
• RQ4 ファイバーにおける体積推定と付随は、大きな反標準的体積の存在をどのように制約するか？
• RQ5 連結性補題を用いてファイバー上で非klt性を強制し、体積の上限に関する矛盾を導くことは可能か？

主な発見

• 弱いBAB予想は3次元で成立する：任意の$0 < \epsilon < 1$に対して、定数$M(3,\epsilon)$が存在し、すべての$\epsilon$-Fano型の$X$に対して$\mathrm{Vol}(-K_X) \leq M(3,\epsilon)$が成り立つ。
• 明示的な上界は$\mathrm{Vol}(-K_X) \leq \frac{144(d(\epsilon)+2)}{\epsilon^2}$であり、ここで$d(\epsilon)$は$d(\epsilon) \geq \frac{2}{\epsilon} - 2$を満たす最小の整数である。
• 証明は、$\mathrm{Vol}(-K_X) > \frac{144(d(\epsilon)+2)}{\epsilon^2}$ならば、ファイバー上の非klt集合の解析により矛盾が生じることを示している。
• モアリファイバー空間への還元は正当である：このようなファイブレーションにおける反標準的体積の有界性は、一般の場合の有界性を示す。
• 矛盾は、$F \simeq \mathbb{P}^1$であるファイバー上での因子の次数に起因する。$\deg(\frac{3}{t}B|_F) \geq \epsilon$により、$t \leq \frac{6}{\epsilon}$が導かれ、初期の体積仮定に反する。
• この結果により、$\epsilon$-klt log Fano 3次元多様体の集合は体積に関して有界であることが確認され、全BAB予想への重要な一歩が得られた。