Lemma 51.3.1.referenceslogan Let A be a Noetherian local ring of depth \geq 2. Then the punctured spectra of A, A^ h, and A^{sh} are connected.
51.3 Hartshorne's connectedness lemma
The title of this section refers to the following result.
Proof. Let U be the punctured spectrum of A. If U is disconnected then we see that \Gamma (U, \mathcal{O}_ U) has a nontrivial idempotent. But A, being local, does not have a nontrivial idempotent. Hence A \to \Gamma (U, \mathcal{O}_ U) is not an isomorphism. By Lemma 51.2.2 we conclude that either H^0_\mathfrak m(A) or H^1_\mathfrak m(A) is nonzero. Thus \text{depth}(A) \leq 1 by Dualizing Complexes, Lemma 47.11.1. To see the result for A^ h and A^{sh} use More on Algebra, Lemma 15.45.8. \square
Lemma 51.3.2.reference Let A be a Noetherian local ring which is catenary and (S_2). Then \mathop{\mathrm{Spec}}(A) is equidimensional.
Proof. Set X = \mathop{\mathrm{Spec}}(A). Say d = \dim (A) = \dim (X). Inside X consider the union X_1 of the irreducible components of dimension d and the union X_2 of the irreducible components of dimension < d. Of course X = X_1 \cup X_2. If X_2 = \emptyset , then the lemma holds. If not, then Z = X_1 \cap X_2 is a nonempty closed subset of X because it contains at least the closed point of X. Hence we can choose a generic point z \in Z of an irreducible component of Z. Recall that the spectrum of \mathcal{O}_{Z, z} is the set of points of X specializing to z. Since z is both contained in an irreducible component of dimension d and in an irreducible component of dimension < d we obtain nontrivial specializations x_1 \leadsto z and x_2 \leadsto z such that the closures of x_1 and x_2 have different dimensions. Since X is catenary, this can only happen if at least one of the specializations x_1 \leadsto z and x_2 \leadsto z is not immediate! Thus \dim (\mathcal{O}_{Z, z}) \geq 2. Therefore \text{depth}(\mathcal{O}_{Z, z}) \geq 2 because A is (S_2). However, the punctured spectrum U of \mathcal{O}_{Z, z} is disconnected because the closed subsets U \cap X_1 and U \cap X_2 are disjoint (by our choice of z) and cover U. This is a contradiction with Lemma 51.3.1 and the proof is complete. \square
Comments (1)
Comment #10000 by Shubhankar on