Resumen Técnico: Bundles de Tschirnhausen de Coberturas Sexticas de $\mathbb{P}^1$

1. Planteamiento del Problema

El artículo aborda el Problema de Realización de Tschirnhausen para coberturas de grado $d=6$ sobre la línea proyectiva compleja $\mathbb{P}^1$.

Dada una curva proyectiva suave e irreducible $C$ de género $g$ y un morfismo finito $\pi: C \to \mathbb{P}^1$ de grado $d$, la inclusión de anillos de funciones $\mathcal{O}_{\mathbb{P}^1} \hookrightarrow \pi_*\mathcal{O}_C$ permite definir el bundle de Tschirnhausen $E_\pi$ como el dual del cociente:
$$E_\pi := (\pi_*\mathcal{O}_C / \mathcal{O}_{\mathbb{P}^1})^\vee$$
Por el teorema de Birkhoff-Grothendieck, todo bundle vectorial sobre $\mathbb{P}^1$ se descompone completamente en suma directa de haces de línea. Por lo tanto, $E_\pi$ se puede escribir (únicamente salvo isomorfismo no único) como:
$$E_\pi \cong \mathcal{O}_{\mathbb{P}^1}(e_1) \oplus \cdots \oplus \mathcal{O}_{\mathbb{P}^1}(e_{d-1})$$
con $1 \le e_1 \le \dots \le e_{d-1}$. Los enteros $\vec{e} = (e_1, \dots, e_{d-1})$ se denominan invariantes scrollares de $\pi$.

La pregunta central (Pregunta 1.1): ¿Qué $(d-1)$-tuplas de enteros $\vec{e} \in \mathbb{Z}^{d-1}$ surgen como invariantes scrollares de una cobertura suave e irreducible de grado $d$?

Para grados $d \le 5$, la respuesta es conocida. Sin embargo, para $d=6$ (el primer grado compuesto mayor que 5), no existía una respuesta completa. El problema es especialmente complejo en el caso compuesto porque las restricciones no solo provienen de la estructura algebraica interna, sino también de cómo la cobertura puede factorizarse a través de subcoberturas no triviales.

2. Metodología

Los autores emplean una combinación de geometría algebraica, teoría de haces vectoriales y construcción explícita de variedades modulares. La metodología se divide en dos direcciones principales:

A. Derivación de Restricciones Necesarias (Solo si)

El análisis comienza identificando las restricciones lineales que deben satisfacer los invariantes $\vec{e}$ debido a la estructura de álgebra de $\pi_*\mathcal{O}_C$.

1. Restricciones de Multiplicación: Se analizan las desigualdades lineales impuestas por la multiplicación en el álgebra. Para $d=6$, si la cobertura es primitiva (no factoriza), se esperan ciertas desigualdades ($e_{i+j} \le e_i + e_j$).
2. Análisis de Coberturas Imprimitas: El hallazgo crucial es que si $\pi$ factoriza a través de una subcobertura (por ejemplo, una cobertura doble de una triple, o viceversa), la estructura de álgebra sobre la curva intermedia impone nuevas restricciones lineales que no son consecuencia de las restricciones generales conocidas para cubos primitivos.
   • Si $\pi$ factoriza como $\tau \circ \gamma$ (doble sobre triple), las pendientes del bundle $\gamma_*\mathcal{O}_C$ (visto como álgebra cúbica sobre la curva intermedia) imponen condiciones adicionales sobre $\vec{e}$.
   • Los autores demuestran que si $\vec{e}$ satisface las restricciones conocidas pero no estas nuevas, la cobertura no puede existir.

B. Construcción de Ejemplos (Si)

Para demostrar que las restricciones identificadas son suficientes, los autores construyen explícitamente coberturas para cada punto entero válido en la región permitida.

1. Descomposición de la Región: Dividen el espacio de invariantes en dos regiones principales:
   • Región $P_3$: Correspondiente a coberturas que factorizan como una doble cobertura de una triple cobertura.
   • Región $Q$: Correspondiente a coberturas que factorizan como una triple cobertura de una doble cobertura (y que no están en $P_3$).
2. Construcción de Coberturas Factorizables:
   • Para la región $P_3$: Construyen primero una cobertura cúbica $\tau: X \to \mathbb{P}^1$ con invariantes dados, y luego un recubrimiento doble $\gamma: C \to X$ utilizando teoría de Brill-Noether y secciones de haces de línea en curvas trigonales.
   • Para la región $Q$: Construyen primero una cobertura doble $\tau: X \to \mathbb{P}^1$ (curva hiperelíptica) y luego un recubrimiento triple $\gamma: C \to X$ utilizando formas cúbicas binarias y haces de línea sobre curvas hiperelípticas.
3. Herramientas Técnicas: Utilizan teoremas de descomposición de haces vectoriales, filtraciones de Harder-Narasimhan, dualidad de Serre relativa y resultados sobre la dimensión de loci de descomposición (splitting loci) de haces de línea en coberturas.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.3)

Los autores clasifican completamente los bundles de Tschirnhausen para coberturas sexticas. Definen dos subconjuntos de $\mathbb{Z}^5$, $P_2$ y $P_3$, basados en desigualdades lineales derivadas de la multiplicación.

• $P_2$: Conjunto de quintuplas que satisfacen las restricciones generales de multiplicación.
• $P_3$: Subconjunto de $P_2$ con restricciones adicionales específicas de la estructura de "doble sobre triple".
• $Q$: Subconjunto de $P_2 \setminus P_3$ que admite una "partición admisible" (relacionada con la estructura de "triple sobre doble").

Resultado: Una quintupla $\vec{e} \in \mathbb{Z}^5$ surge como invariantes scrollares de una cobertura sextica suave e irreducible si y solo si $\vec{e} \in Q \cup P_3$.

Hallazgos Específicos

1. Insuficiencia de las Restricciones Primitivas: Se demuestra que las restricciones conocidas para coberturas primitivas (conjeturadas por el segundo autor en trabajos previos) no son suficientes para $d=6$. Existen quintuplas que satisfacen las desigualdades de multiplicación primitiva pero no corresponden a ninguna cobertura suave porque, al intentar construirlas, se ve forzada una factorización que viola nuevas desigualdades.
2. Geografía de las Coberturas:
   • Los puntos en $P_3$ corresponden a coberturas que factorizan necesariamente a través de una subcobertura cúbica.
   • Los puntos en $Q$ corresponden a coberturas que factorizan necesariamente a través de una subcobertura cuadrática.
   • La región $P_2 \cap P_3$ (la intersección) contiene las coberturas que podrían ser primitivas, pero el teorema establece que incluso en esta región, la realización requiere considerar las estructuras factorizables.
3. Realización por Coberturas Factorizables: Un resultado sorprendente es que todos los bundles de Tschirnhausen posibles para $d=6$ son realizados por coberturas que tienen una subcobertura no trivial propia (es decir, no se necesitan ejemplos "puros" o primitivos para llenar el espacio de invariantes; las construcciones factorizables son suficientes).

Aplicación a Conjeturas (Apéndice A)

El artículo ofrece un enfoque para abordar la Conjetura 1.3 de Vemulapalli (que afirma que las desigualdades $e_{i+j} \le e_i + e_j$ son suficientes para coberturas primitivas).

• Proponen que si la codimensión del lugar de coberturas factorizables ($M_{fac}(\vec{e})$) es mayor que la codimensión esperada basada en la cohomología del endomorfismo del bundle, entonces debe existir una cobertura primitiva en el complemento. Esto proporciona un criterio de existencia para curvas primitivas en grado 6.

4. Significado e Impacto

1. Resolución del Caso $d=6$: Este trabajo cierra la brecha de conocimiento para el primer grado compuesto mayor que 5, proporcionando una respuesta completa y explícita al problema de realización de Tschirnhausen en este grado.
2. Comprensión de la Estructura Algebraica: Demuestra que las restricciones en los bundles de Tschirnhausen para grados compuestos son "explicadas" completamente por la multiplicación en álgebras asociadas a subcoberturas. Esto valida la intuición de que la geometría de las coberturas compuestas está gobernada por su estructura de fibra.
3. Métodos Constructivos: Introduce técnicas robustas para construir coberturas de grado compuesto mediante la composición de coberturas de grado primo (doble/triple), utilizando la teoría de moduli de curvas trigonales e hiperelípticas.
4. Implicaciones para la Dimensión de Loci Maroni: El análisis sugiere que muchos loci de Maroni (conjuntos de coberturas con invariantes fijos) tienen dimensiones mayores a las esperadas para un "bundle vectorial aleatorio", debido a la presencia de subcoberturas que aumentan la flexibilidad de la construcción.
5. Futuro: El trabajo sienta las bases para atacar grados superiores (8 y 9) y para refinar la conjetura sobre coberturas primitivas, sugiriendo que la existencia de coberturas primitivas puede determinarse comparando las dimensiones de los loci factorizables y el espacio total.

En resumen, el artículo transforma un problema de clasificación abstracta en un problema de geometría algebraica constructiva, demostrando que la "geografía" de los invariantes scrollares para $d=6$ está determinada por la interacción entre las estructuras de álgebra de las subcoberturas cuadráticas y cúbicas.