
\documentclass{article}
%
% ADD FONTS
%
\usepackage{amsmath,amssymb}
%
% TO CONSTRUCT LEMMAS AND THEOREMS
%
\newtheorem{lemma}{Lemma}[section]
\newtheorem{theorem}[lemma]{Theorem}
\newtheorem{proposition}[lemma]{Proposition}
\newtheorem{corollary}[lemma]{Corollary}
\newtheorem{remark}[lemma]{Remark}
\newtheorem{observation}[lemma]{Observation}
\newtheorem{definition}[lemma]{Definition}
\begin{document}



\newcommand{\gruppo}{\mathbb{Z}_3}
\newcommand{\luna}{\mathbb{Z}_9}
\newcommand{\freefactor}{\mathfrak{L} \left (F_\frac{11}{3}\right)}
\newcommand{\pippo}{\freefactor\otimes R}
\newcommand{\tenpro}{\freefactor\otimes R_{0}}
\newcommand{\pten}{\left (\tenpro\right )}
\newcommand{\crossprod}{\left ( \tenpro\right )\rtimes_{\gamma}\gruppo}
\newcommand{\prodotto}{\left ( \pippo\right )\rtimes_{\gamma}\gruppo} 
\newcommand{\obstruction}{e^{\frac{2\pi i}{3}}} 
\newcommand{\obstruconj}{e^{\frac{-2\pi i}{3}}} 
\newcommand{\jonesinv}{e^{\frac{2\pi i}{9}}}
\newcommand{\jonesconj}{e^{\frac{-2\pi i}{9}}}
\newcommand{\basic}{R_{-1}\rtimes _{\theta}\luna}
\newcommand{\matrices}{M_{9}(\mathbb{C})}
\newcommand{\jconj}{\bar{\delta}}
\newcommand{\Ad}{\operatorname{Ad\,}}
\newcommand{\fint}{\{\Ad u\, |\, u\in N\text{ is fixed by }G\}}
\newcommand{\closure}{\overline{\mbox{Fint}}}
\newcommand{\clos}{clos\{\Ad u\, |\, u \text{ is fixed by }\gruppo \}}
\newcommand{\gener}{Id\otimes (\Ad U_0 ^{*}\,\beta)}
\newcommand{\dualgr}{\widehat{\gruppo}}
\newcommand{\dualcr}{M\rtimes_{\hat{\gamma}}\dualgr} 
\newcommand{\qvd}{$\hfill\blacksquare$}
\newcommand{\ad}{\operatorname{Ad}}
%
%PER AVERE LA STESSA SPAZIATURA
%
\newcommand{\innerM}{\operatorname{Int}(M)}
\newcommand{\innerN}{\operatorname{Int}(N)}
\newcommand{\innerR}{\operatorname{Int}(R)}
\newcommand{\innerfac}{\operatorname{Int}\left (\freefactor\right )}
\newcommand{\innerpten}{\operatorname{Int}\pten}
\newcommand{\CtM}{\operatorname{Ct}(M)}
\newcommand{\CtN}{\operatorname{Ct}(N)}
\newcommand{\CtR}{\operatorname{Ct}(R_{0})}
\newcommand{\Ctpten}{\operatorname{Ct}\pten}
\newcommand{\Ctpi}{\operatorname{Ct}\left (\pippo\right )}
\newcommand{\autM}{\operatorname{Aut}(M)} 
\newcommand{\autR}{\operatorname{Aut}(R)}
\newcommand{\autpten}{\operatorname{Aut}\pten}
\newcommand{\autfac}{\operatorname{Aut}\left (\freefactor\right )}
\newcommand{\autN}{\operatorname{Aut}(N)} 
\newcommand{\outM}{\operatorname{Out}(M)}
\newcommand{\outN}{\operatorname{Out}(N)}
\newcommand{\chiusoM}{\overline{\operatorname {Int}(M)}}
\newcommand{\chiusoN}{\overline{\operatorname{Int}(N)}}
\newcommand{\chiusoR}{\overline{\operatorname{Int}(R)}}
\newcommand{\chiusofac}{\overline{\operatorname{Int}\left (\freefactor\right )}}
\newcommand{\chiusopten}{\overline{\operatorname{Int}\pten}}
%
%
% TO MAKE TITLE
%
\title{On a Subfactor Construction of a Factor Not Anti--Isomorphic to Itself}
\author{by Maria Grazia Viola \thanks{Research at MSRI is supported by the 
Graduate College and the Department of Mathematics of the University of Iowa.} \\ Mathematical 
Sciences Research Institute 
 \footnote{Address from September 2001: Department of Mathematics, University of 
Iowa, MacLean Hall, Iowa City, IA 52242.} \\ Berkeley, CA \\  
mgviola@math.uiowa.edu}
\date{September 28, 2001}
\maketitle 

\begin{abstract}
Let $\alpha$ be a $\gruppo$--kernel of $\freefactor$ with obstruction 
$\epsilon=\obstruction$ to lifting and $\beta$ a $\gruppo$--kernel of the 
hyperfinite factor $R$ with obstruction $\bar{\epsilon}$ to lifting. 
Define an action $\gamma$ of $\gruppo$ on $\pippo$ by $\alpha\otimes\beta$, 
up to an inner automorphism. The aim of this paper is to show that the factor 
$M=\prodotto$, which is similar to Connes' example of a factor 
which is not anti--isomorphic to itself, is the enveloping algebra of an 
inclusion of $II_{1}$ factors $A\subset B$. Here $A$ is a free group 
factor and $B$ is isomorphic to the crossed product $A\rtimes_{\theta}\luna$, 
where $\theta$ is a $\gruppo$--kernel of $A$\ with non-trivial obstruction to 
lifting. By using a Connes' argument involving the invariant $\chi (M)$, we 
will verify that $M$ is not anti--isomorphic to itself. Furthermore, we will 
prove that for one of the generator of $\chi (M)$, which we will denote by $\sigma$, the Jones invariant $\varkappa (\sigma)$ is equal to $\jonesinv$.
\end{abstract}

\section{Introduction}

In this paper we are going to show that there exists an inclusion $A\subset B$ 
of free group factors, which by iteration of the Jones basic construction 
give us a $II_{1}$ factor which is not anti--isomorphic to itself. The $II_{1}$ 
factor we obtain is essentially the same example given by Connes in 
\cite{Connes4} and \cite{Connes6} of a $II_{1}$ factor not anti--isomorphic to itself.

An anti--isomorphism of a von Neumann algebra $M$ is a vector space isomorphism
$\Phi :M\to M$ with $\Phi (x^{*})=\Phi (x)^*$ and 
$\Phi (xy)=\Phi (y)\Phi (x)$. Note that a von Neumann algebra M is 
anti--isomorphic to itself if and only if it is isomorphic to its conjugate 
algebra $M^{c}$ (cf. Section $6$).

In Section $3$ we will first give a slightly different description of the 
Connes' type $II_1$ factor which is not anti--isomorphic to itself (see 
\cite{Connes4} or \cite{Connes6} for more details on the Connes factor). In
our approach we will use the recently developed theory of free group factors. 
The $II_{1}$ factor $M$ we are going to study is constructed from the 
tensor product of a free group factor and the hyperfinite $II_1$ factor $R$. 
We will use two $\gruppo$--kernels, $\alpha\in\autfac$ and $\beta\in\autR$, 
which have conjugate obstructions to lifting, to generate an action of 
$\gruppo$ on $\pippo$. The action is given, up to an inner automorphism, 
by $\alpha\otimes\beta$, and the factor $M$ is equal to the crossed 
product $\prodotto$ (cf. Section $4$).

The main result of this paper is Theorem \ref{main}, where we show that $M$ is 
the enveloping algebra of an inclusion  $A\subset B$ of free group factors, 
with $A$ isomorphic to $\mathfrak{L}\left ( F_{\frac{35}{27}} \right)$ and 
$B=A\rtimes _{\theta}\luna$, for a $\gruppo$--kernel $\theta$ of $A$ 
with obstruction $\obstruction$ to lifting. 

Though extensive work has been done both by V. Jones and A. Connes on 
examples of $II_{1}$ and $III_{\lambda}$ factors non anti-isomorphic to itself,
 it does not seem that the possibility of realizing any of these factors 
through a subfactor construction has been really studied, and there is little 
literature on the subject. The result we will present here is a generalization of a similar result obtained by F. R\u{a}dulescu in the case of $\mathbb{Z} 
_{2}$--kernels. The proof is mainly based on Voiculescu's random matrix model 
introduced in \cite{Vocu}.

In Section 5 we will use Connes' exact sequence (see \cite{Connes6}) to show 
that for the factor $M$ the Connes invariant $\chi (M)$ is equal to $\luna$, 
a result due to Connes (\cite{Connes4} and \cite{Connes6}). Furthermore, if 
$\sigma$ denotes the generator of $\chi (M)$ described in Remark 
\ref{add}, then the invariant $\varkappa (\sigma)$ defined by Jones in \cite{Jones1} is equal to $\jonesinv$.

In the last section, we will use an argument of Connes (see \cite{Connes4}) 
to show that $M=\prodotto$ is not anti-isomorphic to itself. The main 
ingredients of this argument are the uniqueness (up to inner automorphism)
 of the decomposition of $\gamma$ into the product of an approximately inner 
automorphism and a centrally trivial automorphism and the fact that the only 
subgroup of order $3$ in $\chi (M)$ is generated by the dual action 
$\hat{\gamma}$ on $M=\prodotto$. This will provide us with a canonical way 
to associate to a von Neumann algebra a complex number, which is invariant 
under isomorphism, and distinguishes $M$ from its conjugate algebra $M^{c}$.  

 
\section{Definitions}


Let $M$ be a finite factor with trace $\tau$. For a unitary $u$ in $M$ we 
denote by $\ad _M u$ the inner automorphism of $M$ defined by 
$\ad _M u(x)=uxu^{*}$. We let $\chiusoM$ be the closure of the group 
$\innerM$ of inner automorphisms of $M$ in the topology of pointwise weak 
convergence. 

We say that an automorphism $\alpha \in \autM$ is centrally trivial if 
for any central sequence $x_n \in M$ (i.e. a bounded sequence in $M$ with the property $\lim_{n \rightarrow \infty}{\|[x_n, y]\|_{2}}=0$ for every $y\in M$) 
we have $\lim_{n \rightarrow \infty}{\| \alpha (x_n)-x_n \|_{2}}=0.$
We denote by $\CtM$ the set of centrally trivial automorphisms of $M$.

The Connes invariant is defined as follows:
$$
\chi(M) =\frac{\CtM\cap\chiusoM}{\innerM}.
$$


A central sequence $(x_{n})$ is said to be hypercentral if 
$\lim_{n\rightarrow\infty}\|[x_n , y_n]\|_{2}=0$ for every central sequence
$(y_{n})\in M$. Given a free ultrafilter $\omega$ we denote by $C_{\omega}$ 
the algebra of bounded sequence $(x_{n})$ in $M$ with 
$\lim_{n\rightarrow\omega}\|[x_{n},y]\|_2 =0$ for all $y\in M$, and by 
$\mathfrak{I}_{\omega}$ the subalgebra of $C_{\omega}$ consisting of central 
sequences which tend $*$-strongly to zero. For $x=(x_{n})\in C_{\omega}$, we 
set $\tau ^{\omega}(x)=\lim_{n\rightarrow\omega}\tau(x_n)$. Then $M_{\omega}=
C_{\omega}/\mathfrak{I}_{\omega}$ is a von Neumann algebra with trace $\tau ^{\omega}$. 

\begin{remark} 
\label{uno}
   By \cite{McDuff} the existence of non-trivial hypercentral sequences is 
   equivalent to the non-triviality of the center of $M_{\omega}$ for some 
   (and then for all) free ultrafilter $\omega$. 
\end{remark}

\begin{definition}  
    A $\gruppo$--kernel on a von Neumann algebra $M$ is an automorphism 
    $\alpha\in\autM$ such that there exists a unitary $U$ in $M$ with 
    the property \linebreak $\alpha^3 =\ad _M U$. 
\end{definition}

Note that if $\alpha$ is a $\gruppo$--kernel then $\alpha (U)=\lambda U$, 
for $\lambda$ a cube root of unity. If $\lambda\neq 1$ we say that 
$\alpha$ has obstruction $\lambda$ to lifting, meaning that such an 
automorphism cannot be lifted to an action of $\gruppo$ on $M$.

We conclude this section by defining an invariant $\varkappa (\sigma )$ for 
any element  $\sigma$ in $\chi (M)$. Define $\outM=\frac{\mbox{Aut}(M)}
{\mbox{Int}(M)}$, 
and let $\xi :\autM\to\outM$ be the usual quotient map.  

\begin{definition} 
   Let $M$ be a $II_1$ factor without non-trivial hypercentral sequences 
   and $\sigma\in\chi (M)$. Let $\phi$ be any automorphism on $M$ with 
   $\xi (\phi )=\sigma$ and $u_{n}$  a sequence of unitaries with the 
   properties 
   \[ \phi =\lim_{n\rightarrow\infty}{\Ad u_n}\quad\text{and}
   \quad \lim_{n\rightarrow\infty}{\| \phi (u_n )-\lambda_{\phi }
   u_n\|}_{2}=0 \] 
   for some $\lambda _{\phi }$ of modulus one (such sequence always exists 
   since $\phi\in\chiusoM$). Define $\varkappa (\sigma)=\lambda_{\phi }$. 
\end{definition}

Jones proved in \cite{Jones1} that this definition makes sense 
(i.e. $\varkappa (\sigma )$ does not depend on the choice of $\phi$ or $u_n$) 
and that $\varkappa$ is a conjugacy invariant, meaning that if $\alpha,
\,\beta\in\CtM\cap\chiusoM$ and there exists $\psi\in\autM$ such that 
$\psi\alpha\psi ^{-1}=\beta$, then $\varkappa(\xi (\alpha))=\varkappa (\xi 
(\beta))$.

  
\section{Preliminaries}



A von Neumann algebra $M$ is said to be full if $\chiusoM=\innerM$. Obviously
all type $I$ factors are full, while the hyperfinite factor $R$ provides an 
example of a $II_1$ factor which is not full since $\chiusoR=\autR\neq
\innerR$. 

\begin{remark} 
\label{due}
   For an arbitrary factor, being full is equivalent to having no non-trivial
   central sequence (see \cite{Connes2}). 

\addvspace{\medskipamount}
\end{remark}
The following result is an easy consequence of Lemma 4.3.3 in \cite{Sakai}.

\begin{lemma}
\label{second}
  Let $G$ be a discrete group containing a non-abelian free group and let 
  $\tau$ be the usual trace on $\mathfrak{L}(G)$. Then any central sequence in 
  $\mathfrak{L}(G)$\ satisfies $\lim_{n\rightarrow \infty}{\|x_n-
  \tau (x_n )\|}=0$.
\end{lemma}
  {\bf Proof} Set $E=G-\{e\}$, where $e$  denotes the identity element in $G$. 
  Let $g_{1},\, g_{2}$ be two generators of the free group and $F=\{g\in E\, 
  |\, g=g_{1}\tilde{g},\;\tilde{g}\in E\}$. Take $x\in \mathfrak{L}(G)$. Then 
  $x$ can be expressed as $x=\sum_{g\in G}{\lambda_g \delta_g}$ and the 
  function $f:G\to \mathbb{C}$ defined by $f(g)=\lambda_g$ belongs to $l^2(G)$.

  For such $f$ we have that 
  \[ \sum_{g\in E}{|f(g)|^2}=\|x-\tau (x)\|_2 ^2\quad\text{ and }\quad 
  \sum_{g\in G}{|f(g_i g g_i ^{-1})-f(g)|^2} =\|[x,\delta_{g_i}
  ]\|_{2}^{2}.\] 
  Now if $(x_n )$ is a central sequence in $\mathfrak{L}(G)$ then 
  $\| [x_{n},\delta_{g_i}] \|\rightarrow 0$ for $n\rightarrow\infty$, 
  hence we can apply Lemma 4.3.3 in \cite{Sakai} and conclude that 
  $\|x_n -\tau (x_n )\|_2 \rightarrow 0$ for $n\rightarrow \infty$. 

\qvd

By applying the previous lemma and Lemma 2 in \cite{Jones2} (see also Lemma 15.42 in \cite{Kawi} for a printed version) to the factor 
$\freefactor\cong\mathfrak{L}(F_{3}*\gruppo)$, we obtain the following 
corollary 
\begin{corollary} 
\label{forth}
   $\freefactor$ is full.
\end{corollary}

\begin{proposition}  
\label{sixth}
   $\pippo$ has no non-trivial hypercentral sequences.
\end{proposition}
{\bf Proof}  
   First we want to show that any central sequence in $\pippo$ has the form 
   $(1\otimes x_{n})$, for a central sequence $(x_{n})$ in $R$.

   By the proof of Lemma \ref{second}, $\freefactor$ satisfies the hypothesis 
   of Lemma 2.11 in \cite{Connes2} with $Q_1=\freefactor$, $Q_2=R$ and $b_{i}
   =\delta _{g_{i}}$, where $g_{i}$ is a generator of $F_{2}$ for $i=1,2$ and 
   $\mathfrak{L}(F_{2})\subset\freefactor$. Therefore we can 
   apply Lemma 2.11 to any central sequence $(X_n)$ in $\pippo$ to obtain that  
   $\|X_n-(\tau\otimes 1)(X_n)\|_2\rightarrow 0$ for $n\rightarrow\infty$. 
   Since $(\tau\otimes 1)(X_n)\in\mathbb{C}\otimes R$ this implies that 
   $X_n=1\otimes x_n$ for a central sequence $(x_{n})$ in $R$. 

   Now suppose $(Y_{n})$ is a hypercentral sequence in $\pippo$. Since 
   $(Y_{n})$ is central it has the form $Y_n=1\otimes y_n$, for a hypercentral 
   sequence $(y_{n})$ in $R$. So we need only to prove that $R$ has 
   no non-trivial hypercentral sequences.

   By Remark \ref{due} it is enough to show that $R_{\omega}$ has trivial 
   center. But this follows from Theorem 15.15 in \cite{Kawi}.
 
\qvd  

\begin{theorem}  
\label{ninth}
   If $\alpha\in\Ctpi$ then $\alpha=\Ad z (\nu\otimes id)$ for some unitary 
   $z\in\pippo$ and an automorphism $\nu$ of $\freefactor$.

