On the Chow ring of double EPW quartics

A continuación presento un resumen técnico detallado del artículo "On the Chow Ring of Double EPW Quartics" (Sobre el anillo de Chow de las cuárticas EPW dobles) de Carl Mazzanti.

1. Introducción y Problema

El artículo se centra en el estudio de los ciclos algebraicos en variedades hiperkähler, específicamente en las cuárticas EPW dobles (Double EPW Quartics). Estas son variedades hiperkähler de dimensión 4, de tipo $K3[2]$, introducidas por Iliev, Kapustka, Kapustka y Ranestad.

El problema principal aborda la validación de dos conjeturas fundamentales en la geometría algebraica de variedades hiperkähler:

1. La Conjetura de Beauville-Voisin: Predice que el subanillo del anillo de Chow generado por divisores y clases de Chern se inyecta en la cohomología a través de la aplicación de clase de ciclo.
2. La Propiedad de Franchetta: Establece que para una familia localmente completa de variedades hiperkähler, el mapa de clase de ciclo restringido a los ciclos "genéricamente definidos" (aquellos que provienen de la familia universal) es inyectivo.

Aunque estas conjeturas se han demostrado para esquemas de Hilbert de puntos en superficies K3 y variedades de Fano de líneas en cuárticas cúbicas, el caso de las cuárticas EPW dobles era un territorio inexplorado debido a la falta de técnicas geométricas directas disponibles en otros contextos. El objetivo del artículo es completar este panorama demostrando estas conjeturas para las cuárticas EPW dobles.

2. Metodología y Construcciones Geométricas

El autor explota la rica geometría de las cuárticas EPW dobles ($Y$), que admiten tres descripciones equivalentes, utilizando principalmente dos de ellas para sus demostraciones:

1. Cobertura doble de un lugar de degeneración lagrangiano: $Y$ es una cobertura doble ramificada de una hipersuperficie cuártica singular ($D^A_1$) dentro de un cono proyectivo. Esta estructura proporciona una involutión anti-simpléctica $\iota: Y \to Y$.
2. Espacio de Hilbert de conos en variedades de Verra: $Y$ es la base de un fibrado $\mathbb{P}^1$ ($\alpha: F(X) \to Y$), donde $F(X)$ es el esquema de Hilbert de conos $(1,1)$ en una variedad de Verra $X$ (una intersección de un cono con una hipersuperficie cuádrica).
3. Espacio de móduli de haces torcidos: $Y$ es isomorfo a un espacio de móduli de haces estables torcidos sobre una superficie K3.

Estrategia Técnica:

• Propiedad de Franchetta: Se demuestra primero que la familia de cuárticas EPW dobles satisface la propiedad de Franchetta, utilizando la relación con espacios de móduli de haces en superficies K3 y resultados previos sobre productos de superficies K3.
• Variedad de Incidencia: Se estudia la variedad de incidencia $I_F$ de conos en $F(X)$. Se derivan relaciones en el anillo de Chow de $F(X) \times F(X)$ y se empujan hacia $Y \times Y$.
• Superficie de Ciclo Constante: Se identifica el lugar fijo $Z$ de la involución $\iota$ como una superficie de ciclo constante. Esto significa que todos los puntos en $Z$ tienen la misma clase en $CH_0(Y)$.
• Correspondencias: Se construyen correspondencias explícitas inducidas por el cono universal entre $CH_0(Y)$ y $CH_1(X)$ (ciclos de dimensión 1 en la variedad de Verra asociada) para establecer isomorfismos entre subgrupos de ciclos homológicamente triviales.

3. Contribuciones Clave y Resultados Principales

El artículo establece los siguientes teoremas fundamentales:

A. Validación de las Conjeturas (Teorema 1.3 y 7.8)

Se demuestra que para una cuártica EPW doble $Y$, la Conjetura de Beauville-Voisin-Franchetta se cumple.

• El mapa de clase de ciclo restringido al subanillo generado por divisores y ciclos genéricamente definidos es inyectivo:
  $$cl: \langle CH^1(Y), GDCH^*(Y) \rangle \hookrightarrow H^*(Y, \mathbb{Q})$$
• Esto implica la existencia de una clase de Beauville-Voisin especial $o_Y \in CH_0(Y)$, que es la clase de cualquier punto en la superficie fija $Z$.

B. La Superficie de Ciclo Constante (Teorema 1.4 y 5.3)

• El lugar fijo $Z$ de la involución anti-simpléctica $\iota$ es una superficie de ciclo constante.
• Cualquier punto $z \in Z$ representa la clase de Beauville-Voisin $o_Y$. Esto es crucial porque conecta la geometría de la involución con la estructura del anillo de Chow en dimensión 0.

C. Descomposición de Ciclos y Isomorfismos (Teorema 1.5 y 5.6)

El autor establece una descomposición de los grupos de ciclos cero basada en la acción de la involución $\iota$:
$$CH_0(Y) = \mathbb{Q}o_Y \oplus CH_0(Y)^- \oplus CH_0(Y)^+_{hom}$$

• Se demuestra un isomorfismo inducido por el cono universal entre los ciclos cero anti-invariantes de $Y$ y los ciclos de dimensión 1 homológicamente triviales de la variedad de Verra asociada $X$:
  $$\Psi: CH_0(Y)^- \xrightarrow{\sim} CH_1(X)_{hom}$$
• Se prueba que el producto de ciclos en la parte más profunda de la filtración de Bloch-Beilinson es sobreyectivo (Teorema 1.7), confirmando predicciones sobre la multiplicatividad del anillo de Chow.

D. Filtración de Voisin (Proposición 1.6 y 5.14)

Se demuestra que la filtración de Voisin en $CH_0(Y)$ coincide con la filtración obtenida mediante la descomposición por la involución $\iota$, validando la estructura esperada por la conjetura de Bloch-Beilinson.

E. Extensión a Cuárticas EPW Sexticas (Apéndice A)

El autor adapta sus métodos para demostrar resultados análogos de multiplicatividad para las sexticas EPW dobles, un caso donde la propiedad de Franchetta aún no estaba completamente establecida, mostrando la robustez de la metodología geométrica empleada.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Cierre de un caso importante: Las cuárticas EPW dobles son un ejemplo fundamental de variedades hiperkähler de tipo $K3[2]$ que no son esquemas de Hilbert ni variedades de Fano de líneas. Demostrar las conjeturas para este caso llena un vacío importante en la teoría de ciclos algebraicos.
2. Nuevas herramientas geométricas: El artículo introduce y refina el uso de la geometría de las variedades de Verra y los conos $(1,1)$ para estudiar el anillo de Chow, ofreciendo una alternativa a las técnicas de motivación de K3 utilizadas en otros contextos.
3. Conexión con la Filtración de Bloch-Beilinson: Al probar la inyectividad del mapa de clase de ciclo y la estructura de multiplicación, el trabajo proporciona evidencia sólida de que la filtración de Bloch-Beilinson se comporta como se predice en variedades hiperkähler complejas.
4. Unificación de conceptos: El artículo vincula exitosamente la teoría de involuciones anti-simplécticas, las superficies de ciclo constante y la propiedad de Franchetta, sugiriendo que estas estructuras son inherentes a la geometría de las variedades hiperkähler con simetrías específicas.

En resumen, Mazzanti demuestra que la geometría rica de las cuárticas EPW dobles permite descomponer y entender su anillo de Chow de manera precisa, confirmando que las conjeturas profundas sobre la estructura de los ciclos algebraicos en variedades hiperkähler se mantienen incluso en este contexto complejo.