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

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

μi(p,Haj(R)):=dimκ(p)(ExtRpi(κ(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,jN0i,j\in\mathbb{N}_0 and every pSpec(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.

Sources & referencesView supporting material

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.