Search arXiv⌕ Search

arXiv · 1712.09311

Realization of rigid C$^*$-tensor categories via Tomita bimodules

Abstract

Starting from a (small) rigid C$^*$-tensor category $\mathscr{C}$ with simple unit, we construct von Neumann algebras associated to each of its objects. These algebras are factors and can be either semifinite (of type II$_1$ or II$_\infty$, depending on whether the spectrum of the category is finite or infinite) or they can be of type III$_λ$, $λ\in (0,1]$. The choice of type is tuned by the choice of Tomita structure (defined in the paper) on certain bimodules we use in the construction. Moreover, if the spectrum is infinite we realize the whole tensor category directly as endomorphisms of these algebras, with finite Jones index, by exhibiting a fully faithful unitary tensor functor $F:\mathscr{C} \hookrightarrow End_0(Φ)$ where $Φ$ is a factor (of type II or III). The construction relies on methods from free probability (full Fock space, amalgamated free products), it does not depend on amenability assumptions, and it can be applied to categories with uncountable spectrum (hence it provides an alternative answer to a conjecture of Yamagami \cite{Y3}). Even in the case of uncountably generated categories, we can refine the previous equivalence to obtain realizations on $σ$-finite factors as endomorphisms (in the type III case) and as bimodules (in the type II case). In the case of trivial Tomita structure, we recover the same algebra obtained in \cite{PopaS} and \cite{AMD}, namely the (countably generated) free group factor $L(F_\infty)$ if the given category has denumerable spectrum, while we get the free group factor with uncountably many generators if the spectrum is infinite and non-denumerable.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luca Giorgetti, Wei Yuan. 2017-12-26. Realization of rigid C$^*$-tensor categories via Tomita bimodules. https://doi.org/10.7900/jot.2018mar08.2219

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

KEEP EXPLORING

Related papers

Remarks on Derivations on Maximal Triangular Operator Algebras

This note concerns bounded derivations on maximal triangular operator algebras on a Hilbert space. Given any bounded derivation $δ$ on a maximal triangular algebra whose invariant lattice is continuous at 1, an operator which is shown to implement $δ$ is constructed explicitly. For a general reducible maximal triangular algebra the same construction yields an operator which is shown to implement any $δ$, if and only if $δ$ obeys an additional triple product rule. This work is based on unpublished parts of the author's dissertation [19] and describes a variant of the proof of a more general result in [21] and is thus in effect a footnote to that work. To the best of the author's knowledge the constructive proof and triple product rule have not appeared elsewhere. The work here is not set in the context of the large body of subsequent research, and no claims are made regarding its relationship to later developments.

math.OA↗

An Approximate-Diagonal Characterization of Amenable Actions on C*Algebras

We introduce relative $h$-diagonals for crossed products $A\rtimes_αΓ$ by discrete groups, which are positive-form approximate diagonals in the Haagerup tensor product taken relative to $A$. We show that $α$ is amenable if and only if $A\rtimes_αΓ$ admits a relative $h$-diagonal, an analogue of Johnson's theorem for $L^{1}(G)$.

math.OA↗

Failure of noncommutative Rota's theorem with $L\log L$ endpoint

We construct a factorizable Markov map $T$ on a hyperfinite finite von Neumann algebra and a positive element $x\in L\log L$ for which the sequence $T^n(T^*)^n x$ does not converge bilaterally almost uniformly. This answers a question of Anantharaman-Delaroche \cite{AD2006}.

math.OA↗