Un scindage du morphisme de Frobenius quantique

Abstract

Nous montrons que le morphisme de Frobenius quantique construit par Lusztig dans le cadre des algèbres enveloppantes quantiques $U_{\mathcal{B}}$ spécialisées en une racine de l’unité admet un scindage multiplicatif (non unitaire). Nous utilisons pour ce faire une base de la partie torique de la petite algèbre quantique constituée d’idempotents orthogonaux deux à deux et de somme 1 et faisons de même dans le cas «modulaire» pour l’algèbre des distributions d’un groupe algébrique semi-simple.

We show that the quantum Frobenius morphism constructed by Lusztig in the setting of the quantum enveloping algebra $U_{\mathcal{B}}$ specialized at a root of unity admits a (nonunital) multiplicative splitting. We construct the splitting using a basis of the toral part of the small quantum algebra consisting of pairwise orthogonal idempotents summing up to 1, and likewise in the modular case of the algebra of distributions for a semisimple algebraic group.