Cycles in the universal moduli stack of bundles of rank two over genus two curves

Resumen Técnico: Ciclos en el Stack de Moduli Universal de Bundles de Rango Dos sobre Curvas de Género Dos

1. Problema y Contexto

El artículo aborda el cálculo explícito del anillo de Chow ($A^*$) del stack de moduli universal de haces vectoriales de rango $r$ y grado $d$ sobre curvas de género $g$. Aunque la cohomología de los espacios de moduli de haces semiestables sobre una curva fija ha sido estudiada extensamente (con generadores y relaciones conocidos para rangos y grados coprimos), el caso del stack universal (que varía sobre el espacio de moduli de curvas) presenta dificultades técnicas significativas.

El objetivo central es determinar si el anillo de Chow de este stack universal es tautológico, es decir, si está generado por clases "kappa" retorcidas (twisted-kappa classes) definidas a partir de clases de Chern universales, y si el mapa de restricción a una fibra genérica es un isomorfismo. El autor se enfoca específicamente en el caso de rango $r=2$ y género $g=2$.

2. Metodología

La estrategia del autor combina varias técnicas avanzadas de geometría algebraica y teoría de intersección:

• Conjetura de Propiedad Franchetta: El trabajo se basa en la conjetura de que el morfismo desde el stack universal de haces ($\text{Vec}^H(r,d,g)$) hacia el espacio de moduli de curvas ($\mathcal{H}_g$) satisface la Propiedad Franchetta. Esto implica que los ciclos que son homológicamente triviales en una fibra muy general son triviales en el anillo de Chow de esa fibra.
• Estratificación de Harder-Narasimhan (HN): Se utiliza la filtración de Harder-Narasimhan para descomponer el stack inestable en estratos. El stack de haces inestables se analiza mediante stacks de filtración ($\text{Filt}$), que se relacionan con productos de Jacobianas universales.
• Cálculo de Anillos de Chow de Jacobianas: Se realiza un cálculo explícito del anillo de Chow de productos de Jacobianas universales sobre curvas de género dos con puntos de Weierstrass marcados ($J^*(0) \times_{M^*} J^*(0)$).
• Correspondencia de Hecke: Para extender los resultados de grados impares a pares, se construye una correspondencia de Hecke a lo largo de la sección de Weierstrass, estableciendo un isomorfismo entre ciertos espacios de moduli de grados diferentes.
• Series de Hilbert: Se utiliza el conteo de dimensiones mediante series de Hilbert para verificar la igualdad entre el anillo de Chow generado por las clases kappa y el anillo de Chow total del stack, demostrando que no hay "ciclos extra" no tautológicos.

3. Contribuciones Clave y Resultados Principales

A. Conjetura A (Propiedad Franchetta para Rango 2, Género 2)
El autor prueba la siguiente conjetura para el caso $\text{Vec}(2,d,2)$:
El mapa compuesto de restricción y clase de ciclo:
$$A^*(\text{Vec}^H(r,d,g)) \to H^*_a(\text{Bun}^r_{d,C})$$
es un isomorfismo sobre el subanillo de cohomología $H^*_\kappa$ generado por las clases kappa retorcidas. Esto confirma que el anillo de Chow es puramente tautológico para este caso.

B. Teorema A: Anillo de Chow de Productos de Jacobianas
Se calcula explícitamente el anillo de Chow del producto de Jacobianas universales sobre curvas de género dos.

• Generadores: Las clases $\pi_1^*\Theta_0$, $\pi_2^*\Theta_0$ y $\mu^*\Theta_0$ (donde $\Theta$ es el divisor theta universal y $\mu$ es el mapa de retorcido).
• Relaciones: Se presentan relaciones explícitas que incluyen potencias cúbicas nulas y relaciones mixtas entre los generadores, demostrando que el anillo es finito y generado por estas clases.

C. Teorema B: Presentación del Anillo de Chow de $\text{Vec}(2,d,2)$
Se proporciona una presentación explícita del anillo de Chow para todo grado $d$:
$$A^*(\text{Vec}(2,d,2)) \simeq \mathbb{Q}[\kappa_{0,1,0}, \kappa_{0,0,1}, \kappa_{-1,0,1}, \kappa_{-1,2,0}, \kappa_{-1,0,2}, \kappa_{-1,1,1}] / I$$
donde $I$ es un ideal generado por 10 relaciones explícitas (polinomios en variables $x_1, x_2, x_3$ definidas como combinaciones lineales de las clases $\kappa$). Esto demuestra que el anillo es generado por un conjunto finito de clases kappa.

D. Teorema C: Relaciones para Clases Kappa de Orden Superior
Se derivan fórmulas recursivas que expresan todas las clases kappa de orden superior ($\kappa_{i,m,n}$ con $i \ge 2$ o índices altos) en términos de las clases generadoras básicas.

• Se demuestra que $\kappa_{i,m,n} = 0$ para $i \ge 2$.
• Se establecen relaciones lineales y polinómicas que permiten reducir cualquier clase de Chow a un polinomio en los generadores de grado bajo.

4. Significado e Impacto

• Resolución de un Caso Abierto: Este trabajo cierra el caso de rango 2 y género 2 para el cálculo completo del anillo de Chow universal, un problema que había permanecido abierto debido a la complejidad de los haces inestables.
• Tautologicidad: Confirma que, al menos para este caso, toda la información de intersección del stack universal proviene de clases tautológicas naturales, simplificando enormemente el estudio de su geometría.
• Herramientas para Futuras Generalizaciones: La metodología, que combina la estratificación de HN con el cálculo en Jacobianas y la correspondencia de Hecke, ofrece un marco de trabajo potencial para atacar casos de rango y género más altos.
• Conexión con la Propiedad Franchetta: El resultado refuerza la validez de la Propiedad Franchetta en contextos de moduli de haces, conectando la geometría del stack universal con la cohomología de la fibra genérica.

En conclusión, el artículo no solo proporciona una descripción algebraica completa (generadores y relaciones) del anillo de Chow para haces de rango 2 sobre curvas de género 2, sino que también valida una conjetura fundamental sobre la naturaleza tautológica de estos espacios, sentando las bases para investigaciones futuras en dimensiones superiores.