Related papers: $\imath$quantum groups of split type via derived H…
The $\imath$quantum group ${\mathrm{U}^\imath_{n}}$ of type $\textrm{AI}_n$ is a coideal subalgebra of the quantum group $U_q(\mathfrak{sl}_{n+1})$, associated with the symmetric pair $(\mathfrak{sl}_{n+1},\mathfrak{so}_{n+1})$. In this…
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…
The (universal) $\imath$quantum groups are as a vast generalization of (Drinfeld double) quantum groups. We establish an algebra homomorphism from universal $\imath$quantum group of split type to a certain quantum torus, which can be viewed…
We establish automorphisms with closed formulas on quasi-split $\imath$quantum groups of symmetric Kac-Moody type associated to restricted Weyl groups. The proofs are carried out in the framework of $\imath$Hall algebras and reflection…
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…
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…
We establish a Drinfeld type new presentation for the $\imath$quantum groups arising from quantum symmetric pairs of split affine ADE type, which includes the $q$-Onsager algebra as the rank 1 case. This presentation takes a form which can…
Suppose that we have a semisimple, connected, simply connected algebraic group $G$ with corresponding Lie algebra $\mathfrak{g}$. There is a Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ and the coordinate ring…
We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their…
We show that if two $m$-homogeneous algebras have Morita equivalent graded module categories, then they are quantum-symmetrically equivalent, that is, there is a monoidal equivalence between the categories of comodules for their associated…
We develop an invariant theory of quasi-split $\imath$quantum groups $\mathbf{U}_n^\imath$ of type AIII on a tensor space associated to $\imath$Howe dualities. The first and second fundamental theorems for $\mathbf{U}_n^\imath$-invariants…
We introduce quantum super-spherical pairs as coideal subalgebras in general linear and orthosymplectic quantum supergroups. These subalgebras play a role of isotropy subgroups for matrices solving $\mathbb{Z}_2$-graded reflection equation.…
We show that the morphism $\Omega$ from the $\imath$quantum loop algebra $^{\texttt{Dr}}\widetilde{\mathbf{U}}(L\mathfrak{g})$ of split type to the $\imath$Hall algebra of the weighted projective line is injective if $\mathfrak{g}$ is of…
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 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…
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 categorify a coideal subalgebra of the quantum group of $\mathfrak{sl}_{2r+1}$ by introducing a $2$-category \`a la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this…
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…
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…
$\imath$quantum groups are generalizations of quantum groups which appear as coideal subalgebras of quantum groups in the theory of quantum symmetric pairs. In this paper, we define the notion of classical weight modules over an…