{"id":10,"date":"2024-09-25T23:55:08","date_gmt":"2024-09-25T22:55:08","guid":{"rendered":"https:\/\/blogs.ncl.ac.uk\/puremaths\/?page_id=10"},"modified":"2026-03-23T12:51:06","modified_gmt":"2026-03-23T12:51:06","slug":"algebra-and-geometry","status":"publish","type":"page","link":"https:\/\/blogs.ncl.ac.uk\/puremaths\/algebra-and-geometry\/","title":{"rendered":"Algebra and Geometry Seminar (Tuesday 14:00 &#8211; 15:00, HERB.4.TR2)"},"content":{"rendered":"\n<p><strong>Seminars Semester 2 2025-26<\/strong><\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">3 February 2026<\/pre>\n\n\n\n<p>Speaker: Gabriel Corrigan (University of Glasgow)<\/p>\n\n\n\n<p>Title: Finiteness properties of some automorphism groups of right-angled Artin groups<\/p>\n\n\n\n<p>Abstract: Right-angled Artin groups (RAAGs) can be viewed as a generalisation of free groups. To what extent, then, do the techniques used to study automorphisms of free groups generalise to the setting of RAAGs? One significant advance&nbsp;in this direction is the construction of &#8216;untwisted&nbsp;Outer&nbsp;space&#8217; for RAAGs, a generalisation of the influential Culler-Vogtmann&nbsp;Outer&nbsp;space&nbsp;for free groups. A consequence of this construction is an upper bound on the virtual cohomological dimension of the &#8216;untwisted subgroup&#8217; of&nbsp;outer&nbsp;automorphisms of a RAAG. However, this bound is sometimes larger than one expects; I present work showing that in fact it can be arbitrarily so, by forming a new complex as a deformation retraction of the untwisted&nbsp;Outer&nbsp;space. In a different direction, another subgroup of interest is that consisting of symmetric automorphisms. Generalising work in the free groups setting from 1989, I present an&nbsp;Outer&nbsp;space&nbsp;for the symmetric automorphism group of a RAAG. A consequence of the proof is a strong finiteness property for many other subgroups of the&nbsp;outer&nbsp;automorphism group.&nbsp;<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">10 February 2026<\/pre>\n\n\n\n<p>No Algebra seminar today (the Analysis seminar has two speakers)<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">17 February 2026<\/pre>\n\n\n\n<p>Speaker: Tuan Pham (University of Edinburgh)<\/p>\n\n\n\n<p>Title: Representations and two-sided ideals of&nbsp;the Witt algebra<\/p>\n\n\n\n<p>Abstract: The Dixmier map and orbit method are essential tools for understanding primitive ideals of rings and representation theory, and have been established in several contexts, including the universal enveloping algebra of a finite-dimensional Lie algebra. In this talk, we will extend this to an infinite-dimensional setting, the Witt algebra W&nbsp;of algebraic vector fields on C. In particular, we define a Dixmier map from the Poisson primitive spectrum of S(W) to the primitive spectrum of U(W).<\/p>\n\n\n\n<p>Our main method involves constructing the &#8220;orbit homomorphisms&#8221; \\Psi_n: U(W) \\to T_n, an infinite family of maps to noncommutative Noetherian algebras. The kernels of these homomorphisms give us new principal two-sided ideals of U(W) that are not finitely generated as left or right ideals. I will also explain new progress on the conjecture that U(W) satisfy the ascending chain condition on two-sided ideals.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">24 February 2026<\/pre>\n\n\n\n<p>Speaker: Duncan Laurie (University of Edinburgh)<\/p>\n\n\n\n<p>Title: Quantum toroidal algebras and their representations<\/p>\n\n\n\n<p>Abstract: <em>Quantum toroidal algebras<\/em>&nbsp;Uq(g_tor) are the \u2018double affine\u2019 objects within the quantum setting. After reviewing and motivating the more well-studied finite and affine type quantum groups, we\u2019ll introduce these algebras and outline a collection of new results.<\/p>\n\n\n\n<p>First, we shall construct double affine braid group and modular GL(2,Z) actions on Uq(g_tor). Then, using these, we will investigate the representation theory of quantum toroidal algebras, obtaining well-defined tensor products and (R-matrix) braidings for their principal module categories.<\/p>\n\n\n\n<p>Time permitting, I\u2019ll mention work in progress with Th\u00e9o Pinet which equips certain module subcategories with <em>cluster algebra structures<\/em>&nbsp;in type A, establishing <em>generalised T-systems<\/em>&nbsp;along the way.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">3 March 2026 (joint with Analysis)<\/pre>\n\n\n\n<p>Speaker: Alain Valette (University of Neuch\u00e2tel)<\/p>\n\n\n\n<p>Title: Reciprocal hyperbolic elements in PSL_2(\\Z)<\/p>\n\n\n\n<p>Abstract: An element A in PSL_2(\\Z) is hyperbolic if |Tr(A)|&gt;2. The maximal virtually abelian subgroup of PSL2(\\Z) containing A is either infinite cyclic or infinite dihedral; say that A is reciprocal if the second case happens (A is then conjugate to its inverse). We give a characterization of reciprocal hyperbolic elements in PSL_2(\\Z) in terms of the continued fractions of their fixed points in P^1(\\R) (those are quadratic surds). Doing so we revisit results of P. Sarnak (2007) , themselves rooted in classical work by Gauss and Fricke &amp; Klein. This is joint work with C.-L. Simon (Rennes).<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">10 March 2026 (<strong>The seminar takes place in ARMB.1.06<\/strong>)<\/pre>\n\n\n\n<p>Speaker: Chris Bowman (University of York)<\/p>\n\n\n\n<p>Title: Temperley\u2014Lieb categorification<\/p>\n\n\n\n<p>Abstract: We discuss how one can \u201ccategorify\u201d the Temperley\u2014Lieb, Hecke algebras, and their modules. We then discuss what is knowable (and unknowable!) about the representation theoretic structure of these categorifications.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">17 March 2026<\/pre>\n\n\n\n<p>Speaker: Ben Mills (University of York)<\/p>\n\n\n\n<p>Title: Utilising Meta Kazhdan-Lusztig Combinatorics<\/p>\n\n\n\n<p>Abstract: Parabolic Kazhdan-Lusztig polynomials are ubiquitous across representation theory, geometry, and Lie theory. This raises two questions: Can the (often strictly combinatorial) methods used to compute them be enriched to shed light on algebraic and geometric structures? Furthermore, if two a priori distinct structures are governed by the same polynomials, does this imply a deeper equivalence?<\/p>\n\n\n\n<p>In this talk, we address these questions for parabolic Kazhdan-Lusztig polynomials of type&nbsp;$(D_n, A_{n-1})$. By enriching the combinatorial methods to calculate these polynomials, we give a new&nbsp;presentation of the structure for the&nbsp;basic algebra of the anti-spherical Hecke category of isotropic Grassmannians. We then use this enriched structure to prove that it is isomorphic to the&nbsp;type&nbsp;D&nbsp;Khovanov arc algebra.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">24 March 2026 <strong>(TR4)<\/strong><\/pre>\n\n\n\n<p>Speaker: Stein Meereboer (Universiteit Nijmegen)<\/p>\n\n\n\n<p>Title: The Cartan decomposition for quantum symmetric pairs<\/p>\n\n\n\n<p>Abstract: A fundamental tool in the study of spherical functions for symmetric pairs is the Cartan decomposition. It allows for spherical functions to be injectively restricted to a commutative subalgebra, where they can be identified with polynomials. Furthermore, the infinitesimal Cartan decomposition of the universal enveloping algebra yields that they are diagonalized by a commutative algebra of differential operators. In this talk I will explain the quantum analog of this construction for quantum symmetric pairs and its applications to quantum matrix spherical functions.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">21 April 2026<\/pre>\n\n\n\n<p>Speaker: Stefan Kolb (University of Newcastle)<\/p>\n\n\n\n<p>Title:<\/p>\n\n\n\n<p>Abstract:<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">28 April 2026<\/pre>\n\n\n\n<p>Speaker: Benjamin Haioun (University of Edinburgh)<\/p>\n\n\n\n<p>Title:<\/p>\n\n\n\n<p>Abstract:<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">5 May 2026<\/pre>\n\n\n\n<p>Speaker: Pete Bradshaw (University of Newcastle)<\/p>\n\n\n\n<p>Title:<\/p>\n\n\n\n<p>Abstract:<\/p>\n\n\n\n<p><\/p>\n\n\n\n<h1 class=\"wp-block-heading\">Seminars Semester 1 2025-26<\/h1>\n\n\n\n<pre class=\"wp-block-preformatted\">23 September 2025<\/pre>\n\n\n\n<p>Speaker: Anna Felikson (University of Durham)<\/p>\n\n\n\n<p>Title: Polytopal realizations of non-crystallographic associahedra<\/p>\n\n\n\n<p>Abstract: An&nbsp;associahedron&nbsp;is a polytope arising from combinatorics of Catalan-type objects (for example, from a collection of all triangulations of a given polygon). Fomin and Zelevinsky found a way to construct the same combinatorial structure from considering the Coxeter group of type A_n. This allowed them to define a generalized&nbsp;associahedron&nbsp;for every finite reflection group. For generalized associahedra arising from crystallographic reflection groups, it was also shown that they can be realized as polytopes. We use the folding technique to construct polytopal realisations of generalized associahedra for all non-simply-laced root systems, including non-crystallographic ones. This is a joint work with Pavel Tumarkin and Emine Yildrim.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">30 September 2025<\/pre>\n\n\n\n<p>Speaker: Chris Milionis (Newcastle)<\/p>\n\n\n\n<p>Title: The center of the BMW algebra via Jucys-Murphy elements<\/p>\n\n\n\n<p>Abstract: Classical Schur-Weyl duality of type A over C for Lie algebras connects the category of f.d.representations of the symmetric group with the category of f.d. modules of the universal enveloping algebra of sl_n. For simple Lie algebras of type B,C,D, the Schur-Weyl dual is the Brauer algebra, a so called one parameter diagrammatic algebra Br_n(\u03b4), with \u03b4 any complex number. For quantum groups of type B,C,D, the Schur-Weyl duals are the BMW algebras, a two parameter diagrammatic algebra B_n(q,t) with q,t any complex numbers. As in the case of symmetric groups (and many other diagrammatic algebras), these algebras have a remarkable family of commuting elements which are usually called the Jucys-Murphy elements.<\/p>\n\n\n\n<p>&nbsp;In this talk, we will introduce the BMW algebras, their connection to quantum groups of types B,C,D, give a brief overview of its representation theory and describe its center for q not a root of unity, and for almost all values of t as a subalgebra of the symmetric Laurent polynomials in the Jucys-Murphy elements.<\/p>\n\n\n\n<p>&nbsp;As a first corollary of these results, the Jucys-Murphy elements in these cases can be used to give an Okounkov-Vershik like approach to the f.d. representations of B_n(q,t).<\/p>\n\n\n\n<p>As a second corollary, for t=q^{2a}, where a is a nonnegative integer making B_n(q,t) non-semisimple, one can give an alternative characterization for when two simple modules lie in the same block.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">07 October 2025<\/pre>\n\n\n\n<p>Speaker: Thorsten Heidersdorf (Newcastle)<\/p>\n\n\n\n<p>Title: Koszulity for semi-infinite highest weight categories<\/p>\n\n\n\n<p>Abstract: Koszul algebras are positively graded algebras with very amenable homological properties. Typical examples are the polynomial ring over a field or the exterior and symmetric algebra of a vector space. A category is called Koszul if it has a grading with which it is equivalent to the category of graded modules over a Koszul algebra. Koszulity is a very nice property but often very difficult to check. I will give a criterion which allows to check Koszulity in case the category is a semi-infinite highest weight category (which is a structure that appears often in representation theory).<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">14 October 2025<\/pre>\n\n\n\n<p>Speaker: Iordannis Romainis (University of Edinburgh)<\/p>\n\n\n\n<p>Title: Finiteness and holonomicity of skein modules<\/p>\n\n\n\n<p>Abstract: Skein modules are topological invariants assigned to 3-manifolds, dependent on a quantum parameter q and an algebraic reductive group G. For closed 3-manifolds at generic q they were conjectured by Witten to be finite-dimensional\u2014a statement later proved by Gunningham, Jordan, and Safronov. In this talk, I present joint work with David Jordan on a generalization of this conjecture to 3-manifolds with boundary. In this setting, the finiteness property is replaced by the condition that the skein module is <em>holonomic<\/em>&nbsp;over the boundary skein algebra. This includes finite generation and a Lagrangian support condition.&nbsp;<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">21 October 2025<\/pre>\n\n\n\n<p>Speaker: Federica Gavazzi (Heriot-Watt)<\/p>\n\n\n\n<p>Title: Algebraic and Topological aspects of virtual Artin groups<\/p>\n\n\n\n<p>Abstract: Virtual Artin groups were introduced a few years ago by Bellingeri, Paris, and Thiel with the aim of generalizing the well-studied structure of virtual braids to all Artin groups. In this talk, we will present two possible perspectives for studying these groups: an algebraic one and a topological one. From an algebraic and group-theoretic point of view, we will investigate the rigidity of these groups, specifically addressing the question of whether they can be decomposed into a direct product of two proper subgroups. The answer to this question provides interesting insights into the automorphism groups of these structures. Additionally, we will briefly discuss some topological aspects of these fascinating groups. In particular, we will explore the construction of K(\u03c0,1) spaces for certain subgroups of virtual Artin groups, linking them to a famous conjecture and existing constructions.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">28 October 2025<\/pre>\n\n\n\n<p>Speaker: Simon Wood (Cardiff University)<\/p>\n\n\n\n<p>Title: Tensor product structures on categories of vertex operator algebra modules<\/p>\n\n\n\n<p>Abstract: Vertex operator algebras encode the symmetries of conformally invariant quantum field theories. They are generalisations of unital commutative associative algebras, where the commutative and associative properties are broken in a subtle way. It is therefore natural that these algebras admit modules and tensor products of modules. The most studied and in a sense maximally nice family of vertex operator algebras are called rational and their categories of modules form modular tensor categories. In this talk I will present recent work on the kinds of structures one should expect on categories of modules over non-rational vertex operator algebras. No prior knowledge of vertex operator algebras will be assumed.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">11 November 2025<\/pre>\n\n\n\n<p>Speaker: Damien Gaboriau (\u00c9cole Normale Sup\u00e9rieure de Lyon)<\/p>\n\n\n\n<p>Title: Dynamics on the Space of Subgroups<\/p>\n\n\n\n<p>Abstract: To every countable group G one can attach a curious and rather mysterious topological object: the space of all its subgroups, denoted Sub(G). It is compact and totally disconnected. The group G then acts on this space by conjugation, giving rise to a natural dynamical system. &nbsp;<\/p>\n\n\n\n<p>One can explore this system by peeling away the isolated points of Sub(G) step by step, a process that eventually reveals its perfect kernel\u2014the irreducible core that cannot be broken down any further\u2014and a numerical invariant known as the Cantor\u2013Bendixson rank. &nbsp;<\/p>\n\n\n\n<p>In this talk, I will describe what these objects mean, why they are interesting, and what kinds of dynamics one can observe: from orderly behavior to more surprising phenomena of chaos.<\/p>\n\n\n\n<p>Along the way, we will look at concrete families of groups &#8212; such as abelian groups, hyperbolic groups and the more subtle (and sometimes rather tricky) Baumslag\u2014Solitar groups &#8212; where these phenomena can be seen in action.<\/p>\n\n\n\n<p>This relies on joint works with P. Azuelos, S. Bontemps, A. Carderi, F. Le Ma\u00eetre, and Y. Stalder.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">18 November 2025<\/pre>\n\n\n\n<p>Speaker: Alexis Marchand (Kyoto University)<\/p>\n\n\n\n<p>Title: Sharp spectral gaps for stable commutator length from negative curvature<\/p>\n\n\n\n<p>Abstract: Stable commutator length (scl) is a measure of homological complexity of group elements, with connections to many topics in geometric topology, including quasimorphisms, bounded cohomology, and simplicial volume. The goal of this talk is to shed light on some of its relations with non-positive curvature. We will present a geometric method to prove sharp lower bounds for scl, giving a new proof of a theorem of Heuer on the spectral gap of scl in right-angled Artin groups. Our proof relates letter-quasimorphisms (which are analogues of real-valued quasimorphisms with image in free groups) to negatively curved angle structures for surfaces estimating scl. Time permitting, we will show how the proof works in the special case of free groups, recovering a theorem of Duncan and Howie.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">25 November 2025<\/pre>\n\n\n\n<p>Speaker: Ruadha\u00ed Dervan (University of Glasgow)<\/p>\n\n\n\n<p>Title: K-stability and moduli of higher-dimensional varieties<\/p>\n\n\n\n<p>Abstract: A basic goal of algebraic geometry is to construct geometric spaces (called moduli spaces) which parametrise classes of algebraic varieties, such as curves. The problem has been solved in dimension one, through the classical construction of the moduli space of &#8220;stable&#8221; curves. In higher dimensions, while many new difficulties arise, the theory of K-stability is conjecturally&nbsp;the right tool to construct such moduli spaces. This has all been worked out for a special class of higher-dimensional varieties, called Fano varieties, but we know very little for more general varieties. I will discuss some recent progress in this direction using a variant of K-stability, partially joint work with R\u00e9mi Reboulet.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">02 December 2025<\/pre>\n\n\n\n<p>Speaker: Dmitri Nikshych (University of New Hampshire)<\/p>\n\n\n\n<p>Title: Witt Reduction of Braided Fusion Categories<\/p>\n\n\n\n<p>Abstract: Braided fusion categories can be viewed as \u201cquantum analogues\u2019\u2019 of metric Lie algebras\u2014those equipped with a symmetric invariant form. This goes back to Drinfeld\u2019s work on quasi-Hopf algebras from 1980\u2019s. This analogy allows one to adapt familiar linear-algebraic constructions to the categorical setting.<\/p>\n\n\n\n<p>I will describe a notion of Witt reduction&nbsp;(or localization) for braided fusion categories over C, obtained by factoring out certain characteristic Tannakian subcategories. The resulting reduction gives rise to a complete invariant&nbsp;of the category that admits an interpretation in terms of orthogonal representations of finite groups over finite fields. This leads to new approaches to the&nbsp; classification of fusion categories and to natural group-theoretic questions.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">09 December 2025<\/pre>\n\n\n\n<p>Speaker: Dimitra Kosta (University of Edinburgh)<\/p>\n\n\n\n<p>Title: On strongly robust toric ideals: when Markov and Graver bases coincide.<\/p>\n\n\n\n<p>Abstract: In the first part of the talk, I will give an introduction to Markov bases of toric ideals, which are one of the first connections between statistics and commutative algebra.&nbsp; In the second part of the talk, I will discuss recent work on strongly robust toric ideals. A toric ideal is called strongly robust when the Graver basis is a minimal system of generators. In the talk, I will explain how to build a strongly robust simplicial complex which determines the strongly robust property of toric ideals. I will then discuss our results on the strongly robust property in the case of monomial curves, as well as codimension 2 toric ideals and configurations in general position. This is joint work with A. Thoma and M. Vladoiu.<\/p>\n\n\n\n<p><\/p>\n\n\n\n<h1 class=\"wp-block-heading\">Past Seminars in 2024-25<\/h1>\n\n\n\n<pre class=\"wp-block-preformatted\">1 October 2024<\/pre>\n\n\n\n<p style=\"font-style:normal;font-weight:400\">Speaker: Chris Milionis (Newcastle University)<\/p>\n\n\n\n<p>Title: The Okounkov Vershik Approach to finite dimensional representations of S_n<\/p>\n\n\n\n<p>Abstract: The classical approach to the representation theory of the symmetric group does not take into account many algebraic features that S_n enjoys, for example its connection to Lie algebras. We will present an approach pioneered by Okounkov and Vershik, which mimics the highest weight theory of finite dimensional semisimple Lie algebras over \\mathbb{C}. This heavily depends on some special elements of the group algebra \\mathbb{C}S_n called Young-Jucys-Murphy(YJM) elements, used to define an analogue of the Cartan subalgebra.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">8 October 2024<\/pre>\n\n\n\n<p>Speaker: Nora Szakacs (University of Manchester)<\/p>\n\n\n\n<p style=\"font-style:normal;font-weight:400\">Title: The large scale geometry of inverse semigroups and their maximal group images<\/p>\n\n\n\n<p>Abstract: The geometry of inverse semigroups is a natural topic of study, motivated both from within semigroup theory and by applications to the theory of C*-algebras. We study the relationship between the geometry of an inverse semigroup and that of its maximal group image, and in particular the geometric distortion of the natural map from the former to the latter. This work is joint with Mark Kambites.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">15 October 2024<\/pre>\n\n\n\n<p>Speaker: Bruce Westbury (University of Warwick)<\/p>\n\n\n\n<p>Title: A uniform R-matrix for the exceptional series<\/p>\n\n\n\n<p>Abstract: This talk combines R-matrices and the exceptional series of simple Lie algebras. An R-matrix is a solution to the Yang-Baxter equation (with spectral parameter) and they can be constructed using the representation theory of quantum groups. There is evidence that the adjoint representations of the exceptional simple Lie algebras behave uniformly just as do the defining representations of classical groups (SO,Sp,SL). In this talk we will give a uniform formula for the R-matrices associated to the adjoint representations in the exceptional series. On one hand this is further evidence supporting the idea of the exceptional series and on the other gives new explicit formulae for R-matrices.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">22 October 2024<\/pre>\n\n\n\n<p>Speaker: James Waldron (Newcastle University)<\/p>\n\n\n\n<p>Title: Skew Hecke algebras<\/p>\n\n\n\n<p>Abstract: Let G be a finite group, H a subgroup of G, and R&nbsp;a ring equipped with an action of G. To this data one can associate a &#8216;skew Hecke ring&#8217;. Variants of this construction&nbsp;have appeared in topology in the theory of Elliptic Cohomology, and in mathematical physics in the theory of Quantum Reference Frames.<\/p>\n\n\n\n<p>I will explain&nbsp;a number of common generalisations of basic results concerning skew group rings and Hecke rings of finite groups. If there is time I will discuss modules over skew Hecke rings, and some potential links to other areas.<\/p>\n\n\n\n<p>The talk will mostly be based on arXiv:2311.09038&nbsp;. Everything is joint work with Leon Loveridge at USN Norway.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">29 October 2024<\/pre>\n\n\n\n<p>Speaker: Martin Kerin (University of Durham)<\/p>\n\n\n\n<p>Title: Double disk bundles<\/p>\n\n\n\n<p>Abstract: When searching for examples satisfying certain geometric properties,<br>it is often convenient to examine manifolds constructed by gluing simple pieces<br>together. One common example of such a construction involves gluing disk<br>bundles together along their common boundary. On the other hand, many<br>geometric phenomena impose strong topological conditions on the underlying<br>manifold, such as the existence of a decomposition into a union of disk bundles<br>(glued along a common boundary).<\/p>\n\n\n\n<p>Given that they arise frequently from these two different viewpoints, it thus<br>makes sense to study manifolds which decompose as a union of disk bundles in<br>their own right. In this talk, I will report on joint work with J. DeVito in this direction.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">5 November 2024<\/pre>\n\n\n\n<p>No seminar<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">12 November 2024<\/pre>\n\n\n\n<p>No seminar<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">19 November 2024<\/pre>\n\n\n\n<p>Speaker: Andrew Duncan (Newcastle University)<\/p>\n\n\n\n<p>Title: Formal languages and word problems for groups: beyond context free.<\/p>\n\n\n\n<p>Abstract. Given a finite group presentation the problem of deciding if a word in the generators represents the identity element of G, or not, is in general undecidable: there is no algorithm to decide if a given word in the generators belongs to the set of all words representing the identity element of G. This set is called the &#8220;word problem&#8221; of G.<\/p>\n\n\n\n<p>There is a well developed theory that attempts to classify group presentations by pinning down the nature of their word problems. For example it&#8217;s well known that a group has a word problem recognisable by a finite state automaton (that is a &#8220;regular&#8221; word problem) if and only if the group is finite.<\/p>\n\n\n\n<p>At the next level, the word problem is recognised by an automaton with single memory stack (so &#8220;context free&#8221;) if and only if the group has a finite index free subgroup.<\/p>\n\n\n\n<p>Between context free and non-recursive, not so much is yet known.<\/p>\n\n\n\n<p>I will talk about a generalisation of context free to &#8220;multiple context free&#8221;, say something about properties of these sets of words and about which groups are known to have, or not to have, multiple context free word problems.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">26 November 2024<\/pre>\n\n\n\n<p>Speaker: Ilaria Collazo (University of Leeds)<\/p>\n\n\n\n<p>Title: Classifying Bijective Set-theoretic Solutions to the Pentagon Equation<\/p>\n\n\n\n<p>Abstract: In this talk, I will present a complete classification of finite bijective set-theoretic solutions to the Pentagon Equation, uncovering a surprising connection with matched pairs of groups. We will introduce all necessary definitions, including the notion of irretractable solutions, and explore how these solutions correspond with matched pairs of groups. Finally, I will show how each irretractable solution lifts to provide the full classification of all bijective solutions.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">3 December 2024<\/pre>\n\n\n\n<p>Speaker: Stefan Kolb (University of Newcastle)<\/p>\n\n\n\n<p>Title: Representations of very non-standard quantum so(2N-1)<\/p>\n\n\n\n<p>Abstract: Letzter&#8217;s theory of quantum symmetric pairs provides new quantum deformations of the Lie algebra so(n-1) considered as a Lie subalgebra of so(n). These deformations are realized as coideal subalgebras B of the Drinfeld-Jimbo quantum enveloping algebra U=Uq(so(n)). For even n=2N the algebra B has an obvious Cartan subalgebra which makes it possible to mimic quantum group constructions.<\/p>\n\n\n\n<p>In this talk I will discuss this example as an illustration of Letzter&#8217;s theory. I will outline a Poincare-Birkhoff-Witt Theorem and the classification of finite-dimensional irreducible representations of B in this case. This part of the talk is based on Jake Stephen&#8217;s PhD thesis. Time permitting, I will discuss semi-simplicity and more recent developments.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">10 December 2024<\/pre>\n\n\n\n<p>Speaker: Matthew Cordes (Heriot-Watt)<\/p>\n\n\n\n<p>Title: Coxeter groups with connected Morse boundary<\/p>\n\n\n\n<p>Abstract: Given a finitely generated (infinite) group, one can cook up a topological space called the Morse boundary that encodes the possible &#8220;hyperbolic&#8221; directions of some (any) Cayley graph of the group. The topology of the Morse boundary can be challenging to understand, even for simple examples. In this talk, I will focus on a basic topological property: connectivity and on a well-studied class of CAT(0) groups: Coxeter groups. I will discuss a set of criteria that guarantees that the Morse boundary of a Coxeter group is connected. In particular, when we restrict to the right-angled case, we get a full characterization of right-angled Coxeter groups with connected Morse boundary. This is joint work with Ivan Levcovitz.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">28 January 2025<\/pre>\n\n\n\n<p>Speaker: Bart Vlaar (Beijing Institute of Mathematical Sciences and Applications)<\/p>\n\n\n\n<p>Title: Recent advances for tensor K-matrices<\/p>\n\n\n\n<p>Abstract: Solutions of ordinary (type A) braid relations arise naturally in representations of quasitriangular bialgebras. One can also consider (tensor) K-matrices, solutions of cylindrical (type B) braid relations. They appear in a more refined algebraic context, involving a suitable pair of quasitriangular bialgebra A and coideal subalgebra B. The key family of examples is given by quantum symmetric pairs (A = Drinfeld-Jimbo quantum group, B = q-deformed fixed-point subalgebra). I will review some recent joint work with Andrea Appel and show that tensor K-matrices for suitable bialgebras canonically yield ring homomorphisms from the Grothendieck ring of finite-dimensional A-modules to a (commutative subalgebra of) B. This is of particular interest if A is a quantum group of affine type.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">04 February 2025<\/pre>\n\n\n\n<p>Speaker: Stuart Hall (University of Newcastle)<\/p>\n\n\n\n<p>Title: Something about Jordan Algebras<\/p>\n\n\n\n<p>Abstract: Jordan Algebras were introduced in the 1930s&nbsp; as part of an attempt&nbsp; to find useful algebraic settings for doing quantum mechanics.&nbsp; Sadly for the physicists, there turns out to be a very short list of these objects with only one &#8216;nonstandard\/exceptional&#8217; example appearing in the theory. This will be a non-technical talk where I&#8217;ll say something about the list of Jordan Algebras, and then try to explain a link recently found by my coauthor Paul Schwahn between Jordan Algebras and infinitesimally deformable Einstein symmetric spaces.&nbsp;&nbsp;<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">11 February 2025<\/pre>\n\n\n\n<p>Speaker: Philipp Bader (University of Glasgow)<\/p>\n\n\n\n<p>Title: Comparing Teichm\u00fcller and curve graph translation lengths<\/p>\n\n\n\n<p>Abstract: The mapping class group of a closed surface S acts on the Teichm\u00fcller space, as well as the curve graph of S. Pseudo-Anosov elements act in a particularly nice way: for a&nbsp;pseudo-Anosov, there exists a geodesic in both Teichm\u00fcller space and the curve graph, such that (a power of) the pseudo Anosov preserves that geodesic and acts on it by translation. Measuring these translation lengths yields two real numbers as invariants for the pseudo-Anosov.\u2002<\/p>\n\n\n\n<p>In this talk, we will introduce the above notions and explore the relationship between the two invariants. In particular, we\u2019ll show the different behaviour of the two for a family of pseudo-Anosovs.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">18 February 2025<\/pre>\n\n\n\n<p>Speaker: JeongHyeong Park (Sungkyunkwan University, Korea)<\/p>\n\n\n\n<p>Title: Recent developments on weakly-Einstein manifolds<\/p>\n\n\n\n<p>Abstract: A Riemannian manifold (M, g) is said to be weakly Einstein<br>if the tensor $R_iabcR^abcj$ is a scalar multiple of the metric tensor gij.<br>The definition and several applications of weakly Einstein manifolds were<br>introduced by Euh, Park, and Sekigawa in our study of a curvature identity<br>that holds on any 4-dimensional Riemannian manifold. In dimension $4$,<br>any Einstein manifold is weakly Einstein (which was the motivation for the definition).<br>Similarly to Einstein manifolds, weakly Einstein compact manifolds admit a variational<br>definition: they are critical points of the integral of the squared norm of the curvature<br>tensor on the space of metrics of fixed volume with parallel Ricci tensor.<br>In this talk, we discuss our recent progress on weakly Einstein manifolds.<br>(This is joint work with Y. Euh, J. Kim, S. Kim and Y. Nikolayevsky.)<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">25 February 2025 - <strong>MOVED TO<\/strong> <strong>ROOM<\/strong> <strong>KGVI.1.12<\/strong>.<\/pre>\n\n\n\n<p>Speaker: Ulrich Kr\u00e4hmer (University of Dresden)<\/p>\n\n\n\n<p>Title: The ring of differential operators on a monomial curve is a Hopf algebroid<\/p>\n\n\n\n<p>Abstract: The ring of differential operators on a cuspidal curve whose coordinate ring is a numerical semigroup algebra is shown to be a cocommutative and cocomplete left Hopf algebroid (I&#8217;ll introduce these notions of course). If the semigroup is<br>symmetric so that the curve is Gorenstein, it is a full Hopf algebroid (admits an antipode).<br>Based on joint work with Myriam Mahaman.<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">4 March 2025<\/pre>\n\n\n\n<p>Speaker: Liao Wang (University of Bonn), <strong>Monday 4-5pm in ARMB.1.04<\/strong><\/p>\n\n\n\n<p>Title: Tensor product decomposition of quantum gl_2 \\times gl_2<\/p>\n\n\n\n<p>Abstract: Quantum symmetric pairs were introduced by Gail Letzter in the 90s as a quantization of the embedding g^theta into g, where g is a simple Lie algebra and theta is a Lie algebra involution of g. It turns out that usually the only &nbsp;possible quantization as a coideal of &nbsp;g^theta is not a Hopf algebra.<br>&nbsp;The&nbsp;upside of this quantization is that one can restrict the quantum group representations. The downside however, is that despite&nbsp;a classification and explicit Serre type presentation, the calculation is very lengthy and technical. Using Schur\u2014Weyl duality and the theory of Ariki\u2014Koike algebras, there is an abstract classification of simple submodules of tensor powers of the natural representation. Furthermore, by calculating common eigenspaces of Jucyc\u2014Murphy elements (using sagemath), we calculated explicit &nbsp;decomposition of small tensor powers of the natural representation into irreducibles. We found operators that mimic the two copies of sl_2, and we are hoping to<br>&nbsp;find a nice description of irreducible representations there.&nbsp;<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">11 March 2025<\/pre>\n\n\n\n<p>Speaker: cancelled<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">18 March 2025<\/pre>\n\n\n\n<p>Speaker: cancelled<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">25 March 2025<\/pre>\n\n\n\n<p>Speaker: cancelled<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">29 April 2025<\/pre>\n\n\n\n<p>Speaker: Collin Bleak (University of St. Andrews)<\/p>\n\n\n\n<p>Title: Embedding certain&nbsp;automatic&nbsp;groups into the rational group R<\/p>\n\n\n\n<p>Abstract: We introduce left-continuous&nbsp;automatic&nbsp;groups as a subclass of the well-known&nbsp;automatic&nbsp;groups.&nbsp; The class of left-continuous&nbsp;automatic&nbsp;groups is a bit mysterious as a subclass of the&nbsp;automatic&nbsp;groups, but, we know at least that the class contains the CAT(0) Cubical Complex groups (CCC groups), which themselves represent&nbsp;a broad class of groups of topical interest.&nbsp; Our main theorem states that all left-continuous&nbsp;automatic&nbsp;groups embed as subgroups of the rational group R, a group introduced in 2000 by Grigorchuk, Nekrashevych, and Suschanskii.&nbsp; We will provide definitions and examples of these various groups along the way, and have some discussion as well of different forms of boundaries of groups.&nbsp; We also discuss how similar embedding theorems have been of use in larger programs of discovery.&nbsp; Joint work with Belk, Chatterji, Matucci and Perego.&nbsp;<\/p>\n\n\n\n<pre class=\"wp-block-preformatted\">06 May 2025<\/pre>\n\n\n\n<p>Speaker: Maxim Nazarov (University of York)<\/p>\n\n\n\n<p>Title: Yangian of the periplectic Lie superalgebra<\/p>\n\n\n\n<p>Abstract: Yangians are deformations of the enveloping algebras of Lie algebras<br>of polynomial functions of one variable with values in any<br>finite-dimensional simple Lie algebra. They were defined 40 ago by<br>Drinfeld, who generalised examples that emerged in Quantum Physics<br>about 5 years before. Since then, Yangians have been extensively<br>studied by mathematicians and physicists. They also found remarkable<br>applications in Lie Theory and Quantum Field Theory.<br><br>Yangians can be defined for all classical Lie superalgebras as well.<br>The theory of these Yangians began unfolding only in the last years.<br>The aim of this talk is to present recent results on the Yangian<br>corresponding to the periplectic Lie superalgebra. The latter is a<br>superanalogue of the orthogonal and the symplectic Lie algebra at the<br>same time.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Seminars Semester 2 2025-26 3 February 2026 Speaker: Gabriel Corrigan (University of Glasgow) Title: Finiteness properties of some automorphism groups of right-angled Artin groups Abstract: Right-angled Artin groups (RAAGs) can be viewed as a generalisation of free groups. To what &hellip; <a href=\"https:\/\/blogs.ncl.ac.uk\/puremaths\/algebra-and-geometry\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":11734,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/users\/11734"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":51,"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":308,"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/pages\/10\/revisions\/308"}],"wp:attachment":[{"href":"https:\/\/blogs.ncl.ac.uk\/puremaths\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}