Remark 90.19.8. We point out some basic relationships between infinitesimal automorphism groups, liftings, and tangent spaces to automorphism functors. Let $\mathcal{F}$ be a category cofibered in groupoids over $\mathcal{C}_\Lambda $. Let $x' \to x$ be a morphism lying over a ring map $A' \to A$. Then from the definitions we have an equality

where the liftings are of $\text{id}_ x$ as an object of $\mathit{Aut}(x')$. If $x_0 \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{F}(k))$ and $x'_0$ is the pushforward to $\mathcal{F}(k[\epsilon ])$, then applying this to $x'_0 \to x_0$ we get

the last equality following directly from the definitions.

## Comments (0)