Related papers: A Serre presentation for the $\imath$quantum group…
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…
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…
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…
We show that all quantum symmetric pair coideal subalgebras $B_\mathbf{c}$ of Kac-Moody type have a bar involution for a suitable choice of parameters $\mathbf{c}$. The proof relies on a generalized notion of quasi K-matrix. The proof does…
This is the first of two papers on quasi-split affine quantum symmetric pairs $\big(\widetilde{\mathbf U}(\widehat{\mathfrak g}), \widetilde{{\mathbf U}}^\imath \big)$, focusing on the real rank one case, i.e., $\mathfrak{g}=…
We provide a geometric realization of the quasi-split affine $\imath$quantum group of type AIII$_{2n-1}^{(\tau)}$ in terms of equivariant K-groups of non-connected Steinberg varieties of type C. This uses a new Drinfeld type presentation of…
This paper studies quantum symmetric pairs $(\widetilde{\mathbf U}, \widetilde{{\mathbf U}}^\imath )$ associated with quasi-split Satake diagrams of affine type $A_{2r-1}, D_r, E_{6}$ with a nontrivial diagram involution fixing the affine…
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…
We construct a bar involution for quantum symmetric pair coideal subalgebras $B_{\mathbf{c},\mathbf{s}}$ corresponding to involutive automorphisms of the second kind of symmetrizable Kac-Moody algebras. To this end we give unified…
The $\imath$Serre relations and the corresponding Serre-Lusztig relations are formulated and established for arbitrary $\imath$quantum groups arising from quantum symmetric pairs of Kac-Moody type.
Expanding the classic works of Kazhdan-Lusztig and Deodhar, we establish bar involutions and canonical (i.e., quasi-parabolic KL) bases on quasi-permutation modules over the type B Hecke algebra, where the bases are parameterized by cosets…
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…
Let $A$ be an arbitrary symmetrizable Cartan matrix of rank $r$, and ${\bf n}={\bf n_+}$ be the standard maximal nilpotent subalgebra in the Kac-Moody algebra associated with $A$ (thus, ${\bf n}$ is generated by $E_1,\ldots,E_r$ subject to…
Various constructions for quantum groups have been generalized to $\imath$-quantum groups. Such generalization is called $\imath$-program. In this paper, we fill one of parts in the $\imath$-program. Namely, we provide an equivariant…
Recently, Lu and Wang formulated a Drinfeld type presentation for $\imath$quantum group $\widetilde{{\mathbf U}}^\imath$ arising from quantum symmetric pairs of split affine ADE type. In this paper, we generalize their results by…
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…
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,…
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…
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…
We formulate and classify super Satake diagrams under a mild assumption, building on arbitrary Dynkin diagrams for finite-dimensional basic Lie superalgebras. We develop a theory of quantum supersymmetric pairs associated to the super…