Modern Techniques in Representation Theory (Spring 2021)
- Organizers: Cailan Li, Henry Liu, Mrudul Thatte
- Time/date: Fridays 4:00pm - 5:40pm Eastern Time (UTC−5:00)
- Location: online
This is an online learning seminar on modern techniques in representation theory, which will include: Soergel bimodules, parabolic category \(\mathcal{O}\), and KLR algebras.
Talks will roughly be 45 minutes followed by a 5-10 minute break followed by 45 more minutes.
Please email Cailan at ccl at math dot columbia dot edu if you would like to join the seminar, and/or for the password to access the recordings of the talks.
Rules for the seminar
- You must have an example/computation in \(\mathfrak{sl}_2\) or \(\mathfrak{sl}_3\) in your talk.
- You cannot give a slides talk unless your talk does not have an example/computation in \(\mathfrak{sl}_2\) or \(\mathfrak{sl}_3\).
- Turn your video on (for the most part) as a courtesy to the speaker.
- There are no dumb questions.
Please send your title and abstract to Cailan by Wednesday night, and your notes to Henry before your talk starts. If by some miracle you have your notes written and talk prepared by the end of Wednesday, you can include the notes in your email to Cailan.
Schedule
Fri Jan 22 |
Álvaro Martínez Introduction to Soergel Bimodules Soergel bimodules are a combinatorial categorification of the Hecke algebra, and can be used to give an algebraic proof of the Kazhdan-Lusztig conjecture. In this talk we will review preliminary notions such as the Hecke algebra of a Coxeter system, define Soergel bimodules and see some examples of categorification. Links: notes (PDF) and recording |
Fri Jan 29 |
Jin-Cheng Guu Pictorial presentation of 2-categories We will define 2-cats \(C\) and provide some examples. While different presentations of \(C\) are available, we will use the pictorial presentation as it sheds insight on the structure of \(C\). Then we will address a special case of 2-cats, the monoidal cats, which are ubiquitous in modern mathematics. A toy but important example is the Temperley-Lieb category. Interestingly, it has even more structures. We will see how those structures mean in the pictorial presentation. Links: notes (PDF) and recording |
Fri Feb 05 |
Micah Gay One-Colour Calculus (or: What Diagrammatics Can Do for You, if You’re a Bott-Samelson Bimodule Corresponding to a Simple Reflection) First, we will define Frobenius algebra objects for monoidal categories, and discuss how they arise in the case of Bott-Samelson bimodules. Then we will draw many, many pictures to develop the diagrammatics we discussed last time to describe Bott-Samelson bimodules corresponding to a simple reflection. Links: recording |
Fri Feb 12 |
Nikolay Grantcharov Parabolic Category O We introduce parabolic subalgebras and study basic properties of the parabolic analogue of BGG category O. In particular, we give a characterization of objects in parabolic category O in terms of their simple components, and we highlight the main differences with the standard BGG category O by illustrating an example for \(\mathfrak{sl}_3(\mathbb{C})\). Links: notes (PDF) and recording |
Fri Feb 19 |
Álvaro Martínez The Dihedral Cathedral We will develop a diagrammatic presentation for \(\mathbb{BS}\mathrm{Bim}\) in the case of dihedral groups, this time using two colors. Links: notes (PDF) and recording |
Fri Feb 26 |
Cailan Li Singular Soergel Bimodules We introduce Singular Soergel Bimodules and explain the connection with singular Category O. We then go over their diagrammatics in one color and afterwards explain the role they play in the algebraic Satake equivalence, in particular the connection to finite dimensional representations of lie algebras. Links: notes (PDF) and recording |
Fri Mar 05 |
Jin-Cheng Guu Koszul duality and Kazhdan-Lusztig conjecture Generalized Koszul dualities show up in many different contexts. Roughly speaking, they interchange simple objects of one category with projective objects of another category. As in the ext-sym example below, it's clear that two categories need not be the same. However, the Kazhdan-Lusztig conjecture (proved) suggests that there should be a Koszul self-duality on category O. It is more subtle however, as such phenomenon appears only when some suitable gradings are remembered (slogan: symmetries that show up only after deformation). In this talk, we will introduce Morita theory in both the classical and the differential-graded context. We will explain that the Koszul duality between the exterior algebra and symmetric algebra is an example of the latter. Time permitting, we will address Koszul duality for category O. Reference: chapters 26 and 27 of Introduction to Soergel Bimodules, 2020 Links: notes (PDF) and recording |
Fri Mar 12 | No seminar |
Fri Mar 19 |
Zhaoting Wei Koszul duality for algebras First I will introduce differential graded coalgebras, twisting morphisms, and bar-cobar adjunction. Then I will cover Koszul resolution and Koszul duality for quadratic algebras. The main examples are polynomial algebras and wedge algebras. I will mostly follow Differential Graded Algebras and Applications Chapter 2 by August, Booth, Cooke, and Weelinck, which is a abridged version of Algebraic Operads Chapter 1, 2, 3 by Loday. Links: recording |
Fri Mar 26 | No seminar |
Fri Apr 02 |
Nikolay Grantcharov Projective functors Projective functors are a generalization of translation functors and are defined as a summand of the tensoring with finite-dimensional Ug-module functor. We will outline a proof of the classification all such functors and describe their morphisms, following the original paper by Bernstein and Gelfand. We also discuss a nice proof of Duflo's theorem on the annihilator of a Verma module. Links: recording |
Fri Apr 09 |
Cailan Li Lusztig's Canonical Basis, Part I Given a vector space there are many bases. However, for quantum groups and their (integrable) representations, it turns out there is one particulary nice one, called the canonical basis. In the early 90's, Lusztig constructed this basis using equivariant perverse sheaves on the moduli space of representations of a quiver. We will give an introduction to this construction. We first motivate Lusztig's result by defining the Hall algebra of a quiver and their relationship to quantum groups. Using perverse sheaves, we will categorify multiplication in the Hall algebra and define a candidate for the categorification of the quantum group. Finally, we will compute the fundamental relations between certain simple perverse sheaves in preperation for Part II. References: [Schiffmann] Lectures on Canonical and Crystal Bases of Hall Algebras, [Kirillov Jr.] Quiver Representations and Quiver Varieties Links: notes (PDF) and recording |
Fri Apr 16 |
Cailan Li Lusztig's Canonical Basis, Part II We will first define a homomorphism from the Lusztig integral form of the upper half of the quantum group associated to a quiver into the Grothendieck group of the Hall category on that quiver. We then state the main theorem of the talk, and prove it in the case that the quiver is of finite type. As a result, we will be able to define the canonical basis of the quantum group, explain what makes it "canonical" and give examples for type A_2. The remainder of the talk will be a brief survey of the relationship between Lusztig's canonical bases with other topics in representation theory. Topics may include: Kazhdan-Lusztig basis, Crystal Basis, Quantum Symmetric Pairs, LLT conjecture and KLR algebras. Reference: [Schiffmann] Lectures on Canonical and Crystal Bases of Hall Algebras Links: notes (PDF) and recording |