Asymptotic vanishing of cohomology in triangulated categories

Sintesi Tecnica: Scomparsa Asintotica della Coomologia in Categorie Triangolate

Enunciato del Problema
Il saggio affronta il comportamento della scomparsa asintotica della coomologia nel contesto delle categorie triangolate. Sebbene la scomparsa di omologia e coomologia sia un tema fondamentale in algebra, la letteratura recente si è concentrata sulla scomparsa asintotica su specifici anelli commutativi, spesso facendo affidamento su condizioni noetheriane sulla totalità della coomologia. Una questione centrale è se possa verificarsi una scomparsa "sporadica" (dove la coomologia scompare per alcuni indici elevati ma non per altri), o se la scomparsa implichi un modello più strutturato ed eventuale. Gli autori mirano a distillare questi concetti nel quadro generale delle categorie triangolate, dove la coomologia è naturalmente definita, per determinare se la scomparsa asintotica sia "ben comportata" sotto specifiche condizioni di finitezza.

Metodologia
Gli autori stabiliscono un quadro generale che coinvolge una categoria triangolata $(\mathcal{C}, \Sigma, \Delta)$ dotata di un'azione centrale di un anello graduato-commutativo e non negativamente graduato $H$. L'assunzione fondamentale è che, per una coppia di oggetti $A, B \in \mathcal{C}$, il modulo $H$ $\text{Hom}_{\ge n_0}^{\mathcal{C}}(A, B)$ sia noetheriano per un certo intero $n_0$.

La metodologia procede attraverso i seguenti passaggi:

1. Lemmi Algebrici: Gli autori dimostrano lemmi riguardanti anelli graduati-commutativi e moduli. Nello specifico, stabiliscono che se un anello graduato-commutativo è noetheriano, la sua parte pari è noetheriana e l'anello è finitamente generato come modulo su questa parte pari. Utilizzano inoltre una variante dei risultati di [9] e [15] per mostrare che, in condizioni in cui la parte di grado zero dell'anello contiene un campo infinito (o è locale con un residuo infinito), esiste un elemento omogeneo di un grado specifico che agisce iniettivamente sul modulo per gradi sufficientemente grandi.
2. Applicazione del Teorema di Hilbert-Serre: Nei casi in cui la coomologia ha lunghezza finita sul grado-zero dell'anello, gli autori applicano il classico teorema di Hilbert-Serre alla funzione generatrice delle lunghezze dei gruppi di coomologia. Ciò consente di analizzare la razionalità della serie e la periodicità del comportamento di scomparsa.
3. Sintesi: Combinando l'iniettività della moltiplicazione per elementi specifici (dal Lemma 2.2) con la struttura dell'ideale dell'annullatore e le proprietà della parte pari dell'anello, gli autori derivano il teorema strutturale principale riguardante i modelli di scomparsa.

Contributi Chiave e Risultati
Il contributo primario è il Teorema 2.4, che caratterizza la scomparsa asintotica della coomologia $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ sotto l'assunzione che la coomologia sia eventualmente noetheriana su un anello centrale $H$. Il teorema afferma che se:

1. $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ ha lunghezza finita su $H_0$ per $n$ grandi; o
2. $H_0$ contiene un campo infinito o è locale con un residuo infinito;

Allora deve verificarsi uno di due esiti:

• Scomparsa Eventuale Totale: $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) = 0$ per ogni $n \gg 0$.
• Non-Scomparsa Periodica: Esistono interi $d > 0$ e $m_0$ tali che $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) \neq 0$ per ogni $n \ge m_0$ soddisfacente $n \equiv j \pmod d$ per almeno un $j$ ($0 \le j < d$).

Crucialmente, il risultato esclude la scomparsa "sporadica"; se la coomologia non scompare eventualmente, essa deve essere non nulla infinitamente spesso in un modo periodico.

Applicazioni
Il saggio dimostra l'utilità del Teorema 2.4 applicandolo a tre classi specifiche di anelli:

1. Intersezioni Complete Locali Commutative: Per moduli finitamente generati $M, N$ su un anello di intersezione completa locale commutativa $A$, gli autori mostrano che o $\text{Ext}^n_A(M, N) = 0$ per tutti $n > \dim A$, o esiste un $m_0$ tale che i gruppi Ext sono non nulli per tutti gli interi pari o tutti gli interi dispari $n \ge m_0$. Questo generalizza i risultati precedenti (es. [29]).
2. Algebre di Dimensione Finita: Il risultato viene applicato ad algebre in cui l'anello di coomologia di Hochschild $HH^*(A)$ agisce centralmente. Ciò include:
   • Intersezioni Complete Quantistiche: Per le algebre $A_{c,q}^a$, gli autori dimostrano che o $\text{Ext}^n_A(M, N) = 0$ per tutti $n > 0$, o la non-scomparsa avviene per tutti i valori pari o tutti i valori dispari $n \ge m_0$.
   • Algebre Estense: Come caso specifico delle intersezioni complete quantistiche, viene stabilito lo stesso comportamento di scomparsa periodica.
3. Algebre di Gruppi Modulari: Per un gruppo finito $G$ e un campo $k$ di caratteristica prima $p$ che divide $|G|$, l'anello di coomologia $H^*(G, k)$ agisce centralmente. Gli autori mostrano che per moduli finitamente generati $M, N$, o $\text{Ext}^n_{kG}(M, N) = 0$ per tutti $n > 0$, o la non-scomparsa avviene periodicamente modulo $d$. Il periodo $d$ è identificato come il minimo comune multiplo dei gradi dei generatori dell'anello di coomologia. Viene fornito un esempio esplicito per il gruppo simmetrico $S_8$, dove il periodo è calcolato essere 420.

Significatività
Il saggio rivendica la propria significatività unificando vari risultati recenti sulla scomparsa asintotica sotto un unico quadro generale di categorie triangolate. Distillando le necessarie condizioni noetheriane e le azioni degli anelli centrali, gli autori dimostrano che la natura "ben comportata" della scomparsa asintotica (specificamente, l'impossibilità della scomparsa sporadica) è una conseguenza strutturale della proprietà noetheriana del modulo di coomologia su un anello centrale. Il lavoro fornisce uno strumento teorico robusto che si applica alla geometria commutativa, all'algebra non commutativa e alla teoria delle rappresentazioni senza richiedere prove ad hoc per ogni specifico tipo di anello. I risultati confermano che, se la coomologia non scompare eventualmente, la sua non-scomparsa è governata da una stretta periodicità determinata dai gradi dei generatori dell'anello agente.