2025-11-12T08:04:09.503033

Counting rational points on elliptic and hyperelliptic curves over function fields

Gillibert, Hallouin, Levin
Combining $2$-descent techniques with Riemann-Roch and Bézout's theorems, we give an upper bound on the number of rational points of bounded height on elliptic and hyperelliptic curves over function fields of characteristic $\neq 2$. We deduce an upper bound on the number of $S$-integral points, where $S$ is a finite set of places. As a primary application, over small finite fields we bound the $3$-torsion of Jacobians of hyperelliptic curves and the $2$-torsion of Jacobians of trigonal curves. In this setting, these bounds improve on both the trivial geometric bound and the naive inequality coming from the Weil bound, as well as recent upper bounds on $2$-torsion in the work of Bhargava et al.
academic

Counting rational points on elliptic and hyperelliptic curves over function fields

基本信息

  • 论文ID: 2510.13292
  • 标题: Counting rational points on elliptic and hyperelliptic curves over function fields
  • 作者: Jean Gillibert, Emmanuel Hallouin, Aaron Levin
  • 分类: math.NT (数论), math.AG (代数几何)
  • 发表时间: 2025年10月
  • 论文链接: https://arxiv.org/abs/2510.13292

摘要

本文结合2-下降技术与Riemann-Roch定理和Bézout定理，给出了特征≠2的函数域上椭圆曲线和超椭圆曲线有界高度有理点数量的上界。作者进一步推导出S-整点数量的上界，其中S是有限位集。作为主要应用，在小有限域上，本文界定了超椭圆曲线Jacobian的3-torsion和三次曲线Jacobian的2-torsion。这些界限改进了平凡几何界、Weil界的朴素不等式，以及Bhargava等人关于2-torsion的最新上界。

研究背景与动机

  1. 核心问题: 研究函数域上椭圆曲线和超椭圆曲线有理点的计数问题，特别是有界高度有理点和S-整点的数量估计。
  2. 问题重要性:
    • 有理点计数是数论几何中的基本问题，与Mordell猜想的函数域版本密切相关
    • 对于椭圆曲线，这直接关联到Mordell-Weil群的结构研究
    • 在有限域上的应用可以界定Jacobian的torsion子群，这在代数几何和算术几何中具有重要意义
  3. 现有方法局限性:
    • 经典的几何界往往过于粗糙
    • Weil界虽然精确但在某些情况下不够sharp
    • 现有的torsion界限在小有限域情况下可以进一步改进
  4. 研究动机: 通过几何方法（主要是2-下降映射的分析）获得更精确的计数界限，并应用于有限域上Jacobian的torsion估计。

核心贡献

  1. 建立了新的有理点计数上界: 对于函数域上的椭圆曲线和超椭圆曲线，给出了有界高度有理点数量的显式上界（定理1.1）
  2. 推导了S-整点的计数界限: 利用abc定理的函数域版本，给出了S-整点高度的上界，进而得到S-整点数量的估计（定理1.2）
  3. 改进了有限域上Jacobian的torsion界限:
    • 对超椭圆曲线Jacobian的3-torsion给出了qg/2+γg/log⁡gq^{g/2+\gamma g/\log g}的界限（定理1.3）
    • 对三次曲线Jacobian的2-torsion给出了(2q)g/3+γg/log⁡g(2q)^{g/3+\gamma g/\log g}的界限（定理1.6）
  4. 提供了特征无关的几何方法: 主要技术基于Riemann-Roch定理，适用于特征≠2的任意域

方法详解

任务定义

研究超椭圆曲线C:y2=f(x)C: y^2 = f(x)在函数域k(B)k(B)上的有理点，其中ff是奇数次数d≥3d \geq 3的首一可分多项式。主要目标是估计：

  • 有界朴素高度有理点集C(k(B))≤c:={(x0,y0)∈C(k(B))∣deg⁡x0≤c}C(k(B))_{\leq c} := \{(x_0, y_0) \in C(k(B)) | \deg x_0 \leq c\}的大小
  • S-整点集C(RS)C(R_S)的大小

