Zero-cycles on Moduli Spaces of Twisted Sheaves and Applications to Double EPW Quartics

Resumo Técnico: Ciclos de Dimensão Zero em Espaços de Módulos de Feixes Torcidos e Aplicações a Quarticas EPW Duplas

Enunciação do Problema
O artigo aborda a estrutura de ciclos de dimensão zero (grupos de Chow de dimensão 0, denotados $CH_0$) em espaços de módulos de objetos estáveis. Especificamente, busca-se estender resultados conhecidos sobre filtragens e critérios de equivalência para ciclos de dimensão zero, do contexto de superfícies K3 não torcidas para superfícies K3 torcidas (pares $(S, \beta)$ onde $\beta$ é uma classe de Brauer). Além disso, o artigo investiga o caso específico de quarticas EPW duplas, que são quatrofolds hiperkählerianos do tipo $K3^{[2]}$. Estas variedades podem ser realizadas como espaços de módulos de feixes torcidos, oferecendo um terreno de teste geométrico para relacionar a teoria de ciclos de dimensão zero desses espaços de módulos às superfícies K3 subjacentes e aos seus quatrofolds de Verra associados.

Metodologia
O autor emprega uma combinação de motivos biracionais, técnicas de categoria derivada e construções geométricas:

1. Motivos Biracionais e Filtragens: O trabalho utiliza a categoria de motivos biracionais $M^\circ(k)_\mathbb{Q}$ para estabelecer isomorfismos entre os motivos dos espaços de módulos e potências simétricas da superfície K3 subjacente. Este quadro permite a comparação de várias filtragens em $CH_0$:

   • Filtragem de Voisin: Definida via a dimensão de locais de pontos racionalmente equivalentes a um ponto dado.
   • Filtragem de Shen–Yin–Zhao (SYZ): Definida via a segunda classe de Chern $c_2(E)$ de objetos $E$ no espaço de módulos.
   • Filtragem co-radical de Vial: Definida via o núcleo de mapas de co-multiplicação iterados.
   • Filtragem de Shen–Yin (SY): Uma filtragem geométrica definida via divisores unirregrados e cônicas.

2. Correspondência de Incidência Torcida: O artigo adapta a "correspondência de incidência torcida" introduzida por Chen, Li, Zhang e Zhang (CLZZ) para mostrar que o motivo biracional de um espaço de módulos de feixes torcidos $M_\sigma(X, v)$ é isomorfo ao da potência simétrica $S^{[n]}$ da superfície K3 subjacente $S$. Este isomorfismo preserva a estrutura de co-álgebra, permitindo a transferência de resultados sobre filtragens.

3. Realização Geométrica de Quarticas EPW Duplas: O artigo aproveita a realização de uma quartica EPW dupla geral $Y$ como um espaço de módulos de feixes torcidos estáveis $M_{(0,H,0)}(S, \beta)$ sobre uma superfície K3 de gênero 2 $S$. Também utiliza a descrição geométrica alternativa de $Y$ como a base de um fibrado $\mathbb{P}^1$ sobre o esquema de Hilbert de cônicas $(1,1)$ em um quatrofold de Verra $X$.

4. Propriedade de Franchetta e Torções Esféricas: Para abordar a definição da classe de Beauville–Voisin torcida, o autor utiliza a propriedade de Franchetta (injetividade do mapa de classe de ciclo em ciclos genericamente definidos) e uma construção de torção esférica. Esta construção converte feixes de posto 0 (que definem o espaço de módulos de quarticas EPW duplas) em feixes de posto positivo, permitindo a comparação de classes de Chern.

Contribuições e Resultados Principais

• Extensão da Equivalência de Filtragens para Superfícies K3 Torcidas:
  O artigo prova que, para um espaço de módulos $M_\sigma(X, v)$ de objetos estáveis sobre uma superfície K3 torcida $X$, as filtragens de Voisin, Shen–Yin–Zhao e co-radical de Vial em $CH_0$ coincidem (Teorema 1.1 / Proposição 3.13). Isso estende resultados anteriores de Shen, Yin e Zhao (não torcidos) e de Chen et al. (torcidos) para um quadro unificado.

