An elementary proof of the local Kronecker-Weber theorem

Resumo Técnico: Uma Prova Elementar do Teorema de Kronecker-Weber Local

Enunciado do Problema
O artigo aborda o Teorema de Kronecker-Weber Local, que afirma que toda extensão abeliana finita dos números $p$-ádicos $\mathbb{Q}_p$ está contida dentro de uma extensão ciclotômica. Embora a versão global (para $\mathbb{Q}$) seja um resultado clássico, a versão local é frequentemente provada utilizando maquinaria avançada, como a teoria dos corpos de classes local, cohomologia de Galois ou teoria de Lubin–Tate. Os autores visam fornecer uma prova que seja elementar, autocontida e explícita, baseando-se apenas na teoria das valuações discretas, na teoria de Galois básica e na teoria de Kummer, sem invocar resultados da teoria dos corpos de classes local ou ferramentas analíticas como logaritmos $p$-ádicos.

Metodologia
A prova procede decompondo uma extensão abeliana finita $F/\mathbb{Q}_p$ de grau $n = p^l \cdot m$ (onde $(p, m)=1$) em dois casos distintos com base na ramificação:

1. O Caso Tam (onde $p \nmid n$): Os autores analisam as partes não ramificada e ramificada da extensão separadamente. Eles utilizam a unicidade dos campos de inércia para lidar com a parte não ramificada. Para a parte ramificada, empregam o Lema de Hensel e propriedades de grupos de unidades superiores para mostrar que a extensão é gerada pela adjunção de raízes de $-p$ (especificamente $\sqrt[e]{-p}$), as quais são então mostradas como estando contidas em corpos ciclotômicos.
2. O Caso Selvagem (onde $p \mid n$): Este caso envolve a extensão pro-$p$ abeliana máxima. Os autores trabalham sobre o corpo base $K = \mathbb{Q}_p(\zeta_p)$. Eles utilizam a teoria de Kummer para estabelecer uma bijeção entre extensões cíclicas de grau $p$ e subespaços unidimensionais de $K^\times / K^{\times p}$.
   • Eles calculam explicitamente a estrutura do grupo quociente $K^\times / K^{\times p}$ usando filtrações de grupos de unidades superiores ($U_F^{(k)}$).
   • Um passo crucial envolve analisar a ação do grupo de Galois $\text{Gal}(K/\mathbb{Q}_p)$ sobre esses grupos de unidades para determinar quais extensões cíclicas permanecem abelianas sobre $\mathbb{Q}_p$.
   • Para $p=2$, um lema técnico específico é introduzido para lidar com as propriedades únicas de $\mathbb{Q}_2(i)$, garantindo que a prova cubra todos os primos uniformemente dentro de um único quadro algébrico.

Contribuições e Resultados Principais

• Prova Elementar e Autocontida: O artigo fornece uma prova que evita a teoria dos corpos de classes local, a cohomologia de Galois e as construções de Lubin–Tate. Ela baseia-se exclusivamente na teoria das valuações discretas e em ferramentas algébricas padrão.
• Conteúdo Ciclotômico Explícito: Ao contrário de algumas provas existentes que estabelecem a existência sem especificar o corpo contenedor, este artigo fornece uma fórmula explícita para a extensão ciclotômica que contém qualquer extensão abeliana dada $F$ de grau $n = p^l m$:
  $$F \subseteq \mathbb{Q}_p(\zeta_{p^{l+2}}, \zeta_{p^{m-1}})$$
  (Nota: Para $p=2$, o limite é ligeiramente ajustado para $\mathbb{Q}_2(\zeta_{2^{l+2}}, \zeta_{2^{2l-1}})$).
• Análise Estrutural dos Grupos de Unidades: Os autores derivam bases explícitas para os grupos quocientes $F^\times / F^{\times p}$ (e $F^\times / F^{\times 2}$ para $p=2$) em termos de uniformizadores e representantes de unidades superiores. Isso permite uma caracterização precisa dos geradores das extensões abelianas.
• Tratamento Unificado dos Primos: A prova trata o caso $p=2$ e $p>2$ dentro de um único quadro algébrico, em vez de tratá-los como casos estruturais disjuntos, embora lemas específicos (como o Lema 2.6) sejam necessários para abordar o comportamento único de $\mathbb{Q}_2$.
• Comparação com Washington: O artigo compara explicitamente sua abordagem com a prova encontrada em Cyclotomic Fields de Washington [10]. Os autores observam que, embora a prova de Washington seja estruturalmente semelhante, ela depende de argumentos analíticos (completude de $\mathbb{Q}_p$) e não produz a mesma descrição explícita das extensões ciclotômicas requeridas.

Significado e Alegações
Os autores afirmam que sua abordagem oferece uma alternativa "simplificada e explícita" às provas clássicas. Ao evitar ferramentas analíticas (como logaritmos $p$-ádicos e séries exponenciais) e a teoria de classes de campos de alto nível, a prova permanece acessível àqueles com formação em um segundo curso universitário de álgebra. O significado primário reside na explicitação do resultado: o artigo não prova apenas que uma extensão abeliana é ciclotômica, mas fornece um limite concreto sobre as raízes da unidade necessárias para contê-la, derivado diretamente do grau da extensão. O artigo conclui que a extensão pro-$p$ abeliana máxima de $\mathbb{Q}_p$ é de fato uma extensão ciclotômica, com seu grupo de Galois isomorfo a $\mathbb{Z}_p \times \mathbb{Z}_p$ (para $p>2$) ou $C_2 \times \mathbb{Z}_2 \times \mathbb{Z}_2$ (para $p=2$), correspondendo à estrutura da torre ciclotômica.