A ${\mathcal Z}$-subalgebra $U_{\mathcal Z}^\jmath {(n)}$ (${\mathcal Z}=\mathbb Z[\upsilon ,\upsilon ^{-1}]$) for the i-quantum group ${\mathbf {U}}^{\jmath }(n)$ over the field $\mathbb Q(\upsilon )$ is constructed by two of the authors [‘A new realisation of the i-quantum group $U^\jmath {(n)}$’, J. Pure Appl. Algebra 226(1) (2022), Paper no. 106793, 27 pages, Theorem 6.5], using a Beilinson–Lusztig–MacPherson (BLM) type realisation. In this paper, we construct bases for $U_{\mathcal Z}^\jmath {(n)}$, including the monomial basis conjectured in [‘A new realisation of the i-quantum group $U^\jmath {(n)}$’, J. Pure Appl. Algebra 226(1) (2022), Paper no. 106793, 27 pages, Remark 6.6(4)]. This proves that the ${\mathcal Z}$-algebra $U_{\mathcal Z}^\jmath {(n)}$ is a free ${\mathcal Z}$-module. Hence, $U_{\mathcal Z}^\jmath {(n)}$ is in fact an integral form of Lusztig type. This construction is further extended to the i-quantum hyperalgebra over a field of any characteristic. By specialising $\upsilon $ to an l th primitive root $\varepsilon $ of $1$ with l odd, a realisation of the quotient of modulo the ideal generated by $d_i^l-1$, for all $1\leqslant i\leqslant n+1$, is also given as a by-product.

We develop a diagrammatic approach to the representation theory of the quantum symmetric pairs corresponding to orthosymplectic Lie superalgebras inside general linear Lie superalgebras. Our approach is based on the disoriented skein category, which we define as a module category over the framed HOMFLYPT skein category. The disoriented skein category admits full incarnation functors to the categories of modules over the iquantum enveloping algebras corresponding to the quantum symmetric pairs, and it can be viewed as an interpolating category for these categories of modules. We define an equivalence of module categories between the disoriented skein category and the iquantum Brauer category (also known as the q-Brauer category), after endowing the latter with the structure of a module category over the framed HOMFLYPT skein category. The disoriented skein category has some advantages over the iquantum Brauer category, possessing duality structure and allowing the incarnation functors to be strict morphisms of module categories. Finally, we construct explicit bases for the morphism spaces of the disoriented skein and iquantum Brauer categories.

We construct a novel family of difference-permutation operators and prove that they are diagonalized by the wreath Macdonald P-polynomials; the eigenvalues are written in terms of elementary symmetric polynomials of arbitrary degree. Our operators arise from integral formulas for the action of the horizontal Heisenberg subalgebra in the vertex representation of the corresponding quantum toroidal algebra.

We introduce the notion of integrable modules over $\imath $quantum groups (a.k.a. quantum symmetric pair coideal subalgebras). After determining a presentation of such modules, we prove that each integrable module over a quantum group is integrable when restricted to an $\imath $quantum group. As an application, we show that the space of matrix coefficients of all simple integrable modules over an $\imath $quantum group of finite type with specific parameters coincides with Bao-Song’s coordinate ring of the $\imath $quantum group.

We give a crystal structure on the set of Gelfand–Tsetlin patterns (GTPs), which parametrize bases for finite-dimensional irreducible representations of the general linear Lie algebra. The crystal data are given in closed form and are expressed using tropical polynomial functions of the entries of the patterns. We prove that with this crystal structure, the natural bijection between GTPs and semistandard Young tableaux is a crystal isomorphism.

We describe algebraically, diagrammatically, and in terms of weight vectors, the restriction of tensor powers of the standard representation of quantum $\mathfrak {sl}_2$ to a coideal subalgebra. We realize the category as a module category over the monoidal category of type $\pm 1$ representations in terms of string diagrams and via generators and relations. The idempotents projecting onto the quantized eigenspaces are described as type $B/D$ analogues of Jones–Wenzl projectors. As an application, we introduce and give recursive formulas for analogues of $\Theta$-networks.

We prove a conjecture of Lê and Sikora by providing a comparison between various existing $SL_n$ skein theories. While doing so, we show that the full subcategory of the spider category, $\mathcal {S}p(SL_n)$, defined by Cautis–Kamnitzer–Morrison, whose objects are monoidally generated by the standard representation and its dual, is equivalent as a spherical braided category to Sikora’s quotient category. This also answers a question from Morrison’s Ph.D. thesis. Finally, we show that the skein modules associated with the CKM and Sikora’s webs are isomorphic.

Let be a commutative ring containing a primitive $l'$th root $\varepsilon $ of $1$. The infinitesimal q-Schur algebras over form an ascending chain of subalgebras of the q-Schur algebra , which are useful in studying representations of the Frobenius kernel of the associated quantum linear group. Let be the quantized enveloping algebra of $\mathfrak {gl}_n$ over . There is a natural surjective algebra homomorphism $\zeta _{d}$ from to . The map $\zeta _{d}$ restricts to a surjective algebra homomorphism $\zeta _{d,r}$ from to , where is a certain Hopf subalgebra of , which is closely related to Frobenius–Lusztig kernels of . We give the extra defining relations needed to define the infinitesimal q-Schur algebra as a quotient of . The map $\zeta _{d,r}$ induces a surjective algebra homomorphism , where is the modified quantum algebra associated with . We also give a generating set for the kernel of $\dot {\zeta }_{d,r}$. These results can be used to give a classification of irreducible -modules over a field of characteristic p.

