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

Sintesi Tecnica: Cicli di Dimensione Zero su Spazi di Moduli di Fasci Torciti e Applicazioni alle Quartiche Doppie EPW

Enunciato del Problema
Il lavoro affronta la struttura dei cicli di dimensione zero (gruppi di Chow di dimensione 0, indicati con $CH_0$) sugli spazi di moduli di oggetti stabili. In particolare, mira ad estendere risultati noti riguardanti filtrazioni e criteri di equivalenza per i cicli di dimensione zero dal contesto delle superfici K3 non torcite a quello delle superfici K3 torcite (coppie $(S, \beta)$ dove $\beta$ è una classe di Brauer). Inoltre, il lavoro indaga il caso specifico delle quartiche doppie EPW, che sono quattrofogli iper-Kähler di tipo $K3^{[2]}$. Queste varietà possono essere realizzate come spazi di moduli di fasci torciti, offrendo un terreno di prova geometrico per relazionare la teoria dei cicli di dimensione zero di tali spazi di moduli alle superfici K3 sottostanti e alle relative quattrofogli di Verra.

Metodologia
L'autore impiega una combinazione di motivi birazionali, tecniche di categorie derivate e costruzioni geometriche:

1. Motivi Birazionali e Filtrazioni: Il lavoro utilizza la categoria dei motivi birazionali $M^\circ(k)_\mathbb{Q}$ per stabilire isomorfismi tra i motivi degli spazi di moduli e le potenze simmetriche della superficie K3 sottostante. Questo quadro teorico permette il confronto di varie filtrazioni su $CH_0$:

   • Filtrazione di Voisin: Definita tramite la dimensione dei luoghi di punti razionalmente equivalenti a un dato punto.
   • Filtrazione di Shen–Yin–Zhao (SYZ): Definita tramite la seconda classe di Chern $c_2(E)$ degli oggetti $E$ nello spazio di moduli.
   • Filtrazione co-radicale di Vial: Definita tramite il nucleo delle mappe di co-moltiplicazione iterate.
   • Filtrazione di Shen–Yin (SY): Una filtrazione geometrica definita tramite divisori unirigati e coniche.

2. Corrispondenza di Incidenza Torcita: Il lavoro adatta la "corrispondenza di incidenza torcita" introdotta da Chen, Li, Zhang e Zhang (CLZZ) per dimostrare che il motivo birazionale di uno spazio di moduli di fasci torciti $M_\sigma(X, v)$ è isomorfo a quello della potenza simmetrica $S^{[n]}$ della superficie K3 sottostante $S$. Tale isomorfismo preserva la struttura di co-algebra, consentendo il trasferimento dei risultati sulle filtrazioni.

3. Realizzazione Geometrica delle Quartiche Doppie EPW: Il lavoro sfrutta la realizzazione di una quartica doppia EPW generale $Y$ come spazio di moduli di fasci torciti stabili $M_{(0,H,0)}(S, \beta)$ su una superficie K3 di genere 2 $S$. Utilizza inoltre la descrizione geometrica alternativa di $Y$ come base di un fibrato $\mathbb{P}^1$ sullo schema di Hilbert delle coniche $(1,1)$ in un quattrofoglio di Verra $X$.

4. Proprietà di Franchetta e Twist Sferici: Per affrontare la definizione della classe di Beauville–Voisin torcita, l'autore utilizza la proprietà di Franchetta (iniettività della mappa della classe di ciclo sui cicli definiti genericamente) e una costruzione di twist sferico. Tale costruzione converte fasci di rango 0 (che definiscono lo spazio di moduli delle quartiche doppie EPW) in fasci di rango positivo, permettendo il confronto delle classi di Chern.

Contributi e Risultati Chiave

• Estensione dell'Equivalenza delle Filtrazioni alle Superfici K3 Torcite:
  Il lavoro dimostra che per uno spazio di moduli $M_\sigma(X, v)$ di oggetti stabili su una superficie K3 torcita $X$, le filtrazioni di Voisin, Shen–Yin–Zhao e la filtrazione co-radicale di Vial su $CH_0$ coincidono (Teorema 1.1 / Proposizione 3.13). Ciò estende i risultati precedenti di Shen, Yin e Zhao (non torciti) e di Chen et al. (torciti) a un quadro unificato.

