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

1. Problématique et Contexte

L'article s'inscrit dans le domaine de l'algèbre commutative, plus précisément dans l'étude des modules de cohomologie locale $H^j_{\mathfrak{a}}(M)$ sur un anneau noethérien commutatif $R$ par rapport à un idéal $\mathfrak{a}$ et un module $M$ de type fini.

Le problème central abordé est la finitude des nombres de Bass de ces modules. Les nombres de Bass, notés $\mu_i(\mathfrak{p}, N)$, sont définis comme la dimension du $\kappa(\mathfrak{p})$-espace vectoriel $\text{Ext}^i_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}), N_{\mathfrak{p}})$, où $\kappa(\mathfrak{p})$ est le corps résiduel de l'anneau localisé $R_{\mathfrak{p}}$. Ils mesurent la complexité de la résolution injective minimale d'un module.

La conjecture de Huneke (Conjecture 1.1) postule que si $(R, \mathfrak{m})$ est un anneau local régulier, alors les nombres de Bass $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(R))$ sont finis pour tous les $i, j$. Bien que cela soit vrai dans certaines caractéristiques (travaux de Huneke-Sharp et Lyubeznik), le cas général reste ouvert, et des contre-exemples existent lorsque l'anneau n'est pas régulier.

L'objectif spécifique de cet article est d'étudier la finitude de ces nombres de Bass aux niveaux extrêmes de non-annulation de la cohomologie locale :

1. Le premier niveau non nul : $j = \text{grade}_{\mathfrak{a}}(M)$.
2. Le dernier niveau non nul : $j = \text{cd}_{\mathfrak{a}}(M)$ (dimension cohomologique).

2. Méthodologie

Les auteurs utilisent principalement des outils homologiques avancés, en particulier les suites spectrales de Grothendieck.

• Suite Spectrale : Ils exploitent la suite spectrale reliant les foncteurs dérivés de la composition de deux foncteurs. Plus précisément, ils utilisent la convergence de la suite spectrale :
  $$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)$$
  où $N$ est un module approprié (souvent $M$ ou $H^j_{\mathfrak{a}}(M)$).
• Théorème de Changement de Base Plat : Pour localiser les problèmes, les auteurs réduisent souvent le cas général au cas local $(R, \mathfrak{m})$ en utilisant le théorème de changement de base plat, permettant d'assumer que $\mathfrak{p} = \mathfrak{m}$.
• Analyse de Filtration : L'analyse repose sur la décomposition des termes limites ($E_\infty$) de la suite spectrale en termes de sous-quotients de modules $\text{Ext}$ connus. En établissant des filtrations sur les modules $\text{Ext}^k_R(R/\mathfrak{m}, M)$, ils peuvent borner les nombres de Bass des modules de cohomologie locale par ceux du module de départ $M$.

3. Contributions et Résultats Principaux

Les résultats sont divisés en deux parties principales selon le niveau de cohomologie considéré.

A. Cas du premier niveau non nul (Grade)

Soit $g = \text{grade}_{\mathfrak{a}}(M)$. Les auteurs établissent des relations précises pour les nombres de Bass $\mu_i(\mathfrak{p}, H^g_{\mathfrak{a}}(M))$ (Théorème 1.4 et Théorème 2.3) :

1. Égalité au niveau 0 : $\mu_0(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) = \mu_g(\mathfrak{p}, M) < \infty$.
2. Inégalité au niveau 1 : $\mu_1(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) \leq \mu_{g+1}(\mathfrak{p}, M)$. L'égalité est atteinte si $\mu_0(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M)) = 0$.
3. Conditions de finitude : Sous certaines conditions d'annulation (ex: $\mu_2(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) = 0$), ils prouvent que $\mu_0(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M))$ est fini et borné par $\mu_{g+1}(\mathfrak{p}, M)$.
4. Conséquence structurelle : Ils déduisent que le module $H^{\text{grade}_{\mathfrak{a}}(M)}_{\mathfrak{a}}(M)$ possède une dimension de Goldie finie (Corollaire 2.4), ce qui signifie que sa co-envelope injective est une somme directe finie de modules injectifs indécomposables.

B. Cas du dernier niveau non nul (Dimension Cohomologique)

Soit $c = \text{cd}_{\mathfrak{a}}(M)$. Dans le cas où $R$ est un anneau régulier, les auteurs obtiennent des résultats plus forts (Théorème 1.2 et Théorème 2.5) :

1. Égalité exacte au sommet : Pour un idéal premier $\mathfrak{p}$ dans le support de $H^c_{\mathfrak{a}}(M)$, avec $d = \text{ht}(\mathfrak{p})$ :
   $$\mu_d(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) = \mu_{d+c}(\mathfrak{p}, M) < \infty$$
2. Bornes pour les niveaux adjacents :
   • $\mu_{d-1}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-1}(\mathfrak{p}, M)$.
   • Si $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$, alors l'égalité ci-dessus devient une égalité stricte.
   • Si $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$, alors $\mu_{d-2}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-2}(\mathfrak{p}, M)$.

C. Dimension Injective

En combinant ces résultats, les auteurs établissent des bornes supérieures pour la dimension injective ($\text{id}_R$) des modules de cohomologie locale sur un anneau régulier (Théorème 1.3 et Corollaire 2.6) :

• Si $c > 0$, alors $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R)$. De plus, $H^c_{\mathfrak{a}}(M)$ n'est pas de type fini.
• Si $c > 1$, alors $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 1$.
• Si $c > 2$ et que certaines conditions d'annulation sont remplies, alors $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 2$.

4. Signification et Impact

Cet article apporte des réponses partielles mais significatives à la conjecture de Huneke, en particulier pour les niveaux extrêmes de la cohomologie locale.

• Généralisation : Les résultats sur le grade (Théorème 1.4) généralisent des travaux antérieurs (comme ceux de Bahmanpour et al.) au cas non régulier, sous certaines hypothèses de grade.
• Précision dans le cas régulier : Pour les anneaux réguliers, les auteurs ne se contentent pas de prouver la finitude, mais établissent des égalités et inégalités précises reliant les nombres de Bass de la cohomologie locale à ceux du module de départ $M$. Cela permet de calculer ou de borner ces invariants complexes à partir de données plus accessibles.
• Dimension Injective : Les résultats sur la dimension injective affinent la compréhension de la structure homologique des modules de cohomologie locale, montrant qu'ils sont « plus simples » (en termes de résolution injective) que ce que pourrait suggérer la dimension de l'anneau, surtout lorsque la dimension cohomologique est élevée.
• Question Ouverte : L'article se termine par une question naturelle (Question 2.7) : dans quelles conditions l'inégalité $\text{id}_R(H^i_{\mathfrak{a}}(M)) \leq \dim(R) - i$ est-elle vérifiée pour tout $i$, reliant ainsi la dimension injective à la dimension de l'anneau et à l'indice de cohomologie.

En résumé, ce travail utilise la puissance des suites spectrales pour décortiquer la structure des modules de cohomologie locale aux points critiques (grade et dimension cohomologique), offrant des bornes rigoureuses et des égalités qui enrichissent la théorie de la cohomologie locale sur les anneaux noethériens.