Cosupport computations for finitely generated modules over commutative noetherian rings

From MaRDI portal



Abstract: We show that the cosupport of a commutative noetherian ring is precisely the set of primes appearing in a minimal pure-injective resolution of the ring. As an application of this, we prove that every countable commutative noetherian ring has full cosupport. We also settle the comparison of cosupport and support of finitely generated modules over any commutative noetherian ring of finite Krull dimension. Finally, we give an example showing that the cosupport of a finitely generated module need not be a closed subset of operatornameSpec(R), providing a negative answer to a question of Sather-Wagstaff and Wicklein.


Let \(R\) be a commutative noetherian ring. Then for an \(R\)-complex \(M\), the \textit{cosupport} of \(M\) is defined as \[ \mbox{cosupp}_RM=\{\mathfrak{p}\in\mathrm{Spec }R\mid\mathbf R\mathrm{Hom}_R(R_{\mathfrak{p}},\mathbf{L}\Lambda^{\mathfrak{p}}M)\not\simeq 0\}. \] In the present paper, it is shown that the cosupport of \(R\) is precisely the set of primes appearing in a minimal pure-injective resolution of \(R\). As an application, it is proved that every countable commutative noetherian ring has full cosupport. Also, the author settles the comparison of cosupport and support of finitely generated modules over \(R\) of finite Krull dimension. Finally, the author give an example showing that the cosupport of a finitely generated module need not be a closed subset of Spec\(R\), providing a negative answer to a question of \textit{S. Sather-Wagstaff} and \textit{R. Wicklein} [Comm. Algebra 45, No. 6, 2569--2592 (2017; Zbl 1386.13046)].



Cites work









This page was built for publication: Cosupport computations for finitely generated modules over commutative noetherian rings

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