G-dimensions for DG-modules over commutative DG-rings

Sintesi Tecnica: G-dimensioni per DG-moduli su anelli DG commutativi

Enunciato del Problema
Il lavoro affronta una lacuna nell'algebra superiore: mentre la G-dimensione (o dimensione di Gorenstein) è un invariante ben consolidato per moduli finitamente generati su anelli noetheriani commutativi (introdotto da Auslander e Bridger) e per complessi su tali anelli (sviluppato da Yassemi e Christensen), non era stata definita o studiata sistematicamente nel contesto dell'algebra commutativa derivata. Nello specifico, gli autori mirano a introdurre e studiare le G-dimensioni per DG-moduli su anelli DG commutativi noetheriani non positivamente graduati. Questo contesto include le normalizzazioni di anelli commutativi simpliciali ed è centrale nell'algebra commutativa derivata moderna.

Metodologia
Gli autori operano all'interno della categoria derivata $D(A)$ dei DG-moduli su un anello DG locale noetheriano commutativo $A = \bigoplus_{i=-\infty}^0 A_i$ con coomologia limitata ($\text{amp} A < \infty$). Il loro approccio prevede:

1. Definizione di Riflessività e G-dimensione: Definiscono un DG-modulo $X \in D^b_f(A)$ (coomologia limitata con coomologia finitamente generata) come riflessivo se $R\text{Hom}_A(X, A) \in D^b_f(A)$ e il morfismo canonico $X \to R\text{Hom}_A(R\text{Hom}_A(X, A), A)$ è un isomorfismo. La G-dimensione è quindi definita come $\text{G-dim}_A X = \sup R\text{Hom}_A(X, A)$ per i moduli riflessivi, e $\infty$ altrimenti.
2. Versione DG delle Risoluzioni Proiettive: La metodologia si basa pesantemente su una versione DG delle risoluzioni proiettive introdotta da Minamoto, utilizzando specificamente i "morfismi sppj" (morfismi proiettivi speciali) e le relative risoluzioni.
3. Tecniche di Categoria Triangolata: Le dimostrazioni sfruttano la struttura della categoria derivata, inclusi i triangoli esatti, l'operazione "stella" ($*$) per le sottocategorie e le proprietà della categoria delle singolarità $D_{sg}(A) = D^b_f(A)/\langle P \rangle$, dove $P$ è la sottocategoria delle somme dirette finite di $A$.
4. Confronto con Invarianti Classici: Il lavoro confronta sistematicamente la nuova G-dimensione con la dimensione proiettiva (definita da Bird, Shaul, Sridhar e Williamson) e con gli invarianti di coomologia locale (profondità, dimensione locale di Cohen-Macaulay).

Principali Contributi e Risultati

• Caratterizzazione della G-dimensione Finita (Teorema 1.2): Il risultato centrale fornisce criteri per la finitezza della G-dimensione. Stabilisce equivalenze tra il limite della G-dimensione ($\text{G-dim}_A X \leq n - \sup X$) e l'esistenza di risoluzioni specifiche che coinvolgono la "classe G" $\mathcal{G}$ e la sottocategoria dei sommandi proiettivi $\mathcal{P}$.

  • Viene notata una distinzione chiave rispetto al caso degli anelli classici: nell'ambito DG, la disuguaglianza $\text{G-dim}_A X \geq -\sup X$ non vale necessariamente (Esempio 3.4), rendendo necessaria una strategia di dimostrazione modificata che coinvolge i Lemma 3.8 e 3.9.
  • Il teorema dimostra che un anello DG locale $A$ è Gorenstein se e solo se $\text{G-dim}_A \bar{k} < \infty$ (dove $\bar{k}$ è il campo residuo), o equivalentemente, se ogni $X \in D^b_f(A)$ ha G-dimensione finita.

• Connessione alla Dimensione Finitistica Minore (Corollario 1.3 e Teorema 4.4): Il lavoro stabilisce una formula che mette in relazione la dimensione finitistica minore ($\text{fpd}_A$) con la G-dimensione. Dimostra che $\text{fpd}_A = \sup \{ \text{G-dim}_A X + \inf X \mid X \in D^b_f(A), \text{G-dim}_A X < \infty \}$. Ciò fornisce una nuova dimostrazione per un caso specifico di un risultato di Bird et al. riguardante la finitezza della dimensione finitistica minore per anelli DG locali Gorenstein.

• Generalizzazione della Teoria di Cohen-Macaulay (Corollario 1.5): Gli autori generalizzano la relazione classica tra moduli di Cohen-Macaulay massimali e moduli di G-dimensione zero all'ambito DG. Definiscono una classe $\mathcal{H}$ di DG-moduli e dimostrano che $A$ è locale-Cohen-Macaulay se e solo se $\mathcal{H} \subseteq \mathcal{M}$ (moduli locali-Cohen-Macaulay massimali), e che $A$ è Gorenstein se e solo se $\mathcal{H} = \mathcal{M}$.

• Estensione della Teoria di Buchweitz-Happel (Corollario 1.6): Il lavoro estende il classico Teorema di Buchweitz-Happel e il suo inverso agli anelli DG locali noetheriani commutativi. Dimostra che il funtore dalla categoria stabile di una specifica classe di DG-moduli ($\mathcal{A}$) alla categoria delle singolarità $D_{sg}(A)$ è un'equivalenza di triangoli se e solo se $A$ è un anello DG locale Gorenstein. Questo risultato conferma l'inverso del Teorema di Buchweitz-Happel in questo contesto più ampio, allineandosi con il lavoro recente di Jin sulle algebre DG Gorenstein proprie.

Significato e Affermazioni
Il lavoro afferma che la G-dimensione funge da "invariante più fine" rispetto alla dimensione proiettiva per i DG-moduli. Come dimostrato nell'Esempio 4.2, esistono DG-moduli con G-dimensione finita ma dimensione proiettiva infinita. Questa distinzione è cruciale perché, mentre la dimensione proiettiva caratterizza gli anelli locali regolari, la G-dimensione caratterizza gli anelli locali Gorenstein.

Gli autori affermano che il loro lavoro generalizza con successo le tecniche standard dall'algebra commutativa classica al contesto delle algebre DG commutative, sebbene con le necessarie modifiche dovute al comportamento specifico dei DG-moduli (come il fallimento del limite inferiore standard per la G-dimensione). I risultati unificano la teoria delle dimensioni di Gorenstein, delle dimensioni finitistiche e delle categorie delle singolarità all'interno del quadro dell'algebra commutativa derivata, fornendo una solida base teorica per lo studio delle singolarità negli anelli DG.