arxiv: v2 [math.oa] 14 Jan 2019

Transcription

1 NORMS OF VECTOR FUNCTIONALS arxiv:60.00v [math.oa] 4 Jan 09 M. ANOUSSIS, N. OZAWA, AND I. G. TODOROV Abstract. We examine the question of when, and how, the norm of a vector functional on an operator algebra can be controlled by the invariant subspace lattice of the algebra. We introduce a related operator algebraic property, and show that it is satisfied by all von Neumann algebras and by all CSL algebras. We exhibit examples of operator algebras that do not satisfy the property or any scaled version of it.. Introduction and preliminaries Vector functionals have played a fundamental role in the theory of operator algebras since its inception. In the area of selfadjoint algebras, they arise naturally as pure states and through the GNS construction [8]. In the realm of non-selfadjoint operator algebras, they are at the base of the notions of reflexivity [9] and hyperreflexivity [4]. In this note, we study the question of whether the norm of a vector functional on a given operator algebra can be controlled through the invariant subspace lattice of the algebra. We propose a new bound for the norms of vector functionals on certain classes of operator algebras, establishing minimax inequalities that capture the duality between the algebras and their subspace lattices. In order to describe our results in more detail, we introduce some notation. Let B(H) be the collection of all bounded linear operators acting on a Hilbert space H and P(H) be the set of all projections, that is, self-adjoint idempotents, on H. If A B(H) is a unital operator algebra, let () LatA = {L B(H) : projection,(i L)AL = {0}} be the invariant subspace lattice of A. Given vectors x,y H, let ω x,y be the vector functional on B(H) defined by ω x,y (T) = (Tx,y), and let ω x,y A be the restriction of ω x,y to A. We are interested in the question for which operator algebras A the inequality () inf L LatA ( (I L)x + Ly ) ω x,y A holds for all vectors x,y H. If () is satisfied, we say that A possesses property (V). We prove that all von Neumann algebras and all CSL algebras possess property(v). We introduce a scaled version of the property, in which Date: 3 May Mathematics Subject Classification. Primary: 47L05; Secondary: 46L0, 47L35. Key words and phrases. vector functional, von Neumann algebra, CSL algebra.

2 M. ANOUSSIS, N. OZAWA, AND I. TODOROV () holds up to a constant, and show that the algebra of operators leaving two non-trivial closed subspaces in generic position invariant satisfies it if and only if the angle between the subspaces is positive. In particular, this implies that if the angle between the subspaces is zero then the corresponding algebra does not possess (V). Intherestofthissection, wefixnotationandrecallsomenotionsneededin thesequel. WefixthroughoutaHilbert spaceh. For asubsets B(H), we writeball(s) for theset of all contractions ins. We recall theweak operator topology on B(H), denoted here by w, in which a net (A i ) i converges to an operator A if and only if ω x,y (A i ) ω x,y (A) for all vectors x,y H, and the strong operator topology, denoted by s, in which (A i ) i converges to an operator A if and only if A i x Ax for every vector x H. We note that Ball(B(H)) is w-compact. If L is a projection, we let as usual L = I L. The natural order in P(H) is the order of a (complete) lattice; by a subspace lattice we will mean a sublattice of P(H) that is closed in the strong operator topology. It is easily verified that, if A B(H) is a unital (and not necessarily selfadjoint) operator algebra then the set LatA defined in () is a subspace lattice. A commutative subspace lattice (CSL) is a subspace lattice L such that PQ = QP for all P,Q L. A CSL algebra is an algebra of the form AlgL for some CSL L, where AlgL = {A B(H) : L AL = 0, for all L L} is the algebra of all operators in B(H) leaving the ranges of projections in L invariant. We refer the reader to [3] and [5] for a background on CSL s and CSL algebras. We finish this section with a reformulation of(). Given a subspace lattice L on H, let E L = {(x,y) H H : there exists L L with Lx = x,ly = 0}. The left hand side of () is equal to d((x,y),e L ), where d denotes the distance in the Hilbert space H H. Thus, inequality () becomes d((x,y),e L ) ω x,y A.. Validity of property (V) IfLisasubspacelattice actingonahilbertspaceh, wedenotebyconvl thew-closureoftheconvex hullofl; notethatconvlisa(w-closed) convex subset of B(H). Lemma.. Let H be a Hilbert space, x,y H, A B(H) be a unital operator algebra and L = LatA. Then inequality () is equivalent to (3) inf A ConvL (((I A)x,x)+(Ay,y)) ω x,y A. Proof. Consider the function f : ConvL R + given by f(x) = ((I X)x,x)+(Xy,y), X ConvL;

3 NORMS OF VECTOR FUNCTIONALS 3 clearly, f is continuous in the weak operator topology. Moreover, f is affine in the sense that if X,Y ConvL and s and t are non-negative numbers with s+t =, then f(sx +ty) = sf(x)+tf(y). By Bauer s Maximum Principle (see [, 7.69]), there exists an extreme point B of ConvL such that min X ConvL f(x) = f(b). By the converse of the Krein-Milman Theorem, B belongs to the weak closure L w of L. Thus, there exists a net (P ν ) ν L such that P ν ν B weakly; hence f(p ν ) ν f(b). It follows that that is, inf L LatA ( (I L)x + Ly ) lim ν P ν x + P ν y = f(b), inf A ConvL (((I A)x,x)+(Ay,y)) inf L LatA ( (I L)x + Ly ). Since the reverse inequality is trivial, the claim follows. Remark. It follows from the proof of Lemma. that the infimum on the left hand side of (3) is attained. Let A be a von Neumann algebra acting on a Hilbert space H, and denote by P the set of all positive contractions in A. By Lemma., property (V) is in this case equivalent to the validity of the inequality (4) inf B P ((Bx,x)+((I B)y,y)) ω x,y A, for all x,y H. Lemma.. Let A B(H) be a von Neumann algebra. Let (x,y) and (ξ,η) be pairs of vectors in H, and V A be a partial isometry such that Vx = ξ, V Vx = x and Vy = η. If (4) holds for the pair (ξ,η) in the place of (x,y), then it also holds for the pair (x,y). Proof. Set P = V V. By assumption, there exists B P such that ω ξ,η A (Bξ,ξ)+((I B)η,η). Let B = V BV +P ; then B P. Moreover, ω x,y A = sup{(ax,y) : A Ball(A)} = sup{(av Vx,y) : A Ball(A)} = sup{(v AVx,y) : A Ball(A)} = ω ξ,η A (Bξ,ξ)+((I B)η,η) = (BVx,Vx)+((I B)Vy,Vy) = (V BVx,x)+((P V BV)y,y) = ( Bx,x)+((I B)y,y). Lemma.3. Let A B(H) be a von Neumann algebra with property (V) and E be a projection in A. Then A EH possesses property (V).

4 4 M. ANOUSSIS, N. OZAWA, AND I. TODOROV Proof. Let x,y EH. By the assumption, Lemma. and the subsequent Remark, there exists A P such that (Ax,x)+((I A)y,y) ω x,y A. Similarly to the proof of Lemma., set B = E +EAE; then B P and ω x,y AE = ω x,y A (Ax,x)+((I A)y,y) = (EAEx,x) +((E EAE)y,y) = (Bx,x)+((I B)y,y). We will make use of the following standard fact. Lemma.4. Let N B(H) be a von Neumann algebra and ξ,η H be vectors such that ω ξ,ξ N = ω η,η N. Then there exists a partial isometry V N such that Vξ = η and V Vξ = ξ. Theorem.5. Every von Neumann algebra possesses property (V). Proof. The proof is split into several steps. Step. Assume that A B(H) is in standard form, and denote by P the corresponding positive cone of vectors in H (see [, Chapter IX] for details regarding the standard form of a von Neumann algebra). Suppose, in addition, that x,y P. By [, Theorem IX..], (5) x y (ω x ω y ) A. Write (ω x ω y ) + (resp. (ω x ω y ) ) for the positive (resp. negative) part of (ω x ω y ) A. Let P be the projection onto the support of (ω x ω y ) ; then P A. Taking into account that x,y belong to P and using inequality (5), we have (x,y) ω x (I)+ω y (I) ((ω x ω y )(P ) (ω x ω y )(P)) which implies (4). = (ω x (P)+ω y (P )), Step. WestillassumethatA B(H)isinstandardform, andletx,y H be arbitrary. There exist vectors x and y in P such that ω x A = ω x A and ω y A = ω y A (see [, Theorem IX.. (iv)]). By Lemma.4, there exist partial isometries U,V A such that U x = x and V y = y; note that, in addition, U x = x and V y = y. Thus, ω x,y A = sup{ (Ax,y) : A Ball(A)} = sup{ (V AU x, y ) : A Ball(A)} ω x, y A. By symmetry, ω x,y A = ω x, y A. Similarly, for every projection Q A, we have Qx = QU x = UQ x Q x.

5 NORMS OF VECTOR FUNCTIONALS 5 By symmetry, Qx = Q x and Qy = Q y. Thus, (4) follows from Step. Step 3. Assume that M B(H) is a von Neumann algebra in standard form, K is a Hilbert space, A = M K, ξ H, z K with z =, x = ξ z and y H K. Write Q for the projection onto Cz. Let η H and y 0 be such that (I Q)y 0 = 0 and y = η z + y 0. By Step, there exists a projection P M such that (6) Pξ + P η ω ξ,η M. Set L = P Q + I Q ; clearly, L is a projection in A. Moreover, ω x,y A = ω ξ,η M, Lx = Pξ and L y = P η. Thus, (6) implies Lx + L y ω x,y A. Step 4. Assume that M B(H) is a von Neumann algebra in standard form, K is a Hilbert space, A = M K and x,y H K. Since M is in standard form, there exists a vector ξ H such that ω x (A I) = ω ξ (A), A M. Let z K be any unit vector. We thus have ω x (A I) = ω ξ z (A I), A M. By Lemma.4, there exists a partial isometry V A such that Vx = ξ z and V Vx = x. By Lemma. and Step 3, (4) holds for the pair (x,y). Step 5. Let A be arbitrary, and let M B(H) be its standard form. By [, Theorem IV.5.5], A is unitarily equivalent to the algebra E(M K )E, for some projection E (M K ). It follows from Step 4 and Lemma.3 that (V) holds for A. We next turn our attention to CSL algebras. Theorem.6. Every CSL algebra possesses property (V). Proof. Let L be a CSL on H and let A = AlgL. Fix x,y H. We first prove the statement in the case L is finite. Let P L be such that (7) P x + Py L x + Ly, for every L L. Set K = PH, K = P H, x = Px, x = P x, y = Py, y = P y, and let L = {L K : L L} and L = {L K : L L} be the restrictions of L to K and K, respectively. (Note that, since K and K are invariant for each L L, these restrictions are well-defined.) We claim that (8) L y L x, L L. To show this, assume that PL y > PL x for some L L. Then (PL) x + PLy = P Lx + P L x + PL x + PLy < P Lx + P L x + PL y + PLy = P x + Py,

