Source author record

André Henriques

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.QA math.CT math.OA

Catalog footprint

Research overview

4works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Representations of fusion categories and their commutants

A bicommutant category is a higher categorical analog of a von Neumann algebra. We study the bicommutant categories which arise as the commutant $\mathcal{C}'$ of a fully faithful representation $\mathcal{C}\to\operatorname{Bim}(R)$ of a unitary fusion category $\mathcal{C}$ . Using results of Izumi, Popa, and Tomatsu about existence and uniqueness of representations of unitary (multi)fusion categories, we prove that if $\mathcal{C}$ and $\mathcal{D}$ are Morita equivalent unitary fusion categories, then their commutant categories $\mathcal{C}'$ and $\mathcal{D}'$ are equivalent as bicommutant categories. In particular, they are equivalent as tensor categories: $\Big(\,\,\mathcal{C}\,\,\simeq_{\text{Morita}}\,\,\mathcal{D}\,\,\Big) \qquad\Longrightarrow\qquad \Big(\,\,\mathcal{C}'\,\,\simeq_{\text{tensor}}\,\,\mathcal{D}'\,\,\Big).$ This categorifies the well-known result according to which the commutants (in some representations) of Morita equivalent finite dimensional $\rm C^*$ -algebras are isomorphic von Neumann algebras, provided the representations are `big enough'. We also introduce a notion of positivity for bi-involutive tensor categories. For dagger categories, positivity is a property (the property of being a $\rm C^*$ -category). But for bi-involutive tensor categories, positivity is extra structure. We show that unitary fusion categories and $\operatorname{Bim}(R)$ admit distinguished positive structures, and that fully faithful representations $\mathcal{C}\to\operatorname{Bim}(R)$ automatically respect these positive structures.

preprint2016arXiv

Bicommutant categories from fusion categories

Bicommutant categories are higher categorical analogs of von Neumann algebras that were recently introduced by the first author. In this article, we prove that every unitary fusion category gives an example of a bicommutant category. This theorem categorifies the well known result according to which a finite dimensional *-algebra that can be faithfully represented on a Hilbert space is in fact a von Neumann algebra.

preprint2016arXiv

Planar algebras in braided tensor categories

We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$ . To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles to the outer circle. We call the resulting notion an anchored planar algebra. If we restrict to the case when $\mathcal{C}$ is the category of vector spaces, then we recover the usual notion of a planar algebra. Building on our previous work on categorified traces, we prove that there is an equivalence of categories between anchored planar algebras in $\mathcal{C}$ and pivotal module tensor categories over $\mathcal{C}$ equipped with a chosen self-dual generator. Even in the case of usual planar algebras, the precise formulation of this theorem, as an equivalence of categories, has not appeared in the literature. Using our theorem, we describe many examples of anchored planar algebras.

preprint2015arXiv

Categorified trace for module tensor categories over braided tensor categories

Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$ , we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$ , called the associated categorified trace. By a result of Bezrukavnikov, Finkelberg and Ostrik, the functor $\mathrm{Tr}_{\mathcal C}$ comes equipped with natural isomorphisms $τ_{x,y}:\mathrm{Tr}_{\mathcal C}(x \otimes y) \to \mathrm{Tr}_{\mathcal C}(y \otimes x)$ , which we call the traciators. This situation lends itself to a diagramatic calculus of `strings on cylinders', where the traciator corresponds to wrapping a string around the back of a cylinder. We show that $\mathrm{Tr}_{\mathcal C}$ in fact has a much richer graphical calculus in which the tubes are allowed to branch and braid. Given algebra objects $A$ and $B$ , we prove that $\mathrm{Tr}_{\mathcal C}(A)$ and $\mathrm{Tr}_{\mathcal C}(A \otimes B)$ are again algebra objects. Moreover, provided certain mild assumptions are satisfied, $\mathrm{Tr}_{\mathcal C}(A)$ and $\mathrm{Tr}_{\mathcal C}(A \otimes B)$ are semisimple whenever $A$ and $B$ are semisimple.

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.