SearcharxivSearch

arXiv · funct-an/9701007

$C^*$-Tensor Categories in the Theory of $II_1$-Subfactors

Abstract

The article contains a detailed description of the connection between finite depth inclusions of $II_1$-subfactors and finite $C^*$-tensor categories (i.e. $C^*$-tensor categories with dimension function for which the number of equivalence classes of irreducible objects is finite). The $(N,N)$-bimodules belonging to a $II_1$-subfactor $N\subset M$ with finite Jones index form a $C^*$-tensor category with dimension function. Conversely, taking an object of a finite $C^*$-tensor category C we construct a subfactor $A\subset R$ of the hyperfinite $II_1$-factor R with finite index and finite depth. For this subfactor we compute the standard invariant and show that the $C^*$-tensor category of the corresponding $(A,A)$-bimodules is equivalent to a subcategory of C. We illustrate the results for the $C^*$-tensor category of the unitary finite dimensional corepresentations of a finite dimensional Hopf-*-algebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

R. Schaflitzel. 1997-01-22. $C^*$-Tensor Categories in the Theory of $II_1$-Subfactors. https://arxiv.org/abs/funct-an/9701007

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

KEEP EXPLORING

Related papers

Isomorphism classes for quantum Heisenberg manifolds

We embed the quantum Heisenberg manifold in a crossed product algebra. This enables us to show that, in the irrational case, all tracial states on $\dc$ induce the same homomorphism on the K_0-group. We conclude that two irrational quantum Heisenberg manifolds $\dc$ and $D^c_{μ' ν'}$ are isomorphic if and only if the parameters $(μ,ν)$ and $(μ',ν')$ belong to the same orbit under the usual action of $GL_2(\ZZ)$ on the torus.

funct-an

Quantum Mechanics and Operator algebras on the Hilbert ball

Cirelli, Manià and Pizzocchero generalized quantum mechanics by Kähler geometry. Furthermore they proved that any unital C$^{*}$-algebra is represented as a function algebra on the set of pure states with a noncommutative $*$-product as an application. The ordinary quantum mechanics is regarded as a dynamical system of the projective Hilbert space ${\cal P}({\cal H})$ of a Hilbert space ${\cal H}$. The space ${\cal P}({\cal H})$ is an infinite dimensional Kähler manifold of positive constant holomorphic sectional curvature. In general, such dynamical system is constructed for a general Kähler manifold of nonzero constant holomorphic sectional curvature $c$. The Hilbert ball $B_{\cal H}$ is defined by the open unit ball in ${\cal H}$ and it is a Kähler manifold with $c<0$. We introduce the quantum mechanics on $B_{\cal H}$. As an application, we show the structure of the noncommutative function algebra on $B_{\cal H}$.

funct-an

No More Than Mechanics. I

One can introduce so-called {\em Plain Mechanics} having an {\bf operator realization}. Then the set of one-dimension representations of this operator realization may be identified with the Classical Mechanics. Different irreducible infinite-dimension representations may be recognized as Quantum Mechanics for different $\hbar$ (the Planck constant). It can be done in the such manner that the following diagram will be commutative. Plain Mechanics / \ / \ / \ Quantum Mechanics --> Classical Mechanics h->0 Here the horizontal arrow is well known correspondence between Quantum and Classical Mechanics if Planck constant tensing to zero. A {\em realization} of this scheme for a particle in $n$-dimensional space by two-sided convolutions on the Heisenberg group is constructed. We also introduce the {\em motion equations} for observables in this realization. The left arrow of the given diagram carries this equation to the Heisenberg one and the right arrow maps it to the Hamilton equation.

funct-an