Quasi-Gorenstein morphisms of commutative local dg-algebras

Resumen Técnico: Morfismos Cuasi-Gorenstein de ÁLGEBRAS DG Locales Conmutativas

Problema y Contexto
Este artículo aborda la extensión de la teoría de morfismos cuasi-Gorenstein desde el ámbito de los anillos locales noetherianos conmutativos al entorno más general de las álgebras diferenciales graduadas (dg) locales conmutativas. En el contexto clásico, Avramov y Foxby introdujeron los homomorfismos cuasi-Gorenstein para capturar la propiedad Gorenstein: un anillo local $R$ es Gorenstein si y solo si el mapa $R \to k$ (hacia su cuerpo residual) es cuasi-Gorenstein. Además, para un homomorfismo local $\phi: R \to S$, $R$ es Gorenstein si y solo si $S$ es Gorenstein, siempre que $\phi$ sea cuasi-Gorenstein.

Los autores tienen como objetivo generalizar estos resultados a las álgebras dg, específicamente aquellas donde $H_0(R)$ es un anillo local noetheriano y la homología $H(R)$ es finitamente generada sobre $H_0(R)$. Un desafío central en esta extensión es caracterizar estos morfismos utilizando propiedades homológicas intrínsecas al entorno dg, como la dimensión Gorenstein y la propiedad "virtualmente pequeña", y aplicar estas caracterizaciones para comprender las sucesiones exactas en anillos locales mediante complejos de Koszul.

Metodología
Los autores trabajan dentro de la categoría derivada $D(R)$ de módulos dg sobre $R$, centrándose en la subcategoría $D^f_b(R)$ de módulos con homología acotada y finitamente generada grado a grado. La metodología se basa en:

1. Definiciones y Antecedentes: Establecer las definiciones de dimensión Gorenstein ($G\text{dim}$), módulos dg dualizantes y la propiedad "virtualmente G pequeña" (un análogo Gorenstein de la propiedad "virtualmente pequeña" introducida por Dwyer, Greenlees e Iyengar).
2. Caracterizaciones Homológicas: Demostrar análogos dg de resultados clásicos sobre morfismos cuasi-Gorenstein. Esto implica manipular funtores derivados como $\text{RHom}$ y utilizar propiedades de subcategorías gruesas.
3. Análisis del Complejo de Koszul: Investigar la augmentación canónica $R \to H_0(R)$ donde $R$ es un complejo de Koszul sobre una secuencia de elementos. Los autores analizan las condiciones bajo las cuales este mapa es cuasi-Gorenstein, vinculándolo con el concepto de "sucesiones exactas" (secuencias que consisten en elementos regulares o divisores de cero exactos).
4. Construcción de Ejemplos: Utilizar extensiones triviales ($R \ltimes M$) y productos tensoriales de resoluciones para construir álgebras dg y morfismos específicos que prueben los límites de la teoría.

Contribuciones y Resultados Clave

• Definición de Morfismos DG Cuasi-Gorenstein: El artículo define un morfismo $\phi: R \to S$ de álgebras dg locales conmutativas (con $G\text{dim}_R S < \infty$) como cuasi-Gorenstein si $\text{RHom}_R(S, R)$ es isomorfo en $D(S)$ a un desplazamiento de $S$. Esta definición se alinea con la definición clásica de teoría de anillos cuando se restringe a homomorfismos locales finitamente modulares de anillos locales noetherianos.

• Caracterización mediante Módulos Virtualmente G Pequeños (Teorema A):
  El artículo establece una nueva caracterización de los morfismos cuasi-Gorenstein. Sea $\phi: R \to S$ un morfismo con $S_0$ un anillo local noetheriano y $G\text{dim}_R S < \infty$. Son equivalentes:

  1. $\phi$ es cuasi-Gorenstein.
  2. Todo módulo dg $S$-módulo $M$ con homología acotada y longitud finita grado a grado que tiene dimensión Gorenstein finita sobre $R$ es virtualmente G pequeño sobre $S$.
     Los autores señalan que este resultado es nuevo incluso en el caso donde tanto $R$ como $S$ son anillos ordinarios, paralelizando resultados de Briggs et al. y Dwyer et al. sobre morfismos de intersección completa local.

• Caracterización de Sucesiones Exactas (Teorema B):
  Los autores proporcionan una caracterización de las sucesiones exactas en un anillo local noetheriano $A$ en términos de morfismos cuasi-Gorenstein que involucran complejos de Koszul. Sean $x_1, \dots, x_n$ una secuencia en $A$ y $R$ el complejo de Koszul sobre esta secuencia. La secuencia es exacta si y solo si:

  1. El mapa $R \to H_0(R)$ es cuasi-Gorenstein.
  2. La dimensión Gorenstein $G\text{dim}_{A/(x_1, \dots, x_{i-1})} A/(x_1, \dots, x_i)$ es finita para todo $1 \le i \le n$.
     Este resultado conecta la propiedad algebraica de la exactitud (divisores de cero regulares o exactos) directamente con la propiedad homológica del complejo de Koszul asociado.

• Ejemplos y No-Ejemplos:

  • El artículo demuestra que un álgebra dg $R$ puede ser Gorenstein mientras que $H_0(R)$ no lo es, y viceversa, lo que implica que la augmentación canónica no siempre es cuasi-Gorenstein.
  • Proporciona condiciones bajo las cuales la augmentación canónica de un complejo de Koszul es cuasi-Gorenstein, específicamente cuando la secuencia consiste en divisores de cero exactos.
  • Los autores construyen ejemplos de módulos dg proyectivos Gorenstein no libres sobre complejos de Koszul sobre secuencias de divisores de cero exactos.

• Módulos Dualizantes y Extensiones Triviales:
  El artículo adapta los resultados de Jørgensen para mostrar que un álgebra dg $R$ tiene un módulo dg dualizante si y solo si es una imagen homomórfica de un álgebra dg Gorenstein. Además, demuestra que para un módulo dg dualizante $D$ con $\inf D > 0$, el mapa $R \to R \ltimes D$ es cuasi-Gorenstein si y solo si $R$ es Gorenstein.

Significado y Afirmaciones
El artículo afirma que la introducción de morfismos cuasi-Gorenstein para álgebras dg locales conmutativas extiende con éxito el trabajo fundamental de Avramov y Foxby al entorno dg. El significado principal radica en la caracterización de estos morfismos mediante la propiedad "virtualmente G pequeña", un resultado que los autores declaran novedoso incluso para homomorfismos de anillos clásicos.

Adicionalmente, el artículo ofrece una nueva perspectiva sobre las sucesiones exactas en anillos locales, caracterizándolas a través de la naturaleza cuasi-Gorenstein de la augmentación de sus complejos de Koszul. Esto proporciona una condición suficiente para que los ideales generados por sucesiones exactas sean cuasi-intersecciones completas. Finalmente, el trabajo produce construcciones concretas de módulos dg locales-Cohen-Macaulay maximales no libres sobre álgebras dg locales-Cohen-Macaulay, expandiendo el paisaje conocido de módulos proyectivos Gorenstein en el contexto dg.