Frobenii on Morava $E$-theoretical quantum groups

In this paper, we study a family of new quantum groups labelled by a prime number $p$ and a natural number $n$ constructed using the Morava $E$-theories. We define the quantum Frobenius homomorphisms among these quantum groups. This is a geometric generalization of Lusztig's quantum Frobenius from the quantum groups at a root of unity to the enveloping algebras. The main ingredient in constructing these Frobenii is the transchromatic character map of Hopkins, Kuhn, Ravenal, and Stapleton. As an application, we prove a Steinberg-type formula for irreducible representations of these quantum groups. Consequently, we prove that, in type $A$ the characters of certain irreducible representations of these quantum groups satisfy the formulas introduced by Lusztig in 2015.