Bases de módulos de Galois asociados en extensiones salvajemente ramificadas generales y en extensiones abelianas elementales de grado $p^2$

Información Básica

• ID del artículo: 2511.20634
• Título: Bases of associated Galois modules in general wildly ramified extensions and in elementary abelian extensions of degree $p^2$
• Autores: Mikhail V. Bondarko, Kirill S. Ladny, Konstantin I. Pimenov
• Clasificación: math.AG (Geometría Algebraica)
• Fecha de publicación: 26 de noviembre de 2025
• Enlace del artículo: https://arxiv.org/abs/2511.20634

Resumen

Este artículo estudia conjuntos de elementos en el anillo de grupo $k[G]$ (donde $G=\text{Gal}(K/k)$) de extensiones salvajemente ramificadas $K/k$ de cuerpos de valuación discreta completos, que son adecuados para construir bases de varios módulos de Galois asociados y órdenes. En el caso $G=(\mathbb{Z}/p\mathbb{Z})^2$ (donde $p$ es la característica del cuerpo residual), los autores pueden calcular la acción de los elementos $(σ_1-1)^i(σ_2-1)^j$ (con $0\le i,j\le p-1$) en la cadena de filtración de valuación, donde $σ_1,σ_2$ son generadores de $G$. Si los saltos de ramificación de $K/k$ son distintos módulo $p^2$, estos elementos proporcionan efectivamente bases "suficientemente buenas" requeridas.

Contexto de Investigación y Motivación

1. Problema Central

Este artículo estudia el problema de construcción de bases explícitas de módulos de Galois asociados (associated Galois modules). Para una extensión de Galois $K/k$, se definen los módulos de Galois asociados como: $C_i = \{f \in K[G] : \min_{x\in K^*}(v(f(x))-v(x)) \geq i\}$$A_i = C_i \cap k[G]$

El problema principal es encontrar descripciones concretas de todos los $A_i$, en particular construir bases "buenas" que funcionen para todos los $A_i$.

2. Importancia de la Investigación

Los módulos de Galois asociados están estrechamente relacionados con los órdenes de Galois asociados (associated Galois orders). Desde el trabajo pionero de Leopoldt en 1959, el estudio de órdenes asociados ha sido un tema importante en teoría de números algebraica. Los órdenes asociados se definen como: $A(O) = \{f \in k[G] : f(O_K) \subset O_K\}$

La importancia del estudio de módulos de Galois asociados se manifiesta en:

• Aplicaciones aritméticas: El Teorema 1.1.2 muestra la conexión entre módulos de Galois asociados y la cohomología de Galois de grupos formales, que tiene aplicaciones importantes en teoría de Kummer
• Teoría de estructuras: Entender la estructura de $A_i$ ayuda a comprender los órdenes asociados $A(O)$, ya que $A_0 \subset A(O) \subset A_{1-n}$
• Teoría de ramificación: Estos módulos codifican la información de ramificación de la extensión

3. Limitaciones de Métodos Existentes

• La mayoría de los resultados conocidos se concentran en ramificación moderada o casos especiales (como extensiones cíclicas)
• En el caso de ramificación salvaje donde no se cumplen resultados de libertad, los cálculos de órdenes asociados son muy escasos (como se menciona en la Observación 1.2.3)
• Para extensiones generales de grupos $p$, falta un método sistemático para construir bases de módulos de Galois asociados

4. Motivación de este Artículo

Este artículo tiene como objetivo:

• Desarrollar una teoría general para construir "bases graduadas independientes" (graded bases) de módulos de Galois asociados
• Dar cálculos completos en el caso $G=(\mathbb{Z}/p\mathbb{Z})^2$
• Generalizar resultados a la situación relativa (involucrando un subcuerpo $k_0 \subset k$)
• Estudiar la relación con levantamientos moderados (tame lifts)

Contribuciones Principales

