[论文解读] Models of Brauer-Severi surface bundles

Andrew Kresch, Yuri Tschinkel|Zurich Open Repository and Archive (University of Zurich)|Aug 21, 2017

Algebraic Geometry and Number Theory参考文献 37被引用 7

一句话总结

本文利用根叠（root stacks）构建了一个全局几何框架，用于构造标准的布饶尔-希伯里表面丛——即在光滑代数簇上具有非平凡 $\mathbb{P}^2$ 一般纤维的纤维丛——并确立其在有理性问题中的作用。研究证明，关于度数为 2 的德尔皮诺面的非常一般此类丛并非稳定有理，将专门化方法的应用从二次曲线丛推广至更高维纤维丛。

ABSTRACT

We study Brauer-Severi surface bundles over smooth projective varieties via root stacks, with a view towards applications to failure of stable rationality.

研究动机与目标

• 将稳定有理性的专门化方法从二次曲线丛推广至一般纤维为非平凡 $\mathbb{P}^2$ 形式的纤维丛。
• 利用根叠构造具有可控退化性的布饶尔-希伯里表面丛的全局模型。
• 在全局、函子性设定下实现阿廷-前田的局部构造的几何实现。
• 将该框架应用于证明在度数为 2 的德尔皮诺面上的非常一般布饶尔-希伯里表面丛具有非稳定有理性。

提出的方法

• 利用根叠解决奇点问题，并构造在简单交叉除子上具有可控退化的平坦、射影态射。
• 应用函子性嵌入解消与奇点消去，将问题约化为在判别除子上具有指定纤维类型的布饶尔-希伯里表面丛的标准形式。
• 利用相对半正线丛与法丛构造，通过普遍性质将展开视为收缩映射。
• 利用收缩的普遍性质，将态射 $\pi: X \to Y$ 特征化为通过退化纤维局部的任何态射的普遍解。
• 利用上同调消去与正则生成条件，确保半正线丛的存在性及在基上的平坦性。
• 依赖相对正性理论与形式函数理论，验证高阶上同调的消去性，并构造所需的收缩映射。

实验结果

研究问题

• RQ1 能否将萨基索夫程序与阿廷-前田的局部构造全局化至一般纤维为非平凡 $\mathbb{P}^2$ 形式的纤维丛？
• RQ2 在光滑基上标准布饶尔-希伯里表面丛中，退化纤维的精确几何结构为何？
• RQ3 根叠如何用于构造具有可控奇点与平坦性的此类纤维丛的模型？
• RQ4 在度数为 2 的德尔皮诺面上的布饶尔-希伯里表面丛族中，存在哪些阻碍稳定有理性的障碍？
• RQ5 专门化方法能否被推广至超越二次曲线与二次曲面丛的更高维纤维丛？

主要发现

• 在光滑射影代数簇 $S$ 上，若满足解消假设，则存在标准布饶尔-希伯里表面丛，其纤维在判别除子的光滑部分上为三个 $\mathbb{F}_1$ 曲面的并，在其奇点部分上为一个扭三次曲线的锥。
• 该构造产生一个双有理模型 $\tilde{X} \to \tilde{S}$，使得 $\tilde{\pi}: \tilde{X} \to \tilde{S}$ 为标准布饶尔-希伯里表面丛，推广了阿廷-前田的局部结果。
• 态射 $\tilde{\pi}$ 是平坦的，且退化性由判别除子及其奇点部分的几何结构所控制。
• 对于度数为 2 的德尔皮诺面 $S$ 上线性系统 $|d(-K_S)|$ 中的非常一般成员（$d \geq 3$），其对应的布饶尔-希伯里表面丛并非稳定有理。
• 非稳定有理性的结论通过专门化方法建立，依赖于存在具有非平凡未分支上同调与适度奇点的特殊纤维。
• 该框架为阿廷与前田的局部构造提供了全局、函子性的版本，使该方法可应用于模问题与有理性问题。