6 6 M. ANOUSSIS, N. OZAWA, AND I. TODOROV which contradicts (7) and hence (8) is established. By [6], there exists T Ball(AlgL ) such that T x = y. Similarly, we claim that (9) L x L y, L L. To show (9) suppose, by way of contradiction, that LP x > LP y for some L L. Then (P L) x + (P L)y = P L x + P Ly + PL y + PLy < P L x + P Lx + PL y + PLy = P x + Py, which contradicts (7) and hence (9) is established. By [6], there exists T Ball((AlgL ) ) such that T y = x. Let T = T T B(K K ). For every L L, we have that L TL = (L P L P )(T T )(LP LP ) and so T Ball(A). Also, = (L PT LP) (L P T LP ) = 0, ω x,y A ω x,y (T) = ((PTP +P TP )x,y) = (T x,y )+(T x,y ) = (T x,y )+(x,t y ) = y + x = P x + Py = d((x,y),e L ). Thus, the claim of the theorem is proved in the case L is finite. Now assume L is an arbitrary CSL. It is straightforward that there exists a sequence (L n ) n= of finite CSL s such that L n L n+ for each n N and n= L n is strongly dense in L. We claim that (0) inf X ConvL (((I X)x,x)+(Xy,y)) liminf n N d((x,y),e Ln ). ( ) To see this, suppose that d (x,y),e Lnk k δ, for some strictly increasing sequence (n k ) k N N. Let ǫ > 0 and k 0 N be such that () L n k x + L nk y δ +ǫ, k k 0. Since the unit ball of B(H) is compact in the weak operator topology, we may assume, after passing to a subsequence if necessary, that L nk k A weakly, for some A B(H). By assumption, A ConvL. Moreover, and now () implies L n k x + L nk y k ((I A)x,x)+(Ay,y), ((I A)x,x)+(Ay,y) δ +ǫ. Inequality (0) follows by letting ǫ tend to zero. Let A n = AlgL n, n N; then n= A n = A. We have that () limsup n N ω x,y An ω x,y A.

7 Indeed, suppose that NORMS OF VECTOR FUNCTIONALS 7 ω x,y Ank k δ, for some strictly increasing sequence (n k ) k N N. Let T k Ball(A nk ) be such that ω x,y Ank = (T k x,y). Passing to a subsequence if necessary, we may assume that T k k T in the weak operator topology, for some T B(H). Then T Ball(A) and so δ = lim k (T k x,y) = (Tx,y) ω x,y A. By the first part of the proof, inequality () holds for each of the algebras A n. Lemma. and inequalities (0) and () now imply that () holds for A. Remark Suppose that an operator algebra A B(H) has property (V) and let x,y H, x = y =. Then a necessary and sufficient condition for the existence of an operator T Ball(A) with Tx = y is the validity of the inequalities (3) L y L x, L LatA. Indeed, it is straightforward to check that the inequalities (3) are necessary. Conversely, assuming (3), we have L x + Ly L y + Ly = y =, L LatA, and since A is assumed to have property (V), by Theorem.6, ω x,y A. Since x and y are unit vectors, ω x,y A =, and hence there exists T Ball(A) such that (Tx,y) =. Thus, we have equality in the Cauchy- Schwarz inequality and hence λtx = y for some (unimodular) scalar λ. We note, however, that the observation in the previous paragraph cannot be used to give a different proof of the necessary and sufficient conditions for the solution of the equation Tx = y given in [6] since the result of [6] was used in the proof of Theorem Validity of (V ) and violation of (V) In this section, we exhibit an example of a weakly closed unital operator algebra without property (V). We say that an operator algebra A B(H) satisfies property (V ) if there exists c > 0 such that (4) inf L LatA ( L x + Ly ) c ω x,y A, for all x,y H. Property (V ) is clearly weaker that (V) and can bethought of as a quantitative version of the latter. Let N and M beclosed subspacesof ahilbert spaceh. Following Halmos [7], we say that N and M are in generic position if N M = N M = M N = M N = {0}. We say that the angle between N and M is positive if the algebraic sum N+M is closed; otherwise, we say that the angle between N and M is zero.

