Quasi-Gorenstein morphisms of commutative local dg-algebras

Sintesi Tecnica: Morfismi Quasi-Gorenstein di Algebre DG Locali Commutative

Problema e Contesto
Questo articolo affronta l'estensione della teoria dei morfismi quasi-Gorenstein dall'ambito degli anelli locali noetheriani commutativi al contesto più generale delle algebre differenziali graduate (dg) locali commutative. Nel contesto classico, Avramov e Foxby hanno introdotto gli omomorfismi quasi-Gorenstein per catturare la proprietà Gorenstein: un anello locale $R$ è Gorenstein se e solo se l'applicazione $R \to k$ (verso il suo campo residuo) è quasi-Gorenstein. Inoltre, per un omomorfismo locale $\phi: R \to S$, $R$ è Gorenstein se e solo se $S$ è Gorenstein, purché $\phi$ sia quasi-Gorenstein.

Gli autori mirano a generalizzare questi risultati alle algebre dg, specificamente a quelle in cui $H_0(R)$ è un anello locale noetheriano e l'omologia $H(R)$ è finitamente generata su $H_0(R)$. Una sfida centrale in questa estensione è caratterizzare tali morfismi utilizzando proprietà omologiche intrinseche al contesto dg, come la dimensione di Gorenstein e la proprietà "virtualmente piccola", e applicare queste caratterizzazioni per comprendere le successioni esatte negli anelli locali tramite complessi di Koszul.

Metodologia
Gli autori operano all'interno della categoria derivata $D(R)$ dei moduli dg su $R$, concentrandosi sulla sottocategoria $D^f_b(R)$ dei moduli con omologia limitata e finitamente generata grado per grado. La metodologia si basa su:

1. Definizioni e Fondamenti: Stabilire le definizioni di dimensione di Gorenstein ($G\text{dim}$), moduli dg dualizzanti e la proprietà "virtualmente G piccola" (un analogo Gorenstein della proprietà "virtualmente piccola" introdotta da Dwyer, Greenlees e Iyengar).
2. Caratterizzazioni Omologiche: Dimostrare analoghi dg di risultati classici riguardanti i morfismi quasi-Gorenstein. Ciò implica la manipolazione di funtori derivati come $\text{RHom}$ e l'utilizzo delle proprietà delle sottocategorie spesse.
3. Analisi del Complesso di Koszul: Investigare l'augmentazione canonica $R \to H_0(R)$ dove $R$ è un complesso di Koszul su una sequenza di elementi. Gli autori analizzano le condizioni in cui questa applicazione è quasi-Gorenstein, collegandola al concetto di "successioni esatte" (sequenze costituite da elementi regolari o divisori zero esatti).
4. Costruzione di Esempi: Utilizzare estensioni banali ($R \ltimes M$) e prodotti tensoriali di risoluzioni per costruire specifiche algebre dg e morfismi, al fine di testare i limiti della teoria.

Contributi e Risultati Chiave

• Definizione di Morfismi DG Quasi-Gorenstein: L'articolo definisce un morfismo $\phi: R \to S$ di algebre dg locali commutative (con $G\text{dim}_R S < \infty$) come quasi-Gorenstein se $\text{RHom}_R(S, R)$ è isomorfo in $D(S)$ a un shift di $S$. Questa definizione si allinea con la definizione classica di teoria degli anelli quando ristretta a omomorfismi locali finitamente generati di anelli locali noetheriani.

• Caratterizzazione tramite Moduli Virtualmente G Piccoli (Teorema A):
  L'articolo stabilisce una nuova caratterizzazione dei morfismi quasi-Gorenstein. Sia $\phi: R \to S$ un morfismo con $S_0$ un anello locale noetheriano e $G\text{dim}_R S < \infty$. Le seguenti condizioni sono equivalenti:

  1. $\phi$ è quasi-Gorenstein.
  2. Ogni modulo dg $S$ $M$ con omologia limitata e di lunghezza finita grado per grado che ha dimensione di Gorenstein finita su $R$ è virtualmente G piccolo su $S$.
     Gli autori notano che questo risultato è nuovo anche nel caso in cui sia $R$ che $S$ siano anelli ordinari, parallelo ai risultati di Briggs et al. e Dwyer et al. riguardanti gli omomorfismi di intersezione completa locali.

• Caratterizzazione delle Successioni Esatte (Teorema B):
  Gli autori forniscono una caratterizzazione delle successioni esatte in un anello locale noetheriano $A$ in termini di morfismi quasi-Gorenstein che coinvolgono complessi di Koszul. Siano $x_1, \dots, x_n$ una sequenza in $A$ e $R$ il complesso di Koszul su questa sequenza. La sequenza è esatta se e solo se:

  1. L'applicazione $R \to H_0(R)$ è quasi-Gorenstein.
  2. La dimensione di Gorenstein $G\text{dim}_{A/(x_1, \dots, x_{i-1})} A/(x_1, \dots, x_i)$ è finita per ogni $1 \le i \le n$.
     Questo risultato collega la proprietà algebrica dell'esattezza (elementi regolari o divisori zero esatti) direttamente alla proprietà omologica del complesso di Koszul associato.

• Esempi e Non-Esempi:

  • L'articolo dimostra che un'algebra dg $R$ può essere Gorenstein mentre $H_0(R)$ non lo è, e viceversa, implicando che l'augmentazione canonica non è sempre quasi-Gorenstein.
  • Fornisce condizioni sotto le quali l'augmentazione canonica di un complesso di Koszul è quasi-Gorenstein, specificamente quando la sequenza è costituita da divisori zero esatti.
  • Gli autori costruiscono esempi di moduli dg proiettivi Gorenstein non liberi su complessi di Koszul su sequenze di divisori zero esatti.

• Moduli Dualizzanti ed Estensioni Banali:
  L'articolo adatta i risultati di Jørgensen per mostrare che un'algebra dg $R$ possiede un modulo dg dualizzante se e solo se è immagine omomorfa di un'algebra dg Gorenstein. Inoltre, dimostra che per un modulo dg dualizzante $D$ con $\inf D > 0$, l'applicazione $R \to R \ltimes D$ è quasi-Gorenstein se e solo se $R$ è Gorenstein.

Significato e Affermazioni
L'articolo afferma che l'introduzione dei morfismi quasi-Gorenstein per le algebre dg locali commutative estende con successo il lavoro fondazionale di Avramov e Foxby al contesto dg. Il significato principale risiede nella caratterizzazione di tali morfismi mediante la proprietà "virtualmente G piccola", un risultato che gli autori dichiarano essere nuovo anche per gli omomorfismi di anelli classici.

Inoltre, l'articolo offre una nuova prospettiva sulle successioni esatte negli anelli locali, caratterizzandole attraverso la natura quasi-Gorenstein dell'augmentazione dei loro complessi di Koszul. Ciò fornisce una condizione sufficiente affinché gli ideali generati da successioni esatte siano quasi-intersezioni complete. Infine, il lavoro produce costruzioni concrete di moduli dg locali massimali di Cohen-Macaulay non liberi su algebre dg locali di Cohen-Macaulay, ampliando il panorama noto dei moduli proiettivi Gorenstein nel contesto dg.