The Stacks project

Proof. The quotient stack $[U/R]$ is an algebraic stacks by Criteria for Representability, Theorem 96.17.2. On the other hand, since $R \to U \times U$ is a monomorphism, it is an algebraic space (by our abuse of language and Algebraic Stacks, Proposition 93.13.3) and of course it is equal to the algebraic space $U/R$ (of Bootstrap, Theorem 79.10.1). Since $U \to X$ is surjective, flat, and locally of finite presenation (Bootstrap, Lemma 79.11.6) we conclude that $X \to Y$ is flat and locally of finite presentation by Morphisms of Spaces, Lemma 66.31.5 and Descent on Spaces, Lemma 73.8.2. Finally, consider the cartesian diagram

Since the right vertical arrow is surjective, flat, and locally of finite presentation (small detail omitted), we find that $X \to X \times _ Y X$ is an open immersion as the top horizonal arrow has this property by assumption (use Properties of Stacks, Lemma 99.3.3). Thus $X \to Y$ is unramified by Morphisms of Spaces, Lemma 66.38.9. We conclude by Morphisms of Spaces, Lemma 66.39.12. $\square$

Proof. Since $P \subset R$ is open, we see that $s|_ P$ and $t|_ P$ are flat and locally of finite presentation. Thus $[U/R]$ and $[U/P]$ are algebraic stacks by Criteria for Representability, Theorem 96.17.2. To see that the morphism is representable by algebraic spaces, it suffices to show that $[U/P] \to [U/R]$ is faithful on fibre categories, see Algebraic Stacks, Lemma 93.15.2. This follows immediately from the fact that $P \to R$ is a monomorphism and the explicit description of quotient stacks given in Groupoids in Spaces, Lemma 77.24.1. Having said this, we know what it means for $[U/P] \to [U/R]$ to be surjective and étale by Algebraic Stacks, Definition 93.10.1. Surjectivity follows for example from Criteria for Representability, Lemma 96.7.3 and the description of objects of quotient stacks (see lemma cited above) over spectra of fields. It remains to prove that our morphism is étale.

To do this it suffices to show that $U \times _{[U/R]} [U/P] \to U$ is étale, see Properties of Stacks, Lemma 99.3.3. By Groupoids in Spaces, Lemma 77.21.2 the fibre product is equal to $[R/P \times _{s, U, t} R]$ with morphism to $U$ induced by $s : R \to U$. The maps $s', t' : P \times _{s, U, t} R \to R$ are given by $s' : (p, r) \mapsto r$ and $t' : (p, r) \mapsto c(p, r)$. Since $P \subset R$ is open we conclude that $(t', s') : P \times _{s, U, t} R \to R \times _{s, U, s} R$ is an open immersion. Thus we may apply Lemma 100.32.1 to conclude. $\square$

Proof. (The parenthetical statement follows from the equivalences in Lemma 100.6.1). Choose an affine scheme $U$ and a flat, locally finitely presented, locally quasi-finite morphism $U \to \mathcal{X}$ such that $x$ is the image of some point $u \in U$. This is possible by Theorem 100.21.3 and the assumption that $\mathcal{X}$ is quasi-DM. Let $(U, R, s, t, c)$ be the groupoid in algebraic spaces we obtain by setting $R = U \times _\mathcal {X} U$, see Algebraic Stacks, Lemma 93.16.1. Let $\mathcal{X}' \subset \mathcal{X}$ be the open substack corresponding to the open image of $|U| \to |\mathcal{X}|$ (Properties of Stacks, Lemmas 99.4.7 and 99.9.12). Clearly, we may replace $\mathcal{X}$ by the open substack $\mathcal{X}'$. Thus we may assume $U \to \mathcal{X}$ is surjective and then Algebraic Stacks, Remark 93.16.3 gives $\mathcal{X} = [U/R]$. Observe that $s, t : R \to U$ are flat, locally of finite presentation, and locally quasi-finite. Since $R = U \times U \times _{(\mathcal{X} \times \mathcal{X})} \mathcal{X}$ and since the diagonal of $\mathcal{X}$ is separated, we find that $R$ is separated. Hence $s, t : R \to U$ are separated. It follows that $R$ is a scheme by Morphisms of Spaces, Proposition 66.50.2 applied to $s : R \to U$.

