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

1. Problema e Contexto

O artigo situa-se no campo da Álgebra Comutativa, especificamente no estudo de módulos de cohomologia local $H^j_{\mathfrak{a}}(M)$ sobre um anel Noetheriano comutativo $R$ e um ideal $\mathfrak{a} \subseteq R$.

O problema central abordado refere-se à finitude dos números de Bass desses módulos. Os números de Bass, denotados por $\mu_i(\mathfrak{p}, N)$, medem a complexidade da resolução injetiva de um módulo $N$ em relação a um primo $\mathfrak{p}$.

• Conjectura de Huneke (1990): Se $(R, \mathfrak{m})$ é um anel local regular, então os números de Bass $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(R))$ são finitos para todos os primos $\mathfrak{p}$ e todos os índices $i, j$.
• O Desafio: Embora a conjectura seja verdadeira em certas características (prova de Huneke-Sharp e Lyubeznik para anéis regulares contendo um corpo), ela falha em geral se o anel não for regular (contra-exemplo de Hartshorne). Além disso, os módulos de cohomologia local raramente são finitamente gerados, o que torna a finitude dos números de Bass não trivial.

O objetivo deste trabalho é fornecer respostas parciais à Conjectura de Huneke, focando especificamente nos números de Bass nos níveis de não-vanishing extremos da cohomologia local:

1. O primeiro nível não-nulo: $j = \text{grade}_{\mathfrak{a}}(M)$.
2. O último nível não-nulo: $j = \text{cd}_{\mathfrak{a}}(M)$ (dimensão cohomológica).

2. Metodologia

Os autores utilizam ferramentas avançadas de homologia e cohomologia local, com ênfase em:

• Sequências Espectrais de Grothendieck: A ferramenta principal é a sequência espectral que relaciona a cohomologia local com o funtor Ext. Especificamente, eles utilizam a convergência:
  $$E_2^{i,j} = \text{Ext}_R^i(R/\mathfrak{m}, H_{\mathfrak{a}}^j(N)) \Rightarrow \text{Ext}_R^{i+j}(R/\mathfrak{m}, N)$$
  Esta sequência permite conectar os números de Bass do módulo de cohomologia local ($H_{\mathfrak{a}}^j$) com os números de Bass do módulo original $M$ (via Ext).
• Mudança de Base Plana (Flat Base Change): Para simplificar a análise, os autores reduzem o problema ao caso local, substituindo o anel $R$ por sua localização $R_{\mathfrak{p}}$ e assumindo que $(R, \mathfrak{m})$ é um anel local regular com $\mathfrak{p} = \mathfrak{m}$.
• Análise de Filtrações: Eles exploram a estrutura de filtração dos termos da sequência espectral ($E_{\infty}^{i,j}$) para estabelecer desigualdades e igualdades entre os números de Bass.
• Propriedades de Anéis Regulares: Aproveitam a propriedade de que em anéis regulares, a dimensão injetiva e a dimensão projetiva estão bem comportadas, e que a dimensão de altura de um primo coincide com a dimensão projetiva do corpo residual.

3. Principais Contribuições e Resultados

O artigo estabelece teoremas precisos sobre a finitude e limites superiores dos números de Bass nos níveis extremos.

A. Caso do Primeiro Nível Não-Nulo (Grade)

Seja $g = \text{grade}_{\mathfrak{a}}(M)$. Para um primo $\mathfrak{p} \in \text{Var}(\mathfrak{a})$:

1. Igualdade no nível 0: $\mu_0(\mathfrak{p}, H_{\mathfrak{a}}^g(M)) = \mu_g(\mathfrak{p}, M) < \infty$.
2. Desigualdade no nível 1: $\mu_1(\mathfrak{p}, H_{\mathfrak{a}}^g(M)) \leq \mu_{g+1}(\mathfrak{p}, M)$. A igualdade vale se $\mu_0(\mathfrak{p}, H_{\mathfrak{a}}^{g+1}(M)) = 0$.
3. Condições para níveis superiores: Sob certas condições de anulação de números de Bass de níveis adjacentes, estabelecem-se limites superiores para $\mu_0$ e $\mu_1$ de $H_{\mathfrak{a}}^{g+1}(M)$ em termos de $\mu_{g+1}$ e $\mu_{g+2}$ de $M$.

