An $O_K$-basis for the image of a Lubin-Tate logarithm on $\pi$-regular extensions of $K$

A continuación se presenta un resumen técnico detallado del artículo "Una base OK para la imagen de un logaritmo de Lubin-Tate en extensiones π-regulares de K" de Georgia Harbor-Collins.

1. Planteamiento del Problema

El artículo aborda el problema de determinar la estructura de la imagen del logaritmo de Lubin-Tate, denotado $\log_{[\pi]}$, cuando se restringe al ideal maximal $\mathfrak{m}_L$ de una extensión finita $L$ de un cuerpo $p$-ádico $K$.

• Contexto: Sea $K$ una extensión finita de $\mathbb{Q}_p$ con uniformizante $\pi$ y tamaño de cuerpo residual $q$. Sea $[\pi](X)$ una serie de Lubin-Tate asociada a $\pi$, y $F(X, Y)$ la ley de grupo formal asociada. El logaritmo $\log_{[\pi]}$ es un homomorfismo desde el grupo formal $F(\mathfrak{m}_{\mathbb{C}_K})$ hacia el grupo aditivo del cuerpo.
• Resultados Conocidos: Para niveles suficientemente profundos del ideal maximal (específicamente donde $v_L(x) > \frac{v_L(\pi)}{q-1}$), el logaritmo es un isomorfismo. En el caso multiplicativo clásico ($K=\mathbb{Q}_p, \pi=p$), la imagen del logaritmo $p$-ádico en las unidades principales está bien entendida para extensiones que no contienen raíces $p$-ésimas primitivas de la unidad.
• La Brecha: Cuando $v_L(\pi) \ge q-1$, el comportamiento de la imagen $\log_{[\pi]}(F(\mathfrak{m}_L))$ se vuelve complejo, particularmente en lo que respecta a su estructura como un $\mathcal{O}_K$-módulo y la valuación mínima de sus elementos. Si bien se sabe que la imagen es un $\mathcal{O}_K$-módulo libre de rango $[L:K]$, una base explícita y cotas precisas sobre las valuaciones no estaban completamente establecidas para extensiones generales, especialmente aquellas que contienen torsión no trivial.

2. Metodología

La autora emplea una combinación de teoría de grupos formales, teoría de valuaciones y análisis de la estructura de módulos sobre el anillo de enteros $\mathcal{O}_K$.

• Extensiones π-regulares: La metodología central se centra en una clase específica de extensiones llamadas extensiones π-regulares, definidas como extensiones finitas $L|K$ que contienen ninguna torsión $[\pi]$ no trivial (es decir, $\mu_{[\pi^\infty]}(L) = \{0\}$). Esta condición asegura que el logaritmo sea inyectivo en el ideal maximal.
• Construcción de Base mediante el Lema de Nakayama: El artículo construye una base para el grupo formal $F(\mathfrak{m}_L)$ como un $\mathcal{O}_K$-módulo. Utiliza la filtración del ideal maximal y analiza los mapas inducidos en los cocientes $F(\mathfrak{m}_L^i)/F(\mathfrak{m}_L^{i+1})$.
  • La autora demuestra que la serie $[\pi]$ induce isomorfismos entre capas de cocientes específicas cuando $L$ es π-regular.
  • Utilizando el Lema de Nakayama, la autora identifica un conjunto generador mínimo para $F(\mathfrak{m}_L)$ seleccionando elementos de capas de valuación específicas que no son "aniquilados" o mapeados a cero por la acción de $[\pi]$.
• Análisis de Valuación: El artículo deriva una fórmula explícita para la valuación $v_L(\log_{[\pi]}(x))$ basada en el número de iteraciones $\ell_x$ requeridas para mapear un elemento $x$ al dominio de convergencia del mapa exponencial ($D_K(L)$).
• Extensión a Casos con Torsión: Para extensiones que contienen torsión (donde el logaritmo tiene un núcleo), la autora adapta la construcción del conjunto generador, identificando qué elementos deben añadirse al conjunto generador para dar cuenta del submódulo de torsión.

3. Contribuciones y Resultados Clave

A. Definición y Caracterización de Extensiones π-regulares

El artículo formaliza el concepto de π-regularidad. Una extensión $L|K$ es π-regular si no contiene ceros no triviales de $[\pi](X)$.

