The size of $2$-Selmer groups for the $\fracπ{3}$-congruent number problem

技術的要約：$\pi/3$-合同数問題における2-Selmer群のサイズ

問題設定
本論文は、$\pi/3$-合同数問題に関連する楕円曲線に付随する2-Selmer群の平均ランクを調査している。正の整数 $n$ が $\theta$-合同数であるとは、$n$ が角度 $\theta$ を持つ有理三角形の面積を表すことを意味する。具体的に、著者らは $\theta = \pi/3$ の場合に焦点を当てており、そこでの関連する楕円曲線は次のように定義される：
$$E_{n, \pi/3}: y^2 = x(x + 3n)(x - n)$$
研究の中心的対象は、2-Selmerランク $s(n)$ であり、2-Selmer群のサイズは $2^{2+s(n)}$ と表される。著者らは、特定の平方自由な整数の族に対する $2^{s(n)}$ の平均値の漸近挙動を決定することを目的としている。

手法
著者らは、合同楕円曲線（$y^2 = x^3 - n^2x$）に対して行われた Heath-Brown [H93] による先駆的な戦略を採用し、それを $E_{n, \pi/3}$ の特定の算術構造に適応させている。手法は以下のステップで進行する：

1. 2-降下と斉次系：
   2-降下法を用いて、著者らは商 $E_{n, \pi/3}(\mathbb{Q})/2E_{n, \pi/3}(\mathbb{Q})$ を局所体の直積へと写像する。彼らは、2-Selmer群と、有理数体 $\mathbb{Q}$ 上の可解な斉次方程式の系の間の全単射を確立する。具体的には、4つの互いに素な平方自由な整数 $n_1, n_2, n_3, n_4$（ここで $n = n_1 n_2 n_3 n_4$）を含む方程式の系を導出する：
   $$n_1 X^2 + 3n_4 W^2 = n_2 Y^2$$
   $$n_1 X^2 - n_4 W^2 = n_3 Z^2$$
   2-Selmer群のサイズ $2^{s(n)}$ は、これらの系が $\mathbb{R}$ およびすべての $\mathbb{Q}_p$ において可解であることと対応している。

2. 局所条件と制約：
   著者らは、$6n$ を割り切る素数における局所可解条件を厳密に分析する。重要な技術的制約として、研究対象は $n \equiv 5, 13 \pmod{24}$ であり、かつ $n$ のすべての素因数 $p$ が $p \equiv 1 \pmod 4$ を満たすような平方自由な整数 $n$ に限定されている。これらの条件下では、局所群は制御された形で振る舞い、大域的なSelmer群のサイズをヤコビ記号を用いた因数分解の和として表現することが可能になる。

3. 平均化と文字和：
   平均サイズを計算するために、著者らは $S(X, h) = \{1 \le n \le X : n \equiv h \pmod{24}, n \text{ は平方自由, } p|n \implies p \equiv 1 \pmod 4\}$ という集合上で $2^{s(n)}$ の和を計算する。

• 彼らは、$n_1, \dots, n_4$ の因数分解から生じる16個の変数 $n_{ij}$ に関する和を分解する。
• 著者らは、文字和を抑え込むために Heath-Brown の「連結された変数（linked variables）」の技法を用いる。変数は、ヤコビ記号の中に共に現れる場合に「連結されている」とみなされる。
• [H93] から適応した文字和の評価（特に補題 3.1 および 3.3、モジュラス 24 に対して）を用いることで、多くの「大きな」変数を持つ構成からの寄与が無視できることを示す。
• 主項は、変数が十分にデカップリング（分離）され、明示的な評価が可能となる特定の指数の構成（補題 4.1 で特定された9つの例外的なケース）から生じる。

主要な貢献と結果

• 主定理 (Theorem 1.2): $h = 5$ および $h = 13$ について、著者らは $2^{s(n)}$ の和に関する次の漸近公式を証明している：
  $$\sum_{n \in S(X,h)} 2^{s(n)} = 9 \# S(X, h) + O\left(X (\log X)^{-5/8} (\log \log X)^8\right)$$
  この結果は、緩和された2-Selmer群の平均サイズが、その集合に含まれる整数の数のちょうど9倍であることを確立している。

• Selmerランクの密度：
  主定理と Wei-Guo [WG2022] によるパリティの結果を組み合わせることで、著者らは無条件の密度結果を導き出している：

  • ケース $n \equiv 5 \pmod{24}$: $s(n)$ は偶数であるため、$s(n) = 0$ または $s(n) = 2$ である密度の下限は $7/16$ である。
  • ケース $n \equiv 13 \pmod{24}$: $s(n)$ は奇数であるため、$s(n) = 1$ または $s(n) = 3$ である密度の下限は $1/3$ である。

• Mordell-Weilランクへの含意：
  不等式 $r(n) \le s(n)$ を用いて、著者らはこれらの族における平均 Mordell-Weil ランク $r(n)$ の上界を提供しており、これは $s(n)$ に対して導かれた境界と一致している。

意義と主張
本論文は、その結果が $\pi/3$-合同数に関する吉田の予想を支持する無条件の証拠を提供すると主張している。具体的には、導出された密度は、指定された家族において正の割合の整数が低いSelmerランクを持つことを示唆しており、これは曲線上の有理点の存在と相関している。

著者らは、その結果が Bhargava-Kane-Lenstra-Poonen-Rains (BKLPR) の一般的なヘリスティックスから大きく逸脱していることを強調している。BKLPR はランダム行列理論に基づく特定の分布を予測しているが、主定理における定数 9 は、曲線の 2-イソジェニーおよび 6 を割り切る素数における特定の局所条件に由来する「硬い構造（rigid structure）」を反映している。この硬さが、この家族における 2-Selmerランクの分布を、一般的なランダム行列の予測とは異なるものにしている。

著者らは、現在の技法がすべての素因数が $1 \pmod 4$ である整数に限定されていることを明記している。これらの結果を完全な平方自由な整数の集合、あるいは $2\pi/3$-合同数問題へと拡張するには、新たな手法が必要となる。なぜなら、それらのケースにおける技術的な困難は極めて大きいからである。本論文は $\pi/3$-合同数予想の全体を解決することを主張しているのではなく、特定の、扱いやすい部分族に対する基礎的な漸近公式を提供しているものである。