Automatic cocommutativity for the quantum-group comonad
Abstract
We prove that the cofree Hopf algebra on a cocommutative bialgebra is again cocommutative, and in fact coincides with the latter's largest Hopf subalgebra. This answers a question of Ardizzoni-Menini-Saracco and provides a proof for a statement to the same effect in the literature, whose original justification contains an apparent gap. The result relies on (and is in fact equivalent to) the observation that cocommutative bialgebra quotients of arbitrary Hopf algebras are automatically Hopf. This latter statement strengthens the analogue due to Newman, which assumes cocommutativity for the Hopf domain. One application of the above is the following quantum-rigidity result for Hopf algebras acted upon by a covariant quantum group: an action by one Hopf algebra on another which preserves the unital-algebra structure and the comultiplication factors through an action by a cocommutative Hopf algebra which moreover preserves the entire Hopf structure.
Related
- Hyperspectral Anomaly Detection via Group Sparse Low-Rank Tensor Factorization With Automatic Anomaly Grouping
- Synthetic geometry of differential equations: I. Jets and comonad structure
- The Von Neumann Algebraic Quantum Group SUq(1,1)rtimes ℤ2 and the DSSYK Model
- The Quantum Cayley Graphs of the Kac-Paljutkin Quantum Group
- The double covering of compact quantum group SOq(4)
BibTeX
@misc{chirvasitu2026automatic,
title = {{Automatic cocommutativity for the quantum-group comonad}},
author = {Alexandru Chirvasitu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.34332},
eprint = {2610.34332},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.34332},
}
RIS
TY - UNPB
TI - Automatic cocommutativity for the quantum-group comonad
AU - Alexandru Chirvasitu
PY - 2026
DA - 2026/10/25
PB - arXiv
DO - 10.48550/arxiv.2610.34332
UR - https://arxiv.org/abs/2610.34332
AB - We prove that the cofree Hopf algebra on a cocommutative bialgebra is again cocommutative, and in fact coincides with the latter's largest Hopf subalgebra. This answers a question of Ardizzoni-Menini-Saracco and provides a proof for a statement to the same effect in the literature, whose original justification contains an apparent gap. The result relies on (and is in fact equivalent to) the observation that cocommutative bialgebra quotients of arbitrary Hopf algebras are automatically Hopf. This latter statement strengthens the analogue due to Newman, which assumes cocommutativity for the Hopf domain. One application of the above is the following quantum-rigidity result for Hopf algebras acted upon by a covariant quantum group: an action by one Hopf algebra on another which preserves the unital-algebra structure and the comultiplication factors through an action by a cocommutative Hopf algebra which moreover preserves the entire Hopf structure.
ER -