On the Chow ring of double EPW quartics

Titel: Over de Chow-ring van Double EPW Quartics

Auteur: Carl Mazzanti
Trefwoorden: Hyperkähler variëteiten, Chow-ring, algebraïsche cycli, Double EPW quartics, Franchetta-eigenschap, Beauville-Voisin-vermoeden.

---

1. Probleemstelling en Achtergrond

Het artikel richt zich op het begrijpen van de structuur van de Chow-ring (de ring van algebraïsche cycli met rationale coëfficiënten) van double EPW quartics. Dit zijn een specifieke familie van hyperkähler variëteiten van dimensie 4, die tot het type $K3^{[2]}$ behoren.

De centrale vraag in dit domein is het verifiëren van twee fundamentele vermoedens die de relatie beschrijven tussen algebraïsche cycli en cohomologie:

1. Het Beauville-Voisin-vermoeden: Dit stelt dat de deelring van de Chow-ring gegenereerd door divisors (en Chern-classes) injectief afbeeldt naar de cohomologie via de cyclusklasse-afbeelding.
2. Het Franchetta-vermoeden: Dit stelt dat voor een universele familie van hyperkähler variëteiten, de cyclusklasse-afbeelding injectief is op de deelring van "generiek gedefinieerde" cycli (cycli die voor alle leden van de familie gelden).

Hoewel deze vermoedens bewezen zijn voor Hilbert-schema's van punten op K3-oppervlakken en Fano-variëteiten van lijnen op kubische vier-voudigen, was de situatie voor double EPW quartics minder helder. De geometrie van deze variëteiten is complexer omdat de gebruikelijke meetkundige technieken (zoals die voor Hilbert-schema's) hier niet direct toepasbaar zijn.

2. Methodologie

Mazzanti gebruikt een rijke meetkundige structuur van double EPW quartics om deze problemen aan te pakken. De methode combineert drie verschillende constructies van deze variëteiten en maakt gebruik van de volgende kernconcepten:

• Drie Constructies: De auteur baseert het bewijs op de drie manieren waarop double EPW quartics ($Y$) kunnen worden geconstrueerd:

  1. Als de basis van een $\mathbb{P}^1$-bundel over de Hilbert-schaal van $(1,1)$-conischen op een Verra vier-voudige ($X$).
  2. Als een dubbele overdekking van een Lagrangiaanse degeneratie-locus ($D^A_1$).
  3. Als een moduli-ruimte van gestabiliseerde getwiste schijven op een K3-oppervlak.
     De constructie via Verra vier-voudigen (punt 1) is cruciaal voor de berekeningen in de Chow-ring.

• Incidentievariëteit: De auteur bestudeert de incidentievariëteit $I_F$ van conischen op de Verra vier-voudige $X$. Door relaties in de Chow-ring van het product $F(X) \times F(X)$ te analyseren en deze naar $Y \times Y$ te projecteren, worden specifieke algebraïsche relaties afgeleid die de interactie tussen cycli beschrijven.

• Involutie en Symmetrie: Double EPW quartics bezitten een anti-symplectische involutie $\iota$. De auteur analyseert de invariante en anti-invariante delen van de Chow-ring onder deze involutie. Een cruciaal element is de vastgestelde locus $Z$ van $\iota$.

• Constante Cyclus Oppervlakken: Een belangrijk technisch hulpmiddel is het bewijzen dat de vastgestelde locus $Z$ een "constant cycle surface" is. Dit betekent dat alle punten op $Z$ dezelfde klasse hebben in de Chow-ring van 0-cycli ($CH_0(Y)$).

3. Belangrijkste Bijdragen en Resultaten

A. Het Franchetta-vermoeden voor Double EPW Quartics

De auteur bewijst dat de familie van double EPW quartics voldoet aan het Franchetta-vermoeden.

• Stelling 3.5: Voor elke punt $b$ in de moduli-ruimte is de cyclusklasse-afbeelding injectief op de ring van generiek gedefinieerde cycli $GDCH^*(Y_b)$.
• Consequentie: Dit betekent dat alle generiek gedefinieerde cycli op $Y$ een veelvoud zijn van de speciale Beauville-Voisin klasse $o_Y$ in graad 0.

