$K$-Equivalence and Integral Cohomology

Sintesi Tecnica: K-Equivalenza e Coomologia Integrale

Enunciato del Problema
Nel 1995, Kontsevich ha stabilito che le varietà proiettive lisce K-equivalenti condividono gli stessi numeri di Hodge. Sebbene questo risultato abbia affrontato gli invarianti della decomposizione di Hodge (specificamente la decomposizione di Hodge razionale o complessa), rimaneva aperto il quesito se la K-equivalenza implichi un isomorfismo dei gruppi di coomologia integrale, $H^i(X, \mathbb{Z})$. A differenza dei numeri di Hodge, la coomologia integrale contiene informazioni sul torsione, che non sono catturate dal classico polinomio di Hodge. Questo articolo affronta tale lacuna estendendo il risultato di Kontsevich al livello integrale, dimostrando che le varietà proiettive lisce K-equivalenti hanno gruppi di coomologia integrale isomorfi.

Metodologia
Gli autori introducono un nuovo invariante, la funzione di Hodge virtuale integrale, indicata come $H_{\text{vir}, \mathbb{Z}}$. La costruzione procede attraverso diverse fasi tecniche:

1. Definizione della Funzione di Hodge Integrale ($H_{\mathbb{Z}}$):
   Per una varietà proiettiva liscia $X$, gli autori definiscono una funzione $H_{\mathbb{Z}}(X)$ che codifica sia la parte libera che la parte di torsione della coomologia.

   • Parte Libera: Catturata dai consueti numeri di Hodge $h^{p,q}(X)$, pesati dalle variabili $u$ e $v$.
   • Parte di Torsione: Catturata da una "funzione di Poincaré del torsione" $T(X)$. Questa coinvolge gli invarianti $a_{p,i,j}(X)$, che rappresentano il rango dello spazio vettoriale su $\mathbb{Z}/p\mathbb{Z}$ formato dal quoziente $p^j H^i(X, \mathbb{Z})_{\text{tors}} / p^{j+1} H^i(X, \mathbb{Z})_{\text{tors}}$.
   • Anello Bersaglio: La funzione assume valori in un anello specifico $R$ generato dalle variabili $s_p, r_j, u, v, t, x$ soggette a relazioni che assicurano il comportamento moltiplicativo della funzione. Fondamentalmente, l'anello include relazioni come $tx^2 = tx - x$ e $s_p^2 = s_p$ per gestire la struttura combinatoria del torsione e l'interazione tra le componenti libera e di torsione sotto la formula di Künneth.

2. Estensione all'Anello di Grothendieck:
   Gli autori dimostrano che $H_{\mathbb{Z}}$ si estende a una funzione $H_{\text{vir}, \mathbb{Z}}$ ben definita sull'anello di Grothendieck delle varietà, $K_0(\text{Var}_{\mathbb{C}})$. Ciò richiede la dimostrazione di due proprietà chiave:

   • Moltiplicatività: $H_{\mathbb{Z}}(X \times Y) = H_{\mathbb{Z}}(X)H_{\mathbb{Z}}(Y)$. La prova comporta un'analisi dettagliata della formula di Künneth per la coomologia integrale, mostrando che i termini di torsione nel prodotto corrispondono al prodotto dei termini di torsione dei singoli fattori, tenendo conto dell'interazione tra le componenti libere e di torsione.
   • Relazione di Blow-up: La funzione soddisfa la relazione $H_{\mathbb{Z}}(X) - H_{\mathbb{Z}}(Z) = H_{\mathbb{Z}}(\text{Bl}_Z(X)) - H_{\mathbb{Z}}(E)$ per un blow-up di $X$ lungo un centro liscio $Z$ con divisore eccezionale $E$. Ciò permette alla funzione di discendere all'anello di Grothendieck, che è generato da varietà proiettive lisce modulo tali relazioni.

3. Filtrazione di Grado e Completamento:
   Per gestire la K-equivalenza, gli autori utilizzano l'anello di Grothendieck completato $\widehat{K_0(\text{Var}_{\mathbb{C}})}[L^{-1}]$. Definiamo un grado sull'anello bersaglio $R$ e dimostriamo che $H_{\text{vir}, \mathbb{Z}}$ fattorizza attraverso il completamento. Ciò consente l'applicazione del risultato di Kontsevich secondo cui le varietà K-equivalenti hanno classi uguali nell'anello completato.

Contributi Chiave e Risultati

• Teorema 1.1: Il risultato primario afferma che se $X$ e $X'$ sono varietà proiettive lisce K-equivalenti su $\mathbb{C}$, allora $H^i(X, \mathbb{Z}) \simeq H^i(X', \mathbb{Z})$ per ogni $i$. Ciò viene ottenuto dimostrando che $H_{\text{vir}, \mathbb{Z}}(X) = H_{\text{vir}, \mathbb{Z}}(X')$ e, poiché i gruppi di coomologia integrale possono essere recuperati dai coefficienti di $H_{\text{vir}, \mathbb{Z}}$ (tramite la mappa $\phi_i$), i gruppi devono essere isomorfi.
• Recupero del Torsione: Il saggio fornisce un meccanismo per ricostruire i gruppi di coomologia integrale, inclusi i loro sottogruppi di torsione, direttamente dai coefficienti della funzione di Hodge integrale.
• Coomologia Priva di Torsione per Decomposizioni in Celle: Come corollario, gli autori forniscono una nuova prova che se una varietà proiettiva liscia ammette una decomposizione in celle algebriche (ad esempio, varietà con un'azione di $\mathbb{C}^*$ con finiti punti fissi), la sua coomologia integrale è priva di torsione. Ciò segue dal fatto che la funzione si riduce al consueto polinomio di Hodge in tali casi.
• Indipendenza dalle Risoluzioni Crepanti: Il saggio stabilisce che, per una varietà proiettiva $X$ con singolarità canoniche al massimo di tipo Gorenstein, la coomologia integrale di qualsiasi risoluzione crepante $Y \to X$ è indipendente dalla scelta della risoluzione.

Significato e Rivendicazioni
Il saggio sostiene di estendere il risultato di Kontsevich del 1995 dai numeri di Hodge ai completi gruppi di coomologia integrale. La significatività risiede nella costruzione di un invariante moltiplicativo sull'anello di Grothendieck che è sensibile al torsione, una caratteristica precedentemente assente nella teoria di Hodge virtuale.

Gli autori notano che, sebbene il risultato (Teorema 1.1) fosse stato precedentemente dimostrato nei lavori di Gusein-Zade e Saito [GS96] e da Yasuda e Xie [XY18] (di cui sono venuti a conoscenza dopo aver pubblicato la versione iniziale), il loro contributo è l'introduzione della funzione di Hodge virtuale integrale $H_{\text{vir}, \mathbb{Z}}$. Questa funzione funge da strumento che non solo prova il teorema, ma codifica anche la struttura della coomologia integrale in un modo che è ben definito sull'anello di Grothendieck. Gli autori suggeriscono che questo quadro ammette ulteriori generalizzazioni, come agli invarianti stringy usando la misura di Gorenstein o al gruppo di Grothendieck degli stack.