• Lema 4.3: Proporciona una condición equivalente para la π-regularidad basada en la valuación $v_L(\pi)$ y la resolubilidad de una congruencia específica $u^q + \epsilon u \equiv 0 \pmod{\mathfrak{m}_L}$.

B. Base para el Grupo Formal $F(\mathfrak{m}_L)$

Teorema 4.9: Para una extensión π-regular $L|K$ con uniformizante $\varpi$ y grado residual $f$, el conjunto
$$B_L = \{ \zeta_i \varpi^j \mid 1 \le i \le f, \ 1 \le j \le \frac{q v_L(\pi)}{q-1}, \ q \nmid j \}$$
forma una base $\mathcal{O}_K$ para $F(\mathfrak{m}_L)$, donde $\zeta_i$ son levantamientos de una base para el cuerpo residual.

• Esto generaliza el resultado clásico para las unidades principales $1+\mathfrak{m}_L$ en $\mathbb{Q}_p$ (Teorema 4.1).

C. Base para la Imagen del Logaritmo

Teorema 5.1: Dado que el logaritmo es un isomorfismo en extensiones π-regulares, la imagen de la base $B_L$ bajo $\log_{[\pi]}$ forma una base para el grupo aditivo $\log_{[\pi]}(F(\mathfrak{m}_L))$:
$$\tilde{B}_L = \{ \log_{[\pi]}(\zeta_i \varpi^j) \mid 1 \le i \le f, \ 1 \le j \le \frac{q v_L(\pi)}{q-1}, \ q \nmid j \}$$

D. Cota de Valuación Mínima

Teorema 5.6: El artículo determina la valuación mínima exacta de los elementos en la imagen. Si $v_L(\pi) \ge q-1$, sea $\gamma$ el único entero tal que $q^{\gamma-1} \le \frac{v_L(\pi)}{q-1} < q^\gamma$. Entonces:
$$\min_{y \in \log_{[\pi]}(F(\mathfrak{m}_L))} v_L(y) = q^\gamma - \gamma v_L(\pi)$$
Este resultado proporciona una cota inferior precisa para el "tamaño" de la imagen, determinando el disco más pequeño que contiene la imagen del logaritmo.

E. Generalización a Extensiones con Torsión

El artículo extiende estos resultados a extensiones finitas arbitrarias $L|K$ que pueden contener torsión $[\pi]$ no trivial (específicamente extensiones de Lubin-Tate $K_{\pi^n}$).

• Teorema 6.1: Construye un conjunto generador $S_L$ para $F(\mathfrak{m}_L)$ que incluye una capa adicional de generadores correspondiente al nivel de torsión.
• Teorema 6.5: Para la extensión de Lubin-Tate $K_{\pi^n}$, el artículo construye explícitamente una base para la imagen del logaritmo:
  $$B_n = \{ \log_{[\pi]}(\lambda^j) \mid 2 \le j \le q^n-1, \ q \nmid j \} \cup \{ \log_{[\pi]}(\lambda^{q^n}) \}$$
  donde $\lambda$ es un generador del módulo de torsión $\mu_{[\pi^n]}$.

4. Significado

• Claridad Estructural: El artículo proporciona la primera base explícita $\mathcal{O}_K$ para la imagen del logaritmo de Lubin-Tate en una amplia clase de extensiones (π-regulares), avanzando más allá del caso multiplicativo clásico ($\pi=p$).
• Precisión: Resuelve la ambigüedad respecto a la valuación mínima de la imagen, ofreciendo una fórmula que depende explícitamente del índice de ramificación y del grado del cuerpo residual.
• Unificación: Los resultados unifican el tratamiento de los grupos formales y los logaritmos $p$-ádicos clásicos, mostrando cómo la presencia de torsión (raíces de la unidad) altera la estructura del módulo y requiere ajustes específicos en la base.
• Aplicaciones: Estos resultados son fundamentales para la teoría de cuerpos de clases local, la teoría de Iwasawa y el estudio de las funciones $L$ $p$-ádicas, donde comprender la imagen de los mapas logarítmicos en subgrupos específicos de unidades es crucial.

En resumen, Harbor-Collins generaliza con éxito los resultados clásicos sobre logaritmos $p$-ádicos al contexto de Lubin-Tate, proporcionando descripciones algebraicas rigurosas (bases) y cotas analíticas (valuaciones) para la imagen de estos logaritmos en extensiones tanto regulares como que contienen torsión.