We establish an equivalence between two approaches to quantization of irreducible symmetric spaces of compact type within the framework of quasi-coactions, one based on the Enriquez–Etingof cyclotomic Knizhnik–Zamolodchikov (KZ) equations and the other on the Letzter–Kolb coideals. This equivalence can be upgraded to that of ribbon braided quasi-coactions, and then the associated reflection operators (K-matrices) become a tangible invariant of the quantization. As an application we obtain a Kohno–Drinfeld type theorem on type $\mathrm {B}$ braid group representations defined by the monodromy of KZ-equations and by the Balagović–Kolb universal K-matrices. The cases of Hermitian and non-Hermitian symmetric spaces are significantly different. In particular, in the latter case a quasi-coaction is essentially unique, while in the former we show that there is a one-parameter family of mutually nonequivalent quasi-coactions.

We introduce the quantum isomeric supercategory and the quantum affine isomeric supercategory. These diagrammatically defined supercategories, which can be viewed as isomeric analogues of the HOMFLYPT skein category and its affinisation, provide powerful categorical tools for studying the representation theory of the quantum isomeric superalgebras (commonly known as quantum queer superalgebras).

Let $W = \mathbb {C}[t,t^{-1}]\partial _t$ be the Witt algebra of algebraic vector fields on $\mathbb {C}^\times$ and let $V\!ir$ be the Virasoro algebra, the unique nontrivial central extension of $W$. In this paper, we study the Poisson ideal structure of the symmetric algebras of $V\!ir$ and $W$, as well as several related Lie algebras. We classify prime Poisson ideals and Poisson primitive ideals of $\operatorname {S}(V\!ir)$ and $\operatorname {S}(W)$. In particular, we show that the only functions in $W^*$ which vanish on a nontrivial Poisson ideal (that is, the only maximal ideals of $\operatorname {S}(W)$ with a nontrivial Poisson core) are given by linear combinations of derivatives at a finite set of points; we call such functions local. Given a local function $\chi \in W^*$, we construct the associated Poisson primitive ideal through computing the algebraic symplectic leaf of $\chi$, which gives a notion of coadjoint orbit in our setting. As an application, we prove a structure theorem for subalgebras of $V\!ir$ of finite codimension and show, in particular, that any such subalgebra of $V\!ir$ contains the central element $z$, substantially generalising a result of Ondrus and Wiesner on subalgebras of codimension one. As a consequence, we deduce that $\operatorname {S}(V\!ir)/(z-\zeta )$ is Poisson simple if and only if $\zeta \neq ~0$.

We introduce the combinatorial notion of a q-factorization graph intended as a tool to study and express results related to the classification of prime simple modules for quantum affine algebras. These are directed graphs equipped with three decorations: a coloring and a weight map on vertices, and an exponent map on arrows (the exponent map can be seen as a weight map on arrows). Such graphs do not contain oriented cycles and, hence, the set of arrows induces a partial order on the set of vertices. In this first paper on the topic, beside setting the theoretical base of the concept, we establish several criteria for deciding whether or not a tensor product of two simple modules is a highest-$\ell $-weight module and use such criteria to prove, for type A, that a simple module whose q-factorization graph has a totally ordered vertex set is prime.

In this paper, we give a new method to classify all simple cuspidal modules for the $\mathbb {Z}$-graded and $1/2\mathbb {Z}$-graded Ovsienko–Roger superalgebras. Using this result, we classify all simple Harish–Chandra modules over some related Lie superalgebras, including the $N=1$ BMS$_3$ superalgebra, the super $W(2,2)$, etc.

Albert algebras, a specific kind of Jordan algebra, are naturally distinguished objects among commutative nonassociative algebras and also arise naturally in the context of simple affine group schemes of type $\mathsf {F}_4$, $\mathsf {E}_6$, or $\mathsf {E}_7$. We study these objects over an arbitrary base ring R, with particular attention to the case $R = \mathbb {Z}$. We prove in this generality results previously in the literature in the special case where R is a field of characteristic different from 2 and 3.

