[论文解读] Arithmetic of the [19,1,1,1,1,1] fibration

Matthias Schuett, Jakob Top|ArXiv.org|Oct 4, 2005

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

一句话总结

本文研究了在 ℚ 上具有 I₁₉ 纤维的唯一极小椭圆 K3 曲面的算术性质，该曲面通过具有显式多项式 f(t) 和 g(t) 的 Weierstrass 方程构造。利用 H²(S, ℚℓ) 上的伽罗瓦表示理论，计算了模素数的 Néron-Severi 秩，证明了对一半的素数有 ρ(S/𝔽ₚ) = 21，这与 Shioda（1994）的断言矛盾，并验证了在 p=3 和 p=19 时，关于超越格子与约化中正交补相似性的 Shioda 猜想。

ABSTRACT

This paper studies the arithmetic of the extremal elliptic K3 surface with configuration of singular fibres [19,1,1,1,1,1]. We give a model over Q such that the Neron Severi group is generated by divisors over Q, and we describe the local Hasse-Weil zeta-functions in terms of a modular form of weight 3. Furthermore we verify the Tate conjecture for the reduction at 3 and comment on a conjecture of T. Shioda concerning the similarity of the lattice of transcendental cycles and a lattice resulting from supersingular reduction.

研究动机与目标

• 解决 Shioda（1994）论文中关于对几乎所有 p 有 ρ(S/𝔽ₚ) = 20 或 22 的断言，该断言在 p ≠ 2 时因 Artin 理论而不可能成立。
• 计算在 ℚ 上具有 I₁₉ 纤维的 K3 曲面 S 的 Néron-Severi 秩 ρ(S/𝔽ₚ) 和 Hasse-Weil zeta 函数。
• 验证 Shioda 的猜想：对于素数 p = 3 和 p = 19，NS(S/ℚ) 在 NS(S/𝔽ₚ) 中的正交补与超越格子 T_S 相似。
• 提供 H²(S, ℚℓ) 的完整伽罗瓦模结构，以实现对超越格子上 Frobenius 的迹和行列式的显式计算。

提出的方法

• 曲面 S 由 Weierstrass 方程 y² = x³ - 27f(t)x + 54g(t) 定义，其中 f 和 g 分别为 8 次和 12 次多项式。
• H²(S, ℚℓ) 上的伽罗瓦表示被分解为超越格子 T_ℓ 和 20 个 ℚℓ(1) 的副本，其中 T_ℓ 被实现为一个 2 维伽罗瓦表示。
• 对于素数 p ≠ 2,3,19，通过模形式计算 T_ℓ 上 Frobenius 的迹与行列式，具体为权为 3、导子为 19 且具有二次特征的唯一新形式。
• 对于 ℚ(√-19) 中分裂与非分裂的素数，推导出 Z(S/𝔽ₚ, T) 的 zeta 函数，其结果为依赖于分裂行为的有理函数。
• 在 p = 3 和 p = 19 时，显式计算了模 p 的 Néron-Severi 群的生成元，并证明正交补 L(p) 上的交比形式与 T_S 相似。
• 证明使用了高度配对与 Néron-Tate 高度理论，显式计算了 φ(P)、φ(Q) 和 φ(R)，以纤维分量与截面表示。

实验结果

研究问题

• RQ1 根据 Artin 理论，由于 ρ = 22 在 p ≠ 2 时不可能成立，Shioda（1994）声称对几乎所有 p 有 ρ(S/𝔽ₚ) = 20 或 22 是否成立？
• RQ2 对于 ℚ 上的 [19,1,1,1,1,1] 纤维，ρ(S/𝔽ₚ) 的精确值是多少？它如何随 p 变化？
• RQ3 Shioda 的猜想是否成立：即 NS(S/ℚ) 在 NS(S/𝔽ₚ) 中的正交补与超越格子 T_S 相似，对于 p = 3 和 p = 19？
• RQ4 H²(S, ℚℓ) 上的伽罗瓦表示是否可被完全描述，以计算 zeta 函数与模 p 的 Néron-Severi 秩？
• RQ5 超越格子 T_S 的结构是什么？它与模超奇异素数约化下的 Néron-Severi 群有何关系？

主要发现

• 对密度为 1/2 的素数集合，有 ρ(S/𝔽ₚ) = 21，这与 [Sh94] 中 Shioda 的断言 ρ(S/𝔽ₚ) = 20 或 22 矛盾。
• 对于在 ℚ(√-19) 中非分裂的素数 p，zeta 函数为 Z(S/𝔽ₚ, T) = 1 / [(1-T)(1+pT)(1-pT)^21(1-p²T)]。
• 对于在 ℚ(√-19) 中分裂的素数 p，zeta 函数为 Z(S/𝔽ₚ, T) = 1 / [(1-T)(1-cT+p²T²)(1-pT)^20(1-p²T)]，其中 c 按照命题 2.1(2) 定义。
• 在 p = 3 时，NS(S/ℚ) 在 NS(S/𝔽₃) 中的正交补 L(3) 的交比形式为 -3·[[266, -95], [-95, 34]]，与超越格子 T_S 相似。
• 在 p = 19 时，L(19) 由 Θ 和 (R)-(O)-5F 生成，其交比形式为 -[[2, -1], [-1, 10]]，同样与 T_S 相似，从而验证了 Shioda 的猜想。
• 曲面 S 满足 ρ(S/ℚ) = 20，且 I₁₉ 纤维的全部 19 个分量均定义在 ℚ 上，确认 Néron-Severi 群由有理除子生成。