On the reduction theory of $W^{\ast }$-algebras by Hilbert modules

We deal with the reduction theory of a $W^{\ast }$-algebra $M$ along a $W^{\ast }$-subalgebra $Z$ of the centre of $M$. This is done by using Hilbert modules naturally constructed by suitable spatial representations of the abelian $W^{\ast }$-algebra $Z$. We start with an exhaustive investigation of such kind of Hilbert modules, which is also of self-contained interest. After explaining the notion of the reduction in this framework, we exhibit the reduction of the standard form of a $W^{\ast }$-algebra $M$ along any $W^{\ast }$-subalgebra of its centre, containing the unit of $M$. In a forthcoming paper, this result is applied to study the structure of the standard representation of the $W^{\ast }$-tensor product $M_1{\text{ots}}_Z{M}_2$ of two $W^{\ast }$-algebras $M_1$ and $M_2$ over a common $W^{\ast }$-subalgebra $Z$ of the centres.