It was established by Boalch that Euler continuants arise as Lie group valued moment maps for a class of wild character varieties described as moduli spaces of points on $\mathbb {P}^1$ by Sibuya. Furthermore, Boalch noticed that these varieties are multiplicative analogues of certain Nakajima quiver varieties originally introduced by Calabi, which are attached to the quiver $\Gamma _n$ on two vertices and n equioriented arrows. In this article, we go a step further by unveiling that the Sibuya varieties can be understood using noncommutative quasi-Poisson geometry modelled on the quiver $\Gamma _n$. We prove that the Poisson structure carried by these varieties is induced, via the Kontsevich–Rosenberg principle, by an explicit Hamiltonian double quasi-Poisson algebra defined at the level of the quiver $\Gamma _n$ such that its noncommutative multiplicative moment map is given in terms of Euler continuants. This result generalises the Hamiltonian double quasi-Poisson algebra associated with the quiver $\Gamma _1$ by Van den Bergh. Moreover, using the method of fusion, we prove that the Hamiltonian double quasi-Poisson algebra attached to $\Gamma _n$ admits a factorisation in terms of n copies of the algebra attached to $\Gamma _1$.

In this paper, we study the images of multilinear graded polynomials on the graded algebra of upper triangular matrices $UT_n$. For positive integers $q\leq n$, we classify these images on $UT_{n}$ endowed with a particular elementary ${\mathbb {Z}}_{q}$-grading. As a consequence, we obtain the images of multilinear graded polynomials on $UT_{n}$ with the natural ${\mathbb {Z}}_{n}$-grading. We apply this classification in order to give a new condition for a multilinear polynomial in terms of graded identities so that to obtain the traceless matrices in its image on the full matrix algebra. We also describe the images of multilinear polynomials on the graded algebras $UT_{2}$ and $UT_{3}$, for arbitrary gradings. We finish the paper by proving a similar result for the graded Jordan algebra $UJ_{2}$, and also for $UJ_{3}$ endowed with the natural elementary ${\mathbb {Z}}_{3}$-grading.

In this note, we correct an oversight regarding the modules from Definition 4.2 and proof of Lemma 5.12 in Baur et al. (Nayoga Math. J., 2020, 240, 322–354). In particular, we give a correct construction of an indecomposable rank $2$ module $\operatorname {\mathbb {L}}\nolimits (I,J)$, with the rank 1 layers I and J tightly $3$-interlacing, and we give a correct proof of Lemma 5.12.

We present a categorical point of view on dynamical quantum groups in terms of categories of Harish-Chandra bimodules. We prove Tannaka duality theorems for forgetful functors into the monoidal category of Harish-Chandra bimodules in terms of a slight modification of the notion of a bialgebroid. Moreover, we show that the standard dynamical quantum groups $F(G)$ and $F_q(G)$ are related to parabolic restriction functors for classical and quantum Harish-Chandra bimodules. Finally, we exhibit a natural Weyl symmetry of the parabolic restriction functor using Zhelobenko operators and show that it gives rise to the action of the dynamical Weyl group.

In this note, we give a classification of the maximal order Abelian subgroups of finite irreducible Coxeter groups. We also prove a Weyl group analog of Cartan’s theorem that all maximal tori in a connected compact Lie group are conjugate.

In this work, we introduce Urod algebras associated to simply laced Lie algebras as well as the concept of translation of W-algebras.

Both results are achieved by showing that the quantum Hamiltonian reduction commutes with tensoring with integrable representations; that is, for V and L an affine vertex algebra and an integrable affine vertex algebra associated with $\mathfrak {g}$, we have the vertex algebra isomorphism $H_{DS,f}^{0}(V\otimes L)\cong H_{DS,f}^{0}(V)\otimes L$, where in the left-hand-side the Drinfeld–Sokolov reduction is taken with respect to the diagonal action of $\widehat {\mathfrak {g}}$ on $V{\otimes } L$.

The proof is based on some new construction of automorphisms of vertex algebras, which may be of independent interest. As corollaries, we get fusion categories of modules of many exceptional W-algebras, and we can construct various corner vertex algebras.

A major motivation for this work is that Urod algebras of type A provide a representation theoretic interpretation of the celebrated Nakajima–Yoshioka blowup equations for the moduli space of framed torsion free sheaves on $\mathbb {CP}^{2}$ of an arbitrary rank.

In this paper we construct an action of the affine Hecke category (in its ‘Soergel bimodules’ incarnation) on the principal block of representations of a simply connected semisimple algebraic group over an algebraically closed field of characteristic bigger than the Coxeter number. This confirms a conjecture of G. Williamson and the second author, and provides a new proof of the tilting character formula in terms of antispherical $p$-Kazhdan–Lusztig polynomials.

