Lemma 99.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

1. 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

2. 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$.

Proof. Omitted. $\square$

There are also:

• 2 comment(s) on Section 99.19: Automorphism groups

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).