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 m of C, the category of finite-dimensional representations of the fiber algebra at 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.
Related
- Homological finiteness properties of wreath products
- A subcategory with remarkable homological properties via actions of tensor categories
- Gorenstein homological properties of n-trivial extensions of rings
- Small Kazhdan constants for small generating sets of linear groups
- Small Sets of Generators for Handlebody Groups
BibTeX
@misc{huang2026homological,
title = {{Homological properties of quantum groups governed by small quantum groups}},
author = {Yimin Huang and Tiancheng Qi and Quanshui Wu and Ruipeng Zhu},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.08205},
eprint = {2609.08205},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.08205},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Homological properties of quantum groups governed by small quantum groups
AU - Yimin Huang
AU - Tiancheng Qi
AU - Quanshui Wu
AU - Ruipeng Zhu
PY - 2026
DA - 2026/09/08
PB - arXiv
DO - 10.48550/arxiv.2609.08205
UR - https://arxiv.org/abs/2609.08205
AB - 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 m of C, the category of finite-dimensional representations of the fiber algebra at 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.
ER -