The Stacks project

Proof. See Schemes, Lemmas 26.12.2 and 26.12.3. $\square$

Proof. Assume (1). By Schemes, Lemma 26.11.1 we see that $X$ has a unique generic point $\eta $. Then $X = \overline{\{ \eta \} }$. Hence $\eta $ is an element of every nonempty affine open $U \subset X$. This implies that $\eta \in U$ is dense hence $U$ is irreducible. It also implies any two nonempty affines meet. Thus (1) implies both (2) and (3).

Assume (2). Suppose $X = Z_1 \cup Z_2$ is a union of two closed subsets. For every $i$ we see that either $U_ i \subset Z_1$ or $U_ i \subset Z_2$. Pick some $i \in I$ and assume $U_ i \subset Z_1$ (possibly after renumbering $Z_1$, $Z_2$). For any $j \in I$ the open subset $U_ i \cap U_ j$ is dense in $U_ j$ and contained in the closed subset $Z_1 \cap U_ j$. We conclude that also $U_ j \subset Z_1$. Thus $X = Z_1$ as desired.

Assume (3). Choose an affine open covering $X = \bigcup _{i \in I} U_ i$. We may assume that each $U_ i$ is nonempty. Since $X$ is nonempty we see that $I$ is not empty. By assumption each $U_ i$ is irreducible. Suppose $U_ i \cap U_ j = \emptyset $ for some pair $i, j \in I$. Then the open $U_ i \amalg U_ j = U_ i \cup U_ j$ is affine, see Schemes, Lemma 26.6.8. Hence it is irreducible by assumption which is absurd. We conclude that (3) implies (2). The lemma is proved. $\square$

Proof. If $X$ is irreducible, then every affine open $\mathop{\mathrm{Spec}}(R) = U \subset X$ is irreducible. If $X$ is reduced, then $R$ is reduced, by Lemma 28.3.2 above. Hence $R$ is reduced and $(0)$ is a prime ideal, i.e., $R$ is an integral domain.

If $X$ is integral, then for every nonempty affine open $\mathop{\mathrm{Spec}}(R) = U \subset X$ the ring $R$ is reduced and hence $X$ is reduced by Lemma 28.3.2. Moreover, every nonempty affine open is irreducible. Hence $X$ is irreducible, see Lemma 28.3.3. $\square$