Pure semigroups of isometries on Hilbert \(C^\ast\)-modules (Q2355446): Difference between revisions

The authors provide an exhausting study on the possible extensions to the setting of Hilbert \(C^*\)-modules of Cooper's classical theorem on the reducibility of a strongly continuous one-parameter semigroups of Hilbert space isometries into a unitary and a completely non-unitary part, the latter being unitarily equivalent to a standard right shift. The main result (Theorem 1.2) states that, given a Hibert module \(E\) over a \(C^*\)-algebra \({\mathcal B}\), a pure strongly continuous semigroup \(\{s_t\}_{t\geq 0}\) of adjointable isometries is unitarily equivalent to the standard right shift on \(L^2(\mathbb R_0,F)\) over a suitable multiplicity module \(F\). As for the basic concepts involved, recall that a Hilbert module isometry is adjointable if it has complemented range, a semigroup \(\{ s_t\}_{t\geq 0}\) of adjointable isometries is pure if \(\lim^{\text{strong}}_{t\to\infty} s_t^* =0\). By the standard right shift over a Hilbert module \(F\) (called multiplicity module) we mean the one-parameter semigroup of the \(L^2(\mathbb R_+,F)\)-isometries \(v_t f: x\mapsto 1_{[t,\infty)}(x) f(x-t) \). In contrast with the classical case, the maximal unitary part \(E_u\) with the maximal submodule \(E_p\) giving rise to a pure component of the underlying semigroup \(\{ s_t \}_{t\geq 0}\) (well defined even for in a more general setting as shown in Proposition 2.2) do not span the whole \(E\) in general as a series of examples show in Section 2. It is worth to remark that the arguments are completely new even if restricted to the Hilbert space case. The paper ends with a short study of the von Neumann case, where somewhat sharper results are available with point-strongly continuity.