The Stacks project

Lemma 89.20.2. Let $\mathcal{H}_1 \to \mathcal{G}$, $\mathcal{H}_2 \to \mathcal{G}$, and $\mathcal{G} \to \mathcal{F}$ be maps of categories cofibred in groupoids over $\mathcal{C}_\Lambda $. Assume

  1. $\mathcal{F}$ and $\mathcal{G}$ are deformation categories,

  2. $T\mathcal{G} \to T\mathcal{F}$ is injective, and

  3. $\text{Inf}(\mathcal{G}) \to \text{Inf}(\mathcal{F})$ is surjective.

Then $\mathcal{H}_1 \times _\mathcal {G} \mathcal{H}_2 \to \mathcal{H}_1 \times _\mathcal {F} \mathcal{H}_2$ is smooth.

Proof. Denote $p_ i : \mathcal{H}_ i \to \mathcal{G}$ and $q : \mathcal{G} \to \mathcal{F}$ be the given maps. Let $A' \to A$ be a small extension in $\mathcal{C}_\Lambda $. An object of $\mathcal{H}_1 \times _\mathcal {F} \mathcal{H}_2$ over $A'$ is a triple $(x'_1, x'_2, a')$ where $x'_ i$ is an object of $\mathcal{H}_ i$ over $A'$ and $a' : q(p_1(x'_1)) \to q(p_2(x'_2))$ is a morphism of the fibre category of $\mathcal{F}$ over $A'$. By pushforward along $A' \to A$ we get $(x_1, x_2, a)$. Lifting this to an object of $\mathcal{H}_1 \times _\mathcal {G} \mathcal{H}_2$ over $A$ means finding a morphism $b : p_1(x_1) \to p_2(x_2)$ over $A$ with $q(b) = a$. Thus we have to show that we can lift $b$ to a morphism $b' : p_1(x'_1) \to p_2(x'_2)$ whose image under $q$ is $a'$.

Observe that we can think of

\[ p_1(x'_1) \to p_1(x_1) \xrightarrow {b} p_2(x_2) \quad \text{and}\quad p_2(x'_2) \to p_2(x_2) \]

as two objects of $\textit{Lift}(p_2(x_2), A' \to A)$. The functor $q$ sends these objects to the two objects

\[ q(p_1(x'_1)) \to q(p_1(x_1)) \xrightarrow {b} q(p_2(x_2)) \quad \text{and}\quad q(p_2(x'_2)) \to q(p_2(x_2)) \]

of $\textit{Lift}(q(p_2(x_2)), A' \to A)$ which are isomorphic using the map $a' : q(p_1(x'_1)) \to q(p_2(x'_2))$. On the other hand, the functor

\[ q : \textit{Lift}(p_2(x_2), A' \to A) \to \textit{Lift}(q(p_2(x_2)), A' \to A) \]

defines a injection on isomorphism classes by Lemma 89.17.5 and our assumption on tangent spaces. Thus we see that there is a morphism $b' : p_1(x_1') \to p_2(x'_2)$ whose pushforward to $A$ is $b$. However, we may need to adjust our choice of $b'$ to achieve $q(b') = a'$. For this it suffices to see that $q : \text{Inf}(p_2(x'_2)/p_2(x_2)) \to \text{Inf}(q(p_2(x'_2))/q(p_2(x_2)))$ is surjective. This follows from our assumption on infinitesimal automorphisms and Lemma 89.19.11. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

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.

All contributions are licensed under the GNU Free Documentation License.

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 0DYN. Beware of the difference between the letter 'O' and the digit '0'.