Definition 60.5.2. In Situation 60.5.1.

A

*divided power thickening*of $C$ over $(A, I, \gamma )$ is a homomorphism of divided power algebras $(A, I, \gamma ) \to (B, J, \delta )$ such that $p$ is nilpotent in $B$ and a ring map $C \to B/J$ such that\[ \xymatrix{ B \ar[r] & B/J \\ & C \ar[u] \\ A \ar[uu] \ar[r] & A/I \ar[u] } \]is commutative.

A

*homomorphism of divided power thickenings*\[ (B, J, \delta , C \to B/J) \longrightarrow (B', J', \delta ', C \to B'/J') \]is a homomorphism $\varphi : B \to B'$ of divided power $A$-algebras such that $C \to B/J \to B'/J'$ is the given map $C \to B'/J'$.

We denote $\text{CRIS}(C/A, I, \gamma )$ or simply $\text{CRIS}(C/A)$ the category of divided power thickenings of $C$ over $(A, I, \gamma )$.

We denote $\text{Cris}(C/A, I, \gamma )$ or simply $\text{Cris}(C/A)$ the full subcategory consisting of $(B, J, \delta , C \to B/J)$ such that $C \to B/J$ is an isomorphism. We often denote such an object $(B \to C, \delta )$ with $J = \mathop{\mathrm{Ker}}(B \to C)$ being understood.

## Comments (0)

There are also: