The Stacks project

Lemma 89.8.2. Let $\varphi : \mathcal{F} \to \mathcal{G}$ be a morphism of categories cofibered in groupoids over $\mathcal{C}_\Lambda $. Then $\varphi $ is smooth if the condition in Definition 89.8.1 is assumed to hold only for small extensions $B \to A$.

Proof. Let $B \to A$ be a surjective ring map in $\mathcal{C}_\Lambda $. Let $y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{G}(B))$, $x \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{F}(A))$, and $y \to \varphi (x)$ be a morphism lying over $B \to A$. By Lemma 89.3.3 we can factor $B \to A$ into small extensions $B = B_ n \to B_{n-1} \to \ldots \to B_0 = A$. We argue by induction on $n$. If $n = 1$ the result is true by assumption. If $n > 1$, then denote $f : B = B_ n \to B_{n - 1}$ and denote $g : B_{n - 1} \to B_0 = A$. Choose a pushforward $y \to f_* y$ of $y$ along $f$, so that the morphism $y \to \varphi (x)$ factors as $y \to f_* y \to \varphi (x)$. By the induction hypothesis we can find $x_{n - 1} \to x$ lying over $g : B_{n - 1} \to A$ and $a : \varphi (x_{n - 1}) \to f_*y$ lying over $\text{id} : B_{n - 1} \to B_{n - 1}$ such that

\[ \xymatrix{ \varphi (x_{n - 1}) \ar[r]_-a \ar[dr] & f_*y \ar[d] \\ & \varphi (x) } \]

commutes. We can apply the assumption to the composition $y \to \varphi (x_{n - 1})$ of $y \to f_*y$ with $a^{-1} : f_*y \to \varphi (x_{n - 1})$. We obtain $x_ n \to x_{n - 1}$ lying over $B_ n \to B_{n - 1}$ and $\varphi (x_ n) \to y$ lying over $\text{id} : B_ n \to B_ n$ so that the diagram

\[ \xymatrix{ \varphi (x_ n) \ar[r] \ar[d] & y \ar[d] \\ \varphi (x_{n - 1}) \ar[r]^-a \ar[dr] & f_*y \ar[d] \\ & \varphi (x) } \]

commutes. Then the composition $x_ n \to x_{n - 1} \to x$ and $\varphi (x_ n) \to y$ are the morphisms required by the definition of smoothness. $\square$

Comments (0)

There are also:

  • 2 comment(s) on Section 89.8: Smooth morphisms

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