An extension of a theorem of Hartshorne (Q2790171)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An extension of a theorem of Hartshorne |
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
3 March 2016
0 references
connectedness of punctured spectrum
0 references
reduced singular homology
0 references
0.75217974
0 references
0.69077635
0 references
0.6870747
0 references
0 references
0.6737971
0 references
0.66544807
0 references
0.6640961
0 references
0 references
0.65729517
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