Operator positivity and analytic models of commuting tuples of operators

Transcription

1 STUDIA MATHEMATICA Online First version Operator positivity and analytic models of commuting tuples of operators by Monojit Bhattacharjee and Jaydeb Sarkar (Bangalore) Abstract. We study analytic models of operators of class C 0 with natural positivity assumptions. In particular, we prove that for an m-hypercontraction T C 0 on a Hilbert space H, there exist Hilbert spaces E and E and a partially isometric multiplier θ M(H 2 (E), A 2 m(e )) such that H = Q θ = A 2 m(e ) θh 2 (E) and T = P Qθ M z Qθ, where A 2 m(e ) is the E -valued weighted Bergman space and H 2 (E) is the E-valued Hardy space over the unit disc D. We then proceed to study analytic models for doubly commuting n-tuples of operators and investigate their applications to joint shift co-invariant subspaces of reproducing kernel Hilbert spaces over the polydisc. In particular, we completely analyze doubly commuting quotient modules of a large class of reproducing kernel Hilbert modules, in the sense of Arazy and Engliš, over the unit polydisc D n. Notation. N Set of all natural numbers including 0. n Natural number n 2. N n {k = (k 1,..., k n ) : k i N, i = 1,..., n}. z (z 1,..., z n ) C n. z k z k 1 1 zkn n. T n-tuple of commuting operators (T 1,..., T n ). T k T k 1 1 T n kn. D n Open unit polydisc {z : z i < 1}. For a closed subspace S of a Hilbert space H, we denote by P S the orthogonal projection of H onto S. We shall denote the space of all bounded linear operators on H by B(H) Mathematics Subject Classification: Primary 47A13, 47A15, 47A20, 47A45; Secondary 47A80, 47B32, 47B38. Key words and phrases: weighted Bergman spaces, hypercontractions, multipliers, reproducing kernel Hilbert spaces, invariant subspaces. Received 2 November 2015; revised 17 February Published online *. DOI: /sm [1] c Instytut Matematyczny PAN, 2016

2 2 M. Bhattacharjee and J. Sarkar 1. Introduction. The Sz.-Nagy and Foiaş analytic model theory for contractions on Hilbert spaces is a powerful tool for studying operators on Hilbert spaces and holomorphic function spaces on the open unit disc D in C. It says that if T is a contraction (that is, I T T 0) on a Hilbert space and in C 0 class (that is, T l 0 as l in the strong operator topology) then T is unitarily equivalent to the restriction of the backward shift M z on a vector-valued Hardy space to an M z -invariant subspace. More precisely, there exists a coefficient Hilbert space E and an M z -invariant closed subspace Q of the E -valued Hardy space H 2 (E ) such that T = P Q M z Q. Moreover, there exists a Hilbert space E and a B(E, E )-valued inner multiplier θ T HB(E,E ) (D), also known as the characteristic function of T (see [NF]), such that Q = H 2 (E )/θ T H 2 (E). On the other hand, in [Ag] J. Agler introduced and studied hypercontraction operators from the operator positivity point of view. He showed that the vector-valued Hardy space in the dilation space of a contraction can be replaced by a vector-valued weighted Bergman space if the contractivity assumption on the operator is replaced by weighted Bergman-type positivity. Later, Müller and Vasilescu [MV], Curto and Vasilescu [CV], Ambrozie and Timotin [AT02, AT03], Arazy, Engliš and Müller [AEM] and Arazy and Engliš [AE] extended these ideas to a more general class of operators. This viewpoint has proved to be extremely fruitful in studying commuting tuples of operators. The purpose of this paper is to explore how one might do analytic model theory for a general class of operators and commuting tuples of operators. In particular, we associate a partially isometric multiplier with every operator satisfying a weighted Bergman-type positivity condition (see Theorem 2.4). Another basic result in this direction is the following analytic model: Let T = (T 1,..., T n ) be a doubly commuting tuple of pure operators on a Hilbert space H (that is, T i C 0, T i T j = T j T i and T p Tq = Tq T p for all i, j = 1,..., n, and 1 p < q n). Then (T1,..., T n) is joint unitarily equivalent to the restriction of (Mz 1,..., Mz n ) to a joint invariant subspace of a vector-valued weighted Bergman space over D n if and only if T satisfies (joint) weighted Bergman-type positivity. Moreover, in this case, the orthocomplement of the co-invariant subspace of the weighted Bergman space is of Beurling Lax Halmos type (see Theorem 4.5). Although our method works for more general cases (see Section 6), for simplicity we restrict our discussion to hypercontractions (see Section 2). Here is a brief description of the paper. In Section 2 we set up notation, recall some basic notions from the theory of hypercontractions and

