Gelu Popescu

摘要

In this paper, we study the noncommutative balls $$ cC_ho:={(X_1,ldots, X_n)in B(cH)^n: omega_ho(X_1,ldots, X_n)leq 1},qquad hoin (0,infty], $$ where $omega_ho$ is the joint operator radius for $n$-tuples of bounded linear operators on a Hilbert space. In particular, $omega_1$ is the operator norm, $omega_2$ is the joint numerical radius, and $omega_infty$ is the joint spectral radius. We introduce a Harnack type equivalence relation on $cC_ho$, $ho0$, and use it to define a hyperbolic distance $delta_ho$ on the Harnack parts (equivalence classes) of $cC_ho$. We prove that the open ball $$ [cC_ho]_{1}:={(X_1,ldots, X_n)in B(cH)^n: omega_ho(X_1,ldots, X_n)1},qquad ho0, $$ is the Harnack part containing $0$ and obtain a concrete formula for the hyperbolic distance, in terms of the reconstruction operator associated with the right creation operators on the full Fock space with $n$ generators. Moreover, we show that the $delta_ho$-topology and the usual operator norm topology coincide on $[cC_ho]_{1}$. While the open ball $[cC_ho]_{1}$ is not a complete metric space with respect to the operator norm topology, we prove that it is a complete metric space with respect to the hyperbolic metric $delta_ho$. In the particular case when $ho=1$ and $cH=CC$, the hyperbolic metric $delta_ho$ coincides with the Poincar´ e-Bergman distance on the open unit ball of $CC^n$. We introduce a Carath´ eodory type metric on $[cC_infty]_{1} $, the set of all $n$-tuples of operators with joint spectral radius strictly less then $1$, by setting $$ d_K(A,B)=sup_p |Re p(A)-Re p(B)|,qquad A,Bin [cC_infty]_{1}, $$ where the supremum is taken over all noncommutative polynomials with matrix-valued coefficients $pin CC[X_1,ldots, X_n]otimes M_{m}$, $min NN$, with $Re p(0)=I$ and $Re p(X)geq 0$ for all $Xin cC_1$. We obtain a concrete formula for $d_K$ in terms of the free pluriharmonic kernel on the noncommutative ball $[cC_infty]_{1}$. We also prove that the metric $d_K$ is complete on $[cC_infty]_{1}$ and its topology coincides with the operator norm topology. We provide mapping theorems, von Neumann inequalities, and Schwarz type lemmas for free holomorphic functions on noncommutative balls, with respect to the hyperbolic metric $delta_ho$, the Carath´ eodory metric $d_K$, and the joint operator radius $omega_ho$, $hoin (0,infty]$.