Related papers: Hall algebras and quantum symmetric pairs III: Qui…
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…
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 survey some recent developments on the theory of dual canonical bases for quantum groups and $\imath$quantum groups. The $\imath$quiver algebras were introduced by Wang and the first author, which are used to give two realizations 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…
In this paper we give a geometric construction of the quantum group Ut(G) using Nakajima categories, which were developed in [29]. Our methods allow us to establish a direct connection between the algebraic realization of the quantum group…
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$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…
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…
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.
The $\imath$quantum groups admit 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. Based on these two realizations, we…
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…
We construct the quantized enveloping algebra of any simple Lie algebra of type ADE as the quotient of a Grothendieck ring arising from certain cyclic quiver varieties. In particular, the dual canonical basis of a one-half quantum group…
Using Hernandez-Leclerc's isomorphism between the derived Hall algebra of a representation-finite quiver $Q$ and the quantum Grothendieck ring of the quantum loop algebra of the Dynkin type of $Q$, we lift the (quantum) cluster algebra…
For Dynkin quivers, we find the Laurent polynomials $\widetilde{X}_{a, c}^{b}(v)$ and use $\widetilde{X}_{a, c}^{b}(v)$ to construct the Hall algebra $\hc_v(\cc(\cp))$ over $\mz[v, v^{-1}]$, where $\widetilde{X}_{a, c}^{b}(|\mf_q|)$'s are…
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…
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 the projective line is by definition the twisted semi-derived Ringel-Hall algebra of the category of $1$-periodic complexes of coherent sheaves on the projective line. This $\imath$Hall algebra is shown to…
Qin established the geometric realization of entire quantum groups via perverse sheaves, which further give rise to dual canonical bases with integral and positive structure constants for quantum groups of type ADE. In this paper, we prove…
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…