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

Sintesi Tecnica: Interi che sono Somme di due Cubi nella Estensione Ciclotomica $\mathbb{Z}_p$

Enunciato del Problema
Il saggio investiga la solvibilità dell'equazione diofante $n = x^3 + y^3$ dove $n$ è un numero naturale privo di cubi (cubefree) e $x, y$ appartengono a specifiche estensioni algebriche infinite di $\mathbb{Q}$. Mentre si congettura che la densità dei numeri naturali rappresentabili come somma di due cubi razionali sia $1/2$, questo lavoro si concentra sul caso complementare: assumendo che $n$ non sia una somma di due cubi razionali, sotto quali condizioni $n$ rimane non rappresentabile come somma di due cubi in campi più ampi? Nello specifico, l'autore studia l'estensione ciclotomica $\mathbb{Z}_p$ di $\mathbb{Q}$, denotata con $\mathbb{Q}^{(p)}_\infty$, e determinate estensioni cicliche prime di $\mathbb{Q}$.

Metodologia
L'approccio si basa sulla teoria di Iwasawa delle curve ellittiche e sull'aritmetica dei gruppi di Selmer.

1. Corrispondenza di Curve Ellittiche: L'equazione $n = x^3 + y^3$ è associata alla curva ellittica $E_n: x^3 + y^3 = nz^3$, che è isomorfa alla forma di Weierstrass $y^2 = x^3 - 432n^2$. L'esistenza di una soluzione in un campo $L$ è equivalente al fatto che il rango di $E_n(L)$ sia positivo, dato che $E_n$ non possiede punti di torsione razionali non triviali.
2. Teoria di Iwasawa: L'autore analizza la crescita del rango di $E_n$ all'interno della torre di campi che definisce l'estensione $\mathbb{Z}_p$-ciclotomica. Ciò comporta lo studio del gruppo di Selmer $p$-primario $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ e del suo duale di Pontryagin come modulo sull'algebra di Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$.
3. Invarianti e Vanimento: Il meccanismo tecnico centrale consiste nello dimostrare che gli invarianti di Iwasawa $\mu$ e $\lambda$ del gruppo di Selmer svaniscono per un set specifico di primi $p$. Il vanimento di questi invarianti implica che il gruppo di Selmer sull'estensione infinita sia triviale (o finito), il che a sua volta impone che il rango della curva ellittica sull'estensione infinita sia zero.
4. Discesa a Estensioni Finite: Per estendere i risultati dalle torri ciclotomiche infinite a estensioni cicliche prime finite $L/\mathbb{Q}$, il saggio utilizza un analogo della formula di Kida (dovuta a Hachimori e Matsuno) per controllare la crescita degli invarianti di Iwasawa in estensioni $p$.

Contributi Chiave e Risultati

• Teorema 1.2 (Non-solvibilità in $\mathbb{Q}^{(p)}_\infty$):
  Sia $n$ un numero naturale privo di cubi non esprimibile come somma di due cubi razionali. Sia $S$ l'insieme dei primi $p \geq 5$ soddisfacenti:
  (a) $E_n$ ha una riduzione ordinaria buona in $p$;
  (b) La $p$-torsione del gruppo di Tate-Shafarevich $\text{X}(E_n/\mathbb{Q})[p]$ è triviale;
  (c) $p$ non divide l'ordine della curva ridotta $\# \tilde{E}_n(\mathbb{F}_p)$.

  Il saggio dimostra che $S$ ha densità naturale $1/2$. Inoltre, per ogni $p \in S$, $n$ non può essere scritto come $x^3 + y^3$ con $x, y \in \mathbb{Q}^{(p)}_\infty$. Questo risultato si basa sulla finitezza del gruppo di Tate-Shafarevich e sul lavoro di Kato e Rubin riguardo alla proprietà di cotorsione dei gruppi di Selmer.

• Teorema 1.3 (Non-solvibilità in Estensioni Cicliche Prime):
  L'autore estende il risultato a estensioni galoisiane finite $L/\mathbb{Q}$ con gruppo di Galois $G \simeq \mathbb{Z}/p\mathbb{Z}$ (dove $p > 7$ e $p \in S$). Sotto le condizioni che i primi ramificati $\ell$ non dividono $6pn$ e soddisfano $\tilde{E}_n(\mathbb{F}_\ell)[p] = 0$, il saggio afferma che $n$ non è una somma di due cubi in $L$. Ciò è ottenuto dimostrando che gli invarianti di Iwasawa rimangono triviali quando si passa da $\mathbb{Q}^{(p)}_\infty$ a $L^{(p)}_\infty$.

• Esempio Esplicito:
  Il saggio illustra la teoria con $n=3$. Poiché $3$ non è una somma di cubi razionali, e il primo $p=7$ soddisfa le condizioni del Teorema 1.2 (riduzione ordinaria buona, torsione $p$ triviale in Sha, e $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$), il saggio conclude che $3$ non è una somma di due cubi nell'estensione ciclotomica $\mathbb{Z}_7$ di $\mathbb{Q}$. Esso applica ulteriormente il Teorema 1.3 a una specifica estensione $\mathbb{Z}/7\mathbb{Z}$ contenuta in $\mathbb{Q}(\mu_{29})$.

Significato e Rivendicazioni
Il saggio sostiene di fornire le condizioni sotto le quali la non-rappresentabilità di un intero come somma di due cubi razionali è preservata in grandi famiglie di estensioni cicliche prime e nell'estensione $\mathbb{Z}_p$-ciclotomica. La significatività risiede nel collegare problemi diofanti (somme di cubi) con le proprietà strutturali dei gruppi di Selmer nella teoria di Iwasawa.

L'autore nota che l'assunzione $p \geq 5$ è necessaria a causa del requisito di riduzione ordinaria buona, poiché le curve $E_n$ hanno riduzione cattiva in 2 e 3. Il saggio inquadra modestamente il proprio contributo come l'instaurazione della non-solvibilità per "alcune grandi famiglie" di estensioni, piuttosto che un'affermazione universale per tutte le estensioni. Evidenzia che, sebbene l'insieme dei primi in cui il risultato è valido abbia densità $1/2$ (all'interno dell'insieme di tutti i primi), ciò è una diretta conseguenza della densità dei primi con riduzione ordinaria buona per curve con moltiplicazione complessa. Il lavoro non pretende di risolvere il problema generale per tutti gli $n$ o per tutte le estensioni, ma offre un quadro rigoroso utilizzando gli invarianti di Iwasawa per escludere soluzioni in contesti specifici e ben definiti.