On cluster systems of tensor product systems of Hilbert spaces (Q2516295): Difference between revisions

Let \(H^\otimes = (H_t )t\geq 0\) be an Arveson system (a tensor product system of Hilbert spaces); see [\textit{W. Arveson}, Mem. Am. Math. Soc. 409, 66 p. (1989; Zbl 0697.46035)]. If \(G^\otimes\) is an Arveson subsystem of \(H^\otimes\), then the so-called cluster system of \(G^\otimes\) is defined as the Arveson subsystem \(\hat G^\otimes\) of \(H^\otimes\) generated by the subspaces \((\bigcup_{ 0\leq s\leq t} G^\bot_s G^\bot_{ t-s} )^\bot = \bigcap_{0\leq s\leq t} (G^\bot_s G^\bot_{ t-s} )^\bot \supset G_t\) of \(H_t\); see [\textit{B. V. R. Bhat}, \textit{M. Lindsay} and \textit{M. Mukherjee}, ``Additive units of product system'', Preprint (2015), \url{arXiv:1501.07675}]. Arveson systems have an obvious tensor product, and the tensor product of subsystems is a subsystem of the tensor product. The author shows that for two Arveson systems \(H^\otimes_i\) with subsystems \(G^\otimes_i\), the subsystem of the tensor product \(H^\otimes_1 \otimes H^\otimes_2\) generated by \(H^\otimes_1 \otimes G^\otimes_2\) and \(G^\otimes_1 \otimes H^\otimes_2\) coincides with the subsystem generated by \(H^\otimes_1 \otimes \hat G^\otimes_2\) and \(\hat G^\otimes_2\otimes H^\otimes_2\). This includes a new proof of the result that the spatial product of spatial Arveson systems (see [\textit{M. Skeide}, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 9, No. 4, 617--655 (2006; Zbl 1119.46051)]) does not depend on the choice of the reference units; see [\textit{B. V. R. Bhat} et al., J. Funct. Anal. 260, No. 2, 566--573 (2011; Zbl 1211.46074)].