Negative $K$-theory and Hodge theory

Problematica
Il saggio investiga i gruppi K negativi, $K_j(X)$ per $j < 0$, di varietà algebriche complesse $X$. Sebbene la K-teoria negativa sia nulla per le varietà lisce (un risultato attribuito a Grothendieck), essa funge da invariante non banale per le varietà singolari, spesso ostacolando i problemi di sollevamento (lifting) per i fasci vettoriali. Il problema centrale è comprendere il comportamento di annullamento (o di torsione) di questi gruppi dal punto di vista della teoria di Hodge e della teoria delle singolarità. Nello specifico, gli autori mirano a formulare e dimostrare congetture che collegano l'annullamento dei gruppi K negativi ai pesi della struttura di Hodge mista sulla coomologia singolare e alla teoria delle singolarità superiori (specificamente le singolarità $m$-razionali e $m$-Du Bois).

Metodologia
Gli autori impiegano una sintesi di diverse strutture matematiche avanzate:

1. K-teoria omotopica ($KH$): Utilizzano la K-teoria omotopica di Weibel, che è $\mathbb{A}^1$-invariante, come un sostituto della K-teoria standard. La relazione tra $K$ e $KH$ è governata dalla $K$-regolarità della varietà, che è determinata dal tipo di singolarità (ad esempio, singolarità Du Bois).
2. Cdh-coomologia motivica: Il calcolo dei gruppi $KH$ è ridotto allo studio dei gruppi di coomologia cdh-motivica, $H^k_{cdh}(X, \mathbb{Q}(j))$, tramite una successione spettrale di tipo Atiyah-Hirzebruch.
3. Teoria di Hodge mista: La strategia centrale consiste nel relazionare l'annullamento della coomologia cdh con la filtrazione dei pesi $W_\bullet$ sulla coomologia singolare di $X$. Gli autori sfruttano la teoria delle singolarità superiori (sviluppata in lavori quali [PP24], [SVV23], [Sh25]) per stabilire limiti su questi pesi.
4. Programma del Modello Minimo (MMP) e Gruppi di Chow: Per i pesi superiori (specificamente peso 2) e i cicli di codimensione 2, gli autori analizzano le mappe di restrizione sui gruppi di Chow degli strati in risoluzioni logaritmiche. Ciò comporta l'uso dell'MMP per ordinare gli strati eccezionali e l'applicazione della congettura di Bloch sui 0-cicli per superfici per stabilire la suriettività di tali mappe.
5. Iperrisoluzioni: L'uso di iperrisoluzioni cubiche permette di ridurre i problemi delle varietà singolari ai loro costituenti lisci, facilitando l'applicazione di successioni spettrali e argomenti sui pesi.

Contributi Chiave e Risultati

• Formulazione di Congetture:

  • Congettura B: Predice che se la struttura di Hodge mista su $H^j(X, \mathbb{Q})$ ha pesi tali che $W_{j-i}H^j(X, \mathbb{Q}) = 0$ per ogni $j \le 2n-i$, allora $KH_{-i}(X)_{\mathbb{Q}} = 0$.
  • Congettura C: Una versione più forte basata sui tipi di singolarità. Se $X$ possiede singolarità pre-$m$-razionali (che soddisfano la condizione $D_m$), allora $KH_{-i}(X)_{\mathbb{Q}} = 0$ per $i \ge n - 2m - 1$.
  • Congettura E: Estende le previsioni di annullamento ai gruppi K standard $K_{-i}(X)$ sotto simili assunzioni sulle singolarità, tenendo conto della dimensione del luogo singolare.
  • Congettura G: Una congettur fondamentale di natura tecnica riguardante l'annullamento della coomologia cdh-motivica $H^k_{cdh}(X, \mathbb{Q}(j))$ basata su limiti di peso, il che implica le precedenti congetture tramite successioni spettrali.

