Representability of codimension three cycles

Titolo: Rappresentabilità dei Cicli di Codimensione Tre

Autore: Kalyan Banerjee
Contesto: Geometria Algebrica (Varietà proiettive lisce su $\mathbb{C}$, Gruppi di Chow).

---

1. Il Problema e il Contesto Teorico

Il lavoro si inserisce nella teoria dei gruppi di Chow $CH^p(X)$, che classificano i cicli algebrici di codimensione $p$ su una varietà proiettiva liscia $X$ a meno di equivalenza razionale. Il problema centrale è la rappresentabilità del sottogruppo dei cicli algebricamente triviali, denotato come $A^p(X)$ (o $CH^p(X)_{alg}$).

• Definizione Classica di Rappresentabilità: Un gruppo $A^p(X)$ è detto rappresentabile se esiste una curva liscia proiettiva $C$ e una corrispondenza $\Gamma$ su $C \times X$ tale che l'indotta mappa $\Gamma^*: J(C) \to A^p(X)$ sia suriettiva (dove $J(C)$ è la varietà di Jacobian, isomorfa a $A^1(C)$).
• Risultati Storici:
  • Mumford: Ha dimostrato che per una superficie $S$ con genere geometrico $p_g > 0$, il gruppo $A^2(S)$ (cicli di codimensione 2, ovvero cicli di punti) non è rappresentabile.
  • Roitman: Ha generalizzato questo risultato, mostrando che se $X$ possiede una forma olomorfa globale non nulla, allora $A^n(X)$ non è rappresentabile.
  • Congettura di Bloch: Per le superfici con $p_g = 0$, si congettura che $A^2(S)$ sia rappresentabile. Questo è stato dimostrato per molte classi di superfici, ma rimane aperto per le superfici di tipo generale.

L'Obiettivo del Paper:
Estendere il concetto di rappresentabilità ai cicli di codimensione tre su una quadrupla (varietà di dimensione 4), $X$. In particolare, l'autore indaga se $A^3(X)$ possa essere "rappresentato" non solo da curve, ma anche da superfici, introducendo una nozione più debole ma significativa: la rappresentabilità debole fino alla dimensione due.

---

2. Metodologia e Strumenti

L'autore adotta un approccio che combina la teoria classica dei gruppi di Chow con tecniche di analisi delle varietà di Chow e argomenti di topologia algebrica (teorema di Baire).

A. Nuove Definizioni di Rappresentabilità

L'autore introduce due concetti chiave per i cicli di codimensione $p$ su una varietà $X$ di dimensione $n$:

1. Rappresentabilità Debole fino alla Dimensione Due:
   Si dice che $A^p(X)$ è rappresentabile debole fino alla dimensione due se esistono un numero finito di curve $C_i$ e superfici $S_j$, con corrispondenze $\Gamma_i$ e $\Gamma'_j$, tali che la somma delle mappe indotte:
   $$\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)$$
   sia suriettiva.
   Nota: Per una quadrupla ($n=4$), $A^3(X)$ corrisponde a cicli di dimensione 1 (curve). La rappresentabilità debole fino alla dimensione due permette di "generare" questi cicli usando sia curve che superfici.

2. Finitezza Dimensionale (Finite Dimensionality):
   Si considera la varietà di Chow $C^p_d(X)$ che parametrizza i cicli di codimensione $p$ e grado $d$. Si definisce la mappa:
   $$\theta^p_d: C^p_d(X) \times C^p_d(X) \to A^p(X), \quad (Z_1, Z_2) \mapsto [Z_1 - Z_2]$$
   Si dice che $A^p(X)$ è finitamente dimensionale fino alla dimensione due se esiste un intero $g > 1$ tale che l'unione delle immagini di $\theta^p_{gd}$ (per $d$ variabile) copre tutto $A^p(X)$.

B. Strumenti Tecnici

• Varietà di Fano: L'analisi si concentra sul caso in cui i cicli sono generati da sottospazi lineari. Si utilizza la varietà di Fano $F(X)$ delle sottovarietà lineari di codimensione $p$ su $X$.
• Argomento di Roitman-Voisin: Si utilizza il fatto che le fibre della mappa $\theta^p_d$ sono un'unione numerabile di sottoinsiemi chiusi di Zariski.
• Teorema di Categoria di Baire: Poiché il campo di base è $\mathbb{C}$ (non numerabile), un'unione numerabile di sottovarietà proprie non può coprire una varietà irriducibile. Questo permette di dimostrare l'esistenza di componenti irriducibili dominanti.
• Teorema dell'Indice di Hodge: Utilizzato nella dimostrazione del Lemma 2.8 per mostrare l'intersezione non vuota di divisori numericamente efficaci.

---

3. Risultati Principali

Il paper stabilisce risultati fondamentali che collegano le diverse nozioni di rappresentabilità e finitezza dimensionale.

Teorema 1.2 (Rappresentabilità tramite Superfici)

Sotto l'ipotesi che:

1. Il gruppo di Chow $A^p(X)$ sia generato da sottospazi lineari (mappa di Abel-Jacobi suriettiva da $CH_0(F(X))$).
2. $A^p(X)$ sia rappresentabile nel senso della "finitezza dimensionale" (unione numerabile di prodotti di varietà di Chow).

Conclusione: Esiste una superficie liscia proiettiva $S$ (ottenuta come sezione iperpiana della varietà di Fano $F(X)$) e una corrispondenza $\Gamma$ su $S \times X$ tale che la mappa indotta:
$$\Gamma^*: A^2(S) \to A^p(X)$$
è suriettiva.
Significato: Questo dimostra che la rappresentabilità debole fino alla dimensione due è una proprietà reale e costruttiva in questo contesto.

Teorema 2.1 (Invarianza Birazionale)

La proprietà di "rappresentabilità debole fino alla dimensione due" per $A^3(X)$ su una quadrupla liscia $X$ è un invariante birazionale.

• Dimostrazione: Si basa sulla formula di blow-up. Se $X$ viene modificata tramite blow-up e blow-down, il gruppo $A^3$ cambia solo aggiungendo termini isomorfi a $A^2$ di superfici o $A^1$ di curve. Poiché questi termini rientrano nella definizione di rappresentabilità debole fino alla dimensione due, la proprietà si conserva.
• Implicazione: Questo invariante può essere usato per distinguere varietà razionali da quelle non razionali. Se una quadrupla unirationale $X$ non fosse razionale, ci si aspetterebbe che $A^3(X)$ non sia rappresentabile debole fino alla dimensione due (anche se per le unirationali $A^3(X)$ risulta essere rappresentabile, il kernel della mappa ha una struttura specifica).

Teorema 2.6 ed 2.7 (Equivalenza tra Finitezza e Rappresentabilità)

• Teorema 2.6: Se i sottospazi lineari generano $A^p(X)$, allora $A^p(X)$ è finitamente dimensionale fino alla dimensione due se e solo se ha dimensione finita (nel senso della dimensione dell'immagine delle mappe $\theta$).
• Teorema 2.7: Per una quadrupla liscia $X$ dove equivalenza algebrica e omologica coincidono, $A^3(X)$ è rappresentabile debole fino alla dimensione due se e solo se è finitamente dimensionale fino alla dimensione due.

Applicazione alle Quadruple Fano

Come applicazione, l'autore dimostra che per una quadrupla Fano liscia $X$ (su $\mathbb{C}$), il gruppo $A^3(X)$ è rappresentabile fino alla dimensione due, basandosi su risultati precedenti (TZ) che mostrano come $A^3(X)$ sia generato da differenze di curve razionali.

---

4. Significato e Contributi Chiave

1. Generalizzazione della Teoria di Mumford-Roitman: Il lavoro estende la teoria della rappresentabilità, tradizionalmente limitata ai cicli di codimensione massima (cicli di punti) o a curve, al caso di cicli di codimensione intermedia su varietà di dimensione superiore.
2. Introduzione della "Rappresentabilità Debole": L'autore formalizza l'idea che per cicli di dimensione superiore (come le curve su una quadrupla), la "generazione" non richiede necessariamente una sola curva, ma può avvenire attraverso una combinazione di curve e superfici. Questo offre una nuova lente per analizzare la struttura dei gruppi di Chow.
3. Strumento per la Razionalità: La dimostrazione che la rappresentabilità debole fino alla dimensione due è un invariante birazionale fornisce un potenziale nuovo strumento per studiare la razionalità delle varietà di dimensione 4. Sebbene le varietà unirationali abbiano gruppi di Chow "piccoli" (rappresentabili), la struttura del kernel di queste mappe potrebbe rivelare ostacoli alla razionalità in casi più complessi.
4. Metodologia Analitica: L'uso combinato di argomenti di dimensione (Baire category) e geometria delle varietà di Fano per dimostrare l'esistenza di superfici generatrici è un contributo tecnico significativo alla geometria algebrica moderna.

In sintesi, il paper di Banerjee fornisce un quadro teorico solido per comprendere come i cicli di codimensione tre su varietà di dimensione quattro possano essere "dominati" da varietà di dimensione inferiore (curve e superfici), ponendo le basi per futuri studi sulla razionalità e sulla struttura dei gruppi di Chow in dimensioni elevate.