Past Junior Algebra and Representation Theory Seminar

A complex irreducible admissible representation of a reductive p-adic group is typically infinite-dimensional. To quantify the "size" of such representations, we introduce the concept of canonical dimension. To do so we have to discuss the Moy-Prasad filtrations. These are natural filtrations of the parahoric subgroups. Next, we relate the canonical dimension to the Harish-Chandra local character expansion, which expresses the distribution character of an irreducible representation in terms of nilpotent orbital integrals. Using this, we consider the wavefront set of a representation. This is an invariant the naturally arises from the local character expansion. We conclude by explaining why the canonical dimension might be considered a weaker but more computable alternative to the wavefront set.

The Iwasawa main conjecture, first developed in the 1960s and later generalised to a modular forms setting, is the prediction that algebraic and analytic constructions of a p-adic L-function agree. This has applications towards the Birch—Swinnerton-Dyer conjecture and many similar problems. This was proved by Kato (’04) and Skinner—Urban (’06) for ordinary modular forms. Progress in the non-ordinary setting is much more recent, requiring tools from p-adic Hodge theory and rigid analytic geometry. I aim to give an overview of this and discuss a new approach in the setting of unitary groups where even more things go wrong.

The study of cohomology of infinite-dimensional Lie algebras was started by Gel'fand and Fuchs in the late 1960s. Since then, significant progress has been made, mainly focusing on the Witt algebra (the Lie algebra of vector fields on the punctured affine line) and some of its subalgebras. In this talk, I will explain the basics of Lie algebra cohomology and sketch the computation of the first cohomology group of certain subalgebras of the Witt algebra known as submodule-subalgebras. Interestingly, these cohomology groups are, in some sense, controlled by the cohomology of the Witt algebra. This can be explained by the fact that the Witt algebra can be abstractly reconstructed from any of its submodule-subalgebras, which can be described as a universal property satisfied by the Witt algebra.

The mod p Langlands program is an attempt to relate mod p Galois representations of a local field to mod p representations of the p-adic points of a reductive group. This is inspired by the classical local Langlands (l-adic coefficients) and it is partially a stepping stone towards the p-adic Langlands (p-adic coefficients). I will explain this for GL2/Qp, where one can explicitly describe both sides, and I will relate it to congruences between modular forms. 

Given a group G and a field k, we can "twist" the multiplication of the group algebra kG by a 2-cocycle, and the result is a twisted group algebra. Twisted group algebras arise as direct sums of blocks of group algebras, and so are of interest in representation and block theory. In this talk we will discuss some recently obtained results on the first Hochschild cohomology of twisted group algebras, in particular that these cohomology groups are nontrivial whenever G is a finite simple group.

In this talk, I give a statement of the “Galois to automorphic” direction of categorical geometric Langlands. I will describe the Galois and automorphic side, the Hecke action on both sides, and the definition of Hecke eigensheaves. On the way, I hope to give motivation for the various objects at play : the stack of $G^L$ local systems on the fixed curve $X$, the stack of $G$ bundles on $X$, $D$-modules, arc groups, loop groups, the affine Grassmannian, and geometric Satake.

In the theory of relative algebraic geometry, our affines are objects in the opposite category of commutative monoids in a symmetric monoidal category $\mathcal{C}$. This categorical approach simplifies many constructions and allows us to compare different geometries. Toën and Vezzosi's theory of homotopical algebraic geometry considers the case when $\mathcal{C}$ has a model structure and is endowed with a compatible symmetric monoidal structure. Derived algebraic geometry is recovered when we take $\mathcal{C}=\textbf{sMod}_k$, the category of simplicial modules over a simplicial commutative ring $k$.

In Kremnizer et al.'s version of derived analytic geometry, we consider geometry relative to the category $\textbf{sMod}_k$ where $k$ is now a simplicial commutative complete bornological ring. In this talk we discuss, from an algebraist's perspective, the main ideas behind the theory of relative algebraic geometry and discuss briefly how it provides us with a convenient framework to consider derived analytic geometry. 