\end{theorem}
   {\bf Proof}
   Let $(K_n)_{n\in\mathbb{N}}$ be an increasing sequence of finite 
   dimensional subfactors of $R$ generating $R$ and $R_n=K_n^{'}\cap R$ the 
   relative commutant of $K_n$ in $R$.

   Set $L_n=1\otimes R_n\subset\pippo$. Then there exists an $n_0$ such that 
   for all $x\in L_{n_0}$,\ \ $\|x\| \leq 1$ one has $\| \alpha(x)-x\|_2\leq
   \frac{1}{2}$. In fact, otherwise it would exist a uniform bounded sequence 
   $(x_{n})$, $x_{n}\in L_{n}$ and $\|x_n\|\leq 1$, such that $\| \alpha(x_n)-
   x_n\|_2 >\frac{1}{2}$. But $(x_{n})$ is a central sequence in $\pippo$ 
   because for each $m$ and $n\geq m$, $x_n$ commutes with $\freefactor\otimes
   K_m$, so we get a contradiction. 

   By Lemma 3.3 in \cite{Connes1}, up to inner automorphism, $\alpha$ is of the 
   form $\alpha _1\otimes 1_{R_{n_0}}$ where $\alpha _1$ is an automorphism 
   of $\freefactor\otimes K_{n_0}$. Set $F=1\otimes K_{n_0}$. Then F is a type
   $I$\ subfactor of $\freefactor\otimes K_{n_0}$.
 
   Applying [Lemma 3.11, \cite{Connes1}] to $\alpha_1 $\ we obtain that 
   $\alpha_1 |_{1\otimes K_{n_0}}=\Ad V |_{1\otimes K_{n_0}}$. This implies 
   that $\alpha=\Ad z(\nu\otimes 1)$ for some automorphism $\nu$ of 
   $\freefactor$.

\qvd

\section{The realization of the crossed product \\ 
         $\prodotto$ as the enveloping algebra of an inclusion of free 
         group subfactors}

In this section we will show, using Voiculescu's random matrix model for free 
group algebras (see \cite{Vocu}), that the crossed product $\prodotto$ can be
realized as the enveloping algebra of an inclusion of free group factors. To
that purpose we will first give an explicit construction of $\prodotto$, 
by giving models for $\freefactor$ and $R$. 

Let $\{X_1, X_2, X_3\}$ be a free semicircular family and $u=\sum_{j=1}^{3}{e^{\frac{2\pi ij}{3}} e_j}$ a unitary whose spectral projections have trace 
$\frac{1}{3}$, such that $alg\{e_j\}_{j=1}^{3}$ is free with respect to 
$\{X_1, X_2, X_3\}''$. Then $\freefactor$ can be thought as the von Neumann 
algebra generated by $\{X_1, X_2, X_3, u\}$, as in \cite{Vocu} and 
\cite{Radulescu1}.

The model for $R$ is outlined in the following lemma. It is analogous to the 
construction given in the case of $\mathbb{Z}_{2}$ by R\v{a}dulescu \cite{Radulescu2} and some parts of the arguments are probably well-known in the literature on subfactors. We include them here for the sake of completeness.

\begin{lemma}
\label{tenth}
   Let $(U_k)_{k\in\mathbb{Z}}$ be a family of unitaries with nine point 
   spectrum so that each spectral projection for $U_k$ has trace 
   $\frac{1}{9}$ and let $g=\sum_{j=1}^{3}{e^{\frac{2\pi i j}{3}}g_j}$ be 
   a unitary whose spectral projections $\{g_j\}_{j=1}^{3}$ have trace 
   $\frac{1}{3}$. We assume the following relations:
     \begin{enumerate}
         \item [(i)]    
            $U_{k} ^9 =1\quad\text{for all }k\in\mathbb{Z}$,
         \item [(ii)]
            $U_k gU_k^* =\obstruconj\, g\;\text{ if }k=0,-1,\;
            \text{ while }\; U_k gU_k ^* =g\;\text{ if }\;k\in
            \mathbb{Z}/\{0,-1\}$,
         \item [(iii)]
            $U_{k} U_{k+1}U_{k}^{*}=\jonesinv\, U_{k+1},\quad\text{for } 
            k\in\mathbb{Z}$, 
         \item [(iv)]
            $U_{i} U_{j}=U_{j} U_{i}\quad\text{ if}\quad |i-j|\geq 2$.
     \end{enumerate}   
   We define a trace on the algebra generated by these unitaries requiring 
   that each non-trivial monomial in the $U_k$'s and $g$ have zero trace.
   Let
   $$
   R_{-1}=\{gU_{0}^{3}, U_{1}, U_{2},\hdots\}''\subset\{g,U_{0}, U_{1}, U_{2}
   ,\hdots\}''=R_{0}.
   $$
   Then $R_{-1}\subset R_0$ is an inclusion of type $II_1$ factors of 
   index $9$ and the relative commutant $R_{-1}'\cap R_{0}$ is generated by 
   the unitary $g$.

   If $\theta=\ad _{R_{-1}}(U_0)$ then $\theta$ is a outer automorphism of
   $R_{-1}$ with $\theta ^9 =Id$.
   Moreover, $R_0$ is equal to the crossed product $\basic$ and $\theta$ 
   defines a $\gruppo$--kernel on $R_{-1}$ with obstruction $\obstruconj$ to 
   lifting.

   Also, the k-th step in the iterated Jones' basic construction for the 
   inclusion $R_{-1}\subset R_0$ is given by
   $$
   R_k =\{gU_{-1}^3\hdots U_{-k}^{3}, U_{-k}, U_{-k+1},\hdots\}'',\quad  
   k\geq 1. 
   $$
\end{lemma}
{\bf Proof}
   The properties of the family $(U_k)_{k\in\mathbb{Z}}$ and of the unitary
   $g$ imply immediately that the automorphism $\Ad U_{0}$ normalizes $R_{-1}$. 
   Furthermore $g$ commutes with $R_{-1}$ (and generates the relative commutant 
   of $R_{-1}$ in $R_0$) so that $Ad_{R_{-1}}(U_0 ^3)=Ad_{R_{-1}}(gU_0 ^3)$. 
   Since $h=gU_{0}^{3}$ is a unitary in $R_{-1}$ (with spectral projections of 
   trace $\frac{1}{3}$) and $(\ad _{R_{-1}}U_{0})(h)=\obstruconj h$, we obtain 
   that $\theta=\ad _{R_{-1}}(U_{0})$ is a $\gruppo$--kernel with obstruction 
   $\obstruconj$ to lifting.

   Therefore, at least algebraically, $\ad _{R_{-1}}(U_0)$ implements the 
   crossed product $\basic$. But according to our definition, the trace on the 
   algebra generated by the $U_{k}$'s and $g$ is compatible with the usual 
   trace defined on the crossed product so $(R_{-1}\cup\{U_{0}\})''=\basic$.

   Since $(\ad _{R_0}U_{-1})(U_0)=\jonesinv U_0$ while $\ad _{R_0}(U_{-1})$ 
   acts identically on $R_{-1}$, we conclude that $\ad _{R_0}(U_{-1})$ 
   implements the dual action of $\luna$ on the crossed product $\basic$. 
   Hence, the next step in the iterated basic construction of the inclusion 
   $R_{-1}\subseteq R_0$ is
   $$
   R_1 =\{U_{-1},g,U_{0},U_{1},\hdots\}''=\{gU_{-1}^3,U_{-1},U_{0},U_{1},
   \hdots\}''.
   $$
   The following steps in the basic constructions are realized by successively 
   adjoining the unitaries $U_{-2},\, U_{-3}$, etc.

   With the above description for $R_{1}$ the notation becomes homogeneous, 
   in the sense that $gU_{-1}^3$ is a unitary with the property that if 
   we multiply it by $U_{-1}$ or $U_{-2}$ on the right or on the left, the 
   two products differ by $\obstruction$. Therefore, adjoining the unitary 
   $U_{-2}$ to the algebra $R_1$ we obtain the next step in the Jones basic 
   construction.

   To construct unitaries with the properties in the statement one has just
   to look for the unitaries implementing the crossed product in the Jones
   tower for an inclusion of the form $R\subset R\rtimes_{\beta}
   \mathbb{Z}_9$, where $\beta$ is a $\gruppo$--kernel (with obstruction 
   $\obstruconj$ to lifting, $\beta ^3=\Ad w$, and $w$ is a unitary with 
   spectral projections of trace $\frac{1}{3}$). The unitary $g$ of order $3$ 
   is chosen from the elements of the first relative commutant. 

\qvd

The next step is to give a concrete realization of the crossed product \linebreak $\prodotto$, for a $\gruppo$--action $\gamma$.

Using the model $\freefactor=\{X_1, X_2, X_3, u\}''$ we define the 
automorphism $\alpha$ on $\freefactor$ by: 
\begin{itemize}
     \item []
          $\alpha (X_i)=X_{i+1}\,\text{ for }i=1,2\quad\text{ and }\quad\alpha
          (X_3)=uX_1 u^*$,
     \item []
          $\alpha (u)=\obstruction u$.
\end{itemize}
Note that $\alpha ^{3}=\Ad u$, so $\alpha$ is a $\gruppo$--kernel with obstruction 
$\obstruction$ to lifting.


For the automorphism $\beta$ on the hyperfinite $II_1$ factor we use the model described 
in Lemma \ref{tenth}: $R\cong R_0=\{g, U_0, U_1,\hdots\}''$ and 
$\beta =\ad _{R_0}(U_{-1})$ with $\beta ^3 =\ad _{R_0}(g)$ and 
$\beta (g)=\obstruconj g$. 

The action of $\gruppo$ on $\tenpro$ is defined by
\begin{displaymath}
\gamma=\left (\ad _{\left (\tenpro\right )} W^2\right)(\alpha\otimes
\beta ),
\end{displaymath}
where $W$\ is any cube root of $u\otimes g$ belonging to the fixed point 
algebra of $\alpha\otimes\beta$ in $\tenpro$. For example, if 
$\delta=\jonesinv$, we can choose $W$ equal to
\begin{equation*}
W = \delta E_1+\delta ^{2} E_2+E_3,
\end{equation*}
where $E_{1}=e_{1}g_{3}+e_{2}g_{2}+e_{3}g_{1}$, $E_{2}=e_{1}g_{1}+e_{2}g_{3}+e_{3}g_{2}$ and
 $E_{3}=e_{1}g_{2}+e_{2}g_{1}+e_{3}g_{3}$.
 
\begin{observation} 
\label{observ}   
   Note that $W$ belongs to the center of the fixed point algebra of $\alpha
   \otimes\beta$ since for any element $z$ in the fixed point algebra we 
   have 
   \begin{equation*}
   z\,(u\otimes g)=(\alpha\otimes\beta )^{3}(z\,(u\otimes g))=\Ad (u\otimes g)
   (z\,(u\otimes g))=(u\otimes g)\,z. 
   \end{equation*}

\addvspace{\medskipamount}
\end{observation}
In $M=\crossprod$, we denote by $v$ the unitary implementing the crossed
product. Thus the spectral projection of $v$ in M have trace $\frac{1}{3}$. \\
Using the relations $[W,u]=0$ and $[W,g]=0$ we conclude that  
\begin{equation}
\label{prima}
\Ad v(g)=\obstruconj g,
\end{equation}
and
\begin{equation}
\Ad v(u)=\obstruction u.
\end{equation}
In addition, 
\begin{equation}
\Ad v(x)=\Ad W^2 (\alpha (x)),\text{ for all }x\in\{X_1, X_2, X_3\}''
\end{equation}
\begin{equation}
\label{seconda}
\Ad v(y)=\Ad W^2 (\beta (y)),\text{ for all } y\in\{U_0, U_1, U_2,\hdots\}''.
\end{equation}
We can now prove our main theorem:

\begin{theorem} 
\label{main}
  Let $M=\crossprod$. Then there exist subalgebras $A\subset B$ in $M$ 
  such that $A$ is isomorphic to $\mathfrak{L}(F_{\frac{35}{27}})$ and $B$ 
  is equal to the crossed product $A\rtimes _{\theta}\luna$, where $\theta$ 
  is a $\gruppo$--kernel on $A$ with non-trivial obstruction to lifting. 
  Furthermore, $M$ is the enveloping algebra for the inclusion $A\subset B$. 
\end{theorem}
{\bf Proof} Let $A$ denote the von Neumann subalgebra of $M$ generated by \linebreak 
  $\{X_{1},X_{2},X_{3},u,g,v\}$. We want to describe how $\Ad U_0$ 
  acts on the elements generating $A$. 

  Obviously
  \begin{equation*}
  (\Ad U_0)(X_{i})=X_{i}\quad\text{ for }i=1,\hdots ,3,
  \end{equation*}
  \begin{equation*}
  (\Ad U_0)(u)=u\quad\text{and}\quad(\Ad U_0)(g)=\obstruconj g.
  \end{equation*}
  Moreover, using (\ref{seconda}) and the explicit expression for 
  $W^2=\delta ^{2}E_1 +\delta ^{4}E_2 +E_3$, where $\delta=\jonesinv$, 
  we obtain 
  \begin{align*}
  (\Ad U_0)(v) & =U_{0}(vU_{0}^{*}v^* )v=U_0 \Ad W^2 (\beta (U_0 ^*))v 
  =\bar{\delta}\,(\Ad U_0(W^2))(W^2)^{*} v \\
  & =\bar{\delta}\,(E_{1}+\delta ^{2}E_{2}+\delta ^{4}E_{3})(W^{2})^{*}v 
  =\obstruconj\, (E_1 +E_2 +\obstruconj E_3) v.
  \end{align*}

  This implies that $\Ad U_0$ leaves $A$ invariant. Furthermore, 
  $\ad _{A}(U_{0}^{3})$ acts identically on $\{X_1, X_2, X_3, u, g\}''$,   
  while $\ad _{A}(U_{0}^{3}) (v)=\obstruconj\, v$.

  Set $\theta=\ad _{A}(U_{0})$. Then, using (\ref{prima}) and the fact that 
  $\ad _{A}(g^*)$  acts identically on $X_1, X_2, X_3, u, g$ we conclude that 
  $$
  \theta ^{3}=\ad _{A}(g^*)\quad\text{ and }\quad\theta(g^*)=
  \obstruction\, g^* .
  $$

  Thus $\theta$ is a $\gruppo$--kernel on $A$ with obstruction $\obstruction$
  to lifting. Furthermore, at least algebraically, the algebra $B=(A\cup 
  \{U_0\})''$ can be identified with the crossed product $A\rtimes_{\theta}
  \luna$ with $U_0$ implementing the crossed product.

  To complete the proof that $B=A\rtimes_{\theta}\luna$ we need to check that
  any monomial in the variables $\{X_1, X_2, X_3, u, v, g, U_0\}$ can be 
  written using only one occurrence  of $U_0$ to some power. We also need to 
  verify that any monomial containing $U_0$ has zero trace. 

  Since the crossed product $\crossprod$ is implemented by the unitary $v$, 
  any monomial in the variables $\{X_1, X_2, X_3, u,g,v,U_0\}$ 
  has the form $v^{k} m$, where $m$ is an element in $\tenpro$ and 
  $k=0,1,2$. But by the construction of $R_{0}$, $U_0$ can appear at most once 
  in $m$, so any monomial in $B$ can be written using only one occurrence of 
  $U_0$. 

  Furthermore, by the definition of the trace on the crossed product, the 
  trace  of any monomial of the form $v^k m$\, for $k=1,2$, is zero. So we 
  have only to look at the trace of a monomial of the form $m$ containing 
  $U_0$. But looking at the way the trace is defined on $R_0$ and on 
  $\tenpro$, we can conclude immediately that $m$ has zero trace. Therefore 
  $B=A\rtimes_{\theta}\luna$.

  In addition, using an argument similar to the one used to build the model 
  for $R$ (Lemma \ref{tenth}), one can easily verify that the unitaries $U_1, 
  U_2,\hdots$\, implement the consecutive terms in the iterated basic 
  construction of $A\subset A\rtimes_{\theta}\luna$. This implies that 
  $\crossprod$\ is the enveloping algebra of the above inclusion of 
  subfactors.

  The last step of the proof is to show that $A$ is isomorphic to 
  $\mathfrak{L}\left (F_{\frac{35}{27}}\right )$. This will be the content 
  of the next proposition.

\qvd

\begin{proposition}
   With the same notation as in the previous theorem, define \linebreak 
   $A=\{X_{1}, X_{2}, X_{3}, u, g, v\}''$ endowed with a trace with 
   respect to which $X_{1},\,X_{2},$ $X_{3},\, u$ are free, $X_{1},\, X_{2},
   \,  X_{3}$ are semicircular and $u,\, g,\, v$ are unitaries with spectral 
   projections of trace $\frac{1}{3}$. 
 
   In addition, the trace on the algebra $A$ has the following properties 
   \begin{enumerate} 
   \item [(i)] 
   Any monomial $m$ in $X_{1},\, X_{2},\, X_{3},\, u,\, g,\, v$ which contains   
   $v$ has zero trace. 
   \item [(ii)]
   If $m$ does not contain $v$ then its trace in $A$ is the same as its trace 
   in $\{X_1, X_2, X_3, u\}''\otimes \{g\}''$.
   \end{enumerate}
  
   Under these conditions $A$ is a free group factor with fractional number 
   of generators equal to $\frac{35}{27}$.

\end{proposition}
{\bf Proof} 
   This proof is based on Voiculescu's random matrix model introduced in 
   \cite{Vocu}. We intend to give an explicit random matrix model for
   the algebra $A$ and then use it to show that $A$ is a free group factor. 
   This model will be a subalgebra of the algebra of $9\times 9$ matrices 
   with entries in a von Neumann algebra.

   Let $D$ be any von Neumann algebra with finite trace $\tau$, containing free
   elements $\{a_i\}_{i=1,\hdots ,18}$, where $a_1 ,a_4 ,a_7 ,a_{10}, 
   a_{12},a_{14},a_{16},a_{17},a_{18}$\ are semicircular, while 
   $a_2,a_3,a_5 ,a_6 ,a_8 ,a_9 ,a_{11},a_{13},a_{15}$ are circular. Denote by 
   $(e_{i j})_{i,j=1,\hdots ,9}$ the canonical system of matrix units in 
   $\matrices$. Note that by \cite{Jones3} the unitaries $\{u,g,v\}$ generate 
   a copy of $M_3 (\mathbb{C})\oplus M_3 (\mathbb{C})\oplus M_3 
   (\mathbb{C})\subseteq\matrices$, with minimal projections of trace 
   $\frac{1}{9}$. 
   
   Set $\epsilon=\obstruction$. We let in $\matrices\subseteq D\otimes
   \matrices$:
   \begin{align*}
   u &=\epsilon\, (e_{1 1}+e_{4 4}+e_{7 7})+\epsilon ^2 (e_{2 2}+e_{5 5}+e_{8 8})     +(e_{3 3}+e_{6 6}+e_{9 9}), \\
   g &=\epsilon\, (e_{1 1}+e_{5 5}+e_{9 9})+\epsilon ^2 (e_{3 3}+e_{4 4}+e_{8 8})     +(e_{2 2}+e_{6 6}+e_{7 7}), \\
   v &=(e_{1 2}+e_{2 3}+e_{3 1})+(e_{4 5}+e_{5 6}+e_{6 4})+(e_{7 8}+e_{8 9}+
   e_{9 7})
   \end{align*}
   or, in matrix notation 
%
% TO MAKE MATRICES
%
   \begin{equation*}
   u=\begin{pmatrix}
     \epsilon & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & \epsilon ^2 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & \epsilon & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & \epsilon ^2 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & \epsilon & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 0 & \epsilon ^2 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1
     \end{pmatrix}
   \end{equation*}
  
  \addvspace{\baselineskip}
  \begin{equation*}
   g=\begin{pmatrix}
     \epsilon & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & \epsilon ^2 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & \epsilon ^2 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & \epsilon & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 0 & \epsilon ^2 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & \epsilon
     \end{pmatrix}
   \end{equation*}
   
  \addvspace{\baselineskip}
   \begin{equation*}
   v=\begin{pmatrix}
     0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\
     1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\
     0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\
     0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\
     0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0
     \end{pmatrix}
   \end{equation*}
   With this choice of $u, g, v$ and with $\delta=\jonesinv$ we obtain
   \begin{equation*}
   W=\delta ^2Id\oplus Id\oplus\delta\, Id,
   \end{equation*}
   where $Id: 2001-031.tex,v 1.1 2001/10/15 17:45:33 levy Exp levy $ denote the identity of $M_3 (\mathbb{C})$. In matrix 
   notation 
   \begin{equation*}
      W=\begin{pmatrix}
              \delta ^2 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
              0 & \delta ^2 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
              0 & 0 & \delta^2 & 0 & 0 & 0 & 0 & 0 & 0 \\
              0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\
              0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\
              0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\
              0 & 0 & 0 & 0 & 0 & 0 & \delta & 0 & 0 \\
              0 & 0 & 0 & 0 & 0 & 0 & 0 & \delta & 0 \\
              0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & \delta
     \end{pmatrix}
   \end{equation*}
   Furthermore, this choice of $u, g, v$ satisfies the required conditions
   \begin{equation*}
   u g=g u,\quad\quad v u=\epsilon \, u v,\quad\quad 
   vg=\overline{\epsilon}\, g v.
   \end{equation*}
   Denote by $Re(a)=\frac{1}{2}(a+a^* )$, for $a\in D\otimes\matrices$.
   We set:
   \begin{align*}
X_1 = & a_1\otimes e_{1 1}+a_4\otimes e_{22}+a_7\otimes e_{33}+a_{10}\otimes 
       e_{44}+a_{12}\otimes e_{55}+a_{14}\otimes e_{66} \\
     & +a_{16}\otimes e_{77}+a_{17}\otimes e_{8 8}+a_{18}\otimes 
        e_{99}+2Re(a_2\otimes e_{15})+2Re(a_3\otimes e_{19}) \\
     & +2Re(a_5\otimes e_{26})+2Re(a_6\otimes e_{27})+2Re(a_8\otimes 
       e_{3 4})+2Re(a_9\otimes e_{38}) \\
     & +2Re(a_{11}\otimes e_{48})+2Re(a_{13}\otimes e_{59})+2Re(a_{15}\otimes
       e_{67}).
   \end{align*}
   To find $X_2$ and $X_3$, use the relations:
   \begin{equation*}
   X_2=\Ad ((W^2)^* v)(X_1)\quad\text{ and }\quad X_3=\Ad ((W^2)^* v)(X_2)
   \end{equation*}
   Thus, using matrix notation we have: 
   \begin{equation*}
       X_1 =\begin{pmatrix} 
                   a_1 & 0 & 0 & 0 & a_2 & 0 & 0 & 0 & a_3  \\ 
                   0 & a_4 & 0 & 0 & 0 & a_5 & a_6 & 0 & 0 \\ 
                   0 & 0 & a_7 & a_8 & 0 & 0 & 0 & a_9 & 0 \\ 
                   0 & 0 & a_{8}^* & a_{10} & 0 & 0 & 0 & a_{11} & 0 \\ 
                   a_{2}^* & 0 & 0 & 0 & a_{12} & 0 & 0 & 0 & a_{13} \\ 
                   0 & a_{5}^* & 0 & 0 & 0 & a_{14} & a_{15} & 0 & 0 \\ 
                   0 & a_{6}^* & 0 & 0 & 0 & a_{15}^* & a_{16} & 0 & 0 \\ 
                   0 & 0 & a_{9}^* & a_{11}^* & 0 & 0 & 0 & a_{17} & 0 \\ 
                   a_{3}^* & 0 & 0 & 0 & a_{13}^* & 0 & 0 & 0 & a_{18}
              \end{pmatrix}
   \end{equation*}
   
   \begin{equation*}
      X_2 =\begin{pmatrix}
    a_4 & 0 & 0 & 0 & \jconj ^4 a_5 & 0 & 0 & 0 & \jconj ^2 a_6 \\
    0 & a_7 & 0 & 0 & 0 & \jconj ^4 a_8 & \jconj ^2 a_9 & 0 & 0 \\
    0 & 0 & a_1 & \jconj ^4 a_2 & 0 & 0 & 0 & \jconj ^2 a_3 & 0 \\
    0 & 0 & \delta ^4 a_{2}^* & a_{12} & 0 & 0 & 0 & \delta ^2 a_{13} & 0 \\
    \delta ^4 a_{5}^* & 0 & 0 & 0 & a_{14} & 0 & 0 & 0 & \delta ^2 a_{15} \\
    0 & \delta ^4 a_{8}^* & 0 & 0 & 0 & a_{10} & \delta ^2 a_{11} & 0 & 0 \\
    0 & \delta ^2 a_{9}^* & 0 & 0 & 0 & \jconj ^2 a_{11}^* & a_{17} & 0 & 0 \\
    0 & 0 & \delta ^2 a_{3}^* & \jconj ^2 a_{13}^* & 0 & 0 & 0 & a_{18} & 0 \\
    \delta ^2 a_{6}^* & 0 & 0 & 0 & \jconj ^2 a_{15}^* & 0 & 0 & 0 & a_{16} 
   \end{pmatrix}
   \end{equation*}

  
   \begin{equation*} 
      X_3 =\begin{pmatrix}
    a_7 & 0 & 0 & 0 & \delta a_8 & 0 & 0 & 0 & \jconj ^4 a_{9} \\
    0 & a_1 & 0 & 0 & 0 & \delta a_2 & \jconj ^4 a_3 &  0 & 0 \\
    0 & 0 & a_4 & \delta a_5 & 0 & 0 & 0 & \jconj ^4 a_6 & 0 \\
    0 & 0 & \jconj a_{5}^* & a_{14} & 0 & 0 & 0 & \delta ^4 a_{15} & 0 \\
    \jconj a_{8}^* & 0 & 0 & 0 & a_{10} & 0 & 0 & 0 & \delta ^4 a_{11} \\
    0 & \jconj a_{2}^* & 0 & 0 & 0 & a_{12} & \delta ^4 a_{13} & 0 & 0 \\
    0 & \delta ^4 a_{3}^* & 0 & 0 & 0 & \jconj ^4 a_{13}^* & a_{18} & 0 & 0 \\
    0 & 0 & \delta ^4 a_{6}^* & \jconj ^4 a_{15}^* & 0 & 0 & 0 & a_{16} & 0 \\
    \delta ^4 a_{9}^* & 0 & 0 & 0 & \jconj ^4 a_{11}^* & 0 & 0 & 0 & a_{17}
  \end{pmatrix}
   \end{equation*}
  
  \addvspace{1.3\baselineskip}
  Obviously $X_1 , X_ 2 ,X_3$ commute with $g$. Moreover, 
  using Voiculescu's random matrix theory \cite{Vocu} and the assumption that the family 
  $\{a_i\}_{i=1,\hdots ,18}$\ is free, it is easy to check that 
  $X_1 , X_2 , X_3, u$ are free with respect to the unique normalized trace 
  on $D\otimes\matrices$. In addition, $X_1,X_2,X_3,v$ are independent (with 
  respect to the trace) of $g$. 

  To show that the normalized trace of $D\otimes\matrices$ has the properties 
  claimed in the the statement let $v^k m$, $k=1,2$ be any monomial in 
  $X_1, X_2, X_3, u, g, v$ containing $v$. Since $m$ commutes with $g$, it 
  must  be of the form 
  \begin{equation*}
  m=\begin{pmatrix}
    * & 0 & 0 & 0 & * & 0 & 0 & 0 & * \\
    0 & * & 0 & 0 & 0 & * & * & 0 & 0 \\
    0 & 0 & * & * & 0 & 0 & 0 & * & 0 \\
    0 & 0 & * & * & 0 & 0 & 0 & * & 0 \\
    * & 0 & 0 & 0 & * & 0 & 0 & 0 & * \\
    0 & * & 0 & 0 & 0 & * & * & 0 & 0 \\
    0 & * & 0 & 0 & 0 & * & * & 0 & 0 \\
    0 & 0 & * & * & 0 & 0 & 0 & * & 0 \\
    * & 0 & 0 & 0 & * & 0 & 0 & 0 & *
    \end{pmatrix}
  \end{equation*}  
  
  If we multiply $m$ by $v$ or $v^2$ we obtain a matrix with zero on
  the diagonal and a few entries outside the diagonal. This implies
  that $v^k m$ has zero trace for $k=1,2$. Thus, we have built a matrix model 
  for $A$ which satisfies the conditions of the statement. 
  
  In order to show that $A$ is a free group factor we will reduce $A$ 
  by one of the spectral projections of $g$ of trace $\frac{1}{3}$, and 
  show that the new factor we obtain is a free group factor. Reduce $A$ by 
  $g_3 =e_{22}+e_{66}+e_{77}$.

  Then $g_3 A g_3$ is generated by:
\begin{enumerate}
  \item [(i)] 
         $a_{4}\otimes e_{22}+2Re(a_{5}\otimes e_{26})+2Re(a_{6}\otimes 
         e_{27})+a_{14}\otimes e_{66}+ a_{16}\otimes e_{77} \\
         +2Re(a_{15}\otimes e_{67})$
  \item [(ii)]
         $a_{7}\otimes e_{22}+2Re(\jconj ^{4}a_8\otimes e_{26})+
         2Re(\jconj ^{2} a_{9}\otimes e_{27})+a_{10}\otimes e_{66}+a_{17}
         \otimes e_{77} \\
         +2Re(\delta ^{2} a_{11}\otimes e_{67})$ 
 \item  [(iii)]
         $ a_{1}\otimes e_{22}+2Re(\delta a_{2}\otimes e_{26})+2Re(\jconj ^{4} 
         a_3\otimes e_{27})+a_{12}\otimes e_{66}+a_{18}\otimes e_{77} \\
         +2Re(\delta ^{4} a_{13}\otimes e_{67})$
 \item  [(iv)]
        $\epsilon ^{2} \otimes e_{22}+1\otimes e_{66}+\epsilon \otimes e_{77}$,
\end{enumerate}
  which, by Voiculescu's random matrix model \cite{VoDy}, is isomorphic
  to the free group factor $\mathfrak{L}(F_{3}*\mathbb{Z}_{3})\cong\freefactor$. 
  This implies that $A$ is also a free group factor, and using the well-known 
  formula (see \cite{Dykema} or \cite{Radulescu1}) 
  \begin{equation*}
  (\mathfrak{L}(F_{s}))_{\frac{1}{N}}=\mathfrak{L}(F_{N^2 (s-1)+1}),
      \end{equation*}
  we obtain that $A=\mathfrak{L}\left (F_{\frac{35}{27}}\right )$. 

\qvd


\section{The Connes invariant for the crossed product $\crossprod$}

The arguments in this section are the same ones used by Jones in 
\cite{Jones1} to compute the Connes invariant for his example of a factor 
which is anti-isomorphic to itself but has no involutory antiautomorphism. 
For the sake of completeness we will present them here for the factor we are 
considering. The definition of $K$, $K^{\bot}$ and $L$ given below are due to 
Connes (see \cite{Connes6}).

Let $N$\ be a factor without non-trivial hypercentral sequences and
$G$ a finite subgroup of $\autN$ such that $G \cap\chiusoN=\{Id\}$. 
Let $K=G\cap\CtN$ and \\
$K^{\bot}=\{f:G\to\mathbb{T}\, | \text{ f is a homomorphism and } f|_{K}\equiv
1\}$.
 
Let $\xi :\autN\to\outN$ be the usual quotient map and Fint be
the subgroup $\fint\subseteq\autN$. Denote by $\closure$ its closure in 
$\autN$ and by $G\vee\CtN$ the subgroup of $\autN$ generated by 
$\{G\cup\CtN\}$. Let $L=\xi ((G\vee\CtN)\cap\closure)\subseteq\outN$. 

Connes shows in \cite{Connes6} that there exists an exact sequence
\begin{equation*}
0\rightarrow K^{\bot}\overset{\partial}{\rightarrow}\chi (M)
\overset{\Pi}{\rightarrow}  L\rightarrow 0
\end{equation*}
where $M=W^{*}(N,G)$. 
The map $\partial$\ is defined in the following way: write an element in
the crossed product $W^{*}(N,G)$ as 
$\sum_{g\in G}{a_{g}u_g }$, with $a_{g}\in N$ and $\Ad u_{g}=g$ on $N$. 
For each $\eta \in K^{\bot}$, $\eta :G \rightarrow \mathbb{T}$, define
\begin{displaymath}
\Delta (\eta )\left (\sum_{g\in G}{a_g u_g}\right )= \sum_{g\in G}{\eta (g)
a_{g}u_{g}}.
\end{displaymath}
Then one can show that $\Delta (\eta ) \in \CtM\cap \chiusoM$ and 
define $\partial$ as the composition $\varepsilon\circ\Delta$. 

The map \; $\Pi:\chi (M)\to L$, is defined as follows. For $\sigma\in\chi 
(M)$ choose $\alpha\in\CtM\cap\chiusoM$ such that $\xi (\alpha )=\sigma$. 

From the hypothesis $G\cap\chiusoN=\{Id\}$, it follows (see Corollary 6 and Lemma 2 in 
\cite{Jones2}, or Lemma 15.42 in \cite{Kawi}) that there exists a unitary $z\in M$\ and a sequence $u_n$ of unitaries in $N^{G}$ such that $\alpha=\Ad z\lim_{n\rightarrow\infty}{\Ad u_n}$. Let $\psi_{\sigma}=
(\Ad z^*\alpha)|_{N}$. 

By construction $\psi_{\sigma}\in\closure$ and one can prove that 
$\psi_{\sigma}\in G\vee\CtN$. Moreover, the image of $\psi_{\sigma}$ in 
$\outN$ does not depend on the particular choice of $\alpha$.  
Therefore we can define a map \,$\Pi :\chi(M)\to L$\, by 
$\Pi(\sigma )=\xi (\psi_{\sigma })$. 

To show that $\Pi$ is surjective, consider an element $\mu$ in $L$ and let
$\alpha_{\mu}\in\closure$ be such that 
$\varepsilon (\alpha_{\mu})=\mu$. $\alpha_{\mu}$ commutes with $G$ since it is
the limit of automorphisms with this property, thus we may define an 
automorphism $\beta_{\mu}$ of $M$ by
\begin{equation}
\label{lifting}
 \beta_{\mu}\left (\sum_{g\in G}{a_{g}u_g }\right )=\sum_{g\in G}{\alpha_{\mu}(a_g)u_g}.
\end{equation}
Then $\beta_{\mu}\in\CtM\cap\chiusoM$ and 
$\Pi (\xi (\beta_{\mu}))=\mu$. 

\addvspace{\baselineskip}
\begin{remark} 
\label{tre}
   Note that if $u_{n}$ is a sequence of unitaries left invariant by $G$, 
   with the property $\alpha_{\mu}=\lim_{n\rightarrow\infty}{\Ad u_{n}}$ in $\autN$, then 
   $\beta_{\mu}=\lim_{n\rightarrow\infty} {\Ad u_{n}}$ in 
   $\autM$. It follows that
   \begin{equation*}
   \varkappa (\varepsilon (\beta_{\mu}))=\lim_{n\rightarrow\infty}(u_{n})^{*}
   \beta_{\mu}(u_{n})=\lim_{n\rightarrow\infty}{(u_{n})^{*}\alpha_{\mu}
   (u_{n})}.  
   \end{equation*}   

\addvspace{2\baselineskip}
\end{remark}
Our next goal is to show that if $N=\tenpro$ and $G$ is the subgroup $\langle\gamma\rangle\subset\autpten$ then $\chi (M)\cong\luna$, as has been observed by Connes in  \cite{Connes4}. 

For all the rest of this paper we will identify $\langle\gamma\rangle$ with 
$\gruppo$. Note that by Proposition \ref{sixth}, $\tenpro$ has no non-trivial 
hypercentral sequences, so in order to use the exactness of the Connes
sequence described above we only need to show that $\gruppo\cap\chiusopten =
\{Id \}$. Obviously it is enough to check that $\gamma\not\in\chiusopten$. 

This is equivalent to show that $\alpha\otimes\beta\not\in\chiusopten$. By 
Corollary $3.3$ in \cite{Connes3} $\alpha\otimes\beta\in\chiusopten$ if and 
only if $\alpha\in\chiusofac$ and $\beta\in\chiusoR$. But $\freefactor$ is 
full (Corollary \ref{forth}) and $\alpha\not\in\innerfac$, thus we can conclude that $\gruppo\cap\chiusopten =\{Id\}$.

Hence by Connes \cite{Connes6}, the sequence 
$$
0 \rightarrow K^{\bot}\overset{\partial}{\rightarrow}\chi (M)\overset{\Pi}
{\rightarrow} L\rightarrow 0
$$ 
is exact. In order to compute $\chi (M)$ we intend to show that 
$$
K^{\bot}=\gruppo\quad\text{and}\quad L=\gruppo,
$$ 
and that the lifting to $\chi (M)$ of the generator of $L$ produces an element of order $9$.


\begin{lemma}
   The group $K=\gruppo\cap\Ctpten$ is trivial.
\end{lemma}
{\bf Proof} 
   Obviously it is enough to show that the automorphism $\gamma=Ad\, W^2 
   (\alpha\otimes\beta )$ is not in 
   $\Ctpten$. We have already shown in the proof of Proposition \ref{sixth} 
   that any central sequence in $\tenpro$ has the form 
   $(1\otimes x_n )_{n\in\mathbb{N}}$ for a central sequence $(x_{n}
   )_{n\in\mathbb{N}}$ in $R_{0}$. It follows that $\gamma\in\Ctpten$ if and only 
   if $\beta\in\CtR$. But for $\epsilon=\obstruction$, $\beta$ is outer 
   conjugate to the automorphism $s_{3}^{\bar{\epsilon}}$ described by Connes   
   in \cite{Connes5}, and $s_{3}^{\bar{\epsilon}}\not\in\CtR$ by Proposition $1.6$
   in the same paper. Therefore $\beta\not\in\CtR$. 

\qvd
  
\begin{lemma}
\label{eleventh}
    $L\cong\gruppo$, and a generator of $L$ is given by 
    \[ \mu=\xi\left (\gener)\right ), \]
    where $U_0$\ is the unitary in $R_{0}$ defined in Lemma \ref{tenth} with
    the property $\beta (U_{0})=\jonesinv U_{0}$. 

