Sobre Extensiones de Galois de Campos Locales con un Único Salto de Ramificación Salvaje

Información Básica

• ID del Artículo: 2406.14845
• Título: Extensiones de Galois de Campos Locales con un Salto de Ramificación Salvaje
• Autor: Samuel Goodman
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: Noviembre de 2025 (arXiv v4)
• Enlace del Artículo: https://arxiv.org/abs/2406.14845

Resumen

Este artículo determina, para un entero positivo dado $n$ y una extensión finita $K/\mathbb{Q}_p$ (con índice de ramificación $e$), la cantidad de extensiones de Galois finitas $L/K$ con grado de inercia $f$ y un único salto de ramificación no negativo en $n$, bajo la condición de que $(p,e)$ esté fuera de un conjunto finito. Este trabajo se construye sobre la base del caso de ramificación moderada (tamely ramified case), que es un resultado clásico de la fórmula de masa de Serre. La investigación procede trabajando en extensiones fijas de Lubin-Tate, utilizando la sobreyectividad de los mapeos correspondientes a saltos de ramificación, reconstruyendo la parte $U^1$ de subgrupos de norma desde sus fibras, y comprendiendo cómo interactúan las fibras mediante propiedades de logaritmos formales y particiones.

Antecedentes de Investigación y Motivación

Problema de Investigación

Este artículo estudia el problema de conteo de extensiones de campos locales, en particular la cantidad de extensiones de Galois con un único salto de ramificación salvaje (wild ramification jump).

Importancia del Problema

1. Generalización de Problemas Clásicos: El conteo de extensiones de ramificación moderada es un problema clásico completamente resuelto por la fórmula de masa de Serre. Para extensiones de ramificación moderada de grado $n$, cuando $p \nmid n$, existen exactamente $\sigma_0(n)$ tales extensiones (donde $\sigma_0(n)$ es la suma de divisores de $n$ coprimos con $p$).
2. Profundización de la Teoría de Ramificación: Los grupos de ramificación (ramification groups) son conceptos centrales en la teoría de campos de clases locales. Las extensiones de ramificación moderada pueden verse como extensiones $(-1,0)$ (con saltos de ramificación solo en $-1$ y $0$). El siguiente problema natural es contar extensiones $(-1,n)$, es decir, extensiones con un único salto de ramificación salvaje.
3. Comportamiento Restrictivo: A diferencia del caso de ramificación moderada, las extensiones de ramificación salvaje exhiben restricciones más fuertes, ya que el grado de tales extensiones está acotado.

Limitaciones de Métodos Existentes

• Método de Teoría de Kummer: Aunque aplicable al caso de ramificación moderada, se vuelve rápidamente complejo en el caso de ramificación salvaje, involucrando conteos de puntos fijos bajo la acción del grupo de Galois.
• Falta de Marco Sistemático: Para extensiones de ramificación salvaje general, falta una herramienta de conteo unificada similar a la fórmula de masa de Serre.

Motivación de la Investigación

Este artículo tiene como objetivo establecer un marco sistemático para contar extensiones con un único salto de ramificación salvaje, mediante:

1. Utilizar la teoría de campos de clases locales para transformar el problema en conteo de subgrupos de norma
2. Trabajar en extensiones de Lubin-Tate para obtener control explícito
3. Comprender estos subgrupos mediante estructura de fibras y teoría de logaritmos formales

Contribuciones Principales

1. Resolución Completa del Caso $n=2$: Para el caso de un único salto de ramificación en $n=2$, se proporciona una fórmula de conteo completa (Teorema 1.2).
2. Respuesta Casi Completa para el Caso General: Para $n$ general, se proporciona una fórmula de conteo explícita para todos los pares $(p,e)$ excepto un número finito (Teorema 1.1). Los casos no resueltos se limitan a un número finito de pares $(p,e)$ que satisfacen $p-1 \leq e < n$.
3. Fórmula de Forma Cerrada para el Caso Totalmente Ramificado: Cuando $K/\mathbb{Q}_p$ es totalmente ramificado, se proporciona una fórmula de forma cerrada particularmente elegante que involucra la función $\zeta$ del anillo de polinomios en característica $p$ (Corolario 1.3).
4. Nuevo Marco Técnico:
   • Método de reconstrucción de fibras (fiber reconstruction) para comprender la estructura de subgrupos de norma
   • Uso de logaritmos formales y teoría de particiones para establecer ecuaciones funcionales
   • Introducción de levantamientos de Teichmüller en el caso ramificado
5. Revelación de un Fenómeno Interesante de Dicotomía: Cuando $n=2$, existe una dualidad notable entre extensiones ramificadas de $p=2$ y extensiones ramificadas de otros primos.

Explicación Detallada de Métodos

Definición de la Tarea

Entrada:

• Campo local $K/\mathbb{Q}_p$, con índice de ramificación $e$, grado de inercia $f'$, cuerpo residual $k$
• Entero positivo $n$ (ubicación del salto de ramificación)
• Entero positivo $f$ (grado de inercia deseado)

Salida:

• Cantidad de extensiones de Galois $(-1,n)$ $L/K$, donde $L/K$ tiene grado de inercia $f$ y un único salto de ramificación salvaje en $n$

Restricciones:

• Definición de grupos de ramificación: $G_i = \{\sigma \in G : \forall \alpha \in O_L, \sigma(\alpha) \equiv \alpha \pmod{m^{i+1}}\}$
• Salto de ramificación: $L/K$ tiene un salto de ramificación en $i$ si y solo si $G_i \neq G_{i+1}$

