Operator theory on noncommutative polydomains. I. (Q2128203): Difference between revisions

The paper is the first part of a very large study on noncommutative polydomains and their universal operator models, continuing the research of the author concerning noncommutative problems in various aspects of multivariable operator theory. This paper is devoted to enhancing the understanding of the structure of large classes of noncommutative polydomains which admit universal models and have rich analytic function theory. Besides the class of regular polydomains, here the class of non-regular noncommutative polydomains is especially studied. The study made here is organized in eight large sections, the first one containing a presentation of the topic and introducing the necessary notions. For the \(k\)-tuple \(\mathbf{g}=(\mathbf{g}_1,\dots,\mathbf{g}_k)\) of free holomorphic functions in a neighborhood of the origin in the operator ball \(B(\mathcal{H})^{n_i}\), the Hilbert space \(F^2(\mathbf{g})\) of formal power series is attached, and \(\mathcal{M}_{\mathbf{g}}(\mathcal{H})\) the noncommutative set of all \(k\)-tuples \(X=(X_1,\dots,X_k)\) in \(B(\mathcal{H})^{n_1}\times\cdots\times B(\mathcal{H})^{n_k}\). A pure noncommutative polydomain \(\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}(\mathcal{H})\) is a subset of \(B(\mathcal{H})^{n_1+\cdots+n_k}\) as the set of pure solutions of operator inequation given by the defect operator \(\Delta_{\mathbf{g}^{-1}}(X,X^*)\ge0\). Also a summary of the results obtained in each section is presented. In the second section of the paper is introduced a class of tuples of weighted shifts acting on tensor products of full Fock spaces and determine when they can play the role of universal models for non-commutative polydomains in \(B(\mathcal{H})^n\) which can be completely described by the pure solutions of certain operator inequations. The universal model \(\mathbf{W}\) for \(X\) is defined and the pure part and the Cunz part \(\mathcal{D}^{c}_{\mathbf{g}^{-1}}(\mathcal{H})\) in noncommutative polydomain \(\mathcal{D}_{\mathbf{g}^{-1}}(\mathcal{H})\) are introduced. The main result of this section, Theorem 2.13, provides necessary and sufficient conditions to ensure that \(\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}(\mathcal{H})=\mathcal{M}_{\mathbf{g}}(\mathcal{H})\). In this case, we say that \(\mathbf{g}\) is an admissible \(k\)-tuple and \(\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}(\mathcal{H})\) is an admissible polydomain. In the following several examples of admissible \(k\)-tuples of formal power series \(\mathbf{g}=(\mathbf{g}_1,\dots,\mathbf{g}_k)\), the corresponding weighted Hilbert spaces \(F^2(\mathbf{g})\), and the associated noncommutative polydomains \(\mathcal{D}_{\mathbf{g}^{-1}}\) are presented. In the third section the noncommutative Berezin kernel associated with \(X\) is defined and employed to provide canonical representations for the elements of \(\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}\). A polydomain algebra \(\mathcal{A}(\mathbf{g})\) is introduced and the class of completely contractive unital representation generated by the elements of \(\overline{\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}(\mathcal{H})}\) is described. Necessary and sufficient conditions for the inclusion \(\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}\subset \mathcal{D}^{\mathrm{pure}}_{\mathbf{f}^{-1}}\) are proved. In the fourth section the noncommutative Hardy algebras \(F^\infty (\mathbf{g})\) and \(R^\infty (\mathbf{g})\) are introduced and some results concerning multi-analytic operators with respect to universal model are presented. It is proved that \(F^\infty (\mathbf{g})\) coincides with the commutant of \(R^\infty (\mathbf{g})\) and the existence of a \(w^*\)-continuous \(F^\infty (\mathbf{g})\)-functional calculus for the completely non-coisometric elements in \(\overline{\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}(\mathcal{H})}\). The sixth section is devoted to the study of Bohr proprieties in the noncommutative Hardy algebra \(F^\infty (\mathbf{g})\). Using multi-homogeneous and homogeneous expansions for the elements of \(F^\infty (\mathbf{g})\), the multi-homogeneous Bohr radius \(K_{mh}(F^\infty (\mathbf{g}))\) and the homogeneous Bohr radius \(K_{h}(F^\infty (\mathbf{g}))\) are introduced and the estimate \(K_{h}(F^\infty (\mathbf{g}))\ge\frac{1}{3}\) is obtained. In the seventh section the algebra \(\mathrm{Hol}(\mathcal{E}^{\mathrm{rad}}_{\mathbf{g}^{-1}})\) of all holomorphic functions on the radial envelope \(\mathcal{E}^{\mathrm{rad}}_{\mathbf{g}^{-1}}(\mathcal{H})\) associated with the closed polyball \(\overline{\mathcal{D}^{\mathrm{pure}}_{\mathbf{g}^{-1}}(\mathcal{H})}\) is analyzed and basic properties are proved. Cauchy type inequalities and an analog of Weierstrass theorem are obtained in this setting. Then noncommutative versions of Montel's and Vitali's theorems from complex analysis are obtained. The last section of the paper is devoted to the study of the algebra \(H^\infty(\mathcal{E}^{\mathrm{rad}}_{\mathbf{g}^{-1}})\) of all bounded free holomorphic functions on \(\mathcal{E}^{\mathrm{rad}}_{\mathbf{g}^{-1}}\),where \(\mathbf{g}\) is an admissible \(k\)-tuple of free holomorphic functions and the associated universal model \(\mathbf{W}\) is radially pure. It is proved that it is completely isometric isomorphic to \(F^\infty(\mathbf{g})\) and the algebra \(A(\mathcal{E}^{\mathrm{rad}}_{\mathbf{g}^{-1}})\) of all free holomorphic functions on \(\mathcal{E}^{\mathrm{rad}}_{\mathbf{g}^{-1}}\) is completely isometric isomorphic to \(A(\mathbf{g})\). The Schwarz type lemma in noncommutative multivariable setting is obtained. The results obtained here will be used in the second part of this study to develop a dilation theory for non-pure elements in admissible noncommutative polydomains and to obtain a complete description for the invariant subspaces of the corresponding universal operator models.