\end{lemma}    
{\bf Proof} 
   We want to show that 
   \[ \gener\in\left (\gruppo\vee\Ctpten\right )\cap\closure. \] 
   Let's look first at $\gruppo\vee\Ctpten$: multiplying $\gener$ by 
   the automorphism $\gamma^{-1}=(\Ad W^2 (\alpha\otimes\beta))^{-1}$ we 
   obtain 
   \[ \Ad\left ((W^2)^* (1\otimes U_{0}^{*} )\right )(\alpha^{-1}\otimes 
   Id), \]
   which is in $\Ctpten$ since, by Remark \ref{due}, $\freefactor$ does not have 
   non-trivial central sequences. Thus $\gener\in\gruppo\vee\Ctpten$.

   To prove that $\gener\in\closure$ we have to show that there exists a 
   sequence $(\tilde{u} _{n})$ of unitaries in $\tenpro$ invariant respect to 
   $\gamma$, such that $\gener =\lim_{n\rightarrow\infty}{\Ad\tilde{u} _n}$.
   First of all observe that the sequence $(x_n)$ of unitaries in $R_{0}$ 
   \begin{equation*}
   x_n=\begin{cases}
        U_{0}U_{1}^{*}U_{2}U_{3}^{*}\hdots U_{n}^{*},&\text{ if $n$ is odd}, \\
        U_{0}U_{1}^{*}U_{2}U_{3}^{*}\hdots U_{n},& \text{ if $n$ is even} \\
       \end{cases} 
   \end{equation*}
   has the properties 
   \begin{equation*}
   \beta =\lim_{n\rightarrow\infty}{\Ad x_n}\quad\text{ and }\quad\beta 
   (x_n)=\jonesinv\, x_n.
   \end{equation*}

   Define $u_{n}=U_{0}^{*}\, x_n$. Obviously 
   \begin{equation*}
   (\Ad U_{0}^{*})\,\beta =\lim_{n\rightarrow\infty}{\Ad u_n}\quad\text{ and
    }\quad\beta (u_n)=u_n
   \end{equation*} 
   so that 
   \begin{equation}
   \label{quarta} 
   (\alpha\otimes\beta)(1\otimes u_n)=1\otimes u_n. 
   \end{equation}
   Since by Observation \ref{observ}\, $W$ belongs to the center of the fixed 
   point algebra of $\alpha\otimes\beta$, using (\ref{quarta}) we obtain  
   \[ \gamma(1\otimes u_{n})=\Ad W^2 (\alpha\otimes\beta)(1\otimes
   u_{n})=1\otimes u_{n} \]
   and $\gener =\lim_{n\rightarrow\infty}{\Ad (1\otimes u_{n})}$.
   Therefore $\tilde{u} _{n}=1\otimes u_{n}$ is the desired sequence and 
   $\gener\in\left (\gruppo\vee\Ctpten\right )\cap\closure$.

   So far we know that $\mu =\xi\left (\gener\right )$ is an element of order 
   $3$ of $L=\xi\left (\left (\gruppo\vee\Ctpten\right )\cap\closure\right )$. 
   We want to show that it generates $L$. This means that if $\varphi$ is any 
   element in $\left (\gruppo\vee\Ctpten\right )\cap\closure$, then it 
   differs from a power of $\gener$ by an inner automorphism. 

   By Theorem \ref{ninth} any automorphism in $\Ctpten$ can be written as 
   $\Ad z(\nu\otimes id)$ for some unitary $z\in\tenpro$ and an 
   automorphism $\nu\in\autfac$. Thus, since $\varphi\in\gruppo\vee\Ctpten$ 
   there is an $n\in\{0,1,2\}$ such that $\varphi\Ad (W^{2})^n 
   (\alpha\otimes\beta)^{n}$ is of the form $\Ad z(\nu\otimes Id)$. 
   Solving for $\varphi$ we obtain
   \[ \varphi=\Ad x(\nu\alpha^{-n}\otimes\beta^{-n}), \]
   where $x=z(\nu\otimes Id)(W^{2n})^{*}\in\tenpro$.

   Since $\varphi\in\chiusopten$ and by Corollary \ref{forth}\: $\freefactor$ 
   is full, we may apply Corollary 3.3 in \cite{Connes3} to conclude 
   that $\nu\alpha^{-n}=\Ad w$ for some unitary $w$. This implies that 
   $\varphi=\Ad x' (Id\otimes\beta ^{-n})$, where $x'=x\,(w\otimes 1)$. Thus 
   $\varphi$ differs from $\gener$ only by an inner automorphism. Hence 
   $\gener$ generates $L$.

   \qvd

