The Stacks project

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Move sections around to fix forward references (more to come)

Formal glueing of derived complete modules

Derived complete things seem to be exactly the things that make this
argument work. Cool!

Tags: Added new tags

Small changes

	Some more changes (additional references etc) to the section on
	formal glueing.

Formal glueing

	Bhargav Bhatt submitted a write up on formal glueing that I
	edited to make it fit better with the stacks project. The
	statement implies for example the following: Suppose that C is a
	smooth curve over a field k and p a closed point of C. Then
	vector bundles over C are the same thing as triples (E, E', phi)
	where E is a vector bundle on C - {p}, E' is a vector bundle on
	the formal completion of C at p, and phi is an isomorphism
	between E and E' over the punctured formal completion of C at
	p. This is sometimes a good way to think about vector bundles
	(e.g. because the vectorbundle E is trivial if it has trivial
	determinant).

	Adding this caused me to start a new chapter on algebra called
	"More on Algebra". If you have a less prosaic title, then drop
	me an email.