The Stacks project

Proof. In the discussion above we have seen that $G = \mathit{Aut}(X)$ is a group scheme over $\mathop{\mathrm{Spec}}(k)$ which is finite type and separated; this uses Lemma 109.5.1 and More on Groupoids in Spaces, Lemma 79.10.2. Then $G$ is unramified over $k$ if and only if $\Omega _{G/k} = 0$ (Morphisms, Lemma 29.35.2). By Groupoids, Lemma 39.6.3 the vanishing holds if $T_{G/k, e} = 0$, where $T_{G/k, e}$ is the tangent space to $G$ at the identity element $e \in G(k)$, see Varieties, Definition 33.16.3 and the formula in Varieties, Lemma 33.16.4. Since $\kappa (e) = k$ the tangent space is defined in terms of morphisms $\alpha : \mathop{\mathrm{Spec}}(k[\epsilon ]) \to G = \mathit{Aut}(X)$ whose restriction to $\mathop{\mathrm{Spec}}(k)$ is $e$. It follows that it suffices to show any automorphism

over $\mathop{\mathrm{Spec}}(k[\epsilon ])$ whose restriction to $\mathop{\mathrm{Spec}}(k)$ is $\text{id}_ X$. Such automorphisms are called infinitesimal automorphisms.

The infinitesimal automorphisms of $X$ correspond $1$-to-$1$ with derivations of $\mathcal{O}_ X$ over $k$. This follows from More on Morphisms, Lemmas 37.9.1 and 37.9.2 (we only need the first one as we don't care about the reverse direction; also, please look at More on Morphisms, Remark 37.9.7 for an elucidation). For a different argument proving this equality we refer the reader to Deformation Problems, Lemma 93.9.3. $\square$