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

Resumen Técnico: Enteros que son Sumas de Dos Cubos en la Extensión Cíclica $\mathbb{Z}_p$ de Ciclotómica

Planteamiento del Problema
El artículo investiga la solvabilidad de la ecuación diofántica $n = x^3 + y^3$, donde $n$ es un número natural libre de cubos y $x, y$ pertenecen a extensiones algebraicas infinitas específicas de $\mathbb{Q}$. Mientras que se conjetura que la densidad de los números naturales representables como una suma de dos cubos racionales es $1/2$, este trabajo se centra en el caso complementario: asumiendo que $n$ no es una suma de dos cubos racionales, ¿bajo qué condiciones $n$ permanece no representable como una suma de dos cubos en campos más grandes? Específicamente, el autor estudia la extensión ciclotómica $\mathbb{Z}_p$ de $\mathbb{Q}$, denotada como $\mathbb{Q}^{(p)}_\infty$, y ciertas extensiones cíclicas primas de $\mathbb{Q}$.

Metodología
El enfoque se basa en la teoría de Iwasawa de curvas elípticas y la aritmética de los grupos de Selmer.

1. Correspondencia de Curvas Elípticas: La ecuación $n = x^3 + y^3$ está asociada con la curva elíptica $E_n: x^3 + y^3 = nz^3$, la cual es isomórfica a la forma de Weierstrass $y^2 = x^3 - 432n^2$. La existencia de una solución en un campo $L$ es equivalente a que el rango de $E_n(L)$ sea positivo, dado que $E_n$ no posee puntos de torsión racionales no triviales.
2. Teoría de Iwasawa: El autor analiza el crecimiento del rango de $E_n$ dentro de la torre de campos que definen la extensión $\mathbb{Z}_p$ ciclotómica. Esto implica el estudio del grupo de Selmer $p$-primario $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ y su dual de Pontryagin como un módulo sobre el álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$.
3. Invariantes y Vanecimiento: El mecanismo técnico central consiste en demostrar que los invariantes $\mu$ y $\lambda$ de Iwasawa del grupo de Selmer se anulan para un conjunto específico de primos $p$. El vanecimiento de estos invariantes implica que el grupo de Selmer sobre la extensión infinita es trivial (o finito), lo que a su vez fuerza al rango de la curva elíptica sobre la extensión infinita a ser cero.
4. Descenso a Extensiones Finitas: Para extender los resultados de la torre ciclotómica infinita a extensiones cíclicas primas finitas $L/\mathbb{Q}$, el artículo utiliza un análogo de la fórmula de Kida (debido a Hachimori y Matsuno) para controlar el crecimiento de los invariantes de Iwasawa en extensiones $p$.

Contribuciones Clave y Resultados

• Teorema 1.2 (No solvabilidad en $\mathbb{Q}^{(p)}_\infty$):
  Sea $n$ un número natural libre de cubos que no es expresable como una suma de dos cubos racionales. Sea $S$ el conjunto de primos $p \geq 5$ que satisfacen:
  (a) $E_n$ tiene reducción ordinaria buena en $p$;
  (b) La torsión $p$ del grupo de Tate-Shafarevich $\text{X}(E_n/\mathbb{Q})[p]$ es trivial;
  (c) $p$ no divide el orden de la curva reducida $\# \tilde{E}_n(\mathbb{F}_p)$.

El artículo demuestra que $S$ tiene densidad natural $1/2$. Además, para cualquier $p \in S$, $n$ no puede escribirse como $x^3 + y^3$ con $x, y \in \mathbb{Q}^{(p)}_\infty$. Este resultado se apoya en la finitud del grupo de Tate-Shafarevich y en el trabajo de Kato y Rubin respecto a la propiedad de cotorsión de los grupos de Selmer.

• Teorema 1.3 (No solvabilidad en Extensiones Cíclicas Primas):
  El autor extiende el resultado a extensiones de Galois finitas $L/\mathbb{Q}$ con grupo de Galois $G \simeq \mathbb{Z}/p\mathbb{Z}$ (donde $p > 7$ y $p \in S$). Bajo las condiciones de que los primos ramificados $\ell$ no dividen a $6pn$ y cumplen $\tilde{E}_n(\mathbb{F}_\ell)[p] = 0$, el artículo afirma que $n$ no es una suma de dos cubos en $L$. Esto se logra demostrando que los invariantes de Iwasawa permanecen triviales al elevar de $\mathbb{Q}^{(p)}_\infty$ a $L^{(p)}_\infty$.

• Ejemplo Explícito:
  El artículo ilustra la teoría con $n=3$. Dado que $3$ no es una suma de cubos racionales, y el primo $p=7$ satisface las condiciones del Teorema 1.2 (reducción ordinaria buena, torsión $p$ trivial en Sha, y $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$), el artículo concluye que $3$ no es una suma de dos cubos en la extensión $\mathbb{Z}_7$ ciclotómica de $\mathbb{Q}$. Posteriormente, aplica el Teorema 1.3 a una extensión específica $\mathbb{Z}/7\mathbb{Z}$ contenida en $\mathbb{Q}(\mu_{29})$.

Significancia y Pretensiones
El artículo pretende proporcionar condiciones bajo las cuales la no representabilidad de un entero como una suma de dos cubos racionales se preserva en grandes familias de extensiones cíclicas primas y en la extensión $\mathbb{Z}_p$ ciclotómica. La significancia radica en tender un puente entre los problemas diofánticos (sumas de cubos) y las propiedades estructurales de los grupos de Selmer en la teoría de Iwasawa.

El autor señala que la suposición $p \geq 5$ es necesaria debido al requisito de reducción ordinaria buena, ya que las curvas $E_n$ tienen reducción mala en 2 y 3. El trabajo enmarca modestamente su contribución como el establecimiento de la no solvabilidad para "ciertas familias grandes" de extensiones, en lugar de una declaración universal para todas las extensiones. Destaca que, si bien el conjunto de primos donde el resultado se cumple tiene densidad $1/2$ (dentro del conjunto de todos los primos), esto es una consecuencia directa de la densidad de los primos con reducción ordinaria buena para curvas con multiplicación compleja. El trabajo no pretende resolver el problema general para todo $n$ o toda extensión, sino que ofrece un marco riguroso utilizando invariantes de Iwasawa para descartar soluciones en contextos específicos y bien definidos.