arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.34332

Automatic cocommutativity for the quantum-group comonad

Alexandru Chirvasitu
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.QAmath.CTmath.RAmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexandru Chirvasitu. 2026-10-25. Automatic cocommutativity for the quantum-group comonad. https://arxiv.org/abs/2610.34332

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Twisted Yangians of split types BI, CI, DI and Drinfeld type current relations

We study twisted Yangians associated with the split symmetric pairs of types BI, CI and DI. We introduce a new presentation of these algebras, which we call the transposed presentation, governed by a twisted reflection equation that interacts naturally with the Gaussian decomposition of the generating matrix. Working entirely within the $R$-matrix presentation, we derive Drinfeld-type current presentations of the special twisted Yangian $SY^{\mathrm{tw}}(\mathfrak{g}_N)$ and of the extended twisted Yangian $X^{\mathrm{tw}}(\mathfrak{g}_N)$, in which the Serre relations are stated in a closed current form. Extracting coefficients recovers the Drinfeld presentation of Lu, Wang and Zhang, in the normalisation of Lu. As a consequence, we establish an explicit isomorphism between the $R$-matrix and Drinfeld presentations conjectured by Lu, Wang and Zhang. As a byproduct, we obtain a tensor product decomposition of $X^{\mathrm{tw}}(\mathfrak{g}_N)$ into the twisted Yangian in the Drinfeld presentation and a polynomial ring in countably many central variables. We also obtain Poincaré-Birkhoff-Witt bases in the Drinfeld generators and the coideal coproduct on the low Drinfeld modes at all but the last node.

math.QA↗
arXiv2026

Faithful Localization of Vertex Algebra Modules

We establish a Faithfulness Theorem for vertex algebra modules, showing that two complementary geometric localizations can jointly detect global algebraic structure. We apply this principle to vertex algebras obtained by BRST reduction from classical invariant theory and identify them, under natural geometric hypotheses, with global sections of sheaves of chiral differential operators. As consequences, we prove vanishing of BRST cohomology in nonzero degrees and simplicity, and show that every finitely strongly generated module is a finite direct sum of copies of the vacuum module. In particular, the corresponding module category is equivalent to the category of finite-dimensional vector spaces. For families associated with classical groups, we identify the associated varieties with Hamiltonian reductions, proving quasi-lisse-ness and the predicted identification with Higgs branches of the corresponding supersymmetric gauge theories. This provides geometric realizations of a broad class of vertex algebras arising from three- and four-dimensional quantum field theories.

math.QA↗
arXiv2026

Duflo--Serganova functor for chiral differential operators on classical invariant rings

We study the Duflo--Serganova functor for vertex algebras of chiral differential operators on classical invariant rings, introduced in \cite{ADS}. Our main result is a general cancellation theorem showing that a common bosonic and fermionic summand can be removed by Duflo--Serganova reduction. We apply this theorem to obtain Duflo--Serganova reduction isomorphisms for two families of simple orthosymplectic affine vertex superalgebras at levels $-2n$ and $n$, which are not covered by the existing results of Gorelik and Serganova. As a consequence, we obtain supercharacter identities, including the conjecture of Adamović and Milas as a special case.

math.QA↗