Lemma 100.19.2. Let $\mathcal{X}$ be an algebraic stack. Let $x \in |\mathcal{X}|$ be a point. Let $P$ be a property of algebraic spaces over fields which is invariant under ground field extensions; for example $P(X/k) = X \to \mathop{\mathrm{Spec}}(k)\text{ is finite}$. The following are equivalent

for some morphism $x : \mathop{\mathrm{Spec}}(k) \to \mathcal{X}$ in the class of $x$ the automorphism group algebraic space $G_ x/k$ has $P$, and

for any morphism $x : \mathop{\mathrm{Spec}}(k) \to \mathcal{X}$ in the class of $x$ the automorphism group algebraic space $G_ x/k$ has $P$.

## Comments (0)

There are also: