Bass numbers of local cohomology modules at the first and last non-vanishing levels

1. Planteamiento del Problema

El artículo se centra en el estudio de los números de Bass de los módulos de cohomología local, denotados como $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(M))$. Estos números miden la dimensión del espacio vectorial $\text{Ext}^i_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}), H^j_{\mathfrak{a}}(M)_{\mathfrak{p}})$ sobre el cuerpo residual $\kappa(\mathfrak{p})$, donde:

• $R$ es un anillo noetheriano conmutativo.
• $\mathfrak{a}$ es un ideal de $R$.
• $M$ es un $R$-módulo finitamente generado.
• $H^j_{\mathfrak{a}}(M)$ es el $j$-ésimo módulo de cohomología local con respecto a $\mathfrak{a}$.

El problema central es la finitud de estos números de Bass. Se basa en la Conjetura de Huneke (1990), la cual postula que si $(R, \mathfrak{m})$ es un anillo local regular, entonces todos los números de Bass $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(R))$ son finitos para todo $\mathfrak{p} \in \text{Spec}(R)$ y todo $i, j \in \mathbb{N}_0$.

Aunque la conjetura ha sido confirmada en casos específicos (anillos regulares que contienen un cuerpo, característica positiva), sigue abierta en general. Además, se sabe que si $R$ no es regular, estos números pueden ser infinitos. El objetivo de este trabajo es proporcionar respuestas parciales a la conjetura y establecer cotas para los números de Bass en los niveles críticos de no anulación de la cohomología local:

1. El primer nivel no nulo: $j = \text{grade}_{\mathfrak{a}}(M)$.
2. El último nivel no nulo: $j = \text{cd}_{\mathfrak{a}}(M)$ (dimensión cohomológica).

2. Metodología

Los autores emplean herramientas avanzadas de álgebra homológica y teoría de cohomología local:

• Sucesiones Espectrales de Grothendieck: La herramienta principal es el uso de la sucesión espectral de Grothendieck para la composición de funtores. Específicamente, utilizan la convergencia de la sucesión espectral:
  $$E_2^{i,j} = \text{Ext}^i_R(R/\mathfrak{m}, H^j_{\mathfrak{a}}(N)) \Rightarrow \text{Ext}^{i+j}_R(R/\mathfrak{m}, N)$$
  Esta relación permite conectar los grupos Ext del módulo original $M$ con los de sus módulos de cohomología local $H^j_{\mathfrak{a}}(M)$.
• Cambio de Base Plana: Utilizan el Teorema de Cambio de Base Plana para reducir el estudio de un anillo general a un anillo local $(R, \mathfrak{m})$, simplificando el análisis de los números de Bass al considerar $\mathfrak{p} = \mathfrak{m}$.
• Filtraciones de Módulos: Analizan la estructura de los módulos $\text{Ext}$ mediante filtraciones inducidas por la convergencia de la sucesión espectral. Esto permite establecer desigualdades entre los números de Bass de $H^j_{\mathfrak{a}}(M)$ y los de $M$.
• Propiedades de Anillos Regulares: En la segunda parte del trabajo, asumen que $R$ es un anillo regular, lo que implica que la dimensión proyectiva es finita y permite relacionar la altura del ideal con la dimensión proyectiva del cuerpo residual.

3. Contribuciones y Resultados Principales

El artículo establece dos teoremas principales que cubren los casos de la primera y última cohomología local no nula.

A. Resultados en el Primer Nivel No Nulo (Teorema 1.4 / 2.3)

Sea $g = \text{grade}_{\mathfrak{a}}(M)$ (el primer índice donde $H^g_{\mathfrak{a}}(M) \neq 0$). Para un ideal primo $\mathfrak{p} \in \text{Var}(\mathfrak{a})$:

1. Igualdad en el nivel 0: $\mu_0(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) = \mu_g(\mathfrak{p}, M) < \infty$.
2. Cota en el nivel 1: $\mu_1(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) \leq \mu_{g+1}(\mathfrak{p}, M)$. La igualdad se cumple si $\mu_0(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M)) = 0$.
3. Condiciones de anulación: Si ciertos números de Bass de niveles adyacentes son cero (ej. $\mu_2(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) = 0$), se pueden establecer cotas superiores para los números de Bass de $H^{g+1}_{\mathfrak{a}}(M)$ en términos de los de $M$.

Corolario Importante: Se deduce que el módulo $H^{\text{grade}_{\mathfrak{a}}(M)}_{\mathfrak{a}}(M)$ tiene dimensión de Goldie finita (su envolvente inyectiva es una suma directa finita de módulos inyectivos indecomponibles).

B. Resultados en el Último Nivel No Nulo (Teorema 1.2 / 2.5)

Sea $c = \text{cd}_{\mathfrak{a}}(M)$ (la dimensión cohomológica, último índice no nulo) y asumiendo que $R$ es regular. Sea $d = \text{ht}(\mathfrak{p})$.

1. Igualdad en el nivel crítico:
   $$\mu_d(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) = \mu_{d+c}(\mathfrak{p}, M) < \infty$$
   Esto confirma la finitud de este número de Bass específico bajo la hipótesis de regularidad.
2. Cotas en niveles inferiores:
   $$\mu_{d-1}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-1}(\mathfrak{p}, M) < \infty$$
   La igualdad se mantiene si $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$.
3. Extensión a niveles más bajos: Bajo condiciones de anulación adicionales, se acota $\mu_{d-2}(\mathfrak{p}, H^c_{\mathfrak{a}}(M))$.

C. Implicaciones sobre la Dimensión Inyectiva (Teorema 1.3 / Corolario 2.6)

Los resultados anteriores permiten acotar la dimensión inyectiva ($\text{id}_R$) de los módulos de cohomología local en anillos regulares:

• Si $c > 0$, entonces $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R)$.
• Si $c > 1$, entonces $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 1$.
• Si $c > 2$ y se cumple una condición de anulación específica, entonces $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 2$.

Esto refina las desigualdades conocidas sobre la dimensión inyectiva de los módulos de cohomología local.

4. Significado e Impacto

• Avance hacia la Conjetura de Huneke: El trabajo proporciona evidencia sólida de la finitud de los números de Bass en los casos más críticos (los extremos de la cohomología local), especialmente cuando el anillo base es regular.
• Generalización: Los resultados sobre el primer nivel no nulo (Teorema 1.4) se presentan como una generalización de trabajos previos (como el de Bahmanpour et al.) al caso no regular, siempre que el grado sea mayor que 1.
• Herramientas Estructurales: La demostración de que $H^{\text{grade}_{\mathfrak{a}}(M)}_{\mathfrak{a}}(M)$ tiene dimensión de Goldie finita es un resultado estructural importante que conecta la cohomología local con la teoría de módulos inyectivos.
• Nuevas Preguntas: El artículo culmina planteando una pregunta natural sobre cuándo se cumple la desigualdad $\text{id}_R(H^i_{\mathfrak{a}}(M)) \leq \dim(R) - i$ en anillos regulares, abriendo nuevas vías de investigación.

En resumen, el artículo utiliza el análisis espectral para descomponer la complejidad de los módulos de cohomología local, demostrando que, en los niveles extremos de no anulación, sus propiedades homológicas (números de Bass y dimensión inyectiva) están fuertemente controladas por las propiedades del módulo original $M$ y la estructura del anillo $R$.