Wild conductor exponents of curves

Aquí presento un resumen técnico detallado del artículo "Wild Conductor Exponents of Curves" (Exponentes del Conductor Salvaje de Curvas) de Harry Spencer, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda el problema de calcular de manera explícita y eficiente los exponentes del conductor salvaje ($n_{C,wild}$) de curvas algebraicas definidas sobre extensiones finitas de los números p-ádicos ($K/\mathbb{Q}_p$).

• Contexto: El conductor local $N = (\pi^{n_C})$ es un invariante aritmético que mide la "mala reducción" de una curva. El exponente total $n_C$ se descompone en una parte "tame" (tame) y una parte "salvaje" (wild). Mientras que la parte tame se puede extraer de modelos regulares, la parte salvaje es difícil de determinar en general.
• Limitaciones actuales:
  • Para curvas elípticas, el algoritmo de Tate resuelve el problema.
  • Para curvas hiperelípticas y de género bajo (hasta 5), existen fórmulas o algoritmos específicos, pero a menudo restringidos a $p \neq 2$ o casos particulares.
  • No existía una fórmula general explícita para curvas planas arbitrarias (no necesariamente hiperelípticas o superelípticas) en términos de invariantes estándar de extensiones de campos, especialmente para $p > n$ (donde $n$ es el grado del recubrimiento).
• Objetivo: Generalizar las fórmulas existentes para curvas hiperelípticas a curvas planas más generales, expresando $n_{C,wild}$ mediante invariantes de discriminantes de polinomios.

2. Metodología

El autor emplea una combinación de teoría de representaciones de grupos de Galois, geometría algebraica (teoría de recubrimientos) y técnicas de perturbación.

• Teoría de Representaciones y "Piezas Motívicas": Se utiliza el marco de las "piezas motívicas" de curvas (basado en [8]). Para una curva $X$ con acción de un grupo finito $G$, se descompone la representación de Galois en la torsión $\ell$-ádica del Jacobiano ($J_X[\ell]$) en componentes irreducibles $X_\rho$. El exponente del conductor salvaje se calcula sumando los exponentes de estas piezas.
• Relación entre Recubrimientos:
  • Se estudian recubrimientos cíclicos ($C_n$) y simétricos ($S_n$).
  • Se demuestra que, bajo ciertas condiciones de ramificación (ramificación simple), el conductor salvaje de una curva $C$ es igual al de una curva hiperelíptica asociada $D$ que comparte el mismo lugar de ramificación.
• Lema de Inducción de Artin: Se utiliza para descomponer representaciones de grupos simétricos en inducciones de subgrupos cíclicos, permitiendo relacionar los conductores de curvas generales con curvas cíclicas.
• Técnicas de Perturbación: Para tratar curvas que no son recubrimientos simplemente ramificados, el autor perturba ligeramente las ecuaciones definitorias de la curva. Esto permite aproximar la curva original por una que sí es un recubrimiento simplemente ramificado, aprovechando la constancia local del exponente del conductor salvaje y de la función $w_K(g)$ (definida a continuación).

3. Contribuciones Clave

A. Fórmula General para Curvas Planas (Teorema 1.4)

El resultado principal es una fórmula explícita para el exponente del conductor salvaje de una curva plana suave $C: f(x, y) = 0$ sobre $K$, asumiendo $p > \deg_x f$:
$$n_{C,wild} = w_K(\text{disc}_x f)$$
Donde $w_K(g)$ es un invariante definido para un polinomio $g \in K[t]$:
$$w_K(g) = \sum_{r \in R/G_K} m(r) \cdot (v_K(\Delta_{K(r)/K}) - [K(r):K] + f_{K(r)/K})$$
Aquí, $R$ son las raíces de $g$, $m(r)$ la multiplicidad, $\Delta$ el discriminante, y $f$ el grado del residuo. Esta fórmula generaliza el resultado conocido para curvas hiperelípticas ($n=2$).