Estrategia General

El artículo adopta una estrategia multinivel:

Primer Nivel: Transformación mediante Teoría de Campos de Clases Locales (Sección 2)

Mediante la teoría de campos de clases locales, las extensiones de Galois corresponden a subgrupos de norma:

• Proposición 2.2: Para la torre $M/L/K$, donde $M/L$ es abeliana y $L/K$ es de Galois, sea $H$ el subgrupo de norma correspondiente a $M$. Entonces $M/K$ es de Galois si y solo si $\sigma(H) = H$ para todo $\sigma \in \text{Gal}(L/K)$.

Esto transforma el problema en contar subgrupos de norma invariantes bajo Galois.

Segundo Nivel: Caracterización en Extensiones de Lubin-Tate (Sección 3)

Se trabaja en la extensión de Lubin-Tate $K_{\pi,n}/K$, cuyo grupo de Galois es $G \cong O_K^\times/(1+m^n)$.

Proposición 3.1 (Caracterización Clave): Asumiendo $n \geq k+1$, una subextensión $L/K$ tiene un único salto de ramificación salvaje en $k$ si y solo si el subgrupo correspondiente $H \subset G$ satisface:

1. $H$ contiene $(1+m^{k+1})/(1+m^n)$
2. El mapeo canónico $H \to O_K^\times/(1+m^k)$ es sobreyectivo

La clave de esta caracterización es la condición de sobreyectividad.

Tercer Nivel: Teoría de Estructura de Fibras (Sección 6)

Idea Central: Utilizar la sobreyectividad para reconstruir el subgrupo $H$ mediante sus fibras.

Lema 6.1 (Lema de Reconstrucción de Fibras): Sea $G$ un grupo finito, $S \subset G$ un subconjunto, $H \subset G$ un subgrupo normal. Asumiendo:

• El mapeo de clases laterales $S \to G/H$ es sobreyectivo
• $S_{g_1H} \cdot S_{g_2H} = S_{g_1g_2H}$ (compatibilidad de fibras)
• $S_H$ es un subgrupo de $G$

Entonces $S$ es un subgrupo de $G$.

Este lema muestra que, siempre que las fibras satisfagan condiciones de compatibilidad, se puede reconstruir el subgrupo completo a partir de las fibras.

Cuarto Nivel: Isomorfismo en Campos de Característica $p$ (Caso $e \geq n$)

Cuando $e \geq n$, el avance técnico clave es:

Lema 6.3 (Isomorfismo de Teichmüller): El mapeo $\phi: (1+Tk_0[T])/(1+T^{n+1}k_0[T]) \to (1+m)/(1+m^{n+1})$ definido por $1+\sum_{i=1}^n a_iT^i \mapsto 1+\sum_{i=1}^n a_i'\pi^i$ es un isomorfismo equivariante de Galois.

Aquí $a_i'$ es el levantamiento de Teichmüller de $a_i$. Este isomorfismo transforma el problema de un campo local de característica mixta a un anillo de series de potencias formales en característica $p$, que tiene una estructura algebraica mejor.

Proposición 6.4 (Caracterización de Fibras): Cuando $e \geq n$, los datos de un subgrupo invariante de Galois $H$ son equivalentes a:

• Un subgrupo invariante de Galois $h \subset k_0^+$
• Una función equivariante de Galois $f: k_0^{n-1} \to k_0/h$ que satisface la ecuación funcional: $f(a_1,\ldots,a_{n-1}) + f(b_1,\ldots,b_{n-1}) + \sum_{i=1}^{n-1} a_ib_{n-i} \equiv f(c_1,\ldots,c_{n-1}) \pmod{h}$ donde $c_i = a_i + b_i + \sum_{j=1}^{i-1} a_jb_{i-j}$.

Teoría de Logaritmos Formales (Sección 4)

Para comprender la ecuación funcional anterior, el artículo introduce logaritmos formales:

Lema 4.1 (Expansión Logarítmica): $\log(1+\sum_{i=1}^\infty a_iT^i) = \sum_{n=1}^\infty \left(\sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n a_i^{p_{ni}}\right)T^n$ donde $P_n$ es el conjunto de particiones de $n$, $\ell(p_n)$ es la longitud de la partición, $m(p_n)$ es el número de permutaciones de la partición.

Se define $r_n(x_1,\ldots,x_n) = \sum_{p_n \in P_n} \frac{(-1)^{\ell(p_n)}m(p_n)}{\ell(p_n)} \prod_{i=1}^n x_i^{p_{ni}}$.

Lema 4.4 (Aditividad): Sea $z_i = x_i + y_i + \sum_{j=1}^{i-1} x_jy_{i-j}$, entonces $r_n(x_1,\ldots,x_n) + r_n(y_1,\ldots,y_n) = r_n(z_1,\ldots,z_n)$

Esto muestra que $g(x_1,\ldots,x_{n-1}) = r_n(x_1,\ldots,x_n) - x_n$ satisface la ecuación funcional requerida (salvo un término cruzado).

Ecuaciones Funcionales sobre Campos Finitos (Sección 5)

Teorema 5.1 (Teorema Principal de Conteo): Sea $k_0/k$ una extensión de campos finitos con grupo de Galois $G$, $h \subset k_0^+$ un subgrupo invariante de Galois, $q=|k|$. La cantidad de funciones equivariantes de Galois $f: k_0^{n-1} \to k_0^+/h$ que satisfacen la ecuación funcional es: