Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userRight coideal subalgebras of Nichols algebras and the Duflo order on the Weyl groupoid
187
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the above map is bijective. In the special case of the Borel part of quantized enveloping algebras our result implies a conjecture of Kharchenko. Key words: Hopf algebra, quantum group, root system, Weyl group
rate research
Read More
Let $H$ be a character Hopf algebra. Every right coideal subalgebra that contains the coradical has a PBW-basis which can be extended up to a PBW-basis of $H.$
We offer a complete classification of right coideal subalgebras which contain all group-like elements for the multiparameter version of the quantum group $U_q(mathfrak{sl}_{n+1})$ provided that the main parameter $q$ is not a root of 1. As a consequence, we determine that for each subgroup $Sigma $ of the group $G$ of all group-like elements the quantum Borel subalgebra $U_q^+ (mathfrak{sl}_{n+1})$ containes $(n+1)!$ different homogeneous right coideal subalgebras $U$ such that $Ucap G=Sigma .$ If $q$ has a finite multiplicative order $t>2,$ the classification remains valid for homogeneous right coideal subalgebras of the multiparameter version of the Lusztig quantum group $u_q (frak{sl}_{n+1}).$ In the paper we consider the quantifications of Kac-Moody algebras as character Hopf algebras [V.K. Kharchenko, A combinatorial approach to the quantifications of Lie algebras, Pacific J. Math., 203(1)(2002), 191- 233].
Let $mathfrak g$ be a Kac-Moody algebra. We show that every homogeneous right coideal subalgebra $U$ of the multiparameter version of the quantized universal enveloping algebra $U_q(mathfrak{g}),$ $q^m eq 1$ containing all group-like elements has a triangular decomposition $U=U^-otimes_{{bf k}[F]} {bf k}[H] otimes_{{bf k}[G]} U^+$, where $U^-$ and $ U^+$ are right coideal subalgebras of negative and positive quantum Borel subalgebras. However if $ U_1$ and $ U_2$ are arbitrary right coideal subalgebras of respectively positive and negative quantum Borel subalgebras, then the triangular composition $ U_2otimes_{{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 $U_q^+(mathfrak{so}_{2n+1}),$ we find a necessary condition for the triangular composition to be a right coideal subalgebra of $U_q(mathfrak{so}_{2n+1}).$ If $q$ has a finite multiplicative order $t>4,$ similar results remain valid for homogeneous right coideal subalgebras of the multiparameter version of the small Lusztig quantum groups $u_q({frak g}),$ $u_q(frak{so}_{2n+1}).$
We show that except in several cases conjugacy classes of classical Weyl groups $W(B_n)$ and $W(D_n)$ are of type {rm D}. We prove that except in three cases Nichols algebras of irreducible Yetter-Drinfeld ({rm YD} in short )modules over the classical Weyl groups are infinite dimensional.
It is shown that if $mathfrak B(V) $ is connected Nichols algebra of diagonal type with $dim V>1$, then $dim (mathfrak L^-(V)) = infty$ $($resp. $ dim (mathfrak L(V)) = infty $$)$ $($ resp. $ dim (mathfrak B(V)) = infty $$)$ if and only if $Delta(mathfrak B(V)) $ is an arithmetic root system and the quantum numbers (i.e. the fixed parameters) of generalized Dynkin diagrams of $V$ are of finite order. Sufficient and necessary conditions for $m$-fold adjoint action in $mathfrak B(V)$ equal to zero, viz. $overline{l}_{x_{i}}^{m}[x_{j}]^ -=0$ for $x_i,~x_jin mathfrak B(V)$, are given.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
