[论文解读] Mori dream spaces of Calabi-Yau type and the log canonicity of the Cox rings

Yūjirō Kawamata, Shinnosuke Okawa|arXiv (Cornell University)|Feb 13, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

该论文通过证明在特征零域上，一个Mori梦想空间是Calabi-Yau型的当且仅当其Cox环具有至多对数可极 singularities，从而给出了Calabi-Yau型Mori梦想空间的无猜想刻画。证明方法包括在该空间上的仿射丛上构造一个对数Calabi-Yau对，随后通过双有理收缩和通过环面商的奇点下降，再以类似方法重新证明了基于Cox环对数终端性的Fano型刻画。

ABSTRACT

We prove that a Mori dream space over a field of characteristic zero is of Calabi-Yau type if and only if its Cox ring has at worst log canonical singularities. By slightly modifying the arguments we also reprove the characterization of the varieties of Fano type by the log terminality of the Cox rings.

研究动机与目标

• 提供基于Cox环奇点的Mori梦想空间Calabi-Yau型刻画的无猜想证明。
• 在不依赖未证明猜想的前提下，重新证明基于Cox环对数终端性的Fano型刻画。
• 建立Cox环奇点与底层Mori梦想空间的双有理几何类型（Fano或Calabi-Yau）之间的精确对应关系。
• 将Cox环奇点的框架扩展至包含Calabi-Yau型变体的对数可极 singularities，推广了先前的结果。

提出的方法

• 使用 $ r = \mathrm{rank}\, \mathrm{Pic}(X) $ 个线性独立的非常 ample 除子 $ A_i $，构造一个仿射丛 $ Y = \mathrm{Spec}_X \mathrm{Sym}(\bigoplus \mathcal{O}_X(A_i)) \to X $。
• 将一个满足 $ K_X + \Delta \sim_\mathbf{Q} 0 $ 的对数Calabi-Yau对 $ (X, \Delta) $ 提升为一个满足 $ K_Y + \Delta_Y \sim_\mathbf{Q} 0 $ 且具有对数可极 singularities 的对 $ (Y, \Delta_Y) $。
• 将 $ \pi: Y \to X $ 的零截面收缩，得到一个双有理态射 $ f: Y \to Z $，从而得到一个满足 $ K_Z + \Delta_Z \sim_\mathbf{Q} 0 $ 的对数可极对 $ (Z, \Delta_Z) $。
• 证明X的Cox环的谱通过一个极小的双有理映射与 $ Z $ 相连，因此 $ Z $ 的对数可极性意味着Cox环的对数可极性。
• 对于逆向，利用Cox环的对数可极性推导出 $ -K_X $ 的 $ \mathbf{Q} $-有效性，然后对 $ (-K_X) $-MMP 进行到一个半ample模型 $ X_N $。
• 证明Cox环的对数可极性在自由环面作用下可下降到商空间 $ X_N $，因此 $ X_N $ 为Calabi-Yau型，再通过反向MMP推导出 $ X $ 为Calabi-Yau型。

实验结果

研究问题

• RQ1 Mori梦想空间是Calabi-Yau型当且仅当其Cox环具有至多对数可极 singularities 吗？
• RQ2 能否在不假设任何猜想的前提下，重新证明基于Cox环对数终端性的Fano型变体刻画？
• RQ3 在Mori梦想空间的背景下，Cox环的对数可极性是否能通过环面商下降？
• RQ4 能否利用Mori梦想空间上的反canonical MMP，从Cox环的奇点性质推导出Calabi-Yau型性质？

主要发现

• 在特征零域上，一个Mori梦想空间 $ X $ 是Calabi-Yau型当且仅当其Cox环具有至多对数可极 singularities。
• 在‘仅当’方向的证明中，构造了一个在 $ X $ 上的仿射丛上的对数Calabi-Yau对，收缩零截面，并证明所得空间具有对数可极 singularities，且这些奇点可提升至Cox环。
• 在‘当’方向中，利用Cox环的对数可极性推导出 $ -K_X $ 的 $ \mathbf{Q} $-有效性，然后对 $ (-K_X) $-MMP 进行到一个半ample模型 $ X_N $，该模型具有对数可极 singularities。
• Cox环的对数可极性在自由环面作用下可下降到商空间 $ X_N $，因此 $ X_N $ 为Calabi-Yau型，且MMP可逆推，从而得出 $ X $ 为Calabi-Yau型。
• 相同方法可重新证明Fano型刻画：一个 $ \mathbf{Q} $-因子化的Mori梦想空间是Fano型当且仅当其Cox环为对数终端且有限型。
• 结果在特征零域上建立，且论证避免了对未证明猜想的依赖，与早期版本结果不同。