An extension of a theorem of Hartshorne (Q2790171)

From MaRDI portal





scientific article; zbMATH DE number 6549098
Language Label Description Also known as
default for all languages
No label defined
    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