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

Resumen Técnico de "Construcción de Grupos Formales de Lubin-Tate de 2 Dimensiones sobre $\mathbb{Z}_p$ (I)"

Planteamiento del Problema
El artículo aborda una brecha significativa en la generalización de la teoría de Lubin-Tate de una dimensión a dimensiones superiores. Mientras que Lubin y Tate (1964) construyeron con éxito grupos formales unidimensionales sobre $\mathbb{Z}_p$ cuyos puntos de torsión generan extensiones abelianas máximas totalmente ramificadas de $\mathbb{Q}_p$, los análogos de dimensiones superiores han permanecido insuficientemente comprendidos. Intentos previos de Honda, Hazewinkel y otros, o bien fallaron al intentar producir grupos de dimensiones superiores no triviales, o resultaron en sumas directas de grupos unidimensionales, los cuales no capturan la complejidad pretendida. Los autores pretenden construir una clase genuina de grupos formales de Lubin-Tate de 2 dimensiones sobre $\mathbb{Z}_p$ (no isomorfos a sumas directas de grupos unidimensionales) e iniciar el estudio de las extensiones de campo generadas por sus puntos de torsión $p^\infty$.

Metodología
Los autores emplean un enfoque de ecuación funcional basado en el trabajo de Hazewel y Lubin, adaptado para el caso de 2 dimensiones.

1. Construcción del Logaritmo: En lugar de definir directamente la ley de grupo formal, los autores construyen el grupo a través de su logaritmo. Definen una familia específica de series de potencia de 2 dimensiones $L_g(X)$ que satisfacen una ecuación funcional que involucra una secuencia de matrices $(s_i)$ y un endomorfismo de tipo Frobenius.
2. Exponenciación: Utilizando el Lema de la Ecuación Funcional (Lema 3.2), invierten el logaritmo $L_g$ para definir la ley de grupo formal $F(X, Y) = L_g^{-1}(L_g(X) + L_g(Y))$.
3. Aproximación Dinámica: Para analizar los puntos de torsión, los autores introducen un sistema dinámico $D_{\vec{h}}$ que sirve como una aproximación $p$-ádica del endomorfismo de multiplicación-por-$p$, $[p]_F$. Este sistema se define 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: Se introduce una herramienta geométrica novedosa, el "copolígono de Newton", para series de potencia $p$-ádicas en dos variables. Esto generaliza el polígono de Newton clásico al espacio 3D, permitiendo a los autores relacionar las valuaciones de los coeficientes de una serie con las valuaciones de sus ceros.
5. Análisis de Ramificación: El artículo analiza las propiedades de ramificación de las extensiones generadas por los puntos de torsión mediante el cálculo de las valuaciones $p$-ádicas de las coordenadas de estos puntos utilizando el sistema dinámico y el copolígono de Newton.

Contribuciones Clave y Resultados

• Construcción de Grupos de 2 Dimensiones: Los autores definen una familia de grupos formales de Lubin-Tate de 2 dimensiones $F$ sobre $\mathbb{Z}_p$ asociados a un par de enteros positivos coprimos $\vec{h} = (h_1, h_2)$. Demuestran que estos grupos poseen un anillo de endomorfismos mayor que $\mathbb{Z}_p$ cuando se consideran sobre ciertas extensiones no ramificadas, distinguiéndolos de las sumas directas de grupos unidimensionales.
• Altura y Endomorfismos: Se muestra que los grupos construidos son de altura finita $h = h_1 + h_2$. El endomorfismo de multiplicación-por-$p$, $[p]_F$, satisface condiciones de congruencia específicas módulo $p$ y de grado 2, situándose dentro de un subconjunto específico de series de potencia $C_{LT}$.
• Estructura de Galois de las Extensiones de Torsión:
  • Teorema 5.1: La extensión de campo $\mathbb{Q}_p(F[p^n])$ generada por las coordenadas de los puntos de $p^n$-torsión es una extensión de Galois de $\mathbb{Q}_p$.
  • Teorema 5.2: La extensión generada por los puntos de $p^\infty$-torsión completa sobre la extensión no ramificada $U_h$ (de grado $h=h_1+h_2$) es una extensión abeliana. Este es un resultado central, estableciendo que mientras la extensión sobre $\mathbb{Q}_p$ es probablemente no abeliana (similar al caso unidimensional sobre extensiones no ramificadas), la extensión sobre la base no ramificada apropiada es abeliana.
• Valuación de los Puntos de Torsión: El Teorema 5.5 proporciona fórmulas explícitas para las valuaciones $p$-ádicas de las coordenadas de los puntos de $p^n$-torsión no triviales para $p$ impar. Las valuaciones dependen de la paridad de $n$ y de los parámetros $h_1, h_2$.
• Propiedades de Ramificación:
  • Teorema 5.6: En el caso específico donde la suma de las alturas $h = h_1 + h_2$ es impar, la extensión generada por los puntos de $p$-torsión sobre $U_h$ es totalmente ramificada de grado $(p^h - 1)/2$. Las coordenadas de los puntos de $p$-torsión generan la misma extensión de campo.

Significado y Alcance
El artículo afirma llenar parcialmente la brecha en la teoría de los grupos de Lubin-Tate de dimensiones superiores al proporcionar la primera construcción explícita de grupos no triviales de 2 dimensiones sobre $\mathbb{Z}_p$ y establecer sus propiedades aritméticas fundamentales. La introducción del copolígono de Newton ofrece una nueva perspectiva geométrica para estudiar las series de potencia $p$-ádicas en múltiples variables.

Los autores son modestos respecto al alcance de sus resultados. Declaran explícitamente que este artículo solo "inicia" el estudio de las propiedades de ramificación. Si bien demuestran la ramificación total para el caso de $p$-torsión (cuando $h$ es impar), señalan que un análisis exhaustivo de la ramificación para los puntos de $p^n$-torsión con $n > 1$ queda reservado para trabajos futuros. Además, reconocen que no todo elemento del conjunto candidato $C_{LT}$ produce un grupo formal de Lubin-Tate válido, lo que resalta las restricciones específicas del entorno de dimensiones superiores en comparación con el caso de una dimensión. El artículo no pretende caracterizar completamente la extensión abeliana máxima de $\mathbb{Q}_p$ mediante estos grupos, sino que identifica la extensión no ramificada específica $U_h$ sobre la cual los puntos de torsión generan una torre abeliana.