Definition 1.
我们称一个簇 𝑋 为 Fano 簇,如果 𝐾𝑋 是 ample 的。
Definition 2.
我们称一个簇 𝑋 为 𝐾-trivial 簇,如果 𝐾𝑋∼𝑄0.
MMP: 𝑋=𝑋0→𝑋1→⋯→𝑋𝑚, 这个过程 contracting 𝐾𝑋 negative curves.
𝑋𝑖𝑑𝑖𝑣 𝑐𝑜𝑢𝑛𝑡←←←←←←←←←←←←←→𝑋𝑖+1
Definition 3.
设 𝐷 是一个射影簇的 collection, 𝑆 是 schme of finite type.
-
1.
我们称 𝐷 为 bounded 如果存在射影态射 ℎ:𝔛→𝑆, 使得对任意 𝑥∈𝐷,∃𝑠∈𝑆, 𝑋≃𝔛𝑠.
-
2.
birationally bounded, 如果 𝑋 和 𝔛𝑠 是双有理等价。
-
3.
bounded in codim 1, 如果 𝑋 和 𝔛𝑠 在余维数为 1 的时候是同构的。
Definition 4.
设 (𝑋,𝐵)∈𝐷, 其中 𝐵 是一个线丛。 (𝔛,E)→𝑆.
Proposition 5.
如果存在常数 𝑟,使得对于每个 (X,B) ∈D, 都能找到 𝑋 上 very ample 除子 𝐴, 满足
𝐴dim𝑋<𝑟,𝐴dim𝑋−1⋅Supp 𝐵<𝑟,
那么 𝐷 是 log bounded 的。
Proposition 6 (Hacon-McKernan-Xu).
(𝑋,𝐵) log canonical model, 𝐾𝑋+𝐵 ample, dim𝑋=𝑑, fix 𝑣𝑜𝑙(𝐾𝑋+𝐵).
𝑣𝑜𝑙(𝐾𝑋+𝐵)=―――lim𝑚→∞ℎ0(𝑋,O𝑋(⌊𝑚(𝐾𝑋+𝐵)⌋))𝑚𝑑/𝑑!.
<𝑟⟹ bir bounded, =𝑟⟹ log bounded.
Proposition 8.
E-lc Fano type var bounded.
问题:所有的 𝑑 维 Calabi-Yau 流形都是 bounded 的吗?
考虑 ̃𝑋𝑒𝑡𝑎𝑙𝑒𝑐𝑜𝑣𝑒𝑟←←←←←←←←←←←←←←→𝑋,
那么
̃𝑋≃𝐴×∏𝐼𝐻𝑖×∏𝑗𝑌𝑗.
𝐴 是 abel 簇, 𝐻 是 hyperkahler factor, 𝑌 是 strict Calabi Yau factor.
当 dim𝑌≥3 的时候,这个问题非常困难。但是如果 𝑓:𝑌→𝑋, dim𝑋=dim𝑌−1 的时候,这个 3 fold 的问题已经被解决。
Proposition 9 (Goss).
The set of (𝑋,𝑆,ℎ), ℎ:𝑋→𝑆 elliptic CY 3 fold are birationally bounded.
Proposition 10.
Proj elliptic CY 3 folds are bounded.
Proposition 11.
The set of Proj var 𝑌 使得
-
1.
-
2.
𝑓:𝑌→𝑋 elliptic fib with a rational section.
is bounded up to flops.
(1) 𝑌 CY mld dim𝑌=𝑑.
(2) 𝑓:𝑌→𝑋 elliptic fib with a rational section .
Natural strategry
bdd the base 𝑋
bdd the fiberation ← need the rational section.
section 𝑆 for 𝑓:𝑌→𝑋 after biration modification (𝑌,𝑆) plt. consider minimal model of (𝑌,12(𝑆+𝑓∗𝐻)). 𝑣𝑜𝑙(𝐾𝑌+𝑆+𝑓∗𝐻) bdd ⟹ log bir bdd ⟹ log bdd.
Canonical bundle formula → log CY structure on 𝑋.
设 𝑓:(𝑌,Δ𝑌)→𝑋 是 lc-trivial fibration.
那么我们有 𝐾𝑌+Δ𝑌∼ℚ𝑓∗(𝐾𝑋+𝐵𝑋+𝑀𝑋). 如果 𝑌 是 𝐾-trivial 的,那么
𝐾𝑌∼ℚ0. 那么基底上得到 𝐾𝑋+𝐵𝑋+𝑀𝑋∼ℚ0. 因此 (𝑋,𝐵𝑋+𝑀𝑋) 是一个 generalized log Calabi-Yau pair。其中 𝐵𝑋 是 discriminant part, 𝑀𝑋 是 moduli part.
𝐵𝑋 记录的是: 纤维在余维 1 处的奇异性和重数。𝑀𝑋 衡量了 𝑓 的 variation.
Proposition 12.
𝑋 是 rationally connected.
Theorem 13.
𝑑≥3, 𝑓:𝑋→𝑌, dim𝑌<dim𝑋=𝑑. 𝑋 是 CY.
general fiber
{(𝐴𝑉)(𝑃𝑆) primitive symplectic var of a fixed deform class
那么是 birationally bounded.
Corollary 14.
Fibered CY 3-fold bounded.
1 Abelian fibrations Tate-Shafarevich groups/twists
Definition 15.
A minimal elliptic fiber is a morphism 𝑓:𝑆→𝐶 使得 𝑆 是一个光滑曲面, 𝐶 是一个光滑曲线, 𝑓 是 flat proj 并且有 connected fibers, general fibers of 𝑓 are elliptic curves, 𝑆 is min/ℂ(ie. 𝐾𝑆 is num 𝑓-trivial)