8 8 M. ANOUSSIS, N. OZAWA, AND I. TODOROV It follows from [7] that if N and M are closed subspaces of a Hilbert space H in generic position, then there exists a Hilbert space H 0 such that, up to unitary equivalence, H = H 0 H 0, N = {(x,bx) : x H 0 } and M = {(x, Bx) : x H 0 } where the operator B B(H 0 ) satisfies the conditions (a) 0 B I; (b) kerb = ker(i B) = {0}. Moreover, the angle between N and M is positive if and only if the operator B is invertible. Let P (resp. Q) be the orthogonal projection onto N (resp. M). Writing [ (I +B Γ = ) ] 0 0 (I +B ), we have [ ] I B P = Γ B B, P = Γ [ ] I B Q = Γ B B, and Q = Γ [ B B B I ], [ B B B I In the rest of the section, we denote by A the algebra of operators on H that leave N and M invariant; note that LatA = {0,P,Q,I}. Let B = { T = We will need the following result (see [0]). [ ] } C 0 : C,D B(H 0 D 0 ). Proposition 3.. Suppose that the angle between N and M is positive. Set a = / and [ ] [ai ] B 0 ai S =. 0 B ai ai Then the operator S is invertible and A = SBS. Fix x,x,y,y H 0, and let x = (x,x ), y = (y,y ). Assuming that the angle between N and M is positive, let and ]. m = a B x +B x +a B x B x, m = a B x +B x +a B y B y, m 3 = a B y +B y +a B x B x m 4 = a B y +B y +a B y B y. Lemma 3.. We have that min{m,m,m 3,m 4 } ω S x,s y B.

9 NORMS OF VECTOR FUNCTIONALS 9 Proof. Note that and [ ] S a(b x x = +B x ) a( B x +B x ) [ ] S a(b y y = +B y ). a( B y +B y ) The assertion follows from the fact that B satisfies property (V) (see Theorem.5). Set a = x + x, a = P x + Py, a 3 = Q x + Qy and a 4 = y + y. Lemma 3.3. There exists c 0 such that a cm,a cm 3,a 3 cm and a 4 cm 4. In particular, there exists c 0 with Proof. We have min{a,a,a 3,a 4 } cmin{m,m,m 3,m 4 }. a = x + x B Bx + x B ( Bx + x ) = B ( Bx x + Bx +x ) B ( B (B x B x ) + B (B x +B x ) ) B B ( B x B x + B x +B x ) ) B B a m,

10 0 M. ANOUSSIS, N. OZAWA, AND I. TODOROV a = P x + Py [ ][ ] = B Γ B x [ ][ ] + I B B I x Γ y B B y ( [ ][ ] Γ B B x [ ][ ] ) + I B y B I x B B y ( [ ] Γ B x Bx [ ] ) + y +By Bx +x By +B y Γ ( B x Bx + Bx +x + y +By + By +B y ) Γ ( B Bx x + Bx x + y +By + B y +By ) Γ ( Bx x + y +By ) Γ ( B (B x B x ) + B (B y +B y ) ) Γ B ( B x B x + B y +B y ) Γ a m 3, a 3 = Q x + Qy [ ][ ] = B Γ B x [ ][ ] + I B B I x Γ y B B y ( [ ][ ] Γ B B x [ ][ ] ) + I B y B I x B B y ( [ ] = Γ B x +Bx [ ] ) + y By Bx +x By +B y Γ ( B x +Bx + Bx +x + y By + By B y ) Γ ( B Bx +x + Bx +x + y By + B y By ) Γ ( Bx +x + y By ) Γ ( B (B x +B x ) + B (B y B y ) ) Γ B ( B x +B x + B y B y ) Γ a m