B. Het Beauville-Voisin-Franchetta Vermoeden

Het hoofddoel van het artikel is het bewijzen van het gecombineerde vermoeden voor deze variëteiten.

• Stelling 1.3 (Stelling 7.8): De cyclusklasse-afbeelding is injectief op de deelring gegenereerd door divisors en generiek gedefinieerde cycli.
  $$cl: \langle CH^1(Y), GDCH^*(Y) \rangle \to H^*(Y, \mathbb{Q})$$
  Dit bevestigt dat de algebraïsche structuur van de Chow-ring voor deze variëteiten volledig wordt bepaald door hun cohomologie, tenminste binnen deze gegenereerde subring.

C. De Vastgestelde Locus als Constante Cyclus Oppervlak

Een van de meest opvallende meetkundige resultaten is de karakterisering van de vastgestelde locus $Z$ van de involutie $\iota$.

• Stelling 1.4 (Stelling 5.3): $Z$ is een constant cycle oppervlak in $Y$. Elke punt op $Z$ vertegenwoordigt de Beauville-Voisin klasse $o_Y$.
• Dit biedt een expliciete meetkundige representatie van de speciale 0-cyclus die centraal staat in de theorie van hyperkähler variëteiten.

D. Relaties met Verra Vier-voudigen en Bloch-Beilinson Filtratie

De auteur vestigt een diepgaande connectie tussen de Chow-ring van $Y$ en die van de geassocieerde Verra vier-voudige $X$.

• Isomorfisme (Stelling 1.5): Er bestaat een isomorfisme tussen het anti-invariante deel van de 0-cycli van $Y$ en de homologisch triviale 1-cycli van $X$:
  $$CH_0(Y)^- \cong CH_1(X)_{hom}$$
  Dit wordt gerealiseerd via de universele conic.
• Surjectiviteit van Vermenigvuldiging (Stelling 1.7): De vermenigvuldigingsmap
  $$CH_2(Y)^-_{hom} \otimes CH_2(Y)^-_{hom} \to CH_0(Y)^+_{hom}$$
  is surjectief. Dit bevestigt een voorspelling van de Bloch-Beilinson-filtratie voor het diepste deel van de filtratie, analoog aan wat eerder bewezen was voor Fano-variëteiten van lijnen.

E. Voisin's Filtratie

De auteur toont aan dat Voisin's filtratie op 0-cycli overeenkomt met de filtratie die wordt gegenereerd door de involutie $\iota$, wat de verwachte splitsing van de Bloch-Beilinson filtratie bevestigt.

4. Significatie en Impact

1. Voltooiing van het Beeld: Dit artikel sluit een belangrijke ontbrekende schakel in de theorie van Chow-ringen van hyperkähler variëteiten van type $K3^{[2]}$. Het bewijst de centrale vermoedens voor een nieuwe, geometrich rijke familie die niet direct als Hilbert-schema of Fano-variëteit van lijnen kan worden beschouwd.
2. Nieuwe Technieken: De methode, die gebruikmaakt van de relatie met Verra vier-voudigen en incidentievariëteiten van conischen, biedt een nieuw paradigma voor het bestuderen van Chow-ringen van moduli-ruimten van gestabiliseerde objecten.
3. Verbinding tussen Variëteiten: De bewezen isomorfismen tussen de Chow-ringen van double EPW quartics en Verra vier-voudigen verrijken het begrip van de onderlinge relaties binnen de klasse van K3-gerelateerde variëteiten.
4. Expliciete Representatie: Het identificeren van de Beauville-Voisin klasse als een punt op een specifiek meetkundig oppervlak (de vastgestelde locus van de involutie) geeft een concreet inzicht in de aard van deze speciale cycli, wat eerder vaak abstract bleef.

Samenvattend levert dit werk een rigoureus en diepgaand bewijs voor de structuur van algebraïsche cycli op double EPW quartics, bevestigt het de voorspellingen van Bloch-Beilinson en Beauville-Voisin in dit specifieke geval, en opent het nieuwe wegen voor het onderzoek van andere hyperkähler variëteiten met involuties.