\addvspace{\baselineskip}
Note that if $u_{n}$ is the sequence of unitaries defined in the previous lemma 
\[ (\gener)(1\otimes u_{n})=1\otimes U_{0}^{*}u_{n}U_0. \]
But $\lim_{n\rightarrow\infty}{\Ad u_n }=\Ad U_{0}^*\,\beta$ and 
$\beta(U_{0})=\jonesinv\, U_{0}$, so 
\[ \lim_{n\rightarrow\infty}{u_{n}U_{0}u_{n}^{*}}=\Ad U_{0}^{*}(\beta(U_0))=
\jonesinv\, U_0 \] 
and
\begin{equation*}
\lim_{n\rightarrow\infty}{(1\otimes u_{n}^{*})(\gener )(1\otimes u_n )}=\jonesinv.
\end{equation*}
Thus, in view of Remark \ref{tre} we obtain the following:

\begin{remark}
\label{add}   
   If $\mu=\gener$, $\beta_{\mu}\in\CtM\cup\chiusoM$ is as described in
   equation [\ref{lifting}] and $\sigma=\varepsilon (\beta_{\mu})$, then 
   $\varkappa (\sigma)=\jonesinv$.

\addvspace{\medskipamount}
\end{remark}
\begin{theorem}
\label{twelve}  
   Let $M$ denote the crossed product $\crossprod$. Then $\chi (M)=\luna$.

