A surface with representable $\text{CH}_{0}$-group but no universal zero-cycle

Utilizzando la geometria delle superfici biellittiche di tipo 2, l'autore costruisce una superficie proiettiva complessa liscia il cui gruppo di Chow dei cicli di dimensione zero è rappresentabile ma che non ammette un ciclo universale, fornendo un analogo bidimensionale del controesempio di Voisin e dimostrando l'esistenza di una classe di Hodge non algebrica su una varietà di dimensione tre.

L'essenziale

Immagina di avere un mondo geometrico, un po' come un paesaggio complesso fatto di curve e superfici. In questo mondo, i matematici studiano dei "punti speciali" chiamati cicli di dimensione zero (in pratica, collezioni di punti).

Il problema di fondo di questo articolo è una domanda molto specifica: esiste un modo universale per "mappare" tutti questi punti su una superficie specifica, in modo che la mappa funzioni perfettamente e senza errori?

Ecco una spiegazione semplice, usando analogie quotidiane, di cosa ha scoperto l'autore, Teodosis Alexandrou.

1. Il Concetto di "Mappa Universale" (Il Tassista Perfetto)

Immagina che la tua superficie matematica (chiamiamola S) sia una grande città.

• I punti sono le case.
• L'Albanese è il grande hub centrale della città (come una stazione ferroviaria principale).

I matematici hanno già una mappa chiamata "mappa di Abel-Jacobi" che dice: "Se prendi una casa, ti dice a quale parte della stazione centrale corrisponde". Questa mappa funziona bene ed è completa (copre tutta la stazione).

La domanda è: Possiamo fare l'inverso?
Possiamo prendere un punto qualsiasi della stazione centrale e dire: "Ecco, questo punto corrisponde esattamente a questo gruppo di case nella città"? Se riusciamo a farlo in modo perfetto, usando una regola matematica fissa (un "ciclo universale"), allora la città ha una "mappa universale".

Per le curve (linee curve semplici), questa mappa universale esiste sempre. È come se avessi un tassista perfetto che ti porta da qualsiasi stazione a qualsiasi casa senza sbagliare.

2. Il Problema: La Città che non ha un Tassista Perfetto

L'autore si chiede: "Cosa succede se la nostra città è una superficie (più complessa di una linea)? Esiste sempre un tassista perfetto?"

In passato, si pensava che se la città aveva una proprietà speciale (chiamata "gruppo CH0 rappresentabile", che significa che la mappa verso la stazione funziona benissimo e non perde informazioni), allora doveva esserci anche il tassista perfetto (la mappa inversa).

La scoperta di Alexandrou:
Ha costruito una città (una superficie matematica) che ha la proprietà speciale (la mappa verso la stazione funziona), ma non ha il tassista perfetto. È come se avessi una mappa che ti dice dove andare, ma non esiste un modo matematico preciso per tornare indietro da ogni punto della stazione alla casa esatta.

3. Come l'ha Costruita? (Il Gioco dei Mattoni)

Per trovare questa città "difettosa", l'autore ha usato un trucco ingegnoso: la degenerazione.

Immagina di costruire un modello di una città usando dei mattoni.

1. Prende una superficie speciale chiamata superficie biellittica (un tipo di superficie che assomiglia a un incrocio tra due cerchi che si muovono in modo periodico).
2. Immagina di far "crollare" questa superficie lentamente, come se fosse fatta di sabbia che si assesta.
3. Quando la superficie crolla, si rompe in due pezzi (due "isole" di mattoni) che si toccano solo in un punto.

L'autore ha dimostrato che, in questo stato di "crollo", la struttura matematica che dovrebbe permettere al tassista di funzionare si rompe. È come se, quando la città si rompe in due, il sistema di navigazione si confonde e non riesce più a collegare la stazione centrale a tutte le case in modo unico.

4. La Condizione Magica (I Numeri Speciali)

C'è un dettaglio fondamentale: questo trucco funziona solo se la "stazione centrale" (l'ellisse di base) ha proprietà matematiche molto specifiche.
L'autore dice: "Funziona se la stazione è costruita con certi numeri speciali" (i numeri di Heegner, come radici quadrate di -1, -2, -3, ecc.). Se usi numeri diversi, il tassista potrebbe ancora funzionare. Ma con questi numeri speciali, il tassista non esiste.

5. Perché è Importante? (Il Mistero della Forma)

Questo risultato non è solo un gioco di logica. Ha conseguenze profonde per un'enigma matematico chiamato Congettura di Hodge.

Immagina di avere una statua (un oggetto geometrico) e di voler sapere se può essere costruita usando solo mattoni reali (cicli algebrici) o se è solo un'illusione ottica (una classe di Hodge non algebrica).

