Some criteria for Gorensteinness via Gorenstein projective cotorsion pairs

1. Problema de Investigación

El artículo aborda problemas fundamentales en la teoría de homología de anillos noetherianos, específicamente en la intersección entre la teoría de módulos Gorenstein proyectivos, la teoría de pares de cotorsión y la estructura de anillos locales de Cohen-Macaulay.

Los problemas centrales que se intentan resolver son:

1. Caracterización de anillos débilmente Gorenstein: Bajo qué condiciones un álgebra noetheriana $R$ sobre un anillo de Cohen-Macaulay $S$ es "débilmente Gorenstein a la izquierda". Esta condición implica que la clase ortogonal a la derecha de $R$ (en términos de Ext) coincide con la categoría de módulos Gorenstein proyectivos finitamente generados.
2. Generación de pares de cotorsión: Determinar si la categoría de módulos Gorenstein proyectivos finitamente generados ($Gproj(R)$) genera un par de cotorsión hereditario en la categoría de módulos finitamente generados ($mod(R)$), un hecho conocido para anillos Iwanaga-Gorenstein pero no generalizado para otras clases.
3. Criterio de Gorensteinness: Establecer una equivalencia recíproca: ¿Es cierto que si $(Gproj(R), P_{<\infty}(R))$ forma un par de cotorsión, entonces el anillo $R$ es necesariamente Gorenstein (o Iwanaga-Gorenstein)? Esto es crucial para anillos locales de Cohen-Macaulay.

2. Metodología y Marco Teórico

Los autores emplean una combinación de técnicas de álgebra homológica avanzada:

• Pares de Cotorsión: Utilizan la teoría de pares de cotorsión $(\mathcal{X}, \mathcal{Y})$ donde $\mathcal{X} = {}^{\perp_1}\mathcal{Y}$ y $\mathcal{Y} = \mathcal{X}^{\perp_1}$. Se enfocan en la herencia y completitud de estos pares en categorías de módulos finitamente generados.
• Subcategorías Gruesas (Thick Subcategories): Analizan la subcategoría gruesa generada por módulos proyectivos y el módulo dualizador (o su análogo en álgebras).
• Módulos de Cohen-Macaulay Maximal (MCM): Asumen que $R$ es un álgebra noetheriana sobre un anillo de Cohen-Macaulay $S$ que admite un módulo canónico $\omega$, y que $R$ es un módulo MCM sobre $S$.
• Aproximaciones Monicas: Utilizan aproximaciones por módulos proyectivos (izquierdas) y propiedades de reflexividad y torsión para caracterizar módulos Gorenstein proyectivos.
• Dualidad y Módulos Canónicos: Aprovechan la existencia del módulo canónico $\omega$ y el functor de dualidad $(-)^\dagger = \text{Hom}_S(-, \omega)$ para construir resoluciones y coresoluciones exactas.

3. Contribuciones Clave y Resultados Principales

El artículo presenta tres teoremas principales que constituyen sus contribuciones fundamentales:

A. Caracterización de Anillos Débilmente Gorenstein (Teorema 1.1 / Teorema 4.5)

Para un álgebra noetheriana $R$ sobre un anillo de Cohen-Macaulay $S$ (con módulo canónico $\omega$), donde $R$ es MCM como $S$-módulo, se establece la equivalencia de las siguientes condiciones:

1. $R$ es débilmente Gorenstein a la izquierda.
2. La subcategoría gruesa generada por los proyectivos y el módulo dualizador, $\text{Thick}(\text{proj}(R) \cup \{R^\dagger\})$, está contenida en la doble clase ortogonal $(\perp_\infty R)^{\perp_\infty}$.
3. Un módulo específico $X$ (definido en una sucesión exacta $0 \to X \to P \to R^\dagger \to 0$) pertenece a $(\perp_\infty R)^{\perp_\infty}$.

Este resultado reduce la condición global de ser débilmente Gorenstein a la verificación de una propiedad sobre un solo módulo $X$ o una subcategoría específica.

B. Existencia de Pares de Cotorsión Hereditarios (Teorema 1.2 / Corolario 3.10)

