arxiv:math/ v1 [math.fa] 6 Oct 2003

Transcription

1 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION arxiv:math/ v1 [math.fa] 6 Oct 2003 GELU POPESCU Abstract. In this paper we obtain a multivariable commutator lifting inequality, which extends to several variables a recent result of Foiaş, Frazho, and Kaashoek. The inequality yields a multivariable lifting theorem generalizing the noncommutative commutant lifting theorem. This is used to solve new operator-valued interpolation problems of Schur- Carathéodory, Nevanlinna-Pick, and Sarason type on Fock spaces. Some consequences to norm constrained analytic interpolation in the unit ball of C n are also considered. Introduction In a recent paper [13], Foiaş, Frazho, and Kaashoek solved a problem proposed by B. Sz.-Nagy in 1968, extending the commutant lifting theorem [34] to the case when the underlying operators do not intertwine. Their main result establishes minimal norm liftings of certain commutators. Our main goal is to obtain a multivariable version of their result. More precisely, let T := [T 1,...,T n ], T i B(H), be a row contraction, i.e., T 1 T 1 + +T n T n I, and let V := [V 1,...,V n ], V i B(K), be an isometric lifting of T on a Hilbert space K H, i.e., V i V j = δ ij I and P H V i = T i P H for any i,j = 1,...,n. Let Y := [Y 1,...,Y n ], Y i B(Y), be another row contraction and let W := [W 1,...,W n ], W i B(X), be an isometric lifting of Y on a Hilbert space X Y. In Section 1, we prove the following commutator lifting inequality: If A B(Y,H) is a contraction, then there is a contraction B B(X,K) such that B H = A and V i B BW i 2 [T 1 A AY 1,..., T n A AY n ] 1/2 for any i = 1,...,n. Moreover, 2 is the best possible constant. Date: October 6, Mathematics Subject Classification. Primary:47A57; 47A63; Secondary:47A56; 47A20; 47B47. Key words and phrases. Commutator; Interpolation; Commutant lifting; Row contraction; Isometric lifting; Fock space; Free semigroup; Multivariable operator theory; Research supported in part by an NSF grant. 1

2 2 GELU POPESCU Note that in the particular case when T i A = AY i, i = 1,...,n, the inequality implies the noncommutative commutant lifting theorem for row contractions [19], [23] (see [35], [11] for the classical case n = 1). When n = 1, we obtain the Foiaş Frazho Kaashoek result [13]. In Section 1, we obtain an improved version of the above-mentioned inequality (see Theorem 1.1), which has as consequence a generalization of the noncommutative commutant lifting theorem (see Section 2) and the lifting theorem obtained by Foiaş, Frazho, and Kaashoek [14]. In the last section of this paper, we use our new lifting theorem to solve the operator-valued interpolation problems of Schur-Carathéodory ([33], [8]), Nevanlinna-Pick [17], and Sarason [32] type on Fock spaces. To give the reader a flavor of our new interpolation results, let us mention (as a particular case) the scalar Nevanlinna-Pick type interpolation problem for F 2 (H n ), the full Fock space with n generators. Let k,m be nonnegative integers and let B n := {(λ 1,...,λ n ) C n : λ λ n 2 < 1} be the open unit ball of C n. If {z j } m j=1 B n and {w j } m j=1 C, then there exists f F 2 (H n ) such that if and only if f Pk 1 and f(z j ) = w j, j = 1,...,m, [ 1 1 z j,z q ] m We should add that f Pk is defined by [ (1 z j,z q k+1 )w j w q 1 z j,z q ] m f Pk := sup{ f p : p P k, p 1}, wherep k is the set of all polynomials of degree k in the Fock space F 2 (H n ) and (F 2 (H n ), Pk ) is a Banach space. Moreover, if f F 2 (H n ) and lim f P k k exists, then f Fn, the noncommutative analytic Toeplitz algebra introduced in [22] (see also [24], [25]). In this case we have f = lim k f P k. We remark that given f F 2 (H n ), the evaluation z f(z), z B n, is a holomorphic function in the unit ball of C n (see Section 3). Moreover, Arveson [4] proved that if f Fn, then the map z f(z), z B n, is a multiplier of the reproducing kernel Hilbert space with reproducing kernel K n : B n B n C defined by 1 K n (z,w) :=, z,w B n. 1 z,w C n The above-mentioned interpolation problem is an F 2 (H n ) interpolation problem if k = 0 and, setting k, it implies the Nevanlinna-Pick interpolation problem for the noncommutative analytic Toeplitz algebra Fn, which was solved by Arias and the author (see [3], [26]) and, independently, by Davidson and Pitts (see [9]). Let us mention that, recently, interpolation problems on the unit ball B n were also considered in [2], [1], [27], [28], [5], [29], [30], [31], [6], and [10]..

3 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 3 In a future paper, we will provide an explicit solution (the central interpolant) of our multivariable lifting interpolation problem (see Theorem 2.2) and show that the maximal entropy principle [12] is valid in this new setting as well as Kaftal-Larson-Weiss suboptimization type results ([16], [30]) on Fock spaces. We will also find explicit solutions for the operator-valued interpolation problems considered in the present paper. 1. Commutator lifting inequalities Let H n be an n-dimensional complex Hilbert space with orthonormal basis e 1, e 2,...,e n, where n {1,2,...} or n =. We consider the full Fock space of H n defined by F 2 (H n ) := k 0 H k n, where Hn 0 := C1 and Hn k is the (Hilbert) tensor product of k copies of H n. Define the left creation operators S i : F 2 (H n ) F 2 (H n ), i = 1,...,n, by S i ψ := e i ψ, ψ F 2 (H n ). Let F + n be the unital free semigroup on n generators g 1,...,g n, and the identity g 0. The length of α F + n is defined by α := k, if α = g i1 g i2 g ik, and α := 0, if α = g 0. We also define e α := e i1 e i2 e ik and e g0 = 1. It is clear that {e α : α F + n } is an orthonormal basis of F2 (H n ). If T 1,...,T n B(H) (the algebra of all bounded linear operators on the Hilbert space H), define T α := T i1 T i2 T ik, if α = g i1 g i2 g ik and T g0 := I H. Let us recall from [15], [7], [18], [19], and [20] a few results concerning the noncommutative dilation theory for sequences of operators (see [35] for the classical case n = 1). A sequence of operators T := [T 1,...,T n ], T i B(H), is called row contraction if T 1 T 1 + +T nt n I H. We say that a sequence of isometries V := [V 1,...,V n ], V i B(K), is a minimal isometric dilation of T on a Hilbert space K H if the following properties are satisfied: (i) Vi V j = 0 for all i j, i,j {1,...,n}; (ii) Vj H = T j for all j = 1,...,n; (iii) K = V α H. If V satisfies only the condition (i) and P H V i = T i P H, i = 1,...,n, then V is called isometric lifting of T. The minimal isometric dilation of T is an isometric lifting and is uniquely determined up to an isomorphism [19]. Let us consider a canonical realization of it on Fock spaces. For convenience of notation, we will sometimes identify the n-tuple T := [T 1,...,T n ] with the row operator T := [T 1 T n ]. Define the operator D T : n j=1 H n j=1h by setting D T := (I n j=1 H T T) 1/2, and set D := D T ( n j=1 H), where n j=1h denotes the

4 4 GELU POPESCU direct sum of n copies of H. Let D i : H 1 D F 2 (H n ) D be defined by D i h := 1 D T (0,...,0,h,0,...), i = 1,...,n. }{{} i 1 times Consider the Hilbert space K := H [F 2 (H n ) D] and define V i : K K by (1.1) V i (h ξ) := T i h [D i h+(s i I D )ξ] for any h H, ξ F 2 (H n ) D. Note that [ ] Ti 0 (1.2) V i = D i S i I D with respect to the decomposition K = H [F 2 (H n ) D]. In [19], we proved that V := [V 1,...,V n ] is the minimal isometric dilation of T. The main result of this section is the following lifting inequality in several variables. Theorem 1.1. Let T := [T 1,...,T n ], T i B(H), be a row contraction and let V := [V 1,...,V n ], V i B(K), be an isometric lifting of T on a Hilbert space K H. Let X i X, i = 1,...,n, be orthogonal subspaces and R i B(X i,x) be contractions. If A B(X,H) is a contraction, then there is a contraction B B(X,K) such that P H B = A and (1.3) V i BR i B X i 2 [T 1 AR 1 A X 1,..., T n AR n A X n ] 1/2 for any i = 1,...,n. Moreover, 2 is the best possible constant. Proof. Define the operators X i B(X i,h) by X i := T i AR i, i = 1,...,n, and let X := [X 1,...,X n ]. Since X is a row contraction, we have ( ) n 2 ( ) D X h n 2 i = D T AR n ih i + D 2 n AR i h i + D 2 R i h i ( ) n 2 D T AR n ih i + D 2 AR i h i for any h i X i, i = 1,...,n. Since A B(X,H) is a contraction and the subspacesx i areorthogonal, theoperator[a X 1,...,A X n ]is acontraction acting fromthehilbert space n X i toh. Definetheoperators M i B(X i,h)bysetting M i := X i A X i, i = 1,...,n, and denote M := [M 1,...,M n ]. Since (1.4) M = X [A X 1,...,A X n ], it is clear that M 2. Setting γ := 2 M, we have M M γ and it makes sense to define the defect operator D M,γ := (γi M M) 1/2 B( n X i ). Note also that (1.5) [A X 1,...,A X n ] M +M [A X 1,...,A X n ] γ.

5 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 5 Taking into account relations (1.4) and (1.5), we obtain ( ) n 2 D X h i (I [A X 1,...,A X n ] [A X 1,...,A X n ]) n h i, + (γi M M) n n h i, h i n 2 = n 2 ) n 2 h i Ah i + M,γ( D h i ( n ) 2 ) = D n 2 A h i + M,γ( D h i n h i for any h i X i, i = 1,...,n. The latter equality is due to the fact that the subspaces X i are orthogonal and A is a contraction. Now, putting together the two inequalities for D X, we obtain ( ) [ ]( ) n [DA X 1,...,D A X n ] n D T AR ) i h D i n M,γ n ( h i D A R i for any h i X i, i = 1,...,n. Hence, and using Douglas factorization theorem, we infer that there is a contraction [ ] ) ) C E n n : D Z F A ( X i D T ( D A such that [ ][ ] C E [DA X 1,...,D A X n ] = Z F D M,γ D T ( n AR i n D AR i Note that the operator C B(D A,D T ) satisfies the equation (1.6) C[D A X 1,...,D A X n ]+ED M,γ = D T ( n and the operator Z B(D A, n D A ) satisfies the equation ). AR i ), (1.7) Z[D A X 1,...,D A X n ]+FD M,γ = n D A R i. The equality (1.6) implies (1.8) CD A h i +ED M,γ,i h i = D i AR i h i, h i X i, where D M,γ,i : X i n X i is the i column of the operator matrix of D M,γ. Z 1 Setting Z =. Z n : D A n D A, the equation (1.7) implies Z j D A h i +P j FD M,γ,i h i = δ ij D A R i h i, h i X i,

6 6 GELU POPESCU for any i,j = 1,...,n, where P j denotes the orthogonal projection of the j component. In particular, if i = j, we get (1.9) Z i D A h i +P j FD M,γ,i h i = D A R i h i, h i X i. Since n D A onto C Z 1 ( ) n. : D A D T D A is a contraction, one can prove that the Z n operator Λ : D A F 2 (H n ) D T defined by Λh := k=0 α =k e α CZ α h, h D A, is also a contraction, where α stands for the reverse of α = g i1 g i2 g ik F + n, i.e., α = g ik g i2 g i1. Indeed, since (1.10) Ch 2 + n Z i h 2 h 2, h D A, we can replace h with Z j h in (1.10) and, summing up over j = 1,...,n, we get n CZ j h 2 j=1 α =k n Z j h 2 j=1 α =k n j=1 Similarly, we obtain (1.11) CZ α h 2 Z α h 2 n Z i Z j h 2. β =k+1 Z β h 2. Summing up the inequalities (1.11) for k = 0,1,...,m, we obtain m k=0 α =k CZ α h 2 h 2 β =m+1 Z β h 2 h 2, which proves that Λ is a contraction. Now, define the operator [ ] B : H H [F 2 A (H n ) D T ] by B :=. ΛD A We will prove that the contraction B has the required properties. Assume now that [V 1,...,V n ] is the minimal isometric dilation of [T 1,...,T n ]. Since (1.12) Bh = Ah e α CZ α D A h, h X,

7 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 7 and taking into account the Fock space realization of the minimal isometric dilation of T, we obtain V i BR i h i = V i AR i h i e α CZ α D A R i h i = T i AR i h i 1 D i AR i h i + e gi α CZ α D A R i h i for any h i X i, i = 1,...,n. Hence, and using again relation (1.12), we get V i BR i h i Bh i = (T i AR i A)h i [1 (D i AR i CD A )h i + e gi α (CZ α D A R i CZ αgi D A )h i ]. Using relations (1.4), (1.8), and (1.9), we obtain V i BR i h i Bh i = M i h i 1 ED M,γ,i h i + e gi α CZ α P i FD M,γ,i h i for any h i X i, i = 1,...,n. Hence, we deduce V i BR i h i Bh i 2 = M i h i 2 + ED M,γ,i h i 2 + CZ α P i FD M,γ,i h i 2 [ E for any h i X i, i = 1,...,n. Since Λ and are contractions, we obtain F] V i BR i h i Bh i 2 M i h i 2 + ED M,γ,i h i 2 + P i FD M,γ,i h i 2 M i h i 2 + ED M,γ,i h i 2 + FD M,γ,i h i 2 M i h i 2 + D M,γ,i h i 2 = [M 1,...,M n ]k 2 + D M,γ k 2 = γ h i 2 for any h i X i, where k := n k j with k i := h i and k j := 0 if j i. Therefore, j=1 V i BR i B X i γ for any i = 1,...,n, which proves inequality (1.3). Now, assume that [V 1,...,V n ] is an arbitrary isometric lifting of [T 1,...,T n ]. The subspace K 0 := V αh is reducing under each isometry V 1,...,V n, and [V 1 K 0,...,V n K 0 ] coincides with the minimal isometric dilation of [T 1,...,T n ]. Applying the first part of the proof, we find a contraction B 0 B(X,K 0 ) such that P H B 0 = A and (1.13) (V i K 0 )B 0 R i B 0 X i γ

8 8 GELU POPESCU for any i = 1,...,n. Define B B(X,K) by setting Bh := B 0 h, h X. Now, note that V i BR i B X i = (V i K 0 )B 0 R i B 0 X i, i = 1,...,n, and use inequality (1.13). To complete the proof, notice that the constant 2 is the best possible in (1.3), since we get equality for some simple examples. Now, we can prove the commutator lifting inequality announced in the introduction. Theorem 1.2. Let T := [T 1,...,T n ], T i B(H), be a row contraction and let V := [V 1,...,V n ], V i B(K), be an isometric lifting of T on a Hilbert space K H. Let Y := [Y 1,...,Y n ], Y i B(Y), be another row contraction and let W := [W 1,...,W n ], W i B(X), be an isometric lifting of Y on a Hilbert space X Y. If A B(Y,H) is a contraction, then there is a contraction B B(X,K) such that B H = A and (1.14) V i B BW i 2 [T 1 A AY 1,..., T n A AY n ] 1/2 for any i = 1,...,n. Moreover, 2 is the best possible constant. Proof. Define the contraction à : X H by setting à Y = A and à X Y = 0. For each i = 1,...,n, set X i := W i X and define the operator R i : X i X by R i := Wi X i. Since W 1,...,W n are isometries with orthogonal subspaces, it is clear that the subspaces X i are pairwise orthogonal and R i are contractions. Applying Theorem 1.1 to the contraction Ã, we find a contraction B : X K such that P H B = à and V i B BW i = V i BR i W i BW i V i BR i B H i 2 [T 1 ÃR 1 à X 1,...,T n ÃR n à X n] 1/2 = 2 [T 1 à ÃW 1,...,T n à ÃW n] 1/2 for any i = 1,...,n. The latter equality is due to the fact that [W 1,...,W n ] is a row isometry. Therefore, we have (1.15) V i B BW i 2 [T 1 à ÃW 1,...,T n à ÃW n] 1/2 for any i = 1,...,n. Now, notice that B H = A. Moreover, since [W 1,...,W n ] is an isometric lifting of [Y 1,...,Y n ] and à X Y = 0, we have (T i à ÃW i)y = T i Ay Ã(P Y +P X Y )W i y = T i Ay ÃP YW i y = (T i A ÃY i)y for any y Y and i = 1,...,n. On the other hand, we have (T i à ÃW i)x = 0 for any x X Y. Therefore T i à ÃW i = [T i A AY i, 0], i = 1,...,n,

9 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 9 with respect to the orthogonal decomposition X = Y (X Y). Using (1.15), we deduce the inequality (1.14). The proof is complete. We remark that if one does not require the operator A to be a contraction in Theorem 1.2, then we can find an operator B with the properties B = A, B H = A, and V i B BW i 2 A 1/2 [T 1 A AY 1,..., T n A AY n ] 1/2 for any i = 1,...,n. 2. New lifting theorems in several variables Let Y i B(Y) and T i B(H), i = 1,...,n, be operators such that Y := [Y 1,...,Y n ] and T = [T 1,...,T n ] are row contractions. Let W := [W 1,...,W n ] be an isometric lifting of Y on a Hilbert space X Y, and V := [V 1,...,V n ] be the an isometric lifting of T on a Hilbert space K H. Let A B(Y,H) be an operator satisfying AY i = T i A, i = 1,...,n. An intertwining lifting of A is an operator B B(X,K) satisfying BW i = V i B, i = 1,...,n, and P H B = AP Y. The noncommutative commutant lifting theorem for row contractions [19], [23] (see[34], [11]fortheclassical casen = 1) statesthat ifa B(Y,H)isanoperator satisfying AY i = T i A, i = 1,...,n, then there exists an operator B B(X,K) with the following properties: (i) BW i = V i B for any i = 1,...,n; (ii) B H = A ; (iii) B = A. Note that the noncommutative commutant lifting theorem for row contractions is a consequence of the commutator lifting inequality obtained in Theorem 1.2. In what follows, we present a new multivariable lifting theorem which is a simple consequence of Theorem 1.1. Theorem 2.1. Let T := [T 1,...,T n ], T i B(H), be a row contraction and let V := [V 1,...,V n ], V i B(K), be an isometric lifting of T on a Hilbert space K H. Let X i X, i = 1,...,n, be orthogonal subspaces and R i B(X i,x) be contractions. If A B(X,H) is such that T i AR i = A X i for any i = 1,...,n, then there is an operator B B(X,K) such that P H B = A, B = A, and for any i = 1,...,n. V i BR i = B X i A very useful equivalent form of Theorem 2.1 is the following.

10 10 GELU POPESCU Theorem 2.2. Let T := [T 1,...,T n ], T i B(H), be a row contraction and let V := [V 1,...,V n ], V i B(K), be an isometric lifting of T on a Hilbert space K H. Let Q i B(G i,x) be operators with orthogonal ranges and let C i B(G i,x) be such that C i C i Q i Q i for any i = 1,...,n. If A B(X,H) is such that (2.1) T i AC i = AQ i for any i = 1,...,n, then there is an operator B B(X,K) such that P H B = A, B = A and (2.2) V i BC i = BQ i for any i = 1,...,n. Proof. Since Ci C i Q i Q i for any i = 1,...,n, there exist some contractions R i : Q i G i X such that C i = R i Q i, i = 1,...,n. Denote X i := Q i G i and notice that X i X j if i j. Note that relation (2.1) is equivalent to T i AR i = A X i for any i = 1,...,n, and relation (2.2) is equivalent to V i BR i = B X i for any i = 1,...,n. Now, using Theorem 2.1, we can complete the proof. Now let us show that Theorem 2.2 implies Theorem 2.1. Indeed, denote G i := X i, R i := C i, and Q i := I X X i, i = 1,...,n. Applying Theorem 2.2, the implication follows. As in the classical case, the general setting of the noncommutative commutant lifting theorem can be reduced to the case when Y := [Y 1,...,Y n ] is a row isometry (see [31]). Notice that Theorem 2.2 implies the noncommutative commutant lifting theorem. Indeed, is is enough to consider G i := X, C i := I X, and Q i := Y i B(X) for each i = 1,...,n, where Y := [Y 1,...,Y n ] is a row isometry. Applications of Theorem 2.2 to interpolation on Fock spaces and the unit ball of C n will be considered in the next section. 3. Norm constrained interpolation problems on Fock spaces We say that a bounded linear operator M B(F 2 (H n ) K,F 2 (H n ) K ) is multi-analytic if (3.1) M(S i I K ) = (S i I K )M for any i = 1,...,n. Note that M is uniquely determined by the operator θ : K F 2 (H n ) K, which is defined by θh := M(1 h), h K, and is called the symbol of M. We denote M = M θ. Moreover, M θ is uniquely determined by the coefficients θ (α) B(K,K ), which are given by (3.2) θ( α) h,h := θh,e α h = M θ (1 h),e α h, where h K, h K, α F + n, and α is the reverse of α. Note that θ(α) θ (α) M θ 2 I K.

11 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 11 We can associate with M θ a unique formal Fourier expansion (3.3) M θ R α θ (α), where R i, i = 1,...,n, are the right creation operators on the full Fock space F 2 (H n ) Since M θ acts like its Fourier representation on polynomials, we will identify them for simplicity. The set of all multi-analytic operators acting from F 2 (H n ) K tof 2 (H n ) K coincides withr n B(K,K ), wherer n istheweakly closed algebra generated by the right creation operators on the full Fock space, and the identity. A multi-analytic operator M θ (resp. its symbol θ) is called inner if M θ is an isometry. More about multi-analytic operators on Fock spaces can be found in [20], [21], [22], [24], and [25]. We remark that, in general, if θ : K F 2 (H n ) K is a bounded operator (which is equivalent to the weak convergence of the series θ(α) θ (α)), the linear map M θ uniquely determined by relations (3.2) and (3.1), is not a bounded operator. However, for each k = 0,1,..., the restriction of M θ to P k K, the set of all polynomias of degree k, is a bounded operator acting from P k K to F 2 (H n ) K. We define the P k norm of M θ by setting M θ Pk := sup{ M θ q : q P k K and q 1}. It is easy to see that M θ Pk M θ Pk+1. Note that M θ is a multi-analytic operator if and only if θ B(K,F 2 (H n ) K ) and the sequence { M θ Pk } k=0 converges as k. In this case, we have M θ = lim k M θ Pk. For each i = 1,...,n, define the operators C i and Q i from P k 1 K to P k K by setting (3.4) C i := I Pk K P k 1 K, and Q i := P Pk K(S i I K ) P k 1 K, where P Pk K is the orthogonal projection from F 2 (H n ) K onto P k K. We recall that theinvariant subspacesundertheoperators S 1 I K,...,S n I K (K is a Hilbert space) were characterized by the author in [20]. The next lifting theorem will play an important role in our investigation. Theorem 3.1. Let H F 2 (H n ) K be an invariant subspace under each operator S i I K, i = 1,...,n, and let A : P k K H be a bounded operator. Let (3.5) T i := P H (S i I K ) H, i = 1,...,n, and C i,q i be the operators defined by relation (3.4). Then there exists an operator θ B(K,F 2 (H n ) K ) such that (3.6) P H M θ P k K = A and M θ Pk 1 if and only if A 1 and T i AC i = AQ i for any i = 1,...,n.

12 12 GELU POPESCU Proof. First, note that relation (3.5) implies (3.7) P H (S i I K ) = T i P H, i = 1,...,n, which shows that [S 1 I K,...,S n I K ] is an isometric lifting of [T 1,...,T n ]. Assume that relation(3.6) holds. Note that, due to the definitions of the operators M θ,c i and Q i, we have (3.8) (S i I K )(M θ P k K)C i = (M θ P k K)Q i, i = 1,...,n. Now, using relations (3.7) and (3.8), we obtain T i AC i = T i (P H M θ P k K)C i = P H (S i I K )(M θ P k K)C i = P H (M θ P k K)Q i = AQ i for any i = 1,...,n. It is clear that A 1. Conversely, assume that A : P k K H is a contraction such that T i AC i = AQ i for any i = 1,...,n. According to Theorem 2.2, there exists an operator B : P k K F 2 (H n ) K such that B = A, P H B = A, and (3.9) (S i I K )BC i = BQ i, i = 1,...,n. Note that if B : P k K F 2 (H n ) K is a bounded operator, then there is an operator θ B(K,F 2 (H n ) K ) such that B = M θ P k K if and only if relation (3.9) holds. This completes the proof. The next result is a Sarason type interpolation theorem [32] on Fock spaces, which generalizes the corresponding result for the noncommutative analytic Toeplitz algebra Fn, obtained by Arias and the author (see [3], [26]) and Davidson and Pitts ([9]). Theorem 3.2. Let ϕ B(K,F 2 (H n ) K ) and let M θ R n B(E,K ) be an inner multi-analytic operator. Then there exists ψ B(K,F 2 (H n ) E) such that M ϕ M θ M ψ Pk 1 if and only if the operator defined by A := P H M ϕ P k K is a contraction, where the subspace H is defined by H := [F 2 (H n ) K ] M θ [F 2 (H n ) E]. Proof. First, note that if f = ϕ M θ ψ for some ψ B(K,F 2 (H n ) E), then M ϕ p M f p = M θ M ψ p for any polynomial p P k K. Hence, and Therefore, we have A = P H M ϕ P k K = P H M f P k K A M f Pk = M ϕ M θ M ψ Pk. (3.10) A inf{ M ϕ M θ M ψ Pk : ψ B(K,F 2 (H n ) E)}. Let us prove that we have equality in (3.10). According to [20], the subspace H is invariant under each operator S i I K, i = 1,...,n. Let T i := P H (S i I K ) H,

13 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 13 i = 1,...,n, and note that [S 1 I K,...,S n I K ] is an isometric lifting of [T 1,...,T n ]. A straighforward calculation shows that T i AC i = T i P H M ϕ C i = P H (S i I K )M ϕ C i = P H M ϕ (S i I K )C i = A(S i I K )C i = AQ i foranyi = 1,...,n. Now, usingtheorem3.1, wefindf B(K,F 2 (H n ) K )such that A = P H M f P k K and M f Pk = A. Since P H (M ϕ M f ) P k K = 0, there exists ψ B(K,F 2 (H n ) E) such that ϕ f = M θ ψ. Hence, we deduce A = M f Pk = M ϕ M θ ψ Pk, which proves that equality holds in (3.10). This completes the proof. Corollary 3.3. Under the hypotheses of Theorem 3.2, we have min{ M ϕ M θ M ψ Pk : ψ B(K,F 2 (H n ) E)} = A, where A := P H M ϕ P k K. Now, we can extend the Schur-Carathéodory interpolation result (see [8], [33], and [25]) to Fock spaces. Theorem 3.4. Let k,m be nonnegative integers and let Θ := R α θ (α), α m where θ (α) B(K,K ). Then there exists an operator φ B(K,F 2 (H n ) K ) such that (3.11) θ (α) = φ (α) if α m, and M φ Pk 1 if and only if { P Pm K Θ P k K 1 if k m P Pm K Θ P m K 1 if k > m. Proof. Let H := P k K and note that the subspace H is invariant under each operator Si I K, i = 1,...,n, and let T i := P H (S i I K ) H, i = 1,...,n. Since q(s i I K ) = (S i I K )q for any i = 1,...,n, a straightforward calculation shows that (3.12) T i AC i = AQ i, i = 1,...,n, where the operator A : P k K H is defined by { P Pm K (3.13) A := Θ P k K if k m P Pm K Θ P m K if k > m. Note that the condition (3.11) is equivalent to the existence of an operator φ B(K,F 2 (H n ) K ) such that P H M φ P k K = A and M φ P k K 1. Now, one can apply Theorem 3.1 to complete the proof.

14 14 GELU POPESCU Corollary 3.5. Let k,m be nonnegative integers and let Θ := R α θ (α), where θ (α) B(K,K ). Then α m min{ M φ Pk : φ B(K,F 2 (H n ) K ), θ (α) = φ (α) if α m} = A, where the operator A is defined by relation (3.13). In what follows, we present the left tangential Nevanlinna-Pick interpolation problem with operatorial argument for B(H,F 2 (H n ) K). As in [18], the spectral radius associated with a sequence Z := (Z 1,...,Z n ) of operators Z i B(Y), is given by 1/2k 1/2k r(z) := lim k Z α Zα = inf k Z α Zα. α =k α =k Note that if Z 1 Z1 + +Z nzn < ri Y with0 < r < 1, thenr(z) < 1. Any element ψ B(H,F 2 (H n ) Y) has a unique representation ψh := α F + e α A n (α) h, h H, for some operators A (α) B(H,Y). Therefore, M ψ R α A (α) and ψ 2 = A (α) A (α). If r(z) < 1, it makes sense to define the evaluation of ψ at (Z 1,...,Z n ) by setting (3.14) ψ(z 1,...,Z n ) := k=0 α =k Z α A (α), where α is the reverse of α. Now, using the fact that the spectral radius of Z is strictly less than 1, one can prove the norm convergence of the series (3.14). Indeed, it is enough to observe that 1/2 1/2 Z α A (α) α =k Z α Zα A (α) α =k A (α) α =k 1/2 f Z α Zα. α =k Given C B(H,Y), we define W {Z,C} : F 2 (H n ) H Y, the controllability operator associated with {Z, C}, by setting e α h α := Z α Ch α. W {Z,C} k=0 α =k

15 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 15 Since r(z) < 1, note that W {Z,C} is a well-defined bounded operator. We call the positive operator G {Z,C} := W {Z,C} W{Z,C} the controllability grammian for {Z,C}. It is easy to see that (3.15) G {Z,C} = Z α CC Zα, k=0 α =k where the series converges in norm. As in the classical case (n = 1), we say that the pair {Z,C} is controllable if its grammian G {Z,C} is strictly positive. We remark that G {Z,C} is the unique positive solution of the Lyapunov equation n (3.16) X = Z i XZi +CC. For any nonnegative integer k, we define W {Z,C,k} : P k H Y, the k- controlability operator associated with {Z, C}, by setting k e α h α := Z α Ch α. W {Z,C,k} α k p=0 α =p The corresponding Grammian is G {Z,C,k} := W {Z,C,k} W {Z,C,k}. Let H, K, and Y i, i = 1,...,m, be Hilbert spaces and consider the operators B j : K Y j, C j : H Y j, j = 1,...,m (3.17) Z j := [Z j,1,...,z j,n ] : n Y j Y j, j = 1,...,m, such that r(z j ) < 1 for any j = 1,...,m. Given a nonnegative integer k, the left tangential Nevanlinna-Pick interpolation problem with operatorial argument for B(H,F 2 (H n ) K) is to find φ B(H,F 2 (H n ) K) such that M φ Pk 1 and (3.18) [I B j )φ](z j ) = C j, j = 1,...,m. Theorem 3.6. Given two nonnegative integer k, m, the left tangential Nevanlinna- Pick interpolation problem with operatorial argument and data Z j, B j, and C j, j = 1,...,m, has a solution in B(H,F 2 (H n ) K), if and only if m (3.19) Z j,α B j BiZ i,α m Z j,α C j CiZ i,α. p=0 α =p Proof. Define the following operators B := B 1. B m i,j=1 α k C 1 : K m j=1 Y j, C :=. C m : H m j=1 Y j, and Y := [Y 1,...,Y n ], where Y i is the diagonal operator defined by Z 1,i Z 2,i 0 Y i :=... : m j=1 Y j m j=1 Y j, 0 0 Z m,i i,j=1

16 16 GELU POPESCU for each i = 1,...,n. Since r(y) < 1 and M φ (3.20) [I B)φ](Y) = C if and only if p=0 α =p Z j, α B j A (α) = C j, R α A (α), note that for any j = 1,...,m. Therefore, relation (3.18) is equivalent to relation (3.20). On the other hand, a straightforward computation on the elements of the form e β h, h H, β F + n, shows that relation (3.20) holds if and only if (3.21) W {Y,B} M φ P k H = W {Y,C,k}. Now, a simple calculation reveals that (3.22) W {Y,B} W {Y,B} W {Y,C,k}W {Y,C,k} = p=0 α =p Y α BB Y α k Y α CC Yα, p=0 α =p where W {Y,B} and W {Y,C,k} are the controllability operators associated with {Y, B} and {Y, C}, respectively. Note that the inequality (3.19) holds if and only if (3.23) W {Y,B} W {Y,B} W {Y,C,k}W {Y,C,k} 0. Using the definitions of the controlability operators, we deduce that (3.24) W {Y,B} (S i I K ) = Y i W {Y,B} W {Y,C,k} (S i I H ) P k 1 H = Y i W {Y,C,k} P k 1 H for any i = 1,...,n. Now, it is easy to see that if relation (3.21) holds and M φ P k H 1, then the inequality (3.23) holds. Conversely, assume that inequality (3.23) holds. Then there exists a contraction Λ : range W {Y,B} P k H such that ΛW{Y,B} = W {Y,C,k}. Since W {Y,B} Y i = (Si I K )W{Y,B} for any i = 1,...,n, it is clear that the subspace H := range W{Y,B} is invariant under each operator Si I K, i = 1,...,n. Let (3.25) T i := P H (S i I K ) H, i = 1,...,n, and denote A := Λ : P k H H. Note that (3.26) W {Y,B} A = W {Y,C,k}. We claim that (3.27) T i AC i = AQ i, i = 1,...,n, where C i := I Pk H P k 1 H and Q i := P Pk H(S i I H ) P k 1 H

17 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 17 for any i = 1,...,n. Indeed, using relations (3.25), (3.26), and (3.24), we obtain W {Y,B} T i AC i = W {Y,B} P H (S i I K )AC i = W {Y,B} (S i I K )AC i = Y i W {Y,B} AC i = Y i W {Y,C,k} C i = W {Y,C,k} (S i I H ) P k 1 H = W {Y,B} AQ i for any i = 1,...,n. Since W {Y,B} H is one-to-one, we get relation (3.27). AccordingtoTheorem3.1, thereexistsφ B(H,F 2 (H n ) K) suchthat M φ Pk 1 and (3.28) P H M φ P k H = A. Using relation (3.26), it is easy to see that (3.28) implies relation (3.21). This completes the proof. Now, assume that {Z,B} is controlable, i.e., its grammian G {Z,B} is strictly positive. It easy to see that the operator A in the proof of Theorem 3.6 has an explicit formula given by (3.29) A := W {Z,B} G 1 {Z,B} G {Z,C,k}. Corollary 3.7. Under the conditions of Theorem 3.6 and assumimg that {Z, B} is controlable, we have min{ M φ Pk : φ B(H,F 2 (H n ) K), [I B j )φ](z j ) = C j } = A, where the operator A is defined by equation (3.29). As a consequence of Theorem 3.6, we can obtain the following left tangential Nevanlinna-Pick interpolation problem in the unit ball of C n. This extends the corresponding results for the noncommutative analytic Toeplitz algebra F n (see [3], [26], [9], and [31]). Corollary 3.8. Let z j := (z j,1,...,z j,n ), j = 1,...,m, be distinct points in B n, the open unit ball of C n, and let B j B(K,Y j ), C j B(H,Y j ), j = 1,...,m, be bounded operators. Then, given a nonnegative integer k, there exists an operator θ B(H,F 2 (H n ) K) such that and M θ Pk 1 if and only if [ B j Bq 1 z j,z q ] m B j θ(z j ) = C j, j = 1,...,m, [ (1 zj,z q k+1 )C j C q 1 z j,z q Proof. First, note that for any j,q = 1,...,m, we have 1 z j,α z q,α = 1 z j,z q. ] m In Theorem 3.6, consider the particular case when Z j,i := z j,i I Yj, j = 1,...,m, and i = 1,...,n. A simple computation shows that G {Z,B} = m [ z j,α z q,α B j Bq B j B ] m q = 1 z j,z q..

18 18 GELU POPESCU Hence, we have G {Z,B} G {Z,C,k} = Z j,α B j Bq Z q,α p=0 α =p [ B j Bq = 1 z j,z q ] m m Now, applying Theorem 3.6, we complete the proof. Z j,α C j Cq Z q,α α k [ (1 zj,z q k+1 )C j C q 1 z j,z q ] m.. m We remark that the evaluation z θ(z), z B n, is an operator-valued holomorphic function in the unit ball of C n. References [1] J. Agler and J. E. McCarthy, Complete Nevanlina-Pick kernels, J. Funct. Anal. 175 (2000), [2] A. Arias and G. Popescu, Noncommutative interpolation and Poisson transforms II, Houston J. Math. 25 (1999), [3] A. Arias and G. Popescu, Noncommutative interpolation and Poisson transforms, Israel J. Math. 115 (2000), [4] W.B. Arveson, Subalgebras of C -algebras III: Multivariable operator theory, Acta Math. 181 (1998), [5] J.A. Ball, T.T. Trent, and V. Vinikov, Interpolation and commutant lifting for multipliers on reproducing kernels Hilbert spaces, Operator Theory and Analysis: The M.A. Kaashoek Anniversary Volume, pages , OT 122, Birkhauser-Verlag, Basel-Boston- Berlin, [6] J.A. Ball and V. Bolotnikov, On bitangential interpolation problem for contractivevalued functions on the unit ball, Linear Algebra Appl. 353 (2002), [7] J.W. Bunce, Models for n-tuples of noncommuting operators, J. Funct. Anal. 57 (1984), [8] C. Carathéodory, Über den Variabilitätsbereich der Koeffzienten von Potenzreinen die gegebene Werte nicht annehmen, Math. Ann. 64 (1907), [9] K.R. Davidson and D. Pitts, Nevanlinna-Pick interpolation for noncommutative analytic Toeplitz algebras, Integr. Equat. Oper.Th. 31 (1998), [10] J. Eschmeier and M. Putinar, Spherical contractions and interpolation problems on the unit ball, J. Reine Angew. Math. 542 (2002), [11] C. Foiaş, A.E. Frazho, The commutant lifting approach to interpolation problems, Operator Theory: Advances and Applications, Birhäuser Verlag, Bassel, [12] C. Foias, A.E. Frazho, and I. Gohberg, Central intertwining lifting, maximum entropy and their permanence, Integr. Equat. Oper. Th. 18 (1994), [13] C. Foiaş, A.E. Frazho, and M. Kaashoek, Contractive liftings and the commutator, C. R. Acad. Sci. Paris, série A 355 (2002), [14] C. Foias, A.E. Frazho, and M. Kaashoek, Relaxation of metric constrained interpolation and a new lifting theorem, Integr. Equat. Oper.Th. 42 (2002), [15] A.E. Frazho, Models for noncommuting operators, J. Funct. Anal. 48 (1982), [16] V. Kaftal, D. Larson, and G. Weiss, Quasitriangular subalgebras of semifinite von Neumann algebras are closed, J. Funct. Anal. 107 (1992), [17] R. Nevanlinna, Über beschränkte Functionen, die in gegebenen Punkten vorgeschribene Werte annehmen, Ann. Acad. Sci. Fenn. Ser A 13 (1919), [18] G. Popescu, Models for infinite sequences of noncommuting operators, Acta. Sci. Math. (Szeged) 53 (1989), [19] G. Popescu, Isometric dilations for infinite sequences of noncommuting operators, Trans. Amer. Math. Soc. 316 (1989),

19 COMMUTATOR LIFTING INEQUALITIES AND INTERPOLATION 19 [20] G. Popescu, Characteristic functions for infinite sequences of noncommuting operators, J. Operator Theory 22 (1989), [21] G. Popescu, Multi-analytic operators and some factorization theorems, Indiana Univ. Math. J. 38 (1989), [22] G. Popescu, Von Neumann inequality for (B(H) n ) 1, Math. Scand. 68 (1991), [23] G. Popescu, On intertwining dilations for sequences of noncommuting operators, J. Math. Anal. Appl. 167 (1992), [24] G. Popescu, Functional calculus for noncommuting operators, Michigan Math. J. 42 (1995), [25] G. Popescu, Multi-analytic operators on Fock spaces, Math. Ann. 303 (1995), [26] G. Popescu, Interpolation problems in several variables, J. Math Anal. Appl. 227 (1998), [27] G. Popescu, Spectral liftings in Banach algebras and interpolation in several variables, Trans. Amer. Math. Soc. 353 (2001), [28] G. Popescu, Commutant lifting, tensor algebras, and functional calculus, Proc. Edinb. Math. Soc. 44 (2001), [29] G. Popescu, Meromorphic interpolation in several variables, Linear Algebra Appl. 357 (2002), [30] G. Popescu, Central intertwining lifting, suboptimization, and interpolation in several variables, J. Funct. Anal. 189 (2002), [31] G. Popescu, Multivariable Nehari problem and interpolation, J. Funct. Anal. 200 (2003), [32] D. Sarason, Generalized interpolation in H, Trans. Amer. Math. Soc. 127 (1967), [33] I. Schur, Über Potenzreihen die im innern des Einheitshreises beschränkt sind, J. Reine Angew. Math. 148 (1918), [34] B.Sz.-Nagy and C. Foiaş, Dilation des commutants d opérateurs, C. R. Acad. Sci. Paris, série A 266 (1968), [35] B.Sz.-Nagy and C. Foiaş, Harmonic Analysis of Operators on Hilbert Space, North Holland, New York Department of Mathematics, The University of Texas at San Antonio, San Antonio, TX 78249, USA address: gpopescu@math.utsa.edu