Since the last update of June 2013 we have added the following material:

- Algebraicity of stack of coherent sheaves Tag 09DS
- Epp’s Theorem Tag 09F9 and Tag 09II
- Reduced fibre theorem Tag 09IL
- New chapter on fields Tag 09FA
- Perfect generator for D
_{QCoh}(X) for schemes Tag 09IS - Perfect generator for D
_{QCoh}(X) for algebraic spaces Tag 09IY - New chapter on differential graded algebra Tag 09JD
- Section on Noetherian schemes of dimension 1 Tag 09N7
- Finite set of codimension 1 points on separated scheme are in an affine Tag 09NN
- Section on curves Tag 0A22
- Versions of Avramov’s result Tag 09Q7 and Tag 09QF
- Obtaining triangulated categories Tag 09P5 written by John Yu and Yifei Zhao
- Rickard’s theorem Tag 09S5
- Section on compact objects Tag 09SM
- Section on generators in triangulated categories Tag 09SI
- D
_{QCoh}= D(QCoh) for Noetherian schemes Tag 09TI - D
_{QCoh}= D(QCoh) for Noetherian spaces Tag 09TH - Final exam commutative algebra Fall 2013 Tag 09TV
- Lots of stuff about pseudo-coherence
- Cohomology of locally compact spaces Tag 09V0
- Proper base change in topology 09V4
- New chapter on simplicial spaces Tag 09VI
- Cohomological descent for proper hypercoverings in topology Tag 09XA
- Section on henselian pairs Tag 09XD
- Finite cover by a scheme Tag 0ACX
- Partitions and stratifications Tag 09XY
- Bunch of stuff about limits of sites and spaces and cohomology
- Gabber’s result on Henselian pairs Tag 09Z8
- Theorem of formal functiosns via derived completion Tag 0A0H
- Lots of edits to the chapter on etale cohomology culminating in a proof of the proper base change theorem Tag 095S
- Cohomological dim <= Krull dim for spectral spaces Tag 0A3C
- Equivalence beteen torsion and derived complete modules Tag 0A6V
- Local duality a la Grothendieck Tag 0A81
- Brown representability for triangulated categories Tag 0A8E
- Final exam algebraic geometry Spring 2014 Tag 0AAL
- Bunch of stuff about twisted inverse image, dualizing complexes, upper shriek functors
- New mostly empty chapter on resolution of surfaces Tag 0ADW
- Algebraic spaces are schemes in codimension 1 Tag 0ADD
- Extremely careful discussion of points on fibres of morphisms of algebraic fibres and when this implies the morphism is quasi-finite at the points Tag 0AC0
- Finite groupoids Tag 0AB8
- fppf descent data for spaces over spaces are effective Tag 0ADV
- New chapter on pushouts of algebraic spaces Tag 0AHT including a discussion of something called formal glueing which should really have another name
- Regular local rings are UFDs Tag 0AFW
- Approximation for henselian pairs Tag 0AH4

This brings us up to July 1 of this year. At this point I decided to work out what happens with dilatations in Artin’s paper “Formal Moduli II”. In fact, I wrote a blog post trying to figure out what could be true. Anyway, it turns out that Artin’s theorem on dilatations holds without assuming the base Noetherian algebraic space is excellent and in the proof we don’t need to use Artin’s criteria. See Theorem Tag 0ARB and combined this with Lemma Tag 0ARX to obtain Artin’s theorem — I hope to discuss what these results mean in more detail in a later blog post. Here are some related and not so related changes to the Stacks project.

- A chapter on formal algebraic spaces. Our approach is somehow a combination of all approaches in the literature: EGA, McQuillan, Yasuda, Beilinson-Drinfeld, Abbes, Fujiwara-Kato, and Knutson. Namely, we define a formal algebraic space as an fppf sheaf on (Sch) which \’etale locally looks like an Ind-scheme whose transition morphisms are thickenings. For the Stacks project this approach turns out to be exactly the right one and many of the earlier results on algebraic spaces can be brought to bear to get ahead fairly quickly.
- A followup chapter discussing the notion of rig-etale (homo)morphisms ending with a proof of the algebraization theorem mentioned above. These rig-etale maps are used by Artin in his paper mentioned above to describe formal modifications and these (as well as the similarly defined rig-smooth ring maps) are the ring maps studied in Elkik’s famous paper.
- Adjoint functor theorem Tag 0AHM
- Remarkable result by Yasuda that every qcqs formal algebraic space is a filtered colimit of algebraic spaces along thickenings Tag 0AJD
- Non flat completions Tag 0AL8
- QCoh not abelian for formal algebraic spaces Tag 0ALF
- Ofer Gabber answered completely this question see Tag 0APW
- Algebraic spaces are fpqc sheaves by Ofer Gabber Tag 03W8

Enjoy!