We give a complete classification of right coideal subalgebras that contain all group-like elements for the quantum group $U_q^+(\frak{so}_{2n+1}),$ provided that $q$ is not a root of 1. If $q$ has a finite multiplicative order $t>4,$ this classification remains valid for homogeneous right coideal subalgebras of the small Lusztig quantum group $u_q^+(\frak{so}_{2n+1}).$ As a consequence, we determine that the total number of right coideal subalgebras that contain the coradical equals $(2n)!!,$ the order of the Weyl group defined by the root system of type $B_n.$
Given a a Hopf algebra $H$, its left coideal subalgebra $A$ and a non-zero multiplicative functional $μ$ on $A$, we define the space of left $μ$-integrals $L^A_μ\subset A$. We observe that $\dim L^A_μ=1$ if $A$ is a Frobenius algebra and we conclude this equality for finite dimensional left coideal subalgebras of a weakly finite Hopf algebra. In general we prove that if $\dim L^A_μ>0$ then $\dim A <\infty$. Given a group-like element $g\in H$ we define the space $L^g_{ A}\subset A'$ of $g$-cointegrals on $ A$ and linking this concept with the theory of $μ$-integrals we observe that: - every se…
We develop a theory of right group-like projections in Hopf algebras linking them with the theory of left coideal subalgebras with two sided counital integrals. Every right group-like projection is associated with a left coideal subalgebra, maximal among the ones containing the given group-like projection as an integral, and we show that that subalgebra is finite dimensional. We observe that in a semisimple Hopf algebra $H$ every left coideal subalgebra has an integral and we prove a 1-1 correspondence between right group-like projections and left coideal subalgebras of $H$. We provide a numbe…
Right coideal subalgebras are interesting substructures of Hopf algebras such as quantum groups. Examples of right coideal subalgebras are the quantum Borel part as well as quantum symmetric pairs. Classifying right coideal subalgebras is a difficult question with notable results by Schneider, Heckenberger and Kolb. After reviewing these results, as main result we prove that an arbitrary right coideal subalgebras has a particularly nice set of generators. This allows in principle to specify the set of right coideal subalgebras in a given case. As application we determine right coideal subalgeb…
We describe how certain cyclotomic Nazarov-Wenzl algebras occur as endomorphism rings of projective modules in a parabolic version of BGG category O of type $D$. Furthermore we study a family of subalgebras of these endomorphism rings which exhibit similar behaviour to the family of Brauer algebras even when they are not semisimple. The translation functors on this parabolic category O are studied and proven to yield a categorification of a coideal subalgebra of the general linear Lie algebra. Finally this is put into the context of categorifying skew Howe duality for these subalgebras.
We develop a general approach to the problem of classification of weak coideal C*-subalgebras of weak Hopf C*-algebras. As an example, we consider weak Hopf C*-algebras and their weak coideal C*-subalgebras associated with Tambara Yamagami categories.
There is renewed interest in the coideal subalgebras used to form quantum symmetric pairs because of recent discoveries showing that they play a fundamental role in the representation theory of quantized enveloping algebras. However, there is still no general theory of finite-dimensional modules for these coideals. In this paper, we establish an important step in this direction: we show that every quantum symmetric pair coideal subalgebra admits a quantum Cartan subalgebra which is a polynomial ring that specializes to its classical counterpart. The construction builds on Kostant and Sugiura's…
For an algebraic compact quantum group $H$ we establish a bijection between the set of right coideal $*$-subalgebras $A\to H$ and that of left module quotient $*$-coalgebras $H\to C$. It turns out that the inclusion $A\to H$ always splits as a map of right $A$-modules and right $H$-comodules, and the resulting expectation $E:H\to A$ is positive (and lifts to a positive map on the full $C^*$ completion on $H$) if and only if $A$ is invariant under the squared antipode of $H$. The proof proceeds by Tannaka-reconstructing the coalgebra $C$ corresponding to $A\to H$ by means of a fiber functor fro…
We characterize braided commutative Yetter-Drinfeld $C^*$-algebras over weak Hopf $C^*$-algebras in categorical terms. Using this, we then study quotient type coideal subalgebras of a given weak Hopf $C^*$-algebra $\mathcal G$ and coideal subalgebras invariant with respect to the adjoint action of $\mathcal G$. Finally, as an example, we explicitly describe quotient type coideal subalgebras of the weak Hopf $C^*$-algebras associated with Tambara-Yamagami categories.
Let $\mathfrak{g}$ be a finite-dimensional semisimple complex Lie algebra and $θ$ an involutive automorphism of $\mathfrak{g}$. According to G. Letzter, S. Kolb and M. Balagović the fixed-point subalgebra $\mathfrak{k} = \mathfrak{g}^θ$ has a quantum counterpart $B$, a coideal subalgebra of the Drinfeld-Jimbo quantum group $U_q(\mathfrak{g})$ possessing a universal K-matrix $\mathcal{K}$. The objects $θ$, $\mathfrak{k}$, $B$ and $\mathcal{K}$ can all be described in terms of Satake diagrams. In the present work we extend this construction to generalized Satake diagrams, combinatorial data firs…
Using Wederburn's main theorem and a result of Gerstenhaber we prove that, over a field of characteristic zero, the maximal dimension of a proper unital subalgebra in the $n \times n$ matrix algebra is $n^2 - n + 1$ and furthermore this upper bound is attained for the so-called parabolic subalgebras. We also investigate the corresponding notion of parabolic coideals for matrix coalgebras and prove that the minimal dimension of a non-zero coideal of the matrix coalgebra ${\mathcal M}^n (k)$ is $n-1$.
Classical symmetric pairs consist of a symmetrizable Kac-Moody algebra $\mathfrak{g}$, together with its subalgebra of fixed points under an involutive automorphism of the second kind. Quantum group analogs of this construction, known as quantum symmetric pairs, replace the fixed point Lie subalgebras by one-sided coideal subalgebras of the quantized enveloping algebra $U_q(\mathfrak{g})$. We provide a complete presentation by generators and relations for these quantum symmetric pair coideal subalgebras. These relations are of inhomogeneous $q$-Serre type and are valid without restrictions on …
We consider the quantum symmetric pair $(\mathcal{U}_q(\mathfrak{su}(3)), \mathcal{B})$ where $\mathcal{B}$ is a right coideal subalgebra. We prove that all finite-dimensional irreducible representations of $\mathcal{B}$ are weight representations and are characterised by their highest weight and dimension. We show that the restriction of a finite-dimensional irreducible representation of $\mathcal{U}_q(\mathfrak{su}(3))$ to $\mathcal{B}$ decomposes multiplicity free into irreducible representations of $\mathcal{B}$. Furthermore we give explicit expressions for the highest weight vectors in th…
We present a new solution to the reflection equation associated with a coideal subalgebra of $U_q(A^{(1)}_{n-1})$ in the symmetric tensor representations and their dual. Elements of the $K$ matrix are expressed by a matrix product formula involving terminating $q$-hypergeometric series in $q$-boson generators. At $q=0$, our result reproduces a known set-theoretical solution to the reflection equation connected to the crystal base theory.
A solution to the reflection equation associated to a coideal subalgebra of $U_q(A_{2n-1}^{(1)})$ of type AII in the symmetric tensor representations is presented. If parameters of the coideal subalgebra are suitably chosen, the $K$ matrix does not depend on the quantum parameter $q$ and still agrees with a solution in arXiv:nlin/0411044 at $q=0$.
We establish a multiplication formula for a tridiagonal standard basis element in the idempotented coideal subalgebras of quantum affine $\mathfrak{gl}_n$ arising from the geometry of affine partial flag varieties of type $C$. We apply this formula to obtain the stabilization algebras $\dot{\mathbf K}^{\mathfrak{c}}_n$, $\dot{\mathbf K}^{\jmath \imath}_{\mathfrak{n}}$, $\dot{\mathbf K}^{\imath \jmath}_{\mathfrak{n}}$ and $\dot{\mathbf K}^{\imath \imath}_η$, which are idempotented coideal subalgebras of quantum affine $\mathfrak{gl}_n$. The symmetry in the formula leads to an isomorphism of the…
We present a generalization of the theory of quantum symmetric pairs as developed by Kolb and Letzter. We introduce a class of generalized Satake diagrams that give rise to (not necessarily involutive) automorphisms of the second kind of symmetrizable Kac-Moody algebras $\mathfrak{g}$. These lead to right coideal subalgebras $B_{\mathbf{c},\mathbf{s}}$ of quantized enveloping algebras $U_q(\mathfrak{g})$. In the case that $\mathfrak{g}$ is a twisted or untwisted affine Lie algebra of classical type Jimbo found intertwiners (equivariant maps) of the vector representation of $U_q(\mathfrak{g})$ …
We construct symmetric pairs for Drinfeld doubles of pre-Nichols algebras of diagonal type and determine when they possess an Iwasawa decomposition. This extends G. Letzter's theory of quantum symmetric pairs. Our results can be uniformly applied to Kac-Moody quantum groups for a generic quantum parameter, for roots of unity in respect to both big and small quantum groups, to quantum supergroups and to exotic quantum groups of ufo type. We give a second construction of symmetric pairs for Heisenberg doubles in the above generality and prove that they always admit an Iwasawa decomposition. For …
We establish a one to one correspondence between idempotent states on a locally compact quantum group G and integrable coideals in the von Neumann algebra of bounded measurable functions on G that are preserved by the scaling group. In particular we show that there is a 1-1 correspondence between idempotent states on G and psi-expected left invariant von Neumann subalgebras of bounded measurable functions on G. We characterize idempotent states of Haar type as those corresponding to integrable normal coideals preserved by the scaling group. We also establish a one to one correspondence between…
We determine the intertwiners of a family of Onsager coideal subalgebras of the quantum affine algebra $U_p(A^{(1)}_{n-1})$ in the fundamental representations and $U_p(B^{(1)}_{n}), U_p(D^{(1)}_{n}), U_p(D^{(2)}_{n+1})$ in the spin representations. They reproduce the reflection $K$ matrices obtained recently by the matrix product construction connected to the three dimensional integrability. In particular the present approach provides the first proof of the reflection equation for the non type $A$ cases.
In the present paper we construct braid group actions on quantum symmetric pair coideal subalgebras of type AIII/AIV. This completes the proof of a conjecture by Kolb and Pellegrini in the case where the underlying Lie algebra is $\mathfrak{sl}_n$. The braid group actions are defined on the generators of the coideal subalgebras and the defining relations and braid relations are verified by explicit calculations.
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…
