Related papers: Ore's theorem on subfactor planar algebras

Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a…

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.…

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…

The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will…

This paper gives a self-contained group-theoretic proof of a dual version of a theorem of Ore on distributive intervals of finite groups. We deduce a bridge between combinatorics and representations in finite group theory.

We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic $p$ has distributive lattice of thick subcategories: they are precisely…

This paper proves a dual version of a theorem of Oystein Ore for every distributive interval of finite groups [H,G] of index |G:H|<9720, and for every boolean interval of rank <7. It has applications to representation theory for every…

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 define a canonical relative commutant planar algebra from a strongly Markov inclusion of finite von Neumann algebras. In the case of a connected unital inclusion of finite dimensional C*-algebras with the Markov trace, we show this…

We show that the restriction functor from oriented factor planar algebras to subfactor planar algebras admits a left adjoint, which we call the free oriented extension functor. We show that for any subfactor planar algebra realized as the…

By changing to an orthogonal basis, we give a short proof that the subfactor of the graded algebra of a planar algebra reproduces the planar algebra.

A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and…

We describe an explicit finite presentation for a finite depth subfactor planar algebra. We also show that such planar algebras are singly generated with the generator subject to finitely many relations.

We introduce fusion, contragradient and braiding of Hilbert affine representations of a subfactor planar algebra $P$ (not necessarily having finite depth). We prove that if $N \subset M$ is a subfactor realization of $P$, then the Drinfeld…

We show that a subfactor planar algebra of finite depth $k$ is generated by a single $s$-box, for $s \leq min\{k+4,2k\}$.

Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice.…

For any abstract subfactor planar algebra $P$, there exists a finite index extremal subfactor $M_0 \subset M_1$ with $P$ as its standard invariant. In this paper, we classify the automorphism group of a bipartite graph planar algebra, and…

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

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…

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its…