The planar algebra of group-type subfactors

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 construction was used in \cite{BH} to obtain numerous examples of infinite depth subfactors whose standard invariant has exotic growth properties. We compute the planar algebra (in the sense of Jones \cite{J2}) of this subfactor and prove that any subfactor with an abstract planar algebra of "group type" arises from such a subfactor. The action of Jones' planar operad is determined explicitly.Comment: 25 pages, 18 figures, To appear in JFA, reviewer's suggestions incorporate

Spectral measures of small index principal graphs

The principal graph $X$ of a subfactor with finite Jones index is one of the important algebraic invariants of the subfactor. If $\Delta$ is the adjacency matrix of $X$ we consider the equation $\Delta=U+U^{-1}$. When $X$ has square norm $\leq 4$ the spectral measure of $U$ can be averaged by using the map $u\to u^{-1}$, and we get a probability measure $\epsilon$ on the unit circle which does not depend on $U$. We find explicit formulae for this measure $\epsilon$ for the principal graphs of subfactors with index $\le 4$, the (extended) Coxeter-Dynkin graphs of type $A$, $D$ and $E$. The moment generating function of $\epsilon$ is closely related to Jones' $\Theta$-series.Comment: 23 page