[论文解读] On the classification of degree 1 elliptic threefolds with constant $j$-invariant

Remke Kloosterman|arXiv (Cornell University)|Dec 16, 2008

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

一句话总结

本文分类了具有有理基与常数 $j$-不变量的度数 1 椭圆三倍积，重点关注 Mordell-Weil 群结构与奇异纤维配置。通过在加权射影空间 $\mathbf{P}(2,3,1,1,1)$ 中使用 Weierstrass 模型，利用涉及局部上同调与 Hodge 理论的上同调方法计算 Mordell-Weil 群，证明当 $j=0$ 时，Mordell-Weil 群可为 $0$、$\mathbf{Z}/3\mathbf{Z}$、$(\mathbf{Z}/2\mathbf{Z})^2$ 或 $\mathbf{Z}^{2r}$（$r=1,2,3$），并给出判别曲线的显式几何条件。

ABSTRACT

We describe the possible Mordell-Weil groups for degree 1 elliptic threefold with rational base and constant $j$-invariant. Moreover, we classify all such elliptic threefolds if the $j$-invariant is nonzero. We can use this classification to describe a class of singular hypersurfaces in $\Ps(2,3,1,1,1)$ that admit no variation of Hodge structure.

研究动机与目标

• 对具有有理基与常数 $j$-不变量、且非通过锥构造得到的度数 1 椭圆三倍积进行完全分类。
• 确定此类三倍积可能的 Mordell-Weil 群，特别是 $j=0$、$j=1728$ 与 $j\neq 0,1728$ 的情形。
• 将 Mordell-Weil 群结构与 Weierstrass 模型中判别曲线的奇点配置联系起来。
• 基于上同调纯性与 Hodge 型，确定此类三倍积何时不具有 Hodge 结构的变化。

提出的方法

• 将椭圆三倍积建模为 $\mathbf{P}(2,3,1,1,1)$ 中的超曲面 $Y \subset \mathbf{P}(2,3,1,1,1)$，其方程为 $y^2 = x^3 + AP^2x + BP^3$（当 $j \neq 0,1728$ 时），或 $y^2 = x^3 + R$、$y^2 = x^3 + Qx$（当 $j=0$ 或 $j=1728$ 时），其中 $P$、$Q$、$R$ 分别为次数为 2、4、6 的齐次多项式。
• 利用同构 $\operatorname{MW}(\pi) \cong \operatorname{coker}(F^2H^4(\mathbf{P} \setminus Y, \mathbf{C}) \to \bigoplus_{p \in \mathcal{P}} H^4_p(Y, \mathbf{C}))$，通过在奇点处的局部上同调计算 Mordell-Weil 的秩。
• 应用 Dimca 对孤立、半加权齐次奇点的方法，以及 Hulek-Kloosterman 对非孤立加权齐次奇点的推广。
• 对非加权齐次孤立奇点使用 Brieskorn 方法与 Singular 软件，但指出此类实现依赖结果为条件性。
• 将余核分解为复乘法作用下的特征子空间，以分析 Mordell-Weil 群的秩。
• 将 Mordell-Weil 群与判别曲线的几何联系起来：例如当 $j=0$ 时，六次曲线上尖点的数量与配置决定群结构。

实验结果

研究问题

• RQ1 对于具有有理基与常数 $j$-不变量、且非通过锥构造得到的度数 1 椭圆三倍积，可能的 Mordell-Weil 群有哪些？
• RQ2 当 $j=0$ 时，奇异纤维的配置——特别是尖点的数量与排列——如何决定 Mordell-Weil 群？
• RQ3 在判别曲线满足何种几何条件时，Mordell-Weil 群为 $\mathbf{Z}^{2r}$（$r=1,2,3$）？
• RQ4 为何某些具有 $j=0$ 且含 9 个尖点的三倍积不具有 Hodge 结构的变化？
• RQ5 对于由 6 条直线构成的六次曲线，Mordell-Weil 群能否为 $\mathbf{Z}^8$？若不能，原因是什么？

主要发现

• 当 $j \neq 0,1728$ 时，Mordell-Weil 群恒为 $({\mathbf{Z}}/2{\mathbf{Z}})^2$，对应于光滑圆锥曲线的判别曲线。
• 当 $j=1728$ 时，Mordell-Weil 群同构于 $({\mathbf{Z}}/2{\mathbf{Z}})$、$({\mathbf{Z}}/2{\mathbf{Z}})^2$ 或 $({\mathbf{Z}}/2{\mathbf{Z}}) \times {\mathbf{Z}}^2$，具体取决于判别曲线 $Q=0$ 的配置。
• 当 $j=0$ 时，Mordell-Weil 群为 $0$、${\mathbf{Z}}/3{\mathbf{Z}}$、$({\mathbf{Z}}/2{\mathbf{Z}})^2$ 或 ${{\mathbf{Z}}}^{2r}$（$r=1,2,3$），其中 $r=3$ 在判别曲线含 9 个尖点时实现。
• 当判别曲线为含 9 个尖点的约化六次曲线（对偶于光滑三次曲线）时，Mordell-Weil 的秩为 6，且 $H^4(Y,\mathbf{Q}) \cong \mathbf{Q}(-2)^7$，意味着无 Hodge 结构的变化。
• 对于由 6 条直线构成的六次曲线，Mordell-Weil 群 $\mathbf{Z}^8$ 不可能实现，因为此类奇点导致局部上同调平凡，迫使 Mordell-Weil 群为有限。
• 确认了 $\mathbf{Z}^{2r}$（$r=0,1,2,3$）的存在性：$r=0$ 对应 $m \leq 5$ 或 $m=6$ 且尖点不在圆锥曲线上；$r=1$ 对应 $m=6$ 且尖点位于圆锥曲线上；$r=2,3$ 分别对应 $m=8,9$。