Tate's paper

Wonderful!
Move a lemma

The proof uses divided power polynomial rings hence the lemma has to be
moved to a spot after the introduction of such.

Thanks to Matthieu ROMAGNY
A few more fixes in crystalline.tex

Thanks to Matthieu ROMAGNY
Add a proof
Uniquess of Tate resolutions
Relations produce obstructions to perfectness

This argument is apparantly due to Gulliksen.
Rodicio's lemma
The lemma we were looking for

See http://math.columbia.edu/~dejong/wordpress/?p=1564

Actually, it is pretty clear that you can make the argument work for the
non-Noetherian case as well.
Avramov's result

Finally!
New chapter on divided power algebra

Contains the rudiments of divided powers as well as the material on Tate
resolutions and its application to Avramov's theorem we just added.
Tags: Added new tags