Geometric sequel to last semester’s informal category O grad seminar
Our goal is to understand the basic tools of geometric representation
theory. Geometric representation theory attempts to understand symmetry
objects like groups, Lie algebras, quantum groups, etc via their actions
on objects of a geometric nature – which are expected to be more
fundamental than representation-theoretic data. As an example of the power
of these techniques, consider the independent geometric proofs of the
Kazhdan-Lusztig conjectues by Beilinson-Bernstein and Brylinski-Kashiwara.
This semester, we will attempt to understand at least some of the
following topics:
- D-modules
- Localization
- Perverse sheaves
- Proof of KL
- Springer theory
- Character sheaves
- Soergel bimodules
- Nakajima quiver varieties
Some references are:
- [Ga]: Gaitsgory, Lecture notes on geometric representation
theory
- [S]: Yi Sun, Part III essay on
D-modules
- [HM]: Ho, Minets, Lecture notes on D-modules in representation
theory
- [HTT]: Hotta, Takeuchi, Tanisaki, D-modules, perverse sheaves, and
representation theory
- [CG]: Chriss, Ginzburg, Representation theory and complex geometry
- [A]: Achar, Perverse sheaves and applications to representation
theory
- [EMTW]: Elias, Makisumi, Thiel, Williamson, Introduction to Soergel
Bimodules
- [Gi]: Ginzburg, Lectures on Nakajima’s quiver
varieties
Schedule
- Feb 02
- Organizational meeting
- Feb 09
- Fan Zhou
- D-modules, bare minimumz, part 1
- We discuss basics on D-modules. We plan to get to pushforwards and
pullbacks and Kashiwara’s theorem, with maybe some discussions of
consequences. No representation theory is happening this talk sadly.
- Feb 16
- Fan Zhou
- D-modules, bare minimumz, part 2
- We continue on D-module basics. We’ll try to give more examples this
time to build intiotion for how these things look and behave like. Having
spent too long on right-left transfer modules last time, hopefulle (we had
better!) get to pushforwards/pullbacks and Kashiwara.
- Feb 23
- Seminar cancelled
- Mar 02
- Fan Zhou
- D-modules, bare minimumz, part 3
- We finish preliminaries on D-modules by talking about consequences of
Kashiwara, the derived setting, and the de Rham complex. Next time we’ll
either give a crash course on algebraic groups or continue beyond bare
minimums in D-modules.
- Mar 09
- Fan Zhou
- brief interlude: refresher on algebraic groups
- We give a speedrun through the main dictionary/features of algebraic
groups. We will give no proofs – this is strictly a survey. The point is
to familiarize ourselves with the players on the field for our next talk,
when we finally begin representation theory.
- Mar 23
- Fan Zhou
- localization: d-modules and representationz
- We finally begin localization proper. We will begin by rushing through
the necessary constructions and stating the localization theorem. We’ll
also try to say something about Borel-Weil-Bott.
- Mar 30
- Fan Zhou
- proof of localization: d-modules and representationz, part 1
- We begin by computing an example of localization. Then we will sketch
the proof of localization and begin filling in the details. Hopefully this
will take two talks.
- Apr 06
- Fan Zhou
- proof of localization: d-modules and representationz, part 2
- We finish the proof of localization. Recall what was left was some
representation theory and some algebraic geometry. While the
representation theory outlook is not the standard, we will do it anyway.
Through the rep theory we will confirm that our statement of localization
has the correct twist.
- Apr 13
- Fan Zhou
- some more on D-modules and identifying some highest-weight modules in
the setup
- Previously, we only did the bare minimum on D-modules to prove
localization. Now we pay some old debts and say something more about
D-modules.
- Apr 20
- Kevin Chang
- The Riemann-Hilbert correspondence
- I’ll review constructible sheaves and then say a bit about the
Riemann-Hilbert correspondence.
- Apr 27
- Kevin Chang
- The Kazhdan-Lusztig conjectures
- In Fan’s most recent talk, we discussed the images of Vermas and simples
under Beilinson-Bernstein localization. The Riemann-Hilbert correspondence
turns these D-modules into perverse sheaves. I’ll explain how this leads
to a proof of the Kazhdan-Lusztig conjectures by relating the Hecke
algebra to the geometry of Schubert varieties.
- May 11
- Patrick Lei
- What’s the deal with Nakajima quiver varieties?
- I will introduce Nakajima quiver varieties and attempt to explain why so
many people care about them.
- Notes