[论文解读] Cylinders in del Pezzo fibrations

Adrien Dubouloz, Takashi Kishimoto|arXiv (Cornell University)|Jul 4, 2016

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

一句话总结

本文建立了具有垂直柱面的 del Pezzo 纤维丛的完整刻画：对于度数为 $d$ 的 del Pezzo 纤维丛 $ \pi: V \to W$，其包含一个垂直 $ \mathbb{A}^1$-柱面当且仅当 $d \geq 5$ 且 $ \pi$ 允许一个有理截面。对于度数 $d \leq 4$ 的纤维丛，作者在全空间中构造了扭曲柱面，表明即使缺乏垂直柱面，此类纤维丛仍可包含仿射三乘积作为开子集。

ABSTRACT

We show that a del Pezzo fibration $π$ : V $ ightarrow$ W of degre d contains a vertical open cylinder, that is, an open subset whose intersection with the generic fiber of $π$ is isomorphic to $Z imes\mathbb{A}_{K}^{1}$ for some quasi-projective variety Z defined over the function field K of W , if and only if d $\ge$ 5 and $π$ : V $ ightarrow$ W admits a rational section. We also construct twisted cylinders in total spaces of threefold del Pezzo fibrations $π$ : V $ ightarrow$ P 1 of degree d $\le$ 4.

研究动机与目标

• 刻画 del Pezzo 纤维丛 $\pi: V \to W$ 何时包含一个垂直 $\mathbb{A}^1$-柱面，即存在一个开子集，其在 $W$ 的函数域上同构于 $Z \times \mathbb{A}^1$。
• 研究度数 $d \leq 4$ 的 del Pezzo 纤维丛全空间中扭曲 $\mathbb{A}^1$-柱面的存在性，这些柱面虽非垂直，但仍包含仿射三乘积。
• 提供 del Pezzo 纤维丛中柱面的完整分类，扩展对高维中无扭群作用与双有理几何的理解。
• 显式构造度数 $d \leq 4$ 的 del Pezzo 纤维丛 $\pi: V \to \mathbb{P}^1$ 的族，其全空间包含与 $\mathbb{A}^3$ 同构的扭曲柱面。

提出的方法

• 在基空间 $W$ 上使用相对极小模型程序（MMP）技术，特别关注相对锥曲线中的相对收缩与极射线，即 $\overline{NE}(\tilde{\mathbb{P}}/\mathbb{P}^1)$。
• 通过在点与曲线上的逐次 blow-up，构造有理映射 $\overline{f}: \mathbb{P}^3 \dashrightarrow \mathbb{P}^1$ 的良好解析 $\sigma: \tilde{\mathbb{P}} \to \mathbb{P}^3$。
• 计算法丛与邻接公式，验证某些例外除子 $E_6$ 同构于 $\mathbb{P}^1 \times \mathbb{P}^1$ 且法丛为 $\mathcal{O}(-1,-1)$，从而确保其为极射线且可收缩。
• 验证限制映射 $\sigma_6|_{E_6}: E_6 \to L_5$ 为平凡的 $\mathbb{P}^1$-丛，从而在相对锥曲线中识别出一条极射线。
• 应用相对 MMP 收缩除子 $E_6$，得到一个新的三乘积，其纤维结构得以保持，且柱面结构变得可见。
• 利用垂直柱面存在的事实等价于在函数域 $K(W)$ 上的通用纤维中存在 $\mathbb{A}^1$-柱面，从而将问题简化为纤维条件。

实验结果

研究问题

• RQ1 何时一个 del Pezzo 纤维丛 $\pi: V \to W$ 允许一个垂直 $\mathbb{A}^1$-柱面，即存在一个开子集，其在 $K(W)$ 上同构于 $Z \times \mathbb{A}^1$（$Z$ 为某代数簇）？
• RQ2 度数 $d \leq 4$ 的 del Pezzo 纤维丛中，垂直柱面存在的障碍是什么？
• RQ3 即使不存在垂直柱面，度数 $d \leq 4$ 的 del Pezzo 纤维丛全空间中是否仍可能存在扭曲 $\mathbb{A}^1$-柱面？
• RQ4 如何显式构造度数 $d \leq 4$ 的 del Pezzo 纤维丛，使其全空间包含同构于 $\mathbb{A}^3$ 的开子集？
• RQ5 有理截面的存在在 del Pezzo 纤维丛中垂直柱面存在性中起什么作用？

主要发现

• del Pezzo 纤维丛 $\pi: V \to W$ 包含垂直 $\mathbb{A}^1$-柱面当且仅当其度数 $d \geq 5$ 且 $\pi$ 允许一个有理截面。
• 对于 $\mathbb{P}^1$ 上度数 $d \leq 4$ 的 del Pezzo 纤维丛，不存在垂直 $\mathbb{A}^1$-柱面，原因在于全空间的非有理性和无有理化性带来的障碍。
• 尽管缺乏垂直柱面，作者仍显式构造了 $\pi: V \to \mathbb{P}^1$ 度数 $d \leq 4$ 的 del Pezzo 纤维丛族，其全空间包含与 $\mathbb{A}^3$ 同构的扭曲 $\mathbb{A}^1$-柱面。
• 该构造依赖于通过六次 blow-up 对有理映射 $\mathbb{P}^3 \dashrightarrow \mathbb{P}^1$ 的良好解析，最终得到一个同构于 $\mathbb{P}^1 \times \mathbb{P}^1$ 的除子 $E_6$，其法丛为 $\mathcal{O}(-1,-1)$。
• 证明了除子 $E_6$ 在相对锥曲线中为极射线，从而可在相对 MMP 中被收缩，导致全空间中出现扭曲柱面。
• 最终构造得到一个双有理模型，其中通用纤维在函数域上包含一个 $\mathbb{A}^1$-柱面，从而确认了全空间中存在一个与 $\mathbb{A}^3$ 同构的扭曲 $\mathbb{A}^3$-开子集。