Related papers: Normal intermediate subfactors

We describe the subfactor planar algebra of an intermediate subfactor $N\subset Q \subset M$ of an extremal subfactor $N\subset M$ of finite Jones index which is not necessarily irreducible.

If $N \subset P,Q \subset M$ are type II_1 factors with $N' \cap M = C id$ and $[M:N]$ finite we show that restrictions on the standard invariants of the elementary inclusions $N \subset P$, $N \subset Q$, $P \subset M$ and $Q \subset M$…

An inclusion of II$_1$ factors $N \subset M$ with finite Jones index gives rise to a powerful set of invariants that can be approached successfully in a number of different ways. We describe Jones' pictorial description of the standard…

Based on the fact that, for a subfactor $N$ of a II$_1$ factor $M,$ the first non-trivial Jones index is 2 and then $M$ is decomposed as the crossed product of $N$ by an outer action of ${\mathbb{Z}}_2,$ we study pairs $ \{N, uNu^* \}$ from…

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…

We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of…

We consider noncommuting pairs P,Q of intermediate subfactors of an irreducible, finite-index inclusion N in M of II_1 factors such that P and Q are supertransitive with Jones index less than 4 over N. We show that up to isomorphism of the…

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…

A {\it W$^*$-representation} of a II$_1$ subfactor $N\subset M$ with finite Jones index, $[M:N]<\infty$, is a non-degenerate commuting square embedding of $N\subset M$ into an inclusion of atomic von Neumann algebras $\oplus_{i\in I} \Cal…

We introduce a new notion of angle between intermediate subfactors and prove various interesting properties of the angle and relate it with the Jones' index. We prove a uniform 60 to 90 degree bound for the angle between minimal…

Let H and K be two finite groups with a properly outer action on the II_1 factor M. We prove that the group type inclusions $M^H \subset M \rtimes K$, studied earlier by Bisch and Haagerup, have property T in the sense of Popa if and only…

We prove existence of subfactors of finite depth of the hyperfinite II_1 factor with indices (5+sqrt{13})/2= 4.302... and (5+sqrt{17})/2=4.561.... The existence of the former was announced by the second named author in 1993 and that of the…

We consider II$_1$ factors $M$ which can be realized as inductive limits of subfactors, $N_n \nearrow M$, having spectral gap in $M$ and satisfying the bi-commutant condition $(N_n'\cap M)'\cap M=N_n$. Examples are the enveloping algebras…

A finite group $G$ admits a normal $2$-covering if there exist two proper subgroups $H$ and $K$ with $G=\bigcup_{g\in G}H^g\cup\bigcup_{g\in G}K^g$. For determining inductively the finite groups admitting a normal $2$-covering, it is…

Let $K$ be a subgroup of a finite group $G$, and suppose that $G=KN_G(P)$ for every Sylow subgroup $P$ of $K$. Then the subgroup $K$ is normal in $G$.

We consider quantum information tasks in an operator algebraic setting, where we consider normal states on von Neumann algebras. In particular, we consider subfactors $\mathfrak{N} \subset \mathfrak{M}$, that is, unital inclusions of von…

We prove that a finite index regular inclusion of $II_1$-factors with commutative first relative commutant is always a crossed product subfactor with respect to a minimal action of a biconnected weak Kac algebra. Prior to this, we prove…

If $G$ is a countable, discrete group generated by two finite subgroups $H$ and $K$ and $P$ is a II$_1$ factor with an outer G-action, one can construct the group-type subfactor $P^H \subset P \rtimes K$ introduced in \cite{BH}. This…

We give a simple algorithm that enables us to determine whether a subgroup of finite index of the Hecke group is normal.

We review the definition of hypergroups by Sunder, and we associate a hypergroup to a type III subfactor $N\subset M$ of finite index, whose canonical endomorphism $\gamma\in\mathrm{End}(M)$ is multiplicity-free. It is realized by positive…