• Corpus ID: 222125035

Distortion for multifactor bimodules and representations of multifusion categories

  title={Distortion for multifactor bimodules and representations of multifusion categories},
  author={Marcel Bischoff and Ian Charlesworth and Samuel Evington and Luca Giorgetti and David Penneys},
  journal={arXiv: Operator Algebras},
We call a von Neumann algebra with finite dimensional center a multifactor. We introduce an invariant of bimodules over $\rm II_1$ multifactors that we call modular distortion, and use it to formulate two classification results. We first classify finite depth finite index connected hyperfinite $\rm II_1$ multifactor inclusions $A\subset B$ in terms of the standard invariant (a unitary planar algebra), together with the restriction to $A$ of the unique Markov trace on $B$. The latter determines… 
A categorical Connes' $\chi(M)$
Popa introduced the tensor category χ̃(M) of approximately inner, centrally trivial bimodules of a II1 factor M , generalizing Connes’ χ(M). We extend Popa’s notions to define the W-tensor category
A planar algebraic description of conditional expectations
Let N ⊂ M be a unital inclusion of arbitrary von Neumann algebras. We give a 2-C-categorical/planar algebraic description of normal faithful conditional expectations E : M → N ⊂ M with finite index
Realization of rigid C*-bicategories as bimodules over type II$_1$ von Neumann algebras
We prove that every rigid C*-bicategory with finite-dimensional centers (finitely decomposable horizontal units) can be realized as Connes' bimodules over finite direct sums of II$_1$ factors. In
Galois Correspondence and Fourier Analysis on Local Discrete Subfactors
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity


Unitary dual functors for unitary multitensor categories
We classify which dual functors on a unitary multitensor category are compatible with the dagger structure in terms of groupoid homomorphisms from the universal grading groupoid to $\mathbb{R}_{>0}$
Minimal index and dimension for inclusions of von Neumann algebras with finite-dimensional centers
The notion of index for inclusions of von Neumann algebras goes back to a seminal work of Jones on subfactors of type ${I\!I}_1$. In the absence of a trace, one can still define the index of a
Minimal Index and Dimension for 2-C*-Categories with Finite-Dimensional Centers
In the first part of this paper, we give a newlook at inclusions of von Neumann algebras with finite-dimensional centers and finite Jones’ index. The minimal conditional expectation is characterized
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
Perturbations of planar algebras
We analyze the effect of pivotal structures (on a 2-category) on the planar algebra associated to a 1-cell as in \cite{Gho08} and come up with the notion of {\em perturbations of planar algebras by
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
Dualizability and index of subfactors
In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show
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
On rings of operators
Let 5C be a complex Hubert Space, J3(3C) the ring of bounded operators on 3C, E an abelian symmetric subring of B(3Z) containing the identity which is closed in the weak operator topology, E\ the