[論文レビュー] Log Calabi-Yau fibrations

Caucher Birkar|arXiv (Cornell University)|Nov 26, 2018

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

ひとこと要約

本稿では、自然な数値的および特異点条件の下で、特にファノ型の対応するファイブレーションが有界な族をなすことを示す。一般化されたペア、補完、およびモーリー・ファイブレーションにおける帰納的技法を用いた枠組みを導入し、係数、ネフ部、特異点が一様に制御されることを示し、ファノ型条件の下で全空間および底空間の有界性が得られる。

ABSTRACT

In this paper we study boundedness properties and singularities of log Calabi-Yau fibrations, particularly those admitting Fano type structures. A log Calabi-Yau fibration roughly consists of a pair $(X,B)$ with good singularities and a projective morphism $X o Z$ such that $K_X+B$ is numerically trivial over $Z$. This class includes many central ingredients of birational geometry such as Calabi-Yau and Fano varieties and also fibre spaces of such varieties, flipping and divisorial contractions, crepant models, germs of singularities, etc.

研究の動機と目的

• 数値的および特異点的制約の下で、ファノ型の対数カルビ・ヤウファイブレーションの有界性を確立すること。
• このようなファイブレーションの全空間および底面上での特異点の挙動を調査すること。
• これらのファイブレーションに対して有界な補完および一様な下界を持つlc閾値の存在を証明すること。
• モーリー・ファイブレーションの塔および一般化された対数カルビ・ヤウファイブレーションへの有界性結果の拡張。
• ファノ、カルビ・ヤウ、およびクリーパントモデルといった主要な対象を統合することで、モジュライ理論および双有理幾何における帰納的議論の基盤を提供すること。

提案手法

• ネフ部を備えた一般化されたペアの枠組みを用い、モーリー・ファイブレーションにおける帰納的議論により特異点および有界性を制御する。
• 相対的補完の有界性および境界除集合の有理近似を適用し、係数およびカルティエ指数を制御する。
• ファイブレーションの塔におけるステップ数に関する帰納法を用い、一般ファイバー解析により低次元の場合に帰着する。
• 判別b-除集合のDCC性および対数ペアの有界性を用い、ファイブレーション全体にわたる特異点を制御する。
• $K_X + B \sim_{\mathbb{Q}} 0$ および $-K_X$ が $Z$ 上で大きいことから、lc閾値に対する一様な下界の存在を保証する。
• ネロン＝セベリ群および非常に正則な除集合の有界性に依拠し、全空間の対数有界性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 対数カルビ・ヤウファイブレーションのファノ型が、どのような条件下で有界な族をなすか。
• RQ2 このようなファイブレーションの全空間および底面上での特異点はどのように振る舞うか。
• RQ3 ファノ型構造を持つ対数カルビ・ヤウファイブレーションに対して、有界な（kltまたはlc）補完が存在するか。
• RQ4 これらのファイブレーションに対して、一様な下界を持つlc閾値を確立できるか。
• RQ5 モーリー・ファイブレーションの塔および一般化された対数カルビ・ヤウファイブレーションの有界性挙動はいかなるものか。

主な発見

• $(d,r,\epsilon)$-ファノ型ファイブレーションにおけるペア $(X,B)$ は、$K_X + B \sim_{\mathbb{R}} 0$ かつ $B$ の係数がDCC集合にあるとき、対数有界である。
• 自然数 $p$ および正の実数 $\delta$ が、$d, l, \Phi, \epsilon$ のみに依存するDCC集合 $\Psi$ が存在し、$B_i$ の係数は $\Psi$ に属し、$pM_i'$ はカルティエであり、$(X_i, B_i + M_i)$ は一般化された $\delta$-lc である。
• ファイブレーションの塔における全空間 $X_{l-1}$ は、$K_{X_{l-1}} + B_{l-1} + \Delta_{l-1} + M_{l-1} \sim_{\mathbb{Q}} h^*(L + A)$ かつ $-(K_{X_{l-1}} + \Delta_{l-1})$ が $X_l$ 上でアーマンプであるとき、有界である。
• $K_X + B \sim_{\mathbb{Q}} 0$ のとき、係数およびカルティエ指数の有界性により、固定された $\delta > 0$ に対して、任意の $i$ に対して一般化されたペア $(X_i, B_i + M_i)$ は一般化された $\delta$-lc である。
• $H$ の体積は上から有界であり、$H^{d-1} \cdot B$ も有界であるため、ファノ型条件の下で $(X,B)$ は対数有界である。
• ファイブレーションがファノ型であり、一般ファイバーが対数有界であるとき、帰納法および相対的補完の有界性により、底 $Z$ および全空間 $X$ は有界である。