On pseudo supports and non-Cohen-Macaulay locus of finitely generated modules

Abstract: Let

(R, m)

be a Noetherian local ring and

M

a finitely generated

R

-module with

d i m M = d .

Let

i g e q 0

be an integer. Following M. Brodmann and R. Y. Sharp cite{BS1}, the

i

-th pseudo support of

M

is the set of all prime ideals

p

of

R

such that

H_{p R_{p}}^{i - d i m (R / p)} (M_{p}) e q 0.

In this paper, we study the pseudo supports and the non Cohen-Macaulay locus of

M

in connections with the catenarity of the ring

R / A n n_{R} M

, the Serre conditions on

M

, and the unmixedness of the local rings

R / p

for certain prime ideals

p

in

S u p p_{R} (M)

.

Review text

Let \((R,\mathfrak m)\) be local noetherian ring and \(M\) a finitely generated \(R\)-module of dimension \(d\). The paper under review is concerned with studying the pseudo supports of \(M\) and non-Cohen-Macaulay locus of \(M\). For each non-negative integer \(i\), the \(i\)-th pseudo support of \(M\) is defined by \[ \mathrm{Psupp}_R^i(M):=\{\mathfrak p\in \mathrm{Spec} R|H_{\mathfrak p R_{\mathfrak p}}^ {i-\dim R/\mathfrak p}(M_{\mathfrak p})\neq 0\}. \] The notion of pseudo supports was introduced by \textit{M. Brodmann} and \textit{R. Y. Sharp} [Nagoya Math. J. 167, 217--233 (2002; Zbl 1044.13007)]. Also, non-Cohen-Macaulay locus of \(M\) is defined by \[ nCM(M):=\{\mathfrak p\in \mathrm{Spec} R|M_{\mathfrak p} \;\;\text{is not Cohen-Macaulay} \}. \] One of the main results of the paper asserts that \[ nCM(M)=\bigcup_{0\leq i<j\leq d} (\mathrm{Psupp}_R^i(M)\cap \mathrm{Psupp}_R^j(M)). \] Hence if all pseudo supports of \(M\) are closed, then \(nCM(M)\) is closed. By Proposition 2.5 of the above mentioned paper of Brodmann and Sharp if the ring \(R/\mathrm{Ann}_RM\) is universally catenary and all its formal fibers are Cohen-Macaulay, then \(\mathrm{Psupp}_R^i(M)= V(\mathrm{Ann}_R(H_{\mathfrak m}^i(M)))\) for all \(i\geq 0\). Hence if the ring \(R/\mathrm{Ann}_RM\) is universally catenary and all its formal fibers are Cohen-Macaulay, then \(nCM(M)\) is closed. This improves a result of Schenzel which says that \(nCM(M)\) is closed, provided \(R\) is a homeomorphic image of a Gorenstein local ring.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: On pseudo supports and non-Cohen-Macaulay locus of finitely generated modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975106)