Past Representation Theory Seminar

Abstract:  As is well known, every rational representation of a finite group $G$ can be realized over $\mathbb{Z}$, that is, the corresponding $\mathbb{Q}G$-module $V$ admits a $\mathbb{Z}$-form. Although $\mathbb{Z}$-forms are usually far from being unique, the famous Jordan--Zassenhaus Theorem shows that there are only finitely many $\mathbb{Z}$-forms of any given $\mathbb{Q}G$-module, up to isomorphism. Determining the precise number of these isomorphism classes or even explicit representatives is, however, a hard task in general. In this talk we shall be concerned with the case where $G$ is the symmetric group $\mathfrak{S}_n$ and $V$ is a simple $\mathbb{Q}\mathfrak{S}_n$-module labelled by a hook partition. Building on work of Plesken and Craig we shall present some results as well as open problems concerning the construction of the
integral forms of these modules. This is joint work with Tommy Hofmann from Kaiserslautern.

I will review the equivalence of categories of a Bernstein component of a p-adic classical group with the category of right modules over a certain affine Hecke algebra (with parameters) that I obtained previously. The parameters can be made explicit by the parametrization of supercuspidal representations of classical groups obtained by C. Moeglin, using methods of J. Arthur. Via this equivalence, I can show that the category of smooth complex representations of a quasisplit $p$-adic classical group and its pure inner forms is naturally decomposed into subcategories that are equivalent to the tensor product of categories of unipotent representations of classical groups (in the sense of G. Lusztig). All classical groups (general linear, orthogonal, symplectic and unitary groups) appear in this context.
 

According to the Harish-Chandra philosophy, cuspidal representations are the basic building blocks in the representation theory of finite reductive groups.  Similarly for supercuspidal representations of p-adic groups.  Self-dual representations play a special role in the study of parabolic induction.  Thus, it is of interest to know whether self-dual (super)cuspidal representations exist.  With a few exceptions involving some small fields, I will show precisely when a finite reductive group has irreducible cuspidal representations that are self-dual, of Deligne-Lusztig type, or both.  Then I will look at implications for the existence of irreducible, self-dual supercuspidal representations of p-adic groups.  This is joint work with Manish Mishra.

We construct triangle equivalences between singularity categories of
two-dimensional cyclic quotient singularities and singularity categories of
a new class of finite dimensional local algebras, which we call Knörrer
invariant algebras. In the hypersurface case, we recover a special case of Knörrer’s equivalence for (stable) categories of matrix factorisations.
We’ll then explain how this led us to study Ringel duality for
certain (ultra strongly) quasi-hereditary algebras.
This is based on joint work with Joe Karmazyn.

The smooth representation theory of a p-adic reductive group G with characteristic zero coefficients is very closely connected to the module theory of its (pro-p) Iwahori-Hecke algebra H(G). In the modular case, where the coefficients have characteristic p, this connection breaks down to a large extent. I will first explain how this connection can be reinstated by passing to a derived setting. It involves a certain differential graded algebra whose zeroth cohomology is H(G). Then I will report on a joint project with R. Ollivier in which we analyze the higher cohomology groups of this dg algebra for the group G = SL_2.

The smooth representation theory of a p-adic reductive group G

with characteristic zero coefficients is very closely connected to the

module theory of its (pro-p) Iwahori-Hecke algebra H(G). In the modular

case, where the coefficients have characteristic p, this connection

breaks down to a large extent. I will first explain how this connection

can be reinstated by passing to a derived setting. It involves a certain

differential graded algebra whose zeroth cohomology is H(G). Then I will

report on a joint project with

R. Ollivier in which we analyze the higher cohomology groups of this dg

algebra for the group G = SL_2.

Enhanced Langlands parameters for a p-adic group G are pairs formed by a Langlands parameter for G and an irreducible character of a certain component group attached to the parameter. We will first introduce a notion
of cuspidality for these pairs. The cuspidal pairs are expected to correspond to the supercuspidal irreducible representations of G via the local Langlands correspondence.
We will next describe a construction of  a cuspidal support map for enhanced Langlands parameters, the key tool of which is an extension to disconnected complex Lie groups of the generalized Springer correspondence due to Lusztig.
Finally, we will use this map to decompose  the set of enhanced Langlands parameters into Bernstein series.
This is joint work with Ahmed Moussaoui and Maarten Solleveld.

