[論文レビュー] Boundedness of varieties of Fano type with alpha-invariants and volumes bounded below

Wei‐Chung Chen|arXiv (Cornell University)|Oct 9, 2018

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

ひとこと要約

この論文は、固定された次元におけるklt弱Fano対の有界性を、alpha不変量と体積が0から離れており、境界係数が固定された超標準乗数の集合に属する場合に確立する。補完の有界性と対数有界性の技法を用いて、このような対が対数有界な族をなすことを証明し、先行するFano多様体に関するalpha不変量と体積が制御された場合の結果を拡張する。

ABSTRACT

We show that fixed dimensional klt weak Fano pairs with alpha-invariants and volumes bounded away from $0$ and the coefficients of the boundaries belong to the set of hyperstandard multiplicities $Φ(\mathscr{R})$ associated to a fixed finite set $\mathscr{R}$ form a bounded family. We also show $α(X,B)^{d-1}\mathrm{vol}(-(K_X+B))$ are bounded from above for all klt weak Fano pairs $(X,B)$ of a fixed dimension $d$.

研究の動機と目的

• alpha不変量と体積が有界なkltFano対が有界な族をなすかどうかを調査すること。
• log正則性が一様に下から有界でないが、代わりにalpha不変量と体積が有界であるような場合に、Borisov-Alexeev-Borisov (BAB) 予想を拡張すること。
• 有限個の有理数からなる集合に関連する超標準乗数を用いて、係数制約のもとでの対数有界性を確立すること。
• Jiangが提起した、alpha不変量の累乗と反 canonical 体積の条件の下でのkltFano多様体の有界性に関する問いに答えること。
• 固定された次元 $d$ に対して、不変量 $\alpha(X,B)^{d-1}\cdot\mathrm{vol}(-(K_X+B))$ が上から有界であることを示すこと。

提案手法

• Birkarの定理2.4（補完の有界性）を用いて、$\Phi(\mathscr{R})$ に属する係数を持つ境界 divisor の構造を制御する。
• 対数正則性閾値と体積不変量の関係を表すために、反擬効果的閾値 $\overline{\tau}$ の概念を適用する。
• 境界 divisor の $t$-変形を用いた摂動技法を用いて、係数が制御された新しい対を構成する。
• 平均化 $ K_X + \Delta \sim_{\mathbb{Q}} 0 $ と $ n' $-補完 $ \Omega $ を用いて、$ \Theta $ が有限集合に属する係数を持つ対数Calabi–Yau 対 $ (X, \Theta) $ を構成する。
• Kollárの不等式の一般化により、$ \alpha(X,B)^{d-1} \cdot \mathrm{vol}(-(K_X+B)) $ が次元 $ d $ のみに依存する定数によって上から有界であることを示す。
• 定理3.3の対数有界性基準を適用して、対の族に関する最終的な有界性結果を結論づける。

実験結果

リサーチクエスチョン

• RQ1 係数が $\Phi(\mathscr{R})$ に属し、alpha不変量と体積が0から離れているklt弱Fano対が有界な族をなすかどうか。
• RQ2 不変量 $\alpha(X,B)^{d-1} \cdot \mathrm{vol}(-(K_X+B))$ がすべての $d$ 次元 klt Fano 対に対して一様な上界をもつか。
• RQ3 固定された $d$、$\delta > 0$、$\theta > 0$ に対して、$\alpha(X)^{d-1+\delta} \cdot (-K_X)^d > \theta $ を満たすkltFano多様体の族は有界か。
• RQ4 alpha(X,B) の指数が $d-1$ より小さい場合、有界性はどのように変化するか。
• RQ5 一様なlog正則性下界ではなく、代わりに $\alpha$ と $\mathrm{vol}$ の下界を用いることで、Fano対の有界性をより弱い条件下で確立できるか。

主な発見

• 次元 $d$ のklt弱Fano対で、係数が $\Phi(\mathscr{R})$ に属し、$\alpha(X,B)^{d-1+\delta} \cdot \mathrm{vol}(-(K_X+B)) > \theta$、$\delta, \theta > 0$ を満たすもの全体の集合は、対数有界な族をなす。
• 任意の $d$ に対して、定数 $M$ が存在し、$d$ 次元のklt対におけるすべての大きな・半正定な $H$ に対して、$\mathrm{lct}((X,B),|H|_{\mathbb{Q}})^{d-1} \cdot \overline{\tau}((X,B),H) \cdot H^d \leq M$ が成り立つ。
• 不変量 $\alpha(X,B)^{d-1} \cdot \mathrm{vol}(-(K_X+B))$ は、次元 $d$ のみに依存する定数によって上から有界であり、一様な上界が確認された。
• $d$ 次元のkltFano多様体に対して、$\alpha(X)^{d-1+\delta} \cdot (-K_X)^d > \theta$ ならば、$\delta > 0$ が小さくても有界性が成立する。
• alpha の指数が $d-1$ より小さい場合、重み付き射影空間 $\mathbb{P}(1^d, n)$ を用いた反例により、有界性は成立しない。
• 互いに素な $p,q,r$ を持つ重み付き射影空間 $\mathbb{P}(p,q,r)$ の族は、体積が0から離れている場合でさえ、$(-K_X)^d$ の有界性だけでは有界性が保証されないことを示している。