[论文解读] Elliptic Three-folds I: Ogg-Shafarevich Theory

Igor Dolgachev, Mark Gross|ArXiv.org|Oct 30, 1992

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

一句话总结

本文将Ogg-Shafarevich理论推广至椭圆三纤维丛，通过构建一个框架以计算高维空间中的Tate–Shafarevich群，将其与Brauer群及多重纤维联系起来。研究证明孤立的多重纤维仅可能出现在特定Kodaira型的碰撞处，并据此构造了首个已知的具有非平凡3阶Brauer群（${\bf Z}/3{\bf Z}$）的有理曲面三纤维丛。

ABSTRACT

We calculate the Tate-Shafarevich group of an elliptic three-fold $f:X ightarrow S$ when $X$ and $S$ are regular and $f$ is flat, relating it to the Brauer group of $X$ and $S$. We show that given certain hypotheses on $f$, the Tate-Shafarevich group has the interpretation of isomorphism classes of elliptic curves over the function field of $S$ which have the same jacobian as the generic fibre of $f$, and for which there exists a relatively minimal model which has no multiple fibres. We use this to give examples of elliptic fibrations with isolated multiple fibres, and also to give a new counterexample to the Luroth problem in dimension three. This is a revised, hopefully improved, version with a few extra theorems and a few errors corrected.

研究动机与目标

• 将Ogg-Shafarevich理论从曲线上的椭圆纤维丛推广至更高维基空间，特别是三纤维丛。
• 通过多重纤维和étale局部截面刻画Tate–Shafarevich群。
• 构造一个具有非平凡3阶Brauer群的有理曲面三纤维丛，为有理性提供新的障碍。
• 利用Mori理论与Miranda模型，深化对椭圆纤维丛是否存在无孤立多重纤维模型的理解。

提出的方法

• 将Tate–Shafarevich群$\hbox{\tencyr Sh}_{S}(A)$定义为在$S$的每一点的étale邻域上基变换后变为平凡的Weil–Châtelet类的子群。
• 通过étale上同调与层论技巧，将$\hbox{\tencyr Sh}_{S}(A)$与总空间和基空间的Brauer群联系起来。
• 在基空间的爆破上构造Miranda模型，以保证光滑性并控制纤维结构，从而实现Tate–Shafarevich群的计算。
• 利用Mori的极小模型程序分析纤维丛的结构，限制孤立多重纤维可能出现的类型。
• 在余维数为二的点处进行局部分析，分类可能导致孤立多重纤维的判别式分量碰撞。
• 通过$\mathbb{P}^2$中一个立方曲线族的雅可比簇构造一个有理曲面三纤维丛，证明其Brauer群为$\mathbf{Z}/3\mathbf{Z}$。

实验结果

研究问题

• RQ1 对于高维基空间上的椭圆纤维丛，Tate–Shafarevich群的结构是什么？如何通过几何模型计算它？
• RQ2 在椭圆三纤维丛中，哪些类型的孤立多重纤维可能出现？其判别式支集需满足何种条件？
• RQ3 能否构造一个具有非平凡Brauer群的有理曲面三纤维丛？这对有理性意味着什么？
• RQ4 对数变换与基变换如何影响Tate–Shafarevich群以及有理截面的存在性？

主要发现

• Tate–Shafarevich群$\hbox{\tencyr Sh}_{S}(A)$同构于Brauer群$\mathop{\rm Br}(X)$中在所有纤维上平凡的类所组成的子群。
• 在椭圆三纤维丛中，孤立多重纤维仅可能出现在Kodaira纤维型$ I_{M_1} + I_{M_2}^* $（$M_1$为偶数）或$ I_0^* + III $的碰撞处，前提是采用Miranda模型。
• 在$\mathbb{P}^2$中一个立方曲线族的雅可比簇的Brauer群为$\mathbf{Z}/3\mathbf{Z}$，这是首个具有非平凡3阶Brauer群的有理曲面三纤维丛的实例。
• 对于与判别式支集横截相交且所有纤维均为不可约的曲线$Z \subset S$，有$\hbox{\tencyr Sh}_{S\setminus Z}(A) \cong \hbox{\tencyr Sh}_S(A)$，这意味着沿$Z$不可能存在对数变换。
• 在二次曲面上的椭圆曲线族的雅可比簇双有理同构于沿四次对称柱面分支的双重立体，这是Lüroth问题的一个已知反例。
• 通过修改立方曲线族构造中的论证，确立了雅可比簇的有理曲面性，但因其非平凡Brauer群而证明其非有理曲面。