• Critério Explícito para Equivalência de Ciclos de Dimensão Zero:
  É estabelecido um critério explícito para quando dois ciclos de dimensão zero efetivos de grau $m$ são iguais em $CH_0(M_\sigma(X, v))$. Duas somas de pontos $\sum [E_i]$ e $\sum [F_i]$ são iguais se e somente se suas imagens sob o mapa da segunda classe de Chern (e suas potências) concordarem nos grupos de Chow da superfície K3 subjacente $S$ (Proposição 1.2 / Proposição 3.14). Especificamente:
  $$\sum [E_i] = \sum [F_i] \iff \sum c_2(E_i)^{\times k} = \sum c_2(F_i)^{\times k} \text{ em } CH_0(S^k) \text{ para } k \leq \min(m, n).$$

• Igualdade das Classes de Beauville–Voisin Torcida e Não Torcida:
  O artigo prova que, para a família específica de superfícies K3 torcidas associadas a quarticas EPW duplas (gênero 2, classe de Brauer de ordem 2), a classe de Beauville–Voisin torcida $o_X$ coincide com a classe de Beauville–Voisin padrão $o_S$ da superfície subjacente (Teorema 1.3 / Teorema 4.6). Isso é alcançado construindo um isomorfismo entre o espaço de módulos e um de feixes de posto positivo, ligando assim as classes genericamente definidas.

• Estrutura de Ciclos de Dimensão Zero de Quarticas EPW Duplas:
  Para uma quartica EPW dupla geral $Y$, o artigo estabelece:

  • O mapa $ch_2: CH_0(Y) \to CH_0(S)$ (via a realização do espaço de módulos) anula-se na parte anti-invariante homologicamente trivial $CH_0(Y)^+_{hom}$, mapeia a classe de Beauville–Voisin $o_Y$ para $o_S$ e induz um isomorfismo $CH_0(Y)^- \cong CH_0(S)_{hom}$ (Teorema 1.4 / Teorema 4.7).
  • Todas as quatro grandes filtragens (Shen–Yin, Voisin, SYZ, Vial) em $Y$ concordam e correspondem à decomposição em autoespaços induzida pela involução anti-simplética (Teorema 1.5 / Proposição 4.9).
  • Um critério geométrico para equivalência de ciclos de dimensão zero é fornecido usando o quatrofold de Verra associado $X$: Dois ciclos de dimensão zero em $Y$ são equivalentes se e somente se suas cônicas correspondentes em $X$ forem equivalentes em $CH_1(X)$ e seus auto-produtos forem equivalentes em $CH_2(X \times X)$ (Teorema 1.6 / Teorema 4.10).

Significado
O artigo afirma complementar o trabalho de Chen, Li, Zhang e Zhang, estendendo a teoria de ciclos de dimensão zero em espaços de módulos para o contexto torcido, confirmando especificamente a concordância de várias filtragens conjecturais (Voisin, SYZ, Vial) neste contexto. Ao realizar quarticas EPW duplas como espaços de módulos de feixes torcidos, o trabalho fornece uma aplicação geométrica concreta onde a teoria abstrata de ciclos de dimensão zero torcidos pode ser explicitamente computada e relacionada à geometria de quatrofolds de Verra. A prova de que $o_X = o_S$ neste caso específico oferece evidências para a conjectura de que a classe de Beauville–Voisin torcida é sempre igual à não torcida, apoiando a conjectura de Franchetta neste contexto. Os resultados unificam o estudo de ciclos de dimensão zero em variedades hiperkählerianas do tipo $K3^{[2]}$, mostrando que as construções geométricas via cônicas em quatrofolds de Verra produzem a mesma estrutura de filtragem que as construções motivicas em espaços de módulos.