Homological properties of quantum groups governed by small quantum groups

Abstract: We develop a general characteristic-free framework for studying the homological properties of a broad class of module-finite Hopf algebras. This framework makes it possible to reduce the study of the homological properties of many quantum groups at roots of unity and their multiparameter deformations to the study of the corresponding small quantum groups. For any affine Hopf algebra $H$ admitting a large central Hopf subalgebra $C$, we prove that its left homological integral space, in the sense of Lu-Wu-Zhang, is isomorphic as a bimodule to the left integral space of the identity fiber algebra, which is a finite-dimensional Hopf algebra. Consequently, $H$ is a symmetric Frobenius extension of $C$ if and only if the corresponding identity fiber algebra is unimodular and the square of the antipode of $H$ is inner, thus providing an effective criterion for the Calabi-Yau property of $H$. For a broad class of quantum groups at roots of unity, an appropriate large central Hopf subalgebra can be chosen such that the identity fiber algebra is the corresponding small quantum group. Therefore, some homological properties of these big quantum groups are governed by those of their corresponding small quantum groups. Assuming that the base field is algebraically closed, we prove that $H$ is unimodular if and only if, for some (equivalently, every) maximal ideal $\mathfrak{m}$ of $C$, the category of finite-dimensional representations of the fiber algebra at $\mathfrak{m}$ is unimodular in the sense of Yadav as a module category over the finite tensor category of finite-dimensional representations of the identity fiber algebra. As an application, we prove that all Andruskiewitsch-Angiono-Yakimov large quantum groups are affine noetherian unimodular Artin-Schelter Gorenstein Hopf algebras. We also give a necessary and sufficient condition for these large quantum groups to be Calabi-Yau.