Above we have verified all the assumptions of More on Groupoids in Spaces, Lemma 78.15.13 are satisfied for $(U, R, s, t, c)$ and $u$. Hence we can find an elementary étale neighbourhood $(U', u') \to (U, u)$ such that the restriction $R'$ of $R$ to $U'$ is quasi-split over $u$. Note that $R' = U' \times _\mathcal {X} U'$ (small detail omitted; hint: transitivity of fibre products). Replacing $(U, R, s, t, c)$ by $(U', R', s', t', c')$ and shrinking $\mathcal{X}$ as above, we may assume that $(U, R, s, t, c)$ has a quasi-splitting over $u$ (the point $u$ is irrelevant from now on as can be seen from the footnote in More on Groupoids in Spaces, Definition 78.15.1). Let $P \subset R$ be a quasi-splitting of $R$ over $u$. Apply Lemma 100.32.2 to see that

has all the desired properties. $\square$

Proof. Observe that $G_ x$ is a group scheme by Lemma 100.19.1. The first part of the proof is exactly the same as the first part of the proof of Lemma 100.32.3. Thus we may assume $\mathcal{X} = [U/R]$ where $(U, R, s, t, c)$ and $u \in U$ mapping to $x$ satisfy all the assumptions of More on Groupoids in Spaces, Lemma 78.15.13. Our assumption on $G_ x$ implies that $G_ u$ is finite over $u$. Hence all the assumptions of More on Groupoids in Spaces, Lemma 78.15.12 are satisfied. Hence we can find an elementary étale neighbourhood $(U', u') \to (U, u)$ such that the restriction $R'$ of $R$ to $U'$ is split over $u$. Note that $R' = U' \times _\mathcal {X} U'$ (small detail omitted; hint: transitivity of fibre products). Replacing $(U, R, s, t, c)$ by $(U', R', s', t', c')$ and shrinking $\mathcal{X}$ as above, we may assume that $(U, R, s, t, c)$ has a splitting over $u$. Let $P \subset R$ be a splitting of $R$ over $u$. Apply Lemma 100.32.2 to see that

is representable by algebraic spaces and étale. By construction $G_ u$ is contained in $P$, hence this morphism defines an isomorphism on automorphism groups at $u$ as desired. $\square$

Proof. The first part of the proof is exactly the same as the first part of the proof of Lemma 100.32.3. Thus we may assume $\mathcal{X} = [U/R]$ where $(U, R, s, t, c)$ and $u \in U$ mapping to $x$ satisfy all the assumptions of More on Groupoids in Spaces, Lemma 78.15.13. Observe that $u = \mathop{\mathrm{Spec}}(\kappa (u)) \to \mathcal{X}$ is quasi-compact, see Properties of Stacks, Lemma 99.14.1. Consider the cartesian diagram

Since $U$ is an affine scheme and $F \to U$ is quasi-compact, we see that $F$ is quasi-compact. Since $U \to \mathcal{X}$ is locally quasi-finite, we see that $F \to u$ is locally quasi-finite. Hence $F \to u$ is quasi-finite and $F$ is an affine scheme whose underlying topological space is finite discrete (Spaces over Fields, Lemma 71.10.8). Observe that we have a monomorphism $u \times _\mathcal {X} u \to F$. In particular the set $\{ r \in R : s(r) = u, t(r) = u\} $ which is the image of $|u \times _\mathcal {X} u| \to |R|$ is finite. we conclude that all the assumptions of More on Groupoids in Spaces, Lemma 78.15.11 hold.

Thus we can find an elementary étale neighbourhood $(U', u') \to (U, u)$ such that the restriction $R'$ of $R$ to $U'$ is strongly split over $u'$. Note that $R' = U' \times _\mathcal {X} U'$ (small detail omitted; hint: transitivity of fibre products). Replacing $(U, R, s, t, c)$ by $(U', R', s', t', c')$ and shrinking $\mathcal{X}$ as above, we may assume that $(U, R, s, t, c)$ has a strong splitting over $u$. Let $P \subset R$ be a strong splitting of $R$ over $u$. Apply Lemma 100.32.2 to see that

is representable by algebraic spaces and étale. Since $P \subset R$ is open and contains $\{ r \in R : s(r) = u, t(r) = u\} $ by construction we see that $u \times _\mathcal {U} u \to u \times _\mathcal {X} u$ is an isomorphism. The statement on residual gerbes then follows from Properties of Stacks, Lemma 99.11.14 (we observe that the residual gerbes in question exist by Lemma 100.31.2). $\square$