PBW THEOREMS AND FROBENIUS STRUCTURES FOR QUANTUM MATRICES

DOI10.1017/S0017089507003813MaRDI QIDQ5448981zbMATH OpenFDO

Authors Fabio Gavarini

Publication date 10 March 2008

Published in Glasgow Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

central Hopf subalgebrasfree modulesquantum Frobenius morphismquantum function algebrasquantum groups

Mathematics Subject Classification ID

Quantum groups (quantized enveloping algebras) and related deformations (17B37) Quantum groups (quantized function algebras) and their representations (20G42) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Abstract: Let G be either of Mat(n), GL(n) or SL(n), let O_q(G) be the quantum function algebra - over Z[q,q^{-1}] - associated to G, and let O_e(G) be the specialisation of O_q(G) at a root of unity, of odd order l. Then O_e(G) is a module over the corresponding classical function algebra O(G) via the quantum Frobenius morphism, which embeds O(G) as a central subbialgebra of O_e(G). In this note we prove a PBW-like theorem for O_q(G) - more or less known in literature, but not in this form (to the best of the author's knowledge) - and we show that it yields explicit bases of O_e(G) over O(G) when G is Mat(n) or GL(n): in particular, O_e(G) is free of rank l^{dim(G)}. Also, we apply the latter result to prove that O_e(G) is a free Frobenius extensions over O(G), and to compute explicitly the corresponding Nakayama automorphism, again for G being Mat(n) or GL(n) . This extends previous results by Brown, Gordon and Stroppel (see [BG], [BGS2]).

Recommendations

• On the quantum Frobenius map for general linear groups
• Quantun function algebras as quantum enveloping algebras
• THE CENTER OF THE COORDINATE ALGEBRAS OF QUANTUM GROUPS AT p^α-th ROOTS OF UNITY
• \(F_{q}[M_{n}], F_{q}[\mathrm{GL}_{n}]\) and \(F_{q}[\mathrm{SL}_{n}]\) as quantized hyperalgebras
• Some topics on \(GL_ q(n)\)

Cites work

• \(A(\text{SL}_q(2))\) at roots of unity is a free module over \(A(\text{SL}(2))\)
• Quantum function algebra at roots of 1
• Quantun function algebras as quantum enveloping algebras
• Representations of quantum algebras
• The diamond lemma for ring theory
• The quantum coordinate ring of the special linear group
• The ramifications of the centres: quantised function algebras at roots of unity

Cited in

(4)

• On the quantum Frobenius map for general linear groups
• AN EXPLICIT FORMULA FOR PBW QUANTIZATION
• FOCK REPRESENTATIONS AND QUANTUM MATRICES
• Finiteness and dimension of stated skein modules over Frobenius

This page was built for publication: PBW THEOREMS AND FROBENIUS STRUCTURES FOR QUANTUM MATRICES

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