Source author record

Alain Bruguières

Alain Bruguières appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.QA math.CT

Catalog footprint

What is connected

5works

2topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2015arXiv

Hopf polyads

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$.

preprint2012arXiv

On the center of fusion categories

Müger proved in 2003 that the center of a spherical fusion category C of non-zero dimension over an algebraically closed field is a modular fusion category whose dimension is the square of that of C. We generalize this theorem to a pivotal fusion category C over an arbitrary commutative ring K, without any condition on the dimension of the category. (In this generalized setting, modularity is understood as 2-modularity in the sense of Lyubashenko.) Our proof is based on an explicit description of the Hopf algebra structure of the coend of the center of C. Moreover we show that the dimension of C is invertible in K if and only if any object of the center of C is a retract of a `free' half-braiding. As a consequence, if K is a field, then the center of C is semisimple (as an abelian category) if and only if the dimension of C is non-zero. If in addition K is algebraically closed, then this condition implies that the center is a fusion category, so that we recover Müger's result.

preprint2012arXiv

The doubles of a braided Hopf algebra

Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is isomorphic to the center of the category of A-modules as a braided category. Here, quasitriangular means endowed with an R-matrix (our notion of R-matrix for a Hopf algebra in B involves the coend C of B). In general, i.e. when B does not necessarily admit a coend, we construct a quasitriangular Hopf monad d_A on the center Z(B) of B whose category of modules is isomorphic to the center of the category of A-modules as a braided category. We prove that the Hopf monad d_A may not be representable by a Hopf algebra. If B has a coend C, then D(A) is the cross product of the Hopf monad d_A by C. Equivalently, the Hopf monad d_A is the cross quotient of the Hopf algebra D(A) by the Hopf algebra C.

preprint2011arXiv

Central Exact Sequences of Tensor Categories, Equivariantization and Applications

We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known characterizations of equivariantizations for fusion categories, and to extend these characterizations to equivariantizations of finite tensor categories under finite group scheme actions. In particular, we obtain a simple characterization of equivariantizations under actions of finite abelian groups. As an application, we show that if $\C$ is a fusion category and $F: \C \to \D$ is a dominant tensor functor of Frobenius-Perron index $p$, then $F$ is an equivariantization if $p=2$, or if $\C$ is weakly integral and $p$ is the smallest prime factor of $\FPdim \C$.

preprint2011arXiv

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode. Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid. Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford-Majid bosonization of Hopf algebras). We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler's Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint