🔢 mathematics

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

This paper investigates the Bass numbers of local cohomology modules $H^j_{\mathfrak{a}}(M)$ with respect to a prime ideal $\mathfrak{p}$ at the first non-vanishing level ( $j = \text{grade}_{\mathfrak{a}}(M)$ ) for low indices $i \in \{0, 1, 2\}$ , and at the last non-vanishing level ( $j = \text{cd}_{\mathfrak{a}}(M)$ ) when $R$ is regular and $i$ is near the height of $\mathfrak{p}$ .

Original authors: M. Jahangiri, R. Ahangari Maleki

Published 2026-03-20

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: M. Jahangiri, R. Ahangari Maleki

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to understand the hidden structure of a massive, complex building (the Ring $R$ ). Inside this building, there are specific rooms and corridors defined by certain rules (the Ideal $a$ ). You have a specific collection of furniture or materials you are studying (the Module $M$ ).

Sometimes, you want to know how these materials behave when you look at them through a very specific, narrow lens (the Local Cohomology). This lens reveals things that are usually invisible: how the materials react to stress, where they might crumble, or how they are connected to the building's foundation.

However, these "local views" are often messy, infinite, and hard to count. The mathematicians in this paper, Jahangiri and Maleki, are trying to answer a very specific question: "Can we count the number of 'weak points' or 'structural joints' in these local views?"

Here is a breakdown of their work using simple analogies:

1. The Problem: The "Infinite" Mess

In the world of these mathematical buildings, the "local views" (Local Cohomology modules) are rarely neat, finite objects. They are often like a cloud of dust that never settles.

The Conjecture: A famous mathematician named Huneke guessed that if the building is perfectly "regular" (smooth, no cracks, perfectly symmetrical), then even though the dust cloud is messy, the number of specific "joints" or "connections" (called Bass Numbers) should be finite and countable.
The Reality: Sometimes, even in perfect buildings, these numbers can be infinite. But the authors wanted to know: Are there specific moments where we can guarantee the numbers are finite?

2. The Strategy: Looking at the "Bookends"

Instead of trying to count every single dust particle in the entire cloud, the authors decided to look at the very beginning and the very end of the process.

The First Non-Vanishing Level (The "Grade"): Imagine digging down into the building. You hit the first layer where your materials actually react to the rules of the room. This is the "Grade."
The Last Non-Vanishing Level (The "Cohomological Dimension"): Imagine digging deeper and deeper until you hit a layer where your materials stop reacting entirely. The layer right before that silence is the "Last Level."

The authors proved that if you look at these specific "bookend" layers, the number of structural joints is finite and predictable, even if the layers in between are chaotic.

3. The Key Findings (The "Rules of the Building")

Rule A: The "Perfect Building" (Regular Rings)

If the building is "Regular" (mathematically perfect), the authors found a direct link between the "joints" in the local view and the "joints" in the original material.

The Analogy: Think of the local view as a shadow cast by the material. The authors proved that the number of shadows at the very top and very bottom of the cast is exactly the same as the number of joints in the original object, just shifted slightly.
The Result: They showed that at the very last level of activity, the "injective dimension" (a measure of how complex or "stretchy" the structure is) is strictly less than the total height of the building. This means the structure isn't as infinitely complex as it looks; it has a limit.

Rule B: The "Imperfect Building" (General Rings)

What if the building isn't perfect? What if it has cracks?

The authors showed that even in imperfect buildings, if you look at the first layer where things happen (the Grade), the number of joints is still finite and matches the original material's complexity.
They also proved that if certain "weak spots" are missing in the layers just above or below, the complexity of the current layer is strictly controlled.

4. Why Does This Matter? (The "Goldie Dimension")

One of the coolest takeaways is about Goldie Dimension.

The Analogy: Imagine a suitcase. If you can pack an infinite number of shirts into it without them touching, it has "infinite Goldie dimension." If it can only hold a finite number of shirts, it has "finite Goldie dimension."
The Discovery: The authors proved that the "first layer" of these local views is like a suitcase with a finite capacity. No matter how chaotic the building is, this specific layer can only hold a finite amount of "structural stuff." This is a huge relief for mathematicians because it means this part of the theory is manageable and predictable.

Summary

Think of this paper as a guide for navigating a foggy, complex maze (the local cohomology modules).

The Fog: The middle of the maze is confusing, and the paths might go on forever.
The Guide: The authors say, "Don't panic about the middle. If you stand at the entrance (the first level) or the exit (the last level), you can count the doors. They are finite, they are predictable, and they tell you exactly how the building is built."

They didn't solve the whole maze, but they proved that the most critical entry and exit points are safe, finite, and understandable. This gives mathematicians a solid foothold to try and solve the harder parts of the puzzle later.

1. Problem Statement and Context

The paper addresses a central problem in commutative algebra regarding the finiteness of Bass numbers of local cohomology modules.

