PBW THEOREMS AND FROBENIUS STRUCTURES FOR QUANTUM MATRICES

Let $G \in \{{\it Mat}_n(\C), {GL}_n(\C), {SL}_n(\C)\}$, let $\Oqg$ be the quantum function algebra – over $\Z [q,q^{-1}]$ – associated to G, and let $\Oeg$ be the specialisation of the latter at a root of unity ϵ, whose order ℓ is odd. There is a quantum Frobenius morphism that embeds $\Og,$ the function algebra of G, in $\Oeg$ as a central Hopf subalgebra, so that $\Oeg$ is a module over $\Og$. When $G = {SL}_n(\C)$, it is known by [3], [4] that (the complexification of) such a module is free, with rank ℓdim(G). In this note we prove a PBW-like theorem for $\Oqg$, and we show that – when G is Matn or GLn – it yields explicit bases of $\Oeg $ over $ \Og$ over $\Og,$. As a direct application, we prove that $\Oegl$ and $\Oem$ are free Frobenius extensions over $\Ogl$ and $\Om$, thus extending some results of [5].

PRESENTATION BY BOREL SUBALGEBRAS AND CHEVALLEY GENERATORS FOR QUANTUM ENVELOPING ALGEBRAS

We provide an alternative approach to the Faddeev–Reshetikhin–Takhtajan presentation of the quantum group $\uqg$, with $L$-operators as generators and relations ruled by an $R$-matrix. We look at $\uqg$ as being generated by the quantum Borel subalgebras $U_q(\mathfrak{b}_+)$ and $U_q(\mathfrak{b}_-)$, and use the standard presentation of the latter as quantum function algebras. When $\mathfrak{g}=\mathfrak{gl}_n$, these Borel quantum function algebras are generated by the entries of a triangular $q$-matrix. Thus, eventually, $U_q(\mathfrak{gl}_n)$ is generated by the entries of an upper triangular and a lower triangular $q$-matrix, which share the same diagonal. The same elements generate over $\Bbbk[q,q^{-1}]$ the unrestricted $\Bbbk [q,q^{-1}]$-integral form of $U_q(\mathfrak{gl}_n)$ of De Concini and Procesi, which we present explicitly, together with a neat description of the associated quantum Frobenius morphisms at roots of 1. All this holds, mutatis mutandis, for $\mathfrak{g}=\mathfrak{sl}_n$ too.