F_q[M_n], F_q[GL_n] and F_q[SL_n] as quantized hyperalgebras
From MaRDI portal
Publication:2459998
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.
Recommendations
- Fq[M2],Fq[GL2], andFq[SL2] 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
Cites work
- scientific article; zbMATH DE number 510282 (Why is no real title available?)
- scientific article; zbMATH DE number 793872 (Why is no real title available?)
- Fq[M2],Fq[GL2], andFq[SL2] as Quantized Hyperalgebras
- A q-difference analogue of \(U({\mathfrak g})\) and the Yang-Baxter equation
- Introduction to Lie Algebras and Representation Theory
- Macdonald's symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces
- PRESENTATION BY BOREL SUBALGEBRAS AND CHEVALLEY GENERATORS FOR QUANTUM ENVELOPING ALGEBRAS
- Poisson structures on affine spaces and flag varieties. I: Matrix affine Poisson space.
- Quantization of Poisson groups
- Quantum function algebra at roots of 1
- Quantum groups at roots of 1
- Quantun function algebras as quantum enveloping algebras
- Representations of quantum algebras
Cited in
(4)- Fq[M2],Fq[GL2], andFq[SL2] 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)
