The Stacks project

Tiny fixes

Remove a long proof and improve the short one

Sad, but the long algebraic proof was just too long

Typo in restricted

Much better proof of Tag 0ALT

On the other hand, this proof uses quite a bit of the theory of
algebraic spaces... whereas the statement is completely in commutative
algebra. Although of course the statement is motivated by thinking about
algebraic spaces in the first case... Oh well, this gives the reader a
choice of either reading a nice geometric argument or reading a long
complicated commutative algebra one using the naive cotangent complex...

Fix references

Add more detail in descend lemma

One more FIXME to go

Fix the first FIXME in restricted.tex

Finally we have a good approach to the remark on higher Exts from an
I-power torsion module into an arbitrary module. Also, now the
treatement of the derived category of complexes with torsion cohomology
modules parallels better the treatement of derived complete complexes.

Added a new chapter entitled "Restricted Power Series"

Not completely happy with the title yet, but we can change it later

Tags: Added new tags

Fix a reference

Elkik's algebraization in general

This large set of changes finally gives a ``good'' proof of Elkik's
algebraization of rig-etale algebras. Note the fun lemma descending
a given deformation through an \'etale map which is an isomorphism
along the non-\'etale locus!