Lemma 105.13.2. Let $\mathcal{X}$ be an algebraic stack. The following are equivalent

$\mathcal{X}$ is well-nigh affine, and

there exists a groupoid scheme $(U, R, s, t, c)$ with $U$ and $R$ affine and $s, t : R \to U$ finite locally free such that $\mathcal{X} = [U/R]$.

If true then $\mathcal{X}$ is quasi-compact, quasi-DM, and separated.

**Proof.**
Assume $\mathcal{X}$ is well-nigh affine. Choose an affine scheme $U$ and a surjective, flat, finite, and finitely presented morphism $U \to \mathcal{X}$. Set $R = U \times _\mathcal {X} U$. Then we obtain a groupoid $(U, R, s, t, c)$ in algebraic spaces and an isomorphism $[U/R] \to \mathcal{X}$, see Algebraic Stacks, Lemma 93.16.1 and Remark 93.16.3. Since $s, t : R \to U$ are flat, finite, and finitely presented morphisms (as base changes of $U \to \mathcal{X})$ we see that $s, t$ are finite locally free (Morphisms, Lemma 29.48.2). This implies that $R$ is affine (as finite morphisms are affine) and hence (2) holds.

Suppose that we have a groupoid scheme $(U, R, s, t, c)$ with $U$ and $R$ are affine and $s, t : R \to U$ finite locally free. Set $\mathcal{X} = [U/R]$. Then $\mathcal{X}$ is an algebraic stack by Criteria for Representability, Theorem 96.17.2 (strictly speaking we don't need this here, but it can't be stressed enough that this is true). The morphism $U \to \mathcal{X}$ is surjective, flat, and locally of finite presentation by Criteria for Representability, Lemma 96.17.1. Thus we can check whether $U \to \mathcal{X}$ is finite by checking whether the projection $U \times _\mathcal {X} U \to U$ has this property, see Properties of Stacks, Lemma 99.3.3. Since $U \times _\mathcal {X} U = R$ by Groupoids in Spaces, Lemma 77.22.2 we see that this is true. Thus $\mathcal{X}$ is well-nigh affine.

Proof of the final statement. We see that $\mathcal{X}$ is quasi-compact by Properties of Stacks, Lemma 99.6.2. We see that $\mathcal{X} = [U/R]$ is quasi-DM and separated by Morphisms of Stacks, Lemma 100.20.1.
$\square$

## Comments (0)