No Arabic abstract
Canonical tensor product subfactors (CTPSs) describe, among other things, the embedding of chiral observables in two-dimensional conformal quantum field theories. A new class of CTPSs is constructed some of which are associated with certain modular invariants, thereby establishing the expected existence of the corresponding two-dimensional theories.
The program of matrix product states on the infinite tensor product ${mathcal A}^{otimes mathbb Z}$, initiated by Fannes, Nachtergaele and Werner in their seminal paper Commun. Math. Phys. Vol. 144, 443-490 (1992), is re-assessed in a context where $mathcal A$ is an infinite nuclear $C^ast$-algebra. While this setting presents new technical challenges, fine advances on ordered spaces by Kavruk, Paulsen, Todorov and Tomforde enabled us to push through most of the program and to demonstrate that the matrix product states accept generalizations as operator product states.
For a discrete group $G$, we develop a `$G$-balanced tensor product of two coactions $(A,delta)$ and $(B,epsilon)$, which takes place on a certain subalgebra of the maximal tensor product $Aotimes_{max} B$. Our motivation for this is that we are able to prove that given two actions of $G$, the dual coaction on the crossed product of the maximal-tensor-product action is isomorphic to the $G$-balanced tensor product of the dual coactions. In turn, our motivation for this is to give an analogue, for coaction functors, of a crossed-product functor originated by Baum, Guentner, and Willett, and further developed by Buss, Echterhoff, and Willett, that involves tensoring an action with a fixed action $(C,gamma)$, then forming the image inside the crossed product of the maximal-tensor-product action. We prove that composing our tensor-product coaction functor with the full crossed product of an action reproduces the tensor-crossed-product functor of Baum, Guentner, and Willett. We prove that every such tensor-product coaction functor is exact, thereby recovering the analogous result for the tensor-crossed-product functors of Baum, Guentner, and Willett. When $(C,gamma)$ is the action by translation on $ell^infty(G)$, we prove that the associated tensor-product coaction functor is minimal, generalizing the analogous result of Buss, Echterhoff, and Willett for tensor-crossed-product functors.
We construct analogs of the embedding of orthogonal and symplectic groups into unitary groups in the context of fusion categories. At least some of the resulting module categories also appear in boundary conformal field theory. We determine when these categories are unitarizable, and explicitly calculate the index and principal graph of the resulting subfactors.
Growing out of the initial connections between subfactors and knot theory that gave rise to the Jones polynomial, Jones axiomatization of the standard invariant of an extremal finite index $II_1$ subfactor as a spherical $C^*$-planar algebra, presented in arXiv:math.QA/9909027, is the most elegant and powerful description available. We make the natural extension of this axiomatization to the case of finite index subfactors of arbitrary type. We also provide the first steps toward a limited planar structure in the infinite index case. The central role of rotations, which provide the main non-trivial part of the planar structure, is a recurring theme throughout this work. In the finite index case the axioms of a $C^*$-planar algebra need to be weakened to disallow rotation of internal discs, giving rise to the notion of a rigid $C^*$-planar algebra. We show that the standard invariant of any finite index subfactor has a rigid $C^*$-planar algebra structure. We then show that rotations can be re-introduced with associated correction terms entirely controlled by the Radon-Nikodym derivative of the two canonical states on the first relative commutant, $N cap M$. By deforming a rigid $C^*$-planar algebra to obtain a spherical $C^*$-planar algebra and lifting the inverse construction to the subfactor level we show that any rigid $C^*$-planar algebra arises as the standard invariant of a finite index $II_1$ subfactor equipped with a conditional expectation, which in general is not trace preserving. Jones results thus extend completely to the general finite index case. We conclude by applying our machinery to the $II_1$ case, shedding new light on the rotations studied by Huang [11] and touching briefly on the work of Popa [29]. (continued in article)
Conformal inclusions of chiral conformal field theories, or more generally inclusions of quantum field theories, are described in the von Neumann algebraic setting by nets of subfactors, possibly with infinite Jones index if one takes non-rational theories into account. With this situation in mind, we study in a purely subfactor theoretical context a certain class of braided discrete subfactors with an additional commutativity constraint, that we call locality, and which corresponds to the commutation relations between field operators at space-like distance in quantum field theory. Examples of subfactors of this type come from taking a minimal action of a compact group on a factor and considering the fixed point subalgebra. We show that to every irreducible local discrete subfactor $mathcal{N}subsetmathcal{M}$ of type ${I!I!I}$ there is an associated canonical compact hypergroup (an invariant for the subfactor) which acts on $mathcal{M}$ by unital completely positive (ucp) maps and which gives $mathcal{N}$ as fixed points. To show this, we establish a duality pairing between the set of all $mathcal{N}$-bimodular ucp maps on $mathcal{M}$ and a certain commutative unital $C^*$-algebra, whose spectrum we identify with the compact hypergroup. If the subfactor has depth 2, the compact hypergroup turns out to be a compact group. This rules out the occurrence of compact emph{quantum} groups acting as global gauge symmetries in local conformal field theory.