• Teoremi Incondizionati:

  • Teoremi D & F: Gli autori dimostrano le Congetture B e C per intervalli specifici di $i$ (specificamente $i=n$ e $i=n-1$) e per varietà con singolarità razionali. Ad esempio, se $X$ ha singolarità razionali, $K_{-n}(X)_{\mathbb{Q}} = K_{-n+1}(X)_{\mathbb{Q}} = 0$.
  • Teorema I: Un risultato significativo che stabilisce l'annullamento di $H^{n+2}_{cdh}(X, \mathbb{Q}(2))$ per varietà proiettive di dimensione $n \ge 3$ con singolarità di tipo klt isolato. Questo è il risultato più difficile, che si basa sulla suriettività delle mappe di restrizione sui gruppi di Chow di codimensione 2, provata usando l'MMP e la congettura di Bloch.
  • Teoremi H & I (Risultati Integrali): Il saggio fornisce descrizioni integrali per la coomologia cdh di peso 0 e peso 1, mostrando che $H^i_{cdh}(X, \mathbb{Z}(0)) \cong H^i_0(X, \mathbb{Z})$ e relazionando i gruppi di peso 1 ai gruppi di Picard degli strati di risoluzione.

• Risultati Dimensionali Specifici:

  • Trevarietà: Per una trevarietà proiettiva $X$ con singolarità razionali, il saggio fornisce una descrizione precisa di $K_{-1}(X)_{\mathbb{Q}}$ in termini della parte graduata di peso 2 di $H^3(X, \mathbb{Q})$ e del difetto di $\mathbb{Q}$-fattorialità globale.
  • Singolarità di Quoziente: Il saggio dimostra che per le varietà con singolarità di quoziente, tutti i gruppi K negativi sono di torsione (nulli razionalmente), estendendo i risultati precedenti tramite mappe di traccia sulla coomologia cdh.
  • Coni e Varietà Toriche: I risultati sono verificati per coni affini/proiettivi e varietà toriche, confermando le congetture in questi casi.

• Controesempi e Limiti:

  • Il saggio dimostra che i risultati di annullamento generalmente falliscono in senso integrale. Utilizzando varietà Kummer (quozienti di varietà abeliane), gli autori mostrano esempi in cui $K_{-1}(X)$ è un elemento di torsione non nullo, provando che l'annullamento razionale non può essere elevato ad annullamento integrale senza ulteriori assunzioni (ad esempio, l'essere un intersezione completa locale).
  • L'Esempio 20.10 costruisce una trevarietà klt con $K_{-2}(X) \neq 0$, mostrando che l'annullamento in gradi negativi superiori non è garantito nemmeno per singolarità klt senza condizioni specifiche.

Significatività
Il saggio sostiene di fornire un quadro sistematico per comprendere la K-teoria negativa attraverso la lente della teoria di Hodge mista e delle singolarità superiori. La sua significatività risiede nel:

1. Collegare Campi Diversi: Connette la K-teoria, la teoria di Hodge e il Programma del Modello Minimo, dimostrando come i tipi di singolarità (come la $m$-razionalità) dettino l'annullamento degli invarianti algebrici.
2. Raffinare le Congetture: Va oltre la dicotomia tra annullamento e non annullamento proponendo formule precise per i gruppi non nulli in termini di strutture di Hodge (ad esempio, $K_{-n+2}(X)_{\mathbb{Q}} \cong \text{gr}^W_2 H^n(X, \mathbb{Q})$).
3. Avanzamento Tecnico: La prova della suriettività delle mappe di restrizione sui gruppi di Chow per i cicli di codimensione 2 (Teorema I) è presentata come un importante traguardo tecnico, che utilizza risultati profondi dell'MMP.
4. Completezza nelle Piccole Dimensioni: Offre una descrizione completa dei gruppi K per varietà fino a dimensione quattro, risolvendo molti casi aperti per trevarietà e quattrovarietà con singolarità razionali o klt.

Gli autori osservano che, sebbene molti risultati siano condizionati dalla congettura di Bloch per le superfici o dalla congettura generalizzata di Bloch-Beilinson, i risultati incondizionati forniti (particolarmente per singolarità klt e razionali) fanno progredire significativamente la comprensione della K-teoria negativa nel contesto complesso. Evidenziano inoltre che il comportamento integrale rimane più sottile, con i fenomeni di torsione che giocano un ruolo cruciale.