B. Teorema de Equivalencia de Conductores (Teorema 1.1 y 5.2)

Se prueba que si $C/K$ es un recubrimiento de grado $n$ de $\mathbb{P}^1$ ramificado simplemente (con $p > n$), y $D$ es una curva hiperelíptica cuyo recubrimiento de grado 2 tiene el mismo lugar de ramificación, entonces:
$$n_{C,wild} = n_{D,wild}$$
Esto reduce el cálculo de conductores salvajes de curvas complejas a curvas hiperelípticas, para las cuales ya existen algoritmos.

C. Aplicación a Curvas Superelípticas (Corolario 1.7)

Para curvas superelípticas $y^n = f(x)$ con $p > n$, se obtiene una fórmula simplificada:
$$n_{C,wild} = (n-1) \cdot w_K(f)$$
Esto se generaliza aún más en la Proposición 1.8 (citando trabajo futuro de Obus y Srinivasan) para casos donde $f$ no es libre de cuadrados, involucrando sumas sobre factores irreducibles.

D. Corrección en la Literatura (Apéndice A)

El autor identifica y corrige un error en la literatura (específicamente en [7, Proposición 4.1]) respecto a la correspondencia entre los puntos de 3-torsión no nulos del Jacobiano de curvas de género 2 y ciertas tuplas de coeficientes.

• El error: La fórmula original fallaba en capturar todos los puntos de 3-torsión cuando la curva admitía un recubrimiento de grado 3 no simplemente ramificado.
• La corrección: Se propone una correspondencia que incluye tres tipos de tuplas (casos generales, casos con recubrimientos de grado 3 ramificados en dos puntos, y casos con recubrimientos ramificados en un punto), cubriendo así todos los casos posibles.

4. Resultados Principales

1. Fórmula Unificada: Se establece que el exponente del conductor salvaje de una curva plana depende únicamente del discriminante de su proyección sobre una variable, calculado mediante la función $w_K$.
2. Independencia de la Variable: Se demuestra numéricamente y teóricamente que $w_K(\text{disc}_x f) = w_K(\text{disc}_y f)$ siempre que $p > \max(\deg_x f, \deg_y f)$, lo cual es una propiedad no trivial.
3. Generalización de Resultados Previos: Los resultados de [6] (curvas hiperelípticas) y [11] (curvas superelípticas) se recuperan como casos particulares del Teorema 1.4.
4. Validación Numérica: El autor verifica la fórmula contra conductores conocidos y utiliza el software Magma para calcular ejemplos concretos (ej. una curva de género 6 sobre $\mathbb{Q}_7$), confirmando la validez de la teoría.

5. Significado e Impacto

• Eficiencia Computacional: La fórmula proporciona un método directo para calcular conductores salvajes sin necesidad de construir modelos regulares complejos o realizar cálculos de torsión explícitos para curvas de género alto.
• Generalidad: A diferencia de métodos anteriores restringidos a curvas hiperelípticas o de género bajo, esta metodología aplica a curvas planas arbitrarias, abriendo la puerta al estudio de curvas de género más alto en el contexto de la teoría de números p-ádica.
• Herramienta para la Conjetura de Birch y Swinnerton-Dyer: El cálculo preciso del conductor es un paso fundamental en la conjetura BSD para curvas sobre campos numéricos. Esta herramienta facilita el cálculo de la parte salvaje, que a menudo es la más difícil de determinar.
• Corrección de la Literatura: La corrección en el Apéndice A es crucial para el estudio correcto de la torsión 3 en curvas de género 2, un tema relevante en criptografía y teoría de números.

En resumen, el artículo de Harry Spencer proporciona un marco teórico robusto y una fórmula práctica para determinar invariantes aritméticos profundos (conductores salvajes) en una clase amplia de curvas algebraicas, conectando la teoría de recubrimientos ramificados con la teoría de representaciones de Galois de manera efectiva.