Bergman spaces over noncommutative domains and commutant lifting (Q2227554)

The paper gives analogues of Sarason and Sz.-Nagy-Foias commutant lifting theorems in the setting of noncommutative Hardy spaces associated with noncommutative regular domains and varieties, and presents several applications to factorization of multi-analytic operators, Nevanlinna-Pick interpolation for multipliers of Bergman spaces over Reinhardt domains in \(\mathbb{C}^n\), and Ando-type dilations and inequalities on noncommutative bi-domains and varieties. Let \(\mathbb{F}^+_n\) be the unital free semigroup with \(n\) generators \(g_1,\dots,g_n\) and the identity \(g_0\). If \(\alpha=g_{i_1}\cdots g_{i_k}\) with \(i_1,\dots,i_k \in\{1,\ldots,n\}\) and \(Z_1,\dots,Z_n\) are noncommuting indeterminates, let \(Z_\alpha:=Z_{i_1}\cdots Z_{i_k}\) and \(Z_{g_0}:=1\). A formal power series \(f:=\sum_{\alpha\in\mathbb{F}^+_n}a_\alpha Z_\alpha\) is called positive regular free holomorphic function in a neighborhood of the origin if \(a_\alpha\ge 0\) for every \(\alpha\in\mathbb{F}^+_n\), \(\alpha_{g_0}=0\), \(\alpha_{g_i}>0\) for all \(i\in\{1,\dots,n\}\), and \(\limsup_{k\to\infty}\big(\sum_{|\alpha|=k}|a_\alpha |^2\big)^{1/(2k)}<\infty\), where \(|\alpha|:=0\) if \(\alpha=g_0\) and \(|\alpha|:=k\) if \(\alpha=g_{i_1}\cdots g_{i_k}\). Let \[ \mathrm{D}^\circ_f(\mathbb{C}):=\bigg\{\lambda=(\lambda_1,\dots,\lambda_n)\in\mathbb{C}^n: \sum_{\alpha\in\mathbb{F}^+_n}a_\alpha|\lambda_\alpha|^2<1\bigg\}, \] where \(\lambda_\alpha=\lambda_{i_1}\cdots\lambda_{i_k}\) if \(\alpha=g_{i_1}\cdots g_{i_k}\in\mathbb{F}^+_n\), and \(\lambda_{g_0}=1\). First, some basic facts concerning noncommutative regular domains, noncommutative varieties and their universal models are considered. In particular, each noncommutative regular domain generates universal models of weighted (left and right) shifts acting on the full Fock space \(F^2(H_n)\) with \(n\) generators. Then several results concerning the multi-analytic operators with respect to the universal models associated with the noncommutative domains and the noncommutative varieties are established by using the noncommutative Berezin kernels and transform. Further, the multi-analytic operators with respect to universal models are characterized in terms of right multipliers acting between appropriate Hilbert spaces of formal power series in noncommutative indeterminates \(Z_1,\dots,Z_n\). Then the connection between the multi-analytic operators associated with two noncommutative varieties and the related set of right multipliers is discussed. An intertwining lifting and commutant lifting theorems for pure tuples in noncommutative Reinhardt domains are established. The intertwining lifting theorem for pure tuples of operators in noncommutative domains is obtained in terms of multi-analytic operators in certain noncommutative Schur classes. The dilations provided by the noncommutative Berezin kernels associated with these domains are of importance. Then intertwining and commutant lifting theorems in the setting of noncommutative varieties and factorization theorems for multi-analytic operators are obtained. The Sarason type commutant lifting and factorization theorem is then applied to prove a Toeplitz-corona theorem for multi-analytic operators with respect to universal models associated with noncommutative varieties and to provide a Nevanlinna-Pick interpolation result for Reinhardt sets \(\mathrm{D}^\circ_f(\mathbb{C})\subset\mathbb{C}^n\). In particular, the obtained results on a Toeplitz-corona theorem for multi-analytic operators hold for multipliers of certain weighted Bergman spaces over Reinhardt sets in \(\mathbb{C}^n\). In the commutative setting, several results regarding the structure of multipliers of vector-valued weighted Bergman spaces over a class of Reinhardt domains in \(\mathbb{C}^n\), commutant lifting theorems, factorization results for multipliers are also obtained, and a Nevanlinna-Pick interpolation problem in this setting is solved. These results extend the results obtained earlier in the setting of multipliers from the Drury-Arveson space to a class of reproducing kernels Hilbert spaces over the unit ball \(\mathbb{B}^n\subset \mathbb{C}^n\), as well as some recent results on a commutant lifting in the setting of multipliers of the weighted Bergman space \(\mathbb{H}_m(\mathbb{B}^n)\). Finally, Ando-type dilations and inequalities on noncommutative bi-domains and varieties are obtained.