Representability of codimension three cycles

Titel: Representabiliteit van Cyclus van Codimensie Drie

Auteur: Kalyan Banerjee
Context: Algebraïsche meetkunde, Chow-groepen, Rationaliteit van variëteiten.

1. Het Probleem

Het artikel behandelt een fundamenteel vraagstuk in de theorie van Chow-groepen: de representabiliteit van algebraïsche cycli.

• Definitie: Voor een gladde projectieve variëteit $X$ over de complexe getallen, wordt de groep $CH^p(X)_{alg}$ (cycli van codimensie $p$ die algebraïsch triviaal zijn, modulo rationele equivalentie) representabel genoemd als er een gladde projectieve kromme $C$ en een correspondentie $\Gamma$ op $C \times X$ bestaat zodanig dat de geïnduceerde afbeelding $J(C) \to CH^p(X)_{alg}$ surjectief is.
• Achtergrond:
  • Mumford ([M]) bewees dat voor oppervlakken met geometrisch genus $>0$, de groep $CH^2(S)_{alg}$ niet representabel is.
  • Roitman ([R1]) generaliseerde dit: als $X$ een globale holomorfe $i$-vorm heeft ($0 < i \leq \dim X$), dan is $CH^n(X)_{alg}$ niet representabel.
  • Bloch stelde de omgekeerde vraag: Is $CH^2(S)_{alg}$ representabel voor oppervlakken met genus 0? Dit is gedeeltelijk opgelost, maar blijft open voor oppervlakken van algemeen type.
• De Specifieke Vraag: Het artikel richt zich op codimensie 3 cycli op een gladde projectieve vierdimensionale variëteit (fourfold) $X$. De vraag is of een tweede notie van representabiliteit (gebaseerd op Chow-varieteiten) equivalent is aan de klassieke notie (gebaseerd op Jacobiaanse van krommen) voor deze specifieke dimensie en codimensie.

2. Methodologie

De auteur ontwikkelt een methode die voortbouwt op werken van Voisin en Roitman, maar deze aanpast voor hogere codimensies.

• Twee Noties van Representabiliteit:
  1. Klassiek: Surjectiviteit via correspondenties van krommen (en oppervlakken).
  2. Via Chow-varieteiten: Beschouwing van de natuurlijke afbeelding van het product van Chow-varieteiten $C^p_d(X) \times C^p_d(X)$ naar $CH^p(X)$. De auteur introduceert het concept van "zwakke representabiliteit tot dimensie twee".
     • Een groep $A^p(X)$ is zwak representabel tot dimensie twee als deze wordt gegenereerd door correspondenties van een eindig aantal krommen $C_i$ en oppervlakken $S_j$.
• Verwantschap met "Finite Dimensionality":
  • De auteur definieert "finite dimensionality tot dimensie twee" in termen van de afbeeldingen $\theta^p_{gd}: Sym_{gd}F(X) \times Sym_{gd}F(X) \to A^p(X)$, waarbij $F(X)$ de Fano-variëteit is van lineaire deelruimten van codimensie $p$.
  • Er wordt bewezen dat als $A^p(X)$ wordt gegenereerd door lineaire deelruimten, de eigenschap "finite dimensional up to dimension two" equivalent is aan het hebben van een eindige dimensie in de zin van de afbeeldingen $\theta$.
• Technische Hulpmiddelen:
  • Gebruik van de Baire-categorie stelling (over een onaftelbaar grondveld) om aan te tonen dat bepaalde verzamelingen niet als aftelbare unie van echte deelvariëteiten kunnen worden geschreven.
  • Analyse van de vezels van afbeeldingen tussen Chow-varieteiten.
  • Gebruik van blow-up formules om invariantie onder birationale equivalentie te bewijzen.
  • Toepassing van het Hodge-index theorema en eigenschappen van ample divisors in het bewijs van een cruciaal lemma (Lemma 2.8).

3. Belangrijkste Bijdragen en Resultaten

A. Birationale Invariantie (Stelling 2.1)

De auteur bewijst dat de representabiliteit van $A^3(X)$ (codimensie 3 op een fourfold) tot dimensie twee een birationale invariant is.

• Dit betekent dat als $X$ en $Y$ birationeel equivalent zijn, $A^3(X)$ representabel is tot dimensie twee dan en slechts dan als $A^3(Y)$ dat is.
• Dit is een cruciaal punt voor het bestuderen van de rationaliteit van unirationale fourfolds. Als $X$ unirationeel is, volgt uit de blow-up formule dat $A^3(X)$ altijd representabel is tot dimensie twee. Een niet-representabiliteit zou dus een obstructie voor rationaliteit vormen.

B. Equivalentie van Noties (Stelling 2.7)

Voor een gladde projectieve fourfold $X$ waar algebraïsche en homologische equivalentie samenvallen, geldt:

• $A^3(X)$ is representabel tot dimensie 2 dan en slechts dan als het "finite dimensional up to dimension 2" is.
• Dit verbindt de abstracte definitie via Chow-varieteiten met de concrete constructie via correspondenties.

C. Hoofdstelling (Stelling 1.2)

Onder de aanname dat:

1. De Chow-groep van codimensie $p$ wordt gegenereerd door lineaire deelruimten (surjectiviteit van de Abel-Jacobi-afbeelding van de Fano-variëteit $F(X)$).
2. $A^p(X)$ "finite dimensional up to dimension two" is (surjectiviteit van een aftelbare unie van producten van Chow-varieteiten).

Dan bestaat er een gladde projectieve oppervlak $S$ (verkregen als een hyperplaatssnede van de Fano-variëteit $F(X)$) en een correspondentie $\Gamma$ op $S \times X$ zodanig dat:
$$\Gamma^*: A^2(S) \to A^p(X)$$
surjectief is.
Dit betekent dat de representabiliteit in feite wordt gedomineerd door oppervlakken (en krommen), wat de definitie van "representabel tot dimensie twee" bevestigt.

D. Toepassing op Fano Fourfolds

Als toepassing wordt aangetoond dat voor een gladde projectieve Fano fourfold $X$, waarbij $A^3(X)$ wordt gegenereerd door verschillen van rationale krommen, de groep $A^3(X)$ representabel is tot dimensie twee. Dit volgt uit eerdere resultaten van [TZ].

4. Betekenis en Conclusie

• Verduidelijking van Representabiliteit: Het artikel biedt een scherp inzicht in hoe de representabiliteit van hogere codimensie-cycli (specifiek codimensie 3 op fourfolds) kan worden gereduceerd tot de studie van cycli op oppervlakken en krommen.
• Obstructie voor Rationaliteit: Hoewel unirationale fourfolds altijd representabel zijn tot dimensie twee, suggereert het werk dat een niet-representabiliteit (als deze ooit wordt gevonden voor een specifiek geval) een sterke obstructie zou vormen voor rationaliteit. Het biedt een nieuw raamwerk om de rationaliteitsproblemen voor fourfolds aan te pakken.
• Technische Vooruitgang: De bewijzen combineren klassieke Chow-theorie met moderne technieken van Voisin en Roitman, en introduceren nieuwe methoden om de "finite dimensionality" van Chow-groepen te analyseren via de geometrie van Fano-variëteiten en hun hyperplaatssnedes.

Kortom, Banerjee bewijst dat voor een belangrijke klasse van vierdimensionale variëteiten, de complexe structuur van codimensie 3 cycli volledig kan worden begrepen door te kijken naar de interactie met oppervlakken, wat een brug slaat tussen de theorie van zero-cycli en hogere dimensies.