V5D4: Introduction to Microlocal Sheaf Theory

University of Bonn, Summer Semester 2026

  • Room: N0.008, Endenicher Allee 60
  • Time: Mondays, 10:15 – 11:45 (10:00 c.t.)
  • Dates: April 13 to July 20
  • Course description

Course Materials

I am writing notes for the class; upcoming content is available here: Notes.

Handwritten notes from the first introductory lecture can be found here. They largely overlap with my expository talks: [1], [2], and [3].

Schedule

#DateContents
14.13Introduction
24.20A sketch of higher category theory
34.27Limits and colimits; presentability
45.04Anima-valued sheaves; stability
55.10Spectra-valued sheaves; Lurie tensor product; Künneth formula
65.18Covariant Verdier duality
75.25Pfingsten holiday
86.01Category of correspondences
96.08Six-functor formalism over spectra
106.15Six-functor formalism over general coefficients
116.22Support and microsupport
126.29Microsupport and compatilibty with six-functors
137.06Guillermou-Kashiwara-Schapira sheaf quantization

Oral Exams

Participants can choose one of the following dates:

  • July 27 and 28
  • September 16 and 17

A list of questions is now available here: Oral Exam.

Sign-up sheet will be available near the end of the semester.