11 NORMS OF VECTOR FUNCTIONALS and a 4 = y + y y + B By B ( y + By ) = B ( y +By + y By ) = B ( B (B y +B y ) + B (B y B y ) ) B B ( B y +B y + B y B y ) B a m 4. Theorem 3.4. The algebra A satisfies property (V ) if and only if the angle between N and M is positive. Proof. Suppose that the angle between N and M is positive. Let x,y H. By Lemmas 3. and 3.3, there exists c 0 such that inf L LatA ( L x + Ly ) c ω S x,s y B. On the other hand, letting t = S S we have by Proposition 3. that ω S x,s y B = sup ω x,y (SBS ) B B, B sup ω x,y (A) = t ω x,y A. A A, A t It follows that A satisfies (V ). Assume that the angle between N and M is zero. Let x,y H 0 be unit vectors and x = (x,0) and y = (0,y ) with respect to the decomposition H = H 0 H 0. We have [ ][ ] P x + Py = B Γ B x [ ][ ] + I B 0 B I 0 Γ B B y Since = [ ] B Γ x [ ] + Bx Γ By B. y [ ] (I +B ) 0 0 (I +B / ) and, for every invertible operator X and every vector ξ we have Xξ X ξ, we obtain ( P x + Py [ ] B x [ ] ) 4 + By Bx B y 4 By.

12 M. ANOUSSIS, N. OZAWA, AND I. TODOROV A similar calculation gives ( Q x + Qy [ ] B x 4 Bx [ ] ) + By B y 4 By. Hence ( (5) inf L x + Ly ) L Lat A 4 By. We calculate the right hand side of inequality (4). Let T Ball(A). We may write [ ] C D T = BDB R for some C,D,R B(H 0 ) such that BC = RB (see e.g. []). We have ω x,y (T) = (BDBx,y ) and, since D is a contraction, inf L Lat A ω x,y (T) Bx By. Assume now that there exists a constant c such that ( L x + Ly ) c ω x,y A. Then, by (5), (6) 4 By c Bx By. By assumption, B is injective and not invertible. Denoting by E( ) its spectral measure, we can hence find a decreasing sequence (λ n ) n=0 (0,] such that lim n λ n = 0 and the projections E n = E([λ n,λ n )) are nonzero for all n. For each n, let e n be a unit vector with E n e n = e n. Taking x = e n+ and y = e in (6), we obtain 4 λ cλ 0λ n. Letting n we obtain a contradiction with the fact that lim n λ n = 0. Remark 3.5. Theorem 3.4 shows that if H 0 is finite dimensional then A automatically has property (V ). References [] C. D. Aliprantis and K. C. Border, Infinite dimensional analysis. A hitchhiker s guide, Springer-Verlag, 999. [] M. Anoussis, A. Katavolos and M. S. Lambrou, On the reflexive algebra with two invariant subspaces, J. Operator Theory 30 (993), no., [3] W. B. Arveson Operator algebras and invariant subspaces, Ann. Math. () 00 (974), [4] W. B. Arveson Ten lectures on operator algebras, CBMS Regional Conference Series in Mathematics, 55 (984). [5] K. R. Davidson, Nest Algebras, Longman, 988. [6] A. Hopenwasser, The equation T x = y in a reflexive operator algebra, Indiana Univ. Math. J. 9 (980), no., -6.

13 NORMS OF VECTOR FUNCTIONALS 3 [7] P. Halmos, Two subspaces, Trans. Amer. Math. Soc. 44 (969), [8] R. V. Kadison and J. R. Ringrose, Fundamentals of the theory of von Neumann algebras I,II and III, Academic Press, 986. [9] A. I. Loginov and V. S. Shulman, Hereditary and intermediate reflexivity of W*- algebras, Izv. Akad. Nauk SSSR 39 (975), 60-73; Math. USSR-Izv. 9 (975), [0] M. Papadakis, Isomorphisms between certain non-csl algebras, Proc. Amer. Math. Soc. 9 (993), [] M. Takesaki, Theory of operator algebras I and II, Springer-Verlag, 003. Department of Mathematics, University of the Aegean, 8300 Samos, Greece address: mano@aegean.gr Research Institute for Mathematical Sciences, Kyoto University, Kyoto , Japan address: narutaka@kurims.kyoto-u.ac.jp Mathematical Sciences Research Centre, Queen s University Belfast, Belfast BT7 NN, United Kingdom, and School of Mathematical Sciences, Nankai University, 94 Weijin Road, Tianjin, 30007, P.R. China address: i.todorov@qub.ac.uk