Lemma 90.19.7. Let $\mathcal{F}$ be a category cofibered in groupoids over $\mathcal{C}_\Lambda$ satisfying (RS). Let $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{F}(A))$. Let $x_0$ be a pushforward of $x$ to $\mathcal{F}(k)$.

1. $T_{\text{id}_{x_0}} \mathit{Aut}(x)$ has a natural $k$-vector space structure such that addition agrees with composition in $T_{\text{id}_{x_0}} \mathit{Aut}(x)$. In particular, composition in $T_{\text{id}_{x_0}} \mathit{Aut}(x)$ is commutative.

2. There is a canonical isomorphism $T_{\text{id}_{x_0}} \mathit{Aut}(x) \to T_{\text{id}_{x_0}} \mathit{Aut}(x_0)$ of $k$-vector spaces.

Proof. We apply Remark 90.6.4 to the functor $\mathit{Aut}(x) : \mathcal{C}_ A \to \textit{Sets}$ and the element $\text{id}_{x_0} \in \mathit{Aut}(x)(k)$ to get a predeformation functor $F = \mathit{Aut}(x)_{\text{id}_{x_0}}$. By Lemmas 90.19.6 and 90.16.11 $F$ is a deformation functor. By definition $T_{\text{id}_{x_0}} \mathit{Aut}(x) = TF = F(k[\epsilon ])$ which has a natural $k$-vector space structure specified by Lemma 90.11.8.

Addition is defined as the composition

$F(k[\epsilon ]) \times F(k[\epsilon ]) \longrightarrow F(k[\epsilon ] \times _ k k[\epsilon ]) \longrightarrow F(k[\epsilon ])$

where the first map is the inverse of the bijection guaranteed by (RS) and the second is induced by the $k$-algebra map $k[\epsilon ] \times _ k k[\epsilon ] \to k[\epsilon ]$ which maps $(\epsilon , 0)$ and $(0, \epsilon )$ to $\epsilon$. If $A \to B$ is a ring map in $\mathcal{C}_\Lambda$, then $F(A) \to F(B)$ is a homomorphism where $F(A) = \mathit{Aut}(x)_{\text{id}_{x_0}}(A)$ and $F(B) = \mathit{Aut}(x)_{\text{id}_{x_0}}(B)$ are groups under composition. We conclude that $+ : F(k[\epsilon ]) \times F(k[\epsilon ])\to F(k[\epsilon ])$ is a homomorphism where $F(k[\epsilon ])$ is regarded as a group under composition. With $\text{id} \in F(k[\epsilon ])$ the unit element we see that $+(v, \text{id}) = +(\text{id}, v) = v$ for any $v \in F(k[\epsilon ])$ because $(\text{id}, v)$ is the pushforward of $v$ along the ring map $k[\epsilon ] \to k[\epsilon ] \times _ k k[\epsilon ]$ with $\epsilon \mapsto (\epsilon , 0)$. In general, given a group $G$ with multiplication $\circ$ and $+ : G \times G \to G$ is a homomorphism such that $+(g, 1) = +(1, g) = g$, where $1$ is the identity of $G$, then $+ = \circ$. This shows addition in the $k$-vector space structure on $F(k[\epsilon ])$ agrees with composition.

Finally, (2) is a matter of unwinding the definitions. Namely $T_{\text{id}_{x_0}} \mathit{Aut}(x)$ is the set of automorphisms $\alpha$ of the pushforward of $x$ along $A \to k \to k[\epsilon ]$ which are trivial modulo $\epsilon$. On the other hand $T_{\text{id}_{x_0}} \mathit{Aut}(x_0)$ is the set of automorphisms of the pushforward of $x_0$ along $k \to k[\epsilon ]$ which are trivial modulo $\epsilon$. Since $x_0$ is the pushforward of $x$ along $A \to k$ the result is clear. $\square$

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 06JV. Beware of the difference between the letter 'O' and the digit '0'.