Lemma 83.5.5. Let $S$ be a scheme, and let $B$ be an algebraic space over $S$. Let $\mathop{\mathrm{Spec}}(k) \to B$ be a geometric point of $B$. Let $j : R \to U \times _ B U$ be a pre-equivalence relation over $B$. In this case the weak orbit of $\overline{u} \in U(k)$ is simply
and the orbit of $\overline{u} \in U(k)$ is
Comments (0)