On the Existence of the Maximal Unramified Pro-$2$-Extension over the Cyclotomic $\mathbb{Z}_2$-Extension with Prescribed Metacyclic Galois Group

Resumo Técnico do Artigo

1. Problema e Contexto

O artigo investiga a realizabilidade de certos grupos de Galois como grupos de Galois de extensões não ramificadas máximas (pro-2-extensões) sobre corpos numéricos específicos, particularmente focando em extensões $\mathbb{Z}_2$-ciclóticas.

• Objeto de Estudo: Grupos metabelianos 2-finitos de posto 2, cuja abelianização é isomorfa a $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$ (com $n \ge 1$).
• Classificação: Tais grupos são classificados em quatro estruturas principais: abeliano, modular, metacíclico-não-modular e não-metacíclico. O foco deste trabalho recai sobre os grupos metacíclicos-não-modulares.
• Questões Centrais:
  1. Todas as estruturas de grupos metacíclicos-não-modulares são realizáveis como grupos de Galois de extensões não ramificadas pro-2 sobre certas extensões $\mathbb{Z}_2$-ciclóticas?
  2. Especificamente, os quatro tipos de apresentação de grupos metacíclicos-não-modulares (definidos por geradores e relações específicas) são realizáveis?
• Conexão com Conjecturas: O estudo está intrinsecamente ligado à Conjectura de Greenberg, que postula que o módulo de Iwasawa $A(k_\infty)$ de um corpo numérico $k$ é finito. O artigo busca construir famílias de corpos onde essa conjectura se mantém e onde a estrutura do grupo de Galois é explicitamente determinada.

2. Metodologia

Os autores empregam uma combinação de teoria de grupos, teoria de corpos de classes e teoria de números algébricos.

• Teoria de Grupos: Utilizam a classificação de grupos metacíclicos-não-modulares (Tipos 1 a 4) e analisam seus subgrupos de índice 2 e 4. A estrutura do grupo de Galois $G = \text{Gal}(L(k_\infty)/k_\infty)$ é determinada pela estrutura do grupo de classes de 2 ($A(k)$) e seus subcorpos intermediários no torre de Hilbert 2.
• Corpos Numéricos: O estudo concentra-se em:
  • Corpos quadráticos reais $F = \mathbb{Q}(\sqrt{\eta qrs})$.
  • Corpos biquadráticos reais $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$.
  • Corpos triquadráticos reais $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$.
  • Onde $q, r, s$ são primos ímpares distintos com condições de congruência específicas ($q \equiv 3 \pmod 4$, $r, s \equiv 5 \pmod 8$) e $\eta \in \{1, 2\}$.
• Fórmulas de Classe e Unidades:
  • Aplicam a fórmula de classe de Kuroda-Wada para calcular o número de classes de corpos multiquadráticos.
  • Utilizam o método de Wada para determinar o índice de unidades $q(k)$ e sistemas fundamentais de unidades em extensões biquadráticas e triquadráticas.
  • Analisam a norma das unidades fundamentais ($N(\varepsilon_{rs})$) e condições de quadrados em $\mathbb{N}$ envolvendo termos como $2^{\delta_{\eta,1}}q(\gamma - 1)$, onde $\varepsilon_{\eta qrs} = \gamma + \gamma'\sqrt{\eta qrs}$.
• Teorema de Fukuda: Usam este teorema para estabelecer a estabilidade do posto do grupo de classes ao longo das camadas da extensão $\mathbb{Z}_2$-ciclótica ($k_n$), garantindo que $A(k_n) \simeq A(k_\infty)$ sob certas condições de ramificação.

3. Principais Contribuições e Resultados

O artigo fornece condições necessárias e suficientes para a existência de grupos de Galois metacíclicos-não-modulares específicos e resolve casos da Conjectura de Greenberg para novas famílias de corpos.

A. Teorema Principal (Teorema 3.10) - Corpos Quadráticos Reais
Para um corpo $F = \mathbb{Q}(\sqrt{\eta qrs})$ com condições específicas de símbolos de Legendre e Jacobi:

• O grupo de classes de 2 satisfaz $A(F) \simeq A(F_\infty) \simeq \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^m\mathbb{Z}$.
• O grupo de Galois da extensão não ramificada pro-2 máxima, $\text{Gal}(L(F_\infty)/F_\infty)$, é um grupo metacíclico-não-modular do Tipo 1 com $\alpha=2$ se e somente se:
  $$\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$$
  (onde $(\cdot)_4$ denota o símbolo de biquadrático).
• Se a condição acima não for satisfeita (ou seja, se ambos forem 1), o grupo não é do Tipo 1 com $\alpha=2$.

B. Corolário para Corpos Biquadráticos (Corolário 3.12)
Constrói famílias de corpos biquadráticos $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$ que satisfazem a Conjectura de Greenberg:

• O módulo de Iwasawa é $A(K_\infty) \simeq \mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$.
• Isso demonstra a estabilidade do posto 4 (4-rank) e fornece exemplos com posto 4 igual a 1 e 2.

C. Corpos Triquadráticos (Teorema 3.15)
Para corpos triquadráticos $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$ sob as mesmas condições:

• O grupo de classes é $A(F) \simeq A(F_\infty) \simeq \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$.
• O grupo de Galois $\text{Gal}(L(F_\infty)/F_\infty)$ é abeliano.
• Este resultado preenche uma lacuna, pois a literatura anterior tinha poucos resultados sobre módulos de Iwasawa de corpos triquadráticos reais (geralmente triviais ou isomorfos a $\mathbb{Z}/2\mathbb{Z}$).

D. Exemplos Numéricos
Os autores utilizam o software PARI/GP para gerar exemplos explícitos de primos $(q, r, s)$ que satisfazem as condições teóricas, validando as estruturas dos grupos de classes e os tipos de grupos de Galois (Tabelas 5 e 6 no artigo).

4. Significância e Impacto

• Resolução de Questões de Realizabilidade: O trabalho responde afirmativamente à pergunta sobre a realizabilidade de grupos metacíclicos-não-modulares do Tipo 1 em extensões não ramificadas, fornecendo critérios explícitos baseados em propriedades aritméticas dos primos envolvidos.
• Avanço na Conjectura de Greenberg: Ao construir famílias infinitas de corpos onde o módulo de Iwasawa é finito e explicitamente calculado, o artigo reforça a validade da Conjectura de Greenberg para classes mais amplas de corpos multiquadráticos.
• Técnicas para o Posto 4: O artigo desenvolve e apresenta novas técnicas para estudar a estabilidade do posto 4 (4-rank) do grupo de classes em extensões $\mathbb{Z}_2$, um problema considerado desafiador na literatura atual.
• Clareza Estrutural: A distinção precisa entre quando o grupo de Galois é metacíclico-não-modular e quando é abeliano (no caso triquadrático) baseada em símbolos de biquadráticos oferece uma ferramenta poderosa para a classificação de extensões não ramificadas.

Em suma, o artigo avança significativamente a compreensão da estrutura de Galois de extensões não ramificadas pro-2 sobre extensões $\mathbb{Z}_2$-ciclóticas, conectando profundamente a teoria de grupos finitos com a aritmética de corpos de números multiquadráticos.