Remark 89.17.6. The action of Lemma 89.17.5 is functorial. Let $\varphi : \mathcal{F} \to \mathcal{G}$ be a morphism of deformation categories. Let $A' \to A$ be a surjective ring map whose kernel $I$ is annihilated by $\mathfrak m_{A'}$. Let $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{F}(A))$. In this situation $\varphi $ induces the vertical arrows in the following commutative diagram
The commutativity follows as each of the maps (89.17.5.2), (89.17.5.1), and (89.17.5.3) of the proof of Lemma 89.17.5 gives rise to a similar commutative diagram.
Comments (0)