Asymptotic vanishing of cohomology in triangulated categories

Resumen Técnico: Desvanecimiento Asintótico de la Cohomología en Categorías Trianguladas

Planteamiento del Problema
El artículo aborda el comportamiento del desvanecimiento asintótico de la cohomología en el contexto de las categorías trianguladas. Si bien el desvanecimiento de la homología y la cohomología es un tema fundamental en el álgebra, la literatura reciente se ha centrado en el desvanecimiento asintótico sobre anillos conmutativos específicos, apoyándose a menudo en condiciones no noetherianas sobre la totalidad de la cohomología. Una cuestión central es si puede ocurrir un desvanecimiento "esporádico" (donde la cohomología desaparece para algunos índices grandes pero no para otros), o si el desvanecimiento implica un patrón más estructurado y eventual. Los autores pretenden destilar estos conceptos en el marco general de las categorías trianguladas, donde la cohomología está definida de forma natural, para determinar si el desvanecimiento asintótico es "bien comportado" bajo condiciones de finitud específicas.

Metodología
Los autores establecen un marco general que involucra una categoría triangulada $(\mathcal{C}, \Sigma, \Delta)$ equipada con una acción central de un anillo graduado-conmutativo y no negativamente graduado $H$. La suposición central es que para un par de objetos $A, B \in \mathcal{C}$, el $H$-módulo $\text{Hom}_{\ge n_0}^{\mathcal{C}}(A, B)$ es noetheriano para algún entero $n_0$.

La metodología procede a través de los siguientes pasos:

1. Lemas Algebraicos: Los autores demuestran lemas relativos a anillos graduados-conmutativos y módulos. Específicamente, establecen que si un anillo graduado-conmutativo es noetheriano, su parte par es noetheriana y el anillo es finitamente generado como un módulo sobre esta parte par. Además, utilizan una variante de los resultados de [9] y [15] para mostrar que, bajo condiciones donde la parte de grado cero del anillo contiene un campo infinito (o es local con un residuo de campo infinito), existe un elemento homogéneo de un grado específico que actúa de forma inyectiva en el módulo para grados suficientemente grandes.
2. Aplicación del Teorema de Hilbert-Serre: En casos donde la cohomología tiene longitud finita sobre la parte de grado cero del anillo, los autores aplican el teorema clásico de Hilbert-Serre a la función generatriz de las longitudes de los grupos de cohomología. Esto permite analizar la racionalidad de la serie y la periodicidad del comportamiento de desvanecimiento.
3. Síntesis: Al combinar la inyectividad de la multiplicación por elementos específicos (del Lema 2.2) con la estructura del ideal del anulador y las propiedades de la parte par del anillo, los autores derivan el teorema estructural principal respecto a los patrones de desvanecimiento.

Contribuciones Clave y Resultados
La contribución principal es el Teorema 2.4, que caracteriza el desvanecimiento asintótico de la cohomología $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ bajo la suposición de que la cohomología es eventualmente noetheriana sobre un anillo central $H$. El teorema establece que si ocurre cualquiera de las siguientes condiciones:

1. $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B)$ tiene longitud finita sobre $H_0$ para $n$ grande; o
2. $H_0$ contiene un campo infinito o es local con un residuo de campo infinito;

Entonces debe ocurrir uno de dos resultados:

• Desvanecimiento Eventual Total: $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) = 0$ para todo $n \gg 0$.
• No Desvanecimiento Periódico: Existen enteros $d > 0$ y $m_0$ tales que $\text{Hom}_{\mathcal{C}}(A, \Sigma^n B) \neq 0$ para todo $n \ge m_0$ que satisfaga $n \equiv j \pmod d$ para al menos un $j$ ($0 \le j < d$).

Crucialmente, el resultado descarta el desvanecimiento "esporádico"; si la cohomología no desaparece eventualmente, debe ser no nula infinitas veces de una manera periódica.

Aplicaciones
El artículo demuestra la utilidad del Teorema 2.4 aplicándolo a tres clases específicas de anillos:

1. Intersecciones Completas Conmutativas Locales: Para módulos finitamente generados $M, N$ sobre un anillo de intersección completa local conmutativa $A$, los autores muestran que o bien $\text{Ext}^n_A(M, N) = 0$ para todo $n > \dim A$, o existe un $m_0$ tal que los grupos Ext son no nulos para todos los enteros pares o todos los impares $n \ge m_0$. Esto generaliza resultados previos (p. ej., [29]).
2. Álgebras de Dimensión Finita: El resultado se aplica a álgebras donde el anillo de cohomología de Hochschild $HH^*(A)$ actúa centralmente. Esto incluye:
   • Intersecciones Completas Cuánticas: Para las álgebras $A_{c,q}^a$, los autores prueban que o bien $\text{Ext}^n_A(M, N) = 0$ para todo $n > 0$, o el no desvanecimiento ocurre para todos los $n$ pares o todos los $n$ impares $n \ge m_0$.
   • Álgebras Exteriores: Como un caso específico de las intersecciones completas cuánticas, se establece el mismo comportamiento de desvanecimiento periódico.
3. Álgebras de Grupos Modulares: Para un grupo finito $G$ y un campo $k$ de característica prima $p$ que divide a $|G|$, el anillo de cohomología $H^*(G, k)$ actúa centralmente. Los autores muestran que para módulos finitamente generados $M, N$, o bien $\text{Ext}^n_{kG}(M, N) = 0$ para todo $n > 0$, o el no desvanecimiento ocurre periódicamente módulo $d$. El periodo $d$ se identifica como el mínimo común múltiplo de los grados de los generadores del anillo actuante. Se proporciona un ejemplo explícito para el grupo simétrico $S_8$, donde el periodo se calcula como 420.

Significancia
El artículo reclama significancia al unificar varios resultados recientes sobre el desvanecimiento asintótico bajo un único marco general de categorías trianguladas. Al destilar las condiciones noetherianas necesarias y las acciones de anillos centrales, los autores demuestran que la naturaleza "bien comportada" del desvanecimiento asintótico (específicamente, la imposibilidad del desvanecimiento esporádico) es una consecuencia estructural de la propiedad noetheriana del módulo de cohomología sobre un anillo central. El trabajo proporciona una herramienta teórica robusta que se aplica a la geometría conmutativa, el álgebra no conmutativa y la teoría de la representación sin requerir pruebas ad hoc para cada tipo de anillo específico. Los resultados confirman que, si la cohomología no desaparece eventualmente, su no desvanecimiento está gobernado por una periodicidad estricta determinada por los grados de los generadores del anillo actuante.