• Criterio Esplicito per l'Equivalenza dei Cicli di Dimensione Zero:
  Viene stabilito un criterio esplicito per determinare quando due cicli di dimensione zero efficaci di grado $m$ sono uguali in $CH_0(M_\sigma(X, v))$. Due somme di punti $\sum [E_i]$ e $\sum [F_i]$ sono uguali se e solo se le loro immagini sotto la mappa della seconda classe di Chern (e le sue potenze) coincidono nei gruppi di Chow della superficie K3 sottostante $S$ (Proposizione 1.2 / Proposizione 3.14). Nello specifico:
  $$\sum [E_i] = \sum [F_i] \iff \sum c_2(E_i)^{\times k} = \sum c_2(F_i)^{\times k} \text{ in } CH_0(S^k) \text{ per } k \leq \min(m, n).$$

• Uguaglianza delle Classi di Beauville–Voisin Torcite e Non Torcite:
  Il lavoro dimostra che per la specifica famiglia di superfici K3 torcite associate alle quartiche doppie EPW (genere 2, classe di Brauer di ordine 2), la classe di Beauville–Voisin torcita $o_X$ coincide con la classe di Beauville–Voisin standard $o_S$ della superficie sottostante (Teorema 1.3 / Teorema 4.6). Ciò è ottenuto costruendo un isomorfismo tra lo spazio di moduli e uno di fasci di rango positivo, collegando così le classi definite genericamente.

• Struttura dei Cicli di Dimensione Zero delle Quartiche Doppie EPW:
  Per una quartica doppia EPW generale $Y$, il lavoro stabilisce:

  • La mappa $ch_2: CH_0(Y) \to CH_0(S)$ (tramite la realizzazione come spazio di moduli) si annulla sulla parte anti-invariante omologicamente nulla $CH_0(Y)^+_{hom}$, mappa la classe di Beauville–Voisin $o_Y$ in $o_S$ e induce un isomorfismo $CH_0(Y)^- \cong CH_0(S)_{hom}$ (Teorema 1.4 / Teorema 4.7).
  • Tutte e quattro le principali filtrazioni (Shen–Yin, Voisin, SYZ, Vial) su $Y$ coincidono e corrispondono alla decomposizione in autospazi indotta dall'involuzione anti-simplicettica (Teorema 1.5 / Proposizione 4.9).
  • Viene fornito un criterio geometrico per l'equivalenza dei cicli di dimensione zero utilizzando il relativo quattrofoglio di Verra $X$: due cicli di dimensione zero su $Y$ sono equivalenti se e solo se le loro coniche corrispondenti in $X$ sono equivalenti in $CH_1(X)$ e i loro prodotti auto-corrispondenti sono equivalenti in $CH_2(X \times X)$ (Teorema 1.6 / Teorema 4.10).

Significato
Il lavoro si propone di completare l'opera di Chen, Li, Zhang e Zhang estendendo la teoria dei cicli di dimensione zero sugli spazi di moduli al contesto torcito, confermando specificamente l'accordo di varie filtrazioni congetturali (Voisin, SYZ, Vial) in questo contesto. Realizzando le quartiche doppie EPW come spazi di moduli di fasci torciti, il lavoro fornisce un'applicazione geometrica concreta in cui la teoria astratta dei cicli di dimensione zero torciti può essere calcolata esplicitamente e relazionata alla geometria dei quattrofogli di Verra. La dimostrazione che $o_X = o_S$ in questo caso specifico offre evidenza a favore della congettura secondo cui la classe di Beauville–Voisin torcita è sempre uguale a quella non torcita, sostenendo la congettura di Franchetta in questo contesto. I risultati unificano lo studio dei cicli di dimensione zero sulle varietà iper-Kähler di tipo $K3^{[2]}$, mostrando che le costruzioni geometriche tramite coniche nei quattrofogli di Verra producono la stessa struttura di filtrazione delle costruzioni motiviche sugli spazi di moduli.