Let U be the quantized enveloping algebra coming from a semi-simple finite dimensional complex Lie algebra. Lusztig has defined a canonical basis B for the minus part of U- of U. It has the remarkable property that one gets a basis of each highest-weight irreducible U-module V, with highest weight vector v, as the set of all bv which are not 0, as b varies in B. It is not known how to give the elements b explicitly, although there are algorithms.

For each reduced expression of the longest word in the Weyl group, Lusztig has defined a PBW basis P of U-, and for each b in B there is a unique p(b) in P such that b = p(b) + a linear combination of p' in P where the coefficients are in qZ[q]. This is much easier in the simply laced case. I show that the set of p(b)v, where b varies in B and bv is not 0, is a basis of V, and I can explicitly exhibit this basis in type A, and to some extent in types B, C, D.

It is known that B and P are crystal bases in the sense of Kashiwara. I will define Kashiwara operators, and briefly describe Kashiwara's approach to canonical bases, which he calls global bases. I show how one can calculate the Kashiwara operators acting on P, in types A, B, C, D, using tableaux of Kashiwara-Nakashima.

We describe the representation theory of loop groups in
terms of K-theory and noncommutative geometry. For any simply
connected compact Lie group G and any positive integer level l we
consider a natural noncommutative universal algebra whose 0th K-group
can be identified with abelian group generated by the level l
positive-energy representations of the loop group LG.
Moreover, for any of these representations, we define a spectral
triple in the sense of A. Connes and compute the corresponding index
pairing with K-theory. As a result, these spectral triples give rise
to a complete noncommutative geometric invariant for the
representation theory of LG at fixed level l. The construction is
based on the supersymmetric conformal field theory models associated
with LG and it can be generalized, in the setting of conformal nets,
to many other rational chiral conformal field theory models including
loop groups model associated to non-simply connected compact Lie
groups, coset models and the moonshine conformal field theory. (Based
on a joint work with Robin Hillier)

Abstract: n-homological algebra was initiated by Iyama
via his notion of n-cluster tilting subcategories.
It was turned into an abstract theory by the definition
of n-abelian categories (Jasso) and (n+2)-angulated categories
(Geiss-Keller-Oppermann).
The talk explains some elementary aspects of these notions.
We also consider the special case of an n-representation finite algebra.
Such an algebra gives rise to an n-abelian
category which can be "derived" to an (n+2)-angulated category.
This case is particularly nice because it is
analogous to the classic relationship between
the module category and the derived category of a
hereditary algebra of finite representation type.
 

Firstly, we will discuss how the category of strict polynomial functors can be endowed with a monoidal structure, including concrete calculations. It is well-known that the above category is equivalent to the category of modules over the Schur algebra. The so-called Schur functor in turn relates the category of modules over the Schur algebra to the category of representations of the symmetric group which posseses a monoidal structure given by the Kronecker product. We show that the Schur functor is monoidal with respect to these structures.
Finally, we consider the right and left adjoints of the Schur functor. We explain how these can be expressed in terms of one another using Kuhn duality and the central role the monoidal structure on strict polynomial functors plays in this context.
 

We will briefly review the notions of Dirac cohomology and of $A_{\mathfrak{q}}(\lambda)$ modules of real reductive groups, and recall a formula for the Dirac cohomology of an $A_{\mathfrak{q}}(\lambda)$ module. Then we will discuss to what extent an $A_{\mathfrak{q}}(\lambda)$ module is determined by its Dirac cohomology. This is joint work with Jing-Song Huang and David Vogan.

I will explain how to relate the center of a cyclotomic quiver Hecke algebras to the cohomology of Nakajima quiver varieties using a current algebra action. This is a joint work with M. Varagnolo and E. Vasserot.
 

I will describe a categorical approach to analytic geometry using the theory of quasi-abelian closed symmetric monoidal categories which works both for Archimedean and non-Archimdedean base fields. In particular I will show how the weak G-topologies of (dagger) affinoid subdomains can be characterized by homological method. I will end by briefly saying how to generalize these results for characterizing open embeddings of Stein spaces. This project is a collaboration with Oren Ben-Bassat and Kobi Kremnizer.

We will discuss our approach to global analytic geometry, based on overconvergent power series and functors of functions. We will explain how slight modifications of it allow us to develop a derived version of global analytic geometry. We will finish by discussing applications to the cohomological study of arithmetic varieties.

I will talk in down to earth terms about several main features of this theory.

We describe how p-adic height pairings allow us to find integral points on hyperelliptic curves, in the spirit of Kim's nonabelian Chabauty program. In particular, we discuss how to carry out this ``quadratic Chabauty'' method over quadratic number fields (joint work with Amnon Besser and Steffen Mueller) and present related ideas to find rational points on bielliptic genus 2 curves (joint work with Netan Dogra).

Both sides of the geometric Langlands correspondence have natural Hecke
symmetries. I will explain an identification between the Hecke
symmetries on both sides via the geometric Satake equivalence. On the
abelian level it relates the topology of a variety associated to a group
and the representation category of its Langlands dual group.
 

I shall show that for every conjugacy class O in a connected semisimple algebraic group G over an algebraically closed field of characteristic good for G one can find a special transversal slice S to the set of conjugacy classes in G such that O intersects S and dim O=codim S. The construction of the slice utilizes some new combinatorics related to invariant planes for the action of Weyl group elements in the reflection representation. The condition dim O=codim S is checked using some new mysterious results by Lusztig on intersection of conjugacy classes in algebraic groups with Bruhat cells.

Let $G$ be a connected reductive group and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $Bun_G$ denote the stack of $G$-bundles on $X$. In analogy with the classical theory of Whittaker coefficients for automorphic functions, we construct a “Fourier transform” functor, called $coeff_{G}$, from the DG category of D-modules on $Bun_G$ to a certain DG category $Wh(G, ext)$, called the extended Whittaker category. Combined with work in progress by other mathematicians and the speaker, this construction allows to formulate the compatibility of the Langlands duality functor  $$\mathbb{L}_G : \operatorname{IndCoh}_{N}(LocSys_{\check{G}} ) \to D(Bun_G)$$ with the Whittaker model. For $G = GL_n$ and $G = PGL_n$, we prove that $coeff_G$ is fully faithful. This result guarantees that, for those groups, $\mathbb{L}_G$ is unique (if it exists) and necessarily fully faithful.

Factorization is a property of global objects that can be built up from local data. In the first half, we introduce the concept of factorization spaces, focusing on two examples relevant for the Geometric Langlands programme: the affine Grassmannian and jet spaces.

In the second half, factorization algebras will be defined including a discussion of how factorization spaces and commutative algebras give rise to examples. Finally, chiral homology is defined as a way to give global invariants of such objects.

This talk will be a brief introduction to some standard conjectures surrounding motivic L-functions, which might be viewed as the arithmetic motivation for Langlands reciprocity.

We will define the Ran space as well as Ran space versions of some of the prestacks we've already seen, and explain what is meant by the homology of a prestack. Following Gaitsgory and possibly Drinfeld, we'll show how the Ran space machinery can be used to prove that the space of rational maps is homologically contractible.

This talk will be an introduction to the notion of D-modules on

prestacks. We will begin by discussing Grothendieck's definition of

crystals of quasi-coherent sheaves on a smooth scheme X, and briefly

indicate how the category of such objects is equivalent to that of

modules over the sheaf of differential operators on X. We will then

explain what we mean by a prestack and define the category of

quasi-coherent sheaves on them. Finally, we consider how the

crystalline approach may be used to give a suitable generalization

of D-modules to this derived setting.

Infinity categories simultaneously generalize topological spaces and categories. As a result, their study benefits from a combination of techniques from homotopy theory and category theory. While the theory of ordinary categories provides a suitable context to analyze objects up to isomorphism (e.g. abelian groups), the theory of infinity categories provides a reasonable framework to study objects up to a weaker concept of identification (e.g. complexes of abelian groups). In the talk, we will introduce infinity categories from scratch, mention some of the fundamental results, and try to illustrate some features in concrete examples.

We will describe a generalization of the algebra of differential operators, which gives a

geometric approach to quantization of cotangent field theories. This construction is compatible

with "integration" thus giving a local-to-global construction of volume forms on derived mapping

spaces using a version of non-abelian duality. These volume forms give interesting invariants of

varieties such as the Todd genus, the Witten genus and the B-model operations on Hodge

cohomology.

In this talk, two concepts are brought together: Algebras with triangular decomposition (as studied by Bazlov & Berenstein) and pointed Hopf algebra. The latter are Hopf algebras for which all simple comodules are one-dimensional (there has been recent progress on classifying all finite-dimensional examples of these by Andruskiewitsch & Schneider and others). Quantum groups share both of these features, and we can obtain possibly new classes of deformations as well as a characterization of them.

In this talk I will introduce cluster categories and report on some new results on cluster categories of type E_6.