Cosupport computations for finitely generated modules over commutative noetherian rings (Q1663523)

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)].