English

Triangular decomposition of right coideal subalgebras

Quantum Algebra 2010-12-23 v1

Abstract

Let g\mathfrak g be a Kac-Moody algebra. We show that every homogeneous right coideal subalgebra UU of the multiparameter version of the quantized universal enveloping algebra Uq(g),U_q(\mathfrak{g}), qm1q^m\neq 1 containing all group-like elements has a triangular decomposition U=Uk[F]k[H]k[G]U+U=U^-\otimes_{{\bf k}[F]} {\bf k}[H] \otimes_{{\bf k}[G]} U^+, where UU^- and U+ U^+ are right coideal subalgebras of negative and positive quantum Borel subalgebras. However if U1 U_1 and U2 U_2 are arbitrary right coideal subalgebras of respectively positive and negative quantum Borel subalgebras, then the triangular composition U2k[F]k[H]k[G]U1 U_2\otimes_{{\bf k}[F]} {\bf k}[H]\otimes_{{\bf k}[G]} U_1 is a right coideal but not necessary a subalgebra. Using a recent combinatorial classification of right coideal subalgebras of the quantum Borel algebra Uq+(so2n+1),U_q^+(\mathfrak{so}_{2n+1}), we find a necessary condition for the triangular composition to be a right coideal subalgebra of Uq(so2n+1).U_q(\mathfrak{so}_{2n+1}). If qq has a finite multiplicative order t>4,t>4, similar results remain valid for homogeneous right coideal subalgebras of the multiparameter version of the small Lusztig quantum groups uq(g),u_q({\frak g}), uq(so2n+1).u_q(\frak{so}_{2n+1}).

Keywords

Cite

@article{arxiv.1012.5057,
  title  = {Triangular decomposition of right coideal subalgebras},
  author = {V. K. Kharchenko},
  journal= {arXiv preprint arXiv:1012.5057},
  year   = {2010}
}
R2 v1 2026-06-21T17:03:16.348Z