Some criteria for Gorensteinness via Gorenstein projective cotorsion pairs

Titolo

Alcuni criteri per la proprietà di Gorenstein tramite coppie di cotorsione Gorenstein proiettive.

1. Problema e Contesto

Lo studio delle proprietà omologiche Gorenstein gioca un ruolo centrale nella teoria delle rappresentazioni moderna e nell'algebra commutativa. Il lavoro si concentra su tre concetti fondamentali:

• Moduli Gorenstein proiettivi: Generalizzazione dei moduli proiettivi, introdotti inizialmente da Auslander (come moduli di dimensione G zero) e successivamente studiati da Enochs e Jenda per anelli arbitrari.
• Anelli debolmente Gorenstein: Una classe di anelli introdotta da Ringel e Zhang, dove la classe ortogonale sinistra di $R$ (rispetto a $\text{Ext}^\infty$) coincide con la classe dei moduli Gorenstein proiettivi finitamente generati.
• Coppie di cotorsione: Strutture che forniscono un quadro potente per la teoria dell'approssimazione e la risoluzione di sottocategorie.

Il problema principale affrontato dagli autori è caratterizzare quando un anello noetheriano (in particolare algebre su anelli di Cohen-Macaulay) possiede proprietà Gorenstein o debolmente Gorenstein, utilizzando la teoria delle coppie di cotorsione generate dai moduli Gorenstein proiettivi finitamente generati ($\text{Gproj}(R)$). In particolare, gli autori vogliono determinare se l'uguaglianza tra la classe ortogonale destra di $\text{Gproj}(R)$ e la classe dei moduli di dimensione proiettiva finita implica che l'anello sia Gorenstein (o Iwanaga-Gorenstein).

2. Metodologia

Gli autori adottano un approccio che combina l'algebra omologica classica con la teoria delle coppie di cotorsione e la teoria dei moduli di Cohen-Macaulay massimali. I punti chiave della metodologia includono:

• Impostazione: Si considera un anello $S$ di Cohen-Macaulay che ammette un modulo canonico $\omega$. $R$ è un'algebra noetheriana su $S$ tale che $R$, visto come $S$-modulo, è un modulo di Cohen-Macaulay massimale (MCM).
• Costruzione di Approssimazioni: Viene utilizzata la tecnica delle approssimazioni sinistre (left approximations) da parte di moduli proiettivi finitamente generati.
• Sottocategorie Spesse (Thick Subcategories): Viene analizzata la relazione tra la categoria dei moduli Gorenstein proiettivi e la sottocategoria spessa generata dai moduli proiettivi e dal modulo $\text{Hom}_S(R, \omega)$.
• Dualità e Moduli Canonici: Sfruttamento delle proprietà del modulo canonico $\omega$ e del funtore di dualità $(-)^\dagger = \text{Hom}_S(-, \omega)$ per stabilire isomorfismi tra estensioni estese su $S$ e su $R$.
• Coppie di Cotorsione: Dimostrazione che $\text{Gproj}(R)$ genera una coppia di cotorsione ereditaria in $\text{mod}(R)$ sotto ipotesi specifiche, e analisi delle condizioni necessarie e sufficienti affinché questa coppia coincida con $(\text{Gproj}(R), P_{<\infty}(R))$, dove $P_{<\infty}(R)$ è la categoria dei moduli di dimensione proiettiva finita.

3. Contributi Chiave e Risultati Principali

Il paper presenta tre teoremi principali che risolvono questioni aperte e forniscono nuove caratterizzazioni:

Teorema 1.1: Caratterizzazione degli anelli debolmente Gorenstein

Per un'algebra noetheriana $R$ su un anello di Cohen-Macaulay $S$ (con $R$ come modulo MCM su $S$), sono equivalenti:

1. $R$ è debolmente Gorenstein a sinistra.
2. La sottocategoria spessa generata da $\text{proj}(R) \cup \{\text{Hom}_S(R, \omega)\}$ è contenuta nella classe ortogonale doppia di $R$.
3. Un modulo specifico $X$ (definito tramite una successione esatta che coinvolge $\text{Hom}_S(R, \omega)$) appartiene alla classe ortogonale doppia di $R$.
   Significato: Questo risultato riduce la condizione globale di "debolmente Gorenstein" alla verifica di una proprietà su un singolo modulo $X$ o su una sottocategoria spessa specifica.

