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

Resumo Técnico: Inteiros que são Somas de Dois Cubos na Extensão Cíclica $\mathbb{Z}_p$ Ciclotômica

Enunciado do Problema
O artigo investiga a solvabilidade da equação diofantina $n = x^3 + y^3$, onde $n$ é um número natural livre de cubos e $x, y$ pertencem a extensões algébricas infinitas específicas de $\mathbb{Q}$. Embora se conjecture que a densidade dos números naturais representáveis como uma soma de dois cubos racionais seja $1/2$, este trabalho foca no caso complementar: assumindo que $n$ não é uma soma de dois cubos racionais, sob quais condições $n$ permanece não representável como uma soma de dois cubos em corpos maiores? Especificamente, o autor estuda a extensão cíclica $\mathbb{Z}_p$ ciclotômica de $\mathbb{Q}$, denotada por $\mathbb{Q}^{(p)}_\infty$, e certas extensões cíclicas de primos de $\mathbb{Q}$.

Metodologia
A abordagem baseia-se na teoria de Iwasawa de curvas elípticas e na aritmética de grupos de Selmer.

1. Correspondência de Curvas Elípticas: A equação $n = x^3 + y^3$ está associada à curva elíptica $E_n: x^3 + y^3 = nz^3$, que é isomórfica à forma de Weierstrass $y^2 = x^3 - 432n^2$. A existência de uma solução em um corpo $L$ é equivalente ao fato de o posto (rank) de $E_n(L)$ ser positivo, dado que $E_n$ não possui pontos de torção racionais não triviais.
2. Teoria de Iwasawa: O autor analisa o crescimento do posto de $E_n$ dentro da torre de corpos que define a extensão $\mathbb{Z}_p$ ciclotômica. Isso envolve o estudo do grupo de Selmer $p$-primário $S_{p^\infty}(E_n/\mathbb{Q}^{(p)}_\infty)$ e de seu dual de Pontryagin como um módulo sobre a álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[T]]$.
3. Invariantes e Aniquilação: O mecanismo técnico central envolve mostrar que os invariantes $\mu$ e $\lambda$ de Iwasawa do grupo de Selmer se anulam para um conjunto específico de primos $p$. A anulação desses invariantes implica que o grupo de Selmer sobre a extensão infinita é trivial (ou finito), o que, por sua vez, força o posto da curva elíptica sobre a extensão infinita a ser zero.
4. Descida para Extensões Finitas: Para estender os resultados de torres cíclicas infinitas para extensões cíclicas de primos finitos $L/\mathbb{Q}$, o artigo utiliza um análogo da fórmula de Kida (devido a Hachimori e Matsuno) para controlar o crescimento de invariantes de Iwasawa em $p$-extensões.

Contribuições Principais e Resultados

• Teorema 1.2 (Não-solvabilidade em $\mathbb{Q}^{(p)}_\infty$):
  Seja $n$ um número natural livre de cubos não expressável como uma soma de dois cubos racionais. Seja $S$ o conjunto de primos $p \geq 5$ satisfazendo:
  (a) $E_n$ possui redução ordinária boa em $p$;
  (b) A $p$-torsão do grupo de Tate-Shafarevich $\text{X}(E_n/\mathbb{Q})[p]$ é trivial;
  (c) $p$ não divide a ordem da curva reduzida $\# \tilde{E}_n(\mathbb{F}_p)$.

  O artigo prova que $S$ possui densidade natural $1/2$. Além disso, para qualquer $p \in S$, $n$ não pode ser escrito como $x^3 + y^3$ com $x, y \in \mathbb{Q}^{(p)}_\infty$. Este resultado baseia-se na finitude do grupo de Tate-Shafarevich e no trabalho de Kato e Rubin a respeito da propriedade de cotorsão dos grupos de Selmer.

• Teorema 1.3 (Não-solvabilidade em Extensões Cíclicas de Primos):
  O autor estende o resultado para extensões de Galois finitas $L/\mathbb{Q}$ com grupo de Galois $G \simeq \mathbb{Z}/p\mathbb{Z}$ (onde $p > 7$ e $p \in S$). Sob as condições de que os primos ramificados $\ell$ não dividem $6pn$ e satisfazem $\tilde{E}_n(\mathbb{F}_\ell)[p] = 0$, o artigo afirma que $n$ não é uma soma de dois cubos em $L$. Isso é alcançado demonstrando que os invariantes de Iwasawa permanecem triviais ao elevar de $\mathbb{Q}^{(p)}_\infty$ para $L^{(p)}_\infty$.

• Exemplo Explícito:
  O artigo ilustra a teoria com $n=3$. Como $3$ não é uma soma de cubos racionais, e o primo $p=7$ satisfaz as condições do Teorema 1.2 (redução ordinária boa, torção $p$ trivial em Sha, e $7 \nmid \#\tilde{E}_3(\mathbb{F}_7)$), o artigo conclui que $3$ não é uma soma de dois cubos na extensão $\mathbb{Z}_7$ ciclotômica de $\mathbb{Q}$. Ele aplica adicionalmente o Teorema 1.3 a uma extensão específica $\mathbb{Z}/7\mathbb{Z}$ contida em $\mathbb{Q}(\mu_{29})$.

Significância e Alegações
O artigo alega fornecer condições sob as quais a não-representabilidade de um inteiro como uma soma de dois cubos racionais é preservada em grandes famílias de extensões cíclicas de primos e na extensão $\mathbb{Z}_p$ ciclotômica. A significância reside em unir problemas diofantinos (somas de cubos) com as propriedades estruturais dos grupos de Selmer na teoria de Iwasawa.

O autor observa que a suposição $p \geq 5$ é necessária devido à exigência de redução ordinária boa, já que as curvas $E_n$ possuem redução má em 2 e 3. O artigo enquadra modestamente sua contribuição como o estabelecimento da não-solvabilidade para "certas grandes famílias" de extensões, em vez de uma afirmação universal para todas as extensões. Destaca que, embora o conjunto de primos onde o resultado é válido tenha densidade $1/2$ (dentro do conjunto de todos os primos), isso é uma consequência direta da densidade de primos com redução ordinária boa para curvas com multiplicação complexa. O trabalho não pretende resolver o problema geral para todo $n$ ou todas as extensões, mas oferece um arcabouço rigoroso usando invariantes de Iwasawa para excluir soluções em contextos específicos e bem definidos.