Related papers: Serre-Lusztig relations for $\imath$quantum groups…
Let $(\bf U, \bf U^\imath)$ be a quantum symmetric pair of Kac-Moody type. The $\imath$quantum groups $\bf U^\imath$ and the universal $\imath$quantum groups $\widetilde{\bf U}^\imath$ can be viewed as a generalization of quantum groups and…
let $\widetilde{\bf U}^\imath$ be a quasi-split universal $\imath$quantum group associated to a quantum symmetric pair $(\widetilde{\bf U}, \widetilde{\bf U}^\imath)$ of Kac-Moody type with a diagram involution $\tau$. We establish the…
We give a new, conceptual proof of the $\imath$Serre and Serre-Lusztig relations for $\imath$quantum groups. The key to our approach is a new formula for the comultiplication of the $\imath$-divided powers, which allows us to reformulate…
Let $(\mathbf{U}, \mathbf{U}^\imath)$ be a quasi-split quantum symmetric pair of Kac-Moody type. The $\imath$quantum group $\mathbf{U}^\imath$ admits a Serre presentation featuring the $\imath$-Serre relations in terms of $\imath$-divided…
We extend the $\imath$Hall algebra realization of $\imath$quantum groups arising from quantum symmetric pairs, which establishes an injective homomorphism from the universal $\imath$quantum group of Kac-Moody type to the $\imath$Hall…
Classical symmetric pairs consist of a symmetrizable Kac-Moody algebra $\mathfrak{g}$, together with its subalgebra of fixed points under an involutive automorphism of the second kind. Quantum group analogs of this construction, known as…
We extend our $\imath$Hall algebra construction from acyclic to arbitrary $\imath$quivers, where the $\imath$quiver algebras are infinite-dimensional 1-Gorenstein in general. Then we establish an injective homomorphism from the universal…
We construct quantum supersymmetric pairs $({\bold U},{\bold U}^\imath)$ of type AIII and elucidate their fundamental properties. An $\imath$Schur duality between the $\imath$quantum supergroup ${\bold U}^\imath$ and the Hecke algebra of…
Let $(\bf U, \bf U^\imath)$ be a quasi-split quantum symmetric pair of arbitrary Kac-Moody type, where "quasi-split" means the corresponding Satake diagram contains no black node. We give a presentation of the $\imath$quantum group $\bf…
A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{{\boldsymbol{\varsigma}}}$ (called an $\imath$quantum group) with parameters ${\boldsymbol{\varsigma}}$. In this note, we use…
This is a survey of some recent progress on quantum symmetric pairs and applications. The topics include quasi K-matrices, $\imath$Schur duality, canonical bases, super Kazhdan-Lusztig theory, $\imath$Hall algebras, current presentations…
The present paper develops a general theory of quantum group analogs of symmetric pairs for involutive automorphism of the second kind of symmetrizable Kac-Moody algebras. The resulting quantum symmetric pairs are right coideal subalgebras…
Recently, relative braid group actions on $\imath$quantum groups of arbitrary finite types have been constructed by Wang and the author. In this paper, we extend that construction to $\imath$quantum groups of Kac-Moody type. We formulate…
We obtain two related characterizations of discrete quantum groups and discrete quantum groups of Kac type as allegorical group objects in the symmetric monoidal dagger category of quantum sets and relations, of interest to quantum…
We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantized enveloping algebras of Kac-Moody type. Our methods are based on star products on noncommutative $\mathbb{N}$-graded algebras. The…
We present a comprehensive generalization of Lusztig's braid group symmetries for quasi-split iquantum groups. Specifically, we give 3 explicit rank one formulas for symmetries acting on integrable modules over a quasi-split iquantum group…
A quantum symmetric pair is a quantization of the symmetric pair of universal enveloping algebras. Recent development suggests that most of the theory for quantum groups can be generalised to the setting of quantum symmetric pairs. In this…
We construct a principally graded quantum loop algebra for the Kac-Moody algebra. As a special case a twisted analog of the quantum toroidal algebra is obtained together with the quantum Serre relations.
For quantum symmetric pairs $(\mathbf{U}, \textbf{U}^\imath)$ of Kac-Moody type, we construct $\imath$canonical bases for the highest weight integrable $\mathbf{U}$-modules and their tensor products regarded as $\mathbf{U}^\imath$-modules,…
This paper studies the loop algebras that arise from pairs consisting of a symmetrizable Kac-Moody Lie algebra $\g$ and a finite order automorphism $\sigma$ of $\g$. We obtain necessary and sufficient conditions for two such loop algebras…