Conic modules, secondary fans and non-commutative resolutions

1. Problema e Contesto

Il lavoro si inserisce nel campo della geometria algebrica non commutativa, focalizzandosi sulla costruzione di Risoluzioni Non Commutative Crepanti (NCCR) per algebre toriche affini.

• Definizione: Un NCCR per un dominio noetheriano $R$ è un'algebra della forma $\Lambda = \text{End}_R(M)$, dove $M$ è un modulo riflessivo finitamente generato, tale che la dimensione globale di $\Lambda$ sia finita. Se $R$ è Gorenstein, $\Lambda$ è crepante se è anche un modulo di Cohen-Macaulay massimale.
• Congettura: Una congettura aperta (Congettura di Van den Bergh) afferma che ogni algebra torica Gorenstein ammette un NCCR.
• Situazione attuale: È noto che le algebre toriche simpliciali ammettono NCCR costruite tramite somme dirette complete di moduli conici (lavoro di Faber, Muller e Smith). Tuttavia, per coni non simpliciali, la somma completa dei moduli conici genera spesso solo una risoluzione non commutativa (NCR) ma non crepante.
• Domanda chiave: Quando una somma incompleta di moduli conici (escludendo alcune classi di isomorfismo) può fornire un NCCR? Il paper cerca di rispondere a questa domanda, generalizzando i risultati di Faber-Muller-Smith.

2. Metodologia

L'autore introduce un nuovo approccio computazionale che collega i moduli conici alla Collezione di Bondal-Thomsen definita su stack di Deligne-Mumford torici lisci.

• Connessione Moduli Conici - Collezione di Bondal-Thomsen:
  • I moduli conici $A_v$ (definiti su un'algebra torica $R = k[\sigma^\vee \cap M]$) sono correlati ai fasci di linee nella collezione di Bondal-Thomsen su uno stack torico $X_\Sigma$ associato a una suddivisione simpliciale $\Sigma$ del cono $\sigma$.
  • Esiste una corrispondenza tra le classi di isomorfismo dei moduli conici e i punti reticolari all'interno di uno zonotopo $Z_X$ associato allo stack.
• Fan Secondario e Cammini Validi:
  • L'analisi combinatoria viene spostata dal decomporre le celle di costanza in $M_\mathbb{R}$ allo studio del fan secondario (o fan GKZ).
  • Vengono introdotti i cammini validi (valid paths) tra punti reticolari nello zonotopo. Un cammino è definito da un insieme di generatori di raggi $\beta_\rho$ e deve soddisfare condizioni di validità basate su intervalli aperti specifici.
  • La presenza di un modulo conico $A_w$ in una complessa $K^\bullet_v$ (usata per costruire risoluzioni proiettive) è caratterizzata dall'esistenza di un cammino valido tra i punti reticolari corrispondenti a $w$ e $v$.
• Riduzione al caso senza torsione:
  • Un risultato fondamentale è che la proprietà di ammettere un NCCR tramite somme incomplete può essere ridotta allo studio dei punti reticolari nello zonotopo, ignorando la torsione del gruppo di classe. Questo semplifica drasticamente la complessità combinatoria.

3. Contributi Chiave

1. Definizione di Insieme "Lockable" e "Incredulous":

   • L'autore formalizza il processo di "sostituzione" (splicing) dei complessi. Un insieme di moduli è lockable se, sostituendo i moduli non inclusi con i loro complessi associati, si ottiene un insieme di complessi che coinvolgono solo moduli dell'insieme originale.
   • Un insieme è incredulous se è lockable e tutti i complessi risultanti hanno la stessa lunghezza pari alla dimensione del cono ($\dim \sigma$).
   • Teorema 3.6: Un'algebra di endomorfismi di una somma incompleta di moduli conici è un NCCR se e solo se l'insieme dei moduli scelti è incredulous.

2. Teorema di Equivalenza (Teorema 4.22):

   • L'esistenza di un insieme incredulous di moduli conici è equivalente all'esistenza di un insieme incredulous di punti reticolari nello zonotopo. Questo permette di lavorare puramente in termini combinatori del fan secondario, riducendo il numero di complessi da calcolare di un fattore pari alla torsione del gruppo di classe.

3. Classificazione per Coni Gorenstein "Quasi-Simpliciali":

   • Il paper si concentra sui coni Gorenstein dove il numero di generatori dei raggi è $|\sigma(1)| = \dim \sigma + 1$ (coni quasi-simpliciali).
   • In questo caso, il fan secondario è unidimensionale, permettendo una classificazione completa.

4. Risultati Principali

Il risultato centrale è la Classificazione dei Coni Gorenstein Quasi-Simpliciali che ammettono NCCR tramite somme incomplete di moduli conici (Teorema 5.10).

Un tale NCCR esiste se e solo se l'insieme dei vettori $\beta_\rho$ associati ai raggi del cono (a meno di cambio di segno globale) soddisfa una delle seguenti condizioni:

1. L'insieme è $\{2, 1, -1, -1, -1\}$.
2. L'insieme è $\{1, 1, 1, -1, -1, -1\}$.
3. Il cono è un cono Gorenstein tridimensionale equivalente reticolarmante a $\text{Cone}(P \times \{1\})$, dove $P$ è un trapezio.

Controesempi:
Il paper dimostra che non tutti i coni Gorenstein ammettono NCCR di questo tipo. Vengono forniti esempi specifici (come certi coni associati a poliedri non trapezoidali o con configurazioni di $\beta_\rho$ diverse, es. $\{2, 1, 1, -2, -2\}$) per cui non esiste alcun insieme incredulous, e quindi nessun NCCR di forma $\text{End}_R(B)$ con $B$ somma incompleta di moduli conici.

5. Significato e Impatto

• Semplificazione Computazionale: Il passaggio dallo studio delle celle di costanza nello spazio reale allo studio dei cammini validi nello zonotopo (tramite il fan secondario) riduce significativamente la complessità computazionale, rendendo fattibile l'analisi di casi che prima erano intrattabili.
• Risposta Parziale alla Congettura: Il lavoro fornisce una risposta precisa alla domanda su quando le somme incomplete di moduli conici funzionino, identificando casi specifici in cui la congettura di Van den Bergh è verificata tramite questo metodo costruttivo, e casi in cui questo metodo specifico fallisce (sebbene non escluda l'esistenza di altri tipi di NCCR).
• Struttura Categoriale: La connessione con la collezione di Bondal-Thomsen e il concetto di "oggetti parzialmente tilting" (partial tilting objects) offre una visione più profonda della relazione tra le risoluzioni geometriche (stack torici) e le risoluzioni non commutative.
• Nuovi Esempi: La classificazione dei coni trapezoidali e delle configurazioni specifiche di $\beta_\rho$ amplia la conoscenza degli esempi noti di NCCR, inclusi casi legati agli anelli degli spigoli di grafi completi multipartiti (come $K_4$).

In sintesi, il paper stabilisce un ponte potente tra la combinatoria dei fan secondari e l'algebra non commutativa, fornendo criteri necessari e sufficienti per l'esistenza di NCCR costruiti tramite moduli conici in una classe significativa di varietà toriche.