2025-11-10T02:34:59.194619

Rational points on K3 surfaces of degree 2

MartÃnez-MarÃn

A K3 surface over a number field has infinitely many rational points over a finite field extension. For K3 surfaces of degree 2, arising as double covers of $\mathbb{P}^2$ branched along a smooth sextic curve, we give a bound for the degree of such an extension. Moreover, using ideas of van Luijk and a surface constructed by Elsenhans and Jahnel, we give an explicit family of K3 surfaces of degree 2 defined over $\mathbb{Q}$ with geometric Picard number 1 and infinitely many $\mathbb{Q}$-rational points that is Zariski dense in the moduli space of K3 surfaces of degree 2.

academic

Rational points on K3 surfaces of degree 2

基本信息

论文ID: 2505.13262
标题: Rational points on K3 surfaces of degree 2
作者: Júlia Martínez-Marín (University of Bristol)
分类: math.NT (Number Theory), math.AG (Algebraic Geometry)
发表时间: 2025年5月 (arXiv预印本，2025年10月15日修订)
论文链接: https://arxiv.org/abs/2505.13262

摘要

本文研究数域上2次K3曲面的有理点问题。作者证明了对于2次K3曲面（即沿光滑六次曲线分支的 $\mathbb{P}^2$ 的双覆盖），存在一个有限域扩张使得该曲面在此扩张上有无穷多个有理点，并给出了扩张次数的上界。此外，利用van Luijk的思想和Elsenhans-Jahnel构造的曲面，作者给出了一个显式的2次K3曲面族，这些曲面定义在 $\mathbb{Q}$ 上，具有几何Picard数1和无穷多个 $\mathbb{Q}$ -有理点，且在2次K3曲面的模空间中Zariski稠密。

研究背景与动机

核心问题：K3曲面作为Kodaira维数为0的重要代数曲面，其有理点的分布是代数几何和数论中的基本问题。特别地，K3曲面的有理点是否在某个有限域扩张上潜在稠密（potentially dense）是一个重要的猜想。
问题重要性：
- K3曲面是除了有理曲面和ruled曲面之外唯一已知的Kodaira维数为0的曲面类型
- 理解K3曲面的有理点分布对于理解更一般的代数簇的算术性质具有重要意义
- 这与Swinnerton-Dyer和Poonen在2002年提出的问题直接相关
现有研究局限：
- 虽然已知椭圆K3曲面（几何Picard数≥2）具有潜在稠密的有理点
- 但对于几何Picard数为1的K3曲面，van Luijk在2005年首次给出了4次K3曲面的例子
- 对于2次K3曲面的情况，缺乏系统的研究和显式构造
研究动机：将van Luijk的方法推广到2次K3曲面，并给出具体的域扩张次数界限。

核心贡献

理论结果：证明了任何数域K上的2次K3曲面X，都存在一个次数不超过12的域扩张L/K，使得X(L)是无穷的（定理1.1）
构造性证明：给出了寻找包含几何亏格1曲线的构造性方法，证明了在次数至多6的扩张上总能找到这样的曲线（引理4.1）
椭圆曲线理论应用：证明了对于形如 $y^2 = h(x)$ 的亏格1曲线（其中 $h$ 是4次可分多项式），存在无穷多个2次域扩张使得曲线具有非挠有理点（命题4.2）
显式族构造：构造了一个显式的2次K3曲面族，具有几何Picard数1和无穷多个 $\mathbb{Q}$ -有理点，且在模空间中Zariski稠密（定理1.3）

方法详解

任务定义

研究2次K3曲面 $X$ 的有理点分布，其中 $X$ 由方程 $w^2 = f(x,y,z)$ 定义， $f$ 是齐次6次多项式，使得曲线 $V(f) \subset \mathbb{P}^2$ 光滑。目标是：

找到域扩张的次数上界，使得 $X$ 在该扩张上有无穷多有理点
构造具有特定性质的显式K3曲面族

核心方法架构

第一步：寻找亏格1曲线（引理4.1）

切线方法：对于分支曲线 $B = V(f) \subset \mathbb{P}^2$ 上的点 $P$ ，考虑在 $P$ 处的切线 $\ell$
预像分析：计算双覆盖 $\pi: X \to \mathbb{P}^2$ 下切线 $\ell$ 的预像 $C = \pi^{-1}(\ell)$
亏格计算：由于 $\ell$ 与 $B$ 在 $P$ 处相切，交点重数至少为2，这导致 $C$ 具有奇点，其正规化 $\tilde{C}$ 的亏格为1

第二步：椭圆曲线上的非挠点（命题4.2）

对于形如 $y^2 = h(x)$ 的亏格1曲线 $C$ （ $h$ 是4次可分多项式）：

有理点构造：对于 $\alpha \in K$ ，在域扩张 $K_\alpha = K(\sqrt{h(\alpha)})$ 上， $C$ 获得有理点 $(α, ±\sqrt{h(α)})$
Merel定理应用：如果所有这些点都是挠点，则由Merel定理，它们的阶有统一上界
矛盾论证：但椭圆曲线的 $m$ -挠点群 $E[m] \cong \mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/m\mathbb{Z}$ ，不能有无穷多个有界阶的不同点