No label defined (Q4024768)

This paper develops a unified treatment of domains which include operator balls, operator Siegel domains, strictly \(J\)-contractive operators, strictly \(J\)-dissipative operators, etc., and the biholomorphic images of these domains under linear fractional transformations. Specifically, let \(H\) and \(K\) be Hilbert spaces and let \({\mathcal A}\) be a closed complex subspace of \({\mathcal L}(H,K)\). A circular domain in \({\mathcal A}\) is a set of the form \({\mathcal D}(J,{\mathcal A})=\{Z\in{\mathcal A}\): \({Z \brack I}^* J{Z \brack I}<0\}\), where \(J\in{\mathcal L}(K\times H)\) is selfadjoint. Let \(M\in{\mathcal L}(K\times H)\) and define \(T(Z)=(AZ+B)(CZ+D)^{-1}\), where \(M={A B \brack C D}\). Suppose \(M\) is invertible. A main result is that if \(T\) maps a neighborhood of a point in \({\mathcal D}(J,{\mathcal A})\) onto a thick subset of a closed complex subspace \({\mathcal B}\) of \({\mathcal L}(H,K)\) and if both \({I \brack 0}^* J{I \brack 0}\geq 0\) and \({I \brack 0}^* J'{I \brack 0}\geq 0\), where \(J'=(M^{-1})^* JM^{-1}\), then \(T\) is defined in all of \({\mathcal D}(J,{\mathcal A})\) and maps \({\mathcal D}(J,{\mathcal A})\) biholomorphically onto \({\mathcal D}(J',{\mathcal B})\). Also, it is shown that the domains which are the images of the open unit ball of \({\mathcal A}\) under a linear fractional transformation satisfying \((D^{- 1}C)^*\in{\mathcal A}\) are affinely equivalent to domains of the form \[ {\mathcal H}_ F=\{Z\in{\mathcal A}:\;2\text{ Im }F^*Z-Z^*(I- FF^*)^{1/2} Z+(I-F^*F)^{1/2}>0\}, \] where \(F\in{\mathcal A}\), \(\| F\|\leq 1\) and \(ZF^*Z\in A\) for all \(Z\in{\mathcal A}\).