Past Algebra Seminar

Rational Cherednik algebra is a flat deformation of a skew product of the Weyl algebra and a Coxeter group W. I am going to discuss two interesting subalgebras of Cherednik algebras going back to the work of Hakobyan and the speaker from 2015. They are flat deformations of skew products of quotients of the universal enveloping algebras of gl_n and so_n, respectively, with W. They also have to do with particular nilpotent orbits and generalised Howe duality.  Their central quotients can be given as the algebra of global sections of sheaves of Cherednik algebras. The talk is partly based on a joint work with D. Thompson.

Let F be a p-adic local field and let G be a connected split reductive group over F. Let H be the pro-p Iwahori-Hecke algebra of the p-adic group G(F), with coefficients in an algebraically closed field k of characteristic p. The module theory over H (or a certain derived version thereof) is of considerable interest in the so-called mod p local Langlands program for G(F), whose aim is to relate the smooth modular representation theory of G(F) to modular representations of the absolute Galois group of F. In this talk, we explain a possible construction of a certain moduli space for those Galois representations into the Langlands dual group of G over k which are semisimple. We then relate this space to the geometry of H. This is work in progress with Cédric Pépin.

I will explain an ongoing program, joint with Kari Vilonen, that aims to study unitary representations of real reductive Lie groups using mixed Hodge modules on flag varieties. The program revolves around a conjecture of Schmid and Vilonen that natural filtrations coming from the geometry of flag varieties control the signatures of Hermitian forms on real group representations. This conjecture is expected to facilitate new progress on the decades-old problem of determining the set of unitary irreducible representations by placing it in a more conceptual context. Our results to date centre around the interaction of Hodge theory with the unitarity algorithm of Adams, van Leeuwen, Trapa, and Vogan, which calculates the signature of a canonical Hermitian form on an arbitrary representation by reducing to the case of tempered representations using deformations and wall crossing. Our results include a Hodge-theoretic proof of the ALTV wall crossing formula as a consequence of a more refined result and a verification of the Schmid-Vilonen conjecture for tempered representations.

Kazhdan-Lusztig polynomials are remarkable polynomials associated to pairs of elements in a Coxeter group W. They describe the base change between the standard and Kazhdan-Lusztig bases for the corresponding Hecke algebra. They were discovered by Kazhdan and Lusztig in 1979 and have found applications throughout representation theory and geometry. In 1987, Deodhar introduced the parabolic Kazhdan-Lusztig polynomials associated to a Coxeter group W and a standard parabolic subgroup P. These describe the base change between the standard and Kazhdan-Lusztig bases for the anti-spherical module for the Hecke algebra. (We recover the original definition of Kazhdan and Lusztig by taking the trivial parabolic subgroup).

(Anti-spherical) Hecke categories first rose to mathematical celebrity as the centrepiece of the proof of the (parabolic) Kazhdan-Lusztig positivity conjecture. The Hecke category categorifies the Hecke algebra and the anti-spherical Hecke category categorifies the anti-spherical module. More precisely, it was shown by Elias-Williamson (and Libedinsky-Williamson) that the (parabolic) Kazhdan-Lusztig polynomials are precisely the graded decomposition numbers for the (anti-spherical) Hecke categories over fields of characteristic zero, hence proving positivity of their coefficients.
The (anti-spherical) Hecke categories can be defined over any field. Their graded decomposition numbers over fields of positive characteristic p, the so-called (parabolic) p-Kazhdan-Lusztig polynomials, have been shown to have deep connections with the modular representation theory of reductive groups and symmetric groups. However, these polynomials are notoriously difficult to compute.
Unlike in the case of the ordinary (parabolic) Kazhdan-Lusztig polynomials, there is not even a recursive algorithm to compute them in general.
In this talk, I will discuss the representation of the anti-spherical Hecke categories for (W,P) a Hermitian symmetric pair, over an arbitrary field. In particular, I will explain why the decomposition numbers are characteristic free in this case.
This is joint work with C. Bowman, A. Hazi and E. Norton.