Teorema 1.2: Esistenza di una Coppia di Cotorsione Ereditaria

Sotto le stesse ipotesi del Teorema 1.1, la coppia $(\text{Gproj}(R), \text{Gproj}(R)^{\perp_1})$ forma una coppia di cotorsione ereditaria nella categoria dei moduli finitamente generati $\text{mod}(R)$.

• Questo estende risultati noti per anelli Iwanaga-Gorenstein a una classe più ampia di algebre su anelli di Cohen-Macaulay.
• Viene dimostrato che $\text{Gproj}(R)$ è esattamente la classe ortogonale sinistra di $\text{Thick}(\text{proj}(R) \cup \{R^\dagger\})$.

Teorema 1.3: Caratterizzazione degli Anelli di Cohen-Macaulay Locali Gorenstein

Per un anello locale di Cohen-Macaulay $R$, le seguenti condizioni sono equivalenti:

1. $R$ è un anello Iwanaga-Gorenstein (che per anelli locali di Cohen-Macaulay equivale a essere Gorenstein).
2. $\text{Gproj}(R)^{\perp_1} = P_{<\infty}(R)$ (la classe ortogonale destra dei moduli Gorenstein proiettivi coincide con quella dei moduli di dimensione proiettiva finita).
3. $(\text{Gproj}(R), P_{<\infty}(R))$ è una coppia di cotorsione.
   Significato: Questo risponde positivamente alla domanda se la struttura della coppia di cotorsione caratterizzi la proprietà Gorenstein per anelli locali di Cohen-Macaulay, confermando che la coincidenza delle classi ortogonali è una condizione necessaria e sufficiente.

Altri Risultati Significativi

• Algebre di Artin: Per le algebre di Artin, viene fornita una caratterizzazione esplicita di $\text{Gproj}(\Lambda)$ come classe ortogonale sinistra di una sottocategoria generata da un insieme finito di moduli (inclusi $D(\Lambda)$ e i suoi syzygy).
• Moduli Semi-Gorenstein: Viene dimostrato che un modulo semi-Gorenstein proiettivo con un "Auslander bound" finito è effettivamente Gorenstein proiettivo (Corollario 3.15).
• Domanda di Chen: Viene collegata la domanda di X.-W. Chen ("Se $\text{Gproj}(R) = \text{proj}(R)$, allora $\text{GProj}(R) = \text{Proj}(R)$?") alla proprietà di essere "virtualmente Gorenstein" per le algebre di Artin (Proposizione 4.12).

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Unificazione: Fornisce un quadro unificato per studiare la proprietà Gorenstein e quella debolmente Gorenstein attraverso la lente delle coppie di cotorsione, collegando l'algebra commutativa (anelli di Cohen-Macaulay) e l'algebra non commutativa (algebre di Artin).
2. Risoluzione di Problemi Aperti: Risolve la questione della caratterizzazione degli anelli Iwanaga-Gorenstein tramite coppie di cotorsione nel caso locale di Cohen-Macaulay, confermando che la struttura omologica dei moduli Gorenstein proiettivi determina completamente la natura dell'anello.
3. Strumenti Nuovi: Introduce criteri pratici basati su moduli specifici (come $X$ e $\text{Hom}_S(R, \omega)$) per verificare proprietà globali complesse, semplificando potenzialmente i controlli in casi concreti.
4. Generalizzazione: Estende risultati noti da anelli Iwanaga-Gorenstein a una classe più ampia di algebre, dimostrando che la teoria delle coppie di cotorsione è robusta anche in contesti più generali di Cohen-Macaulay.

In sintesi, il paper stabilisce un ponte solido tra la teoria dei moduli Gorenstein proiettivi, la teoria delle coppie di cotorsione e la struttura degli anelli locali, offrendo nuovi criteri di verifica per la proprietà di Gorensteinness.