We introduce and study a fermionisation procedure for the cohomological Hall algebra $\mathcal{H}_{\Pi_Q}$ of representations of a preprojective algebra, that selectively switches the cohomological parity of the BPS Lie algebra from even to odd. We do so by determining the cohomological Donaldson–Thomas invariants of central extensions of preprojective algebras studied in the work of Etingof and Rains, via deformed dimensional reduction. Via the same techniques, we determine the Borel–Moore homology of the stack of representations of the $\unicode{x03BC}$-deformed preprojective algebra introduced by Crawley–Boevey and Holland, for all dimension vectors. This provides a common generalisation of the results of Crawley-Boevey and Van den Bergh on the cohomology of smooth moduli schemes of representations of deformed preprojective algebras and my earlier results on the Borel–Moore homology of the stack of representations of the undeformed preprojective algebra.

We define slope subalgebras in the shuffle algebra associated to a (doubled) quiver, thus yielding a factorization of the universal R-matrix of the double of the shuffle algebra in question. We conjecture that this factorization matches the one defined by [1, 18, 32, 33, 34] using Nakajima quiver varieties.

Let K be any field of characteristic two and let $U_1$ and $W_1$ be the Lie algebras of the derivations of the algebra of Laurent polynomials $K[t,t^{-1}]$ and of the polynomial ring K[t], respectively. The algebras $U_1$ and $W_1$ are equipped with natural $\mathbb{Z}$-gradings. In this paper, we provide bases for the graded identities of $U_1$ and $W_1$, and we prove that they do not admit any finite basis.

For complex simple Lie algebras of types B, C, and D, we provide new explicit formulas for the generators of the commutative subalgebra $\mathfrak z(\hat {\mathfrak g})\subset {{\mathcal {U}}}(t^{-1}\mathfrak g[t^{-1}])$ known as the Feigin–Frenkel centre. These formulas make use of the symmetrisation map as well as of some well-chosen symmetric invariants of $\mathfrak g$. There are some general results on the rôle of the symmetrisation map in the explicit description of the Feigin–Frenkel centre. Our method reduces questions about elements of $\mathfrak z(\hat {\mathfrak g})$ to questions on the structure of the symmetric invariants in a type-free way. As an illustration, we deal with type G$_2$ by hand. One of our technical tools is the map ${\sf m}\!\!: {{\mathcal {S}}}^{k}(\mathfrak g)\to \Lambda ^{2}\mathfrak g \otimes {{\mathcal {S}}}^{k-3}(\mathfrak g)$ introduced here. As the results show, a better understanding of this map will lead to a better understanding of $\mathfrak z(\hat {\mathfrak g})$.

We construct and study some vertex theoretic invariants associated with Poisson varieties, specializing in the conformal weight $0$ case to the familiar package of Poisson homology and cohomology. In order to do this conceptually, we sketch a version of the calculus, in the sense of [12], adapted to the context of vertex algebras. We obtain the standard theorems of Poisson (co)homology in this chiral context. This is part of a larger project related to promoting noncommutative geometric structures to chiral versions of such.

Using crossed homomorphisms, we show that the category of weak representations (respectively admissible representations) of Lie–Rinehart algebras (respectively Leibniz pairs) is a left module category over the monoidal category of representations of Lie algebras. In particular, the corresponding bifunctor of monoidal categories is established to give new weak representations (respectively admissible representations) of Lie–Rinehart algebras (respectively Leibniz pairs). This generalises and unifies various existing constructions of representations of many Lie algebras by using this new bifunctor. We construct some crossed homomorphisms in different situations and use our actions of monoidal categories to recover some known constructions of representations of various Lie algebras and to obtain new representations for generalised Witt algebras and their Lie subalgebras. The cohomology theory of crossed homomorphisms between Lie algebras is introduced and used to study linear deformations of crossed homomorphisms.

Let $G= SL_{n+1}$ be defined over an algebraically closed field of characteristic $p > 2$. For each $n \geq 1$, there exists a singular block in the category of $G_1$-modules, which contains precisely $n+1$ irreducible modules. We are interested in the ‘lift’ of this block to the category of $G_1T$-modules. Imposing only mild assumptions on $p$, we will perform a number of calculations in this setting, including a complete determination of the Loewy series for the baby Verma modules and all possible extensions between the irreducible modules. In the case where $p$ is extremely large, we will also explicitly compute the Loewy series for the indecomposable projective modules.