Let F be a p-adic local field and let G be a connected split reductive group over F. Let H be the pro-p Iwahori-Hecke algebra of the p-adic group G(F), with coefficients in an algebraically closed field k of characteristic p. The module theory over H (or a certain derived version thereof) is of considerable interest in the so-called mod p local Langlands program for G(F), whose aim is to relate the smooth modular representation theory of G(F) to modular representations of the absolute Galois group of F. In this talk, we explain a possible construction of a certain moduli space for those Galois representations into the Langlands dual group of G over k which are semisimple. We then relate this space to the geometry of H. This is a work in progress with Cédric Pépin.

Perverse sheaves are an indispensable tool in representation theory. Their stalks often encode important representation theoretic information such as composition multiplicities or canonical bases. For the nilpotent cone, there is an algorithm that computes these stalks, known as the Lusztig-Shoji algorithm. In this talk, we discuss how this algorithm can be modified to compute stalks of perverse sheaves on more general varieties. As an application, we obtain a new algorithm for computing canonical bases in certain quantum groups as well as composition multiplicities for standard modules of the affine Hecke algebra of $\mathrm{GL}_n$.

(jt work with David Cushing and George Stagg)

Prolog is a rather unusual programming language that was developed by Alain Colmerauer 50 years ago in one of the buildings on the way to the CIRM in Luminy. It is a declarative language that operates on a paradigm of first-order logic -- as distinct from imperative languages like C, GAP and Magma. Prolog operates by loading in a list of axioms as input, and then responds at the command line to queries that ask the language to achieve particular goals, given those axioms. It gained some notoriety through IBM’s implementation of ‘Watson’, which was a system designed to play the game show Jeopardy. Through a very efficiently implemented constraint logic programming module, it is also the worlds fastest sudoku solver. However, it has had barely any serious employment by pure mathematicians. So the aim of this talk is to advertise Prolog through an extended example: my co-authors and I used it to search for new simple Lie algebras over the field GF(2) and were able to classify a certain flavour of absolutely simple Lie algebra in dimensions 15 and 31, discovering a dozen or so new examples. With some further examples in dimension 63, we then extrapolated two previously undocumented infinite families of simple Lie algebras.

I will explain how bornological and condensed structures can both be described as algebraic theories. I will also show how this permits the construction of functors between bornological and condensed structures. If time permits I will also briefly describe how to compare condensed derived geometry and bornological derived geometry and sketch how they relate to analytic geometry and Arakelov geometry

The local Langlands conjectures connect representations of p-adic groups to certain representations of Galois groups of local fields called Langlands parameters.  Recently, there has been a shift towards studying representations over more general coefficient rings and towards certain categorical enhancements of the original conjectures.  In this talk, we will focus on representations over coefficient rings with p invertible and how the corresponding category of representations of the p-adic group decomposes.  

In the last few years, major advances have been made in our understanding of the representation theory of reductive algebraic groups over algebraically closed fields of positive characteristic. Four key tools which are central to this progress are highest weight theory, reduction to the principal block, wall-crossing functors, and tilting modules. When considering instead the representation theory of the Lie algebras of these algebraic groups, more subtleties arise. If we look at those modules whose p-character is in so-called standard Levi form we are able to recover the four tools mentioned above, but they have been less well-studied in this setting. In this talk, we will explore the similarities and differences which arise when employing these tools for the Lie algebras rather than the algebraic groups. This research is funded by a research fellowship from the Royal Commission for the Exhibition of 1851.

We discuss the Local Langlands correspondence in connection with the Bernstein center and the Stable Bernstein center. We also give an example of stable Bernstein center as a stable essentially compact invariant distribution.

