L3

We introduce a deformation process of universal enveloping algebras of Borcherds-Kac-Moody algebras, which generalises quantum groups' one and yields a large class of new algebras called coloured Borcherds-Kac-Moody algebras. The direction of deformation is specified by the choice of a collection of numbers. For example, the natural numbers lead to classical enveloping algebras, while the quantum numbers lead to quantum groups. We prove, in the finite type case, that every coloured BKM algebra have representations which deform representations of semisimple Lie algebras and whose characters are given by the Weyl formula. We prove, in the finite type case, that representations of two isogenic coloured BKM algebras can be interpolated by representations of a third coloured BKM algebra. In particular, we solve conjectures of Frenkel-Hernandez about the Langland duality between representations of quantum groups. We also establish a Langlands duality between representations of classical BKM algebras, extending results of Littelmann and McGerty, and we interpret this duality in terms of quantum interpolation.

(Joint work with Nikolaos Galatos.) Proof-theoretic methods provide useful tools for tackling problems for many classes of algebras. In particular, Gentzen systems admitting cut-elimination may be used to establish decidability, complexity, amalgamation, admissibility, and generation results for classes of residuated lattices corresponding to substructural logics. However, for classes of algebras bearing a family resemblance to groups, such methods have so far met only with limited success. The main aim of this talk will be to explain how proof-theoretic methods can be used to obtain new syntactic proofs of two core theorems for the class of lattice-ordered groups: namely, Holland's result that this class is generated as a variety by the lattice-ordered group of order-preserving automorphisms of the real numbers, and the decidability of the word problem for free lattice-ordered groups.

In 1977, Cline Parshall, Scott and van der Kallen wrote a seminal paper `Rational and generic cohomology' which exhibited a connection between the cohomology for algebraic groups and the cohomology for finite groups of Lie type, showing that in many cases one can conclude that there is an isomorphism of cohomology through restriction from the algebraic to the finite group.

One unfortunate problem with their result is that there remain infinitely many modules for which their theory---for good reason---tells us nothing. The main result of this talk (recent work with Parshall and Scott) is to show that almost all the time, one can manipulate the simple modules for finite groups of Lie type in such a way as to recover an isomorphism of its cohomology with that of the algebraic group.