The Parity of Invariant Characteristics

Resumen Técnico: La Paridad de las Características Invariantes

Planteamiento del Problema
El artículo aborda la determinación de la paridad (par o impar) de las características theta en superficies de Riemann $S$ que son invariantes bajo la acción de un grupo de automorfismos finito $G \leq \text{Aut}(S)$. Una característica theta es un fibrado de líneas $L$ tal que $L^{\otimes 2} \cong K_S$ (el fibrado canónico). Su paridad se define como $q(L) = \dim H^0(S, L) \pmod 2$. Si bien se ha establecido la existencia de características invariantes únicas en curvas específicas (como las curvas de Hurwitz y las curvas modulares), determinar su paridad ha resultado difícil.

La dificultad surge de una desconexión entre los dos métodos primarios para estudiar las características theta:

1. Enfoque Homológico: Determinar una base de la homología simpléctica inducida por la representación $G \to \text{Sp}(2g, \mathbb{Z})$. Aunque esto permite el cálculo de la paridad, está limitado computacionalmente a géneros bajos.
2. Enfoque de Teoría de Grupos: Utilizar la secuencia exacta de grupos abelianos que relaciona los fibrados de líneas $G$-linealizados, los fibrados de líneas invariantes y el multiplicador de Schur $H^2(G, \mathbb{C}^\times)$. Este método es efectivo para probar la existencia de características invariantes (particularmente cuando $S/G \cong \mathbb{P}^1$), pero no puede determinar a priori su paridad.

Metodología
El autor propone un método para cerrar esta brecha aprovechando la teoría de representaciones de la doble cobertura $\tilde{G} = 2 \cdot G$. El enfoque se basa en simplificaciones específicas respecto al grupo $G$ y su acción sobre $S$:

1. Restricciones del Grupo: El método asume que $G$ es un grupo perfecto ($[G, G] = G$). Esto implica:

   • $\text{Hom}(G, \mathbb{C}^\times) = 0$.
   • $G$ posee una extensión central universal $\tilde{G}$.
   • Cualquier fibrado de líneas $L$ invariante bajo $G$ admite una linealización $\tilde{G}$-única, lo que produce una representación lineal $\rho: \tilde{G} \to \text{GL}(\Gamma(L))$.

2. Extensión Central y Paridad: El autor asume que $|H^2(G, \mathbb{C}^\times)| = 2$, lo que hace que $\tilde{G}$ sea una doble cobertura que contiene una involución central única $z$.

   • Lema 2.1: Si $\rho(z) = -I_n$ (donde $n = \dim \rho$), entonces $n$ debe ser par. Dado que la paridad de la característica theta corresponde a la dimensión del espacio de secciones módulo 2, demostrar que $\rho(z) = -I_n$ prueba que la característica es par.

3. Restricciones de la Acción: El método asume que el mapa de cociente $\pi: S \to S/G$ tiene una firma $(0; c_1, \dots, c_r)$ (es decir, el cociente es una esfera).

   • El autor analiza el generador de la parte libre del grupo de fibrados $G$-linealizados. La condición para que $L$ no sea $G$-linealizable (lo que fuerza a la elevación a la doble cobertura a actuar de forma no trivial) está vinculada a la paridad de un entero específico $F$ derivado de los órdenes de los grupos de isotropía $c_i$.
   • Específicamente, si $c_i = 2^{a_i}b_i$ (con $b_i$ impar) y $A = \max(a_i)$, la condición para una paridad par es que $A \neq 0$ y que el número de índices $i$ donde $a_i = A$ sea impar.

Contribuciones Clave y Resultados
El artículo proporciona un criterio general para probar que una característica theta invariante es par sin recurrir a cálculos homológicos de género bajo. Los resultados principales son:

• Teorema 1.3: Si $S$ es una curva de Hurwitz (donde $|\text{Aut}(S)| = 84(g-1)$) con un grupo de automorfismos simple y una característica invariante única $L$, entonces $L$ es par.
• Prueba de la Conjetura 1.2: El artículo confirma la conjetura de Broughton & Disney-Hogg respecto a las curvas modulares $X(p)$ (donde $p \geq 7$ es un primo impar). Para estas curvas, la característica invariante única es siempre par.
• Aplicación a la Curva de Bring: El método se aplica a la curva de Bring (género 4, grupo de automorfismos $A_5$), verificando que su característica invariante única es par.
• Análisis de Contraejemplo: El artículo señala que para una superficie hiperelíptica de género 5 con acción de $A_5$ (firma $(0; 3, 3, 5)$), la característica invariante única es impar. Esto demuestra que la condición de paridad derivada de la firma (específicamente la paridad de $F$) es no trivial y necesaria.

Significado
El artículo afirma su importancia al resolver un vacío específico en la clasificación de las características invariantes en las curvas de Hurwitz. Trabajos previos ([BDH25]) pudieron clasificar qué curvas poseían una característica invariante única, pero no pudieron determinar su paridad. Al utilizar la teoría de representaciones de la doble cobertura $\tilde{G}$, este trabajo proporciona un mecanismo puramente de teoría de grupos para determinar la paridad.

El autor señala que conocer la paridad de estas características tiene aplicaciones prácticas, como determinar la estabilidad K de las variedades Fano de tres dimensiones asociadas. El método se presenta como suficientemente general para aplicarse a todas las curvas de Hurwitz con grupos de automorfismos simples, completando así la clasificación de la paridad de sus características invariantes únicas.