Related papers: $\imath$quantum groups of split type via derived H…
A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{\boldsymbol{\varsigma}}$ with parameters $\boldsymbol{\varsigma}$ (called an $\imath$quantum group). We initiate a Hall…
A quantum symmetric pair consists of a quantum group $\widetilde{\mathbf{U}}$ and its coideal subalgebra $\widetilde{\mathbf{U}}^\imath$. The Hall algebra constructions of $\widetilde{\mathbf{U}}$ and $\widetilde{\mathbf{U}}^\imath$ are…
The $\imath$Hall algebra of a weighted projective line is defined to be the semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the weighted projective line over a finite field. We show that…
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 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…
The $\imath$quiver algebras were introduced recently by the authors to provide a Hall algebra realization of universal $\imath$quantum groups, which is a generalization of Bridgeland's Hall algebra construction for (Drinfeld doubles of)…
We survey some recent development on the theory of $\imath$Hall algebras. Starting from $\imath$quivers (aka quivers with involutions), we construct a class of 1-Gorenstein algebras called $\imath$quiver algebras, whose semi-derived Hall…
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…
For an essentially small hereditary abelian category $\mathcal{A}$, we define a new kind of algebra $\mathcal{H}_{\Delta}(\mathcal{A})$, called the $\Delta$-Hall algebra of $\mathcal{A}$. The basis of $\mathcal{H}_{\Delta}(\mathcal{A})$ is…
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…
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 describe quantum enveloping algebras of symmetric Kac-Moody Lie algebras via a finite field Hall algebra construction involving Z_2-graded complexes of quiver representations.
From a category $\mathcal{A}$ with an involution $\varrho$, we introduce $\varrho$-complexes, which are a generalization of (bounded) complexes, periodic complexes and modules of $\imath$quiver algebras. The homological properties of the…
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…
Recently the authors initiated an $\imath$Hall algebra approach to (universal) $\imath$quantum groups arising from quantum symmetric pairs. In this paper we construct and study BGP type reflection functors which lead to isomorphisms of the…
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…
The $\imath$quantum groups have two realizations: one via the $\imath$Hall algebras and the other via the quantum Grothendieck rings of quiver varieties, as developed by the first author and Wang. The isoclasses of perverse sheaves provide…
Quantum algebras (also called quantum groups) are deformed versions of the usual Lie algebras, to which they reduce when the deformation parameter q is set equal to unity. From the mathematical point of view they are Hopf algebras. Their…
Let $A$ be the path algebra of a finite acyclic quiver $Q$ over a finite field. We realize the quantum cluster algebra with principal coefficients associated to $Q$ as a sub-quotient of a certain Hall algebra involving the category of…
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,…