Integers that are sums of two cubes in the cyclotomic $\mathbb{Z}_p$-extension

技術要約：巡回的 $\mathbb{Z}_p$ 拡大における 2 つの立方数の和としての整数

問題設定
本論文は、自然数 $n$ が $n = x^3 + y^3$（ここで $n$ は立方フリーな自然数）というディオファントス方程式を満たすかどうかを、特定の無限代数拡大体において調査するものである。$x, y$ は有理数体 $\mathbb{Q}$ の特定の無限拡大体に属する。$n$ が 2 つの有理数の立方和として表される自然数の密度は $1/2$ であると予想されているが、本研究ではその補集合であるケース、すなわち「$n$ が 2 つの有理数の立方和として表せない」と仮定したとき、どのような条件下で $n$ がより大きな体においても非表現性を維持するかという点に焦点を当てる。具体的には、著者は $\mathbb{Q}$ の巡回的 $\mathbb{Z}_p$ 拡大 $\mathbb{Q}^{(p)}_\infty$ および特定の素数巡回拡大を研究している。

手法
アプローチは、楕円曲線のイワサ理論とセルマー群の算術に基づいている。

1. 楕円曲線との対応: 方程式 $n = x^3 + y^3$ は、ワイエルシュトラス形式 $y^2 = x^3 - 432n^2$ に同型な楕円曲線 $E_n: x^3 + y^3 = nz^3$ と関連している。体 $L$ における解の存在は、$E_n$ が非自明な有理数ねじれ点を持たない場合、$E_n(L)$ のランクが正であることと同値である。
2. イワサ理論: 著者は、巡回的 $\mathbb{Z}_p$ 拡大を定義する体の塔（タワー）における $E_n$ のランクの増大を分析している。これには、$p$ 主要セルマー群 $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ と、そのポントリャーギン双対をイワサ環 $\Lambda = \mathbb{Z}_p[[T]]$ 上の加群として研究することが含まれる。
3. 不変量と消滅: 核となる技術的メカニズムは、特定の素数 $p$ に対してセルマー群のイワサ $\mu$ 不変量および $\lambda$ 不変量が消滅することを示すことである。これらの不変量の消滅は、無限拡大におけるセルマー群が自明（または有限）であることを意味し、ひいては無限拡大における楕円曲線のランクが 0 であることを強制する。
4. 有限拡大への降下: 無限巡回タワーから有限の素数巡回拡大 $L/\mathbb{Q}$ へ結果を拡張するために、著者は $p$ 拡大におけるイワサ不変量の増大を制御するための、ハチモリとマツノによるキダの公式のアナログを利用している。

主要な貢献と結果

• 定理 1.2 ($\mathbb{Q}^{(p)}_\infty$ における非可解性):
  $n$ を 2 つの有理数の立方和として表せない立方フリーな自然数とする。$S$ を以下の条件を満たす素数 $p \geq 5$ の集合とする：
  (a) $E_n$ が $p$ で良減少（ordinary reduction）を持つ。
  (b) テイト・シャファレヴィッチ群 $\text{X}(E_n/\mathbb{Q})[p]$ の $p$ ねじれが自明である。
  (c) $p$ が簡約された曲線 $\# \tilde{E}_n(\mathbb{F}_p)$ の次数を割り切らない。

  本論文は、$S$ の自然密度が $1/2$ であることを証明している。さらに、$p \in S$ である任意の $p$ について、$n$ を $x, y \in \mathbb{Q}^{(p)}_\infty$ を用いて $x^3 + y^3$ と書くことはできない。この結果は、テイト・シャファレヴィッチ群の有限性と、セルマー群の余コーorsion 性に関する加藤とルービンの研究に基づいている。

• 定理 1.3 (素数巡回拡大における非可解性):
  著者は、ガロア群 $G \simeq \mathbb{Z}/p\mathbb{Z}$ （ここで $p > 7$ かつ $p \in S$）を持つ有限ガロア拡大 $L/\mathbb{Q}$ へ結果を拡張している。分岐素数 $\ell$ が $6pn$を割り切らず、かつ$\tilde{E}n(\mathbb{F}\ell)[p] = 0$を満たすという条件下で、本論文は$n$が$L$において 2 つの立方和ではないことを主張している。これは、$\mathbb{Q}^{(p)}\infty$から$L^{(p)}\infty$ への持ち上げにおいてイワサ不変量が自明なままであることを示すことで達成される。

• 具体的な例:
  本論文は、理論を $n=3$ という例で示している。$3$は有理数の立方和ではないため、また素数$p=7$ が定理 1.2 の条件（良減少、Sha の $p$ ねじれの自明性、および $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$）を満たすため、本論文は $3$が$\mathbb{Q}$の巡回的$\mathbb{Z}7$拡大において 2 つの立方数の和として表せないと結論付けている。さらに、$\mathbb{Q}(\mu{29})$に含まれる特定の$\mathbb{Z}/7\mathbb{Z}$ 拡大に対して定理 1.3 を適用している。

意義と主張
本論文は、2 つの有理数の立方和として整数が表現できないという性質が、大規模な素数巡回拡大および巡回的 $\mathbb{Z}_p$ 拡大においてどのように保持されるかについての条件を提供すると主張している。その意義は、ディオファントス問題（立方数の和）と、イワサ理論におけるセルマー群の構造的性質を橋渡しすることにある。

著者は、$E_n$ が 2 と 3 で悪減少を持つため、条件として $p \geq 5$ が必要であると述べている。本論文は、その貢献を、すべての拡大に対する普遍的な記述ではなく、「特定の大きな家族」の拡大における非可解性を確立することであると控えめに位置づけている。また、結果が成立する素数の集合（全素数の中での密度）が $1/2$ であることは、複素乗法を持つ曲線における良減少な素数の密度から直接導かれる結果であることを強調している。本研究は、すべての $n$ やすべての拡大に関する一般的な問題を解決しようとするものではなく、特定の、明確に定義された文脈において、イワサ不変量を用いて解の存在を排除する厳密な枠組みを提示している。