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

関数体上の楕円曲線と超楕円曲線の有理点計数

基本情報

  • 論文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/loggq^{g/2+\gamma g/\log g}の界限を与えた(定理1.3)
    • 三次曲線Jacobianの2-torsionに対して(2q)g/3+γg/logg(2q)^{g/3+\gamma g/\log g}の界限を与えた(定理1.6)
  4. 特性に依存しない幾何学的方法の提供: 主要な技術はRiemann-Roch定理に基づいており、特性≠2の任意の体に適用可能である

方法の詳細解説

問題設定

関数体k(B)k(B)上の超楕円曲線C:y2=f(x)C: y^2 = f(x)の有理点を研究する。ここでffは奇数次数d3d \geq 3の首一可分多項式である。主要な目標は以下を推定することである:

  • 有界素朴高さ有理点集合C(k(B))c:={(x0,y0)C(k(B))degx0c}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_ff(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{if } C_f \text{は既約} \\ d(c+g) + h_B(f) + \omega(f) - 1 & \text{その他の場合} \end{cases}$$ #### 技術的革新点 1. **幾何学的計数方法**: 線形系における関数の計数を利用し、Riemann-Roch定理を通じて次元を制御する 2. **Bézout定理の応用**: 射影空間における2つの代数多様体の交を分析し、既約成分数量の上界を得る 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$ - **曲線の種数**: 主にMaroni理論を応用するために$g > 4$の場合を考慮 - **高さ界限**: $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$上の種数$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) \mid k = 3,\ldots,d\right\}$$ この量は曲線が基礎体の拡張下での振る舞いを制御し、S-整点高さの界限に直接影響する。 ## 関連研究 ### 歴史的背景 1. **Mordell予想の関数体版**: 1960年代にManin、Graertらによって解決された 2. **高さ理論**: Silvermanらによって発展させられた楕円曲線の高さ理論 3. **整点計数**: Hindry-Silverman、Pachecoらの古典的な研究 ### 本論文の相対的優位性 1. **方法の一般性**: 特性≠2の任意の体に適用可能であり、代数閉包の仮定を必要としない 2. **明示的な界限**: 具体的な指数を与え、応用に便利である 3. **幾何学的方法**: 主にRiemann-Rochに基づいており、複雑な算術分析を回避している ## 結論と考察 ### 主要な結論 1. 関数体上の超楕円曲線の有理点計数に関する幾何学的方法を確立した 2. 小有限体の場合におけるJacobianのtorsion界限を著しく改善した 3. 有理点計数からtorsion推定への体系的な方法を提供した ### 限界 1. **特性の制限**: 方法は特性2の場合には適用不可能である 2. **漸近的性質**: 界限は主に漸近的な意味での改善であり、小さな種数に対しては十分に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篇の重要な文献を引用しており、以下を含む: - 楕円曲線のrankに関するBrumerの古典的研究 - 整点に関するHindry-Silvermanの開拓的研究 - torsionに関するBhargavaらの最新の結果 - 三次曲線に関するMaroniの古典理論 これらの文献は本論文研究の堅実な基礎を構成し、著者の分野発展に対する深い理解を示している。