Quantum toroidal algebras $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ are certain Drinfeld quantum affinizations of quantum groups associated to affine Lie algebras, and can therefore be thought of as `double affine quantum groups'.

In particular, they contain (and are generated by) a horizontal and vertical copy of the affine quantum group. 

Utilising an extended double affine braid group action, Miki obtained in type $A$ an automorphism of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ which exchanges these subalgebras. This has since played a crucial role in the investigation of its structure and representation theory.

In this talk I shall present my recent work -- which extends the braid group action to all types and generalises Miki's automorphism to the ADE case -- as well as potential directions for future work in this area.

The crepant resolutions of a singular threefold are related by a finite sequence of birational maps called flops. In the simplest cases, this network of flops is governed by simple combinatorics. I will begin the talk with an overview of flops and crepant resolutions. I will then move on to explain how their underlying combinatorial structure can be abstracted to define the notion of a cluster category.

Let $G$ be a $p$-adic Lie group. From the perspective of $p$-adic manifolds, possibly the most natural $p$-adic representations of $G$ to consider are the locally analytic ones.  Motivated by work of Pan, when $G$ acts on a rigid analytic variety $X$ (e.g., the flag variety), we would like to geometrise locally analytic $G$-representations, via a covariant localisation theory which should intertwine Schneider-Teitelbaum's duality with the $p$-adic Beilinson-Bernstein localisation. I will report some partial progress in the simplified situation when we replace $G$ by its germ at $1$. The main ingredient is an infinite jet bundle $\mathcal{J}^\omega_X$ which is dual to $\widehat{\mathcal{D}}_X$. Our "co"localisation functor is given by a coinduction to $\mathcal{J}^\omega_X$. Work in progress.

I'll briefly explain quantum groups and $R$-matrices and why they're the same thing. Then we'll see how to construct various $R$-matrices from Nakajima quiver varieties and some possible applications.

Perverse sheaves are an indispensable tool in geometric representation theory that can be used to construct representations and compute composition multiplicities. These ‘sheaves’ live in a certain $\ell$-adic derived category. In this talk we will discuss a beautiful construction of this category based on the pro-étale topology and explore some applications in representation theory.

Let $X$ denote an open subset of $\mathbb{C}^d$, and $\mathcal{O}$ its sheaf of holomorphic functions. In the 1970’s, Ishimura studied the morphisms of sheaves $P\colon\mathcal{O}\to\mathcal{O}$ of $\mathbb{C}$-vector spaces which are continuous, that is the maps $P(U)\colon\mathcal{O}(U)\to\mathcal{O}(U)$ on the sections are continuous. In this talk, we explain his result, and explore its analogues in the non-Archimedean world.

Donald Knutson proposed the conjecture, later disproven and refined by Savitskii, that for every irreducible character of a finite group, there existed a virtual character such their tensor product was the regular character. In this talk, we disprove both this conjecture and its refinement. We then introduce the Knutson Index as a measure of the failure of Knutson's Conjecture and discuss its algebraic properties.

The character table of GL(2,Fq), for a prime power q, was constructed over a century ago. Many of these characters were determined via the explicit construction of a corresponding representation, but purely character-theoretic techniques were first used to compute the so-called discrete series characters. It was not until the 1970s that Drinfeld was able to explicitly construct the corresponding discrete series representations via l-adic étale cohomology groups. This work was later generalised by Deligne and Lusztig to all finite groups of Lie type, giving rise to Deligne-Lusztig theory.

In a similar vein, we would like to construct the representations affording the (smooth) characters of compact groups like GL(2,Zp), where Zp is the ring of p-adic integers. Deligne-Lusztig theory suggests hunting for these representations inside certain cohomology groups. In this talk, I will consider one such approach using a non-archimedean analogue of de Rham cohomology.

Auslander-Reiten theory provides lots of powerful tools to study algebras of finite representation type. One of these is Auslander correspondence, a well-known result establishing a bijection between the class of algebras of finite representation type and their corresponding Auslander algebras. I will present these classical results in a key example: the class of algebras associated to quivers of type A_n. I will talk about well-known results regarding their derived equivalence with another class of algebras, and I will present a more recent result regarding the perfect derived category of the Auslander algebras of type A_n.

The canonical dimension is a fundamental integer-valued invariant that is attached to mod p representations of p-adic Lie groups. I will explain why it is both an asymptotic measure of growth, and an algebraic quantity strongly related to Krull dimension. We will survey algebraic tools that can be applied in its calculation, and describe results spanning the last twenty years. I'll present a new theorem and suggest its possible significance for the mod p local Langlands programme. 

We show that the category of vector bundles over the vertices of a locally finite $\tilde{A}_{n-1}$ building $\Delta$, $Vec(\Delta)$, has the structure of a $Tilt(SL_{2k+1})$ module category. This module category is the $q$-analogue of the $Tilt(SL_{2k+1})$ action on vector bundles over the $sl_n$ weight lattice.  Our construction of the $Tilt(SL_{2k+1})$ action on $Vec(\Delta)$ extends to $Vec(\Delta)^{G}$, its equivariantization, which gives us a class of non-standard $Tilt(SL_{2k+1})$ module categories. When $G$ acts simply transitively, this recovers the fiber functors of Jones.

Waldspurger proved maximality and minimality results for certain generalised Springer representations of $\text{Sp}(2n,\mathbb{C})$. We will discuss analogous results for $G = \text{SO}(N,\mathbb{C})$ and sketch their proofs.

Let $C$ be a unipotent class of $G$ and $E$ an irreducible $G$-equivariant local system on $C$. Let $\rho$ be the generalised Springer representation corresponding to $(C,E)$. We call $C$ the support of $\rho$. It is well-known that $\rho$ appears in the top cohomology of a certain variety. Let $\bar\rho$ be the representation obtained by summing the cohomology groups of this variety.

We show that if $C$ is parametrised by an orthogonal partition consisting of only odd parts, then $\bar\rho$ has a unique irreducible subrepresentation $\rho^{\text{max}}$ whose support is maximal among the supports of the irreducible subrepresentations of $\rho^{\text{max}}$. We also show that $\text{sgn}\otimes\rho^{\text{max}}$ is the unique subrepresentation of $\text{sgn}\otimes\bar\rho$ with minimal support. We will also present an algorithm to compute $\rho^{\text{max}}$.

In the early 2010s, Riche and Williamson proposed new character formulas for simple and indecomposable tilting modules over reductive algebraic groups $G$ in positive characteristic. Even better, they showed their formulas would follow from a conceptually satisfying "categorical conjecture", which they were able to prove for $G = GL_n$. Our first goal in this talk will be to explain the statement of the categorical conjecture, indicating its connection to representation theory and assuming minimal background knowledge. Subsequently, we will introduce Smith–Treumann theory and outline how it may be applied to prove the categorical conjecture in general. Time permitting, we will conclude with remarks on future directions of study.

In this talk I will introduce affine Hecke algebras and discuss some of their representation theory, in particular their Fourier transform. We will consider discrete series representations and how their formal degrees can help us understand them. There is no quantity like the formal degree available to help us similarly study limits of discrete series representations. I will sketch how this difficulty might be overcome by using cyclic cohomology and its pairing with K-theory to introduce generalized formal degrees.

We will look at the branching of irreducible representations of symmetric groups from the perspective of Okounkov-Vershik, and then look at Hecke algebras, affine Hecke algebras and cyclotomic Hecke algebras, in particular how the graded Grothendieck groups of their module categories “are” irreducible highest weight modules for affine $sl_l$, where $l$ is the “quantum characteristic”, and the branching graph is a highest weight crystal (for affine $sl_l$). The Fock space realisation of the highest weight crystal will get us back to  the Young graph for in the case of the symmetric group that we considered at the beginning.

We can learn a lot about an integral domain by studying the Galois group of its fraction field. These groups are generally quite complicated and hard to understand, but their representations, so-called Galois representations, contain more easily accessible information. These also play the lead in many important theorems and conjectures of modern maths, such as the Modularity theorem and the Langlands programme. In this talk we give a quick introduction to Galois representations, motivated by lots of examples aimed at a general algebraist audience, and talk about some open problems.

I will explain in what sense the theory of finite tensor categories is a categorification of the theory of finite dimensional algebras. In particular, I will introduce finite module categories, review a key result of Ostrik, and present Morita theory for finite categories. I will give many examples to illustrate these ideas. Then, I will explain the elementary properties of finite braided tensor categories. If time permits, I will also mention my own work, which consists in categorifying these ideas once more!

Spectral sequences are computational tools to find the (co-)homology of mathematical objects and are used across various fields. In this talk I will focus on the LHS spectral sequence, which we associate to an extension of groups to compute group cohomology. The first part of the talk will serve as introduction to both group cohomology and general spectral sequences, where I hope to provide and intuition and some reduced formalism. As main example, and core of this talk, we will look at the LHS spectral sequence associated to the group extension $(\mathbb{Z}/3\mathbb{Z})^3 \rightarrow S \rightarrow \mathbb{Z}/3\mathbb{Z}$, where $S$ is a Sylow-3-subgroup of $SL_2(\mathbb{Z}/9\mathbb{Z})$. In particular I will present arguments that all differentials on the $E^2$ page vanish.

In this talk I will discuss my extension of the Koszul duality theory of Beilinson, Ginzburg, and Soergel to the more general setting of quasi-abelian categories. In particular, I will define the notions of Koszul monoids, and quadratic monoids and their duals. Schneiders' embedding of a quasi-abelian category into an abelian category, its left heart, allows us to prove an equivalence of derived categories for certain categories of modules over Koszul monoids and their duals. The key examples of categories for which this theory works are the categories of complete bornological spaces and the categories of inductive limits of Banach spaces. These categories frequently appear in derived analytic geometry.

In this talk, I will talk about the category of coherent sheaves on the affine Flag variety of a simply-connected reductive group over $\mathbb{C}$. In particular, I'll explain how the convolution product naturally leads to a construction of the Iwahori-Hecke algebra, and present some combinatorics related to computing duals in this category.

Affine Hecke algebras and their representations play an important role in the representation theory of p-adic groups since they classify smooth representations generated by Iwahori-fixed vectors. The Deligne-Langlands correspondence, which was proved by Kazhdan and Lusztig, parametrises these representations by geometric data on the Langlands dual group. This talk is supposed to be a gentle introduction to this topic. I will also briefly talk about how this correspondence can be lifted to the derived level.

The Bruhat-Tits building is a mysterious combinatorial gadget that encodes key information about the structure and representation theory of a p-adic group. In this talk we will talk about apartments, buildings, and all the furnishings therein to hopefully demystify this beautiful subject.

Let $F$ be a finite field or a $p$-adic field. One method of constructing irreducible representations of $G = GL_2(F)$ is to consider spaces on which $G$ naturally acts and look at the representations arising from invariants of these spaces, such as the action of $G$ on cohomology groups. In this talk, I will discuss how this goes for abstract representations of $G$ (when $F$ is finite), and smooth representations of $G$ (when $F$ is $p$-adic). The first space is an affine algebraic variety, and the second a tower of rigid spaces. I will then mention some recent results about how this tower allows us to construct new interesting $p$-adic representations of $G$, before explaining how trying to adapt these methods leads naturally to considerations about certain geometric properties of these spaces.

The Specht modules are of fundamental importance to the representation theory of the symmetric group, and their 0th cohomology is understood through entirely combinatorial methods due to Gordon James. Over fields of odd characteristic, Hemmer proposed a similar combinatorial approach to calculating their 1st degree cohomology, or extensions by the trivial module. This combinatorial approach motivates the definition of universal $p$-ary designs, which we shall classify. We then explore the consequences of this classification to problem of determining extensions of Specht modules. In particular, we classify all extensions of Specht modules indexed by two-part partitions by the trivial module and shall see some far-reaching conditions on when the first cohomology of a Specht module is trivial.

Locally analytic representations of $p$-adic Lie groups are of interest in several branches of number theory, for example in the theory of automorphic forms and in the $p$-adic local Langlands program. To better understand these representations, Ardakov-Wadsley introduced a sheaf of infinite order differential operators $\overparen{\mathcal{D}}$ on smooth rigid analytic spaces, which resulted in several Beilinson-Bernstein style localisation theorems. In this talk, we discuss the current research on analogues of a Riemann-Hilbert correspondence for $\overparen{\mathcal{D}}$-modules, and what this has to do with complete convex bornological vector spaces.

Let $K$ be an algebraically closed field. Given three elements of some Lie algebra over $K$, we say that these elements form an $sl_2$-triple if they generate a subalgebra which is a homomorphic image of $sl_2(K).$ In characteristic 0, the Jacobson-Morozov theorem provides a bijection between the orbits of nilpotent elements of the Lie algebra and the orbits of $sl_2$-triples. In this talk I will discuss the progress made in extending this result to fields of characteristic $p$. In particular, I will focus on the results in classical Lie algebras, which can be found as subsets of $gl_n(K)$.

The Krull dimension is an ideal-theoretic invariant of an algebra. It has an important meaning in algebraic geometry: the Krull dimension of a commutative algebra is equal to the dimension of the corresponding affine variety/scheme. In my talk I'll explain how this idea can be transformed into a tool for measuring non-commutative rings. I'll illustrate this with important examples and techniques, and describe what is known for Iwasawa algebras of compact $p$-adic Lie groups.

It is a well-known fact that Boolean rings, those rings in which $x^2 = x$ for all $x$, are necessarily commutative. There is a short and completely elementary proof of this. One may wonder what the situation is for rings in which $x^n = x$ for all $x$, where $n > 2$ is some positive integer. Jacobson and Herstein proved a very general theorem regarding these rings, and the proof follows a widely applicable strategy that can often be used to reduce questions about general rings to more manageable ones. We discuss this strategy, but will also focus on a different approach: can we also find ''elementary'' proofs of some special cases of the theorem? We treat a number of these explicit computations, among which a few new results.

The classification of finite simple groups shows that many (those of Lie type) are obtained as (projectivisations of) subgroups of some $GL_{n}(\mathbb{F}_{q})$.

Green first determined the character table of any $GL_{n}(\mathbb{F}_{q})$ in his influential 1955 paper, while others have since given more explicit constructions of certain `cuspidal' representations.

