A theory of dimension

DOI10.1023/A:1007714415067MaRDI QIDQ1357480zbMATH OpenOpenAlexFDO

Publication date 11 November 1997

Published in \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/funct-an/9604008

amenability amenable inclusion of factors conjugation endomorphisms of factors Jones index strict monoidal C*-category subfactors theory of dimension

Mathematics Subject Classification ID

Subfactors and their classification (46L37) Axiomatic quantum field theory; operator algebras (81T05)

Abstract: In which a theory of dimension related to the Jones index and based on the notion of conjugation is developed. An elementary proof of the additivity and multiplicativity of the dimension is given and there is an associated trace. Applications are given to a class of endomorphisms of factors and to the theory of subfactors. An important role is played by a notion of amenability inspired by the work of Popa.

Review text

The purpose of this paper is to develop a theory of dimension which is related to the Jones index and based on the notion of conjugation. Namely, let \({\mathcal T}\) be a strict monoidal C*-category in the sense from \textit{S. Doplicher} and \textit{J. E. Roberts} [``A new duality theory for compact groups, Invent. Math. 98, No. 1, 157-218 (1989; Zbl 0691.22002)], with objects denoted by \(\rho,\sigma,\tau\), etc., which has a complex Banach \((\rho, \sigma)\) as the space of arrows between \(\rho\) and \(\sigma\), the composition of arrows denoted by ``\(\circ\) is bilinear, the adjoint \(*\) is an involutive contravariant functor acting as the identity on objects and has an associative bilinear bifunctor \(\otimes: {\mathcal T} \times {\mathcal T} \to {\mathcal T}\), with a unit \(i\) and commuting with \(*\). The authors consider also a full subcategory \({\mathcal T}_f\) of \({\mathcal T}\) as follows: an object \(\rho\) of \({\mathcal T}\) lies in \({\mathcal T}_f\) if there is an object \(\overline\rho\) of \({\mathcal T}\), the conjugate of \(\rho\), and \(R\in (t,\overline \rho \otimes \rho)\) and \(\overline R \in(c, \rho \otimes \overline \rho)\) such that \(\overline R^* \otimes 1_\rho \circ 1_\rho \otimes R=1_\rho\), \(R^* \otimes 1_{\overline \rho} \circ 1_{\overline \rho} \otimes \overline R=1_{\overline \rho}\). The essential step towards introducing a dimension for the objects of \({\mathcal T}_f\) rather than their left inverses is to choose a special equivalence class of solutions of the previous conjugate equations. So, the notion of the standard left inverse is obtained and the dimension \(d(\rho)\) for an object \(\rho\) is defined as the dimension of its standard left inverse. Hence \(d(\rho)= d(\overline \rho)\) so that \(d(\rho)\) depends only on the unitary equivalence class of \(\rho\) and is additive on direct sums. Also, an elementary proof of the multiplicativity of the dimension on tensor products is given. Applications to a class of endomorphisms of factors and to the theory of subfactors are given. Here an important role is played by a notion of amenability inspired by Popa's notion of a strongly amenable inclusion of factors.

Recommendations

Cited in

(only showing first 100 items - show all)

This page was built for publication: A theory of dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357480)