# The Stacks Project

## Tag 07IK

Remark 54.9.3 (Functoriality). Let $p$ be a prime number. Let $(S, \mathcal{I}, \gamma) \to (S', \mathcal{I}', \gamma')$ be a morphism of divided power schemes over $\mathbf{Z}_{(p)}$. Let $$\xymatrix{ X \ar[r]_f \ar[d] & Y \ar[d] \\ S_0 \ar[r] & S'_0 }$$ be a commutative diagram of morphisms of schemes and assume $p$ is locally nilpotent on $X$ and $Y$. By analogy with Topologies, Lemma 33.3.16 we define $$f_{\text{cris}} : (X/S)_{\text{cris}} \longrightarrow (Y/S')_{\text{cris}}$$ by the formula $f_{\text{cris}} = \pi_Y \circ f_{\text{CRIS}} \circ i_X$ where $i_X$ and $\pi_Y$ are as in Lemma 54.9.2 for $X$ and $Y$ and where $f_{\text{CRIS}}$ is as in Remark 54.8.5.

The code snippet corresponding to this tag is a part of the file crystalline.tex and is located in lines 1910–1932 (see updates for more information).

\begin{remark}[Functoriality]
\label{remark-functoriality-cris}
Let $p$ be a prime number.
Let $(S, \mathcal{I}, \gamma) \to (S', \mathcal{I}', \gamma')$
be a morphism of divided power schemes over $\mathbf{Z}_{(p)}$.
Let
$$\xymatrix{ X \ar[r]_f \ar[d] & Y \ar[d] \\ S_0 \ar[r] & S'_0 }$$
be a commutative diagram of morphisms of schemes and assume $p$ is
locally nilpotent on $X$ and $Y$. By analogy with
Topologies, Lemma \ref{topologies-lemma-morphism-big-small} we define
$$f_{\text{cris}} : (X/S)_{\text{cris}} \longrightarrow (Y/S')_{\text{cris}}$$
by the formula $f_{\text{cris}} = \pi_Y \circ f_{\text{CRIS}} \circ i_X$
where $i_X$ and $\pi_Y$ are as in Lemma \ref{lemma-compare-big-small}
for $X$ and $Y$ and where $f_{\text{CRIS}}$ is as in
Remark \ref{remark-functoriality-big-cris}.
\end{remark}

There are no comments yet for this tag.

## Add a comment on tag 07IK

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 lower-right corner).