AbstractLet $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].
Multiparameter quantum function algebra at roots of 1
