Past Junior Algebra and Representation Theory Seminar

One of the fundamental examples of geometric representation theory is the Springer correspondence which parameterises the irreducible representations of the Weyl group of a lie algebra in terms of nilpotent orbits of the lie algebra and irreducible representations of the equivariant fundamental group of said nilpotent orbits. If you don’t like geometry this may sound entirely mysterious. In this talk I will hopefully offer a gentle introduction to the subject and present a preprint by Lusztig (2020) which gives an entirely algebraic description of the springer correspondence.

A Real representation of a $C_2$-graded group $H < G$ ($H$ an index two subgroup) is a complex representation of $H$ with an action of the other coset $G \backslash H$ (“odd" elements) satisfying appropriate algebraic coherence conditions. In this talk I will present three such Real representation theories. In these, each odd element acts as an antilinear operator, a bilinear form or a sesquilinear form (equivalently a linear map to $V$ from the conjugate, the dual, or the conjugate dual of $V$) respectively. I will describe how these theories are related, how representations in each are classified, and how the first generalises the classical representation theory of $H$ over the real numbers - retaining much of its beauty and subtlety.

Let $k$ be a field and $A$ a $k$-algebra. The classical Quillen's Lemma states that if $A$ if is equipped with an exhaustive filtration such that the associated graded ring is commutative and finitely generated $k$-algebra then for any finitely generated $A$-module $M$, every element of the endomorphism ring of $M$ is algebraic over $k$. In particular, Quillen's Lemma may be applied to the enveloping algebra of a finite dimensional Lie algebra. I aim to present an affinoid version of Quillen's Lemma which strengthness a theorem proved by Ardakov and Wadsley. Depending on time, I will show how this leads to an (almost) classification of the primitive spectrum of the affinoid enveloping algebra of a semisimple Lie algebra.

The Schur functor and its inverses give an important connection between the representation theories of the symmetric group and the general linear group. Kleshchev and Nakano proved in 2001 that when the characteristic of the field is at least 5, the image of the Specht module under the inverse Schur functor is isomorphic to the dual Weyl module. In this talk I will address what happens in characteristics 2 and 3: in characteristic 3, the isomorphism holds, and I will give an elementary proof of this fact which covers also all characteristics other than 2; in characteristic 2, the isomorphism does not hold for all Specht modules, and I will classify those for which it does. Our approach is with Young tableaux, tabloids and Garnir relations.

Polynomial rings $R[X]$ are a fundamental construction in commutative algebra, under which Hilbert's basis theorem controls a finiteness property: being Noetherian. We will describe the picture for the non-commutative world; this leads us towards other interesting finiteness conditions.

Quiver varieties, as first studied by Grojnowski and Nakajima, form an interesting class of geometric objects, which can be constructed by an array of different techniques (GIT, symplectic and Hyperkaehler reduction). In this talk, we will explain how to construct these varieties, and how their homology gives rise to a categorification of the representations of Kac-Moody Lie algebras

This talk will introduce the notion of categorical rigidity and the automorphism class group of a category. We will proceed with calculations for several important categories, hopefully illuminating the inverse relationship between the automorphisms of a category and the extent to which the structure of its objects is determined categorically. To conclude, some discussion of what progress there is on currently open/unknown cases.

For a prime number p, we will consider completed group algebras, or Iwasawa algebras, of the form kG, for G a complete p-valued group of finite rank, k a field of characteristic p. Classifying the ideal structure of Iwasawa algebras has been an ongoing project within non-commutative algebra and representation theory, and we will discuss ideas related to this topic based on previous work and try to extend it. An important concept in studying ideals of group algebras is the notion of controlling ideals, where we say a closed subgroup H of G controls a right ideal I of kG if I is generated by a subset of kH. It was proved by Konstantin Ardakov in 2012 that for G nilpotent, every faithful prime ideal of kG is controlled by the centre of G, and it follows that the prime spectrum of kG can be realised as the disjoint union of commutative strata. I am hoping to extend this to a more general case, perhaps to when G is solvable. A key step in the proof is to consider a faithful prime ideal P in kG, and an automorphism of G, trivial mod centre, that fixes P. By considering the Mahler expansion of the automorphism, and approximating the coefficients, we can examine sequences of bounded k-linear functions of kG, and study their convergence. If we find that they converge to an appropriate quantized divided power, we can find proper open subgroups of G that control P. I have extended this notion to larger classes of automorphisms, not necessarily trivial mod centre, using which this proof can be replicated, and in some cases extended to when G is abelian-by-procyclic. I will give some examples, for G with small rank, for which these ideas yield results.

In recent years, Ardakov and Wadsley have been interested in extending the classical theory of Beilinson-Bernstein localisation to different contexts. The classical proof relies on fundamental geometric properties of the dual nilcone of a semisimple Lie algebra; in particular, finding a nice desingularisation of the nilcone and demonstrating that it is normal. I will attempt to explain the relationship between these properties and the proof, and discuss some areas of my own work, which focuses on proving analogues of these results in the case where the characteristic of the ground field K is bad.

In this talk, I wish to address the problem of evaluating an integral on an n-dimensional complex vector space whose n-form of integration has poles along a union of (affine) hyperplanes, following the work of Heckman and Opdam. Such situation arise often in the harmonic analysis of a reductive group and when that is the case, the singular hyperplane arrangement in question is dictated by the root system of the group. I will then try to explain how we can relate the intersection lattice of the hyperplane arrangement with nilpotent orbits of a complex Lie algebra related to the root system in question.

Abstract: Triangulations of surfaces serve as important examples for cluster theory, with the natural operation of “diagonal flips” encoding mutation in cluster algebras and categories. In this talk we will focus on the combinatorics of mutation on marked surfaces with infinitely many marked points, which have gained importance recently with the rising interest in cluster algebras and categories of infinite rank. In this setting, it is no longer possible to reach any triangulation from any other triangulation in finitely many steps. We introduce the notion of mutation along infinite admissible sequences and show that this induces a preorder on the set of triangulations of a fixed infinitely marked surface. Finally, in the example of the completed infinity-gon we define transfinite mutations and show that any triangulation of the completed infinity-gon can be reached from any other of its triangulations via a transfinite mutation. The content of this talk is joint work with Karin Baur.

Abstract: We define the Hochschild complex and cohomology of a monoid in an Ab-enriched monoidal category. Then we interpret some of the lower dimensional cohomology groups and discuss when the cohomology ring happens to be graded-commutative.

Firstly I will outline Dirac cohomology for graded Hecke algebras and the branching rules for the projective representations of $S_n$. Combining these notions with the Jucys-Murphy elements for $\tilde{S}_n$, that is the double cover of the symmetric group, I will go through a method to completely describe the spectrum data for the Jucys-Murphy elements for $\tilde{S}_n$. If time allows I will also explain how this spectrum data gives rise to a a concrete description for the matrices of the action of $\tilde{S}_n$.

We will introduce some ideas from geometric representation theory, including basic D-modules, (a realisation of) infinity categories, and the Ran space, and then go on to define chiral and factorisation algebras.
This talk has no prerequisites.

The computation of multidimensional persistent homology is one of the major open problems in topological data analysis. 

One can define r-dimensional persistent homology to be a functor from the poset category N^r, where N is the poset of natural numbers, to the category of modules over a commutative ring with identity. While 1-dimensional persistent homology is theoretically well-understood and has been successfully applied to many real-world problems, the theory of r-dimensional persistent homology is much harder, as it amounts to understanding representations of quivers of wild type. 

In this talk I will introduce persistent homology, give some motivation for how it is related to the study of data, and present recent results related to the classification of multidimensional persistent homology.

Quasihereditary algebras are the 'finite' version of a highest weight category, and they classically occur as blocks of the category O and as Schur algebras.

They also occur as endomorphism algebras associated to modules endowed with special filtrations. The quasihereditary algebras produced in these cases are very often strongly quasihereditary (i.e. their standard modules have projective dimension at most 1).

In this talk I will define (strongly) quasihereditary algebras, give some motivation for their study, and mention some nice strongly quasihereditary algebras found in nature.

Hall algebras are a deformation of the K-group (Grothendieck group) of an abelian category, which encode some information about non-trivial extensions in the category.
A main feature of Hall algebras is that in addition to the product (which deforms the product in the K-group) there is a natural coproduct, which in certain cases makes the Hall algebra a (braided) bi-algebra. This is the content of Green's theorem and supplies the main ingredient in a construction of quantum groups.