5b6b4a97c29d3606.tex
1: \begin{abstract}
2: For an inclusion of the form
3:   $\Bbb C\subseteq M_n(\Bbb C)$, where $M_n(\Bbb C)$ is endowed with a 
4: state with diagonal
5: weights $\lambda=(\lambda_1, ..., \lambda_n)$,  we use  Popa's 
6: construction, for
7: non-tracial states, to obtain  an
8:   irreducible  inclusion of $II_1$ factors, $N^\lambda(Q)\subseteq 
9: M^\lambda(Q) $ of index $\sum
10: \frac{1}{\lambda_i}$.
11: $M^\lambda(Q)$ is identified with  a subfactor inside
12:    the centralizer algebra of the canonical free product state on 
13: $Q\star M_N(\Bbb C)$. Its
14: structure is described by  ``infinite'' semicircular elements as in \cite{Ra3}.
15: 
16: The irreducible subfactor inclusions obtained by this method are 
17: similar to the first
18: irreducible subfactor inclusions, of index in $[4,\infty)$ constructed in
19: \cite {Po1}, starting with the
20:   Jones' subfactors inclusion $R^s\subseteq R$, $s>4$. In the present 
21: paper, since
22: the inclusion we start with has a simpler structure,  it is  easier 
23: to control the algebra
24: structure of the subfactor inclusions.
25: 
26:   If the weights correspond
27:   to  a unitary, finite dimensional representation
28: of a Woronowicz's compact quantum group $G$, then the  factor $M^\lambda(Q)$ is
29: contained in the fixed point algebra of an action of the quantum 
30: group on $Q\star M_N(\Bbb C)$ , with equality
31: if $G$ is $SU_q(N)$, (or   $SO_q(3)$ when $N=2$).
32:   By Takesaki duality,   the factor $M^\lambda(L(F_N))$  is Morita
33: equivalent to $\mathcal L(F_\infty)$.
34: 
35: This
36: method gives   also another approach to find,
37: as also recently proved in \cite {ShUe},
38:   irreducible subfactors of $\mathcal L(F_\infty)$ for index values 
39: bigger than 4.
40: \end{abstract}
41: