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

Resumen Técnico: G-dimensiones para módulos DG sobre anillos DG conmutativos

Enunciado del Problema
El artículo aborda una laguna en el álgebra superior: mientras que la G-dimensión (o dimensión de Gorenstein) es un invariante bien establecido para módulos finitamente generados sobre anillos noetherianos conmutativos (introducido por Auslander y Bridger) y para complejos sobre tales anillos (desarrollado por Yassemi y Christensen), no había sido definida ni estudiada sistemáticamente en el contexto del álgebra conmutativa derivada. Específicamente, los autores tienen como objetivo introducir y estudiar las G-dimensiones para módulos DG sobre anillos DG conmutativos noetherianos graduados no positivamente. Este marco incluye normalizaciones de anillos conmutativos simpliciales y es central en el álgebra conmutativa derivada moderna.

Metodología
Los autores trabajan dentro de la categoría derivada $D(A)$ de módulos DG sobre un anillo DG local noetheriano conmutativo $A = \bigoplus_{i=-\infty}^0 A_i$ con cohomología acotada ($\text{amp} A < \infty$). Su enfoque implica:

1. Definición de Reflexividad y G-dimensión: Definen un módulo DG $X \in D^b_f(A)$ (cohomología acotada con cohomología finitamente generada) como reflexivo si $R\text{Hom}_A(X, A) \in D^b_f(A)$ y el morfismo canónico $X \to R\text{Hom}_A(R\text{Hom}_A(X, A), A)$ es un isomorfismo. La G-dimensión se define entonces como $\text{G-dim}_A X = \sup R\text{Hom}_A(X, A)$ para módulos reflexivos, y $\infty$ en caso contrario.
2. Versión DG de Resoluciones Proyectivas: La metodología depende en gran medida de una versión DG de resoluciones proyectivas introducida por Minamoto, utilizando específicamente "morfismos sppj" (morfismos proyectivos especiales) y sus resoluciones asociadas.
3. Técnicas de Categoría Triangulada: Las demostraciones utilizan la estructura de la categoría derivada, incluyendo triángulos exactos, la operación "estrella" ($*$) para subcategorías y propiedades de la categoría de singularidades $D_{sg}(A) = D^b_f(A)/\langle P \rangle$, donde $P$ es la subcategoría de sumas directas finitas de $A$.
4. Comparación con Invariantes Clásicos: El artículo compara sistemáticamente la nueva G-dimensión con la dimensión proyectiva (definida por Bird, Shaul, Sridhar y Williamson) y con invariantes de cohomología local (profundidad, dimensión local de Cohen-Macaulay).

Contribuciones y Resultados Clave

• Caracterización de la G-dimensión Finita (Teorema 1.2): El resultado central proporciona criterios para la finitud de la G-dimensión. Establece equivalencias entre la cota de la G-dimensión ($\text{G-dim}_A X \leq n - \sup X$) y la existencia de resoluciones específicas que involucran la "clase G" $\mathcal{G}$ y la subcategoría de sumandos proyectivos $\mathcal{P}$.

  • Se nota una distinción clave respecto al caso de anillo clásico: en el contexto DG, la desigualdad $\text{G-dim}_A X \geq -\sup X$ no necesariamente se cumple (Ejemplo 3.4), lo que hace necesaria una estrategia de demostración modificada que involucra los Lemas 3.8 y 3.9.
  • El teorema demuestra que un anillo DG local $A$ es Gorenstein si y solo si $\text{G-dim}_A \bar{k} < \infty$ (donde $\bar{k}$ es el cuerpo residual), o equivalentemente, si todo $X \in D^b_f(A)$ tiene G-dimensión finita.

• Conexión con la Dimensión Finitista Pequeña (Corolario 1.3 y Teorema 4.4): El artículo establece una fórmula que relaciona la dimensión finitista pequeña ($\text{fpd}_A$) con la G-dimensión. Demuestra que $\text{fpd}_A = \sup \{ \text{G-dim}_A X + \inf X \mid X \in D^b_f(A), \text{G-dim}_A X < \infty \}$. Esto proporciona una nueva demostración para un caso específico de un resultado de Bird et al. sobre la finitud de la dimensión finitista pequeña para anillos DG locales Gorenstein.

• Generalización de la Teoría de Cohen-Macaulay (Corolario 1.5): Los autores generalizan la relación clásica entre módulos de Cohen-Macaulay maximales y módulos de G-dimensión cero al contexto DG. Definen una clase $\mathcal{H}$ de módulos DG y demuestran que $A$ es local-Cohen-Macaulay si y solo si $\mathcal{H} \subseteq \mathcal{M}$ (módulos local-Cohen-Macaulay maximales), y que $A$ es Gorenstein si y solo si $\mathcal{H} = \mathcal{M}$.

• Extensión de la Teoría de Buchweitz-Happel (Corolario 1.6): El artículo extiende el Teorema clásico de Buchweitz-Happel y su inverso a anillos DG locales noetherianos conmutativos. Demuestra que el funtor desde la categoría estable de una clase específica de módulos DG ($\mathcal{A}$) hacia la categoría de singularidades $D_{sg}(A)$ es una equivalencia de triángulos si y solo si $A$ es un anillo DG local Gorenstein. Este resultado confirma el inverso del Teorema de Buchweitz-Happel en este contexto más amplio, alineándose con el trabajo reciente de Jin sobre álgebras DG Gorenstein propias.

Significado y Afirmaciones
El artículo afirma que la G-dimensión sirve como un "invariante más fino" que la dimensión proyectiva para módulos DG. Como se demuestra en el Ejemplo 4.2, existen módulos DG con G-dimensión finita pero dimensión proyectiva infinita. Esta distinción es crucial porque, mientras que la dimensión proyectiva caracteriza a los anillos locales regulares, la G-dimensión caracteriza a los anillos locales Gorenstein.

Los autores afirman que su trabajo generaliza con éxito las técnicas estándar del álgebra conmutativa clásica al contexto de las álgebras DG conmutativas, aunque con modificaciones necesarias debido al comportamiento específico de los módulos DG (como el fracaso de la cota inferior estándar para la G-dimensión). Los resultados unifican la teoría de las dimensiones de Gorenstein, las dimensiones finitistas y las categorías de singularidades dentro del marco del álgebra conmutativa derivada, proporcionando una base teórica robusta para el estudio de singularidades en anillos DG.