$p$-twisted Selmer near-companion curves

「p-TWISTED SELMER NEAR-COMPANION CURVES」に関する技術的要約

問題提起と背景
本論文は、楕円曲線の算術的性質と、そのツイスト（twist）におけるセルマー群との関係を扱っている。MazurとRubin [7] が定義した「$n$-Selmer near-companion curves」の成果に基づき、本論文は、セルマー階数の差の有界性と、ねじれ部分群の同型性の間の関係を調査している。MazzerとRubinは、もし数体 $K$ 上の2つの楕円曲線 $E_1$ と $E_2$ が $n$-Selmer near-companions（すなわち、$n$-Selマー群の次元の差が二次ツイストの下で有界であること）であれば、それらの $n$-ねじれ部分群 $E_1[n]$ と $E_2[n]$ は $G_K$-加群として同型でなければならない、と予想した。

Yu [11] は $n=2$ の場合についてこの予想を証明したが、奇素数 $p$ に関する一般の場合は未解決のままであった。導入部で指摘されている主要な困難は、ねじれ点によって生成される拡大体 $K(E_1[p]) = K(E_2[p])$ が一致することが、直ちに $G_K$-加群としての同型性 $E_1[p] \cong E_2[p]$ を意味するわけではないという点である。この溝を埋め、枠組みを拡張するために、著者は $p$-twisted Selmer near-companion ($p$-TSNC) という概念を導入している。元の定義が二次ツイストのみを考慮していたのに対し、$p$-TSNC はすべての文字 $\chi \in \text{Hom}(G_K, \mu_p)$ によるツイストを考慮する。

手法
核となる戦略は、$p$-ツイストの下でのセルマー階数の挙動を分析することである。著者は $p$-twisted Selmer 群 $S_p(E/K, \chi)$ を定義し、次元の差 $r_p(E_1, \chi) - r_p(E_2, \chi)$ を調査する。

証明は、チェボタレフの密度定理を利用した「密度論的議論」に依拠している。手法は以下の通りである：

1. 拡大体の分析： 著者は $K(E_1[p]) \neq K(E_2[p])$ であると仮定し、$E_1$ および $E_2$ に関連するガロア表現を分析する。証明は、体の構造 $M_i = K(E_i[p])$ および $p$-ねじれ点 $E_i(K)[p]$ に基づいてケース分けされる。
2. 局所-大域原理： グローバルな類体論の道具と、局所的なセルマー条件（具体的にはクンマー写像 $\gamma_v(\chi_v)$ の像）の性質を用いて、慎重に選ばれた素数 $q$ において特定の局所条件を満たす大域的な文字 $\chi$ を構成する。
3. 階数の操作： 特定のフロベニウス特性を持つ素数 $q$（例えば、$E[p]$ 上でフロベニウスが自明に作用する $q \in P_2(E)$）を選択することで、一方の曲線のセルマー階数を2増加させ、他方の曲線には変化を与えない、あるいは異なる量だけ増加させるような文字を構成する。
4. 帰納的構成： 一連の補題（セクション3–8）を通じて、もし $K(E_1[p]) \neq K(E_2[p])$ であれば、差 $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ がいくらでも大きくなるような文字 $\chi$ が無限に存在することを示す。これは、この差が定数 $C$ によって有界であることを要求する $p$-TSNC の定義と矛盾する。

主要な貢献と結果
本論文は $p$-twisted Selmer near-companion の定義を導入し、以下の主要な定理を確立している：

• 定理 1.6（異なる体を持つ場合の $p$-TSNC の非存在）： もし $E_1$ と $E_2$ が $K$ 上の $p$-TSNC であるならば、少なくとも以下の条件のいずれかが成立する場合、$K(E_1[p]) = K(E_2[p])$ である。

  • ある $i$ について $E_i[p] \subset E_i(K)$ である。
  • $i=1,2$ について $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ である。
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ かつ $K(\mu_p) \subsetneq M_2$ である。
  • $i=1,2$ について $[M_i : K(\mu_p)]$ が $p$ で割り切れない。
  • $\mu_p \subset K$ である。
    本質的に、これらの条件下では、$p$-TSNC であるという性質は、$p$-ねじれ点によって生成される体が同一であることを強制する。

• 定理 1.7（同型性の十分性）： $G_K$-加群の同型 $E_1[p] \cong E_2[p]$ が存在するならば（$p \ge 3$ のとき）、$E_1$ と $E_2$ は $K$ 上の $p$-TSNC である。これは、新しい定義の文脈における主要な予想の逆方向を裏付けるものである。

• 系： 本論文は、$\mu_p \subset K$ かつ $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ であれば、$p$-TSNC は $G_K$-加群として $E_1[p] \cong E_2[p]$ を導くこと（系 1.9）を導いている。同様に、$E_1[p] \subset E_1(K)$ であれば、$p$-TSNC は同型性を導く（系 1.10）。

意義
本論文は、ツイストのメカニズムを二次文字から $\mu_p$ へのすべての文字へと一般化することにより、Mazur と Rubin の枠組みを拡張している。主な意義は、広範な楕円曲線（$p$-ねじれが有理的、あるいは部分的に有理的である場合、またはガロア像が大きい場合をカバーする）において、$p$-twisted Selmer near-companion であるという条件が、体の等価性 $K(E_1[p]) = K(E_2[p])$ を強制するのに十分であることを証明した点にある。

著者は、複素乗法を持たない楕円曲線については、Faltings の定理により、曲線が同種（isogenous）でない限り、無限個の素数に対して $K(E_1[p]) \neq K(E_2[p])$ となることを指摘している。したがって、本論文は、もし2つの非同種の曲線が、有限個を除いてすべての素数に対して $p$-TSNC であるならば、それらは同種でなければならないことを示唆している。本研究は、$p$-twisted Selmer 群の文脈における Mazur-Rubin 予想に対する厳密な部分的解決を提供しており、特に、有界なセルマー階数の差と、特定の算術的制約下でのねじれ体の等価性との間の結びつきを確立している。