• Prima di questo lavoro, si pensava che certi oggetti "fantasma" (non algebrici) esistessero solo se c'era un "errore di torsione" (come un mattoncino che ruota su se stesso).
• Alexandrou mostra che questi oggetti "fantasma" possono esistere anche senza errori di torsione, ma solo perché manca quella "mappa universale" che abbiamo discusso prima.

È come scoprire che un edificio sembra solido, ma se provi a calcolare le fondamenta in un modo specifico, ti rendi conto che manca un pilastro invisibile che lo tiene in piedi.

In Sintesi

Teodosis Alexandrou ha costruito una superficie matematica strana:

1. Sembra perfetta e ordinata (ha una mappa verso il centro che funziona).
2. Ma non ha una "chiave universale" per tornare indietro (nessun ciclo universale).
3. Questo dimostra che la matematica è più complessa di quanto pensassimo: avere una mappa buona non garantisce sempre di avere la chiave perfetta.
4. Questo ha aperto la porta a scoprire nuovi "oggetti fantasma" nella geometria che prima non sapevamo esistessero.

È una scoperta che cambia il modo in cui vediamo la struttura nascosta delle forme geometriche, un po' come scoprire che un puzzle apparentemente completo ha un pezzo mancante che nessuno aveva notato prima.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del lavoro di Theodosios Alexandrou, presentata in italiano.

Titolo: Una superficie con gruppo $CH_0$ rappresentabile ma senza ciclo nullo universale

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria algebrica complessa, specificamente nello studio dei cicli algebrici e delle varietà proiettive lisce. Il problema centrale riguarda l'esistenza di un ciclo nullo universale (universal 0-cycle) su una varietà $X$.

• Definizione: Una varietà $X$ di dimensione $d$ ammette un ciclo nullo universale se esiste un ciclo di codimensioni $d$, $[\Gamma] \in CH_d(\text{Alb}(X) \times X)$, tale che il morfismo indotto $\psi(\text{Alb}(X), [\Gamma]): \text{Alb}(X) \to \text{Alb}(X)$ sia l'identità.
• Contesto storico:
  • Per le curve, l'esistenza è garantita dal divisore di Poincaré.
  • Voisin ha recentemente dimostrato che per ogni $d \ge 2$ esistono varietà proiettive lisce senza ciclo nullo universale.
  • Colliot-Thélène ha posto la domanda se l'esistenza di un ciclo nullo universale sia garantita per varietà con gruppo di Chow dei 0-cicli rappresentabile (ovvero, dove la mappa di Abel-Jacobi $\alpha_X: CH_0(X)_{hom} \to \text{Alb}(X)$ è un isomorfismo).
  • Voisin ha costruito un controesempio in dimensione 3.
• La Domanda di Totaro (2025): Esiste una superficie proiettiva liscia complessa $S$ il cui gruppo $CH_0(S)$ è rappresentabile, ma che non ammette un ciclo nullo universale?

2. Metodologia e Strumenti Teorici

L'autore risponde affermativamente alla domanda di Totaro costruendo una superficie biellittica di tipo 2. La metodologia si basa su tre pilastri principali:

