Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/9904109

On $α$-induction, chiral generators and modular invariants for subfactors

J. Böckenhauer·D. E. Evans·Y. Kawahigashi
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider a type III subfactor $N\subset M$ of finite index with a finite system of braided $N$-$N$ morphisms which includes the irreducible constituents of the dual canonical endomorphism. We apply $α$-induction and, developing further some ideas of Ocneanu, we define chiral generators for the double triangle algebra. Using a new concept of intertwining braiding fusion relations, we show that the chiral generators can be naturally identified with the $α$-induced sectors. A matrix $Z$ is defined and shown to commute with the S- and T-matrices arising from the braiding. If the braiding is non-degenerate, then $Z$ is a ``modular invariant mass matrix'' in the usual sense of conformal field theory. We show that in that case the fusion rule algebra of the dual system of $M$-$M$ morphisms is generated by the images of both kinds of $α$-induction, and that the structural information about its irreducible representations is encoded in the mass matrix $Z$. Our analysis sheds further light on the connection between (the classifications of) modular invariants and subfactors, and we will construct and analyze modular invariants from $SU(n)_k$ loop group subfactors in a forthcoming publication, including the treatment of all $SU(2)_k$ modular invariants.

Explore related subjects

math.OAhep-thmath-phmath.MPmath.QAmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. Böckenhauer, D. E. Evans, Y. Kawahigashi. 1999-10-28. On $α$-induction, chiral generators and modular invariants for subfactors. https://doi.org/10.1007/s002200050765

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

KEEP EXPLORING

Related papers

arXiv2026

Selfless Reduced Crossed Product $C^{*}$-Algebras Arising from Almost Periodic Actions

We prove that the reduced crossed product arising from an almost periodic action of an infinite countable discrete group on a unital, separable $C^*$-algebra is selfless whenever the crossed product is simple and monotracial and the group admits a topologically free extreme boundary action. We also give an alternative proof of a special case of a result of Gao, Junge, Kunnawalkam Elayavalli, Patchell, and Robert: the direct product of an exact $C^*$-simple group and a $C^*$-selfless group is $C^*$-selfless.

math.OA↗
arXiv2026

Isomorphisms and representations of noncommutative function algebras

Let $V$ be a noncommutative (NC) variety in a NC operator ball. We study the dual operator algebra $H^\infty(V)$ of bounded NC functions on $V$, and the operator algebra $A(V)$ obtained as the closure of NC polynomials in $H^\infty(V)$. We identify the space of weak-$*$ continuous finite-dimensional representations of $H^\infty(V)$ as the similarity envelope $\widetilde{V}$ of $V$, and equip $\widetilde{V}$ with a metric which turns $\widetilde{V}$ into a complete invariant for $H^\infty(V)$, in the sense that $H^\infty(V)$ is weak-$*$ continuously isomorphic to $H^\infty(W)$ if and only if $\widetilde{V}$ and $\widetilde{W}$ are NC biholomorphic via a bi-Lipschitz map. Similar results are obtained in the completely bounded category as well as for the algebras $A(V)$ when $V$ is assumed homogeneous. In the case of homogeneous varieties $V$ and $W$, we obtain a sharper classification result, by which $H^\infty(V)$ is (completely) boundedly isomorphic to $H^\infty(W)$ if and only if there is a linear map which gives a bi-Lipschitz bijection between $\widetilde{W}$ and $\widetilde{V}$. The reduction to the linear case in the generality we work in depends on showing that the existence of maps implies the existence of origin-fixing maps, which we show using a novel ``two-circle trick" of independent interest. In the important case where the varieties are the full NC operator balls we find a striking rigidity phenomenon: if $A(B_E)$ and $A(B_F)$ are completely boundedly isomorphic then $E$ and $F$ are completely isometric. We also present a variety of examples illustrating the results and their sharpness, showing how several results from the literature fail to generalize to the setting studied here.

math.OA↗
arXiv2026

Pointwise convergence of noncommutative discrete spherical ergodic averages

In this paper, we establish spherical maximal inequalities associated with commuting trace-preserving automorphisms on von Neumann algebras, extending Magyar-Stein-Wainger's discrete spherical maximal inequalities to the noncommutative setting. On a noncommutative probability space, we further prove that, under a strong ergodicity assumption, the corresponding discrete spherical averages converge bilaterally almost uniformly to $τ(x)1$ for every $x\in L_p(\mathcal M)$, $\frac{d}{d-2}<p\leq\infty$, when $d\geq5$.

math.OA↗