Integral Forms of Twisted Quantum Affine Algebras and Quantum Frobenius

Abstract

For twisted quantum affine algebras, we compare Lusztig's restricted integral form with the integral form generated by group-like toral elements and divided powers of real Drinfeld current modes. The two forms coincide over $\mathbb{Z}[q,q^{-1}]$ outside type $A_{2n}^{(2)}$. In type $A_{2n}^{(2)}$, the smallest ordinary localization over which they coincide is $\mathbb{Z}[q,q^{-1}][Φ_{4r}(q)^{-1}\mid r\geq1]$ when $n=1$, and $\mathbb{Z}[q,q^{-1}][Φ_{8r}(q)^{-1}\mid r\geq1]$ when $n\geq2$, where $Φ_k(q)$ are cyclotomic polynomials. In particular, no localization obtained by inverting finitely many nonzero Laurent polynomials suffices in this family.