On the Chow ring of double EPW quartics

1. Problema e Contexto

O artigo aborda o estudo dos anéis de Chow (grupos de ciclos algébricos módulo equivalência racional) em variedades hiperkähler de dimensão 4, especificamente as quarticas duplas EPW (Double EPW Quartics).

• Contexto Teórico: Desde o trabalho seminal de Beauville e Voisin sobre superfícies K3, conjectura-se que os ciclos algébricos em variedades hiperkähler obedecem a uma estrutura rica, governada pela filtragem de Bloch-Beilinson. Duas conjecturas centrais são:
  1. Conjectura de Beauville-Voisin: O subanel gerado por divisores e classes de Chern injeta-se na cohomologia via a classe de ciclo.
  2. Conjectura de Franchetta: Para famílias locais completas de variedades hiperkähler, o subanel de ciclos "genericamente definidos" (definidos em toda a família) injeta-se na cohomologia.
• O Objeto de Estudo: As quarticas duplas EPW são variedades hiperkähler de tipo $K3^{[2]}$ (dimensão 4), introduzidas por Iliev, Kapustka, Kapustka e Ranestad. Elas possuem uma involução anti-simplética e podem ser construídas de três formas distintas: como coberturas duplas de loci de degeneração lagrangiana, como espaços de módulos de feixes torcidos em superfícies K3, e, crucialmente para este trabalho, como a base de um fibrado $\mathbb{P}^1$ sobre o esquema de Hilbert de conicas $(1,1)$ em uma quatro-variedade de Verra.
• A Lacuna: Enquanto a conjectura de Beauville-Voisin e a propriedade de Franchetta foram provadas para esquemas de Hilbert de pontos em superfícies K3 e variedades de Fano de linhas em quarticas cúbicas, o caso das quarticas duplas EPW permanecia aberto devido à falta de técnicas geométricas diretas aplicáveis a essa configuração específica.

2. Metodologia

O autor emprega uma abordagem geométrica sofisticada, explorando a relação entre a quartica dupla EPW ($Y$) e a quatro-variedade de Verra associada ($X$). A metodologia baseia-se em:

1. Construção via Conicas: Utiliza-se a construção onde $Y$ é a base de um fibrado $\alpha: F(X) \to Y$, sendo $F(X)$ o esquema de Hilbert de conicas $(1,1)$ em $X$.
2. Variedade de Incidência: Estuda-se a variedade de incidência $I_F \subset F(X) \times F(X)$ de conicas que se intersectam. O autor deriva relações explícitas no anel de Chow de $F(X) \times F(X)$ envolvendo o quadrado desta classe de incidência.
3. Empurrar para $Y$: Utiliza-se o morfismo de projeção $\alpha \times \alpha$ para empurrar essas relações para $Y \times Y$. Isso permite estabelecer relações entre ciclos em $Y$ e a involução $\iota$.
4. Superfícies de Ciclo Constante: Demonstra-se que o lugar fixo $Z$ da involução $\iota$ em $Y$ é uma superfície de ciclo constante (todos os pontos em $Z$ têm a mesma classe no anel de Chow). Isso é provado calculando produtos de interseção específicos de variedades do tipo $D_c$ (três-variedades de conicas intersectando uma conica dada).
5. Correspondências e Isomorfismos: Define-se correspondências induzidas pela conica universal para estabelecer isomorfismos entre grupos de Chow de dimensões diferentes, especificamente entre ciclos de dimensão 0 em $Y$ e ciclos de dimensão 1 em $X$.
6. Propriedade de Franchetta: Prova-se que a família de quarticas duplas EPW satisfaz a propriedade de Franchetta, utilizando o fato de que seus motivos são somandos diretos de motivos de produtos de superfícies K3.

3. Principais Contribuições e Resultados

O artigo estabelece os seguintes resultados fundamentais:

