Lemma 60.5.7. In Situation 60.5.1. Let $P$ be a polynomial algebra over $A$ and let $P \to C$ be a surjection of $A$-algebras with kernel $J$. Let $(D, \bar J, \bar\gamma )$ be the $p$-adic completion of $D_{P, \gamma }(J)$. For every object $(B \to C, \delta )$ of $\text{Cris}^\wedge (C/A)$ there exists a morphism $D \to B$ of $\text{Cris}^\wedge (C/A)$.

Proof. We can find an $A$-algebra homomorphism $P \to B$ compatible with maps to $C$. By our definition of $\text{Cris}(C/A)$ we see that $P \to B$ factors as $P \to D_{P, \gamma }(J) \to B$. As $B$ is $p$-adically complete we can factor this map through $D$. $\square$

Comment #209 by Rex on

Typo: "there exists a morphsm"

There are also:

• 5 comment(s) on Section 60.5: Affine crystalline site

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