Multiparameter quantum groups at roots of unity

TL;DR

This paper studies multiparameter quantum groups at roots of unity, constructing integral forms, analyzing their specializations, and exploring their relations to classical structures via cocycle deformations and Poisson geometry.

Contribution

It introduces new integral forms of multiparameter quantum groups and examines their specializations at roots of unity, linking them to classical Poisson-Lie structures.

Findings

Constructed restricted and unrestricted integral forms of MpQG's.

Analyzed quantum Frobenius morphisms connecting MpQG's at roots of unity to classical structures.

Showed MpQG's are 2-cocycle deformations of canonical quantum groups.

Abstract

We address the study of multiparameter quamtum groups (=MpQG's) at roots of unity, namely quantum universal enveloping algebras $ U_{\boldsymbol{\rm q}}(\mathfrak{g}) $ depending on a matrix of parameters $ \boldsymbol{\rm q} = {\big( q_{ij} \big)}_{i, j \in I} \, $. This is performed via the construction of quantum root vectors and suitable "integral forms" of $ U_{\boldsymbol{\rm q}}(\mathfrak{g}) \, $, a \textsl{restricted one} - generated by quantum divided powers and quantum binomial coefficients - and an \textsl{unrestricted\/} one - where quantum root vectors are suitably renormalized. The specializations at roots of unity of either forms are the "MpQG's at roots of unity" we look for. In particular, we study special subalgebras and quotients of our MpQG's at roots of unity - namely, the multiparameter version of small quantum groups - and suitable associated quantum Frobenius morphisms, that link the MpQG's at roots of 1 with MpQG's at 1, the latter being classical Hopf algebras bearing a well precise Poisson-geometrical content. A key point in the discussion - often at the core of our strategy - is that every MpQG is actually a 2-cocycle deformation of the algebra structure of (a lift of) the "canonical" one-parameter quantum group by Jimbo-Lusztig, so that we can often rely on already established results available for the latter. On the other hand, depending on the chosen multiparameter $ \boldsymbol{\rm q} $ our quantum groups yield (through the choice of integral forms and their specialization) different semiclassical structures, namely different Lie coalgebra structures and Poisson structures on the Lie algebra and algebraic group underlying the canonical one-parameter quantum group.