Wall And Chamber Structure For A Special Biserial Algebra Coming From Perverse Sheaves on $\mathbb{P}^n$

Sintesi Tecnica: Struttura di Parete e Camera per un'Algebra Special Biserial da Perverse Sheaves su $\mathbb{P}^n$

Enunciato del Problema
Il saggio affronta la struttura dello spazio delle condizioni di stabilità di Bridgeland per la categoria derivata limitata degli scemi costruttibili, $D^b_c(\mathbb{P}^n)$, su lo spazio proiettivo complesso $\mathbb{P}^n$ rispetto alla stratificazione di Schubert. Mentre gli spazi di stabilità per le categorie di fasci coerenti sono stati ampiamente studiati, il caso dei complessi costruttibili ha ricevuto meno attenzione. Gli autori si concentrano sulla categoria abeliana dei middle perverse sheaves su $\mathbb{P}^n$, che funge da cuore fedele per $D^b_c(\mathbb{P}^n)$. Questa categoria è nota per essere equivalente alla categoria dei moduli di un'algebra specifica a dimensione finita, $B(n)$, che è un'algebra special biserial. L'obiettivo primario è descrivere esplicitamente la struttura di parete e camera di $B(n)$, la quale, per i risultati di Bridgeland, corrisponde alla struttura di camera in un sottoinsieme aperto dello spazio di stabilità per $D^b_c(\mathbb{P}^n)$.

Metodologia
Gli autori impiegano una combinazione di teoria della rappresentazione di algebre special biserial e teoria delle stringhe combinatorie.

1. Impostazione Algebrica: Definiscono il grafo con relazioni $(Q(n), I(n))$ il cui algebra di cammini quoziente $B(n) = kQ(n)/I(n)$ è special biserial. Il grafo ha vertici $[0, n]$ e frecce $\alpha_i: i+1 \to i$ e $\beta_i: i \to i+1$, soggette a specifiche relazioni monomiali e binomiali.
2. Classificazione Combinatoria: Utilizzando la classificazione dei moduli indecomponibili per algebre special biserial (moduli string, moduli band e moduli iniettivo-proiettivi non uniseriali), gli autori analizzano le strings e le bands su $(Q(n), I(n))$. Dimostrano che non esistono bands per questa specifica algebra, stabilendo così che $B(n)$ è di tipo di rappresentazione finita.
3. Moduli Thin vs. Non-Thin: Gli autori distinguono tra moduli "thin" (dove il vettore di dimensione ha voci $\le 1$) e moduli non-thin. Dimostrano che gli spazi di stabilità (pareti) associati ai moduli indecomponibili non-thin sono contenuti negli spazi di stabilità dei moduli thin. Di conseguenza, la struttura di parete e camera è interamente determinata dai moduli indecomponibili thin.
4. Descrizione Esplicita: Forniscono una parametrizzazione combinatoria esplicita dei moduli indecomponibili thin (corrispondenti a cammini triviali e cammini alternati) e derivano le disuguaglianze definitorie per i loro spazi di stabilità.
5. Interpretazione Geometrica: Infine, traducono questi risultati algebrici nel linguaggio dei perverse sheaves, identificando i perverse sheaves specifici (costruiti tramite estensioni iterate di oggetti semplici, standard e costandard) che corrispondono alle pareti della struttura.

Contributi Chiave e Risultati

• Tipo di Rappresentazione Finita: Il saggio dimostra che l'algebra $B(n)$ associata ai middle perverse sheaves su $\mathbb{P}^n$ è di tipo di rappresentazione finita. Ciò viene ottenuto dimostrando l'assenza di moduli band (Remark 3.8) e classificando i moduli indecomponibili come moduli string o specifici moduli proiettivo-iniettivi derivanti da relazioni binomiali.
• Riduzione ai Moduli Thin: Un risultato centrale (Proposition 5.8) stabilisce che la struttura di parete e camera di $B(n)$ è unicamente determinata dai moduli indecomponibili thin. I moduli non-thin non generano nuove pareti; i loro spazi di stabilità sono sottospazi di quelli generati dai moduli thin.
• Descrizione Esplicita delle Pareti: Gli autori forniscono una descrizione completa ed esplicita delle pareti nel Teorema 5.13.
  • Le pareti corrispondenti ai moduli semplici $S_i$ sono iperpiani definiti da $v_i = 0$.
  • Le pareti corrispondenti ai moduli string thin $M(a, b, \eta)$ sono definite da un sistema di uguaglianze lineari e disuguaglianze che coinvolgono somme di coordinate $v_k$ su specifici intervalli, dipendenti dalla parità degli indici.
• Conteggio delle Camere: Come conseguenza della descrizione delle pareti, il numero di camere (e quindi il numero di classi di isomorfismo di complessi 2-silting per $B(n)$) può essere determinato combinatoriamente. Ad esempio, nel caso $n=2$, ci sono esattamente 20 camere.
• Realizzazione Geometrica: La Proposition 6.7 costruisce esplicitamente i perverse sheaves corrispondenti a queste pareti come estensioni iterate di perverse sheaves semplici ($IC_r$) e oggetti standard/costandard ($\Delta, \nabla$).

Significatività e Rivendicazioni
Il saggio rivendica di fornire una descrizione auto-contenuta ed esplicita della struttura di parete e camera per l'algebra che governa i perverse sheaves su $\mathbb{P}^n$. Sfruttando la natura combinatoria delle algebre special biserial, gli autori evitano di fare affidamento su teoremi generali esterni ove possibile, offrendo prove dirette per l'irrilevanza dei moduli non-thin e la descrizione facciale delle pareti.

La significatività di questo lavoro risiede nel suo contributo alla comprensione dello spazio di stabilità di Bridgeland per i constructible sheaves, un dominio con meno risultati rispetto al caso dei fasci coerenti. Gli autori osservano che il loro teorema principale permette di controllare i fenomeni di wall-crossing nello spazio di stabilità di $D^b_c(\mathbb{P}^n)$. Inoltre, evidenziano che le camere in questa struttura sono in biiezione con i complessi 2-silting per $B(n)$, trasformando il problema del conteggio di questi complessi in un problema di conteggio combinatorio di coni massimali di un ventaglio poliedrico (polyhedral fan). Gli autori dichiarano esplicitamente di non investigare le conseguenze per la teoria del silting oltre questa biiezione, lasciando le proprietà dettagliate di questi complessi a lavori futuri.

Il saggio non pretende di risolvere il problema della stabilità per l'intera categoria derivata dei constructible sheaves su varietà arbitrarie, ma fornisce un caso concreto e risolto per $\mathbb{P}^n$ con stratificazione di Schubert, servendo come modello per spazi stratificati simili.