Minimal $a$-numbers of Artin--Schreier covers of ordinary curves

Resumen Técnico: Números $a$ Mínimos de Recubrimientos de Artin–Schreier de Curvas Ordinarias

1. Planteamiento del Problema

El artículo aborda el cálculo del número $a$ ($a_Z$) de curvas algebraicas definidas sobre un cuerpo perfecto $k$ de característica $p > 0$. El número $a$ se define como la dimensión del núcleo del operador de Cartier $C$ actuando sobre el espacio de las formas diferenciales regulares $H^0(Z, \Omega^1_Z)$. Este invariante mide la complejidad de la parte local-local del esquema de grupo de torsión $p$-ésima de la Jacobiana de la curva.

El foco específico del trabajo son los recubrimientos de Artin–Schreier de la forma:
$$Y: y^p - y = f(x)$$
donde $X = \mathbb{P}^1$ es la recta proyectiva y $f(x)$ es un polinomio de grado $d$ (con $p \nmid d$).

El problema central:
Booher y Cais habían establecido cotas inferiores y superiores para el número $a$ de tales curvas $Y$. Cuando $p=2$, las cotas coinciden. Para $p > 2$, existía una brecha. El objetivo de este trabajo es demostrar que la cota inferior propuesta por Booher y Cais es óptima (es decir, alcanzable) para todo primo $p$ y todo orden de polo $d$ no divisible por $p$. Específicamente, se busca probar que existe un polinomio genérico $f(x)$ tal que el número $a$ de la curva asociada es exactamente igual a esa cota inferior.

2. Metodología

La estrategia de prueba se basa en el análisis detallado de la acción del operador de Cartier sobre un espacio filtrado de formas diferenciales. Los autores emplean los siguientes pasos técnicos:

1. Construcción de una Base y Filtración:

   • Se define una base explícita de $H = H^0(Y, \Omega^1_Y)$ utilizando formas diferenciales de la forma $\omega_{i,j} = y^{j-1} x^{i-1} dx$, donde los índices $i$ y $j$ están restringidos por el género de la curva.
   • Se introduce una filtración por subespacios $H_{\le J}$ generados por formas con un índice $j$ acotado ($1 \le j \le J$).
   • Se definen subespacios auxiliares $H(\ell, e)$ que capturan la estructura de la imagen bajo el operador de Cartier.

2. Análisis del Operador de Cartier ($C$):

   • Se estudia la restricción de $C$ a los subespacios de la filtración. El objetivo es determinar la dimensión del núcleo de $C$ en estos subespacios para polinomios $f$ genéricos.
   • Se demuestra que para un polinomio genérico (en un abierto de Zariski no vacío), el operador $C$ induce aplicaciones sobreyectivas o inyectivas entre ciertos cocientes de estos subespacios.

3. Reducción a Problema de Rango Matricial:

   • La cuestión de si el núcleo tiene la dimensión esperada se reduce a probar que ciertas matrices asociadas a la acción de $C$ tienen rango máximo para un polinomio genérico.
   • Los coeficientes del polinomio $f(x) = a_0 + \dots + a_d x^d$ se tratan como variables indeterminadas en un anillo de polinomios $S = k[a_0, \dots, a_d]$.
   • Se construye una matriz $M$ cuyas entradas son coeficientes de potencias de $f$ (específicamente, coeficientes de $x^n$ en $f^\lambda$).

4. Prueba de No Nulidad del Determinante:

   • Para demostrar que la matriz tiene rango máximo genéricamente, se prueba que el determinante de un menor cuadrado maximal de $M$ es un polinomio no nulo en $S$.
   • Se utiliza un ordenamiento monomial (lexicográfico inverso) y un argumento de "monomio líder" (leading monomial).
   • Se construye una permutación específica $\sigma_0$ tal que el monomio líder del producto correspondiente en la expansión del determinante es estrictamente mayor que el de cualquier otra permutación. Esto garantiza que el término dominante no se cancele, probando que el determinante no es idénticamente cero.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.3):
Existe un subconjunto abierto de Zariski no vacío $U$ en el espacio de polinomios de grado $d$ tal que, para cualquier $f \in U(k)$, el número $a$ de la curva $Y: y^p - y = f(x)$ es exactamente:
$$a_Y = L(d) = \sum_{\ell=1}^{(p-1)/2} \left( \left\lfloor \frac{(p-\ell)d}{p} \right\rfloor - \left\lfloor \frac{(p^2 + 1 - 2\ell p)d}{2p^2} \right\rfloor \right)$$
Este valor coincide con la cota inferior de Booher y Cais, demostrando que dicha cota es ajustada (tight) para todo $p$ y $d$.

Corolario para Curvas Ordinarias Generales (Corolario 1.4):
El resultado se extiende a recubrimientos de Artin–Schreier de cualquier curva ordinaria $X$ (donde $a_X = 0$). Si se especifican puntos de ramificación $P_1, \dots, P_B$ e invariantes de ramificación $d_1, \dots, d_B$ (coprimos con $p$), existe un recubrimiento ramificado exactamente en esos puntos con esos invariantes tal que su número $a$ es minimal y viene dado por la suma:
$$a_Y = \sum_{b=1}^B L(d_b)$$

Refinamiento Estructural (Teorema 2.5 y 2.8):
Los autores no solo calculan el número $a$, sino que describen la estructura fina del núcleo del operador de Cartier. Demuestran que para un polinomio genérico, el núcleo de $C$ está contenido en un subespacio filtrado específico ($H_{\le (p-1)/2}$) y que las restricciones de $C$ a ciertos subespacios son isomorfismos o sobreyecciones controladas.

4. Significado e Impacto

• Resolución de una Conjetura: El trabajo cierra la brecha en la teoría de recubrimientos de Artin–Schreier al confirmar que la cota inferior teórica de Booher y Cais es alcanzable para todos los casos, no solo para $p=2, 3, 5$.
• Optimalidad de Invariantes: Establece que es posible construir curvas con la complejidad mínima posible (en términos de su número $a$) dentro de familias de recubrimientos con ramificación fija. Esto es crucial para la clasificación de curvas en característica $p$ y sus esquemas de torsión.
• Herramientas Algebraicas: La metodología desarrollada, que combina la teoría de filtraciones de formas diferenciales con el análisis de rangos de matrices sobre anillos de polinomios mediante ordenamientos monomiales, ofrece una técnica robusta que puede aplicarse a otros problemas relacionados con operadores de Cartier y estructuras de Dieudonné.
• Generalización: El resultado unifica casos previos y proporciona una fórmula explícita y computable para el número $a$ en el caso genérico, sirviendo como referencia para el estudio de la geometría de los espacios de móduli de curvas en característica positiva.

En conclusión, el artículo demuestra que la "complejidad" mínima de la $p$-torsión de la Jacobiana de un recubrimiento de Artin–Schreier genérico está determinada únicamente por el grado del polinomio y el primo $p$, y que esta complejidad es la menor teóricamente posible.