The tangent space to the space of 0-cycles

Sintesi Tecnica: Lo Spazio Tangente allo Spazio dei 0-Cicli

Enunciato del Problema
Il saggio affronta la lacuna fondamentale nella comprensione della struttura geometrica dello spazio dei 0-cicli su una varietà algebrica $X$. Sebbene sia intuitivamente compreso che l'equivalenza razionale dei 0-cicli corrisponda alla connettività razionale dei punti su uno "spazio di 0-cicli", questo oggetto (specificamente la completazione di gruppo della potenza simmetrica infinita, $\text{Sym}^\infty(X/S)^+$) non è una varietà o uno schema nel senso classico. Esso esiste solo come uno sheaf in una topologia appropriata. Di conseguenza, la teoria delle deformazioni standard e la definizione di spazi tangenti, che si basano sul fatto che l'oggetto sia uno schema o un stack con una struttura locale ben definita, non possono essere applicate direttamente. Il saggio mira a costruire rigorosamente lo spazio tangente a questo oggetto di tipo sheaf-theoretic in un dato punto $P$, fornendo così una base tecnica per lo studio delle curve razionali sullo spazio dei 0-cicli.

Metodologia
L'autore utilizza un quadro di siti anellati localmente per trattare lo sheaf $\text{Sym}^\infty(X/S)^+$ come un oggetto geometrico. La metodologia procede attraverso i seguenti passaggi:

1. Quadro Geometrico: Il saggio definisce un "oggetto geometrico" come uno sheaf a valori in insiemi su il sito di Nisnevich di schemi localmente noetheriani su una base $S$, dotato di un atlante. Un atlante è una collezione di morfismi da schemi allo sheaf tali che il loro coprodotto sia un epimorfismo efficace.
2. Costruzione del Sito: Per uno sheaf $X$ con un atlante, l'autore costruisce il sito Nisnevich-etale $X_{\text{Nis-\'et}}$. Gli oggetti di questo sito sono morfismi da schemi a $X$ che sono etali rispetto all'atlante.
3. Struttura di Anello Locale: Definendo il funtore di stalk in un punto $P$ (un morfismo da uno spettro di un campo allo sheaf), il saggio stabilisce che se la categoria dei vicinati etali di $P$ è cofiltrata, il sito diventa un sito anellato localmente. Ciò permette la definizione dello sheaf di strutture $\mathcal{O}_X$, dello sheaf dei differenziali di Kähler $\Omega^1_{X/S}$ e dello sheaf tangente $T_{X/S}$.
4. Costruzione Specifica per i 0-Cicli: Il saggio identifica lo spazio dei 0-cicli relativi con la completazione di gruppo $\text{Sym}^\infty(X/S)^+$ del monoidio della potenza simmetrica infinita. Costruisce uno specifico atlante per questo sheaf, chiamato atlante di Chow, derivato dalla naturale struttura induttiva delle potenze simmetriche e delle morfismi di Hilbert-Chow.
5. Dimostrazione della Cofiltratezza: Lo sforzo tecnico centrale consiste nel dimostrare che per ogni punto $P$ su $\text{Sym}^\infty(X/S)^+$, la categoria dei vicinati etali $N_P$ è cofiltrata. Ciò viene ottenuto analizzando la rappresentabilità dei prodotti fibrati di vicinati etali e utilizzando le proprietà dell'atlante di Chow e delle potenze simmetriche sottostanti.

Contributi Chiave e Risultati

• Definizione dello Spazio Tangente: Il saggio definisce con successo lo spazio tangente $T_{\text{Sym}^\infty(X/S)^+}(P)$ in un punto $P$ come il prodotto tensoriale dello stalk dello sheaf tangente con il campo residuo $\kappa(P)$. Questa è la prima costruzione rigorosa di tale spazio per la completazione di gruppo della potenza simmetrica infinita.
• Teorema Principale: Il risultato centrale è il Teorema 6, il quale afferma che per uno schema localmente noetheriano $X$ su $S$ (dove esistono le potenze simmetriche e la morfismo strutturale ammette una sezione), la categoria $N_P$ dei vicinati etali di ogni punto $P$ sullo spazio dei 0-cicli $\text{Sym}^\infty(X/S)^+$ è cofiltrata.
• Confronto tra Approcci: Il saggio chiarisce la relazione tra diverse costruzioni di 0-cicli relativi:
  • L'approccio di Rydh: Utilizza le potenze divise $\Gamma_d(X/S)$.
  • Gli approcci di Suslin-Voevodsky e Kollár: Utilizzano cicli definiti tramite punti grassi (fat points) e pullbacks.
    L'autore dimostra che, sotto deboli assunzioni (caratteristica pura 0 o $X$ piatto su $S$, e $S$ seminormale), lo sheaf $\text{Sym}^\infty(X/S)^+$ è isomorfo agli sheaf di 0-cicli relativi costruiti da Suslin-Voevodsky e Kollár quando ristretti a schemi seminormali.
• Connettività Razionale ed Equivalenza Razionale: Il saggio stabilisce un legame preciso tra la geometria dello spazio dei 0-cicli e la geometria algebrica classica. Dimostra che due punti $P$ e $Q$ su $\text{Sym}^\infty(X/S)^+$ sono connessi razionalmente (tramite una catena di curve razionali) se e solo se i corrispondenti 0-cicli sono razionalmente equivalenti su $X$.
• Potenziale della Teoria di Lie: Poiché $\text{Sym}^\infty(X/S)^+$ è un oggetto di gruppo abeliano, l'esistenza di spazi tangenti in tutti i punti implica che una teoria di Lie può essere sviluppata per questo spazio, dove tutti gli spazi tangenti sono isomorfi allo spazio tangente nell'identità (lo zero ciclo).

Significato e Rivendicazioni
Il saggio sostiene di fornire la "base tecnica" necessaria per una teoria delle deformazioni delle curve razionali sullo spazio dei 0-cicli. Stabilendo l'esistenza di spazi tangenti e della struttura di sito anellato localmente, l'autore consente l'applicazione di tecniche simili a quelle utilizzate da Kollár per dimostrare la connettività razionale delle varietà (ad esempio, analizzando la positività del pullback dello sheaf tangente lungo una curva razionale).

L'autore nota esplicitamente che, sebbene lo sheaf tangente sia stato costruito, non è ancora noto se esso sia localmente libero o se il suo pullback su una curva razionale si decomponga in torsioni di Serre nel modo standard. Tuttavia, il saggio afferma che la costruzione dello spazio tangente stesso è un prerequisito per tali indagini. Il lavoro mira a spostare lo studio dei 0-cicli da una pura relazione di equivalenza algebrica a un'analisi geometrica su un "spazio" specifico (lo sheaf di Nisnevich), allineandosi alla filosofia di Green e Griffiths ma fornendo l' "ontologia" mancante dello spazio dei 0-cicli.

Il saggio non pretende di dimostrare la congettura di Bloch o di dimostrare che lo spazio dei 0-cicli sia razionalmente connesso per varietà specifiche; piuttosto, fornisce gli strumenti (lo spazio tangente e la struttura di sito anellato localmente) che permetterebbero a tali questioni di essere formulate e potenzialmente affrontate utilizzando la teoria delle deformazioni.