1. Ostruzione Geometrica (Teorema 3.1 e Corollario 3.2):
   L'autore introduce un nuovo ostacolo all'esistenza di un ciclo nullo universale. L'idea è studiare una degenerazione semistabile di una varietà $X$ su un disco $\Delta = \text{Spec } k[[t]]$.

   • Si considera una famiglia $S \to \Delta$ con fibra generica geometrica $S_K$ e fibra speciale $S_0 = \bigcup R_i$ (divisore a incroci semplici normali).
   • Se $S_K$ ammettesse un ciclo nullo universale, allora la somma dei morfismi di Albanese indotti dalle componenti della fibra speciale, $\sum \text{alb}_i: \bigoplus \text{Alb}(R_i) \to \text{Alb}(S_K)$, dovrebbe ammettere una sezione (un'inversa a destra).
   • L'assenza di tale sezione costituisce un'obstruzione all'esistenza del ciclo universale sulla fibra generica.

2. Costruzione della Degenerazione (Teorema 4.1):
   Viene costruita esplicitamente una degenerazione di una superficie biellittica di tipo 2.

   • Si parte da un modello regolare di una curva ellittica con fibra speciale di tipo $I_4$ (un ciclo di 4 curve razionali).
   • Si considera il prodotto con un'altra curva ellittica $E$ e si quozienta per un gruppo finito generato da involuzioni (traslazioni e inversioni).
   • La fibra speciale risultante è l'unione di due superfici $R_1, R_2$ (superfici regolari ellittiche minime) che si intersecano lungo una curva ellittica $C$.
   • Le proiezioni di $R_1$ e $R_2$ su $E$ sono ricoperture étale di grado 2 non isomorfe.

3. Analisi dei Morfismi di Albanese:
   Il cuore della dimostrazione risiede nello studio della somma dei morfismi di Albanese delle componenti della fibra speciale:
   $$\Sigma: \text{Alb}(R_1) \times \text{Alb}(R_2) \to E$$
   L'autore dimostra che, sotto certe condizioni aritmetiche su $E$, questo morfismo non ammette una sezione.

3. Risultati Principali

Teorema 1.3 (Risultato Principale):
Sia $E$ una curva ellittica su $\mathbb{C}$ tale che:

• (i) $\text{End}(E) \cong \mathbb{Z}$, oppure
• (ii) $E$ ha moltiplicazione complessa dall'ordine massimale di uno dei campi di Heegner $\mathbb{Q}(\sqrt{-c})$ con $c \in \{1, 2, 3, 11, 19, 43, 67, 163\}$.

Allora esiste una superficie proiettiva liscia $S$ su $\mathbb{C}$ tale che:

1. $\text{Alb}(S) \cong E$.
2. Il gruppo $CH_0(S)$ è rappresentabile (è un isomorfismo con $\text{Alb}(S)$).
3. $S$ non ammette un ciclo nullo universale.

Dimostrazione dell'Obstruzione:
Per le curve ellittiche che soddisfano le condizioni (i) o (ii), l'insieme delle isogenie tra $E$ e le sue ricoperture di grado 2 è tale che la somma dei morfismi di Albanese delle componenti della fibra speciale non può essere invertita. In particolare, per il caso (ii) (moltiplicazione complessa), si utilizza il fatto che l'ordine massimale è un dominio a ideali principali (PID) e si dimostra per assurdo che l'esistenza di una sezione implicherebbe $1 \in \mathfrak{p}$ (l'ideale primo sopra 2), una contraddizione.

Esempio 5.2 (Controesempio Positivo):
L'autore nota che per $c = -7$ (che non è nella lista dei numeri di Heegner per cui l'ordine è PID, ma ha classe 1), la situazione cambia. Esistono superfici biellittiche di tipo 2 con moltiplicazione complessa per $\mathbb{Q}(\sqrt{-7})$ che ammettono un ciclo nullo universale, dimostrando che la condizione aritmetica su $E$ è cruciale.

Corollario 1.5 (Conseguenza sulla Congettura di Hodge Integrale):
L'esistenza di tale superficie $S$ porta a un nuovo controesempio alla congettura di Hodge integrale.

• Considerando la varietà tridimensionale $X = E \times S$.
• Poiché $S$ non ha ciclo nullo universale, la classe di coomologia $\delta_X \in H^4(E \times S, \mathbb{Z})$ associata alla mappa inversa di Abel-Jacobi è una classe di Hodge non torsione che non è algebrica.
• Questo fornisce il primo esempio di una varietà tridimensionale con dimensione di Kodaira zero ($\kappa=0$) e fascio canonico di torsione che viola la congettura di Hodge integrale per i cicli di dimensione 1.

4. Significato e Contributi

1. Risoluzione della Domanda di Totaro: Il lavoro risponde affermativamente alla domanda se l'esistenza di un ciclo nullo universale possa fallire in dimensione 2 anche quando il gruppo $CH_0$ è rappresentabile. Questo completa il quadro iniziato da Voisin in dimensione 3.
2. Nuova Ostruzione: Viene introdotta una tecnica di degenerazione che collega l'esistenza di cicli universali alla struttura dei morfismi di Albanese delle componenti della fibra speciale in una degenerazione semistabile.
3. Connessione Aritmetica-Geometrica: Il risultato mostra una profonda dipendenza tra la proprietà geometrica (esistenza di ciclo universale) e le proprietà aritmetiche dell'ordine di endomorfismi della curva ellittica di base (se è un PID o meno).
4. Progresso sulla Congettura di Hodge: Fornisce un nuovo tipo di controesempio alla congettura di Hodge integrale. A differenza degli esempi precedenti di Benoist e Ottem, che coinvolgevano classi di torsione, questo esempio produce una classe di Hodge non torsione non algebrica in grado 4, un risultato più forte e sottile.
5. Classificazione delle Superfici Biellittiche: Il lavoro chiarisce il ruolo delle superfici biellittiche di tipo 2, mostrando che la loro struttura di fibrato di Albanese (con indice 2) è il terreno fertile per tali fenomeni, a patto che la curva ellittica di base soddisfi condizioni specifiche.

In sintesi, il paper di Alexandrou rappresenta un avanzamento significativo nella comprensione delle relazioni tra cicli algebrici, varietà di Albanese e congetture di Hodge, fornendo un esempio concreto e costruttivo in dimensione 2 che sfida le aspettative intuitive sulla rappresentabilità dei gruppi di Chow.