3 Operator positivity and analytic models 3 construct an analytic structure on the model space. Our main tool here is the Agler dilation theorem for hypercontractions [Ag] combined with a Beurling Lax Halmos type representation of shift invariant subspaces of analytic reproducing kernel Hilbert spaces ([BB], [S15]). In Section 3 we discuss a dilation theory for a class of doubly commuting operator tuples satisfying a weighted Bergman-type positivity condition. In Section 4 we formulate a version of Sz.-Nagy and Foiaş analytic model for doubly commuting tuple of hypercontractions. In Section 5, we analyze doubly commuting quotient modules of scalar valued weighted Bergman spaces. Finally, in Section 6 we study K-contractive tuples of operators in the spirit of Arazy and Engliš [AE]. 2. Functional models for hypercontractions. The main purpose of this section is to develop an analytic functional model for hypercontractions on Hilbert spaces. We first recall the definition of weighted Bergman spaces and review the construction of dilation maps for hypercontractions. We refer the reader to Agler s paper [Ag] for more details. The weighted Bergman kernel on the open unit disc D with weight α > 0 is, by definition, the kernel function B α (z, w) = (1 z w) α (z, w D). For each α > 0, we let A 2 α denote the weighted Bergman space corresponding to the kernel B α. For any Hilbert space E, the E-valued weighted Bergman space A 2 α(e) with reproducing kernel (z, w) D D B α (z, w)i E can be canonically identified with the Hilbert space tensor product A 2 α E. In order to simplify notation, we often identify A 2 α E with A 2 α(e). It also follows that {B α (, w)η : w D, η E} is a total set in A 2 α(e) and f, B α (, w)η A 2 α (E) = f(w), η E where f A 2 α(e), w D and η E. Moreover, it is easy to see that the shift operator M z on A 2 α(e), α 1, is a C 0 -contraction, where (M z f)(w) = wf(w) (f A 2 α(e), w D). In the following discussion, we shall mostly use weighted Bergman spaces with integer weights. Let us point out an important special case: A 2 1 = H2, the Hardy space over D. For a multi-index m = (m 1,..., m n ) N n we denote the corresponding weighted Bergman space on D n by A 2 m. The weighted Bergman kernel on D n with weight m is, by definition, the reproducing kernel function B m (z, w) = B mi (z i, w i ) = (1 z i w i ) m i (z, w D n ). For each w D n, we denote by B m (, w) the kernel function at w, where (B m (, w))(z) = B m (z, w) (z D n ).

4 4 M. Bhattacharjee and J. Sarkar Convention: Let p(z, w) = p,q N n a pqz p w q be a polynomial in {z 1,..., z n } and { w 1,..., w n }. For a commuting tuple of bounded linear operators T = (T 1,..., T n ) on a Hilbert space H (that is, T i T j = T j T i for all i, j = 1,..., n) we denote by p(z, w)(t, T ) the corresponding hereditary functional calculus in the sense of Agler [Ag]: (2.1) p(z, w)(t, T ) = p,q N n a pq T p T q, where T k = T k 1 1 T n kn and T k = T k 1 1 Tn kn for all k = (k 1,..., k n ) N n. Definition 2.1. A bounded linear operator T on H is said to be B m - contractive (or a B m -contraction) if T is of C 0 class and ( m ( ) m Bm 1 (z, w)(t, T ) = ( 1) )z k k w k (T, T ) k k=0 m ( ) m = ( 1) k T k T k 0. k k=0 We also recall that T B(H) is a hypercontraction of order m [Ag] if B 1 p (z, w)(t, T ) 0 for all 1 p m. Now let T be a B m -contraction on H. Since T C 0, it follows from [Ag, Lemma 2.11] that B 1 p (z, w)(t, T ) 0 (1 p m), that is, T is a hypercontraction of order m. In other words, these two notions coincide for C 0 class operators, and hence we will restrict our considerations to B m -contractions. The defect operator and the defect space of a B m -contraction T B(H) are defined by (2.2) D m,t = (B 1 m (z, w)(t, T )) 1/2, D m,t = ran D m,t, respectively. Set (2.3) B m (z, T ) = (I H zt ) m (z D) and (v m,t f)(z) = D m,t B m (z, T )f = D m,t (I H zt ) m f (f H, z D). Then v m,t : H A 2 m(d m,t ) is a bounded linear operator with and v m,t T = M z v m,t v m,t (B m (, w)η) = B m (w, T ) D m,t η = (I H wt ) m D m,t η