1. Introducción del concepto de independencia graduada (§3.1): Se definen conjuntos graduadamente independientes y bases graduadas, proporcionando un nuevo marco para construir bases de módulos de Galois asociados
2. Teorema principal (Teorema 1.2.1/3.3.2): Para $G \cong (\mathbb{Z}/p\mathbb{Z})^2$, cuando los saltos de ramificación son distintos módulo $p^2$, se proporciona una descripción explícita de $A_l$: $A_l = \langle \pi_k^{[(l-d-H(i,j)-1)/n]+1}(σ_1-1)^i(σ_2-1)^j \mid 0 \leq i,j \leq p-1 \rangle_o$ donde $H: \mathbb{Z}^2 \to \mathbb{Z}$ es una función lineal por partes
3. Cálculo de las funciones $d$ y $\rho$ (Teorema 3.3.2): Se calcula precisamente el "grado" de $(σ_1-1)^i(σ_2-1)^j$ y su imagen en el anillo graduado
4. Teoría relativa (§4.1): Se desarrolla la teoría de módulos de Galois asociados relativos $A_i^0 = A_i \cap k_0[G]$, generalizando los resultados principales al caso donde los saltos de ramificación son iguales módulo $p$ pero distintos módulo $p^2$
5. Teoría de bases diagonales (§4.2): Se introduce el concepto de bases diagonales (diagonal bases) y se prueba que los levantamientos moderados producen bases diagonales (Teorema 4.2.7)
6. Marco algorítmico: Se proporciona un algoritmo para calcular todos los órdenes asociados $A_0(i,j) = \{f \in k_0[G]: f(M^i) \subset M^j\}$

Explicación Detallada de Métodos

Definición de Tareas

Dada una extensión de Galois completamente ramificada $K/k$ de cuerpos de valuación discreta completos, de grado $n=p^2$, con grupo de Galois $G=(\mathbb{Z}/p\mathbb{Z})^2$, el objetivo es:

1. Construir una base $B$ de $k[G]$ tal que para cada $i \in \mathbb{Z}$, se pueda leer directamente de $B$ una base de $A_i$
2. Calcular las funciones $d: K[G]\backslash\{0\} \to \mathbb{Z}$ y $\rho: K[G]\backslash\{0\} \to R_{K/k}$

Marco Técnico Principal

1. Isomorfismo $\phi: K\otimes_k K \to K[G]$

Esta es la herramienta clave de toda la teoría (Teorema 2.2.2): $\phi(x\otimes y) = x\sum_{σ\in G} σ(y)σ$

Propiedades clave:

• $C_{i+d} = \phi(X_i)$, donde $X_i = \sum_{j\in\mathbb{Z}} M^j \otimes M^{i-j}$
• $\phi$ preserva cierta estructura multiplicativa: $\phi(α)*\phi(β) = \phi(αβ)$
• Se puede estudiar la cadena de filtración de $C_i$ a través de la cadena de filtración de $K\otimes_k K$

2. Teoría de Independencia Graduada (§3.1)

Definición (Definición 3.1.1):

• Para $B \subset K[G]\backslash\{0\}$, se define $B_i = \{f\in B: d(f) \equiv i \bmod n\}$
• $B$ es graduadamente independiente (graded-independent) si para todo $i\in\mathbb{Z}$, el conjunto $\rho(B_i) \subset R_{K/k}$ es linealmente independiente sobre $k$
• $B$ es una base graduada (graded base) si $B$ es graduadamente independiente y genera $k[G]$

Propiedad clave (Proposición 3.1.2): $C_i \cap (\bigoplus_{b\in B} k\cdot b) = \bigoplus_{b\in B} \pi_k^{[(i-d-d(b)-1)/n]+1}b \cdot o$

Esto significa que una base graduada determina completamente la estructura de todos los $A_i$.

3. Cálculo de Composiciones Cortas (§3.2)

Resultado general (Teorema 3.2.2): Para $\prod = \prod_{i=1}^a (σ_i-1)$, donde $a < p$: $p_{\sum}(\prod) \sim \sum_{j=0}^{n-1} (\prod_{l=1}^a (j-lh))X^j$

Cuando $h\neq 0$: $p_{\sum}(\prod) \sim (X^h-1)^{n-a-1}$

Esto da $d(\prod) = \sum h(σ_i) - d$.

Criterio de independencia graduada (Teorema 3.2.2(3)): Bajo condiciones apropiadas (la valuación $p$-ádica de los saltos de ramificación es creciente), el conjunto $B = \{\prod(σ_i-1)^{n_i}: \sum n_i < p\}$ es graduadamente independiente.

4. Cálculo Completo para $G=(\mathbb{Z}/p\mathbb{Z})^2$ (§3.3)

Sea $K = K_1K_2$, donde $K_i/k$ son extensiones de grado $p$ con saltos de ramificación $h_2 > h_1 > 0$.

Parámetros clave (Proposición 3.3.1):

• Saltos de ramificación correspondientes a $σ_1, σ_2$: $h_1$ y $\tilde{h}_2 = ph_2 - (p-1)h_1$
• Profundidad de ramificación: $d = (p-1)(ph_2 + h_1)$

Función lineal por partes $H$: