On $p-$Rationality of Cubic and Quartic Number Fields

Resumo Técnico: Sobre a p-Racionalidade de Campos Numéricos Cúbicos e Quarticos

1. Problema e Contexto

O artigo aborda o problema da p-racionalidade de campos numéricos, um conceito fundamental na teoria algébrica dos números e na teoria de Iwasawa. Um campo numérico $F$ é dito p-racional se o grupo de Galois de sua extensão pro-p maximal não ramificada fora dos primos acima de $p$ ($G_{Sp}(F)$) for um grupo pro-p livre.

A p-racionalidade é equivalente à conjunção de duas condições:

1. A conjectura de Leopoldt vale para $(F, p)$.
2. O módulo de torção $\mathbb{Z}_p$-máximo do grupo de Galois abeliano é trivial (ou seja, a extensão abeliana pro-p maximal não ramificada é a composição de todas as extensões $\mathbb{Z}_p$ de $F$).

Embora existam progressos significativos para campos quadráticos e campos totalmente reais, a p-racionalidade para campos que não são totalmente reais (especificamente cúbicos complexos e quarticos puramente imaginários) permanece menos explorada. O objetivo do artigo é fornecer critérios práticos para determinar essa propriedade nesses casos e investigar a relação com a Conjectura Generalizada de abc e a Conjectura Generalizada de Greenberg (GGC).

2. Metodologia

Os autores desenvolveram uma abordagem baseada em três pilares principais:

• Critérios de p-Racionalidade via Unidades Fundamentais:
  Para campos cúbicos complexos e quarticos puramente imaginários, os autores refinam critérios existentes (Proposição 2.2). Eles estabelecem que, sob certas condições de ramificação, a p-racionalidade depende crucialmente de uma condição de não-divisibilidade de potências da unidade fundamental $\varepsilon$ módulo potências de ideais primos. Especificamente, deve existir um ideal primo $\mathfrak{p}$ sobre $p$ tal que $\varepsilon^{pf-1} \not\equiv 1 \pmod{\mathfrak{p}^{e+1}}$, onde $e$ e $f$ são o índice de ramificação e o grau de resíduo, respectivamente.

• Sequências de Recorrência:
  Para campos cúbicos complexos definidos por uma unidade fundamental $\varepsilon$ com polinômio mínimo $f(x) = x^3 - a_2x^2 - a_1x - a_0$, os autores definem uma sequência de recorrência de terceira ordem:
  $$F_{n+3} = a_2F_{n+2} + a_1F_{n+1} + a_0F_n$$
  com condições iniciais $F_0=F_1=0, F_2=1$. Eles provam que a não-divisibilidade de termos específicos desta sequência por $p^2$ (dependendo do comportamento de decomposição de $p$ no campo) implica a condição necessária para a p-racionalidade.

• Conjectura Generalizada de abc:
  Utilizando a Conjectura Generalizada de abc, os autores demonstram um resultado assintótico sobre a densidade de primos $p$ para os quais um campo fixo $K$ é p-racional.

3. Principais Contribuições e Resultados

Teorema 1.3 (Critério para Campos Cúbicos Complexos):
Os autores estabelecem um critério explícito baseado na sequência de recorrência $F_n$. Dependendo de como o primo $p$ se comporta em $K$:

• Se $p$ se decompõe totalmente, $F_{p-1} \not\equiv 0 \pmod{p^2}$ implica p-racionalidade (sob $p \nmid h(K)$).
• Se $p$ se decompõe em dois ideais com graus de resíduo 1 e 2, $F_{p^2-1} \not\equiv 0 \pmod{p^2}$ implica p-racionalidade.
• Se $p$ é inerte, $F_{p^3-1} \not\equiv 0 \pmod{p^2}$ implica p-racionalidade.
  Este critério permite verificar a p-racionalidade computacionalmente sem precisar calcular diretamente o grupo de classes ou extensões de Hilbert.

Teorema 1.4 (Densidade Assintótica sob Conjectura abc):
Assumindo a validade da Conjectura Generalizada de abc para um campo $K$ (cúbico complexo ou quartico imaginário), os autores provam que o número de primos $p \le x$ para os quais $K$ é p-racional cresce pelo menos como $c \log x$ (para uma constante $c > 0$). Isso confirma que existem infinitos primos para os quais tais campos são p-racionais.

Conexão com a Conjectura Generalizada de Greenberg (GGC):
O artigo estabelece uma ligação importante entre p-racionalidade e a GGC (que afirma que o módulo de Iwasawa de certas extensões é pseudo-nulo).

• Lema 5.4: Se $K$ é um campo CM e sua subcampo real maximal $K^+$ é p-racional (e $p \nmid h(K)$), então a GGC vale para $(K, p)$.
• Exemplo 5.6: Os autores constroem exemplos explícitos de campos sexticos (extensões de campos cúbicos reais por $\sqrt{-1}$) para os quais a GGC é válida para infinitos primos $p$, utilizando a p-racionalidade de campos cúbicos reais conhecidos.

Exemplos Computacionais e Tabelas:

• Exemplo 5.1: Analisa a família de campos $K = \mathbb{Q}(\sqrt[3]{p^3-1})$. Mostram que para $5 \le p \le 10000$ (exceto $p=2791$), esses campos são p-racionais.
• Exemplo 5.2: Demonstra que o campo $\mathbb{Q}(\sqrt[4]{1+\sqrt{-2}})$ é 5-racional.
• Tabelas 1 e 2: Apresentam uma verificação computacional extensiva para 419 campos cúbicos complexos e 147 campos quarticos imaginários (com discriminante absoluto < 3000) e primos $5 \le p \le 100$. As tabelas listam casos onde a p-racionalidade falha ou onde a verificação é inconclusiva (devido à divisibilidade do número de classes $h(K)$ por $p$).

4. Significado e Impacto

• Ferramenta Prática: O trabalho fornece um critério computacional eficiente (via sequências de recorrência) para testar a p-racionalidade em campos de grau 3 e 4, superando a dificuldade de calcular grupos de classes e extensões de Hilbert diretamente.
• Avanço na Conjectura de Greenberg: Ao conectar a p-racionalidade de campos não totalmente reais com a validade da GGC, o artigo oferece novos exemplos concretos onde a conjectura de Greenberg é verdadeira, um problema aberto de longa data.
• Generalização de Resultados Quadráticos: Estende a lógica de p-racionalidade, anteriormente bem compreendida para campos quadráticos, para graus superiores, revelando padrões semelhantes, mas com complexidades adicionais devido à estrutura de unidades e ramificação.
• Dados Empíricos: As tabelas fornecem um conjunto de dados valioso para a comunidade de teoria dos números, identificando casos específicos onde a p-racionalidade falha e onde a verificação depende de condições mais profundas sobre o número de classes.

Em suma, o artigo avança significativamente a compreensão da estrutura de Galois de extensões pro-p de campos numéricos complexos, oferecendo tanto ferramentas teóricas (critérios de recorrência) quanto resultados computacionais robustos que suportam conjecturas fundamentais na teoria dos números.