5 Operator positivity and analytic models 5 for all w D and η D m,t. This and the definition of v m,t imply (2.4) (v m,t v m,t (B m (, w)η))(z) = D m,t B m (z, T )B m (w, T ) D m,t η (z D) for all w D and η D m,t. Furthermore, since T is a B m -contraction, v m,t is an isometry and hence a dilation of T (see Agler [Ag]). Theorem 2.2 (Agler). Let T B(H) be a B m -contraction. Then T = P Q M z Q for some M z -invariant closed subspace Q of A 2 m(d m,t ). We shall now introduce the notion of multipliers on weighted Bergman spaces. Let m 1, m 2 be natural numbers and E 1, E 2 be Hilbert spaces. An operator-valued holomorphic map θ : D B(E 1, E 2 ) is said to be a multiplier from A 2 m 1 (E 1 ) to A 2 m 2 (E 2 ) if θf A 2 m 2 (E 2 ) for all f A 2 m 1 (E 1 ). We denote by M(A 2 m 1 (E 1 ), A 2 m 2 (E 2 )) the set of all multipliers from A 2 m 1 (E 1 ) to A 2 m 2 (E 2 ). We also use M θ, for θ M(A 2 m 1 (E 1 ), A 2 m 2 (E 2 )), to denote the multiplication operator M θ f = θf (f A 2 m 1 (E 1 )). A multiplier θ M(A 2 m 1 (E 1 ), A 2 m 2 (E 2 )) is said to be partially isometric if M θ is a partially isometric operator from A 2 m 1 (E 1 ) to A 2 m 2 (E 2 ). Before proceeding, let us for completeness recall a Beurling Lax Halmos type theorem for weighted Bergman shifts (see [BB] and [S15, Theorem 2.3]) upon which much of our discussion in this paper will rest. Theorem 2.3. Let S be a closed subspace of A 2 m(e ). Then S is M z - invariant if and only if there exists a Hilbert space E and a partially isometric multiplier θ M(A 2 1 (E), A2 m(e )) such that S = θa 2 1 (E). We are now ready to present a functional model for B m -contractions. Theorem 2.4. Let T B(H) be a B m -contraction. Then there exists a Hilbert space E and a partially isometric multiplier θ M(A 2 1 (E), A2 m(d m,t )) such that T = P Qθ M z Qθ, where Q θ = A 2 m(d m,t ) θa 2 1 (E). Proof. First, by Theorem 2.2, we realize T as T = P Q M z Q. Therefore, it remains to prove the existence of a partially isometric multiplier θ such that Q = A 2 m(d m,t ) θa 2 1 (E). Since Q = ran v m,t is Mz -invariant, (ran v m,t ) is an M z -invariant closed subspace of A 2 m(d m,t ). Thus, applying Theorem 2.3 to (ran v m,t ), we obtain a coefficient Hilbert space E and a partially isometric multiplier θ M(A 2 1 (E), A2 m(d m,t )) such that that is, Q = A 2 m(d m,t ) θa 2 1 (E). (ran v m,t ) = θa 2 1(E),

6 6 M. Bhattacharjee and J. Sarkar The following observation was pointed out to us by R. G. Douglas: Let T B(H) be a B m -contraction. Then by Theorem 2.4, we have H 2 (E) M θ A 2 m(d m,t ) π H 0, where π = v m,t (recall that A2 1 (E) = H2 (E)). Note that since M θ M z = M z M θ, S := ker M θ is an M z -invariant subspace of H 2 (E). Then by the Beurling Lax Halmos theorem there exists a Hilbert space E and an inner (or isometric) multiplier ψ H B(E,E) (D) such that S = ψh2 (E ). Consequently, we have a natural chain complex of Hilbert spaces 0 H 2 (E ) M ψ H 2 (E) M θ A 2 m(d m,t ) π H Dilations of commuting hypercontractions. In this section, we prove that a doubly commuting tuple of hypercontractions can be dilated to the tuple of shift operators on a suitable weighted Bergman space over D n (see [AEM, AT02, AT03, AE]). We begin with a definition. Definition 3.1. A commuting tuple of operators T = (T 1,..., T n ) on H is said to be B m -contractive if T i is a B mi -contraction, i = 1,..., n, and n ) Bm 1 (z, w)(t, T ) = Bm 1 i (z i, w i ) (T, T ) 0. We denote the (joint-)defect operator and defect space of a B m -contraction T as respectively. D m,t := (B 1 m (z, w)(t, T )) 1/2 and D m,t = ran D m,t, For the rest of the paper we shall be dealing with a fixed natural number n 2, and a multi-index m = (m 1,..., m n ) N n, m j 1, j = 1,..., n. Let T be a doubly commuting B m -contractive tuple on H. Then T i (B 1 m j (z, w)(t j, T j )) = (B 1 m j (z, w)(t j, T j ))T i for all i j. This also implies that ( B 1 m i (z i, w i )(T i, Ti ) )( Bm 1 j (z j, w j )(T j, Tj ) ) The above observations yield the following: = ( B 1 m j (z j, w j )(T j, T j ) )( B 1 m i (z i, w i )(T i, T i ) ). Lemma 3.2. Let T be an n-tuple of doubly commuting operators on H and suppose each T i is a B mi -contraction, i = 1,..., n. Then D mj,t j is a T i -reducing subspace of H and T i D mj,t j = D mj,t j T i, D mj,t j D mi,t i = D mi,t i D mj,t j,

