Induced and reduced unbounded operator algebras (Q415453)

The paper is devoted to induced and reduced properties of unbounded (briefly \(O^*\)) operator \(*\)-algebras. It is well known that an \(O^*\)-algebra \(A\) and a projection \(e\), chosen either from \(A\) or in its commutant \(A'\), induces or reduces new \(O^*\)-algebras \(eAe\) and \(Ae\), respectively. Similar properties for unbounded operator \(O^*\)-algebras are treated in this paper, in particular, for the partial \({*}\)-algebra \(L^{*}(D,H)\) of all (closable) linear operators \(T\) on a Hilbert space \(H\) such that \(\mathrm{dom}(T)=D\) and \(\mathrm{dom}(T^{*})\supseteq D\), where \(D\) is a dense subspace in \(H\). It has a \({*}\)-subalgebra \(L^{*}(D)=\{{T\in L^{*}(D,H):T(D)\subseteq D,\;T^{*}(D)\subseteq D}\}\), which is an unbounded version of the normed algebra \(B(H)\) of all bounded linear operators on a Hilbert space \(H\). Let \(M\) be a (fully closed) \(O^{*}\)-vector space in \(L^{*}(D,H)\) and let \(P\in M\) be a projection such that \(P(D)\subseteq D\). The subspace \(M\) generates the graph (locally convex) topology in \(D\), and the elements of \(M\) turn out to be continuous transformations on \(D\), thereby admitting extensions to the completion of \(D\). Consider the subspace \(M_{P}\subseteq L^{*}(PD,PH)\) of all extensions \(PT\) to \(PD\), where \(T\in M\). The subspace \(M_{P}\) is called an induced subspace. Actually, \(M_{P}\) is an \(O^*\)-vector subspace in \(L^{*}(PD,PH)\). In particular, if \(M\subseteq L^{*}(D)\) is an \(O^{*}\)-vector subspace, then so is \(M_{P}\subseteq L^{*}(PD)\). Similarly, it is considered the commutant version of this construction, called a reduced subspace. The main results of the paper assert that the property to be a (partial) GW\(^\ast\)-algebra remains invariant with respect to induced and reduced constructions.