The Stacks project

More splitting out of lemmas

More moving around and spelling out of results

Just trying to make sense out of the already proven statements

Split out lemmas in pione.tex

State explicitly that one wants results on the completion functor for
coherent modules in order to prove results on restriction functors for
finite etale coverings

An upgrade and a downgrade in algebraization.tex

Mistakenly identified local cohomology module led to an error in a lemma
that doesn't have a tag yet (thank goodness).

Upgrade discussion pione.tex

Namely, try to more intelligently use the new material in the chapter on
algebraic and formal geometry

New chapter 'Algebraic and Formal Geometry'

Change labels to avoid conflict in next commit

Move a section

Three new chapters

Titles: "Duality for Schemes", "Discriminants", "Local Cohomology"

Corrected typos in files etale-cohomology.tex more-algebra.tex more-morphisms.tex pione.tex resolve.tex restricted.tex

Move sections into new chapter

In particular we now have
-- definition of pi_1
-- purity of branch locus
in the chapter on fundamental groups

Move sections into new chapter

In particular we now have
-- definition of pi_1
-- purity of branch locus
in the chapter on fundamental groups

Fix some typos

Tags: Added new tags

Optimal local Lefschetz for pi_1

It seems to me that this is the best one can hope for, but of course I
may be wrong. Please email me if so.