The Stacks project

Proof. The implications (1) $\Rightarrow$ (2) and (2) $\Rightarrow$ (3) follow from Lemma 83.5.14 and the definitions. The same lemma shows that (3) implies $j$ is a set-theoretic pre-equivalence relation. But of course condition (3) also implies that $j$ is universally injective, see Morphisms of Spaces, Lemma 67.19.2, so that $j$ is indeed a set-theoretic equivalence relation. At this point we know that (1), (2), (3) are all equivalent.

Condition (4) implies (3) without any further hypotheses on $j$. Assume $j$ is decent, or locally separated, or quasi-separated and the equivalent conditions (1), (2), (3) hold. By More on Morphisms of Spaces, Lemma 76.3.4 we see that $j$ is radicial. Let $k$ be any algebraically closed field over $B$. Let $\overline{u}, \overline{u}' \in U(k)$ with $\overline{u} \sim _ R \overline{u}'$. We see that $R \times _{U \times _ B U, (\overline{u}, \overline{u}')} \mathop{\mathrm{Spec}}(k)$ is nonempty. Hence, as $j$ is radicial, its reduction is the spectrum of a field purely inseparable over $k$. As $k = \overline{k}$ we see that it is the spectrum of $k$. Whence a point $\overline{r} \in R(k)$ with $t(\overline{r}) = \overline{u}$ and $s(\overline{r}) = \overline{u}'$ as desired. $\square$