This entry is to record the reference:
A study in derived algebraic geometry
Mathematical Surveys and Monographs 221
Americal Mathematical Society (2017)
on derived algebraic geometry with an eye towards the categorical geometric Langlands conjecture.
Dennis Gaitsgory, Notes on geometric Langlands [web]
Dennis Gaitsgory et. al.: Geometric representation theory, graduate seminar (2009-10) [web]
Preface
Introduction to Part I: Preliminaries
Chapter I.1: Some higher algebra
An introduction to -categories and review of Lurie’s books
Introduces (derived) prestacks, stacks, schemes and Artin stacks.
Introduces and studies the basic properties of the category of quasi-coherent sheaves on a prestack.
Introduction to Part II: Ind-coherent sheaves
Chapter II.1: Ind-coherent sheaves on schemes, pdf
Introduces and studies elementary properties of the stable (infinity,1)-category of ind-coherent sheaves on derived schemes.
Discusses how the system of stable (infinity,1)-categories of ind-coherent sheaves satisfies the formalism of six operations.
Discusses the relationship between the stable (infinity,1)-categories of quasi-coherent sheaves and ind-coherent sheaves.
Introduction to Part III: Inf-schemes
Chapter III.1: Deformation theory, pdf.
Sets up derived deformation theory.
Introduces inf-schemes?, which are algebro-geometric objects that include derived schemes and de Rham prestacks of schemes
Extends the formalism of ind-coherent sheaves to inf-schemes? and discusses functoriality.
Studies the six operations for D-modules.
Introduction to Part IV: Formal geometry
Chapter IV.1: Lie algebras and co-commutative co-algebras, pdf.
Sets up the theory of Lie algebras from the point of view of Koszul-Quillen duality?.
Reinterprets Jacob Lurie‘s theory of formal moduli problems using the language of inf-schemes?.
Explains how to pass between Lie algebras and formal groups within the framework of derived algebraic geometry.
Introduces Lie algebroids and studies various aspects of infinitesimal geometry?.
Studies various aspects of infinitesimal geometry, such as the n-th infinitesimal neighborhood.
Introduction to Part V: Categories of correspondences
Chapter V.1: The -category of correspondences
Introduces the formalism of correspondences.
Extends the theory of IndCoh from schemes to inf-schemes.
Shows how the formalism of correspondences encodes Serre duality
Introduction to Part A (appendix on -categories)
Chapter A.1: Basics of -categories
Defines -categories and introduces some basic constructions
Constructs the straightening/unstraightening procedures and the Yoneda embedding
Studies the procedure of passing to the adjoint 1-morphism
Last revised on May 1, 2025 at 04:53:22. See the history of this page for a list of all contributions to it.