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

技术摘要：分圆 $\mathbb{Z}_p$-扩张中作为两个立方数之和的整数

问题陈述
本文研究了丢番图方程 $n = x^3 + y^3$ 的可解性问题，其中 $n$ 是一个无立方因子（cubefree）的正整数，且 $x, y$ 属于特定的有理数无限代数扩张。虽然自然数可表示为两个有理立方数之和的密度被猜想为 $1/2$，但本研究关注的是互补的情况：假设 $n$ 不能表示为两个有理立方数之和，在何种条件下 $n$ 在更大的域中仍然不可表示为两个立方数之和？具体而言，作者研究了 $\mathbb{Q}$ 的分圆 $\mathbb{Z}_p$-扩张 $\mathbb{Q}^{(p)}_\infty$，以及某些素循环扩张。

方法论
该方法依赖于椭圆曲线的 Iwasawa 理论和 Selmer 群的算术性质。

1. 椭圆曲线对应关系： 方程 $n = x^3 + y^3$ 与椭圆曲线 $E_n: x^3 + y^3 = nz^3$ 相关联，该曲线同构于 Weierstrass 形式 $y^2 = x^3 - 432n^2$。在域 $L$ 中存在解等价于 $E_n(L)$ 的秩为正（假设 $E_n$ 没有非平凡的有理挠点）。
2. Iwasawa 理论： 作者分析了 $E_n$ 在定义分圆 $\mathbb{Z}_p$-扩张的场塔中的秩的增长。这涉及研究 $p$-主要 Selmer 群 $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ 及其 Pontryagin 对偶作为 Iwasawa 代数 $\Lambda = \mathbb{Z}_p[[T]]$ 上模的性质。
3. 不变量与消失： 核心技术机制在于证明对于特定的素数 $p$，Selmer 群的 Iwasawa $\mu$- 和 $\lambda$-不变量为零。这些不变量的消失意味着在无限扩张上的 Selmer 群是平凡的（或有限的），这进而迫使椭圆曲线在无限扩张上的秩为零。
4. 向有限扩张的下降： 为了将关于无限分圆塔的结果扩展到有限素循环扩张 $L/\mathbb{Q}$，论文利用了由 Hachimori 和 Matsuno 提出的 Kida 公式类似物，以控制 $p$-扩张中 Iwasawa 不变量的增长。

主要贡献与结果

• 定理 1.2（在 $\mathbb{Q}^{(p)}_\infty$ 中的不可解性）：
  设 $n$ 为不能表示为两个有理立方数之和的无立方因子正整数。令 $S$ 为满足以下条件的素数 $p \geq 5$ 的集合：
  (a) $E_n$ 在 $p$ 处具有良平凡还原（good ordinary reduction）；
  (b) Tate-Shafarevich 群 $\text{X}(E_n/\mathbb{Q})[p]$ 的 $p$-挠是平凡的；
  (c) $p$ 不整除还原曲线的阶 $\# \tilde{E}_n(\mathbb{F}_p)$。

  本文证明了 $S$ 的自然密度为 $1/2$。此外，对于任何 $p \in S$，$n$ 不能表示为 $x, y \in \mathbb{Q}^{(p)}_\infty$ 的两个立方数之和。这一结果依赖于 Tate-Shafarevich 群的有限性以及 Kato 和 Rubin 关于 Selmer 群余紧性（cotorsion property）的研究工作。

• 定理 1.3 (在素循环扩张中的不可解性)：
  作者将结果扩展到伽罗瓦群 $G \simeq \mathbb{Z}/p\mathbb{Z}$ 的有限伽罗瓦扩张 $L/\mathbb{Q}$（其中 $p > 7$ 且 $p \in S$）。在分歧素数 $\ell$ 不整除 $6pn$且满足$\tilde{E}n(\mathbb{F}\ell)[p] = 0$的条件下，论文断言$n$在$L$中不是两个立方数之和。这是通过证明当从$\mathbb{Q}^{(p)}\infty$提升到$L^{(p)}\infty$ 时，Iwasawa 不变量保持平凡来实现的。

• 显式示例：
  论文通过 $n=3$ 展示了该理论。由于 $3$不是两个有理立方数之和，且素数$p=7$满足定理 1.2 的条件（良平凡还原、$\text{Sha}$中$p$-挠平凡、且$7 \nmid #\tilde{E}_3(\mathbb{F}_7)$），论文得出结论：$3$在$\mathbb{Q}$的分圆$\mathbb{Z}7$-扩张中不是两个立方数之和。它进一步将定理 1.3 应用于包含在$\mathbb{Q}(\mu{29})$中的一个特定$\mathbb{Z}/7\mathbb{Z}$-扩张。

意义与主张
该论文声称提供了一些条件，使得一个整数不能表示为两个有理立方数之和这一性质，在大型素循环扩张族和分圆 $\mathbb{Z}_p$-扩张中得以保持。其意义在于将丢番图问题（立方数之和）与 Iwasawa 理论中 Selmer 群的结构性质联系起来。

作者指出，由于 $E_n$ 在 2 和 3 处具有坏还原，要求 $p \geq 5$ 是必要的。论文谦逊地将其贡献界定为为“某些大型扩张族”建立不可解性，而非对所有扩张的普遍性陈述。它强调，虽然结果成立的素数集（在所有素数中）的密度为 $1/2$，但这直接源于具有复乘（complex multiplication）性质的曲线中良平凡还原素数的密度。这项工作并不声称解决了所有 $n$ 或所有扩张的一般问题，而是利用 Iwasawa 不变量在特定的、定义明确的语境下排除了解的存在。