F_q[M_n], F_q[GL_n] and F_q[SL_n] as quantized hyperalgebras

DOI10.1016/J.JALGEBRA.2007.03.040zbMATH Open1127.17014arXivmath/0606106OpenAlexW4291188808MaRDI QIDQ2459998FDOQ2459998

Authors: Fabio Gavarini, Z. Rakić 

Publication date: 9 November 2007

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: The quantized universal enveloping algebra U_q(gl(n)) has two integral forms - over Z[q,q^{-1}] - the restricted (by Lusztig) and the unrestricted (by De Concini and Procesi) one. Dually, the quantum function algebra F_q[GL(n)] has two integral forms, namely those of all elements - of F_q[GL(n)] - which take values in Z[q,q^{-1}] when paired respectively with the restricted or the unrestricted form of U_q(gl(n)). The first one is the well-known form generated over Z[q,q^{-1}] by the entries of a q-matrix and the inverse of its quantum determinant. In this paper instead we study the second integral form, say F'_q[GL(n)], i.e. that of all elements which are Z[q,q^{-1}]-valued over the unrestricted form of U_q(gl(n)). In particular we yield a presentation of it by generators and relations, and a PBW-like theorem: in short, it is an algebra of "quantum divided powers" and "quantum binomial coefficients". Moreover, we give a direct proof that F'_q[GL(n)] is a Hopf subalgebra of F_q[GL(n)], and that its specialization at q=1 is the Z-hyperalgebra over gl(n)^*, the Lie bialgebra dual to gl(n). In addition, we describe explicitly the specializations of F'_q[GL(n)] at roots of 1, and the associated quantum Frobenius (epi)morphism. The same analysis is done for F'_q[SL(n)] and (as a key step) F'_q[Mat(n)]: in fact, for the latter the strongest results are obtained. This work extends to general n>2 the results for n=2, already treated in math.QA/0411440.

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

Recommendations

• F_q[M₂],F_q[GL₂], andF_q[SL₂] as Quantized Hyperalgebras
• scientific article; zbMATH DE number 647413
• Quantum \(\mathfrak{gl}_n\), \(q\)-Schur algebras and their infinite/infinitesimal counterparts
• Quantum Lie algebras associated to and
• Quantum linear groups and representations of \(\text{GL}_n(\mathbb{F}_q)\)
• Quantizations \(U_q (\mathfrak{sl}_{n + 1}^+)\) and \(U_q (\mathfrak{so}_{2n + 1}^+)\) as quadratic-linear algebras
• Quantizations of the extended affine Lie algebra \(\widetilde{\mathfrak{sl}_2(\mathbb{C}_q)}\)
• \(q\)-Schur algebras, asymptotic forms, and quantum \(SL_ n\)
• Finite-dimensional representations of the quantum superalgebra \(U_ q[gl(n/m)]\) and related \(q\)-identities
• Quantum \(\mathfrak{gl}_\infty\), infinite \(q\)-Schur algebras and their representations

zbMATH Keywords

Hopf algebrasquantum groups

Mathematics Subject Classification ID

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

Cites Work

• A q-difference analogue of \(U({\mathfrak g})\) and the Yang-Baxter equation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to Lie Algebras and Representation Theory
• Quantum groups at roots of 1
• Poisson structures on affine spaces and flag varieties. I: Matrix affine Poisson space.
• Quantum function algebra at roots of 1
• Quantization of Poisson groups
• Macdonald's symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces
• Representations of quantum algebras
• F_q[M₂],F_q[GL₂], andF_q[SL₂] as Quantized Hyperalgebras
• Quantun function algebras as quantum enveloping algebras
• PRESENTATION BY BOREL SUBALGEBRAS AND CHEVALLEY GENERATORS FOR QUANTUM ENVELOPING ALGEBRAS

Cited In (4)

• F_q[M₂],F_q[GL₂], andF_q[SL₂] as Quantized Hyperalgebras
• Simultaneous eigenvectors for general Abelian hypergroups and restrictions imposed by C*QFT on the modular-conformal fusion algebra
• PBW THEOREMS AND FROBENIUS STRUCTURES FOR QUANTUM MATRICES
• Quantum duality principle for quantum continuous Kac-Moody algebras

This page was built for publication: \(F_{q}[M_{n}], F_{q}[\mathrm{GL}_{n}]\) and \(F_{q}[\mathrm{SL}_{n}]\) as quantized hyperalgebras

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