At some point in the distant future we may want to work with Divided Power structures if I ever get around to crystalline cohomology, so why not start writing about it now? Basically this is how we are going to be able to talk about things that require division when working in positive characteristic. Today we’ll just quickly give the definition and then a bunch of easy examples.
Suppose is a commutative ring and an ideal. Divided powers on are a collection of maps for all integers for which we have the following five properties:
1. For all , , and
2. For we have
3. For , , we have
4. For we have , where
5. where , the number of partitions of a set with elements into subsets with each.
You may have noticed that these conditions seem to just be a formal encoding of the power map from characteristic . You’d be wrong, but basically correct. A close examination of the fourth condition actually gives that the map must be when dividing makes sense (i.e. is a -algebra).
We say is a P.D. ideal, is a P.D. ring and is a P.D. structure on . Of course, P.D. stands for “Divided Power”. OK, not really, it stands for “Puissances Divisees” which is just french for divided powers. We may want to form this into a category, so we’ll say a P.D. morphism is a ring map with the property and it commutes with the divided powers for all .
We already gave the -algebra example. In fact, in that case every ideal has that as its unique P.D. structure. For any ring, together with and is a P.D. structure. The first interesting example is to let be a DVR of unequal characteristic with uniformizing parameter . Recall that if , then is the absolute ramification index of . We get that has a P.D. structure if and only if . In particular, if is perfect, then since is absolutely unramified has a unique P.D. structure on it.
We can also define subobjects in the obvious way. If is a P.D. ideal, then another ideal is a sub P.D. ideal if for any . In other words, the P.D. structure restricts to be a P.D. structure on the smaller ideal.
Let’s end with a nice little lemma for how find sub P.D. ideals. Suppose is a P.D. algebra, a subset and the ideal generated by . We have that is a sub P.D. ideal if and only if for all .
Here is the proof. By definition if it is a sub P.D. ideal, then . That direction is done. Now suppose for all . Let be the subset of of the for which for all . By assumption and construction . By definition of generation, if is an ideal, then and we are done. Choose and fix . Now since is an ideal. Thus . Lastly, suppose , then using an ideal again , so . Thus is an ideal which proves the lemma.