On Iwasawa theory of abelian varieties over $\mathbb{Z}_p^2$-extension with applications to Diophantine stability and integally Diophantine extensions

Resumo Técnico do Artigo

1. Problema e Contexto

O artigo investiga a teoria de Iwasawa de variedades abelianas definidas sobre corpos de números, focando especificamente no comportamento dos seus grupos de Selmer e do posto de Mordell-Weil em extensões infinitas. O cenário principal é uma extensão $\mathbb{Z}_p^2$-extension (uma extensão Galois com grupo de Galois isomorfo a $\mathbb{Z}_p \times \mathbb{Z}_p$) de um corpo de números $F$, contendo a extensão ciclotômica $\mathbb{Z}_p$-extension ($F_{cyc}$).

O problema central gira em torno da Conjectura de Crescimento de Mazur, que prevê que o grupo de Selmer $p$-primário de uma variedade abeliana sobre $F_{cyc}$ é um módulo de torção sobre a álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[\text{Gal}(F_{cyc}/F)]]$. O autor busca:

1. Quantificar o número de subextensões $\mathbb{Z}_p$ dentro de uma extensão $\mathbb{Z}_p^2$ onde o posto de Mordell-Weil da variedade abeliana é ilimitado.
2. Aplicar esses resultados à estabilidade diofantina e à existência de extensões integralmente diofantinas, conectando a teoria de Iwasawa ao 10º Problema de Hilbert.
3. Estender a análise para o caso de curvas elípticas com redução supersingular (onde a conjectura clássica de torção não se aplica diretamente, exigindo grupos de Selmer "assinados").

2. Metodologia

O autor emprega uma combinação de técnicas algébricas da teoria de Iwasawa e resultados aritméticos profundos:

• Estrutura de Módulos sobre Álgebras de Iwasawa: O trabalho utiliza a teoria de estrutura de módulos finitamente gerados sobre anéis de séries de potências em duas variáveis ($\mathbb{Z}_p[[U, W]]$). O autor define o conjunto $A(M)$ de subgrupos onde um módulo de torção $M$ deixa de ser de torção sobre o quociente.
• Limites de Características: O método chave envolve o cálculo da ordem de vanishing ($\text{ord}_U$) do polinômio característico do módulo dual do grupo de Selmer sobre a extensão ciclotômica. O autor prova que o número de direções $\mathbb{Z}_p$ onde o posto cresce ilimitadamente é limitado superiormente por este valor.
• Teorema de Controle de Mazur: Utiliza-se o teorema de controle para relacionar os grupos de Selmer em extensões finitas e infinitas, garantindo que o núcleo e o conúcleo das mapas de restrição sejam finitos.
• Grupos de Selmer Assinados (Signed Selmer Groups): Para o caso supersingular, o autor adapta a metodologia de Kobayashi e Kim, utilizando grupos de Selmer definidos via normas $+$ e $-$ (baseadas em grupos formais) para lidar com a não-torção do grupo de Selmer clássico.
• Teorema de Shlapentokh: Para as aplicações diofantinas, o autor utiliza um teorema fundamental que estabelece que uma extensão $L_1/L_2$ é integralmente diofantina se houver uma variedade abeliana com posto positivo e estável (mesmo posto) em ambas as extensões.

3. Principais Contribuições e Resultados

A. Limitação do Crescimento do Posto (Teorema 1.1 / 3.3)
O resultado central estabelece que, para uma variedade abeliana $A$ com redução ordinária potencialmente boa em todos os primos acima de $p$, e assumindo a conjectura de Mazur (o grupo de Selmer sobre $F_{cyc}$ é de torção), o conjunto de extensões $\mathbb{Z}_p$ contidas em uma $\mathbb{Z}_p^2$-extension onde o posto de Mordell-Weil é ilimitado é finito.

• Fórmula: $\# \mathcal{M}(A/F_\infty) \leq \text{ord}_U(\text{char}_{\mathbb{Z}_p[[\Gamma]]} X(A/F_{cyc}))$.
• Melhoria: Este resultado generaliza trabalhos anteriores (Gajek-Leonard, Hatley, Kundu, Lei) para variedades abelianas (não apenas curvas elípticas) e remove a suposição técnica de que o módulo dual do grupo de Selmer deve ser uma soma direta de módulos cíclicos de torção.

B. Estabilidade Diofantina e Extensões Integralmente Diofantinas (Teoremas 1.2, 1.3, 5.1, 5.5)
O autor demonstra que, sob as hipóteses de Mazur, existem infinitas (não enumeráveis) extensões cíclicas onde a variedade abeliana é diofantinamente estável (o conjunto de pontos racionais não cresce).

• Consequentemente, existem infinitas extensões que são integralmente diofantinas (o anel de inteiros da subextensão é um conjunto diofantino na extensão superior).
• Resultados Incondicionais: Ao combinar com resultados de Kato e Rubin, o autor prova que, para curvas elípticas sobre $\mathbb{Q}$ com redução ordinária e extensões abelianas imaginárias finitas, o conjunto de tais extensões é não enumerável, sem necessidade de conjecturas adicionais.

C. Caso Supersingular (Teoremas 1.6, 1.7, 7.8, 7.10)
Para curvas elípticas com redução supersingular em $p$ (com $a_p=0$) sobre corpos quadráticos imaginários:

• O autor estabelece um análogo do Teorema 3.3 usando grupos de Selmer assinados ($X_{s,z}$).
• Mostra que, se os grupos de Selmer assinados sobre $F_{cyc}$ são de torção, o número de direções de crescimento ilimitado é limitado pela soma das ordens de vanishing dos polinômios característicos assinados.
• Fornece resultados incondicionais sobre estabilidade diofantina sob condições específicas de ramificação e decomposição de primos.

D. Conjectura Relativa de Denef-Lipshitz
O artigo discute a conjectura de Denef-Lipshitz (que afirma que toda extensão de corpos de números é integralmente diofantina). Os resultados do autor fornecem evidências fortes para a versão relativa desta conjectura, sugerindo que "toda extensão finita de corpos de números $L/K$ é integralmente diofantina".

4. Significância e Impacto

1. Generalização e Remoção de Hipóteses: O trabalho remove suposições técnicas restritivas (como a estrutura de soma direta de módulos cíclicos) que limitavam resultados anteriores na literatura, tornando as conclusões mais robustas e aplicáveis a uma classe mais ampla de variedades abelianas.
2. Conexão entre Teoria de Números e Lógica: Ao vincular a teoria de Iwasawa (crescimento de pontos racionais) com a teoria da decidibilidade (problema de Hilbert 10 e extensões diofantinas), o artigo abre novas vias para provar a existência de extensões com propriedades lógicas específicas, algo que é difícil de fazer explicitamente.
3. Tratamento Unificado de Casos Ordinários e Supersingulares: O artigo oferece uma estrutura coerente para lidar tanto com o caso ordinário (via conjectura de Mazur) quanto com o caso supersingular (via grupos assinados), demonstrando que fenômenos de estabilidade diofantina ocorrem abundantemente em ambos os cenários.
4. Refinamento da Conjectura de Crescimento de Mazur: O trabalho fornece limites superiores precisos para o número de extensões onde o posto cresce, refinando a compreensão do comportamento assintótico das variedades abelianas em torres de corpos.

Em suma, o artigo é uma contribuição significativa para a teoria de Iwasawa moderna, unificando problemas de crescimento de posto, estabilidade diofantina e a estrutura algébrica de módulos sobre álgebras de Iwasawa, com implicações profundas para a teoria de números e a lógica matemática.