• Teorema da Conjectura de Beauville-Voisin-Franchetta (Teorema 1.3 / 7.8):
  O autor prova que a conjectura de Beauville-Voisin-Franchetta vale para quarticas duplas EPW. Isso significa que o mapa de classe de ciclo, restrito ao subanel gerado por divisores e ciclos genericamente definidos, é injetivo na cohomologia.
  $$cl: \langle CH^1(Y), GDCH^*(Y) \rangle \hookrightarrow H^*(Y, \mathbb{Q})$$
  Isso implica a existência de uma classe especial de zero-ciclo $o_Y$ (classe de Beauville-Voisin) tal que o produto de qualquer divisor com um ciclo genericamente definido é um múltiplo de $o_Y$.

• Superfície de Ciclo Constante (Teorema 1.4 / 5.3):
  Demonstra-se que o lugar fixo $Z$ da involução anti-simplética $\iota$ é uma superfície de ciclo constante. Consequentemente, qualquer ponto $z \in Z$ representa a classe de Beauville-Voisin $o_Y$. Isso fornece uma realização geométrica explícita da classe fundamental.

• Isomorfismo entre $CH_0(Y)^-$ e $CH_1(X)_{hom}$ (Teorema 1.5 / 5.6):
  Estabelece-se um isomorfismo induzido pela conica universal entre o subgrupo anti-invariante dos zero-ciclos em $Y$ e o subgrupo dos ciclos homologicamente triviais de dimensão 1 na quatro-variedade de Verra $X$:
  $$CH_0(Y)^- \cong CH_1(X)_{hom}$$
  Além disso, mostra-se que a multiplicação por $h^2$ (onde $h$ é a polarização) induz um isomorfismo entre $CH_2(Y)^-_{hom}$ e $CH_0(Y)^-$.

• Multiplicatividade e Filtragem (Teorema 1.7 / 6.2):
  Prova-se que o produto de interseção:
  $$CH_2(Y)^-_{hom} \otimes CH_2(Y)^-_{hom} \to CH_0(Y)^+_{hom}$$
  é sobrejetivo. Este resultado confirma uma previsão da conjectura de Bloch-Beilinson sobre a multiplicatividade da filtragem no "nível mais profundo" para este tipo de variedade.

• Extensão para Sexticas Duplas EPW (Apêndice A):
  O autor adapta seus métodos para provar resultados análogos (isomorfismo de motivos e multiplicatividade) para as sexticas duplas EPW, variedades relacionadas a quatro-variedades Gushel-Mukai, onde tais resultados ainda não eram conhecidos.

4. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Completude da Teoria: Ele preenche uma lacuna importante na teoria dos ciclos algébricos em variedades hiperkähler, estendendo os resultados conhecidos para quarticas cúbicas e esquemas de Hilbert para uma nova classe importante de variedades (quarticas duplas EPW).
2. Validação de Conjecturas: A prova da conjectura de Beauville-Voisin-Franchetta para este caso fornece forte evidência para a validade geral dessas conjecturas em variedades hiperkähler de tipo $K3^{[2]}$.
3. Conexão Geométrica: Ao explorar a relação com as quatro-variedades de Verra, o artigo demonstra como a geometria de variedades de dimensão inferior (conicas em $X$) pode ser usada para decifrar a estrutura do anel de Chow de variedades de dimensão superior ($Y$).
4. Métodos Robustos: A técnica de usar a variedade de incidência e a propriedade de Franchetta para manipular classes de Chow oferece um modelo metodológico que pode ser aplicado a outras variedades hiperkähler com involuções ou estruturas de fibrado semelhantes.
5. Estrutura do Anel de Chow: O trabalho revela uma estrutura de decomposição explícita para o anel de Chow de $Y$, mostrando como os ciclos se comportam sob a ação da involução e como eles se relacionam com a cohomologia, validando a previsão de que a filtragem de Bloch-Beilinson se divide de maneira canônica.

Em resumo, Mazzanti fornece uma análise profunda e completa da estrutura algébrica das quarticas duplas EPW, resolvendo questões abertas sobre seus ciclos algébricos e conectando sua geometria a outras estruturas fundamentais na teoria de variedades hiperkähler.