Representability of codimension three cycles

Titel: Darstellbarkeit von Zyklen der Kodimension drei

Autor: Kalyan Banerjee
Feld: Algebraische Geometrie (Chow-Gruppen, Birationale Geometrie)

---

1. Problemstellung und Motivation

Das zentrale Problem dieser Arbeit betrifft die Darstellbarkeit (Representability) von Chow-Gruppen algebraischer Zyklen auf glatten projektiven Varietäten über den komplexen Zahlen.

• Hintergrund: Für eine glatte projektive Varietät $X$ der Dimension $n$ bezeichnet $CH^p(X)$ die Chow-Gruppe der Zyklen der Kodimension $p$ modulo rationaler Äquivalenz. Der Unterraum $CH^p(X)_{alg}$ besteht aus den algebraisch trivialen Zyklen.
• Klassische Darstellbarkeit: Eine Gruppe $CH^p(X)_{alg}$ heißt darstellbar, wenn es eine glatte projektive Kurve $C$ und eine Korrespondenz $\Gamma$ auf $C \times X$ gibt, sodass die induzierte Abbildung von der Jacobischen $J(C)$ (bzw. $CH^1(C)_{alg}$) auf $CH^p(X)_{alg}$ surjektiv ist.
• Bekannte Ergebnisse:
  • Mumford: Für Flächen ($n=2$) mit geometrischem Geschlecht $p_g > 0$ ist $CH^2(S)_{alg}$ nicht darstellbar.
  • Roitman: Verallgemeinerung auf höhere Dimensionen: Wenn $X$ eine globale holomorphe $i$-Form besitzt ($0 < i \le n$), ist $CH^n(X)_{alg}$ nicht darstellbar.
  • Bloch-Vermutung: Für Flächen mit $p_g = 0$ ist $CH^2(S)_{alg}$ darstellbar (für nicht-verallgemeinerte Typen bewiesen, für verallgemeinerte Typen offen).
• Die spezifische Fragestellung: Die Arbeit untersucht die Darstellbarkeit für Zyklen der Kodimension 3 auf einer glatten projektiven Vierer-Varietät (Fourfold) $X$ (also $p=3, n=4$).
• Ziel: Es wird eine neue, verallgemeinerte Definition von Darstellbarkeit entwickelt, die nicht nur Kurven, sondern auch Flächen als Quellen für Korrespondenzen zulässt. Dies soll helfen, birationale Invarianten zu finden, die die Rationalität von unirationalen Vierer-Varietäten untersuchen können.

---

2. Methodik und Konzepte

Der Autor führt mehrere neue Definitionen und Konzepte ein, um das Problem zu analysieren:

A. Schwache Darstellbarkeit bis zur Dimension zwei

Eine Gruppe $A^p(X)$ (algebraisch triviale Zyklen der Kodimension $p$) heißt schwach darstellbar bis zur Dimension zwei, wenn es endlich viele Kurven $C_i$ und Flächen $S_j$ sowie Korrespondenzen $\Gamma_i$ und $\Gamma'_j$ gibt, sodass die Summe der induzierten Abbildungen
$$\bigoplus_i \Gamma_i + \bigoplus_j \Gamma'_j : \bigoplus_i A^1(C_i) \oplus \bigoplus_j A^2(S_j) \to A^p(X)$$
surjektiv ist.

• Bedeutung: Dies erweitert den klassischen Begriff (nur Kurven) um den Einsatz von Flächen.

B. Endliche Dimensionalität bis zur Dimension zwei (via Chow-Varietäten)

Der Autor nutzt einen zweiten Ansatz, der auf der Surjektivität von Abbildungen aus Produkten von Chow-Varietäten basiert.

• Sei $C^p_d(X)$ die Chow-Varietät der Zyklen der Kodimension $p$ und Grad $d$.
• Betrachtet wird die Abbildung $\theta^p_d: C^p_d(X) \times C^p_d(X) \to CH^p(X)$ via $(Z_1, Z_2) \mapsto [Z_1 - Z_2]$.
• Definition: $A^p(X)$ ist endlich dimensional bis zur Dimension zwei, wenn es ein $g > 1$ gibt, sodass die Vereinigung der Bilder $\bigcup_d \text{im}(\theta^p_{gd})$ surjektiv auf $A^p(X)$ abbildet.
• Dies verallgemeinert den Begriff der "endlichen Dimensionalität" (finite dimensionality) von Chow-Gruppen, wie er von Voisin und Roitman für Nullzyklen untersucht wurde.

C. Birationale Invarianz

Ein zentraler methodischer Schritt ist der Nachweis, dass die Eigenschaft "Darstellbarkeit bis zur Dimension zwei" für $A^3(X)$ auf einer Vierer-Varietät ein birationales Invariant ist.

• Durch die Analyse der Blow-up-Formel für $A^3(\tilde{X})$ bei Aufblasungen entlang Kurven oder Flächen zeigt der Autor, dass sich die Darstellbarkeitseigenschaft unter birationalen Transformationen erhält.
• Dies ist entscheidend, da es erlaubt, Eigenschaften von $X$ aus einer rationalen Varietät (wie $\mathbb{P}^4$) abzuleiten. Wenn $X$ rational wäre, müsste $A^3(X)$ diese Darstellbarkeitseigenschaft erfüllen.