7 Operator positivity and analytic models 7 for all i j. Moreover, T is a B m -contraction and D m,t = D mi,t i. Now, we shall construct, by induction, a dilation map for a doubly commuting B m -contractive tuple T on H. In what follows, for j {2,..., n}, m j denotes the j-tuple (m 1,..., m j ) in N j and T j the doubly commuting B mj -contraction (T 1,..., T j ) on H. For each j {2,..., n}, one checks easily that D mj 1,T j 1 is a T j -reducing closed subspace of H and D Tj Dmj 1,T j 1 = D Tj Dmj 1,T j 1, D Tj Dmj 1,T j 1 = D mj,t j, where D m1,t 1 = D m1,t 1. Now we set V 1 := v m1,t 1 : H A 2 m 1 (D m1,t 1 ) and define V 2 : A 2 m 1 D m1,t 1 = A 2 m1 (D m1,t 1 ) A 2 m 1 A 2 m 2 D m2,t 2 = A 2 m2 (D m2,t 2 ) by V 2 := I A 2 m1 v m2,t 2 Dm1,T 1, where v m2,t 2 Dm1,T 1 : D m1,t 1 A 2 m 2 D m2,t 2 is the dilation of T 2 Dm1,T 1 B(D m1,t 1 ). It follows that, for all l N, h D m1,t 1 and z 1, z 2 D, (V 2 (z l h))(z 1, z 2 ) = z l 1(v m2,t 2 h)(z 2 ). Continuing, one can define bounded linear operators {V j } n j=2 by V j = I A 2 mj 1 v mj,t j DTj 1 : A 2 m j 1 (D mj 1,T j 1 ) A 2 m j (D mj,t j ), where (3.1) (V j (z k 1 1 zk j 1 j 1 h))(z 1,..., z j ) = z k 1 1 zk j 1 j 1 (v m j,t j Dmj 1,T j 1 h)(z j ) for all h D mj 1,T j 1, {z 1,..., z j } D and j = 2,..., n. Consequently, we have the following sequence of maps: 0 H V 1 A 2 m 1 (D m1,t 1 ) V 2 A 2 m 2 (D m2,t 2 ) V 3 Vn A 2 m(d m,t ). Let us denote by V T the composition of {V j } n j=1 : (3.2) V T := V n V 2 V 1 : H A 2 m(d m,t ). Then V T B(H, A 2 m(d m,t )) is an isometric dilation of T : Theorem 3.3. Let T be a doubly commuting B m -contractive tuple on H. Then V T is an isometry and n ) (V T h)(z) = D mi,t i B mi (z i, T i ) h (h H, z D n ).

8 8 M. Bhattacharjee and J. Sarkar Moreover, V T Ti = Mz i V T, i = 1,..., n, and for z, w D n and η D m,t, ( (VT VT )(B m (, w)η) ) (z) = D mi,t i B mi (z i, T i )B mi (w i, T i ) D mi,t i η. Proof. Clearly V 1 V 1 = I H and for each j = 2,..., n, we have (v mj,t j Dmj 1,T j 1 ) v mj,t j Dmj 1,T j 1 = I A 2 mj (D mj,t j ), from which we immediately deduce V j V j = I A 2 mj 1 (D mj 1,T j 1 ), and finally V T V T = I H. Now by (3.1), we have V T h = V n V 2 (V 1 h) = V n V 3 (V 2 D m1,t 1 B m1 (z 1, T 1 )h) = V n V 3 (D m2,t 2 B m2 (z 2, T 2 )D m1,t 1 B m1 (z 1, T 1 )h) = V n V 3 (D m1,t 1 D m2,t 2 B m1 (z 1, T 1 )B m2 (z 2, T 2 )h) for all h H. Continuing, we have (V T h)(z) = D mi,t i B mi (z i, T i )h (h H, z D n ). A direct computation (or see [AEM] or [CV]) now readily implies the intertwining property of V T and VT (B m (, w)η) = B mi (w i, T i ) D mi,t i η (w D n, η D m,t ), which in turn yields the last assertion of the theorem. The above theorem is a doubly commuting version and a particular case of [CV, Theorem 3.16] by Curto and Vasilescu and [AEM, Corollary 16] by Ambrozie, Engliš and Müller (see also [BNS]). However, the present approach is based on the idea of simple tensor products of one-variable dilation maps. Moreover, our construction of an explicit dilation map is especially useful in analytic model theory (see Section 4). Recall that a pair of commuting tuples T = (T 1,..., T n ) on H and S = (S 1,..., S n ) on K are said to be jointly unitarily equivalent, denoted by T = S, if there exists a unitary map U : H K such that UT i = S i U, i = 1,..., n. The following dilation result is an easy consequence of Theorem 3.3. Theorem 3.4. Let T be a doubly commuting B m -contractive tuple on H. Then there exists a joint (M z 1,..., M z n )-invariant closed subspace Q A 2 m(d Dm,T ) such that (T 1,..., T n ) = (P Q M z1 Q,..., P Q M zn Q ). Proof. Let Q = ran V T, where V T is the dilation map of T as in Theorem 3.3. Then Q is a joint (M z 1,..., M z n )-invariant subspace of A 2 m(h) and