\end{theorem}
{\em Proof}. 
  By Connes \cite{Connes6} the sequence
  \begin{displaymath}
  0 \rightarrow\gruppo\rightarrow\chi (M)\rightarrow\gruppo\rightarrow 0 
  \end{displaymath}
  is exact and a lifting to $\chi (M)$ of a generator of $L\cong\gruppo$ is
  defined on $M=\crossprod$\, by $\sigma =\xi (\beta _{\mu})$, where
  \begin{displaymath}
  \beta _{\mu}\left (\sum_{k=0}^{2}{a_{k} v^{k}}\right )=\sum_{k=0}^{2}{(\gener)(a_{k})
  v^{k}}.
  \end{displaymath}
  Since $3$ is the only non-trivial divisor of $9$, to prove that 
  $\chi (M)\cong\luna$ it suffices to show that 
  $\sigma ^{3}\neq 1$, i.e. $\beta _{\mu} ^{3} \not\in\innerM$.
  
  From the relations
  $$
  (\alpha\otimes\beta )(1\otimes (U_{0}^{*})^{3}g)=\obstruction\, (1
  \otimes (U_{0}^{*})^{3})\, g
  $$
  and
  $$
  \Ad W^{2}(1\otimes (U_{0}^{*})^{3} g)=1\otimes (U_{0}^{*})^{3}g
  $$ 
  we obtain that 
  \begin{equation*}
  \gamma (1\otimes (U_{0}^{*})^{3}g)= \obstruction (1\otimes (U_{0}^{*})^{3}g). 
  \end{equation*}
  But $\Ad v=\gamma$\, on $\tenpro$, so that 
  $\Ad v(1\otimes(U_{0}^{*})^{3}g)=\obstruction (1\otimes (U_{0}^{*})^{3}\,
  g)$ implies 
  \begin{equation*}
  \Ad (1\otimes (U_{0}^{*})^{3}\, g)(v)=\obstruconj v.
  \end{equation*}
  
  Using the definition of $\beta _{\mu}$ and what we have just observed we obtain
  \begin{displaymath}
  \begin{split}
  \beta _{\mu} ^{3}\left (\sum_{k=0}^{2}{a_k\, v^{k}}\right )& =\sum_{k=0}^{2}
  {\left (Id\otimes(\Ad (U_{0}^{*})^{3}\, \beta ^{3})\right )(a_{k})v^{k}} \\
  & =\sum_{k=0}^{2}{\left (Id\otimes\ad (U_{0}^{*})^{3}\Ad g\right )
  (a_{k})v^{k}}=\sum_{k=0}^{2}{\ad (1\otimes (U_{0}^{*})^{3}g)(a_{k}) 
  v^{k}} \\
  & =\Ad (1\otimes (U_{0}^{*})^{3}g)\left (\sum_{k=0}^{2}e^{\frac{2\pi 
  i k}{3}}a_{k}\, v^{k}\right ). 
  \end{split}
  \end{displaymath}
  Thus, being the product of a dual action and an inner automorphism 
  $\beta _{\mu} ^{3}$ must be outer. Hence $\chi (M)\cong\luna$.

\qvd


\section{$\crossprod$ is not anti--isomorphic to itself.}

In this section we are going to show that $M=\crossprod$ is not 
anti-isomorphic to itself by using the dual action $\dualgr\to\autM$, 
which gives rise to the only subgroup of order $3$ in $\chi (M)$. This 
argument has been described by Connes in \cite{Connes4} and \cite{Connes6}.

First of all note that the action $\gamma$ can be decomposed as 
$\gamma=\ad w\,\gamma_{1}\gamma_{2}$ where $\gamma_{1}\in\Ctpten$ and
$\gamma_{2}\in\chiusopten$ and $w$ is a unitary in $\tenpro$. 

In fact, $\gamma=\Ad W^{2}(\alpha\otimes Id)(Id\otimes\beta)$ and 
$\gamma _{1}=\alpha\otimes Id$ is centrally trivial, since any central 
sequence in $\tenpro$ has the form $(1\otimes X_{n})$, for a central sequence 
$(X_n)$ in $R_{0}$. Furthermore in the proof of Lemma \ref{tenth} we showed 
that $\beta=\lim_{n\rightarrow\infty}{\Ad x_{n}}$ so that 
$\gamma _{2}=Id\otimes\beta=\lim_{n\rightarrow\infty}{\Ad (1\otimes x_{n})}$ 
belongs to $\chiusopten$. 

Note also that this decomposition of $\gamma$ into an approximately inner 
automorphism and a centrally trivial automorphism is unique up to inner 
automorphisms since $\chi\pten=1$. 

Now let $M$ be an arbitrary von Neumann algebra. Define the conjugate $M^{c}$ 
of $M$ as the algebra whose underlying vector space is the conjugate of $M$
(for $\lambda\in\mathbb{C}$, $x\in M$ the product $\lambda$ by $x$ in $M^{c}$
is equal to $\bar{\lambda}x$) and whose ring structure is the same as in $M$.
The opposite $M^{o}$ of $M$ is by definition the algebra whose underlying 
vector space is the same as for $M$ while the product of $x$ by $y$ is equal 
to $yx$ instead of $xy$. $M^{c}$ and $M^{o}$ are clearly isomorphic through the
map $x\rightarrow x^{*}$. For $\psi\in\autM$ we denote by $\psi ^{c}$ the 
automorphism of $M^{c}$ induced by $\psi$. 

The proof of the following theorem is due to Connes (\cite{Connes4} and 
\cite{Connes6}).

\begin{theorem}
   $M=\crossprod$ is not anti--isomorphic to itself.
\end{theorem}
{\bf Proof} 
    We proved in the previous section (Theorem \ref{twelve}) that 
    $\chi (M)\cong\luna$ and that the dual action $\dualgr\to\autM$
    produces the only subgroup of order $3$ in $\chi (M)$, namely $\langle\sigma 
    ^{3}\rangle =\langle\xi (\beta _{\mu} ^{3})\rangle$.

    Since $\chi (M)$ is an invariant of the von Neumann algebra $M$, it follows 
    that $\dualgr$ is an invariant of $M$. This implies that
    $\dualcr$ is an invariant of $M$ as it is the dual action  
    $\gruppo\to\mbox{Aut}(\dualcr )$ on $\dualcr$. 

    By Takesaki's duality theory [Theorem $4.5$, \cite{Take}] 
    \[ \dualcr =\pten\otimes B(\ell ^{2}(\gruppo )). \]
    Moreover, the dual action $\hat{\hat{\gamma}}$ of $\hat{\gamma}$ 
    corresponds to the action $\gamma\otimes\Ad (\lambda (\cdot)^{*})$, where 
    $\lambda (\cdot )$ is the regular representation of $\gruppo$ on 
    $\ell ^{2}(\gruppo )$ defined by
    $$
    \lambda (h)\varepsilon (k)=\varepsilon (k-h)\quad\text{for}\quad h,k\in
    \gruppo,\:\varepsilon\in\ell ^{2}(\gruppo ).
    $$
    Since $\langle\hat{\hat{\gamma}}\rangle\cong\gruppo$ is an invariant of $M$, 
    it follows that the action $\gamma$ of $\gruppo$ on $\tenpro$ is an 
    invariant of $M$. Consequently the approximately inner automorphism and 
    the centrally trivial automorphism $\gamma _{1}$ and $\gamma_{2}$ which 
    appear in the decomposition of $\gamma$ are invariants of $M$. 

    Note that 
    \[ \gamma _{1}^{3}=\Ad (u\otimes 1)\quad\text{and}\quad\gamma_{1}(u\otimes 
    1)=\obstruction\, (u\otimes 1) \]
    so that $\gamma_{1}$ is a $\gruppo$--kernel of $\tenpro$ with obstruction
    $\obstruction$ to lifting.

    Observe also that in the above argument we have only used the abstract
    group $\dualgr$ and the dual action defined on $\dualcr$. Hence we have
    found a canonical way to associate to the von Neumann algebra $M$ a 
    number (equal to $\obstruction$ in our case) which is invariant under 
    isomorphisms.
    
    Now if $M=\crossprod$ was anti--isomorphic to itself then $M$ and 
    $M^{c}$ would be isomorphic. But the obstruction 
    associated to $\gamma _{1}^{c}$, and therefore to $M^{c}$ is equal to 
    $\obstruconj$.
   
\qvd

\section*{Acknowledgements}

We thank our advisor, Professor F. R\u{a}dulescu for his help and support,
Professor D. Bisch and Professor D. Shlyakhtenko for useful discussions,
and Dr. M. M\"{u}eger for his suggestions regarding this manuscript.
   

\begin{thebibliography}{99}
   \bibitem[Co1]{Connes2} A. Connes, Almost periodic states and factors of type 
   $III_{1}$, Jour. of Funct.  Anal. {\bf 16} (1974), 415-445.  
   \bibitem[Co2]{Connes1} A. Connes, A factor not anti--isomorphic to itself, Ann. 
   of Math. {\bf 101} (1975), 536-554.
   \bibitem[Co3]{Connes4} A. Connes, Outer Conjugacy of Automorphisms of factors, 
   Symposia Mathematica {\bf 8} (1975), 149-159.
   \bibitem[Co4]{Connes6} A. Connes, Sur la classification des facteurs de type 
   $II$, C. R. Acad. Sc. Paris, Series A-B, {\bf 281} (1975), 13-15.
   \bibitem[Co5]{Connes3} A. Connes, Classification of injective factors, Ann. of 
   Math. {\bf 104} (1976), 73-115.
   \bibitem[Co6]{Connes5} A. Connes, Periodic automorphisms of the hyperfinite 
   factor of type $II_1$, Acta Sci. Math. {\bf 39} (1977), 39-66.
   \bibitem[Dy]{Dykema} K. Dykema, Free products of hyperfinite von Neumann 
   algebras and free dimension, Duke Math. Jour. {\bf 69} (1993), 97-119.
   \bibitem[EK]{Kawi} D. E. Evans and Y. Kawahigashi, {\em Quantum symmetries on 
   operator algebras}, Oxford University Press, New York, 1998. 
   \bibitem[Jo1]{Jones2} V. F. R. Jones, Notes on Connes' invariant $\chi (M)$, 
    unpublished.
   \bibitem[Jo2]{Jones1} V. F. R. Jones, A $II_1$ factor anti--isomorphic to 
   itself but without involutory antiautomorphism, Math. Scand. {\bf 46} 
   (1980), 103-117. 
   \bibitem[Jo3]{Jones3} V. F. R. Jones, {\em Index for subfactors}, Invent. Math. 
   {\bf 72} (1983), 1-25.
   \bibitem[McD]{McDuff} D. McDuff, Central sequences and the hyperfinite factor,
   Proc. London Math. Soc. {\bf 21} (1970), 443-461.
   \bibitem[Ra1]{Radulescu1} F. R\v{a}dulescu, Random matrices, amalgamated free 
   products and subfactors of the von Neumann algebra of a free group factor,
   of noninteger index, Invent. Math. {\bf 115} (1994), 347-389.
   \bibitem[Ra2]{Radulescu2} F. R\v{a}dulescu, An invariant for subfactors in the
   von Neumann algebra of a free group, in: {\em Free probability}, D. V. 
   Voiculescu (ed), Fields Institute Communications {\bf 12} (1997), 213-239.
   \bibitem[Sa]{Sakai} S. Sakai, {\em $C^*$ and $W^*$ algebras}, Springer Verlag, 
   Berlin-Heidelberg-New York, 1971.
   \bibitem[Ta]{Take} M. Takesaki, Duality for crossed products and the structure
   of von Neumann algebras of type $III$, Acta Math. {\bf 13} (1973), 
   249-310.
   \bibitem[Vo]{Vocu} A. Voiculescu, Circular and semicircular systems and free 
   product factors, in: {\em Operator Algebras, Unitary Representations, 
   Enveloping Algebras and Invariant Theory}, Progress in Mathematics 
   {\bf 92} (1990), Birkh\"{a}user.
   \bibitem[VDN]{VoDy} D. Voiculescu, K. Dykema, A. Nica, {\em Free random 
   variables}, CRM Monograph Series, 1992.   
   \end{thebibliography}            
\end{document}


























































































% LocalWords:  AVERE STESSA
i
