Universally defined cycles I

Sintesi Tecnica: Cicli Definiti Universalmente I

Enunciato del Problema
Il saggio affronta la generalizzazione della congettura di Franchetta alle varietà algebriche di dimensione superiore. La classica congettura di Franchetta afferma che per un fibrato lineare su una curva universale sul modulo delle curve, la restrizione su qualsiasi fibra è un multiplo razionale del fibrato canonico. Estendere questo concetto alle dimensioni superiori incontra l'ostruzione fondamentale che uno spazio modulare universale per varietà di una data dimensione non esiste. Per aggirare ciò, l'autore introduce e studia la nozione di "cicli definiti universalmente". Questi sono assegnazioni di cicli algebrici a morfismi lisci che soddisfano specifici assiomi di compatibilità riguardo al cambiamento di base e alle restrizioni aperte, indipendentemente dall'esistenza di uno spazio modulare globale.

La questione centrale è se tali cicli definiti universalmente su varietà lisce di dimensione $d$ siano necessariamente dati da polinomi universali nelle classi di Chern della varietà. Sebbene ciò sia noto per le curve, il caso di dimensioni superiori presenta difficoltà significative a causa della mancanza di uno spazio modulare e della complessità dei gruppi di Chow.

Metodologia
Il saggio impiega un approccio geometrico centrato sullo studio di famiglie universali di intersezioni complete. La strategia principale prevede i seguenti passaggi:

1. Riduzione alle Intersezioni Complete: L'autore utilizza un risultato (Proposizione 2.1) mostrando che per una varietà $X$ immersa in una varietà di Grassmann, il gruppo di Chow di $X$ può essere recuperato dal gruppo di Chow di una famiglia di intersezioni complete contenente $X$ come componente, a condizione che la dimensione dello spazio dei parametri sia sufficientemente grande. Ciò si basa sull'iniettività della mappa di pull-back e restrizione dallo spazio ambiente al complemento di un ipersuperficie determinante universale.
2. Famiglie Universali: La dimostrazione costruisce famiglie universali di intersezioni complete lisce $X^0_{d,N,l}$ all'interno di una varietà di Grassmann $G(d, N)$. Analizzando i gruppi di Chow di queste famiglie universali, l'autore dimostra che qualsiasi ciclo definito universalmente su di esse deve essere esprimibile come un polinomio nelle classi di Chern relative.
3. Indipendenza dai Parametri: Un passaggio tecnico cruciale consiste nel dimostrare che i coefficienti di questi polinomi sono indipendenti dal grado $l$ delle intersezioni complete e dipendono solo dalla dimensione $d$. Ciò viene ottenuto costruendo specifiche varietà di test (utilizzando varietà abeliane e prodotti di spazi proiettivi) dove le classi di Chern non soddisfano relazioni polinomiali non triviali fino a un certo grado pesato.
4. Estensione a Prodotti e Potenze: La metodologia viene estesa ai prodotti di varietà e alle potenze di varietà ($X^k$). Per i prodotti, l'autore dimostra che i cicli definiti universalmente sono polinomi nelle classi di Chern dei singoli fattori. Per le potenze, l'autore introduce un quadro combinatorio che coinvolge partizioni dell'insieme $\{1, \dots, k\}$ e morfismi diagonali $\Delta_I$.

Contributi Chiave e Risultati

• Teorema 1.4 (Risultato Principale per le Varietà): Il saggio dimostra che ogni ciclo definito universalmente su varietà complesse lisce di dimensione $d$ è dato da un unico polinomio con coefficienti razionali nelle classi di Chern $c_1, \dots, c_d$ della varietà. Ciò stabilisce un analogo della congettura di Franchetta per dimensioni superiori, mostrando che il ciclo è un multiplo universale di un polinomio nelle classi di Chern, indipendente dalla specifica varietà o dal campo di definizione.
• Teorema 1.7 (Risultato Principale per i Prodotti): Il risultato è generalizzato ai prodotti di $r$ varietà lisce di dimensioni $d_1, \dots, d_r$. Si dimostra che un ciclo definito universalmente su tali prodotti è unicamente determinato da un polinomio nelle classi di Chern dei singoli fattori, con vincoli di grado pesato.
• Congettura 1.8 (Forma Standard per le Potenze): Il saggio formula una congettura per i cicli definiti universalmente sulle $k$-esime potenze di varietà ($X^k$). Essa postula che ogni tale ciclo possa essere espresso unicamente come una somma su partizioni $I$ di $\{1, \dots, k\}$, dove ogni termine coinvolge un morfismo diagonale $\Delta_I$ e un polinomio nelle classi di Chern dei fattori.
• Teorema 1.9 (Unicità per i Cicli Standard): L'autore dimostra che se un ciclo definito universalmente "standard" (uno che soddisfa la forma della Congettura 1.8) è cohomologicamente banale per tutte le varietà lisce, allora il ciclo stesso è zero nel gruppo di Chow. Ciò stabilisce l'unicità della rappresentazione per i cicli standard.
• Teorema 3.4: Viene dimostrato un risultato di unicità per la collezione di polinomi che definiscono un ciclo definito universalmente sulle potenze, mostrando che il ciclo svanisce se e solo se tutti i polinomi definitori svaniscono.

Significato e Rivendicazioni
Il saggio sostiene di aver stabilito un risultato strutturale fondamentale per i cicli algebrici in famiglie. Dimostrando che i cicli definiti universalmente sono polinomi nelle classi di Chern, l'autore fornisce un quadro rigoroso per comprendere i cicli che si comportano in modo funzionale attraverso le famiglie di varietà.

L'autore osserva che la dimostrazione della Congettura 1.8 (la forma esplicita per le potenze) rimane incompleta. Tuttavia, il saggio evidenzia che la congettura, se vera, avrebbe conseguenze significative:

• Fornirebbe una prova alternativa del teorema di Ellingsrud-Göttsche-Lehn riguardante i gruppi di Chow degli schemi di Hilbert di superfici K3.
• Impatterebbe sulla congettura di Beauville-Voisin sul gruppo di Chow degli schemi di Hilbert di superfici K3, specificamente riguardo alle relazioni di commutazione di Lehn.
• Si nota che le attuali dimostrazioni in [12] riguardanti i gruppi di Chow degli schemi di Hilbert di superfici K3 sono incomplete poiché si basano sulla non ancora provata Congettura 1.8.

Il saggio si pone come il primo passo verso l'instaurazione della Congettura 1.8, fornendo le definizioni necessarie, la dimostrazione per il caso $k=1$ (Teorema 1.4) e la dimostrazione dell'unicità per il caso generale. Il lavoro è descritto come uno studio del formalismo dei cicli definiti universalmente, con l'obiettivo di chiarire la relazione tra cicli geometrici e classi caratteristiche in assenza di uno spazio modulare globale.