Pure semigroups of isometries on Hilbert C^-modules

From MaRDI portal
Publication:2355446



Abstract: We show that pure strongly continuous semigroups of adjointable isometries on a Hilbert C*-module are standard right shifts. By counter examples, we illustrate that the analogy of this result with the classical result on Hilbert spaces by Sz.-Nagy, cannot be improved further to understand arbitrary isometry semigroups of isometries in the classical way.


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.











This page was built for publication: Pure semigroups of isometries on Hilbert \(C^\ast\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2355446)