Constructing $2$-dimensional Lubin-Tate formal groups over $\mathbb{Z}_{p}$ (I)

Resumo Técnico de "Construindo Grupos Formais de Lubin-Tate de 2 Dimensões sobre $\mathbb{Z}_p$ (I)"

Enunciado do Problema
O artigo aborda uma lacuna significativa na generalização da teoria de Lubin-Tate da dimensão um para dimensões superiores. Enquanto Lubin e Tate (1964) construíram com sucesso grupos formais unidimensionais sobre $\mathbb{Z}_p$ cujos pontos de torção geram extensões abelianas maximamente totalmente ramificadas de $\mathbb{Q}_p$, análogos de dimensões superiores permaneceram mal compreendidos. Tentativas anteriores de Honda, Hazewinkel e outros ou falharam em produzir grupos de dimensão superior não triviais ou resultaram em somas diretas de grupos unidimensionais, que não capturam a complexidade pretendida. Os autores visam construir uma classe genuína de grupos formais de Lubin-Tate de 2 dimensões sobre $\mathbb{Z}_p$ (não isomorfos a somas diretas de grupos unidimensionais) e iniciar o estudo das extensões de campo geradas por seus pontos de torção $p^\infty$.

Metodologia
Os autores empregam uma abordagem de equação funcional enraizada no trabalho de Hazewinkel e Lubin, adaptada para o caso de 2 dimensões.

1. Construção do Logaritmo: Em vez de definir o grupo formal diretamente, os autores constroem o grupo através de seu logaritmo. Eles definem uma família específica de séries de potências de 2 dimensões $L_g(X)$ que satisfaz uma equação funcional envolvendo uma sequência de matrizes $(s_i)$ e um endomorfismo do tipo Frobenius.
2. Exponenciação: Usando o Lema da Equação Funcional (Lema 3.2), eles invertem o logaritmo $L_g$ para definir a lei do grupo formal $F(X, Y) = L_g^{-1}(L_g(X) + L_g(Y))$.
3. Aproximação Dinâmica: Para analisar os pontos de torção, os autores introduzem um sistema dinâmico $D_{\vec{h}}$ que serve como uma aproximação $p$-ádica do endomorfismo de multiplicação-por-$p$, $[p]_F$. Este sistema é definido por $D_{\vec{h}}(x_1, x_2) = (px_1 + x_2^{h_1}, px_2 + x_1^{h_2})$.
4. Copolígono de Newton: Uma ferramenta geométrica inovadora, o "copolígono de Newton", é introduzida para séries de potências $p$-ádicas em duas variáveis. Isso generaliza o polígono de Newton clássico para o espaço 3D, permitindo que os autores relacionem as valuações dos coeficientes de uma série com as valuações de seus zeros.
5. Análise de Ramificação: O artigo analisa as propriedades de ramificação das extensões geradas pelos pontos de torção calculando as valuações $p$-ádicas das coordenadas desses pontos usando o sistema dinâmico e o copolígono de Newton.

Principais Contribuições e Resultados

• Construção de Grupos de 2 Dimensões: Os autores definem uma família de grupos formais de Lubin-Tate de 2 dimensões $F$ sobre $\mathbb{Z}_p$ associada a um par de inteiros positivos coprimos $\vec{h} = (h_1, h_2)$. Eles provam que esses grupos possuem um anel de endomorfismos maior que $\mathbb{Z}_p$ quando considerados sobre certas extensões não ramificadas, distinguindo-os de somas diretas de grupos unidimensionais.
• Altura e Endomorfismos: Os grupos construídos mostram ser de altura finita $h = h_1 + h_2$. O endomorfismo de multiplicação-por-$p$, $[p]_F$, satisfaz condições de congruência específicas módulo $p$ e grau 2, posicionando-se dentro de um subconjunto específico de séries de potências $C_{LT}$.
• Estrutura de Galois das Extensões de Torção:
  • Teorema 5.1: A extensão de campo $\mathbb{Q}_p(F[p^n])$ gerada pelas coordenadas dos pontos de torção $p^n$ é uma extensão de Galois de $\mathbb{Q}_p$.
  • Teorema 5.2: A extensão gerada pelos pontos de torção $p^\infty$ completos sobre a extensão não ramificada $U_h$ (de grau $h=h_1+h_2$) é uma extensão abeliana. Este é um resultado central, estabelecendo que, embora a extensão sobre $\mathbb{Q}_p$ seja provavelmente não abeliana (semelhante ao caso unidimensional sobre extensões não ramificadas), a extensão sobre a base não ramificada apropriada é abeliana.
• Valuação dos Pontos de Torção: O Teorema 5.5 fornece fórmulas explícitas para as valuações $p$-ádicas das coordenadas dos pontos de torção $p^n$ não triviais para $p$ ímpar. As valuações dependem da paridade de $n$ e dos parâmetros $h_1, h_2$.
• Propriedades de Ramificação:
  • Teorema 5.6: No caso específico onde a soma das alturas $h = h_1 + h_2$ é ímpar, a extensão gerada pelos pontos de torção $p$ sobre $U_h$ é totalmente ramificada de grau $(p^h - 1)/2$. As coordenadas dos pontos de torção $p$ geram a mesma extensão de campo.

Significância e Escopo
O artigo afirma preencher parcialmente a lacuna na teoria dos grupos de Lubin-Tate de dimensões superiores ao fornecer a primeira construção explícita de grupos não triviais de 2 dimensões sobre $\mathbb{Z}_p$ e estabelecer suas propriedades aritméticas fundamentais. A introdução do copolígono de Newton oferece uma nova perspectiva geométrica para o estudo de séries de potências $p$-ádicas em múltiplas variáveis.

Os autores são modestos quanto ao escopo de seus resultados. Eles declaram explicitamente que este artigo apenas "inicia" o estudo das propriedades de ramificação. Embora provem a ramificação total para o caso de torção $p$ (quando $h$ é ímpar), eles observam que uma análise abrangente da ramificação para pontos de torção $p^n$ com $n > 1$ é reservada para trabalhos futuros. Além disso, reconhecem que nem todo elemento do conjunto candidato $C_{LT}$ produz um grupo formal de Lubin-Tate válido, destacando as restrições específicas do cenário de dimensões superiores em comparação com o caso de dimensão um. O artigo não pretende caracterizar totalmente a extensão abeliana máxima de $\mathbb{Q}_p$ via estes grupos, mas sim identifica a extensão não ramificada específica $U_h$ sobre a qual os pontos de torção geram uma torre abeliana.