Definition 60.7.2. A divided power scheme is a triple $(S, \mathcal{I}, \gamma )$ where $S$ is a scheme, $\mathcal{I}$ is a quasi-coherent sheaf of ideals, and $\gamma $ is a divided power structure on $\mathcal{I}$. A morphism of divided power schemes $(S, \mathcal{I}, \gamma ) \to (S', \mathcal{I}', \gamma ')$ is a morphism of schemes $f : S \to S'$ such that $f^{-1}\mathcal{I}'\mathcal{O}_ S \subset \mathcal{I}$ and such that
\[ (\mathcal{O}_{S'}(U'), \mathcal{I}'(U'), \gamma ') \longrightarrow (\mathcal{O}_ S(f^{-1}U'), \mathcal{I}(f^{-1}U'), \gamma ) \]
is a homomorphism of divided power rings for all $U' \subset S'$ open.
Comments (0)
There are also: