468e9d8050907651.tex
1: \begin{definition}
2: The local von Neumann algebras for the free canonical field are defined by 
3: 	\[
4: 		{\mathcal R} (I) \doteq  \pi^\circ \bigl( \,
5: 		\widehat{\mathfrak W} ({\mathfrak k}(I) )\bigr)'' \; ,  \qquad I \subset S^1 \; . 
6: 	\] 
7: A similar argument to the one given in the proof of Theorem \ref{th2.5} shows that 
8: the algebra ${\mathcal R} (I) $ is equal to the von Neumann algebra generated 
9: by $\widehat {\rm W}_{F} (h)$, $h \in \widehat{\mathfrak h}(I)$.
10: \end{definition}
11: