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: