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
    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
    0 references
    cosupport
    0 references
    minimal complex
    0 references
    cotorsion flat module
    0 references
    countable ring
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references