Andô dilations and inequalities on noncommutative varieties.

Andô proved a dilation result that implies his celebrated inequality which says that if T 1 and T 2 are commuting contractions on a Hilbert space, then for any polynomial p in two variables, ‖ p ( T 1 , T 2 ) ‖ ≤ ‖ p ‖ D 2 , where D 2 is the bidisk in C 2 . The main goal of the present paper is to find analogues of Andô's results for the elements of the bi-ball P n 1 , n 2 which consists of all pairs ( X , Y ) of row contractions X : = ( X 1 , … , X n 1 ) and Y : = ( Y 1 , … , Y n 2 ) which commute, i.e. each entry of X commutes with each entry of Y . The results are obtained in a more general setting, namely, when X and Y belong to noncommutative varieties V 1 and V 2 determined by row contractions subject to constraints such as q ( X 1 , … , X n 1 ) = 0 and r ( Y 1 , … , Y n 2 ) = 0 , q ∈ P , r ∈ R , respectively, where P and R are sets of noncommutative polynomials. We obtain dilation results which simultaneously generalize Sz.-Nagy dilation theorem for contractions, Andô's dilation theorem for commuting contractions, Sz.-Nagy–Foiaş commutant lifting theorem, and Schur's representation for the unit ball of H ∞ , in the framework of noncommutative varieties and Poisson kernels on Fock spaces. This leads to one of the main results of the paper, an Andô type inequality on noncommutative varieties, which, in the particular case when n 1 = n 2 = 1 and T 1 and T 2 are commuting contractive matrices with spectrum in the open unit disk D : = { z ∈ C : | z | < 1 } , takes the form ‖ p ( T 1 , T 2 ) ‖ ≤ min ⁡ { ‖ p ( B 1 ⊗ I C d 1 , φ 1 ( B 1 ) ) ‖ , ‖ p ( φ 2 ( B 2 ) , B 2 ⊗ I C d 2 ) ‖ } , where ( B 1 ⊗ I C d 1 , φ 1 ( B 1 ) ) and ( φ 2 ( B 2 ) , B 2 ⊗ I C d 2 ) are analytic dilations of ( T 1 , T 2 ) while B 1 and B 2 are the universal models associated with T 1 and T 2 , respectively. In this setting, the inequality is sharper than Andô's inequality and Agler–McCarthy's inequality. We obtain more general inequalities for arbitrary commuting contractive matrices and improve Andô's inequality for commuting contractions when at least one of them is of class C 0 . We prove that there is a universal model ( S ⊗ I ℓ 2 , φ ( S ) ) , where S is the unilateral shift and φ ( S ) is an isometric analytic Toeplitz operator on H 2 ( D ) ⊗ ℓ 2 , such that ‖ [ p r s ( T 1 , T 2 ) ] k ‖ ≤ ‖ [ p r s ( S ⊗ I ℓ 2 , φ ( S ) ) ] k ‖ , for any commuting contractions T 1 and T 2 on Hilbert spaces, any k × k matrix [ p r s ] k of polynomials in C [ z , w ] , and any k ∈ N . Analogues of this result for the bi-ball P n 1 , n 2 and for a class of noncommutative varieties are also considered. [ABSTRACT FROM AUTHOR]