---

3. Wichtige Ergebnisse und Theoreme

Theorem 1.2: Reduktion auf Flächen

Unter bestimmten Voraussetzungen (A) und (B) wird gezeigt, dass die Darstellbarkeit durch Kurven und Flächen auf eine Darstellung durch eine einzige glatte projektive Fläche reduziert werden kann.

• Voraussetzungen:
  • (A) Die Chow-Gruppe wird durch lineare Unterräume erzeugt (Surjektivität der Abel-Jacobi-Abbildung von der Fano-Varietät $F(X)$).
  • (B) Die Gruppe ist im Sinne der Chow-Varietäten-Produkte "endlich dimensional" (im Sinne der Definition oben).
• Aussage: Es existiert eine glatte projektive Fläche $S$ (erhalten als Hyperflächenschnitt der Fano-Varietät $F(X)$) und eine Korrespondenz $\Gamma: S \times X$, sodass $\Gamma^*: A^2(S) \to A^p(X)$ surjektiv ist.

Theorem 2.6: Äquivalenz der Konzepte

Unter der Annahme, dass lineare Unterräume $A^p(X)$ erzeugen, sind die folgenden beiden Konzepte äquivalent:

1. $A^p(X)$ ist endlich dimensional bis zur Dimension zwei.
2. $A^p(X)$ hat eine endliche Dimension (im Sinne der Minimierung der maximalen Dimension der Bilder der $\theta$-Abbildungen).

• Beweistechnik: Der Beweis nutzt Argumente von Mumford und Roitman über die Struktur der Fasern von Abbildungen zwischen Chow-Varietäten als abzählbare Vereinigung Zariski-abgeschlossener Mengen (Baire-Kategorie-Argument).

Theorem 2.7: Hauptresultat für Vierer-Varietäten

Für eine glatte projektive Vierer-Varietät $X$, auf der algebraische und homologische Äquivalenz zusammenfallen:

• $A^3(X)$ ist genau dann darstellbar bis zur Dimension zwei, wenn sie endlich dimensional bis zur Dimension zwei ist.
• Dies verbindet die geometrische Definition (Korrespondenzen von Flächen/Kurven) mit der analytischen Definition (Dimensionalität der Bilder in Chow-Varietäten).

Anwendung auf Fano-Vierer

Als Anwendung wird gezeigt, dass für einen glatten projektiven Fano-Vierer $X$, bei dem $A^3(X)$ durch Differenzen rationaler Kurven erzeugt wird, die Gruppe $A^3(X)$ darstellbar bis zur Dimension zwei ist. Dies stützt sich auf Ergebnisse von [TZ] (Tian-Zhang).

---

4. Signifikanz und Beitrag zur Forschung

1. Erweiterung der Darstellbarkeitstheorie: Die Arbeit erweitert den klassischen Rahmen der Darstellbarkeit (der sich meist auf Kurven und Nullzyklen konzentriert) auf Zyklen höherer Kodimension in höheren Dimensionen, indem sie explizit Flächen als Quellen für Korrespondenzen zulässt.
2. Neuer birationaler Invariant: Der Nachweis, dass die "Darstellbarkeit bis zur Dimension zwei" ein birationales Invariant für $A^3(X)$ auf Vierer-Varietäten ist, bietet ein neues Werkzeug zur Untersuchung der Rationalität.
   • Hypothesen: Wenn eine unirationale Vierer-Varietät $X$ nicht rational ist, könnte dies daran liegen, dass $A^3(X)$ nicht darstellbar bis zur Dimension zwei ist. Da für unirationale Varietäten eine dominante rationale Abbildung von $\mathbb{P}^4$ existiert, und $A^3(\mathbb{P}^4)$ trivial ist, müsste die Nicht-Rationalität in der Struktur des Kerns der Abbildung liegen.
3. Technische Vertiefung: Die Arbeit liefert detaillierte Beweise für die Äquivalenz verschiedener "Endlichkeits"-Begriffe von Chow-Gruppen, indem sie tiefe Ergebnisse von Roitman und Voisin auf den Fall der Kodimension 3 überträgt.
4. Verbindung zur Fano-Varietät: Die Konstruktion der darstellenden Fläche $S$ als Hyperflächenschnitt der Fano-Varietät der linearen Unterräume stellt eine konkrete geometrische Verbindung her zwischen der Geometrie der Zyklen auf $X$ und der Geometrie der Fano-Varietät.

Zusammenfassend entwickelt Banerjee eine robuste Theorie der "schwachen Darstellbarkeit" für Zyklen der Kodimension 3 auf Vierer-Varietäten. Er zeigt, dass unter natürlichen geometrischen Bedingungen diese Darstellbarkeit auf die Existenz einer einzigen darstellenden Fläche zurückgeführt werden kann, und etabliert dies als potenzielles Hindernis für die Rationalität von unirationalen vierdimensionalen Varietäten.