9 Operator positivity and analytic models 9 U T := V T : H Q is a unitary map. Moreover, U T Tj = V T Tj = Mz j V T = Mz j V T VT V T = (Mz j Q )V T = (Mz j Q )U T for all j = 1,..., n. Hence U T T j = P Q M zj Q U T (j = 1,..., n). 4. Analytic model. We begin with the following lemma, the relevance of which to our purpose will become apparent in connection with the analytic model of doubly commuting tuples of operators. Lemma 4.1. Let T be a doubly commuting B m -contractive tuple on H and 1 j n. Then A 2 m(d m,t ) A 2 m(d mj,t j ) and A 2 m(d m,t ) is a reducing subspace for ( n ) I A 2 mi v mj,t j v m j,t j B(A 2 m(d mj,t j )). Proof. The first statement follows from the inclusion D m,t D mj,t j. For the second, it is enough to prove that X j (B m (, w)η) A 2 m(d m,t ) where w D n, η D m,t and ( n ) X j := I A 2 mi v mj,t j v m j,t j. To this end, for each z j, w j D, we compute n ) D mj,t j B mj (z j, T j )B mj (w j, T j ) D mj,t j D mi,t i = D mj,t j B mj (z j, T j )B mj (w j, T j ) n D mi,t i )D m 2 j,t j n = D mj,t j D mi,t i )B mj (z j, T j )B mj (w j, T j ) Dm 2 j,t j n = D mi,t i )B mj (z j, T j )B mj (w j, T j ) Dm 2 j,t j. In particular, ( Dmj,T j B mj (z j, T j )B mj (w j, T j ) D mj,t j ) Dm,T D m,t (z j, w j D).

10 10 M. Bhattacharjee and J. Sarkar If w D n, η = n D m i,t i h D m,t and h H, then (2.4) gives X j (B m (, w)η) = n (Dmj B mk (z k, w k )),T j B mj (z j, T j )B mj (w j, T j ) D mj,t j η ) A 2 m(d m,t ). k=1 k j Therefore, R j B(A 2 m(d m,t )), j = 1,..., n, where ( n ) R j = I A 2 mi (v mj,t j v m j,t j ) A 2 mj (D m,t ). By (2.4) we have in particular, for w D n, η D m,t, and j = 1,..., n, (4.1) R j (B m (, w)η) n (Dmj = B mi (z i, w i )),T j B mj (z j, T j )B mj (w j, T j ) D mj,t j η ). Claim. {R 1,..., R n } is a family of commuting orthogonal projections. Proof of the claim. Since v mj,t j is an isometry, we deduce from the definition of R j that R j = Rj = R2 j, 1 j n, that is, {R j} n j=1 is a family of orthogonal projections. Now let p, q = 1,..., n, p q, w D n and η D m,t. Using (4.1), we obtain R p R q (B m (, w)η) n ) = R p B mi (z i, w i )(D mq,tq B mq (z q, T q )B mq (w q, T q ) D mq,tq η) = = i p,q i p,q i q B mi (z i, w i )(D mp,t p B mp (z p, T p )B mp (w p, T p ) D mp,t p ) (D mq,t q B mq (z q, T q )B mq (w q, T q ) D mq,t q η) B mi (z i, w i )(D mp,t p D mq,t q B mp (z p, T p )B mq (z q, T q ) = R q R p (B m (, w)η). B mp (w p, T p ) B mq (w q, T q ) D mp,t p D mq,t q )η Therefore R p R q = R q R p for all p, q = 1,..., n, proving the claim. We now investigate the product n j=1 R j. For computational simplicity, assume that, for each i = 1,..., n, f i (z, w) := B mi (z, T i )B mi (w, T i ) (z, w D).

