Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0006114

Modular invariants from subfactors

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

Abstract

In these lectures we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. A subfactor with a braiding determines a matrix $Z$ which is obtained as a coupling matrix comparing two kinds of braided sector induction ("alpha-induction"). It has non-negative integer entries, is normalized and commutes with the S- and T-matrices arising from the braiding. Thus it is a physical modular invariant in the usual sense of rational conformal field theory. The algebraic treatment of conformal field theory models, e.g. $SU(n)_k$ models, produces subfactors which realize their known modular invariants. Several properties of modular invariants have so far been noticed empirically and considered mysterious such as their intimate relationship to graphs, as for example the A-D-E classification for $SU(2)_k$. In the subfactor context these properties can be rigorously derived in a very general setting. Moreover the fusion rule isomorphism for maximally extended chiral algebras due to Moore-Seiberg, Dijkgraaf-Verlinde finds a clear and very general proof and interpretation through intermediate subfactors, not even referring to modularity of $S$ and $T$. Finally we give an overview on the current state of affairs concerning the relations between the classifications of braided subfactors and two-dimensional conformal field theories. We demonstrate in particular how to realize twisted (type II) descendant modular invariants of conformal inclusions from subfactors and illustrate the method by new examples.

Explore related subjects

math.OAhep-thmath-phmath.MPmath.QA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. Böckenhauer, D. E. Evans. 2000-07-10. Modular invariants from subfactors. https://arxiv.org/abs/math/0006114

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↗