Let A be a noetherian ring whose spectrum is connected. Suppose there exists an integer d≥1 such that one has prof(Ap)≥2 for every prime ideal p of A of height >d.
a) For every closed subset Z of Spec(A) of codimension >d, the space Spec(A)−Z is connected.
b) Let Y and Y′ be irreducible components of Spec(A). There exists a sequence X1,X2,…,Xn of irreducible components of Spec(A) such that one has X1=Y, Xn=Y′ and, for i=1,…,n−1
codim(Xi∩Xi+1,Spec(A))≤d.
Let Z⊂Spec(A) be a closed subset of codimension >d. For every p∈Z, one has dim(Ap)>d, hence prof(Ap)≥2, which implies that profZ(A) is ≥2 (No. 5, Prop. 8) and therefore that Spec(A)−Z is connected (Theorem 3).
Let us prove b). Denote by Z the union of the sets X′∩X′′ where (X′,X′′) runs through the (finite) set of pairs of irreducible components of Spec(A) such that codim(X′∩X′′,Spec(A))>d. By a), the set Spec(A)−Z is connected. All the irreducible components of Spec(A) meet Spec(A)−Z; their traces on Spec(A)−Z are the irreducible components of Spec(A)−Z (II, § 4, No. 1, Prop. 7). Since Spec(A)−Z is connected, there exists a sequence X1,…,Xn of irreducible components of Spec(A) such that one has X1−Z=Y−Z, Xn−Z=Y′−Z and (Xi−Z)∩(Xi+1−Z)=∅ for 1≤i≤n−1; in other words one has X1=Y, Xn=Z and codim(Xi∩Xi+1)≤d.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Nothing.
Nothing.