Hyperbolic geometry on noncommutative balls
Carathéodory distancecreation operatorFock spacefree holomorphic functionfree pluriharmonic functionHarnack parthyperbolic distancejoint numerical radiusjoint operator radiusjoint spectral radiusnoncommutative function theorynoncommutative hyperbolic geometrySchwarz lemmavon Neumann inequality
Hyperbolic and Kobayashi hyperbolic manifolds (32Q45) Noncommutative function spaces (46L52) Holomorphic maps in nonlinear functional analysis (46T25) Several-variable operator theory (spectral, Fredholm, etc.) (47A13) Dilations, extensions, compressions of linear operators (47A20) Functions whose values are linear operators (operator- and matrix-valued functions, etc., including analytic and meromorphic ones) (47A56)
Summary: In this paper, we study the noncommutative balls \[ \mathcal C_\rho:=\{(X_1,\dots, X_n)\in B(\mathcal H)^n: \;\omega_\rho(X_1,\dots, X_n)\leq 1\},\qquad \rho\in (0,\infty], \] where \(\omega_\rho\) 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 \(\mathcal C_\rho\), \(\rho>0\), and use it to define a hyperbolic distance \(\delta_\rho\) on the Harnack parts (equivalence classes) of \(\mathcal C_\rho\). We prove that the open ball \[ [\mathcal C_\rho]_{<1}:=\{(X_1,\dots, X_n)\in B(\mathcal H)^n: \omega_\rho(X_1,\dots, X_n)<1\},\qquad \rho>0, \] 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_\rho\)-topology and the usual operator norm topology coincide on \([\mathcal C_\rho]_{<1}\). While the open ball \([\mathcal C_\rho]_{<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_\rho\). In the particular case when \(\rho=1\) and \(\mathcal H=\mathbb C\), the hyperbolic metric \(\delta_\rho\) coincides with the Poincaré-Bergman distance on the open unit ball of \(\mathbb C^n\). We introduce a Carathéodory type metric on \([\mathcal C_\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)-\mathfrak R p(B)\|,\qquad A,B\in [\mathcal C_\infty]_{<1}, \] where the supremum is taken over all noncommutative polynomials with matrix-valued coefficients \(p\in \mathbb C[X_1,\dots, X_n]\otimes M_{m}\), \(m\in \mathbb N\), with \(\mathfrak R p(0)=I\) and \(\mathfrak R p(X)\geq 0\) for all \(X\in \mathcal C_1\). We obtain a concrete formula for \(d_K\) in terms of the free pluriharmonic kernel on the noncommutative ball \([\mathcal C_\infty]_{<1}\). We also prove that the metric \(d_K\) is complete on \([\mathcal C_\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_\rho\), the Carathéodory metric \(d_K\), and the joint operator radius \(\omega_\rho\), \(\rho\in (0,\infty]\).
- Noncommutative hyperbolic geometry on the unit ball of \(B(\mathcal H)^n\)
- Hyperbolic geometry on noncommutative polyballs
- Hyperbolic geometry on the unit ball of $B(\mathcal{H})^{n}$ and dilation theory
- Free holomorphic functions on the unit ball of B( H)^n. II
- Operator theory and the Carathéodory metric
- Noncommutative hyperbolic geometry on the unit ball of \(B(\mathcal H)^n\)
- Generalized Poincaré metric on the operator ball
- On fixed points of self maps of the free ball
- Harnack and Shmul'yan pre-order relations for Hilbert space contractions
- Hyperbolic geometry on noncommutative polyballs
- On non-commutative Minkowski spheres
- Hyperbolic geometry on the unit ball of $B(\mathcal{H})^{n}$ and dilation theory
- Block decompositions of operator moment dilations
- Noncommutative balls and their doubles
This page was built for publication: Hyperbolic geometry on noncommutative balls
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q845271)