Corolário Importante: O módulo $H_{\text{grade}_{\mathfrak{a}}(M)}^{\mathfrak{a}}(M)$ possui dimensão de Goldie finita (o que implica que sua envoltória injetiva é uma soma direta finita de módulos injetivos indecomponíveis).

B. Caso do Último Nível Não-Nulo (Dimensão Cohomológica)

Seja $c = \text{cd}_{\mathfrak{a}}(M)$ e assuma-se que $R$ é um anel regular. Seja $d = \text{ht}(\mathfrak{p})$.

1. Igualdade no topo: $\mu_d(\mathfrak{p}, H_{\mathfrak{a}}^c(M)) = \mu_{d+c}(\mathfrak{p}, M) < \infty$.
2. Desigualdade no nível inferior: $\mu_{d-1}(\mathfrak{p}, H_{\mathfrak{a}}^c(M)) \leq \mu_{d+c-1}(\mathfrak{p}, M)$. A igualdade vale se $\mu_d(\mathfrak{p}, H_{\mathfrak{a}}^{c-1}(M)) = 0$.
3. Condição adicional: Se $\mu_d(\mathfrak{p}, H_{\mathfrak{a}}^{c-1}(M)) = 0$, então $\mu_{d-2}(\mathfrak{p}, H_{\mathfrak{a}}^c(M)) \leq \mu_{d+c-2}(\mathfrak{p}, M) < \infty$.

C. Resultados sobre Dimensão Injetiva

Um dos resultados mais significativos é a determinação de limites superiores para a dimensão injetiva ($id_R$) dos módulos de cohomologia local em anéis regulares:

• Se $c > 0$, então $id_R(H_{\mathfrak{a}}^c(M)) < \dim(R)$.
• Se $c > 1$, então $id_R(H_{\mathfrak{a}}^c(M)) < \dim(R) - 1$.
• Se $c > 2$ e certas condições de anulação de números de Bass são satisfeitas, então $id_R(H_{\mathfrak{a}}^c(M)) < \dim(R) - 2$.

Isso generaliza resultados conhecidos e fornece limites mais estritos para a dimensão injetiva desses módulos, que são frequentemente infinitamente gerados.

4. Significância e Impacto

• Progresso na Conjectura de Huneke: O trabalho fornece uma resposta afirmativa parcial à conjectura de Huneke para os níveis extremos de cohomologia local em anéis regulares, mostrando que os números de Bass são finitos e controlados pelos números de Bass do módulo original $M$.
• Generalização: Os resultados para o nível da grade (Teorema 1.4/2.3) são apresentados como generalizações de trabalhos anteriores (como Bahmanpour et al.) para o caso não-regular, desde que a grade seja maior que 1.
• Conexão Estrutural: O artigo estabelece uma ligação quantitativa clara entre a estrutura homológica do módulo $M$ e a estrutura de seus módulos de cohomologia local, demonstrando que a "complexidade" (medida pelos números de Bass) de $H_{\mathfrak{a}}^j(M)$ nos níveis extremos é herdada e limitada pela complexidade de $M$.
• Novas Questões: O artigo levanta a questão natural sobre a validade da desigualdade $id_R(H_{\mathfrak{a}}^i(M)) \leq \dim(R) - i$ em anéis regulares, conectando a dimensão injetiva com a dimensão do anel e o índice de cohomologia.

Em resumo, o artigo é uma contribuição técnica sólida que utiliza sequências espectrais para desvendar a estrutura fina dos números de Bass em situações críticas da teoria de cohomologia local, reforçando a relação entre anéis regulares, dimensão injetiva e finitude de invariantes homológicos.