An extension of a theorem of Hartshorne (Q2790171)

From MaRDI portal





scientific article; zbMATH DE number 6549098
Language Label Description Also known as
English
An extension of a theorem of Hartshorne
scientific article; zbMATH DE number 6549098

    Statements

    An extension of a theorem of Hartshorne (English)
    0 references
    0 references
    0 references
    0 references
    3 March 2016
    0 references
    connectedness of punctured spectrum
    0 references
    reduced singular homology
    0 references
    Let \(R\) be a Noetherian local ring with maximal ideal \(\mathfrak{m}\). \textit{R. Hartshorne} [Am. J. Math. 84, 497--508 (1962; Zbl 0108.16602)] showed that \(\operatorname{Spec} R \setminus \{\mathfrak{m}\}\) is connected if \(\operatorname{depth} R \geq 2\). In the present paper, authors studied the case that \(\operatorname{depth} R \geq 3\).NEWLINENEWLINELet \(R\) be a Noetherian local ring with maximal ideal \(\mathfrak{m}\), or a standard graded ring with homogeneous maximal ideal \(\mathfrak{m}\). Let \(\{\mathfrak{p}_1, \dots, \mathfrak{p}_n\}\) be the set of the minimal primes of \(R\). The authors introduced a simplicial complex \(\Delta(R)\) as follows: \(\{i_0, \dots, i_s\}\) is a face of \(\Delta(R)\) if and only if \(\mathfrak{p}_{i_0} + \dots + \mathfrak{p}_{i_s}\) is not \(\mathfrak{m}\)-primary. Then \(\operatorname{Spec} R \setminus \{\mathfrak{m}\}\) is connected if and only if \(\tilde H_0(\Delta(R); R/\mathfrak{m}) = 0\). The main theorem of this paper says that \(\tilde H_0(\Delta(R); R/\mathfrak{m}) = \tilde H_1(\Delta(R); R/\mathfrak{m}) = 0\) if \(\operatorname{depth} R \geq 3\) under some additional hypothesis.NEWLINENEWLINEWhen \(R\) is a Stanley-Reisner ring, they showed a strong result: If \(R\) is a Stanley-Reisner ring, then \(\tilde H_j(\Delta(R); R/\mathfrak{m}) = 0\) for \(j \leq \operatorname{depth} R -2\).
    0 references

    Identifiers

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