Equivalence between the dilation and lifting properties of an ordered group through multiplicative families of isometries. A version of the commutant lifting theorem on some lexicographic groups (Q5943198)

Let \(\mathcal E\) be a Hilbert space. Let \(\Omega\) be a locally compact abelian ordered group, \(\Omega_1=\{x\in \Omega\colon x\geq 0\}\). \(\Omega\) has the dilation property if a special extension of the Naimark dilation theorem holds and it has the commutant lifting property if a natural extension of the Sz.-Nagy-Foias commutant lifting theorem holds for \(\Omega\). A multiplicative family of partial isometries on \(({\mathcal E},\Omega)\) is a family \((S_x,{\mathcal E}_x)_{x\in\Omega_1}\) such that: (i) For each \(x\in\Omega_1\) \({\mathcal E}_x\) is a closed subspace of \({\mathcal E}\), \({\mathcal E}_0={\mathcal E}\), and \({\mathcal E}_y\subset{\mathcal E}_x\) if \(x,y\in\Omega_1\) and \(x<y\). (ii) For each \(x\in \Omega_1\) \(S_x\colon {\mathcal E}_x\rightarrow{\mathcal E}\) is a linear isometry and \(S_0=\text{id}_{\mathcal E}\). (iii) If \(x,y\in\Omega_1\), then \(S_y{\mathcal E}_{x+y}\subset{\mathcal E}_x\) and \(S_{x+y}h=S_xS_yh\) for all \(h\in{\mathcal E}_{x+y}\). The family \((S_x,{\mathcal E}_x)_{x\in\Omega_1}\) is strongly continuous if for each \(x\in \Omega_1\) and \(h\in{\mathcal E}_x\) the function \(x\mapsto S_xh\) from \([0,x]=\{y\in\Omega\colon 0\leq y\leq x\}\) to \({\mathcal E}\) is continuous. We say that a pair \(({\mathcal P}_1,{\mathcal P}_2)\) of closed subspaces of \(\mathcal E\) is a generating pair for the family \((S_x,{\mathcal E}_x)_{x\in\Omega_1}\) if (1) \({\mathcal P}_1\subset \bigcap_{x\in\Omega_1}{\mathcal E}_x\), \quad \(S_x{\mathcal P}_1\subset{\mathcal P}_1\) \quad for all \(x\in\Omega_1\), (2) \({\mathcal P}_2\subset \bigcap_{x\in\Omega_1}S_x({\mathcal E}_x)\), \quad \(S_x^{-1}{\mathcal P}_2\subset{\mathcal P}_2\) \quad for all \(x\in\Omega_1\), (3) \({\mathcal E}_x={\mathcal P}_1\vee S_x^{-1}{\mathcal P}_2\) \quad for all \(x\in \Omega_1\). The main result of the paper is the following Theorem: The following conditions are equivalent: (a) If \((S_x,{\mathcal E}_x)_{x\in\Omega_1}\) is a strongly continuous multiplicative family of partial isometries on \(({\mathcal E},\Omega)\) with generating pair, then there exists a Hilbert space \({\mathcal G}\) containing \(\mathcal E\) as a closed subspace and a strongly continuous group of unitary operators \((U_x)_{x\in\Omega}\subset L({\mathcal G})\) such that \(S_x=U|_{{\mathcal E}_x}\) for all \(x\in\Omega_1\). (b) \(\Omega\) has the dilation property. (c) \(\Omega\) has the commutant lifting property.