Appendix

In this section, we review some facts used in the main text concerning positive self-adjoint operators in Hilbert spaces, W-algebras and infinite tensor products. Throughout this section, will denote a complex Hilbert space.