In this talk, I will introduce parabolic induction as a means of obtaining representations of $GL_{n}(\mathbb{F}_{q})$ from those of $GL_{m}(\mathbb{F}_{q})$ where $m<n$.

Finding the irreducible representations of any $GL_{n}(\mathbb{F}_{q})$ then becomes inductive on $n$ for fixed $q$, with the cuspidal representations serving as atoms for this process.

Harish-Chandra's philosophy of cusp forms reduces the problem to the following two steps:

•  Find the cuspidal representations of any $GL_{n}(\mathbb{F}_{q})$
•  Determine the irreducible components of any representation $\sigma_{1}\circ\dots\circ\sigma_{k}$ parabolically induced from cuspidals $\sigma_{i}$

The majority of my talk will then aim to address each of these points.

Let $G$ be a group acting transitively on a finite set $\Omega$. Then $G$ acts on $\Omega \times \Omega$ componentwise. Define the orbitals to be the orbits of $G$ on $\Omega \times \Omega$. The diagonal orbital is the orbital of the form $\Delta = \{(\alpha, \alpha) \mid \alpha \in \Omega \}$. The others are called non-diagonal orbitals. Let $\Gamma$ be a non-diagonal orbital. Define an orbital graph to be the non-directed graph with vertex set $\Omega$ and edge set $(\alpha,\beta) \in \Gamma$ with $\alpha, \beta \in \Omega$. If the action of $G$ on $\Omega$ is primitive, then all non-diagonal orbital graphs are connected. The orbital diameter of a primitive permutation group is the supremum of the diameters of its non-diagonal orbital graphs.

