Linear quadratic Chabauty

技術要約：線形二次チャバティ（Linear Quadratic Chabauty）

問題設定
本論文は、超楕円曲線 $X: y^2 = f(x)$ 上の整数点 $U(\mathbb{Z})$（または数体上の $U(\mathcal{O}_K)$）の計算に取り組んでいる。具体的には、$f$ の最高次係数が平方数である偶数次 $2g+2$ の曲線を対象としている。著者らは、ヤコビアン $J$ のモーデル・ヴェイユ・ランク $r$ が種数 $g$ に等しい（あるいは数体上の一般化された境界を満たす）という標準的なチャバティ条件の下で作業を行っている。

既存の整数点の手法、例えば Balakrishnan, Besser, Müller による二次チャバティ法 [BBM16, BBM17] は、整数点上の値が有限かつ計算可能な集合に含まれるような、非自明な局所解析関数 $\rho$ を構成することに依存している。しかし、これらの既存のアプローチは技術的に複雑であり、$p$ 進アラベルヴェロ理論、$p$ 進局所高さの共通サポートを持つ因子への拡張、二重コーレマン積分、および接点を持つ積分などのツールを必要とする。さらに、二重コーレマン積分の計算が速度面における主要なボトルネックとして特定されている。

手法
著者らは、偶数次の最高次係数が平方数である曲線特有の幾何学的性質を利用することで、関数 $\rho$ の構成を簡略化する「線形二次チャバティ」法を導入している。

1. 幾何学的設定: $f$ の最高次係数が平方数であるため、無限遠点にある2つの点 $\infty^-$ と $\infty^+$ に支持される次数0の非自明な $\mathbb{Q}$ 有理因子が存在する。
2. 高さの線形化: 手法は、大域的な $p$ 進高さペアリング $h$ (Coleman–Gross) を利用する。著者らは、ヤコビアン上の線形汎関数 $\lambda(a) = h(\infty^- - \infty^+, a)$ が、正則微分 $\omega_i = x^i dx/y$ のコーレマン積分による線形結合として表現できることに着目している。これは、$r=g$ のとき、線形写像の空間 $J(\mathbb{Q}) \otimes \mathbb{Q}_p \to \mathbb{Q}_p$ がこれらの積分によって生成されるためである。
3. $\rho$ の構成: 二重積分を用いる代わりに、著者らは関数 $\rho: U(\mathbb{Z}_p) \to \mathbb{Q}_p$ を以下のように定義する：
   $$\rho(P) = \sum_{i=0}^{g-1} \alpha_i \int_Q^P \omega_i - h_p(\infty^- - \infty^+, P - Q)$$
   ここで $Q$ は既知の整数点であり、$\alpha_i$ は高さの線形関係によって決定される係数、$h_p$ は $p$ における局所高さである。
4. 整数点への制限: 整数点 $P$ に対して、大域的な高さの関係式は以下のようになる：
   $$\rho(P) = \sum_{q \neq p} h_q(\infty^- - \infty^+, P - Q)$$
   著者らは、$q \neq p$ における局所高さ $h_q$ を分析している。良素数の場合、これらの高さは消滅し、悪素数の場合、それらは曲線の正規モデル上の交差理論から導かれる有限で計算可能な集合 $T_q$ の値を取ることを証明している。したがって、$\rho(P)$ は有限集合 $T = \sum T_q$ に制約される。
5. 数体への一般化: 本手法は次数 $d$ の数体 $K$ へと拡張されている。複数の独立した連続的なイデール類文字 $\chi$ を用いることで、$d - r_K$ 個の追加の式（ここで $r_K$ は単数群のランク）を生成する。これに、スカラー拡大による $r_K$ 個の式を組み合わせることで、$\text{rk}(J/K) \leq dg - r_K$ という条件下で整数点を切り出すのに十分な $d$ 個の方程式系が得られる。

主な貢献

• 簡略化: この手法は、二重コーレマン積分、接点、および $p$ 進アラベルヴェロ理論の必要性を排除している。これは、単一のコーレマン積分と標準的な局所高さの計算のみに依存している。
• 効率性: 二重積分を避けることで、本手法は従来の二次チャバティの実装よりも大幅に高速である。
• 新たな適用可能性: 以前の手法では適用不可能であったか、あるいはより複雑な道具を必要としていた、最高次係数が平方数である偶数次の超楕円曲線に対して、実用的なアルゴリズムを提供する。
• 数体への拡張: スカラー拡大からの線形関係と、イデール類文字に関連する $p$ 進高さの組み合わせを用いて、$\mathcal{O}_K$-整数点を計算する手法を一般化している。

結果と例
著者らは具体的な実装と例を提供している：

• $\mathbb{Q}$ 上: 彼らは種数2の曲線 $y^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9$ 上の整数点を計算した。この手法は整数点を正確に分離することに成功し、その集合が完全であることを証明した。
• $\mathbb{Q}(\sqrt{7})$ 上: 実二次体 $K = \mathbb{Q}(\sqrt{7})$ 上で定義された種数2の曲線上の $\mathcal{O}_K$-整数点を決定した。この例はランク3のヤコビアンを含み、新しい線形二次チャバティ法とモーデル・ヴェイユ・シーブ（Mordell–Weil sieve）の組み合わせを必要とする。著者らは、他の既知の手法ではこの特定の例を扱うことができなかったと述べている。

意義と主張
本論文は、このアプローチが既存のすべてのバージョンの二次チャバティ法よりも「著しく単純かつ高速」であると主張している。主な意義は、技術的なオーバーヘッドの削減にある。$p$ 進高さを無限遠点の因子による線形関数へと制限することで、著者らは、従来のフレームワークにおける最も計算負荷が高く、理論的に複雑な構成要素を回避している。

著者らは、その範囲について以下のような制限を認めつつも、控えめな姿勢を示している：

• 手法は、$f$ の最高次係数が平方数（または負の平方数）であることを必要とする。
• 最高次係数が平方数でない場合、本手法の拡張には、本論文が回避しようとしている、より複雑な道具（二重積分、アラベルヴェロ理論）が必要となる。
• 得られる点の集合は、モーデル・ヴェイユ・シーブの助けなしには、常に有限であったり、整数点の集合と一致したりするとは限らない。
• 本手法は、数体の場合において、素数が完全分解する場合に限定されているが、理論的結果はより一般的に成立する。

本研究は、チャバティ・コーレマン法における整数点計算のための、よりアクセスしやすく効率的なツールを提供する、特定の、しかし重要なクラスの曲線に対する実用的な改善として提示されている。