Sintesi Tecnica: Cicli Zero su Superfici Quasi-Proiettive su Campi p-adici

1. Enunciato del Problema e Contesto

Il lavoro affronta la struttura del gruppo di Chow dei 0-cicli, $CH_0(X)$, per varietà proiettive lisce $X$ definite su un'estensione finita $k$ del campo $p$-adico $\mathbb{Q}_p$. Un oggetto centrale di studio è la filtrazione di $CH_0(X)$:
$$0 \subseteq F^2(X) \subseteq F^1(X) \subseteq CH_0(X)$$
dove $F^1(X)$ è il nucleo della mappa del grado, e $F^2(X)$ è il nucleo della mappa di Albanese $alb_X: F^1(X) \to Alb_X(k)$.

Gli autori si concentrano sulla Congettura di Colliot-Thélène (Congettura 1.1), che prevede che per tali varietà, il gruppo $F^2(X)$ si decomponga come somma diretta di un gruppo finito e di un gruppo divisibile:
$$F^2(X) \cong F \oplus D$$
Mentre questa congettura è nota per le curve (dove la mappa di Albanese è un isomorfismo) e per casi specifici di prodotti di curve o superfici di Kummer, rimane aperta per le superfici generali. Risultati precedenti di Raskind e Spiess ([RS00]) e di Saito e Sato ([SS10]) hanno stabilito risultati parziali, in particolare riguardo alle proprietà di torsione di $F^1(X)$ e $F^2(X)$ per prodotti di curve con tipi di riduzione specifici.

Il lavoro indaga anche l'analogo quasi-proiettivo di questo problema. Per una sottovarietà aperta $U \subset X$, gli autori sostituiscono $CH_0(X)$ con l'omologia singolare di Suslin $H^{sus}_0(U)$ e considerano il nucleo $F^2(U)$ della mappa di Albanese generalizzata $alb_U: F^1(U) \to Alb_U(k)$, dove $Alb_U$ è una varietà semi-abeliana.

2. Metodologia

Gli autori adottano un approccio multifaccettato che combina coomologia motivica, teoria dei campi di classe e teoria dei gruppi algebrici:

• Coomologia Motivica e Omologia di Suslin: Gli autori utilizzano l'identificazione dell'omologia di Suslin $H^{sus}_0(U)$ con i gruppi di coomologia motivica $H^{2d}_{M,c}(U, \mathbb{Z}(d))$ (Teorema 2.8). Ciò permette loro di utilizzare la macchina dei complessi motivici e il formalismo delle sei funtori.
• Teoria dei Campi di Classe per Curve: Un componente cruciale è l'applicazione della teoria dei campi di classe per curve su campi $p$-adici sviluppata da Bloch ([Blo81]) e Saito ([Sai85]). Nello specifico, analizzano la struttura del gruppo $SK_1(C)$ (identificato con $CH_2(C,1)$) e la sua relazione con il gruppo fondamentale étale abeliano e il modulo di Tate della Jacobiana.
• Varietà di Albanese Generalizzate: Il lavoro costruisce e analizza la varietà di Albanese generalizzata $Alb_U$ per sottovarietà aperte $U = X - D$, dove $D$ è un divisore. Questa varietà è un'estensione della varietà di Albanese standard $Alb_X$ per mezzo di un toro $T$. Gli autori studiano la relazione tra la parte torica di $Alb_U$ e la struttura di $SK_1(D)$ per il divisore $D$.
• Cicli Decomponibili: Per gestire il "pezzo torico" della mappa di Albanese generalizzata, gli autori utilizzano cicli decomponibili $(2,1)$. Dimostrano che l'immagine della mappa dal gruppo di Neron-Severi tensorizzato con $k^\times$ in $SK_1(D)$ è sufficiente ad annullare i componenti torici problematici nel nucleo della mappa.

3. Contributi e Risultati Chiave

A. Equivalenza delle Congetture Proiettive e Quasi-Proiettive

Il risultato tecnico centrale è il Teorema 4.5, che stabilisce un'equivalenza tra la finitezza della parte non divisibile di $F^2$ per una superficie proiettiva e la sua sottovarietà aperta.

• Teorema 4.5: Sia $X$ una superficie proiettiva liscia e $U$ una sottovarietà aperta densa con complemento $D$ (o 0-dimensionale o un divisore a intersezioni normali semplici). Allora $F^2(X_L)/F^2(X_L)_{div}$ è finito per tutte le estensioni finite $L/k$ se e solo se $F^2(U_L)/F^2(U_L)_{div}$ è finito per tutte le $L/k$.
• Corollario 4.9: Di conseguenza, la Congettura di Colliot-Thélène (1.1) vale per tutte le superfici proiettive lisce se e solo se il suo analogo quasi-proiettivo (Congettura 4.8) vale per tutte le superfici quasi-proiettive lisce.

B. Trasferimento delle Congetture tramite Mappe Razionali