There has been a lot of interest in finding bounds on the orbital diameter of primitive permutation groups. In my talk I will outline some important background information and the progress made towards finding specific bounds on the orbital diameter. In particular, I will discuss some results on the orbital diameter of the groups of simple diagonal type and their connection to the covering number of finite simple groups. I will also discuss some results for affine groups, which provides a nice connection to the representation theory of quasisimple groups. 

How to calculate the minimal number of summands of a nonzero polynomial in a given polynomial ideal? In this talk, we first discuss the roots of this question in computational algebra. Afterwards, we switch to the viewpoint of a commutative algebraist. In particular, we see that classical tools from this field, such as primary decomposition or the Castelnuovo–Mumford regularity, fail to provide a solution to this problem. Finally, we discuss a concrete example: A standard determinantal ideal generated by $t$-minors does not contain any polynomials with fewer than $t!/2$ terms.

Anabelian geometry asks how much we can say about a variety from its fundamental group. In 1997 Shinichi Mochizuki, using p-adic hodge theory, proved a fundamental anabelian result for the case of p-adic fields. In my talk I will discuss representation theoretical data which can be reconstructed from an absolute Galois group of a field, and also types of representations that cannot be constructed solely from a Galois group. I will also sketch how these types of ideas can potentially give many new results about p-adic Galois representations.

The Temperley-Lieb algebra is a diagrammatic algebra - defined on a basis of "string diagrams" with multiplication given by "joining the diagrams together".  It first arose as an algebra of operators in statistical mechanics but quickly found application in knot theory (where Jones used it to define his famed polynomial) and the representation theory of $sl_2$.  From the outset, the representation theory of the Temperley-Lieb algebra itself has been of interest from a physics viewpoint and in characteristic zero it is well understood.  In this talk we will explore the representation theory over mixed characteristic (i.e. over positive characteristic fields and specialised at a root of unity).  This gentle introduction will take the listener through the beautifully fractal-like structure of the algebras and their cell modules with plenty of examples.

Introduced by Fomin and Zelevinsky in 2002, cluster algebras have become ubiquitous in algebra, combinatorics and geometry. In this talk, I'll introduce the notion of a cluster algebra and present the approach of Kang-Kashiwara-Kim-Oh to categorify a large class of them arising from quantum groups. Time allowing, I will explain some recent developments related to the coherent Satake category.