We introduce the notions of quasi-Laurent and Laurent families of simple modules over quiver Hecke algebras of arbitrary symmetrizable types. We prove that such a family plays a similar role of a cluster in quantum cluster algebra theory and exhibits a quantum Laurent positivity phenomenon similar to the basis of the quantum unipotent coordinate ring $\mathcal {A}_q(\mathfrak {n}(w))$, coming from the categorification. Then we show that the families of simple modules categorifying Geiß–Leclerc–Schröer (GLS) clusters are Laurent families by using the Poincaré–Birkhoff–Witt (PBW) decomposition vector of a simple module $X$ and categorical interpretation of (co)degree of $[X]$. As applications of such $\mathbb {Z}\mspace {1mu}$-vectors, we define several skew-symmetric pairings on arbitrary pairs of simple modules, and investigate the relationships among the pairings and $\Lambda$-invariants of $R$-matrices in the quiver Hecke algebra theory.

Let $G$ be a reductive group, and let $\check {G}$ be its Langlands dual group. Arkhipov and Bezrukavnikov proved that the Whittaker category on the affine flags ${\operatorname {Fl}}_G$ is equivalent to the category of $\check {G}$-equivariant quasi-coherent sheaves on the Springer resolution of the nilpotent cone. This paper proves this theorem in the quantum case. We show that the twisted Whittaker category on ${\operatorname {Fl}}_G$ and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category $\mathsf {O}$ is equivalent to the twisted Whittaker category on ${\operatorname {Fl}}_G$ in the generic case. The strong version of our main theorem claims a motivic equivalence between the Whittaker category on ${\operatorname {Fl}}_G$ and a factorization module category, which holds in the de Rham setting, the Betti setting, and the $\ell$-adic setting.

We apply Takesaki’s and Connes’s ideas on structure analysis for type III factors to the study of links (a short term of Markov kernels) appearing in asymptotic representation theory.

Let $\mathfrak {g}$ be a complex semisimple Lie algebra with associated Yangian $Y_{\hbar }\mathfrak {g}$. In the mid-1990s, Khoroshkin and Tolstoy formulated a conjecture which asserts that the algebra $\mathrm {D}Y_{\hbar }\mathfrak {g}$ obtained by doubling the generators of $Y_{\hbar }\mathfrak {g}$, called the Yangian double, provides a realization of the quantum double of the Yangian. We provide a uniform proof of this conjecture over $\mathbb {C}[\kern-1.2pt\![{\hbar }]\!\kern-1.2pt]$ which is compatible with the theory of quantized enveloping algebras. As a by-product, we identify the universal R-matrix of the Yangian with the canonical element defined by the pairing between the Yangian and its restricted dual.

We use the dual functional realization of loop algebras to study the prime irreducible objects in the Hernandez–Leclerc (HL) category for the quantum affine algebra associated with $\mathfrak {sl}_{n+1}$. When the HL category is realized as a monoidal categorification of a cluster algebra (Hernandez and Leclerc (2010, Duke Mathematical Journal 154, 265–341); Hernandez and Leclerc (2013, Symmetries, integrable systems and representations, 175–193)), these representations correspond precisely to the cluster variables and the frozen variables are minimal affinizations. For any height function, we determine the classical decomposition of these representations with respect to the Hopf subalgebra $\mathbf {U}_q(\mathfrak {sl}_{n+1})$ and describe the graded multiplicities of their graded limits in terms of lattice points of convex polytopes. Combined with Brito, Chari, and Moura (2018, Journal of the Institute of Mathematics of Jussieu 17, 75–105), we obtain the graded decomposition of stable prime Demazure modules in level two integrable highest weight representations of the corresponding affine Lie algebra.

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).

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.

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.

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 $U_q'({\mathfrak {g}})$ be a quantum affine algebra with an indeterminate $q$, and let $\mathscr {C}_{\mathfrak {g}}$ be the category of finite-dimensional integrable $U_q'({\mathfrak {g}})$-modules. We write $\mathscr {C}_{\mathfrak {g}}^0$ for the monoidal subcategory of $\mathscr {C}_{\mathfrak {g}}$ introduced by Hernandez and Leclerc. In this paper, we associate a simply laced finite-type root system to each quantum affine algebra $U_q'({\mathfrak {g}})$ in a natural way and show that the block decompositions of $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$ are parameterized by the lattices associated with the root system. We first define a certain abelian group $\mathcal {W}$ (respectively $\mathcal {W} _0$) arising from simple modules of $\mathscr {C}_{\mathfrak {g}}$ (respectively $\mathscr {C}_{\mathfrak {g}}^0$) by using the invariant $\Lambda ^\infty$ introduced in previous work by the authors. The groups $\mathcal {W}$ and $\mathcal {W} _0$ have subsets $\Delta$ and $\Delta _0$ determined by the fundamental representations in $\mathscr {C}_{\mathfrak {g}}$ and $\mathscr {C}_{\mathfrak {g}}^0$, respectively. We prove that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ is an irreducible simply laced root system of finite type and that the pair $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} , \Delta )$ is isomorphic to the direct sum of infinite copies of $( \mathbb {R} \otimes _\mathbb {\mspace {1mu}Z\mspace {1mu}} \mathcal {W} _0, \Delta _0)$ as a root system.