Modules whose local cohomology modules have Cohen-Macaulay Matlis duals (Q4938523)

The authors prove the following theorem: Let \((A,{\mathfrak m})\) be a Noetherian local ring, \(M\) be a finitely generated \(A\)-module of dimension \(d\). Let \(H^i_{\mathfrak m}(M)\) be the \(i\)-th local cohomology module of \(M\) with respect to the maximal ideal \({\mathfrak m}\) of \(A\) with the Matlis duality \(K^i(M)\). If for \(i=1,\dots,d-1\), either \(K^i(M)\) is a Cohen-Macaulay module or is zero, then \(e(x;M)=\ell \bigl(M/Q(x;M)\bigr)\) for all systems of parameters \(\underline x=(x_1, \dots,x_d)\) of \(M\), where \(e(\underline x:M)\) is the multiplicity of \(M\) with respect to \(\underline x\) and \[ Q(\underline x;M)= \bigcup_{n>0} \bigl( (x_1^{n+1}, \dots, x_d^{n+1}) M:(x_1^n, \dots,x_d^n)\bigr). \] Before proving this theorem, the authors prove some results on the submodule \(Q(\underline x;M)\) of \(M\). They conclude the paper with the conjecture that the converse of the above theorem is also true. For the entire collection see [Zbl 0921.00043].