A string basis is constructed for each subalgebra of invariants of the function algebra on the quantum special linear group. By analyzing the string basis for a particular subalgebra of invariants, we obtain a ``canonical basis'' for every finite dimensional irreducible $U_q({\mathfrak{sl}}(n))$-module. It is also shown that the algebra of functions on any quantum homogeneous space is generated by quantum minors.
We consider tensor products of finite-dimensional representations of a coideal subalgebra in $U_{q}(\mathfrak{sl}_2)$. We present an explicit expression for the dual of the canonical bases through a diagrammatic presentation. We show that the decomposition of tensor products of dual canonical bases and the action of the coideal subalgebra have integral and positive properties. As an application, we consider the eigensystem of the generator of the coideal subalgebra on the dual canonical bases. We provide all the eigenvalues and obtain an explicit expression of the eigenfunction for the largest…
The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal enveloping algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four. Geiss-Leclerc-Schroeer attached to M a category C_M of nilpotent modules over the preprojective algebra of the Kronecker quiver together with an acyclic cluster algebra A(C_M). The dual semicanonical basis contains all cluster monomials. By construction, the clu…
We prove a sharpened version of a conjecture of Dong-Mason about lattice subalgebras of a strongly regular vertex operator algebra $V$, and give some applications. These include the existence of a canonical conformal subVOA $W\otimes G\otimes Z \subseteq V$, and a generalization of the theory of minimal models.
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 structure.
In this paper, we show that quantum twist maps, introduced by Lenagan-Yakimov, induce bijections between dual canonical bases of quantum nilpotent subalgebras. As a corollary, we show the unitriangular property between dual canonical bases and Poincaré-Birkhoff-Witt type bases under the "reverse" lexicographic order. We also show that quantum twist maps induce bijections between certain unipotent quantum minors.
Let $\mathbf U^{\imath}\equiv\mathbf U^{\imath} (\mathfrak{sl}_2)$ be Letzter's coideal subalgebra of quantum $\mathfrak{sl}_2$ corresponding to the symmetric pair $(\mathfrak{sl}_2(\mathbb C),\mathbb C)$. As a subalgebra of quantum $\mathfrak{sl}_2$, $\mathbf U^{\imath}$ is generated by the sum $\mathbf E + v\mathbf K\mathbf F+\mathbf K$ of standard generators, and hence can be identified with the polynomial ring $\mathbb Q(v)[t]$. In [BW13] and [LW18], two distinguished bases, called $\imath$canonical bases, are constructed inside the modified form of $\mathbf U^{\imath}$ via algebraic and g…
We relate the canonical basis of the Fock space representation of the quantum affine algebra $U_q(\widehat{\mathfrak{gl}}_{n})$, as defined by Leclerc and Thibon, to the canonical basis of its restriction to $U_q(\mathfrak{sl}_{n})$, regarded as a based module in the sense of Lusztig. More generally we consider the restriction to any parabolic subalgebra. We deduce results on decomposition numbers and branching coefficients of Schur algebras over fields of positive characteristic, generalising those of Kleshchev and of Tan and Teo.
Let ${\mathbf U}^-_q$ be the negative part of the quantum enveloping algebra associated to a simply laced Kac-Moody Lie algebra ${\mathfrak g}$, and $\underline{\mathbf U}^-_q$ the algebra corresponding to the fixed point subalgebra of ${\mathfrak g}$ obtained from a diagram automorphism $σ$ on ${\mathfrak g}$. Let ${\mathbf B}^σ$ be the set of $σ$-fixed elements in the canonical basis of ${\mathbf U}_q^-$, and $\underline{\mathbf B}$ the canonical basis of $\underline{\mathbf U}_q^-$. Lusztig proved that there exists a canonical bijection ${\mathbf B}^σ \simeq \underline{\mathbf B}$ based on …
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 tensor products regarded as $\mathbf{U}^\imath$-modules. We also construct a canonical basis for the modified form of the $\imath$quantum group $\mathbf{U}^\imath$. To that end, we establish several new structural results on quantum symmetric pairs, such as bilinear forms, braid group actions, integral forms, Levi subalgebras (of real rank one), and integra…
Let L be a Lie pseudoalgebra, a in L. We show that, if a generates a (finite) solvable subalgebra S=<a>, then one may find a lifting a' in S of [a] in S/S' such that <a'> is nilpotent. We then apply this result towards vertex algebras: we show that every finite vertex algebra V admits a decomposition into a semi-direct product V = U + N, where U is a subalgebra of V whose underlying Lie conformal algebra U^lie is a nilpotent self-normalizing subalgebra of V^lie, and N is a canonically determined ideal contained in the nilradical Nil V.
We introduce an affine Schur algebra via the affine Hecke algebra associated to Weyl group of affine type C. We establish multiplication formulas on the affine Hecke algebra and affine Schur algebra. Then we construct monomial bases and canonical bases for the affine Schur algebra. The multiplication formula allows us to establish a stabilization property of the family of affine Schur algebras that leads to the modified version of an algebra ${\mathbf K}^{\mathfrak c}_n$. We show that ${\mathbf K}^{\mathfrak c}_n$ is a coideal subalgebra of quantum affine algebra ${\bf U}(\hat{\mathfrak{gl}}_n…
We establish a Schur type duality between a coideal subalgebra of the quantum group of type A and the Hecke algebra of type B with 2 parameters. We identify the $\imath$-canonical basis on the tensor product of the natural representation with Lusztig's canonical basis of the type B Hecke algebra with unequal parameters associated to a weight function.
In this paper, we give a recursive formula for the interesting PBW basis $E_{A}$ of composition subalgebras of Ringel-Hall algebras $\fkH_\vartri(n)$ of cyclic quivers after \cite{DengDuXiao2007generic}, and another construction of canonical bases of $\U_v^+(\wih{\fks\fkl}_n)$ from the monomial bases $m^{(A)}$ follow \cite{DuZhaomultiplication}. As an application, we will determined all the canonical basis of $\U_v^+(\wih{\fks\fkl}_2)$ associated with modules of Lowery length $\leqs3$. Finally, we will discuss the relation of canonical bases of Ringel-Hall algebras and those of affine quantum …
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra structures. Appropriate modules over a weak multiplier bialgebra are shown to constitute a monoidal category via the (co)module tensor product over the base algebra. The relation to Van Daele and Wang's (regular and arbitrary) weak multiplier Hopf algebra is discussed.
Let $U^-_q = U^-_q(\mathfrak g)$ be the negative part of the quantum group associated to a finite dimensional simple Lie algebra $\mathfrak g$, and $σ: \mathfrak g \to \mathfrak g$ be the automorphism obtained from the diagram automorphism. Let $\mathfrak g^σ$ be the fixed point subalgebra of $\mathfrak g$, and put $\underline U^-_q = U^-_q(\mathfrak g^σ)$. Let $B$ be the canonical basis of $U_q^-$ and $\underline B$ the canonical basis of $\underline U_q^-$. $σ$ induces a natural action on $B$, and we denote by $B^σ$ the set of $σ$-fixed elements in $B$. Lusztig proved that there exists a can…
A notion of intermediate vertex subalgebras of lattice vertex operator algebras is introduced, as a generalization of the notion of principal subspaces. Bases and the graded dimensions of such subalgebras are given.As an application, it is shown that the characters of some modules of an intermediate vertex subalgebra between $E_7$ and $E_8$ lattice vertex operator algebras satisfy some modular differential equations.This result is an analogue of the result concerning the "hole" of the Deligne dimension formulas and the intermediate Lie algebra between the simple Lie algebras $E_7$ and $E_8$.
In this paper, we study transition matrices of PBW bases of the nilpotent subalgebra of quantum superalgebras associated with all possible Dynkin diagrams of type A and B in the case of rank 2 and 3, and examine relationships with three-dimensional (3D) integrability. We obtain new solutions to the Zamolodchikov tetrahedron equation via type A and the 3D reflection equation via type B, where the latter equation was proposed by Isaev and Kulish as a 3D analog of the reflection equation of Cherednik. As a by-product of our approach, the Bazhanov-Sergeev solution to the Zamolodchikov tetrahedron …
In the framework of canonical and dual canonical bases of Fock spaces, Brundan in 2003 formulated a Kazhdan-Lusztig type conjecture for the characters of the irreducible and tilting modules in the BGG category for the general linear Lie superalgebra for the first time. In this paper, we prove Brundan's conjecture and its variants associated to all Borel subalgebras in full generality.
We construct canonical strongly bicovariant differential graded algebra structures on all four flavours of cross product Hopf algebras, namely double cross products $A\hookrightarrow A\bowtie H\hookleftarrow H$, double cross coproducts $A\twoheadleftarrow A {\blacktriangleright\!\!\blacktriangleleft} H\twoheadrightarrow H$, biproducts $A{\buildrel\hookrightarrow\over \twoheadleftarrow}A{\cdot\kern-.33em\triangleright\!\!\!<} B$ and bicrossproducts $A\hookrightarrow A{\blacktriangleright\!\!\triangleleft} H\twoheadrightarrow H$ on the assumption that the factors have strongly bicovariant calcul…
We study the (quantum) Schur algebras of type B/C corresponding to the Hecke algebras with unequal parameters. We prove that the Schur algebras afford a stabilization construction in the sense of Beilinson-Lusztig-MacPherson that constructs a multiparameter upgrade of the quantum symmetric pair coideal subalgebras of type A III/IV with no black nodes. We further obtain the canonical basis of the Schur/coideal subalgebras, at the specialization associated to any weight function. These bases are the counterparts of Lusztig's bar-invariant basis for Hecke algebras with unequal parameters. In the …
We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lu…
Every symmetric generating functional of a convolution semigroup of states on a locally compact quantum group is shown to admit a dense unital $*$-subalgebra with core-like properties in its domain. On the other hand we prove that every normalised, symmetric, hermitian conditionally positive functional on a dense $*$-subalgebra of the unitisation of the universal C$^*$-algebra of a locally compact quantum group, satisfying certain technical conditions, extends in a canonical way to a generating functional. Some consequences of these results are outlined, notably those related to constructing c…
In this paper, we classify all simple jet modules for the Neveu-Schwarz algebra $\widehat{\mathfrak{k}}$ and its contact subalgebra $\mathfrak{k}^+$. Based on these results, we give a classification of simple Harish-Chandra modules for $\widehat{\mathfrak{k}}$ and $\mathfrak{k}^+$.
The existence of the $\imath$-canonical basis (also known as the $\imath$-divided powers) for the coideal subalgebra of the quantum $\mathfrak{sl}_2$ were established by Bao and Wang, with conjectural explicit formulae. In this paper we prove the conjectured formulae of these $\imath$-divided powers. This is achieved by first establishing closed formulae of the $\imath$-divided powers in basis for quantum $\mathfrak{sl}_2$ and then formulae for the $\imath$-canonical basis in terms of Lusztig's divided powers in each finite-dimensional simple module of quantum $\mathfrak{sl}_2$. These formulae…
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 type $B/C$ are two (modified) coideal subalgebras of the quantum general linear Lie algebra, $\dot{\mathbf U}^{\jmath}$ and $\dot{\mathbf U}^{\imath}$. We provide a geometric realization of the Schur-type duality of Bao-Wang between such a coideal algebra and Iwahori-Hecke algebra of type $B$. The monomial bases and canonical bases of the Schur algebras and…
We categorify a coideal subalgebra of the quantum group of $\mathfrak{sl}_{2r+1}$ by introducing a $2$-category à la Khovanov-Lauda-Rouquier, and show that self-dual indecomposable $1$-morphisms categorify the canonical basis of this algebra. This allows us to define a categorical action of this coideal algebra on the categories of modules over cohomology rings of partial flag varieties and on the BGG category $\mathcal{O}$ of type B/C.
