Past Junior Algebra and Representation Theory Seminar

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.

For $G$ a finite group, $p$ a prime and $(K, \mathcal{O}_K, k)$ a $p$-modular system the group ring $\mathcal{O}_K G$ is an $\mathcal{O}_k$-order in the $K$-algebra $KG.$ Graduated $\mathcal{O}_K$-orders are a particularly nice class of $\mathcal{O}_K$-orders first introduced by Zassenhaus. In this talk will see that an $\mathcal{O}_K$-order $\Lambda$ in a split $K$-algebra $A$ is graduated if the decomposition numbers for the regular $A$-module are no greater than $1$. Furthermore will see that graduated orders can be described (not uniquely) by a tuple $n$ and a matrix $M$ called the exponant matrix. Finding a suitable $n$ and $M$ for a graduated order $\Lambda$ in the $K$-algebra $A$ provides a parameterisation of the $\Lambda$-lattices inside the regular $A$-module. Understanding the $\mathcal{O}_K G$-lattices inside representations of certain groups $G$ is of interest to those involved in the Langlands programme as well as of independent interest to algebraists.

Saturated fusion systems capture and abstract conjugacy in $p$-subgroups of finite groups and have recently found application in finite group theory, representation theory and algebraic topology. In this talk, we describe a situation in which we may identify a rank $2$ amalgam within $\mathcal{F}$ and, using some local group theoretic techniques, completely determine $\mathcal{F}$ up to isomorphism.

This is an elementary talk introducing the rational Cherednik algebra and its representations. Especially, we are interested in the case of complex reflection group. A tool called the Dunkl-Opdam subalgebra is used to decompose the standard modules into weight spaces and to construct the correspondence with the partitions of integers. If time allows, we might explore the concept of unitary representation and what condition a representation needs to satisfy to be qualified as one.

The well-known Schur-Weyl duality provides a link between the representation theories of the general linear group $GL_n$ and the symmetric group $S_r$ by studying tensor space $(\mathbb{C}^n)^{\otimes r}$ as a ${(GL_n,S_r)}$-bimodule. We will discuss a few variations of this idea which replace $GL_n$ with some other interesting algebraic object (e.g. O$_n$ or $S_n$) and $S_r$ with a so-called diagram algebra. If time permits, we will also briefly look at how this can be used to define Deligne's category which 'interpolates' Rep($S_t$) for any complex number $t \in \mathbb{C}$.

Buildings are geometric structures useful in understanding certain classes of groups. In a series of papers written during the 1980s, Ronan and Smith developed the theory of “presheaves on buildings”. By constructing a coefficient system consisting of kP-modules (where P is the stabiliser of a given simplex), and computing the sheaf homology, they proved several results relating the homology spaces with the irreducible G-modules. In this talk we discuss their methods as well as our implementation of the algorithms, which has allowed us to efficiently compute the irreducible representations of some groups of Lie type.

There is a connection between certain smooth representations of a reductive p-adic group and the representations of the Iwahori-Hecke algebra of this p-adic group. This Iwahori-Hecke algebra is a specialisation of a more general affine Hecke algebra. In this talk, we will discuss affine Hecke algebras and graded Hecke algebras. We will state a result from Lusztig (1989) that relates the representation theory of an affine Hecke algebra and a particular graded Hecke algebra and we will present a simple example of this relation.

The Drinfeld half-plane is a rigid analytic variety over a p-adic field. In this talk, I will give an overview of the geometric aspects of this space and describe its connection with representation theory.