The kernel of the Gysin homomorphism for positive characteristic

Titolo: Il nucleo dell'omomorfismo di Gysin in caratteristica positiva

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio del nucleo dell'omomorfismo di Gysin ($G_t$) associato a sezioni iperpiane di una superficie proiettiva liscia e connessa $S$.

• Contesto storico: Il teorema principale era stato precedentemente dimostrato da Banerjee e Guletski˘i (e successivamente dettagliato in [20]) nel caso in cui il campo di base fosse i numeri complessi $\mathbb{C}$. In quel contesto, la dimostrazione faceva affidamento sulla teoria di Hodge e sull'analisi delle strutture complesse.
• La sfida: Estendere questo risultato a un campo algebricamente chiuso $k$ di caratteristica positiva ($p > 0$). In caratteristica positiva, la teoria di Hodge classica non è disponibile, rendendo necessarie nuove strategie basate sulla coomologia étale e sulla teoria dei campi.
• Obiettivo: Dimostrare che la struttura del nucleo di Gysin rimane invariata anche in caratteristica positiva, specificamente per un campo $k$ non numerabile e algebricamente chiuso.

2. Metodologia

Gli autori adottano un approccio ibrido che combina tecniche di geometria algebrica classica con strumenti moderni della coomologia étale e della teoria dei modelli. La metodologia si articola in tre pilastri fondamentali:

A. Lift e Teoremi di Confronto

Poiché la teoria di Hodge non è applicabile direttamente in caratteristica $p$, gli autori utilizzano un lift (sollevamento) dalla caratteristica $p$ alla caratteristica 0.

• Si considera un anello di valutazione discreto completo (CDVR) $W(k)$ (l'anello dei vettori di Witt) con campo residuo $k$ e campo delle frazioni $K$ di caratteristica 0.
• Si costruisce una famiglia piatta di superfici $S$ su $W(k)$, con fibra speciale $S_0$ (su $k$) e fibra generica $S_\eta$ (su $K$).
• Si applicano i Teoremi di Confronto di Artin ([16, Thm 20.5 & 21.1]) per trasferire i risultati dalla coomologia singolare (valida su $K \cong \mathbb{C}$) alla coomologia étale su $k$. Questo permette di "importare" le proprietà dimostrate su $\mathbb{C}$ nel contesto di caratteristica positiva.

B. Argomenti di Contabilità e Geometria Algebrica

Il lavoro si basa su lemmi di contabilità per gestire la struttura dei gruppi di Chow.

• Si sfrutta il fatto che $k$ è non numerabile.
• Si utilizzano lemmi (es. Lemma 5.1) che affermano che una varietà irriducibile su un campo non numerabile non può essere scritta come un'unione numerabile di sottoinsiemi chiusi di Zariski propri.
• Questo permette di analizzare la struttura del nucleo di Gysin $G_t$ come un'unione numerabile di traslazioni di una sottovarietà abeliana.

C. Azione del Gruppo Fondamentale e Cicli di Vanishing

Per la parte (b) del teorema, gli autori seguono l'approccio di Banerjee e Guletski˘i ([1]), evitando la teoria di Hodge a favore della teoria étale.

• Si studia l'azione continua del gruppo fondamentale étale $\pi_1(U', \eta)$ (basato sul punto geometrico generico) sui gruppi di cohomologia.
• Si analizzano i cicli di vanishing (vanishing cycles) associati a un fascio di Lefschetz.
• Si utilizza la Congettura di Tate (e il teorema di isogenia di Tate) per campi finitamente generati in caratteristica positiva, che stabilisce una corrispondenza tra endomorfismi algebrici e endomorfismi $\ell$-adici.

3. Risultati Chiave e Contributi

Il teorema principale estende il risultato di [20, Teorema 5.1] al caso di caratteristica positiva. Siano $S$ una superficie proiettiva liscia su $k$, $\Sigma$ un sistema lineare di un divisore molto ampio, e $C_t$ una sezione iperpiana liscia parametrizzata da $t \in U$. Sia $G_t = \ker(rt^*: CH_0(C_t)_{deg=0} \to CH_0(S)_{deg=0})$ il nucleo di Gysin.

Il teorema afferma che:

1. Struttura del Nucleo (Parte a):
   Per ogni $t \in U$, esiste una sottovarietà abeliana $A_t \subseteq B_t \subseteq J_t$ (dove $J_t$ è la Jacobiana di $C_t$ e $B_t$ è la parte associata alla coomologia di vanishing) tale che:
   $$G_t = \bigcup_{\text{numerabile}} \text{traslazioni di } A_t$$
   In altre parole, il nucleo è generato da un numero numerabile di traslazioni di una singola sottovarietà abeliana.

2. Comportamento "Molto Generale" (Parte b):
   Per un punto molto generale $t \in U$ (ovvero, per $t$ in un sottoinsieme $c$-aperto di $U$), vale una delle due alternative:

   • $A_t = 0$ (il nucleo è "piccolo" o banale in termini di struttura abeliana), oppure
   • $A_t = B_t$ (il nucleo è "massimale" rispetto alla parte di vanishing).

Contributi Tecnici Specifici:

• Dimostrazione senza Differenziali: A differenza dei teoremi classici di Mumford e Mattuck che utilizzano forme differenziali (validi solo in caratteristica 0 o con restrizioni), questo lavoro utilizza esclusivamente la coomologia étale e la teoria dei cicli, rendendo il risultato valido in caratteristica $p$.
• Uso della Congettura di Tate: L'uso cruciale del teorema di isogenia di Tate permette di dedurre l'uguaglianza o la nullità delle sottovarietà abeliane ($A_t = 0$ o $A_t = B_t$) analizzando le rappresentazioni $\ell$-adiche, bypassando la necessità della teoria di Hodge.
• Generalizzazione della Rappresentabilità: Si conferma che la rappresentabilità del gruppo di Chow $CH_0(X)_{deg=0}$ e le proprietà delle mappe regolari (definite da Roitman) si estendono a campi algebricamente chiusi non numerabili di caratteristica arbitraria.

4. Significato e Impatto

• Unificazione della Geometria Algebrica: Il lavoro conferma il "Principio di Lefschetz" in un contesto tecnico rigoroso: la geometria algebrica su un campo algebricamente chiuso di caratteristica 0 è "la stessa" di quella in caratteristica $p$ per quanto riguarda queste proprietà strutturali, purché si utilizzino gli strumenti corretti (coomologia étale invece di quella singolare).
• Superamento dei Limiti della Teoria di Hodge: Dimostra che risultati profondi sulla struttura dei gruppi di Chow, precedentemente ottenuti solo tramite analisi complessa, possono essere ottenuti in modo puramente algebrico. Questo apre la strada a ulteriori generalizzazioni in caratteristiche positive dove la teoria di Hodge non è definita.
• Struttura dei Gruppi di Chow: Fornisce una comprensione più profonda della struttura dei gruppi di Chow di 0-cicli ($CH_0$) su superfici in caratteristica positiva, collegandoli direttamente alle sottovarietà abeliane delle Jacobiane delle curve sezioni.

In sintesi, Schoemann e Werner riescono a trasferire un risultato profondo dalla geometria complessa alla geometria aritmetica in caratteristica positiva, sostituendo gli strumenti analitici con potenti strumenti algebrici (lift, coomologia étale, teorema di Tate), confermando la robustezza e l'universalità della struttura del nucleo di Gysin.