Bourbaki

Corollary 4

Tag 0D1G, permanent. Cite it as [Bourbaki, Tag 0D1G].

Commutative Algebra, chapter X, § 1. Profondeur

Let AA be a noetherian ring whose spectrum is connected. Suppose there exists an integer d≥1d \geq 1 such that one has prof⁡(Ap)≥2\operatorname{prof}(A_p) \geq 2 for every prime ideal pp of AA of height >d> d.

a) For every closed subset ZZ of Spec⁡(A)\operatorname{Spec}(A) of codimension >d> d, the space Spec⁡(A)−Z\operatorname{Spec}(A) - Z is connected.

b) Let YY and Y′Y' be irreducible components of Spec⁡(A)\operatorname{Spec}(A). There exists a sequence X1,X2,…,XnX_1, X_2, \ldots, X_n of irreducible components of Spec⁡(A)\operatorname{Spec}(A) such that one has X1=YX_1 = Y, Xn=Y′X_n = Y' and, for i=1,…,n−1i = 1, \ldots, n-1

codim⁡(Xi∩Xi+1,Spec⁡(A))≤d. \operatorname{codim}(X_i \cap X_{i+1}, \operatorname{Spec}(A)) \leq d .

Let Z⊂Spec⁡(A)Z \subset \operatorname{Spec}(A) be a closed subset of codimension >d> d. For every p∈Zp \in Z, one has dim⁡(Ap)>d\dim(A_p) > d, hence prof⁡(Ap)≥2\operatorname{prof}(A_p) \geq 2, which implies that prof⁡Z(A)\operatorname{prof}_Z(A) is ≥2\geq 2 (No. 5, Prop. 8) and therefore that Spec⁡(A)−Z\operatorname{Spec}(A) - Z is connected (Theorem 3).

Let us prove b). Denote by ZZ the union of the sets X′∩X′′X' \cap X'' where (X′,X′′)(X', X'') runs through the (finite) set of pairs of irreducible components of Spec⁡(A)\operatorname{Spec}(A) such that codim⁡(X′∩X′′,Spec⁡(A))>d\operatorname{codim}(X' \cap X'', \operatorname{Spec}(A)) > d. By a), the set Spec⁡(A)−Z\operatorname{Spec}(A) - Z is connected. All the irreducible components of Spec⁡(A)\operatorname{Spec}(A) meet Spec⁡(A)−Z\operatorname{Spec}(A) - Z; their traces on Spec⁡(A)−Z\operatorname{Spec}(A) - Z are the irreducible components of Spec⁡(A)−Z\operatorname{Spec}(A) - Z (II, § 4, No. 1, Prop. 7). Since Spec⁡(A)−Z\operatorname{Spec}(A) - Z is connected, there exists a sequence X1,…,XnX_1, \ldots, X_n of irreducible components of Spec⁡(A)\operatorname{Spec}(A) such that one has X1−Z=Y−ZX_1 - Z = Y - Z, Xn−Z=Y′−ZX_n - Z = Y' - Z and (Xi−Z)∩(Xi+1−Z)≠∅(X_i - Z) \cap (X_{i+1} - Z) \neq \varnothing for 1≤i≤n−11 \leq i \leq n-1; in other words one has X1=YX_1 = Y, Xn=ZX_n = Z and codim⁡(Xi∩Xi+1)≤d\operatorname{codim}(X_i \cap X_{i+1}) \leq d.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.