Home Research Teaching
Seminar on Derived Algebraic Geometry

Seminar on Derived Algebraic Geometry - Fall 2021


Seminar notes:

DAGS These are still a work in progress and probably still contain many errors. Please e-mail me if you find any or have any comments.

  1. Talk 1 (6 Sep.)
  2. Talk 2 (8 Sep.)
  3. Talk 3 (13 Sep.)
  4. Talk 4 (15 Sep.)
  5. Talk 5 (20 Sep.)
  6. Talk 6 (27 Sep.)
  7. Talk 7 (29 Sep.)
  8. Talk 8 (4 Oct.)
  9. Talk 9 (6 Oct.)
  10. Talk 10 (11 Oct.)
  11. Talk 11 (18 Oct.)
  12. Talk 12 (20 Oct.)
  13. Talk 13 (25 Oct.)
  14. Talk 14 (27 Oct.)
  15. Talk 15 (1 Nov.)
  16. Talk 16 (3 Nov.)
  17. Talk 17 (8 Nov.)
  18. Talk 18 (10 Nov.)
  19. Talk 19 (15 Nov.)
  20. Talk 20 (17 Nov.)
  21. Talk 21 (22 Nov.)
  22. Talk 22 (24 Nov.)
  23. Talk 23 (29 Nov.)
  24. Talk 24 (1 Dec.)
  25. Talk 25 (6 Dec.)

References:

It is hard to give references to learn this material that are approachable for a beginner. He are some of the materials that I used while preparing these notes.
  1. J. Lurie - Higher Topos Theory - the source with most of the technical results one might need while working with oo-categories. The book takes quasi-categories as its working model, however it uses different models for certain important constructions. Chapter 1 is very approachable and gives a good summary of the theory for beginners.
  2. Chapter 1 of J. Lurie - Higher Algebra - chapter develops the analog of abelian categories in the context of oo-categories, i.e. stable oo-categories. This is extremely relevant since in derived algebra geometry most sheaves will take place in stable oo-categories.
  3. C. Rezk - Introduction to Quasicategories: C. Rezk is writing a very nice and self-contained notes developing all operations of category theory fully within the model of quasi-categories. He's approach is closer to Joyal's historical work and is a ''lecture notes'' presentation (he nicely explains what that means in the introduction).
  4. M. Groth - A short course on oo-categories: this reference discusses oo-categories also using the model of quasi-categories it can be taken as an introduction to HTT and certain parts of HA.
  5. Chapter 1 of D. Gaitsgory and N. Rozenblyum - A study in derived algebraic geometry: Volume I: this chapter gives a concise introduction for practical knowledge assuming that one defined the basics of the theory.
  6. E. Riehl and D. Verity - Elements of oo-Category Theory: book embarks in developing the category theory in a mode-independent way starting with the assumption that one has at least one model for the homotopy 2-category of (oo,1)-categories.
  7. A. Mazel-Gee - The Zen of oo-categories: these short notes by Aaron Mazel-Gee give a good intuition, from a model-independet point of view, for what are key features about oo-categories (specially section 5).
  8. J. Bergner - The homotopy theory of (oo,1)-categories: is a very approachable book where one can find careful definitions of many models for oo-categories and proofs or great sketches for why they are equialent. See also this notes by J. Bergner that serve as an introduction to the book.
  9. J. Lurie - Kerodon: this growing online repository has a very user-friendly development of oo-categories and possibly more topics to come. The presentation is structured differently than HTT and it can serve as a good complementary/introduction to reading it.
  10. B. Toën and G. Vezzosi - Homotopical Algebraic Geometry I: this volume develops background material on oo-topoi and stable categories from the point of view of model categories.
  1. J. Lurie - Derived algebraic geometry: this is much shorter and a bit less comprehensive than other texts, but it is slightly more informal which makes for a great introduction to this material.
  2. Chapter 7 of J. Lurie - Higher Algebra: this develops the basics of the theory of affine derived geometry. In fact, the chapter is more general since it treats E_k-algebras and their modules, we will be interested only in the E_oo case. It relies on certain previous sections of the both, but can be approached almost independently.
  3. D. Gaitsgory and N. Rozenblyum - A study in derived algebraic geometry Volumes I and I: Chapter 2 of Volume I gives a good summary of many formal properties of DAG from a functor of points perspective. Chapter 1 of Volume II develops the theory of the cotangent complex in great generality.
  4. J. Lurie - Spectral Algebraic Geometry: this develops the non-affine part of the theory in the most general of contexts. It is technically outside the scope of what we want to understand, but it might contain useful general results and discussion, specially in the introduction to different chapters.
  5. B. Toën and G. Vezzosi - Homotopical Algebraic Geometry II: also using model categories, this volume presents a framework of "homotopical context" that can be used to develop the theory of classical higher stacks (`a la Simpson), derived algebraic geometry over cdgas, or over E_{oo}-rings.
Many people ran seminars and courses on this. I am not following any other course in particular, but I borrowed and learned from some of the following.
  1. B. Toën - Derived Algebraic Geometry: reference gives a great summary of theory with a short introduction to oo-categories included as well as many applications to the construction of moduli spaces, and an introduction to shifted symplectic geometry.
  2. M. Porta ran a couple of seminars on this: you can find very useful material on his page.
  3. P. Safronov also ran a seminar: you can find some notes here.