Huneke's finiteness conjecture for Bass numbers of local cohomology modules

Less than 1 year old · traced to

Let (R,m)(R,\mathfrak{m}) be a regular local ring, let a\mathfrak{a} be an ideal of RR, and let p∈Spec⁡(R)\mathfrak{p}\in\operatorname{Spec}(R). For i,j∈N0i,j\in\mathbb{N}_0, define the Bass numbers

μi(p,Haj(R)):=dim⁡κ(p)(Ext⁡Rpi(κ(p),Haj(R)p)).\mu^i(\mathfrak{p},H^j_{\mathfrak{a}}(R)):=\operatorname{dim}_{\kappa(\mathfrak{p})}\left(\operatorname{Ext}^i_{R_{\mathfrak{p}}}(\kappa(\mathfrak{p}),H^j_{\mathfrak{a}}(R)_{\mathfrak{p}})\right).

Huneke's conjecture. The Bass numbers μi(p,Haj(R))\mu^i(\mathfrak{p},H^j_{\mathfrak{a}}(R)) are finite for all i,j∈N0i,j\in\mathbb{N}_0 and every p∈Spec⁡(R)\mathfrak{p}\in\operatorname{Spec}(R). This conjecture asserts finiteness of all Bass numbers of local cohomology modules over regular local rings; it is a central finiteness problem in local cohomology, with known results in various cases but not resolved in the stated generality.

References

Primary source

M. Jahangiri and R. Ahangari Maleki, “Bass numbers of local cohomology modules at the first and last non-vanishing levels”, arXiv:2603.18724 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.