arxiv:1612.04406v1 [math.fa] 13 Dec 2016 CHARACTERIZATION OF TRUNCATED TOEPLITZ OPERATORS BY CONJUGATIONS KAMILA KLIŚ-GARLICKA, BARTOSZ ŁANUCHA AND MAREK PTAK ABSTRACT. Truncated Toeplitz operators are C symmetric with respect to the canonical conjugation given on an appropriate model space. However, by considering only one conjugation one cannot characterize truncated Toeplitz operators. It will be proved, for some classes of inner functions and the model spaces connected with them, that if an operator on a model space is C symmetric for a certain family of conjugations in the model space, then is has to be truncated Toeplitz. A characterization of classical Toeplitz operators is also presented in terms of conjugations. 1. INTRODUCTION Let H denote a complex Hilbert space. Denote by L(H ) the algebra of all bounded linear operators on H. A conjugation is an antilinear involution C : H H such that C f,cg = g, f for all f,g H. An operator A L(H ) is called C symmetric if CAC=A. Let D denote the open unit disk, let T = D denote the unit circle and let m be the normalized Lebesgue measure on T. Denote by L 2 the space L 2 (T,m) and by L = L (T,m). Recall that a classical Toeplitz operator T ϕ with a symbol ϕ L on the Hardy space H 2 is given by the formula T ϕ f = P(ϕ f) for f H 2, where P: L 2 H 2 is the orthogonal projection. Denote by T the set of all Toeplitz operators, i.e., T ={T ϕ : ϕ L }. Let θ be a nonconstant inner function. Consider the so-called model space K 2 θ = H 2 θh 2 and the orthogonal projection P θ : L 2 K 2 θ. A truncated Toeplitz operator Aϕ θ with a symbol ϕ L2 is defined as A θ ϕ : D(Aθ ϕ ) K2 θ K2 θ ; Aθ ϕ f = P θ(ϕ f) Date: 12 December 2016. 1991 Mathematics Subject Classification. Primary 47B35, Secondary 47B32, 30D20. Key words and phrases. conjugation, C-symmetric operators, model space, truncated Toeplitz operator, Blaschke product, inner function. The research of the first and the third authors was financed by the Ministry of Science and Higher Education of the Republic of Poland. 1
TOEPLITZ OPERATORS AND CONJUGATIONS 2 for f D(A θ ϕ)={ f K 2 θ : ϕ f L2 }. Denote by T (θ) the set of all bounded truncated Toeplitz operators on K 2 θ. The conjugation C θ defined for f L 2 by the formula C θ f(z)=θ(z)z f(z), z =1, is a very useful tool in investigating Toeplitz operators. In fact, all truncated Toeplitz operators are C θ symmetric [7]. Truncated Toeplitz operators have been recently strongly investigated (see for instance [10, 1, 3, 4, 5, 6, 8]). However, usually only one (canonical) conjugation was involved in analysis on these operators. In this paper we suggest to consider a family of conjugations to study Toeplitz operators. In particular, we give a characterization of the classical Toeplitz operators as well as some special cases of truncated Toeplitz operators using conjugations. It is easy to see that if θ = z N, then K 2 θ =CN. The natural conjugation C N = C z N in C N can be expressed as C N (z 1,...,z N ) =( z N,..., z 1 ). Note that a matrix (a ) =1,...,N is C N symmetric if and only if it is symmetric with respect to the second diagonal, i.e., a = a N j+1,n i+1 for = 1,...,N. On the other hand, a finite matrix (a ) =1,...,N is a Toeplitz matrix if and only if it has constant diagonals, that is, a = a k,l if i j=k l. Hence, as D. Sarason in [10] observed, each N N Toeplitz matrix is C N symmetric but the reverse implication is true only if N 2. However, one can notice that for a given matrix(a ) =1,...,N, if the matrix is C n symmetric for every n N, i.e., a = a n j+1,n i+1 for n N and = 1,...n, then the matrix (a ) =1,...,N has to be Toeplitz. Corollary 2.3 gives a precise proof of this fact. One can ask if a similar property can be obtained for other inner functions than θ = z N. Using known matrix descriptions [5, 6, 8] we obtained the positive answer: for Blaschke product with a single zero in Section 3, for a finite Blaschke product with distinct zeros in Section 4 (the most demanding case), for an infinite Blaschke product with uniformly separated zeros in Section 5. For a general case we put the conjecture in Section 6. However, even for the simplest singular inner function θ(z) = exp( z+1 z 1 ) no similar description is known and to solve the conjecture probably a different approach is needed. In Section 2 we also give similar characterization of the classical Toeplitz operators on the Hardy space in terms of conjugations. 2. CHARACTERIZATION OF TOEPLITZ OPERATORS BY CONJUGATIONS Let α and θ be two nonconstant inner functions. We say that α divides θ (α θ) if ᾱθ is an inner function. It is easy to verify that K 2 α K2 θ for every α θ. It is known that truncated Toeplitz operators on K 2 θ are C θ symmetric but this property does not
TOEPLITZ OPERATORS AND CONJUGATIONS 3 characterize them, i.e., there are C θ symmetric operators on K 2 θ, which are not truncated Toeplitz ([7], [10, Lemma 2.1, Corollary on p.504]). Note however that A θ ϕ is C α symmetric for every α θ. Namely: Lemma 2.1. Let Aϕ θ : K2 θ K2 θ be a truncated Toeplitz operator. For every α θ the operator P α A θ is C ϕ K 2 α symmetric. α Proof. Note that P α A θ belongs to T (α). Actually, P ϕ K 2 α A θ = A α ϕ K 2 ϕ α, hence it is C α α symmetric by [10, Lemma 2.1]. A similar argument shows that if A T, then P α A K 2 α is C α symmetric for all inner functions α. The latter can be used to characterize all Toeplitz operators on H 2 : Theorem 2.2. Let A L(H 2 ). Then the following conditions are equivalent: (1) A T ; (2) C α A α C α = A α for all nonconstant inner functions α, where A α = P α A K 2 α ; (3) C α A α C α = A α for all α = zn, where A α = P α A K 2 α. Proof. The proof of the implication (1) (2) is similar to the proof of Lemma 2.1. Since(2) (3) is obvious, we will prove now that(3) (1). The equivalent condition for a bounded operator on H 2 to be Toeplitz is that it has to annihilate all rank-two operators of the form t = z m z r z m+1 z r+1 with m,r 0, in the sense that tr(at) = 0 (it follows form the well known Brown Halmos characterization of Toeplitz operators given in [2]). Each such operator can be obtained from 1 z k z l z k+l or z k 1 z k+l z l, with k,l 0. Hence our reasoning will be held only for such operators. Fix k,l 0 and let α = z n, n=k+l+ 1. Since the C α symmetry of A α gives C α z k = z n k 1 = z l and C α 1=z n 1 = z k+l, tr(a(1 z k ))= A1,z k = A α 1,z k = C α z k,c α A α 1 Similarly, = C α z k,a αc α 1 = z l,a αz k+l = A α z l,z k+l =tr(a(z l z k+l )). tr(a(z k 1))= tr(a(z k+l z l )). Therefore all operators of the form 1 z k z l z k+l, z k 1 z k+l z l for k,l 0, are annihilated by A. Hence A is Toeplitz. From the previous proof we can obtain
TOEPLITZ OPERATORS AND CONJUGATIONS 4 Corollary 2.3. Let A L(K 2 z N ), N N. Then A T (z N ) if and only if for every 1 n N the operator A n is C z n symmetric, i.e., C z na n C z n = A n, where A n = P n A K 2 and z n P n : K 2 z N Kz 2 n is the orthogonal projection. 3. THE CASE OF A BLASCHKE PRODUCT WITH A SINGLE ZERO Let α, θ be any nonconstant inner functions. We say that a unitary operator U : K 2 θ K 2 α defines a spatial isomorphism between T (θ) and T (α) if UT (θ)u = T (α), that is, A T (θ) if and only if UAU T (α). If such U exists, T (θ) and T (α) are said to be spatially isomorphic. The spatial isomorphism between spaces of truncated Toeplitz operators is discussed in [6, Chapter 13.7.4]. Proposition 3.1. Let α, θ be any nonconstant inner functions. Let U : K 2 θ K2 α be such that U defines a spatial isomorphism between T (θ) and T (α). Then UC θ = C α U. Proof. It is known [6, Chapter 13.7.4] that there are three basic types of unitary operators that define a spatial isomorphism between T (θ) and T (α). The requested intertwining property for one of those basic types is proved in [10, Lemma 13.1]. The proof for two other types is similar. Since every U : K 2 θ K2 α such that U defines a spatial isomorphism between T (θ) and T (α), is a composition of at most three of those basic types of operators, it follows that U also has this intertwining property. Let a D and N N. Denote b a (z)= z a 1 āz. Proposition 3.2. Let A L(K 2 b N). Then A T (bn a ) if and only if for every 1 n N the a operator A n is C b n a symmetric, i.e., C b n a A n C b n a = A n, where A n = P n A K 2 and P n : K 2 b n b N a a is the orthogonal projection. K 2 b n a Proof. The operator U ba given by 1 a 2 U ba f(z)= f b a (z) 1 āz defines a spatial isomorphism between C n = Kz 2 n and K2 b n for each n=1,...,n (see [6, a chapter 13.7.4(i)]). By Proposition 3.1, U ba intertwines the conjugations C z n and C b n a. Application of Corollary 2.3 finishes the proof. 4. THE CASE OF A FINITE BLASCHKE PRODUCT WITH DISTINCT ZEROS Let B be a finite Blaschke product of degree N with distinct zeros a 1,...,a N, (4.1) B(z)=e iγ N z a j 1 ā j z, j=1
TOEPLITZ OPERATORS AND CONJUGATIONS 5 where γ R. As usual, for w Dby kw B 1 B(w)B(z) (z)= 1 wz we denote the reproducing kernel for KB 2, that is, f(w)= f,k B w for f KB 2. Note that for j = 1,...,N we have (4.2) k j (z) := k B a j (z)= 1 1 ā j z. As it was observed in [5], the model space KB 2 is N dimensional and the functions k 1,...,k N form a (non orthonormal) basis for KB 2. A simple computation gives the following. Lemma 4.1 ([5], p.5). (1) (C B k j )(z)= B(z) z a j for j = 1,...,N. { 0 for i j, (2) C B k j,k i = B (a j ) for i= j. (3) k j,k i = 1 ā 1 j a i. Lemma 4.2. Let B be a finite Blaschke product of degree N with distinct zeros a 1,...,a N. Let C B be the conjugation in KB 2 given by C B f(z)=b(z)z f(z) for f KB 2. Assume that an operator A L(KB 2) has a matrix representation (b ) =1,...,N with respect to the basis {k 1,...,k N }. Then the following are equivalent: (1) A is C B symmetric; (2) Ak i,c B k j = Ak j,c B k i for all = 1,...,N; (3) B (a j )b j,i = B (a i )b for all = 1,...,N. Proof. The implication(1) (2) follows from Ak i,c B k j = C 2 B k j,c B Ak i = k j,a C B k i = Ak j,c B k i. The reverse implication can be proved similarly. To prove that(2) (3) note that Ak i = N b m,ik m. Hence, by Lemma 4.1(2), Analogously, Ak i,c B k j = N b m,i k m,c B k j =B (a j )b j,i. Ak j,c B k i =B (a i )b.
Let 1 n N. a 1,...,a n, (4.3) B n (z)= TOEPLITZ OPERATORS AND CONJUGATIONS 6 Denote by B n the finite Blaschke product with n distinct zeros n j=1 and by C n = C Bn the conjugation in K 2 B n given by z a j 1 ā j z, (C n f)(z)=b n (z)z f(z), z =1. Theorem 4.3. Let B be a finite Blaschke product of degree N with distinct zeros a 1,...,a N. Denote by B n the Blaschke product of degree n with zeros a 1,...,a n and by P n the orthogonal projection from KB 2 onto K2 B n for n = 1,...,N. Let A L(KB 2 ). The following conditions are equivalent: (1) A T (B); (2) for every Blaschke product B σ dividing B the operator A σ = P Bσ A K 2 is C Bσ Bσ symmetric; (3) for every n=1,...,n the operator A n = P n A K 2 is C n symmetric. Bn To give the proof of Theorem 4.3 we need two technical lemmas. Firstly, let us observe by (4.2) that k B n a j = ka B j = k j for 1 n N, j = 1,...,n. Hence {k 1,...,k n } is a basis for KB 2 n KB 2. Lemma 4.4. For 1 m,n N the following holds: 0 for m n,m j, (1) C n k j,k m = B n (a j) for m n,m= j, (2) P n k m = n B n (a m ) a m a j B n (a m ) k j=1 B n(a j )(ā m ā j ) j (3) B n 1(a n ) B n(a n ) = 1 a n 2 (4) B n 1 (a j) B n(a j ) = 1 ā na j a j a n for n>1; for m>n, for n<m; for n>1, j = 1,...,n 1. for j = 1,...,n; Proof. To show (1) note that C n k j KB 2 n KB 2 for 1 n N, j = 1,...,n, and that (C n k j )(z)= B n(z) z a j by Lemma 4.1(1). If m>n, then the reproducing property of k m yields C n k j,k m =(C n k j )(a m )= B n(a m ) a m a j. On the other hand, if m n, then it follows from Lemma 4.1(2) that { 0 for m j, C n k j,k m = B n(a j ) for m= j.
TOEPLITZ OPERATORS AND CONJUGATIONS 7 To show (2) assume that m>n and P n k m = n d l k l. Then, by part (1), for j= 1,...,n, l=1 B n (a m ) = C n k j,k m = C n k j,p n k m = a m a j n l=1 d l C n k j,k l =B n (a j) d j. Hence B n (a m ) d j = B n(a j )(ā m ā j ), which proves (2). The statements (3) and (4) follow directly from B n (z)=b n 1 (z) z a n 1 ā n z + B n 1(z) 1 a n 2 (1 ā n z) 2. Lemma 4.5. Let A L(K 2 B n ) have a matrix representation( ) =1,...,n with respect to the basis{k 1,...,k n }. Then A n 1 = P n 1 A K 2 Bn 1 has a matrix representation(b (n 1) ) =1,...,n 1, with respect to the basis{k 1,...,k n 1 }. Proof. Note that by Lemma 4.4(2), b (n 1) = + B n 1(a n ) n, j B n 1 (a i)(ā n ā i ), P n 1 k n = Hence, for j = 1,...,n 1, we have Since we get by Lemma 4.4(1). n 1 ( n P n 1 (Ak j )=P n 1 m, j k m = n 1 ( B n 1 (a n ) B n 1 (a m)(ā n ā m ) k m. ) = P n 1 ( n 1 m, j + B n 1(a n ) n, j B n 1 (a m)(ā n ā m ) ) k m. m, j k m ) + P n 1 n, j k n b (n 1) 1 = B n 1 (a i) P n 1(Ak j ),C n 1 k i, 1 n 1, b (n 1) = 1 B n 1 (a i) = n 1 ( + B n 1(a n ) n, j B n 1 (a i)(ā n ā i ) m, j + B n 1(a n ) n, j B n 1 (a i)(ā n ā m ) ) k m,c n 1 k i
TOEPLITZ OPERATORS AND CONJUGATIONS 8 Proof of Theorem 4.3. Since multiplying B by a constant of modulus 1 does not change KB 2, we can assume without any loss of generality that B is given by (4.1) with γ = 0, that is, B=B N. The implication (1) (2) follows form Lemma 2.1 and the implication (2) (3) is obvious. We only need to prove the implication (3) (1). This will be proved by induction. Note firstly that it is true for N = 2 by [10, p. 505]. Assume now that the assertion is true for n 1 < N, which means that A n 1 = P n 1 A K 2 is Toeplitz and has a matrix representation (b (n 1) Bn 1 ) =1,...,n 1 with respect to the basis{k 1,...,k n 1 } satisfying (4.4) b (n 1) = B n 1 (a 1) b(n 1) 1,i (ā 1 ā i )+b (n 1) 1, j (ā j ā 1 ), B n 1 (a i) ā j ā i for 1 n 1, i j, by [5, Theorem 1.4]. Assume also that A L(KB 2 n ) is C n symmetric and has a matrix representation ( ) =1,...,n with respect to the basis {k 1,...,k n }. We will show that A is Toeplitz, i.e., satisfies [5, Theorem 1.4]: = B n(a 1 ) b(n) 1,i (ā 1 ā i )+ 1, j (ā j ā 1 ), B n(a i ) ā j ā i for 1 n, i j. Since A n 1 is C n 1 symmetric, for = 1,...,n 1 we have, by Lemma 4.2 and Lemma 4.5, (4.5) b (n 1) j,i = B n 1 (a i) B n 1 (a j) b(n 1) = B n 1 (a i) B n 1 (a j) + B n 1(a n ) n, j. B n 1 (a i)(ā n ā i ) On the other hand, by Lemma 4.5 and using the C n symmetry of A, (4.6) b (n 1) j,i = j,i + B n 1(a n ) B n 1 (a j) n,i ā n ā j i,n = B n (a i) B n (a j) b(n) + B n (a i) B n 1 (a n ) B n (a n) B n 1 (a. j) ā n ā j Comparing (4.5) with (4.6) and putting i=1 we obtain n, j 1,n B n 1 (a n ) B n 1 (a = B n(a 1 ) B n 1 (a n ) j) ā n ā 1 B n(a n ) B n 1 (a + j) ā n ā j ( B n(a 1 ) B n(a j ) B n 1 (a 1) B n 1 (a j) ) 1, j.
TOEPLITZ OPERATORS AND CONJUGATIONS 9 Hence (4.7) n, j = B n(a 1 ) B n(a n ) 1,n (ā ( n ā 1 ) + ā n ā j Using Lemma 4.4 we can simplify B n(a 1 ) B n 1 (a n ) B n 1 (a j) B n(a j ) B n 1 (a ) 1) 1, j B n 1 (a n ) (ā n ā 1 ). B n (a 1) B n 1 (a n ) which together with (4.7) gives B n 1 (a j) B n (a j) B n 1 (a 1) B n 1 (a n ) ( = B n(a 1 ) 1 1 an ā j B n(a n ) 1 a n 2 + 1 a ) nā 1 ā j ā n ā n ā 1 = B n(a 1 ) (ā j ā 1 ) B n(a n )(ā j ā n )(ā n ā 1 ), (4.8) n, j = B n (a 1) b(n) 1,n (ā 1 ā n )+ 1, j (ā j ā 1 ) B n (a n) ā j ā n for 1 j n 1. From (4.8), the C n symmetry of A n and Lemma 4.2 we also get (4.9) i,n = B n(a n ) B n (a i) b(n) n,i = B n(a 1 ) B n (a i) b(n) 1,i (ā 1 ā i )+ ā n ā i 1,n (ā n ā 1 ) for 1 i n 1. By Lemma 4.2 and Lemma 4.5, we have for i=1,...,n 1, b (n 1) 1,i = B n 1 (a i) B n 1 (a 1) b(n 1) i,1 = B n 1 (a i) B n 1 (a i,1 1) + B n 1(a n ) n,1. B n 1 (a i) ā n ā i Using Lemma 4.2 again we obtain 1,n (4.10) b (n 1) 1,i = B n(a 1 ) B n 1 (a i) B n(a i ) B n 1 (a 1) b(n) 1,i + B n(a 1 ) B n 1 (a n ) B n(a n ) B n 1 (a. 1) ā n ā i
TOEPLITZ OPERATORS AND CONJUGATIONS 10 Now applying Lemma 4.5 to the left hand side of (4.4), and formula (4.10) to the right hand side of (4.4) we can calculate for all = 1,...,n 1, (4.11) Note that n, j + B n 1(a n ) B n 1 (a i) ā n ā i = B n (a 1) ā 1 ā i B n (a 1,i i) ā j ā + B n (a 1) i B n (a n) + B n (a 1) B n (a j) B n (a 1) B n 1 (a j) B n (a j) B n 1 (a i) B n 1 (a j) B n 1 (a i) ā j ā 1 1, j ā j ā i by Lemma 4.4. Moreover, (4.12) B n 1 (a n ) (ā 1 ā i ) 1,n B n 1 (a i) (ā n ā i )(ā j ā i ) ā j ā 1 1, j ā j ā + B n (a 1) i B n (a n) = B n (a 1) ā j ā 1 B n (a 1, j i) ā j ā + B n 1(a n ) i B n 1 (a i) 1 ā j ā i Hence, (4.11) and (4.12) give (ā1 ā i ā n ā i + ā j ā 1 ā n ā j n, j + B n 1(a n ) B n 1 (a = B n(a 1 ) i) ā n ā i B n(a i ) + B n 1(a n ) B n 1 (a i) 1 B n(a 1 ) ā n ā i B n(a n ) ) = B n 1 (a n ) ā j ā 1 B n 1 (a i) (ā n ā j )(ā j ā i ) b(n) 1,n. B n (a 1) ā j ā 1 B n (a n) (ā n ā i )(ā j ā n ) b(n) 1, j ā n ā 1 (ā n ā i )(ā n ā j ). 1,i (ā 1 ā i )+ 1, j (ā j ā 1 ) ā j ā i 1,n (ā 1 ā n )+ 1, j (ā j ā 1 ) ā j ā n. Taking into account (4.8) and (4.9), the above equation implies that = B n(a 1 ) b(n) 1,i (ā 1 ā i )+ 1, j (ā j ā 1 ) B n(a i ) ā j ā i for all 1 n, i j, which completes the proof. 5. AN INFINITE BLASCHKE PRODUCT WITH UNIFORMLY SEPARATED ZEROS Let B be an infinite Blaschke product, (5.1) B(z)=e iγ a j z a j 1 ā j z, γ R, j=1 ā j
TOEPLITZ OPERATORS AND CONJUGATIONS 11 (if a j = 0, then ā j / a j is interpreted as 1) with uniformly separated zeros a 1,a 2,..., i.e., (5.2) inf a j a n 1 ā j a n δ n j n for some δ > 0. In particular, the zeros {a j } j=1 are distinct. As before, B n, n N, denotes the finite Blaschke product with zeros a 1,...,a n, given by (4.3). Theorem 5.1. Let B be an infinite Blaschke product with uniformly separated zeros {a j } j=1. Denote by B n the Blaschke product of degree n with distinct zeros {a 1,...,a n } and by P n the orthogonal projection form KB 2 onto K2 B n for n N. Let A L(KB 2 ). The following conditions are equivalent: (1) A T (B); (2) for every Blaschke product B σ dividing B the operator A σ = P Bσ A K 2 Bσ is C Bσ symmetric; (3) for every n Nthe operator A n = P n A K 2 Bn is C n symmetric. Again, before we give the proof some preparations are necessary. Clearly, K 2 B n K 2 B for all n N and k B a j = k j for all j N. Condition (5.2) implies that the reproducing kernels k j, j N, form a basis for KB 2 (for more details see [6, Chapter 12], [7] or [9]). In particular, every f KB 2 can be written as f = where the series converges in the norm. f,c B k j j=1 B (a j ) k j, Lemma 5.2. Let A L(KB 2) have a matrix representation (b ) =1 with respect to the basis{k i : i N}. Then A n = P n A K 2 has a matrix representation( Bn ) =1,...,n, = b + with respect to the basis{k 1,...,k n }. Proof. Let n N and 1 n. Since Lemma 4.4(1) gives A n k j = m=n+1 n B n (a m )b m, j B n (a i)(ā m ā i ), m, j k m, = 1 B n(a i ) A nk j,c n k i.
TOEPLITZ OPERATORS AND CONJUGATIONS 12 Since Ak j = and the series converges in norm, we get by Lemma 4.4(1). b m, j k m, = 1 B n(a i ) Ak j,c n k i = 1 B n(a i ) = b + 1 B n (a i) Corollary 5.3. For all N, m=n+1 B n (a m ) b m, j ā m ā i b = lim n. b m, j k m,c n k i Proof. It is known that the infinite Blaschke product B converges uniformly on compact subsets ofd. It follows that if λ n =( 1) n n ā j j=1 a j, n N, then λ n B n B and λ n B n B as n (uniformly on compact subsets of D). In particular, λ n B n (a i) B (a i ) as n for each i N. Fix N. Let n max{} and write Ak j = n As in the proof of Lemma 5.2, b m, j k m + r n, where r n = m=n+1 b m, j k m. = b + 1 B n(a i ) r n,c n k i =b + 1 λ n B n(a i ) r n,λ n C n k i, where the last equality follows form the fact that λ n T. Since r n tends to zero in the norm, the sequence(λ n C n k i ) n i is bounded and λ n B n (a i) B (a i ), we get ( ) lim n b(n) 1 = b + lim r n λ n B n,λ n (a n C n k i = b. i) Proof of Theorem 5.1. As in the proof of Theorem 4.3, without loss of generality, assume that B is given by (5.1) with γ = 0. The implication (1) (2) follows from Lemma 2.1 and the implication(2) (3) is obvious. We only need to prove(3) (1). Let A L(KB 2) and assume that A n = P n A K 2 is C n symmetric for every n N. By Bn [8, Remark 2.4], to prove that A T (B) it is enough to show that (5.3) b = B (a 1 ) B (a i ) ( ) b1,i (ā 1 ā i )+b 1, j (ā j ā 1 ) ā j ā i
TOEPLITZ OPERATORS AND CONJUGATIONS 13 for all i j, where (b ) =1 is the matrix representation of A with respect to the basis {k i : i N}. Fix N, i j, and take an arbitrary N max{}. By (3), P n A N K 2 = Bn A n is C n symmetric for all n=1,...,n. Hence Theorem 4.3 implies that A N T (B N ). By [5, Theorem 4.1], (5.4) b (N) = B N (a 1) b(n) 1,i (ā 1 ā i )+b (N) 1, j (ā j ā 1 ), B N (a i) ā j ā i where (b (N) ) =1,...,N is the matrix representation of the operator A N with respect to the basis {k 1,...,k N }. Taking the limit in (5.4) as N tends to infinity we get (5.3) because b (N) b and B N (a i) B (a i ) by Corollary 5.3 and its proof. 6. CONJECTURE Theorems 2.2, 4.3, 5.1 and Proposition 3.2 suggest that the following conjecture can be true: Conjecture 6.1. Let θ be a nonconstant inner function, and let A L(K 2 θ ). Then A T (θ) if and only if for every nonconstant inner function α dividing θ the operator A α = P α A K 2 α is C α symmetric. The following example supports the conjecture. Example 6.2. Consider B(z)=z 2 w z 1 wz, where w 0. Then the space KB 2 has dimension 3 and the set {1,z, z 2 k w k w}, k w (z)=(1 wz) 1, is an orthonormal basis for KB 2. We first describe the operators form T (B) in terms of their matrix representations z with respect to the basis {1,z, 2 k w k w}. Let A B ϕ, ϕ L 2, be an operator from T (B), and let M A B ϕ =(b ) be its matrix representation. By [10, Theorem 3.1] we can assume that ϕ BH 2 + BH 2, namely, that ϕ = c 2 z 2 k w k w + c 1 z+c 0 + c 1 z+c 2 z 2 k w k w. It is now a matter of a simple computation to see that the matrix M A B ϕ =(b ) is given by c 0 c 1 c 2 c 1 c 0 c 2 w+ c 1 k w c c 1 2 k w + c 2w c 2 w 2 k w +c 1 w+c 0 + c 1 w+c 2 w 2 k w.
TOEPLITZ OPERATORS AND CONJUGATIONS 14 From this, the elements b are described by the following system of equations (6.1) (6.2) (6.3) (6.4) b 2,2 = b 1,1 b 2,3 = wb 1,3 + k w 1 b 1,2 b 3,2 = k w 1 b 2,1 + wb 3,1 b 3,3 = b 1,1 + w k w b 2,3 + w k w b 3,2 = b 1,1 + w 2 k w b 1,3 + wb 1,2 + wb 2,1 + w 2 k w b 3,1. Clearly, each 3 3 matrix(b ) satisfying (6.1) (6.4) is determined by five elements (the first row and the first column) and the space M B of all such matrices has dimension 5. As matrices representing operators from T (B) have to belong to M B and the dimension of T (B) in this case is also 5, we conclude that a linear operator A form KB 2 into K2 B z belongs to T (B) if and only if its matrix representation with respect to {1,z, 2 k w k w} satisfies (6.1) (6.4). Now let A be an operator from KB 2 into K2 B such that for every B σ B the compression A σ = P Bσ A Bσ is C Bσ -symmetric. Using the above characterization we show that A must belong to T (B). Let M A = (b ) be the matrix representation of A with respect to the z basis{1,z, 2 k w k w}. Our goal is to show that(b ) satisfies (6.1) (6.4). Let B 1 (z)=z 2 and A 1 = P B1 A B1. Then the space KB 2 1 is spanned by{1,z}, C B1 1=z, C B1 z=1, and the C B1 -symmetry of A 1 gives (6.1). Let B 2 (z)=z w z 1 wz and A 2 = P B2 A B2. Then the space K 2 B 2 is spanned by{1,k w }, Moreover, we have and C B2 1= w z 1 wz, and C B 2 k w = zk w. C B z= w z 1 wz = C B 2 1, C B (z 2 k w )= k w, wb 1,3 + k w 1 b 1,2 = k w 1 A ( wz 2 k w + z ),1. Since wz 2 k w + z=zk w and A, A 2 are symmetric with respect to C B and C B2, respectively, we obtain (6.2). Namely, wb 1,3 + k w 1 b 1,2 = k w 1 A(zk w ),1 = k w 1 A 2 C B2 k w,1 = k w 1 C B2 A 2 k w,1 = k w 1 A 2 C B2 1,k w = k w 1 AC B z,c B (z 2 k w ) = k w 1 C B A z,c B (z 2 k w ) = k w 1 A(z 2 k w ),z =b 2,3.
TOEPLITZ OPERATORS AND CONJUGATIONS 15 Similarly we can obtain (6.3). To get (6.4) firstly, by using C B -symmetry of A, we have From this b 3,3 = k w 2 A(z 2 k w ),z 2 k w = k w 2 AC B k w,c B k w = k w 2 Ak w,k w. b 3,3 b 1,1 =(1 w 2 ) Ak w,k w A1,1 = A ( 1 w w z 1 wz),kw A1,1 which completes the proof. = A1,k w 1 w A ( w z 1 wz),kw =w A1,zk w +w AC B z,c B (z 2 k w ) = w A 2 1,C B2 k w +w A(z 2 k w ),z = w A 2 k w,c B2 1 +w k w b 2,3 = w AC B (z 2 k w ),C B z +w k w b 2,3 = w Az,z 2 k w +w k w b 2,3 = w k w b 3,2 + w k w b 2,3, REFERENCES [1] A. BARANOV, I. CHALENDAR, E. FRICAIN, J. MASHREGHI AND D. TIMOTIN, Bounded symbols and reproducing kernels thesis for truncated Toeplitz operators. J. Funct. Anal. 259 (2010), 2673 2701. [2] A. BROWN, P. R. HALMOS, Algebraic properties of Toeplitz operators, J. Reine Angew. Math. 213 (1963/64), 89 102. [3] C. CÂMARA, J. JURASIK, K. KLIŚ-GARLICKA AND M. PTAK, Characterizations of asymmetric truncated Toeplitz operators, arxiv:1607.03342. [4] M. C. CÂMARA AND J. R. PARTINGTON, Spectral properties of truncated Toeplitz operators by equivalence after extension, J. Math. Anal. Appl. 433 (2016), 762 784. [5] J. A. CIMA, W. T. ROSS AND W. R. WOGEN Truncated Toeplitz operators on finite dimensional spaces, Oper. Matrices 2 (2008), 357 369. [6] S. R. GARCIA, J. MASHREGHI AND W. T. ROSS, Introduction to model spaces and their operators., Cambridge University Press 2016. [7] S. R. GARCIA, M. PUTINAR, Complex symmetric operators and applications, Trans. Amer. Math.Soc. 358 (2006), 1285 1315. [8] B. ŁANUCHA, Matrix representations of truncated Toeplitz operators, J. Math. Anal. Appl. 413 (2014), 430 437. [9] N. NIKOL SKIǏ, Treatise on the shift operator, Springer-Verlag, Berlin, 1986. [10] D. SARASON Algebraic properties of truncated Toeplitz operators, Oper. Matrices 1 (2007), 491 526. KAMILA KLIŚ-GARLICKA, INSTITUTE OF MATHEMATICS, UNIVERSITY OF AGRICULTURE, BALICKA 253C,30-198 KRAKOW, POLAND E-mail address: rmklis@cyfronet.pl BARTOSZ ŁANUCHA, DEPARTMENT OF MATHEMATICS, MARIA CURIE-SKŁODOWSKA UNIVERSITY, MARIA CURIE-SKŁODOWSKA SQUARE 1, 20-031 LUBLIN, POLAND E-mail address: bartosz.lanucha@poczta.umcs.lublin.pl
TOEPLITZ OPERATORS AND CONJUGATIONS 16 MAREK PTAK, INSTITUTE OF MATHEMATICS, UNIVERSITY OF AGRICULTURE, BALICKA 253C, 30-198 KRAKOW, POLAND AND INSTITUTE OF MATHEMATICS, PEDAGOGICAL UNIVERSITY, UL. PODCHO- RA ŻYCH 2, 30-084 KRAKÓW, POLAND E-mail address: rmptak@cyfronet.pl