11 Operator positivity and analytic models 11 For each w D n and η D m,t, we have n R j )(B m (, w)η) = R j (R 1 B m (, w)η) j=1 = j=1 j 1,2 R j ( n i 1,2 = j=1 j 1 n R j j=1 j 1 Continuing, we have n R j )(B m (, w)η) = j=1 i 1 ) B mi (, w i )D m1,t 1 f 1 (, w 1 )D m1,t 1 η ) B mi (, w i )D m1,t 1 D m2,t 2 f 1 (, w 1 )f 2 (, w 2 )D m1,t 1 D m2,t 2 η. = D mi,t i f i (, w i )D mi,t i η D mi,t i B mi (, T i )B mi (w i, T i ) D mi,t i η, and hence Theorem 3.3 yields V T V T = n R i. Summing up, we obtain: Theorem 4.2. Let T be a doubly commuting B m -contractive tuple on H. Then {R i } n is a family of commuting orthogonal projections and V T VT = R i. We need to introduce one more piece of notation. For m N n and j = 1,..., n, set In particular, ˆm j := (m 1,..., m j 1, }{{} 1, m j+1,..., m n ). j th A 2ˆm j = A 2 m 1 A 2 m j 1 H 2 A 2 m j+1 A 2 m n. Now let T be a doubly commuting B m -contractive tuple on H, and let 1 j n. Then (( n ) ) (( n ) ) ran R j = A 2 m i ran(v mj,t j v m j,t j ) A 2 m i A 2 m j (D m,t ) ( n ) = A 2 m i Q j,

12 12 M. Bhattacharjee and J. Sarkar where Q j = ran(v mj,t j v m j,t j ) A 2 m j (D m,t ). But ran(v mj,t j v m j,t j ) is an M z -invariant subspace of A 2 m j (D mj,t j ), hence Q j is an M z -invariant closed subspace of A 2 m j (D m,t ). By Theorem 2.3 there exists an auxiliary Hilbert space E j and a partially isometric multiplier θ j M(A 2 1 (E j), A 2 m j (D m,t )) such that R j = I A 2 m (D m,t ) M Θj M Θ j, where ( n ) (4.2) M Θj = I A 2 mi M θj. Notice that Θ j M(A 2ˆm j (E j ), A 2 m(d m,t )) is a partially isometric multiplier and Θ j (z) = θ j (z j ) (z D n ). Together with Theorem 4.2, this yields the following: Theorem 4.3. Let T be a doubly commuting B m -contractive tuple on H. Then there exist Hilbert spaces E k and partially isometric multipliers θ k M(A 2 1 (E k), A 2 m k (D m,t )), k = 1,..., n, such that (M Θi M Θ i )(M Θj M Θ j ) = (M Θj M Θ j )(M Θi M Θ i ) for all i, j, k = 1,..., n. Moreover V T VT = (I A 2 m (D m,t ) M Θi MΘ i ). In order to formulate our functional model for B m -contractive tuples, we need to recall the following result concerning commuting orthogonal projections (cf. [S14, Lemma 1.5]): Lemma 4.4. Let {P i } n be a collection of commuting orthogonal projections on a Hilbert space H. Then L := n ran P i is closed and the orthogonal projection of H onto L is given by P L = I n (I P i). We are now ready to present the main theorem of this section. Theorem 4.5. Let T be a doubly commuting B m -contractive tuple on H. Then there exist Hilbert spaces E k and partial isometric multipliers θ k M(A 2 1 (E k), A 2 m k (D m,t )), k = 1,..., n, such that H n = Q Θ := A 2 m(d m,t )/ Θ i A 2ˆm i (E i ) and (T 1,..., T n ) = (P QΘ M z1 QΘ,..., P QΘ M zn QΘ ),

13 Operator positivity and analytic models 13 where Θ i is the one-variable multiplier corresponding to θ i, i = 1,..., n, as defined in (4.2). Proof. We keep the notation of Theorem 4.3. Set P i := M Θi MΘ i, i = 1,..., n. By Theorem 4.3 we have I A 2 m (D m,t ) V T VT = I A 2 m (D m,t ) (I A 2 m (D m,t ) P i ). Now by Lemma 4.4, it follows that n (ran V T ) = ran M Θi = n Θ i A 2ˆm i (E i ). Therefore, ( n Q Θ := ran V T = Θ i A 2ˆm i (E i )) = A 2 m (D m,t )/ n Θ i A 2ˆm i (E i ). Now using the argument from the proof of Theorem 3.4 one can prove that (T 1,..., T n ) = (P QΘ M z1 QΘ,..., P QΘ M zn QΘ ). In the special case of m = (1,..., 1) we recover the functional model for doubly commuting tuples of pure contractions [BNS]. However, the methods used here are different from those in [BNS]. 5. Quotient modules of A 2 m. We have a particular interest in tuples of operators (M z1,..., M zn ) compressed to joint (M z 1,..., M z n )-invariant subspaces of reproducing kernel Hilbert spaces over D n. Let Q be a joint (M z 1,..., M z n )-invariant closed subspace of A 2 m and C zi = P Q M zi Q, i = 1,..., n. Then Q is called a doubly commuting quotient module of A 2 m if C z i C zj C zj C z i = 0 (1 i < j n). First, we compute the defect operator of a given doubly commuting quotient module Q of A 2 m: D 2 m,c z = B 1 m (z, w)(c z, C z) = P Q ( B 1 m (z, w)(m z, M z) ) Q. On the other hand, it is easy to see that (cf. [CDS, Theorem 3.3]) D 2 m,m z = B 1 m (z, w)(m z, M z) = P C, where P C is the orthogonal projection of A 2 m onto the one-dimensional subspace of all constant functions. Consequently, D 2 m,c z = P Q P C Q, and hence (5.1) rank D m,cz 1.

14 14 M. Bhattacharjee and J. Sarkar Theorem 5.1. Let Q be a quotient module of A 2 m. Then the following conditions are equivalent: (i) Q is doubly commuting. (ii) There exist M z -invariant closed subspaces Q i of A 2 m i, i = 1,..., n, such that Q = Q 1 Q n. (iii) There exist Hilbert spaces E i and partially isometric multipliers θ i M(A 1 (E i ), A 2 m i ), i = 1,..., n, such that Q = Q θ1 Q θn, where Q θj = A 2 m j /θ j A 1 (E j ), j = 1,..., n. Proof. Let us begin by observing that the operator C zi, i = 1,..., n, on Q = Q 1 Q n can be represented as C zi = P Q (I A 2 m1 I A 2 mi 1 M z I A 2 mi+1 I Qn ) Q = I Q1 I Qi 1 P Qi M z Qi I Qi+1 I Qn. This yields (ii) (i) and (iii) (i). The implication (ii) (iii) follows from Theorem 2.3, and (iii) (ii) is trivial. Hence it suffices to show (i) (iii). Assume (i). Then by Theorem 4.5, there exist Hilbert spaces E i and onevariable partially isometric multipliers Θ i M(A 2ˆm i (E i ), A 2 m(d m,cz )), i = 1,..., n, such that and (C z1,..., C zn ) Q = (PQΘ M z1 QΘ,..., P QΘ M zn QΘ ), Q Θ = A 2 m(d m,cz )/ n Θ i A 2ˆm i (E i ). Now by (5.1) we have D m,cz = {0}, or C. To avoid triviallities we assume that D m,cz = C. Then Q n = Q Θ = A 2 m/ Θ i A 2ˆm i (E i ). In particular, P QΘ = (I A 2 m M Θi MΘ i ) = which implies Q = Q Θ = Q θ1 Q θn n (I A 2 mi M θi Mθ i ), and concludes the proof. The implication (i) (ii) in the previous theorem was obtained in [CDS]. For the Hardy space case H 2 (D n ), that is, for m = (1,..., 1), this was observed in [BNS] and [S14]. Moreover, as we shall see in the next section, the same result holds for more general reproducing kernel Hilbert spaces over D n.

15 Operator positivity and analytic models /K-calculus and K-contractivity. The key concept in our approach is the natural connections between (i) operator positivity, implemented by the inverse of a positive definite kernel function on D, and a dilation map, again in terms of the kernel function, (ii) tensor product structure of reproducing kernel Hilbert spaces on D n, and (iii) operator positivity, implemented by the product of n positive definite kernel functions on D, of a doubly commuting n-tuple of operators. Consequently, our considerations can be applied even for a more general framework (in the sense of Arazy and Engliš [AE]). Let k be a positive definite kernel function on D and suppose k(z, w) is holomorphic in z and anti-holomorphic in w, and k(z, w) 0 for all z, w D. Let R k O(D, C) be the corresponding reproducing kernel Hilbert space. Moreover, assume that (i) C[z] is dense in R k, (ii) the multiplication operator M z on R k is a contraction, (iii) there exists a sequence {p k } k=0 C[z, w] of polynomials such that p k (z, w) 1 (z, w D) k(z, w) and sup p k (M z, Mz ) <. k We will call such a reproducing kernel Hilbert space a standard reproducing kernel Hilbert space, or just SRKH for short. Let R k be a SRKH and, by (i) above, let {ψ k } k=0 C[z] be an orthonormal basis of R k. For any nonnegative operator C and bounded linear operator T on a Hilbert space H, set f k,c (T ) = I H ψ m (T )Cψ m (T ). 0 m<k Definition 6.1. Let R k be a SRKH and T B(H). Then T is said to be k-contractive if sup k p k (T, T ) < and C := WOT- lim k p k(t, T ) exists and nonnegative, and SOT- lim k f k,c(t ) = 0. We are now ready to state the Arazy Engliš dilation result (see [AE, Corollary 3.2]). Theorem 6.2. Let R k be a SRKH and T B(H) be a k-contraction, and set D = ran C. Then there exists an M z -invariant closed subspace Q of R k D such that T = P Q M z Q.

16 16 M. Bhattacharjee and J. Sarkar In this case, the dilation map V T is given by (see [AE, (1.5)]) (V T h)(z) = k ψ k (z) C 1/2 ψ k (T ) h (h H). Finally, note that the statement of Theorem 4.5 can be generalized to this framework as follows (see [S15, Theorem 2.3]): Let H be a Hilbert space and S be a closed subspace of R k H. Then S is M z -invariant if and only if S = ΘH 2 (E) for some Hilbert space E and a partially isometric multiplier Θ M(H 2 (E), R k H). Consequently, Theorem 2.4 holds for the class of k-contractions. Theorem 6.3. Let R k be a SRKH and T B(H) be a k-contraction, and set D = ran C. Then there exists a Hilbert space E and a partially isometric multiplier θ M(H 2 (E), R k D) such that T = P Qθ M z Qθ where Q θ = (R k D) θh 2 (E). Now let R ki, i = 1,..., n, be n standard reproducing kernel Hilbert spaces over D, and set R K := R k1 R kn. Then R K is a reproducing kernel Hilbert space (see Tomerlin [To]) and K(z, w) = k i (z i, w i ) (z, w D n ). Let T be a doubly commuting tuple of operators on H and let T i be a k i -contraction, i = 1,..., n. Set C i = WOT- lim k p i,k(t i, T i ), where p i,k (z, w) 1/k i (z, w), i = 1,..., n. In a similar way to Lemma 3.1, one can prove that C i C j = C j C i for all i, j = 1,..., n, and C T := C i 0. In view of this observation, a doubly commuting tuple T is called K- contractive if T i is k i -contractive for all i = 1,..., n (see the remark at the end of Lemma 3.2). Consequently, all the results and proofs in this paper hold verbatim for doubly commuting K-contractive tuples as well. Acknowledgements. We are indebted to the referee for numerous comments and suggestions which improved this paper considerably. The research of the second author was supported in part by a National Board of Higher Mathematics (NBHM) Research Grant (no. NBHM/R.P.64/2014).

17 Operator positivity and analytic models 17 References [Ag] J. Agler, Hypercontractions and subnormality, J. Operator Theory 13 (1985), [AEM] C. Ambrozie, M. Engliš and V. Müller, Operator tuples and analytic models over general domains in C n, J. Operator Theory 47 (2002), [AT02] C. Ambrozie and D. Timotin, On an intertwining lifting theorem for certain reproducing kernel Hilbert spaces, Integral Equations Operator Theory 42 (2002), [AT03] C. Ambrozie and D. Timotin, A von Neumann type inequality for certain domains in C n, Proc. Amer. Math. Soc. 131 (2003), [AE] J. Arazy and M. Engliš, Analytic models for commuting operator tuples on bounded symmetric domains, Trans. Amer. Math. Soc. 355 (2003), [BB] J. Ball and V. Bolotnikov, A Beurling type theorem in weighted Bergman spaces, C. R. Math. Acad. Sci. Paris 351 (2013), [BNS] T. Bhattacharyya, E. K. Narayanan and J. Sarkar, Analytic model of doubly commuting contractions, arxiv: [CDS] A. Chattopadhyay, B. K. Das and J. Sarkar, Tensor product of quotient Hilbert modules, J. Math. Anal. Appl. 424 (2015), [CV] R. Curto and F.-H. Vasilescu, Standard operator models in the polydisc, Indiana Univ. Math. J. 42 (1993), [MV] V. Müller and F.-H. Vasilescu, Standard models for some commuting multioperators, Proc. Amer. Math. Soc. 117 (1993), [NF] B. Sz.-Nagy and C. Foiaş, Harmonic Analysis of Operators on Hilbert Space, North-Holland, Amsterdam, [S14] J. Sarkar, Jordan blocks of H 2 (D n ), J. Operator Theory 72 (2014), [S15] J. Sarkar, An invariant subspace theorem and invariant subspaces of analytic reproducing kernel Hilbert spaces. I, J. Operator Theory 73 (2015), [To] A. Tomerlin, Products of Nevanlinna Pick kernels and operator colligations, Integral Equations Operator Theory 38 (2000), Monojit Bhattacharjee Indian Institute of Science Department of Mathematics Bangalore, , India monojit12@math.iisc.ernet.in Jaydeb Sarkar Indian Statistical Institute Statistics and Mathematics Unit 8th Mile, Mysore Road Bangalore, , India jay@isibang.ac.in, jaydeb@gmail.com