核心技术框架

2-下降映射分析

定义2-下降映射（引理2.3）： δ:C(k(B))→H1(Cf∖π−1(Σ2),μ2)\delta: C(k(B)) \to H^1(C_f \setminus \pi^{-1}(\Sigma_2), \mu_2)

其中CfC_f是由f(x)=0f(x) = 0定义的曲线，Σ2\Sigma_2是Néron模型连通分量群的阶为偶数的位点集合。

关键观察：映射到同一个上同调类的有理点数量有限且可控。

主要计数定理

定理2.4给出了映射到相同类的点数上界： 2Ω(c,f,g)+max⁡{c,12(c+g)}+12^{\Omega(c,f,g)+\max\{c, \frac{1}{2}(c+g)\}+1}

其中Ω(c,f,g)\Omega(c,f,g)定义为：

\max\{d(c+g) + h_B(f) - g_f, \frac{1}{2}(d(c+g) + h_B(f))\} & \text{若}C_f\text{不可约} \\ d(c+g) + h_B(f) + \omega(f) - 1 & \text{其他情况} \end{cases}$$ #### 技术创新点 1. **几何计数方法**: 利用线性系统中函数的计数，通过Riemann-Roch定理控制维数 2. **Bézout定理的应用**: 在射影空间中分析两个代数簇的交，得到不可约分量数量的上界 3. **特殊情况的优化**: - 当基曲线为$\mathbb{P}^1$且$f$系数在$k[t]$中时的改进（命题2.7） - 利用Maroni不变量对三次曲线情况的精化（定理3.7） ### S-整点高度界限 **定理3.1**使用abc定理给出S-整点高度上界： - 特征0情况：$\deg x_0 \leq 4(2g-2+|S \cup \Sigma|) + \frac{3h_B(f)}{d}$ - 特征$p > d$情况：$\deg x_0 \leq 6\rho(2g-2+|S \cup \Sigma|) + \frac{3h_B(f)}{d}$ 其中$\rho$是不可分次数，反映了曲线的算术性质。 ## 实验设置 ### 理论验证框架 由于这是纯数学理论工作，没有传统意义上的"实验"，但作者通过以下方式验证理论： 1. **具体应用验证**: 将抽象界限应用到有限域上Jacobian的torsion估计 2. **与已知结果比较**: 与Weil界、几何界以及Bhargava等人的结果进行比较 3. **特殊情况分析**: 对椭圆曲线$y^2 = x^3 + B(t)$等具体情况给出更精确的界限 ### 参数设置 - **有限域大小**: $q = p^r$，其中$p \geq 5$ - **曲线genus**: 主要考虑$g > 4$的情况以应用Maroni理论 - **高度界限**: $c$通常取为与曲线不变量相关的适当值 ## 主要结果 ### 核心定理结果 **定理1.1**（主要计数界限）： 对于超椭圆曲线$C: y^2 = f(x)$，有界高度有理点数量满足： $$|C(k(B))_{\leq c}| \leq 2^{\Omega(c,f,g)+\max\{c, \frac{1}{2}(c+g)\}+1+\text{rk}_{\mathbb{Z}} LN(J)+\dim_{\mathbb{F}_2} LN(J)[2]}$$ **定理1.3**（3-torsion界限）： 对于有限域$\mathbb{F}_q$上genus为$g$的超椭圆曲线$X$： $$|\text{Jac}(X)(\mathbb{F}_q)[3]| \leq q^{g/2+\gamma g/\log g}$$ **定理1.6**（2-torsion界限）： 对于三次曲线$X$： $$|\text{Jac}(X)(\mathbb{F}_q)[2]| \leq (2q)^{g/3+\gamma g/\log g}$$ ### 改进效果分析 1. **相比平凡界限**：当$q < 81$时，3-torsion界限渐近改进了平凡界$3^{2g}$ 2. **相比Weil界**：改进了$(√q+1)^{2g}$的界限 3. **相比Bhargava等人**：在三次曲线情况下渐近改进了他们的2-torsion界限 ### 具体数值示例 - 当$q < 9$且$q \not\equiv 1 \pmod{3}$时，改进了Galois不变性给出的$3^g$界限 - 当$q < 32$时，对三次曲线的2-torsion改进了平凡界$2^{2g}$ ## 技术深度分析 ### Maroni不变量的应用 对于三次曲线$C$，Maroni不变量$m$满足： $$\frac{g-4}{3} \leq m \leq \frac{g-2}{2}$$ **推论3.5**利用这一不变量给出了线性系统维数的精确界限： $$h^0(D) \leq \max\left\{\min\left\{m + \deg D + 2 - g, \frac{2(\deg D - 1) - g}{3} + 2\right\}, 1\right\}$$ ### 不可分次数的作用 在正特征情况下，不可分次数$\rho$定义为： $$\rho := \inf\left\{\text{ideg}_K\left(\frac{e_k - e_1}{e_2 - e_1}\right) | k = 3,\ldots,d\right\}$$ 这个量控制了曲线在基域扩张下的行为，直接影响S-整点高度的界限。 ## 相关工作 ### 历史背景 1. **Mordell猜想的函数域版本**：由Manin、Grauert等人在1960年代解决 2. **高度理论**：Silverman等人发展的椭圆曲线高度理论 3. **整点计数**：Hindry-Silverman、Pacheco等人的经典工作 ### 本文相对优势 1. **方法的一般性**：适用于任意特征≠2的域，不需要代数闭合假设 2. **显式界限**：给出了具体的指数，便于应用 3. **几何方法**：主要基于Riemann-Roch，避免了复杂的算术分析 ## 结论与讨论 ### 主要结论 1. 建立了函数域上超椭圆曲线有理点计数的几何方法 2. 在小有限域情况下显著改进了Jacobian torsion的界限 3. 提供了从有理点计数到torsion估计的系统性方法 ### 局限性 1. **特征限制**：方法不适用于特征2的情况 2. **渐近性质**：界限主要在渐近意义下改进，对小genus可能不够sharp 3. **几何假设**：需要基域代数闭合等技术假设 ### 未来方向 1. **特征2的扩展**：需要用平坦上同调替代étale上同调 2. **更高torsion**：扩展到p-torsion的一般情况 3. **数域类比**：将方法适用于数域上的类似问题 ## 深度评价 ### 优点 1. **技术创新**：巧妙结合了代数几何（Riemann-Roch）和数论（2-下降）的方法 2. **结果精确**：给出了显式的指数界限，具有实际应用价值 3. **理论完整**：从抽象计数到具体应用形成了完整的理论体系 4. **写作清晰**：论证严谨，技术细节充分 ### 不足 1. **适用范围**：特征2的排除限制了方法的一般性 2. **依赖性**：部分结果依赖于Brumer的rank界限等深刻定理 3. **优化空间**：某些界限可能还有进一步改进的余地 ### 影响力 1. **理论贡献**：为函数域上曲线的算术研究提供了新工具 2. **应用价值**：在密码学、编码理论等领域有潜在应用 3. **方法论**：展示了几何方法在数论问题中的威力 ### 适用场景 1. **理论研究**：代数几何和数论的交叉研究 2. **计算应用**：需要估计有限域上曲线性质的算法 3. **进一步推广**：为相关问题提供了方法论指导 ## 参考文献 论文引用了32篇重要文献，包括： - Brumer关于椭圆曲线rank的经典工作 - Hindry-Silverman关于整点的开创性研究 - Bhargava等人关于torsion的最新结果 - Maroni关于三次曲线的经典理论 这些文献构成了本文研究的坚实基础，体现了作者对领域发展的深刻理解。