Fibres coming from the Springer resolution on the nilpotent cone are incredibly rich algebraic varieties that have many applications in representation theory and combinatorics. Though their geometry can be very difficult to describe in general, in type A at least, their irreducible components can be described using standard Young tableaux, and this can help describe their geometry in small dimensions. In this talk, I will report on recent and ongoing work with Lewis Topley and separately Daniele Rosso on geometrical and combinatorial applications of the classical ‘type A’ Springer fibres and the ‘exotic’ type C Springer fibres coming from Kato’s exotic Springer correspondence.

Khovanov-Rozansky homology is a link invariant that categorifies the HOMFLY-PT polynomial. I will describe a geometric model for this invariant, living in the monodromic Hecke category. I will also explain how it allows to identify objects representing graded pieces of Khovanov-Rozansky homology, using a remarkable family of character sheaves. Based on joint works with Roman Bezrukavnikov.

In this talk we will present some work in progress generalising Lubin-Tate formal group laws to higher dimensions. There have been some other generalisations, but ours is different in that the ring over which the formal group law is defined changes as the dimension increases. We will state some conjectures about these formal group laws, including their relationship to the Drinfeld tower over the p-adic upper half plane, and provide supporting evidence for these conjectures.

We outline Dirac cohomology for Lie algebras and Vogan’s conjecture. We then cover some basic material on Schur-Weyl duality and Arakawa-Suzuki functors. Finishing with current efforts and results on generalising Vogan’s conjecture to a Schur-Weyl duality setting. This would relate the centre of a Lie algebra with the centre of the relevant tantaliser algebra. We finish by considering a unitary module X and giving a bound on the action of the tantalizer algebra.

A finite W-algebra is a gadget associated to each nilpotent orbit in a complex semisimple Lie algebra g. There is a functor from W-modules to a full subcategory of g-modules, known as Skryabin’s equivalence, and every primitive ideals of the enveloping algebra U(g) as the annihilator of a module obtained in this way. This gives a convenient way of organising together primitive ideals in terms of nilpotent orbits, and this approach has led to a resurgence of interest in some hard open problems which lay dormant for some 20 years. The primitive ideals of U(g) which come from one-dimensional representations of W-algebras are especially nice, and we shall call them Losev—Premet ideals. The goal of this talk is to explain my recent work which seeks to: (1) describe the structure of the space of the dimensional representations of a finite W-algebra and (2) classify the Losev—Premet ideals.

I will discuss algebraic conditions that for a given group guarantee or characterize the vanishing of cohomology in a given degree with coefficients in any unitary representation. These conditions will be expressed in terms positivity of certain elements over group algebras, where positivity is meant as being a sum of hermitian squares. I will explain how conditions like this can be used to give computer-assisted proofs of vanishing of cohomology. 

Harish-Chandra's Lefschetz principle suggests that representations of real and p-adic split reductive groups are closely related, even though the methods used to study these groups are quite different. The local Langlands correspondence (as formulated by Vogan) indicates that these representation theoretic relationships stem from geometric relationships between real and p-adic Langlands parameters. In this talk we will discuss how the geometric structure of real and p-adic Langlands parameters lead to functorial relationships between representations of real and p-adic groups. I will describe work in progress which applies this functoriality to the study of unitary representations and signatures of invariant hermitian forms for GL(n). The main result expresses signatures of invariant hermitian forms on graded affine Hecke algebra modules in terms of signature characters of Harish-Chandra modules, which are computable via the unitary algorithm for real reductive groups by Adams-van Leeuwen-Trapa-Vogan.

Let F be a p-adic field, and k an algebraically closed field of characteristic l different from p. In this talk, we will first give a category decomposition of Rep_k(SL_n(F)), the category of smooth k-representations of SL_n(F), with respect to the GL_n(F)-equivalent supercuspidal classes of SL_n(F), which is not always a block decomposition in general. We then give a block decomposition of the supercuspidal subcategory, by introducing a partition on each GL_n(F)-equivalent supercuspidal class through type theory, and we interpret this partition by the sense of l-blocks of finite groups. We give an example where a block of Rep_k(SL_2(F)) is defined with several SL_2(F)-equivalent supercuspidal classes, which is different from the case where l is zero. We end this talk by giving a prediction on the block decomposition of Rep_k(A) for a general p-adic group A.

