We consider normalizers of an irreducible inclusion $N\subseteq M$ of $\mathrm{II}_1$ factors. In the infinite index setting an inclusion $uNu^*\subseteq N$ can be strict, forcing us to also investigate the semigroup of one-sided normalizers. We relate these normalizers of $N$ in $M$ to projections in the basic construction and show that every trace one projection in the relative commutant $N'\cap < M,e_N>$ is of the form $u^*e_Nu$ for some unitary $u\in M$ with $uNu^*\subseteq N$. This enables us to identify the normalizers and the algebras they generate in several situations. In particular each normalizer of a tensor product of irreducible subfactors is a tensor product of normalizers modulo a unitary. We also examine normalizers of irreducible subfactors arising from subgroup--group inclusions $H\subseteq G$. Here the normalizers are the normalizing group elements modulo a unitary from $L(H)$. We are also able to identify the finite trace $L(H)$-bimodules in $\ell^2(G)$ as double cosets which are also finite unions of left cosets.
By utilizing an irreducible inclusion of type III$_{q^{2}} $ factors coming from a free-product type action of the quantum group $ SU_{q}(2) $, we show that the free group factor $ L(\mathbb {F}_{\infty}) $ possesses irreducible subfactors of arbitrary index $ >4 $. Combined with earlier results of Radulescu, this shows that $ L(\mathbb {F}_{\infty}) $ has irreducible subfactors with any index value in $ \{4\cos ^{2}(π/n):n\geq 3\}\cup [4,+\infty) $.
For an inclusion of the form $\Bbb C\subseteq M_n(\Bbb C)$, where $M_n(\Bbb C)$ is endowed with a state with diagonal weights $λ=(λ_1, ..., λ_n)$, we use Popa's construction, for non-tracial states, to obtain an irreducible inclusion of $II_1$ factors, $N^λ(Q)\subseteq M^λ(Q) $ of index $\sum \frac{1}{λ_i}$. $M^λ(Q)$ is identified with a subfactor inside the centralizer algebra of the canonical free product state on $Q\star M_N(\Bbb C)$. Its structure is described by ``infinite'' semicircular elements as in \cite{Ra3}. The irreducible subfactor inclusions obtained by this method are similar to…
We construct irreducible hyperfinite subfactors of index 6 with a prescribed fundamental group from a large family containing all countable and many uncountable subgroups of R_+. We also prove that there are unclassifiably many irreducible hyperfinite group-type subfactors of index 6 that all have the same standard invariant. More precisely, we associate such a subfactor to every ergodic measure preserving automorphism of the interval [0,1] and prove that the resulting subfactors are isomorphic if and only if the automorphisms are conjugate.
We construct numerous continuous families of irreducible subfactors of the hyperfinite II$_1$ factor, which are non-isomorphic, but have all the same standard invariant. In particular, we obtain 1-parameter families of irreducible, non-isomorphic subfactors of the hyperfinite II$_1$ factor, which have Jones index 6 and have all the same standard invariant with property (T). We exploit the fact that property (T) groups have uncountably many non-cocycle conjugate cocycle actions on the hyperfinite II$_1$ factor.
We give a characterization of extremal irreducible discrete subfactors $(N\subseteq M, E)$ where $N$ is type ${\rm II}_1$ in terms of connected W*-algebra objects in rigid C*-tensor categories. We prove an equivalence of categories where the morphisms for discrete inclusions are normal $N-N$ bilinear ucp maps which preserve the state $τ\circ E$, and the morphisms for W*-algebra objects are categorical ucp morphisms. As an application, we get a well-behaved notion of the standard invariant of an extremal irreducible discrete subfactor, together with a subfactor reconstruction theorem. Thus our …
We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biproje…
We classify irreducible II_1 subfactors A \subset B such that B \ominus A is reducible as an A-A bimodule, with index at most 6+1/5, leaving aside the composite subfactors at index exactly 6. Previous work has already achieved this up to index 3+\sqrt{5} \approx 5.23. We find there are exactly three such subfactors with index in (3+\sqrt{5}, 6+1/5], all with index 3+2\sqrt{2}. One of these comes from SO(3)_q at a root of unity, while the other two appear to be closely related, and are `braided up to a sign'.
Let $N \subset M$ be an irreducible inclusion of type type II$_1$ factors with finite Jones index. We shall introduce the notion of normality for intermediate subfactors of the inclusion $N \subset M$. If the depth of $N \subset M$ is 2, then an intermediate subfactor $K$ for $N \subset M$ is normal in $ N \subset M$ if and only if the depths of $N \subset K$ and $K \subset M$ are both 2. In particular, if $M$ is the crossed product $N \rtimes G$ of a finite group $G$, then $K = N \rtimes H$ is normal in $N \subset M$ if and only if $H$ is a normal subgroup of $G$.
A quadrilateral of factors is an irreducible inclusion of factors $N \subset M$ with intermediate subfactors $P$ and $Q$ such that $P$ and $Q$ generate $M$ and the intersection of $P$ and $Q$ is $N$. We investigate the structure of a non-commuting quadrilateral of factors with all the elementary inclusions $P\subset M$, $Q\subset M$, $N\subset P$, and $N\subset Q$ 2-supertransitive. In particular we classify such quadrilaterals with the indices of the elementary subfactors less than or equal to 4. We also compute the angles between $P$ and $Q$ for quadrilaterals coming from $α$-induction and a…
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…
This paper introduces the cyclic subfactors, generalizing the cyclic groups as the subfactors generalize the groups, and generalizing the natural numbers as the maximal subfactors generalize the prime numbers. On one hand, a theorem of O. Ore states that a finite group is cyclic if and only if its subgroups lattice is distributive, and on the other hand, every subgroup of a cyclic group is normal. Then, a subfactor planar algebra is called cyclic if all the biprojections are normal and form a distributive lattice. The main result shows in what sense a cyclic subfactor is singly generated, by g…
We describe the structure of the inclusions of factors A(E) contained in A(E')' associated with multi-intervals E of R for a local irreducible net A of von Neumann algebras on the real line satisfying the split property and Haag duality. In particular, if the net is conformal and the subfactor has finite index, the inclusion associated with two separated intervals is isomorphic to the Longo-Rehren inclusion, which provides a quantum double construction of the tensor category of superselection sectors of A. As a consequence, the index of A(E) in A(E')' coincides with the global index associated…
Given an irreducible local conformal net A of von Neumann algebras on the circle and a finite-index conformal subnet B of A, we show that A is completely rational iff B is completely rational. In particular this extends a result of F. Xu for the orbifold construction. By applying previous results of Xu, many coset models turn out to be completely rational and the structure results in [KLM] hold. Our proofs are based on an analysis of the net inclusion B in A; among other things we show that, for a fixed interval I, every von Neumann algebra R intermediate between B(I) and A(I) comes from an in…
We characterize finite index depth 2 inclusions of type II_1 factors in terms of actions of weak Kac algebras and weak C*-Hopf algebras. If N\subset M \subset M_1 \subset M_2 \subset ... is the Jones tower constructed from such an inclusion N\subset M, then B=M^\prime \cap M_2 has a natural structure of a weak C*-Hopf algebra and there is a minimal action of B on M_1 such that M is the fixed point subalgebra of M_1, and M_2 is isomorphic to the crossed product of M_1 and B. This extends the well-known results for irreducible depth 2 inclusions.
The groupoid normalisers of a unital inclusion $B\subseteq M$ of von Neumann algebras consist of the set $\mathcal{GN}_M(B)$ of partial isometries $v\in M$ with $vBv^*\subseteq B$ and $v^*Bv\subseteq B$. Given two unital inclusions $B_i\subseteq M_i$ of von Neumann algebras, we examine groupoid normalisers for the tensor product inclusion $B_1\ \overline{\otimes}\ B_2\subseteq M_1\ \overline{\otimes}\ M_2$ establishing the formula $$ \mathcal{GN}_{M_1\,\overline{\otimes}\,M_2}(B_1\ \overline{\otimes}\ B_2)''=\mathcal{GN}_{M_1}(B_1)''\ \overline{\otimes}\ \mathcal{GN}_{M_2}(B_2)'' $$ when one i…