Bajo las mismas hipótesis anteriores, los autores demuestran que la categoría de módulos Gorenstein proyectivos finitamente generados, $Gproj(R)$, genera un par de cotorsión hereditario en $mod(R)$:
$$(Gproj(R), Gproj(R)^{\perp_1})$$
Además, caracterizan $Gproj(R)$ como la clase ortogonal a la izquierda de la subcategoría gruesa generada por proyectivos y $R^\dagger$:
$$Gproj(R) = {}^{\perp_1}\text{Thick}(\text{proj}(R) \cup \{R^\dagger\})$$
Esto generaliza resultados previos conocidos para álgebras de Artin y anillos Iwanaga-Gorenstein a una clase más amplia de álgebras noetherianas.

C. Criterio de Gorensteinness mediante Pares de Cotorsión (Teorema 1.3 / Teorema 5.6)

Este es el resultado más fuerte para anillos locales. Para un anillo local de Cohen-Macaulay $R$, se demuestra la equivalencia:

1. $R$ es un anillo Iwanaga-Gorenstein (lo cual, para anillos locales, equivale a ser Gorenstein).
2. La clase ortogonal a la derecha de los módulos Gorenstein proyectivos coincide con la categoría de módulos de dimensión proyectiva finita: $Gproj(R)^{\perp_1} = P_{<\infty}(R)$.
3. El par $(Gproj(R), P_{<\infty}(R))$ forma un par de cotorsión.

Esto responde afirmativamente a la pregunta de si la estructura del par de cotorsión implica la propiedad Gorenstein del anillo en el contexto local de Cohen-Macaulay.

4. Resultados Secundarios y Aplicaciones

• Álgebras de Artin: Se proporciona una caracterización explícita de $Gproj(\Lambda)$ para álgebras de Artin $\Lambda$ en términos de la ortogonalidad a una colección finita de módulos construidos a partir de resoluciones de $D(\Lambda)$ y $\Lambda$.
• Módulos Semi-Gorenstein Proyectivos: Se demuestra que un módulo semi-Gorenstein proyectivo con cota de Auslander finita es necesariamente Gorenstein proyectivo (Corolario 3.15).
• Conexión con Anillos Virtualmente Gorenstein: Se relaciona la condición $Gproj(R) = proj(R)$ con la propiedad de ser "virtualmente Gorenstein" y se responde a una pregunta planteada por X.-W. Chen sobre la equivalencia entre la finitud de la categoría estable y la propiedad virtualmente Gorenstein.

5. Significado e Impacto

El trabajo de Dey, Liu y Lu es significativo por varias razones:

1. Unificación de Conceptos: Conecta la teoría de módulos Gorenstein proyectivos con la teoría de pares de cotorsión en un contexto de módulos finitamente generados, llenando un vacío entre resultados conocidos para anillos Iwanaga-Gorenstein y anillos generales.
2. Generalización: Extiende resultados clásicos (como el de Hovey para anillos Iwanaga-Gorenstein) a álgebras noetherianas sobre anillos de Cohen-Macaulay, un escenario muy común en geometría algebraica y teoría de representaciones.
3. Criterios Prácticos: Proporciona criterios verificables (como la pertenencia de un módulo específico $X$ a una clase ortogonal) para determinar si un anillo es Gorenstein o débilmente Gorenstein, lo cual es útil en la clasificación de anillos singulares.
4. Resolución de Preguntas Abiertas: Aborda y resuelve parcialmente preguntas abiertas en la literatura sobre la relación entre la finitud de la dimensión Gorenstein proyectiva y la estructura de los pares de cotorsión, así como la pregunta de Chen sobre anillos virtualmente Gorenstein.

En resumen, el artículo establece un marco robusto para entender la estructura homológica de anillos noetherianos mediante la lente de los pares de cotorsión, demostrando que la propiedad de ser Gorenstein puede ser detectada puramente a través de las relaciones de ortogonalidad entre módulos proyectivos, Gorenstein proyectivos y módulos de dimensión finita.