Fq[M2],Fq[GL2], andFq[SL2] as Quantized Hyperalgebras

DOI10.1080/00927870802241238MaRDI QIDQ3618529zbMATH OpenOpenAlexFDO

Authors Fabio Gavarini, Z. Rakić

Publication date 2 April 2009

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0411440

zbMATH Keywords

Hopf algebrasquantum groups

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Quantum groups (quantized function algebras) and their representations (20G42)

Abstract: Let U_q(sl_2) be the standard Drinfeld-Jimbo quantized universal enveloping algebra over sl_2, let F_q[SL_2] be the corresponding quantum function algebra, and let R be the ring of Laurent polynomials in q with coefficients in the ring of integers. Let Cal{U}_q(sl_2) be the unrestricted R-integer form of U_q(sl_2) introduced by De Concini, Kac and Procesi. Within the quantum function algebra F_q[SL_2], we study the subset Cal{F}_q[SL_2] of all elements which give values in the ring R when paired with Cal{U}_q(sl_2). In this paper we describe Cal{F}_q[SL_2]. In particular we provide a presentation of it by generators and relations, and a nice R-spanning set (of PBW type). Moreover, we give a direct proof that Cal{F}_q[SL_2] is a Hopf subalgebra of F_q[SL_2], and that the specialization of Cal{F}_q[SL_2] at q=1 is the hyperalgebra U_Z(sl_2^*) associated to the Lie bialgebra sl_2^* dual to sl_2: in other words, Cal{F}_q[SL_2] is a "quantum hyperalgebra". In fact, our description of Cal{F}_q[SL_2] is much like the presentation of Lusztig's restricted R-integer form of U_q(sl_2). We describe explicitly also the specializations of Cal{F}_q[SL_2] at roots of 1, and the associated quantum Frobenius (epi)morphism; these results again closely resemble Lusztig's ones. All this improve results proved in previous work by the first named author basing upon the results of De Concini, Kac and Procesi. The same analysis is done for the analogue algebra Cal{F}_q[GL_2], with similar results, and also (as a key, intermediate step) for Cal{F}_q[Mat_2], for which even stronger results hold, in particular a PBW-like theorem.

Recommendations

• \(F_{q}[M_{n}], F_{q}[\mathrm{GL}_{n}]\) and \(F_{q}[\mathrm{SL}_{n}]\) as quantized hyperalgebras
• scientific article; zbMATH DE number 647413
• Quantized hyperalgebras of rank 1
• Quantun function algebras as quantum enveloping algebras
• On the Quantum Function Algebra at Roots of One

Cites work

• \(F_{q}[M_{n}], F_{q}[\mathrm{GL}_{n}]\) and \(F_{q}[\mathrm{SL}_{n}]\) as quantized hyperalgebras
• scientific article; zbMATH DE number 793872 (Why is no real title available?)
• Introduction to Lie Algebras and Representation Theory
• Macdonald's symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces
• Quantization of Poisson groups
• Quantum function algebra at roots of 1
• Quantun function algebras as quantum enveloping algebras
• The global quantum duality principle

Cited in

(3)

• \(F_{q}[M_{n}], F_{q}[\mathrm{GL}_{n}]\) and \(F_{q}[\mathrm{SL}_{n}]\) as quantized hyperalgebras
• scientific article; zbMATH DE number 647413 (Why is no real title available?)
• Quantum van Est isomorphism

This page was built for publication: F_q[M₂],F_q[GL₂], andF_q[SL₂] as Quantized Hyperalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3618529)