2025-11-20T17:37:15.751119

Diophantine stability for elliptic curves on average

Ray, Weston

Let $K$ be a number field and $\ell \geq 5$ a prime number. Mazur and Rubin introduced the notion of diophantine stability for a variety $X_{/K}$ at a prime $\ell$. We show that there is a positive density set of elliptic curves $E_{/\mathbb{Q}}$ of rank $1$ such that $E_{/K}$ is diophantine stable at $\ell$. This has implications for Hilbert's Tenth Problem over $\mathscr{O}_K$. This problem asks whether there exists an algorithm that decides in finite time whether a finite system of Diophantine equations over $\mathscr{O}_K$ has a solution.

academic

Diophantine stability for elliptic curves on average

基本信息

论文ID: 2304.09742
标题: Diophantine stability for elliptic curves on average
作者: Anwesh Ray (Chennai Mathematical Institute), Tom Weston (University of Massachusetts)
分类: math.NT (Number Theory)
发表时间: 2023年4月，最新版本2025年10月
论文链接: https://arxiv.org/abs/2304.09742

摘要

设 $K$ 为数域， $\ell \geq 5$ 为素数。Mazur和Rubin引入了簇 $X/K$ 在素数 $\ell$ 处的丢番图稳定性概念。本文证明存在正密度的秩为1的椭圆曲线 $E/\mathbb{Q}$ 使得 $E/K$ 在 $\ell$ 处是丢番图稳定的。这对数环 $\mathscr{O}_K$ 上的希尔伯特第十问题具有重要意义。该问题询问是否存在算法能在有限时间内判定 $\mathscr{O}_K$ 上的有限丢番图方程组是否有解。

研究背景与动机

核心问题

本文研究椭圆曲线的丢番图稳定性及其与希尔伯特第十问题的关系。希尔伯特第十问题询问是否存在算法判定整数上的丢番图方程是否有解，Matiyasevich已证明该问题对整数环 $\mathbb{Z}$ 有否定答案。

研究重要性

理论意义：丢番图稳定性是连接椭圆曲线算术性质与可计算性理论的桥梁
实际应用：对数域整数环上希尔伯特第十问题的可判定性有直接影响
统计视角：从平均意义上研究椭圆曲线族的算术性质

现有方法局限性

Mazur-Rubin的结果仅对特定素数集合成立
缺乏从统计角度研究丢番图稳定性的系统方法
需要更强的密度结果来获得希尔伯特第十问题的广泛应用

核心贡献

主要定理A：证明对任意数域 $K$ 和素数 $\ell \geq 5$ ，在 $K$ 上 $\ell$ -丢番图稳定的椭圆曲线集合具有密度1
主要定理B：证明同时满足秩为1且 $\ell$ -丢番图稳定的椭圆曲线集合具有正下密度
应用定理C：建立了丢番图稳定性与希尔伯特第十问题否定性在循环扩张中传播的结果
方法创新：发展了结合筛法与Galois理论的统计方法

方法详解

任务定义

丢番图稳定性：椭圆曲线 $E/K$ 在素数 $\ell$ 处丢番图稳定，当且仅当对所有 $n \geq 1$ 和有限素理想集 $\Sigma$ ，存在无穷多个 $\ell^n$ 次循环扩张 $L/K$ 使得：

$E(L) = E(K)$ （点集不变）
$\Sigma$ 中所有素理想在 $L$ 中完全分裂

核心技术框架

1. Mazur-Rubin判别准则

对无复乘的椭圆曲线 $E/\mathbb{Q}$ 和数域 $K$ ，若满足以下条件则 $E/K$ 在 $\ell$ 处丢番图稳定：

$E[\ell]$ 作为 $G_K$ -模不可约
$H^1(K(E[\ell])/K, E[\ell]) = 0$
$K(\mu_\ell)$ 的 $\ell$ 次Abel扩张不包含在 $K(E[\ell])$ 中
存在 $\tau_0 \in G_{K(\mu_\ell)}$ 使得 $E[\ell]/(\tau_0-1)E[\ell] = 0$
存在 $\tau_1 \in G_{K(\mu_\ell)}$ 使得 $\dim_{\mathbb{F}_\ell}(E[\ell]/(\tau_1-1)E[\ell]) = 1$

2. 剩余表示方法

引入剩余Galois表示 $\bar{\rho}_E: G_\mathbb{Q} \to GL_2(\mathbb{F}_\ell)$ 和投影表示 $\bar{\rho}'_E: G_\mathbb{Q} \to GL'_2(\mathbb{F}_\ell)$ ，其中 $GL'_2(\mathbb{F}_\ell) = GL_2(\mathbb{F}_\ell)/\langle -1 \rangle$ 。

关键集合定义： $T_{K,\ell} = \{E/\mathbb{Q} : \bar{\rho}'_E \text{满射且} \tilde{K}(\mu_\ell) \not\supset \mathbb{Q}(\bar{\rho}'_E)\}$

3. 统计分析工具

利用Duke定理和大筛不等式：

Duke定理：密度1的椭圆曲线具有满射的剩余表示
大筛方法：控制具有相同剩余表示的椭圆曲线族的密度

技术创新点

表示论方法：巧妙利用 $PSL_2(\mathbb{F}_\ell)$ 的单纯性
密度估计：通过Frobenius迹的分布分析椭圆曲线族
组合论证：证明"坏"椭圆曲线集合的密度为0

实验设置

理论验证框架

本文为纯理论研究，主要通过以下方式验证结果：

密度计算：使用椭圆曲线的高度排序
- 高度定义： $H(E_{A,B}) = \max\{|A|^3, B^2\}$
- 计数函数： $\#\mathcal{C}(X) = C_1 X^5 + O(X^3)$ ，其中 $C_1 = \frac{4}{\zeta(10)}$
Galois表示分析：验证剩余表示的满射性条件
扩域构造：构造满足分裂条件的循环扩张