The minimum genus of Galois covers of curves

Resumen Técnico: El Género Mínimo de las Cubiertas de Galois de Curvas

Planteamiento del Problema
El artículo aborda el problema de determinar el género mínimo de las cubiertas de Galois de curvas proyectivas conexas suaves sobre un cuerpo algebraicamente cerrado $k$ de característica positiva $p$. Específicamente, los autores investigan la existencia y el género mínimo de las $\Gamma$-cubiertas $W \to X$ que son étale fuera de un conjunto finito de puntos cerrados $S_X \subset X$, donde $\Gamma$ es una extensión de un grupo elemental abeliano $H \cong (\mathbb{Z}/l\mathbb{Z})^n$ por un grupo cíclico $p$-grupo $G \cong \mathbb{Z}/p^a\mathbb{Z}$.

El estudio está motivado por la estructura del grupo fundamental étale $\pi_1^{\text{ét}}(X \setminus S_X)$. Si bien la conjetura de Abhyankar (probada por Raynaud y Harbater) caracteriza qué grupos finitos aparecen como cocientes de este grupo fundamental, no describe completamente el sistema inverso de cocientes finitos. Dada una $G$-cubierta $V \to X$, los autores buscan caracterizar las $\Gamma$-cubiertas $W \to X$ que dominan a $V$ y determinar el género mínimo posible para dichas cubiertas. Esto extiende el trabajo previo sobre cubiertas con grupos de Galois isomorfos a grupos alternantes o productos semidirectos específicos donde la acción era fija o restringida.

Metodología
Los autores emplean una combinación de geometría algebraica, teoría de representaciones y optimización combinatoria:

1. Estructura de Módulos de los Puntos de Torsión: El núcleo de la metodología reside en el análisis del subgrupo de $l$-torsión del grupo de Picard de la cubierta intermedia, denotado $Pl(V \setminus S_V)$, donde $S_V$ es la imagen inversa de $S_X$. Este grupo es un módulo de la derecha de $G$. Los autores utilizan la descomposición de este módulo en representaciones irreducibles de $G$ sobre $\mathbb{F}_l$.
2. Correspondencia de Galois: Basándose en resultados previos (específicamente [13]), el artículo establece una biyección entre las $H$-cubiertas de $V$ (que forman $\Gamma$-cubiertas de $X$) y los submódulos estables bajo $G$ de $Pl(V \setminus S_V)$ que son isomórfos a $H$.
3. Teoremas de Descomposición: Los autores derivan descomposiciones explícitas de $Pl(V \setminus S_V)$ en componentes irreducibles. Distinguen entre la parte proveniente del grupo de Picard de grado cero, $Pic^0(V)[l]$, y la parte que surge del divisor de ramificación, $Pram(S_V, l)$. La estructura de $Pram(S_V, l)$ está determinada por la estratificación del lugar de ramificación $S_X$ basada en los índices de ramificación de la $G$-cubierta $V \to X$.
4. Optimización mediante Programación Lineal: Para hallar el género mínimo, el problema se reduce a un problema de programación lineal entera. El género de la cubierta $W$ es una función del número de puntos de ramificación en la $H$-cubierta $W \to V$. Minimizar el género corresponde a minimizar la suma ponderada de los puntos de ramificación, sujeta a las restricciones impuestas por las multiplicidades de las representaciones irreducibles en el módulo $H/H'$, donde $H'$ es el submódulo máximo de $H$ embebible en $Pic^0(V)[l]$.

Contribuciones Clave y Resultados

