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.

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.

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. 

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}}$.