Normalisers of operator algebras and tensor product formulas (Q2436063)

The authors in this paper first establish the tensor product formula for supports, that is, the marginal equivalence between the support of tensor products of masa-bimodules and the inverse image of the product of the supports of the bimodules under a map of two direct products of two direct ones with coordinates exchanged or unexchanged, where a subspace \(U\) of the space of all bounded linear operators between Hilbert spaces \(H_1, H_2\) of standard measure spaces \(X_1, X_2\) with regular Borel measures is said to be a masa-bimodule if \(U\) is stable under multiplications by the masa (maximal abelian self-adjoint subalgebra) \(L^{\infty}(X_1)\) from the right and by the masa \(L^{\infty}(X_2)\) from the left, and where two subsets of a direct product with the product measure are said to be marginally equivalent if their symmetric difference is marginally null in the sense that the difference is contained in the union of two direct products, one direct factor of which, with coordinates different, has measure zero. Second, using that formula, it is obtained that for a tensor product \(A\) of finitely many continuous nest algebras acting on Hilbert spaces and a commutative subspace lattice (CSL) algebra \(B\) contained in the space of all bounded linear operators on the tensor product of the Hilbert spaces, the sets of all normalisers of \(A\) and \(B\) are the same if and only if either \(A\) is equal to \(B\) or the adjoint of \(A\) is equal to \(B\), where a subspace lattice \(L\) on a Hilbert space \(H\) is a lattice of projections on \(H\) closed in the strong operator topology, and a CSL algebra on \(H\) is a reflexive algebra, that is, the algebra of all operators on \(H\) leaving every projection of some commutative \(L\) invariant, and where a normaliser of an algebra \(A\) on \(H\) is a bounded linear operator \(t\) on \(H\) such that \(t^* A t\) and \(t A t^*\) are contained in \(A\). Third, as a remarkable example, it is proved that there are continuous CSL algebras \(A\) and \(B\) such that \(A\) is not equal to \(B\), the adjoint of \(A\) is not equal to \(B\), but the sets of all normalisers of \(A\) and \(B\) become equal. Note that a CSL algebra \(L\) is said to be continuous if it has no atoms, while an atom of \(L\) is a non-zero projection that is dominated by every element of \(L\) or yields zero under multiplication with every element of \(L\).