[Paper Review] Neveu-Schwarz and operators algebras III: Subfactors and Connes fusion

Sébastien Palcoux|arXiv (Cornell University)|Oct 1, 2010

Algebraic structures and combinatorial models26 references3 citations

TL;DR

This paper establishes a new family of irreducible finite-depth type II₁ subfactors arising from the Neveu-Schwarz algebra via Jones-Wassermann construction, using local von Neumann algebras and primary fields. It computes the Connes fusion rules and explicitly derives the subfactor indices as products of quantum dimensions from $LSU(2)$ representations, confirming finite index via Perron-Frobenius theory.

ABSTRACT

This paper is the third of a series giving a self-contained way from the Neveu-Schwarz algebra to a new series of irreducible subfactors. Here we introduce the local von Neumann algebra of the Neveu-Schwarz algebra, to obtain Jones-Wassermann subfactors for each representation of the discrete series. Then using primary fields we prove the irreducibility of these subfactors; to next compute the Connes fusion ring and obtain the explicit formula of the subfactors indices.

Motivation & Objective

• To construct irreducible finite-depth subfactors from unitary positive energy representations of the Neveu-Schwarz algebra.
• To establish a connection between the representation theory of ${{\mathfrak{Vir}}}_{1/2}$ and subfactor theory via local von Neumann algebras.
• To compute the Connes fusion ring for discrete series representations of the Neveu-Schwarz algebra.
• To derive the explicit index formula for Jones-Wassermann subfactors using quantum dimensions from $LSU(2)$ fusion rules.

Proposed method

• Construct local von Neumann algebras $\mathcal{M}_{ij}^{\ell}(I)$ from the Neveu-Schwarz algebra via smearing with smooth functions on intervals $I \subset \mathbb{S}^1$.
• Use Takesaki's devissage and coset construction to show that the algebras are hyperfinite III₁ factors with fermionic supercommutants.
• Define primary fields as bounded intertwining maps between irreducible representations, classified by coset data for charges $\alpha, \beta$.
• Establish braiding relations for primary fields to derive the leading term of the OPE, ensuring von Neumann density and subfactor irreducibility.
• Apply the transport formula and braiding relations to define Connes fusion on bimodules of the hyperfinite III₁ factor.
• Use Perron-Frobenius theorem on fusion matrices to compute quantum dimensions and verify finite index via $d(H_{ij}^{\ell})^2$.

Experimental results

Research questions

• RQ1 How can the Neveu-Schwarz algebra be used to construct irreducible subfactors via the Jones-Wassermann mechanism?
• RQ2 What is the structure of the Connes fusion ring for discrete series representations of ${{\mathfrak{Vir}}}_{1/2}$?
• RQ3 How are the indices of the resulting subfactors determined from representation-theoretic data?
• RQ4 To what extent do primary fields and their braiding relations ensure the irreducibility of the subfactors?
• RQ5 Can the fusion rules of ${{\mathfrak{Vir}}}_{1/2}$ representations be realized as tensor products of $LSU(2)$ fusion rings?

Key findings

• The Connes fusion rule for ${{\mathfrak{Vir}}}_{1/2}$ discrete series is $H_{ij}^{\ell} \boxtimes H_{i'j'}^{\ell} = \bigoplus_{(i'',j'') \in \langle i,i'\rangle_\ell \times \langle j,j'\rangle_{\ell+2}} H_{i''j''}^{\ell}$, with $\langle a,b\rangle_n$ defined as the set of integers satisfying triangle-like inequalities.
• The Jones-Wassermann subfactor $\mathcal{M}_{ij}^{\ell}(I) \subset \mathcal{M}_{ij}^{\ell}(I^c)^\natural$ is irreducible, finite depth, and hyperfinite III₁, isomorphic to $\mathcal{R}_\infty \otimes \mathcal{R}$.
• The subfactor index is explicitly computed as $\left( \frac{\sin(p\pi/m)}{\sin(\pi/m)} \cdot \frac{\sin(q\pi/(m+2))}{\sin(\pi/(m+2))} \right)^2$, with $p=2i+1$, $q=2j+1$, $m=\ell+2$.
• The quantum dimension of $H_{ij}^{\ell}$ is $d(H_{ij}^{\ell}) = \frac{\sin(p\pi/m)}{\sin(\pi/m)} \cdot \frac{\sin(q\pi/(m+2))}{\sin(\pi/(m+2))}$, matching the fusion ring eigenvalue via Perron-Frobenius.
• The fusion ring $\tilde{\mathcal{T}}_m$ is isomorphic to $\mathcal{R}_\ell \otimes_\mathbb{Z} \mathcal{R}_{\ell+2}$, and the full fusion rule is commutative.
• The subfactor is self-dual, as $H_{00}^{\ell} \leq (H_{ij}^{\ell})^{\boxtimes 2}$, confirming $H_{ij}^{\ell}$ is self-dual under Connes fusion.