Foxby's conjecture on faithful modules with minimal top Bass number

Let (A,m)(A,\mathfrak{m}) be a Noetherian local ring of dimension dd, and let MM be a finitely generated AA-module. For a prime ideal PP of AA, write

μi(P,M)=dimκ(P)ExtAPi(κ(P),MP),\mu_i(P,M)=\dim_{\kappa(P)}\operatorname{Ext}^i_{A_P}(\kappa(P),M_P),

where κ(P)\kappa(P) is the residue field of APA_P; this is the iith Bass number of MM with respect to PP. A module is faithful if its annihilator is zero, and a canonical module is a canonical module of the local ring AA.

Foxby's conjecture. If MM is faithful and

μd(m,M)=1,\mu_d(\mathfrak{m},M)=1,

then AA is Cohen–Macaulay and MM is a canonical module of AA.

For a Cohen–Macaulay ring, a faithful maximal Cohen–Macaulay module with this Bass-number condition is already the canonical module, while the conjecture asks for the conclusion without assuming that AA or MM is Cohen–Macaulay. The paper presents this as a conjecture attributed essentially to Foxby; the supplied source does not establish its resolution.

Sources & referencesView supporting material

Primary source

Tony J. Puthenpurakal, “On generalization of two results of Foxby”, arXiv:2607.16655 (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.