• Fórmula General para el Género Mínimo (Teorema 1.1): El artículo proporciona un método para calcular el género mínimo $g$ de una $\Gamma$-cubierta que domina una $G$-cubierta fija $V$. Esto se formula como un problema de programación lineal entera:

  • Objetivo: Minimizar $\sum_{s=0}^a p^s y_s$, donde $y_s$ representa el número de puntos de ramificación en $S_X$ con propiedades de ramificación específicas.
  • Restricciones: Las variables $y_s$ están acotadas por el número de puntos disponibles en $S_X$ y deben satisfacer desigualdades derivadas de las multiplicidades de los módulos de $G$ irreducibles ($M_{s,t}$) en el cociente $H/H'$.
  • Fórmula del Género: Una vez que se encuentra el valor mínimo $c_{\min}$ de la función objetivo, el género mínimo viene dado por:
    $$g = 2 + l^n(2g_V - 2) + \frac{l^{n-1}(l-1)c_{\min}}{2}$$
    Esto generaliza los resultados previos al dar cuenta de acciones arbitrarias $\theta: G \to \text{Aut}(H)$ y estructuras de ramificación variables de la cubierta base $V$.

• Casos Específicos y Fórmulas Explícitas:

  • Teorema 4.2: Especializa el resultado general a casos donde el lugar de ramificación consiste enteramente en puntos totalmente ramificados o puntos con exactamente $p$ preimágenes, proporcionando fórmulas explícitas para la constante $c$ en la ecuación del género.
  • Teorema 5.6 y Corolario 5.7: Se centran en el caso donde $X = \mathbb{P}^1$ y la cubierta es étale sobre $\mathbb{A}^1$ (ramificada solo en el infinito). Los autores definen saltos superiores en la filtración de ramificación y los relacionan con la descomposición del módulo $H$. Proporcionan un método recursivo para calcular el género mínimo basado en los "saltos superiores" $u_i$.

• Género Mínimo para Acciones Variables (Teorema 1.2): Una contribución significativa es el cálculo del género mínimo sobre todas las posibles acciones $\theta: \mathbb{Z}/p^2\mathbb{Z} \to \text{Aut}((\mathbb{Z}/l\mathbb{Z})^n)$ y todos los $n$ válidos. Para $a=2$, los autores derivan una expresión de forma cerrada para el género mínimo dependiendo del orden de $l$ en $(\mathbb{Z}/p\mathbb{Z})^\times$ y $(\mathbb{Z}/p^2\mathbb{Z})^\times$.

  • Si $d_1 = d_2$ (los órdenes son iguales), el mínimo se alcanza cuando $n=d_1$.
  • Si $d_1 < d_2$, el mínimo depende de si $p=2$ o $p \neq 2$, produciendo constantes específicas ($15$ para $p=2$, $2p^2+2$ para $p \neq 2$).

Significado y Reivindicaciones
El artículo afirma proporcionar un enfoque sistemático y algorítmico para resolver el "problema de incrustación" para cubiertas de Galois con una estructura de producto semidirecto específica. Al descomponer la $l$-torsión del grupo de Picard en módulos de $G$ irreducibles, los autores traducen un problema geométrico (hallar cubiertas con género mínimo) en un problema de optimización combinatoria.

La significancia radica en:

1. Generalización: Extiende los resultados conocidos sobre cubiertas de género mínimo (como los de [5] para $a=1$) al caso de grupos cíclicos de mayor potencia de $p$ ($a \geq 2$) y acciones arbitrarias.
2. Completitud: Aborda el escenario en el que la acción del grupo $\theta$ no es fija sino que varía, determinando el género mínimo absoluto alcanzable dentro de la clase de los grupos $(\mathbb{Z}/l\mathbb{Z})^n \rtimes \mathbb{Z}/p^a\mathbb{Z}$.
3. Cálculo Explícito: El artículo ofrece fórmulas concretas y restricciones de programación lineal que permiten el cálculo explícito de estos géneros mínimos, en lugar de solo probar su existencia.

Los autores señalan que sus resultados recuperan hallazgos anteriores (por ejemplo, [5, Teoremas 4.2 y 4.3]) como casos especiales y proporcionan un marco para comprender el sistema inverso de cocientes finitos del grupo fundamental étale de curvas afines en característica positiva.