arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1511.04639

Hopf polyads

Alain Bruguières
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce Hopf polyads in order to unify Hopf monads and group actions on monoidal categories. A polyad is a lax functor from a small category (its source) to the bicategory of categories, and a Hopf polyad is a comonoidal polyad whose fusion operators are invertible. The main result states that the lift of a Hopf polyad is a strong (co)monoidal action-type polyad (or strong monoidal pseudofunctor). The lift of a polyad is a new polyad having simpler structure but the same category of modules. We show that, under certain assumptions, a Hopf polyad can be `wrapped up' into a Hopf monad. This generalizes the fact that finite group actions on tensor categories can be seen as Hopf monads. Hopf categories in the sense of Batista, Caenepeel and Vercruysse can be viewed as Hopf polyads in a braided setting via the notion of Hopf polyalgebras. As a special case of the main theorem, we generalize a description of the center of graded fusion category due to Turaev and Virelizier to tensor categories: if $C$ is a $G$-graded (locally bounded) tensor category, then $G$ acts on the relative center of $C$ with respect to the degree one part $C_1$, and the equivariantization of this action is the center of $C$.

Explore related subjects

math.QAmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alain Bruguières. 2015-11-20. Hopf polyads. https://arxiv.org/abs/1511.04639

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

KEEP EXPLORING

Related papers

arXiv2026

Braided Hopf algebroids and Lie algebroids

We construct braided Hopf algebroids in a braided monoidal category over a field $k$ and study its properties using graphical representation. Then we study Ehresmann-Schauenburg Hopf algebroids assocaited to braided Hopf Galois extensions. We introduce braided Lie-Rinehart algebras which generalize the definition in \cite{ALP24, ALP23, ALP25} and study its universal enveloping algebra under symmetric condition. In particular, we introduce Lie-Rinehart algebras (braided Lie-algebroids) associated with braided Hopf algebroids in the category of the module of a triangular Hopf algebra. We then focus on the case for braided Ehresmann-Schauenburg Hopf algebroids and study their right invariant vector fields, which turn out to be isomorphic to the $H$-equivariant vector fields on the quantum principal bundle (Hopf Galois extension) as Lie-Rinehart algebras. Finally, we introduce braided jet Hopf algebroids associate to braided Hopf algebroids in the case that the source and target subalgebra belong to the braided center. Moreover, we show there is a dual pairing between the $k$-order universal enveloping algebra of the braided right invariant vector fields and the $k$-th jet space of a braided Hopf algebroid and further more a skew pairing between the universal enveloping algebra of its braided right invariant vector fields and its jet Hopf algebroid under a finiteness condition.

math.QA↗
arXiv2026

Affine quantum Schur--Weyl duality

Let $\mathpzc K$ be an arbitrary commutative ring containing an invertible element $\varepsilon$. Let ${\mathcal H}_{\!\vartriangle\!}(r)_{\mathpzc K}$ be the extended affine Hecke algebra of type $A$ with Hecke parameter $\varepsilon$, let $Ω_{\mathpzc K}^{\otimes r}$ be the affine tensor space, and let ${\mathcal S}_{\!\vartriangle\!}(n,r)_{\mathpzc K}$ be the corresponding affine quantum Schur algebra. We first prove that the natural right action of ${\mathcal H}_{\!\vartriangle\!}(r)_{\mathpzc K}$ on $Ω_{\mathpzc K}^{\otimes r}$ is always faithful. Assume further that $\mathpzc K$ is a field of characteristic $0$ and that $\varepsilon$ is not a root of unity. We prove that, for any $n\geq 2$, the natural algebra homomorphism $ξ_r:{\mathcal H}_{\!\vartriangle\!}(r)_{\mathpzc K}\rightarrow\operatorname{End}_{{\mathcal S}_{\!\vartriangle\!}(n,r)_{\mathpzc K}}(Ω_{\mathpzc K}^{\otimes r})^{\mathrm{op}}$ is an isomorphism. This proves Conjecture~3.8.8 of \cite{DDF}. As an application, we prove the conjecture formulated in \cite[5.2.4]{DDF} concerning the center of the affine quantum Schur algebra. We also prove that ${\mathcal S}_{\!\vartriangle\!}(n,r)_{\mathpzc K}$ is left and right Noetherian whenever $\mathpzc K$ is a Noetherian commutative ring, which verify a conjecture in \cite[Rem. 1.7]{DY}.

math.QA↗
arXiv2026

Unitary TQFTs, unitary disk-like $n$-categories, and higher Hilbert spaces

We introduce the notion of a unitary disk-like $n$-category, which is a disk-like $n$-category equipped with a reflection structure and a sphere trace inducing positive-definite pairings. Since a finite unitary disk-like $n$-category is defined to be the local field data of a fully extended $(n+1)$D unitary TQFT, we propose a complete finite unitary disk-like $n$-category as the definition of a finite $(n+1)$-Hilbert space for all $n$. For $n=1$ and $n=2$ we verify this proposal, proving that complete finite unitary disk-like 1- and 2-categories are isometrically equivalent to finite 2- and 3-Hilbert spaces respectively, and that these equivalences are functorial. For $n=1$ we recover a unitary refinement of Schommer-Pries' classification of oriented $(1+1)$D TQFTs in terms of $\mathrm{H}^*$-Morita equivalence classes of $\mathrm{H}^*$-algebras, and for $n=2$ we categorify this to classify oriented $(2+1)$D unitary TQFTs by $\mathrm{H}^*$-Morita equivalence classes of $\mathrm{H}^*$-multifusion categories. Along the way, we investigate fully incomplete 3-Hilbert spaces, prove a strictification result for pivotal dagger 2-categories, and define functors and higher transformations between disk-like $n$-categories.

math.QA↗