Cosupport computations for finitely generated modules over commutative noetherian rings (Q1663523)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cosupport computations for finitely generated modules over commutative noetherian rings |
scientific article |
Statements
Cosupport computations for finitely generated modules over commutative noetherian rings (English)
0 references
21 August 2018
0 references
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)].
0 references
cosupport
0 references
minimal complex
0 references
cotorsion flat module
0 references
countable ring
0 references
0 references