Costruendo sull'equivalenza sopra, gli autori dimostrano il Teorema 1.2 (ristrutturato come Teorema 5.2):

• Se esiste una mappa razionale genericamente finita $\pi: X \dashrightarrow Y$ tra superfici proiettive lisce, e la congettura vale per $X$ (e le sue estensioni finite), allora vale per $Y$.
• Questo risultato generalizza i precedenti argomenti di spinta in avanti usati per le superfici di Kummer a una classe più ampia di superfici, a condizione che si possa lavorare con sottovarietà aperte per evitare singolarità nella risoluzione della mappa.

C. Verifica per Nuove Classi di Superfici

Utilizzando il teorema di trasferimento e i risultati noti per i prodotti di curve (Raskind-Spiess), gli autori verificano la Congettura 1.1 per diverse nuove classi di superfici (Corollario 1.3 e Sezione 5.2):

1. Superfici Geometricamente Dominanti: Qualsiasi superficie proiettiva liscia $X$ che è geometricamente dominata da un prodotto di curve $C_1 \times C_2$, a condizione che le Jacobiane di $C_1$ e $C_2$ abbiano una miscela di riduzione ordinaria buona e moltiplicativa split.
2. Fibrati Isotriviali: Questo include superfici ellittiche isotriviali e una vasta classe di superfici K3 che ammettono automorfismi non simplettici (che sono spesso risoluzioni di quozienti di prodotti di curve).
3. Quadrati Simmetrici: Il quadrato simmetrico $Sym^2(C)$ di una curva di genere 2 $C$ (e la superficie abeliana associata $J_C$) sotto le assunzioni di riduzione.
4. Superfici di Fermat: Iper superficie diagonali $X_m \subset \mathbb{P}^3$ di grado $m \ge 4$, specificamente quando $p \equiv 1 \pmod m$.
5. Superfici Prodotto-Quoziente: Superfici che sorgono come risoluzioni di $(C_1 \times C_2)/G$ per gruppi finiti $G$, estendendosi oltre il caso specifico di Kummer precedentemente noto.

D. Struttura dell'Omologia di Suslin per Varietà Aperte

Il lavoro fornisce un'analisi strutturale dettagliata di $F^2(U)$ per sottovarietà aperte:

• Confronto con $F^2(X)$: Quando $X-U$ è 0-dimensionale, $F^2(U) \cong F^2(X)$. Tuttavia, quando $X-U$ è un divisore, $F^2(U)$ può essere significativamente più grande.
• Contributi Torici: Gli autori mostrano che la differenza tra $F^2(U)$ e $F^2(X)$ è governata dalla parte torica della varietà di Albanese generalizzata.
• Esempi:
  • Per $U = \mathbb{G}_m \times \mathbb{G}_m$, $F^2(U) \cong K_2^M(k)$, che contiene un gruppo divisibile non numerabile.
  • Per $U = C \times \mathbb{G}_m$, $F^2(U) \cong V(C)$, che può avere torsione infinita se $C$ è una curva di Mumford.
  • Proposizione 5.17: In contesti geometrici specifici (ad esempio $U = X - s(C)$ dove $s$ è una sezione di una fibrazione), l'uguaglianza $F^2(U) = F^2(X)$ può essere recuperata, implicando la finitezza anche per varietà aperte.

4. Significato e Affermazioni

Gli autori affermano che il loro lavoro fornisce "nuove prove" a sostegno della Congettura di Colliot-Thélène espandendo significativamente le classi note di superfici per le quali la congettura vale.

• Cambiamento Metodologico: Il lavoro evidenzia un passaggio dal fare affidamento esclusivamente su argomenti di "spinta in avanti semplice" (che funzionano per le superfici di Kummer grazie a risoluzioni semplici) a un metodo più robusto che coinvolge sottovarietà aperte e omologia di Suslin. Ciò permette agli autori di gestire singolarità e quozienti più complessi (ad esempio, superfici prodotto-quoziente generali).
• Unificazione: Dimostrando l'equivalenza tra i casi proiettivi e quasi-proiettivi (Teorema 4.5), gli autori unificano lo studio dei 0-cicli su questi diversi tipi di varietà, suggerendo che la validità della congettura è una proprietà geometrica preservata dalle immersioni aperte e dalle mappe razionali dominanti.
• Limitazioni: Gli autori notano modestamente che i loro risultati dipendono ancora da assunzioni riguardanti il tipo di riduzione delle Jacobiane (specificamente, una miscela di riduzione ordinaria buona e moltiplicativa split). Riconoscono che rimuovere questa assunzione (ad esempio, per includere la riduzione supersingolare) rimane un problema aperto sottile e difficile, citando la difficoltà anche nel caso di prodotti di curve ellittiche supersingolari.

In sintesi, il lavoro stabilisce un ponte tra l'aritmetica dei 0-cicli su superfici proiettive e i loro corrispettivi aperti, sfruttando questo legame per dimostrare la congettura di Colliot-Thélène per una vasta e diversificata collezione di superfici dominate da prodotti di curve.