The Stacks project

Lemma 23.5.3. Let $p$ be a prime number. Let $A$ be a ring such that every integer $n$ not divisible by $p$ is invertible, i.e., $A$ is a $\mathbf{Z}_{(p)}$-algebra. Let $I \subset A$ be an ideal. Two divided power structures $\gamma , \gamma '$ on $I$ are equal if and only if $\gamma _ p = \gamma '_ p$. Moreover, given a map $\delta : I \to I$ such that

  1. $p!\delta (x) = x^ p$ for all $x \in I$,

  2. $\delta (ax) = a^ p\delta (x)$ for all $a \in A$, $x \in I$, and

  3. $\delta (x + y) = \delta (x) + \sum \nolimits _{i + j = p, i,j \geq 1} \frac{1}{i!j!} x^ i y^ j + \delta (y)$ for all $x, y \in I$,

then there exists a unique divided power structure $\gamma $ on $I$ such that $\gamma _ p = \delta $.

Proof. If $n$ is not divisible by $p$, then $\gamma _ n(x) = c x \gamma _{n - 1}(x)$ where $c$ is a unit in $\mathbf{Z}_{(p)}$. Moreover,

\[ \gamma _{pm}(x) = c \gamma _ m(\gamma _ p(x)) \]

where $c$ is a unit in $\mathbf{Z}_{(p)}$. Thus the first assertion is clear. For the second assertion, we can, working backwards, use these equalities to define all $\gamma _ n$. More precisely, if $n = a_0 + a_1p + \ldots + a_ e p^ e$ with $a_ i \in \{ 0, \ldots , p - 1\} $ then we set

\[ \gamma _ n(x) = c_ n x^{a_0} \delta (x)^{a_1} \ldots \delta ^ e(x)^{a_ e} \]

for $c_ n \in \mathbf{Z}_{(p)}$ defined by

\[ c_ n = {(p!)^{a_1 + a_2(1 + p) + \ldots + a_ e(1 + \ldots + p^{e - 1})}}/{n!}. \]

Now we have to show the axioms (1) – (5) of a divided power structure, see Definition 23.2.1. We observe that (1) and (3) are immediate. Verification of (2) and (5) is by a direct calculation which we omit. Let $x, y \in I$. We claim there is a ring map

\[ \varphi : \mathbf{Z}_{(p)}\langle u, v \rangle \longrightarrow A \]

which maps $u^{[n]}$ to $\gamma _ n(x)$ and $v^{[n]}$ to $\gamma _ n(y)$. By construction of $\mathbf{Z}_{(p)}\langle u, v \rangle $ this means we have to check that

\[ \gamma _ n(x)\gamma _ m(x) = \frac{(n + m)!}{n!m!} \gamma _{n + m}(x) \]

in $A$ and similarly for $y$. This is true because (2) holds for $\gamma $. Let $\epsilon $ denote the divided power structure on the ideal $\mathbf{Z}_{(p)}\langle u, v\rangle _{+}$ of $\mathbf{Z}_{(p)}\langle u, v\rangle $. Next, we claim that $\varphi (\epsilon _ n(f)) = \gamma _ n(\varphi (f))$ for $f \in \mathbf{Z}_{(p)}\langle u, v\rangle _{+}$ and all $n$. This is clear for $n = 0, 1, \ldots , p - 1$. For $n = p$ it suffices to prove it for a set of generators of the ideal $\mathbf{Z}_{(p)}\langle u, v\rangle _{+}$ because both $\epsilon _ p$ and $\gamma _ p = \delta $ satisfy properties (1) and (3) of the lemma. Hence it suffices to prove that $\gamma _ p(\gamma _ n(x)) = \frac{(pn)!}{p!(n!)^ p}\gamma _{pn}(x)$ and similarly for $y$, which follows as (5) holds for $\gamma $. Now, if $n = a_0 + a_1p + \ldots + a_ e p^ e$ is an arbitrary integer written in $p$-adic expansion as above, then

\[ \epsilon _ n(f) = c_ n f^{a_0} \gamma _ p(f)^{a_1} \ldots \gamma _ p^ e(f)^{a_ e} \]

because $\epsilon $ is a divided power structure. Hence we see that $\varphi (\epsilon _ n(f)) = \gamma _ n(\varphi (f))$ holds for all $n$. Applying this for $f = u + v$ we see that axiom (4) for $\gamma $ follows from the fact that $\epsilon $ is a divided power structure. $\square$

Comments (0)

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