Background: Let $R$ be a commutative Noetherian ring, $\mathfrak{a}$ an ideal, and $M$ a finitely generated $R$ -module. The local cohomology modules $H^j_{\mathfrak{a}}(M)$ are generally not finitely generated.
The Conjecture: In 1990, Huneke conjectured that if $(R, \mathfrak{m})$ $(R, m)$ is a regular local ring, then the Bass numbers $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(R))$ $μ_{i} (p, H_{a}^{j} (R))$ are finite for all primes $\mathfrak{p} \in \text{Spec}(R)$ $p \in Spec (R)$ and all $i, j$ $i, j$ .
- Status: Proven for rings containing a field (Huneke-Sharp, Lyubeznik) in positive characteristic and generally for fields. However, it remains open for general regular local rings, and known to be false if $R$ is not regular (Hartshorne's counterexample).
Specific Focus: The authors investigate the finiteness and specific values of Bass numbers $\mu_i(\mathfrak{p}, H^j_{\mathfrak{a}}(M))$ specifically at the first non-vanishing level ( $j = \text{grade}_{\mathfrak{a}}(M)$ ) and the last non-vanishing level ( $j = \text{cd}_{\mathfrak{a}}(M)$ , the cohomological dimension).

2. Methodology

The primary tool used throughout the paper is the Grothendieck Spectral Sequence.

Spectral Sequence Setup: The authors utilize the convergence of the spectral sequence associated with the composition of functors $\text{Hom}_R(R/\mathfrak{m}, -)$ and $\Gamma_{\mathfrak{a}}(-)$ (the $\mathfrak{a}$ -torsion functor).
$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)$
Localization: By employing the Flat Base Change Theorem, the authors reduce global problems to the local case. They assume $(R, \mathfrak{m})$ is a local ring and $\mathfrak{p} = \mathfrak{m}$ without loss of generality for the calculations involving Bass numbers at a specific prime.
Filtration Analysis: The core of the proofs involves analyzing the filtration of the limit terms ( $E_\infty$ ) of the spectral sequence. By establishing that certain terms vanish (due to vanishing theorems for Ext or Local Cohomology), they derive inequalities or equalities between the Bass numbers of the local cohomology module and the Ext groups of the original module $M$ .

3. Key Contributions and Results

The paper provides partial affirmative answers to Huneke's conjecture by establishing precise relationships between the Bass numbers of $H^j_{\mathfrak{a}}(M)$ and the Bass numbers of $M$ itself.

A. Results at the Last Non-Vanishing Level (Cohomological Dimension)

Context: Assume $R$ is a regular ring, $c = \text{cd}_{\mathfrak{a}}(M)$ , and $\mathfrak{p} \in \text{Supp}_R(H^c_{\mathfrak{a}}(M))$ . Let $d = \text{ht}(\mathfrak{p})$ .

Theorem 2.5 (Main Result for $j=c$ ):

Equality: $\mu_d(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) = \mu_{d+c}(\mathfrak{p}, M) < \infty$ .
Inequality: $\mu_{d-1}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-1}(\mathfrak{p}, M) < \infty$ . Equality holds if $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$ .
Higher Order Inequality: If $\mu_d(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$ , then $\mu_{d-2}(\mathfrak{p}, H^c_{\mathfrak{a}}(M)) \leq \mu_{d+c-2}(\mathfrak{p}, M) < \infty$ .

Significance: These results prove that for regular rings, the Bass numbers of the top local cohomology module are finite and bounded by the Bass numbers of the original module $M$ .

B. Results at the First Non-Vanishing Level (Grade)

Context: Let $g = \text{grade}_{\mathfrak{a}}(M)$ and $\mathfrak{p} \in \text{Var}(\mathfrak{a})$ . This section generalizes previous results (specifically [3, Theorem 2.1]) to non-regular rings.

Theorem 2.3 (Main Result for $j=g$ ):

Equality: $\mu_0(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) = \mu_g(\mathfrak{p}, M) < \infty$ .
Inequality: $\mu_1(\mathfrak{p}, H^g_{\mathfrak{a}}(M)) \leq \mu_{g+1}(\mathfrak{p}, M)$ . Equality holds if $\mu_0(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M)) = 0$ .
Conditional Bounds: The paper establishes further bounds for $\mu_0(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M))$ and $\mu_1(\mathfrak{p}, H^{g+1}_{\mathfrak{a}}(M))$ under the vanishing of specific higher Bass numbers of $H^g_{\mathfrak{a}}(M)$ .

Corollary 2.4: As a consequence, the module $H^{\text{grade}_{\mathfrak{a}}(M)}_{\mathfrak{a}}(M)$ has finite Goldie dimension (its injective hull is a finite direct sum of indecomposable injectives).

C. Implications for Injective Dimension

The authors derive bounds on the injective dimension ( $\text{id}_R$ ) of the local cohomology modules when $R$ is regular.

Theorem 1.3 / Corollary 2.6:
Let $R$ be regular and $c = \text{cd}_{\mathfrak{a}}(M)$ .

If $c > 0$ , then $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R)$ .
If $c > 1$ , then $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 1$ .
If $c > 2$ and $\mu_{\text{ht}(\mathfrak{p})}(\mathfrak{p}, H^{c-1}_{\mathfrak{a}}(M)) = 0$ for all $\mathfrak{p}$ , then $\text{id}_R(H^c_{\mathfrak{a}}(M)) < \dim(R) - 2$ .

These results refine the understanding of how "deep" the local cohomology modules sit within the injective resolution of the ring.

4. Significance and Conclusion

Partial Resolution of Huneke's Conjecture: The paper confirms the finiteness of Bass numbers for local cohomology modules at the extremal levels (first and last non-vanishing) when the base ring is regular.
Generalization: The results for the grade level extend previous work to non-regular rings, showing that finiteness properties can be preserved under specific conditions even without the regularity assumption.
Structural Insight: By linking the Bass numbers of $H^j_{\mathfrak{a}}(M)$ directly to $\mu_k(\mathfrak{p}, M)$ , the paper provides a computational framework to estimate the complexity of local cohomology modules using the known properties of the finitely generated module $M$ .
Open Question: The paper concludes by posing a question regarding the general inequality $\text{id}_R(H^i_{\mathfrak{a}}(M)) \leq \dim(R) - i$ for regular rings, suggesting a direction for future research connecting injective dimension to cohomological dimension.

In summary, this work advances the theory of local cohomology by utilizing spectral sequences to establish precise finiteness and dimension bounds for Bass numbers at critical levels, thereby contributing significantly to the ongoing investigation of Huneke's conjecture.