Related papers: Formulae of $\imath$-divided powers in ${\mathbf U…

We classify right coideal subalgebras of the finite-dimensional quotient of the quantized enveloping algebra $U_q(\mathfrak{sl}_2)$ and that of the quantized coordinate algebra $\mathcal{O}_q(SL_2)$ at a root of unity $q$ of odd order. All…

For the BGG category of $\mathfrak{q}(n)$-modules of half-integer weights, a Kazhdan-Lusztig conjecture \`a la Brundan is formulated in terms of categorical canonical basis of the $n$th tensor power of the natural representation of the…

Expanding the classical work of Kazhdan-Lusztig, we construct a bar involution and canonical bases on the $q$-Brauer algebra introduced by Wenzl. We define explicit actions of the $q$-Brauer algebra on the tensor spaces, and formulate…

Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously…

In these lecture notes for a summer mini-course, we provide an exposition on quantum groups and Hecke algebras, including (quasi) R-matrix, canonical basis, and $q$-Schur duality. Then we formulate their counterparts in the setting of…

We prove the divisibility conjecture on sums of even powers of $q$-binomial coefficients, which was recently proposed by Guo, Schlosser and Zudilin. Our proof relies on two $q$-harmonic series congruences due to Shi and Pan.

A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include…

The Naito--Sagaki conjecture asserts that the branching rule for the restriction of finite-dimensional, irreducible polynomial representations of $GL_{2n}(\mathbb{C})$ to $Sp_{2n}(\mathbb{C})$ amounts to the enumeration of certain…

We introduce a new class of bases for quantized universal enveloping algebras $U_q(\mathfrak g)$ and other doubles attached to semisimple and Kac-Moody Lie algebras. These bases contain dual canonical bases of upper and lower halves of…

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 $\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…

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 $ \mathfrak{g} $ be an untwisted affine Kac-Moody algebra over the field $ K \, $, and let $ U_q(\mathfrak{g}) $ be the associated quantum enveloping algebra; let $ \mathfrak{U}_q(g) $ be the Lusztig's integer form of $…

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 present a combinatorial proof of the $q$-Pfaff--Saalsch\"utz identity by a composition of explicit bijections, in which $q$-binomial coefficients are interpreted as counting subspaces of $\mathbb{F}_q$-vector spaces. As a corollary, we…

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 show the positivity of the canonical basis for a modified quantum affine $\mathfrak{sl}_n$ under the comultiplication. Moreover, we establish the positivity of the i-canonical basis in [LW15] with respect to the coideal subalgebra…

We formulate a precise connection between the new Drinfeld presentation of a quantum affine algebra $U_q\widehat{\mathfrak{g}}$ and the new Drinfeld presentation of affine coideal subalgebras of split type recently discovered by Lu and…

In this paper we show that the Kazhdan-Lusztig polynomials (and, more generally, parabolic KL polynomials) for the group $S_n$ coincide with the coefficients of the canonical basis in $n$th tensor power of the fundamental representation of…

This is a generalization of the classic work of Beilinson, Lusztig and MacPherson. In this paper (and an Appendix) we show that the quantum algebras obtained via a BLM-type stabilization procedure in the setting of partial flag varieties of…