The work of Kraft-Procesi classifies closures of nilpotent orbits that are normal in the cases of classical complex Lie algebras. Subsequent work of Ranee Brylinsky combines this work with the Theta correspondence as defined by Howe to attach a representation of the corresponding complex group. It provides a quantization of the closure of a nilpotent orbit. In joint work with Daniel Wong, we carry out a detailed analysis of these representations viewed as (\g,K)-modules of the complex group viewed as a real group. One consequence is a "representation theoretic" proof of the classification of Kraft-Procesi.

By a classical theorem of Jordan, every faithful transitive action of a nontrivial finite group admits a derangement (an element with no fixed points). More recently, the existence of derangements with additional properties has attracted much attention, especially for primitive actions of almost simple groups. Surprisingly, there exist almost simple groups with elements that are derangements in every faithful primitive action; we say that these elements are totally deranged. I'll talk about ongoing work to classify the totally deranged elements of almost simple groups, and I'll mention how this solves a question of Garzoni about invariable generating sets for simple groups.

Let G(R) be the real points of a complex reductive algebraic group G. There are many difficult questions about admissible representations of real reductive groups which have (relatively) easy answers in the case of complex groups. Thus, it is natural to look for a relationship between representations of G and representations of G(R). In this talk, I will introduce a functor from admissible representations of G to admissible representations of G(R). This functor interacts nicely with many natural invariants, including infinitesimal character, associated variety, and restriction to a maximal compact subgroup, and it takes unipotent representations of G to unipotent representations of G(R).

In the first half of the talk, we will explore the concept of a characteristic class of a subvariety in a smooth ambient space. We will focus on the so-called stable envelope class,  in cohomology, K theory, and elliptic cohomology (due to Okoukov-Maulik-Aganagic). Stable envelopes have rich algebraic combinatorics, they are at the heart of enumerative geometry calculations, they show up in the study of associated (quantum) differential equations, and they are the main building blocks of constructing quantum group actions on the cohomology of moduli spaces.

In the second half of the talk, we will study a generalization of Nakajima quiver varieties called Cherkis’ bow varieties. These smooth spaces are endowed with familiar structures: holomorphic symplectic form, tautological bundles, torus action. Their algebraic combinatorics features a new powerful operation, the Hanany-Witten transition. Bow varieties come in natural pairs called 3d mirror symmetric pairs. A conjecture motivated by superstring theory predicts that stable envelopes on 3d mirror pairs are equal (in a sophisticated sense that involves switching equivariant and Kahler parameters). I will report on a work in progress, with T. Botta, to prove this conjecture.

We prove a positive characteristic analogue of the classical result that the centralizer of a nonconstant differential operator in one variable is commutative. This leads to a new, short proof of that classical characteristic zero result, by reduction modulo p. This is joint work with Justin Desrochers available at https://arxiv.org/abs/2201.04606.

Since their introduction in 1928 by Paul A. Dirac, Dirac operators have been playing essential roles in many areas of Physics and Mathematics. In particular, they provide powerful and efficient tools to clarify (and sometimes solve) important problems in representation theory of real Lie groups, p-adic groups or Hecke algebras, such as classification, unitarity and geometric realization. In this representation theoretic context, the Dirac index of a Harish-Chandra module is a virtual module induced by Vogan’s Dirac cohomology. Once we observe that Dirac index commutes with translation functors, we will associate a polynomial (on a Cartan subalgebra) with a coherent family of Harish-Chandra modules. Then we shall explain how this polynomial can be used to connect nilpotent orbits, associated cycles and the leading term of the Taylor expansion of the characters of Harish-Chandra modules. This is joint wok with P. Pandzic, D. Vogan and R. Zierau.