Minimal resolutions of toric substacks by line bundles

1. Il Problema

Il lavoro si inserisce nel contesto della geometria algebrica torica e della teoria delle risoluzioni di fasci coerenti.

• Contesto: Le risoluzioni dei diagonali e dei fasci strutturale di sottovarietà toriche sono fondamentali per lo studio delle varietà algebriche e per la simmetria speculare omologica.
• Stato dell'arte: Hanlon, Hicks e Lazarev (HHL) hanno precedentemente costruito risoluzioni cellulari canoniche per i pushforward dei fasci strutturale di sottostack torici, utilizzando una collezione specifica di fasci lineari (la collezione Bondal-Thomsen). Tuttavia, queste risoluzioni HHL sono spesso non minime, contenendo somme dirette ridondanti.
• La sfida: Esistono metodi algoritmici (basati sulla teoria di Morse discreta o algebrica) per ridurre una risoluzione non minima a una minima rimuovendo i summandi ridondanti. Tuttavia, ottenere una costruzione canonica e puramente combinatoria della risoluzione minima stessa, senza fare affidamento su scelte arbitrarie o su strumenti avanzati come la simmetria speculare, è rimasto un problema aperto e difficile.

2. Metodologia

L'autore risolve il problema applicando il Lemma di Perturbazione Omologica (Homological Perturbation Lemma - HPL) in combinazione con gli inversi di Moore-Penrose.

• Struttura di partenza: Si parte dalla risoluzione HHL $(C^\bullet, d)$, che ammette una filtrazione naturale indotta dall'ordine parziale sulla collezione Bondal-Thomsen.
• Complesso associato graduato: Si considera il complesso associato graduato $(gr_F C^\bullet, gr_F d)$, ottenuto "annullando" le variabili che distinguono i fasci lineari diversi all'interno della stessa classe di isomorfismo. In questo complesso, i differenziali sono composti da 0 o $\pm 1$.
• Decomposizione di Hodge Combinatoria: Per ogni strato della stratificazione di Bondal associato a un fascio lineare fisso, si considera la catena cellulare che calcola l'omologia di Borel-Moore. Dotando questi spazi vettoriali di un prodotto interno hermitiano standard, si ottiene una decomposizione di Hodge che separa l'immagine del differenziale, l'immagine del suo aggiunto e la parte armonica (l'omologia).
• Uso degli Inversi di Moore-Penrose:
  • L'autore utilizza l'inverso di Moore-Penrose dei differenziali cellulari per costruire una mappa di omotopia $h$ che contrae il complesso graduato sulla sua parte armonica (l'omologia).
  • A differenza di altre scelte di omotopia (come quelle basate su matchings di Morse perfetti), l'inverso di Moore-Penrose è canonico: non richiede scelte ausiliarie e dipende esclusivamente dalla stratificazione di Bondal.
• Perturbazione: Si definisce la differenza $\delta = d - gr_F d$ come una perturbazione "piccola" (nilpotente rispetto alla filtrazione). Applicando il Lemma di Perturbazione Omologica, si deforma la struttura del complesso graduato per recuperare la risoluzione originale, ma proiettando il risultato sulla parte armonica.

3. Contributi Chiave

1. Costruzione Canonica: Viene fornita una costruzione esplicita e canonica della risoluzione minima per i pushforward dei fasci strutturale di sottostack torici. La canonicità è garantita dall'uso degli inversi di Moore-Penrose, eliminando l'ambiguità delle scelte di omotopia.
2. Descrizione Combinatoria dei Differenziali: Il risultato più significativo è una formula combinatoria esplicita per i differenziali della risoluzione minima.
   • I differenziali sono costruiti sommando pesi lungo percorsi "a zig-zag" nella stratificazione di Bondal.
   • I percorsi alternano due tipi di coppie di celle:
     • Coppie di Tipo I: Dove i fasci lineari sono diversi ($O(\sigma) > O(\tau)$). Il peso è dato dal differenziale originale HHL ($HHL_{\sigma, \tau}$).
     • Coppie di Tipo II: Dove i fasci lineari sono isomorfi ($O(\sigma) = O(\tau)$). Il peso è dato dall'inverso di Moore-Penrose ($MP_{\sigma, \tau}$) del differenziale cellulare.
   • Il differenziale minimo è la somma (con segni opportuni) dei prodotti di questi pesi su tutti i percorsi possibili tra due strati.
3. Indipendenza dalla Simmetria Speculare: La dimostrazione è puramente algebrica e combinatoria, non facendo affidamento su alcuna forma di simmetria speculare, a differenza di lavori precedenti (es. Favero-Sapronov) che ne facevano uso per calcolare i numeri di Betti.

4. Risultati Principali

• Teorema 1.1: Il complesso $(H^\bullet, d_{min})$ ottenuto proiettando la risoluzione HHL sulla parte armonica tramite il lemma di perturbazione è una risoluzione minima del pushforward $i_* \mathcal{O}_Y$.
• Teorema 1.2: Nel linguaggio dell'algebra commutativa, se $Y$ è una sottovarietà torica normale in una varietà torica proiettiva simpliciale $X$, la complessità costruita fornisce una risoluzione virtuale minima del modulo $S/I_Y$ sul ring di Cox $S$ di $X$.
• Conseguenza: La costruzione fornisce una prova puramente algebrica della formula dei numeri di Betti di Favero-Sapronov.

5. Significato e Impatto

• Unificazione Teorica: Il lavoro unisce strumenti di topologia algebrica (perturbazione omologica), algebra lineare numerica (inversi di Moore-Penrose) e geometria torica (stratificazioni di Bondal) per risolvere un problema di algebra commutativa.
• Efficienza Computazionale: Fornisce un metodo algoritmico per calcolare le risoluzioni minime in contesti torici, dove i differenziali sono descritti da formule combinatorie esplicite invece che da procedure di riduzione iterativa "scatola nera".
• Generalità: Sebbene l'esempio trattato sia nel contesto delle varietà toriche, la metodologia si applica a sottostack torici, rendendola rilevante per la geometria algebrica moderna e la teoria degli stack.
• Nuova Prospettiva: Dimostra che l'uso degli inversi di Moore-Penrose, ispirato dal lavoro di Eagon-Miller-Ordog, è uno strumento potente per la teoria delle risoluzioni minime, offrendo una via alternativa ai matchings di Morse che, sebbene talvolta più semplici computazionalmente, mancano di canonicità.

In sintesi, Han presenta un metodo robusto e canonico per "compattare" le risoluzioni cellulari toriche, trasformando una struttura complessa e ridondante in una risoluzione minima i cui differenziali sono completamente determinati dalla geometria combinatoria della stratificazione sottostante.