Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userLusztig isomorphisms for Drinfeld doubles of bosonizations of Nichols algebras of diagonal type
136
0
0.0
(
0
)
Authors
I. Heckenberger
Ask ChatGPT about the research
No Arabic abstract
In the structure theory of quantized enveloping algebras, the algebra isomorphisms determined by Lusztig led to the first general construction of PBW bases of these algebras. Also, they have important applications to the representation theory of these and related algebras. In the present paper the Drinfeld double for a class of graded Hopf algebras is investigated. Various quantum algebras, including multiparameter quantizations of semisimple Lie algebras and of Lie superalgebras, are covered by the given definition. For these Drinfeld doubles Lusztig maps are defined. It is shown that these maps induce isomorphisms between doubles of Nichols algebras of diagonal type. Further, the obtained isomorphisms satisfy Coxeter type relations in a generalized sense. As an application, the Lusztig isomorphisms are used to give a characterization of Nichols algebras of diagonal type with finite arithmetic root system. Key words: Hopf algebra, quantum group, Weyl groupoid
rate research
Read More
Let $V$ be a braided vector space of diagonal type. Let $mathfrak B(V)$, $mathfrak L^-(V)$ and $mathfrak L(V)$ be the Nichols algebra, Nichols Lie algebra and Nichols braided Lie algebra over $V$, respectively. We show that a monomial belongs to $mathfrak L(V)$ if and only if that this monomial is connected. We obtain the basis for $mathfrak L(V)$ of arithmetic root systems and the dimension for $mathfrak L(V)$ of finite Cartan type. We give the sufficient and necessary conditions for $mathfrak B(V) = Foplus mathfrak L^-(V)$ and $mathfrak L^-(V)= mathfrak L(V)$. We obtain an explicit basis of $mathfrak L^ - (V)$ over quantum linear space $V$ with $dim V=2$.
The Shapovalov determinant for a class of pointed Hopf algebras is calculated, including quantized enveloping algebras, Lusztigs small quantum groups, and quantized Lie superalgebras. Our main tools are root systems, Weyl groupoids, and Lusztig type isomorphisms. We elaborate powerful novel techniques for the algebras at roots of unity, and pass to the general case using a density argument. Key words: Hopf algebra, Nichols algebra, quantum group, representation
Let $(R^{vee},R)$ be a dual pair of Hopf algebras in the category of Yetter-Drinfeld modules over a Hopf algebra $H$ with bijective antipode. We show that there is a braided monoidal isomorphism between rational left Yetter-Drinfeld modules over the bosonizations of $R$ and of $R^{vee}$, respectively. As an application of this very general category isomorphism we obtain a natural proof of the existence of reflections of Nichols algebras of semisimple Yetter-Drinfeld modules over $H$. Key words: Hopf algebras, quantum groups, Weyl groupoid
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.
We prove that the Drinfeld double of an arbitrary finite group scheme has finitely generated cohomology. That is to say, for G any finite group scheme, and D(G) the Drinfeld double of the group ring kG, we show that the self-extension algebra of the trivial representation for D(G) is a finitely generated algebra, and that for each D(G)-representation V the extensions from the trivial representation to V form a finitely generated module over the aforementioned algebra. As a corollary, we find that all categories rep(G)*_M dual to rep(G) are of also of finite type (i.e. have finitely generated cohomology), and we provide a uniform bound on their Krull dimensions. This paper completes earlier work of E. M. Friedlander and the author.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
