CC BY
7
Vladikavkaz Mathematical Journal 2009, Vol. 11, No 2, pp. 50-60
UDC 517.98
BANACH LATTICES WITH TOPOLOGICALLY FULL CENTRE
A. W. Wickstead
After some general background discussion on the notion of a topologically full centre in a Banach lattice, we study two problems in which it has featured. In 1988 Orhon showed that if the centre is topologically full then it is also a maximal abelian algebra of bounded operators and asked if the converse is true. We give a short proof of his result and a counterexample to the converse. After noting that every non scalar central operator has a hyperinvariant band, we show that any hyperinvariant subspace must be an order ideal, provided the centre is topologically full and conclude with a counterexample to this in a general vector lattice setting.
Mathematics Subject Classification (1991): 46B42, 47B60, 47B65. Key words: Banach lattices, centre, topologically full.
1. Definitions and history
The centre Z (E) of a vector lattice E consists of those linear operators on E which lie between two multiples of the identity. I. e. there is A G R+ such that —Ax ^ Tx ^ Ax for all x G E+. Provided that E is Archimedean then the centre is a commutative algebra and lattice with an order unit which is also an algebra unit (the identity operator) which may identified with a dense sublattice and subalgebra of C (K) for some compact Hausdorff space K. If E is represented as a lattice of continuous extended real valued functions on some topological space S then the centre may be identified with the space of bounded continuous real valued functions on S which map (the representation of) E into itself by pointwise multiplication. For example, if ^ is a a-finite measure then the centre of Lp (^) may be identified with L^(^), where the identification Z(Lp(^)) 3 T ^ 0 G L^(^) is described by Tf (x) = 0(x)f (x) ^-almost everywhere. If X is a locally compact Hausdorff space then the centre of Co(X) may similarly be identified with Cb(X), all continuous bounded functions on X. This functional description of the centre makes many simple computations involving the centre easy to comprehend.
Band projections are certainly central operators. In fact they are precisely the idempotents in Z(E) and are also precisely the components of I in Z(E). If E has the principal projection property then E contains many projection bands so the centre will certainly be large. In fact if E is Dedekind a-complete and x,y G E with 0 ^ x ^ y then there is T G Z(E) with Ty = x (see [11, Chapter 3, Theorem 7.6] and [22, Example 1.4 (b)] for two very different proofs). Representing E as an ideal in a space C^(X), for suitable X, as may always be done, provides a simple proof. Hart, in [7], terms this property of Z(E), transitivity. At the other extreme there are examples of vector lattices for which the centre consists only of multiples of the identity, which must always lie in Z(E). The simplest example of such is due to Zaanen [25] and comprises the continuous real-valued functions on [0,1] which are piecewise linear, i.e.
© 2009 Wickstead A. W.
there is a finite dissection (depending on the choice of function) of [0,1] into subintervals on each of which the function is linear. Rather less well understood, but undoubtedly more important, is the example due to Goullet de Rugy [6, Theorem 2.28 and Proposition 3.42] of an AM-space with trivial centre. See [23] for a slightly simpler exposition.
We call the centre Z(E) of a Banach lattice E topologically full [22, Definition 1.3] if whenever 0 ^ x ^ y, x, y G E, there is a sequence (Tn) in Z(E) such that Tny ^ x. This notion can, and has, been generalized to other topologies including the weak topology induced on a vector lattice by its order dual. My account will be restricted to Banach lattices. It is often useful to impose a restriction on central operators that we use in this approximation. This is simple given the very special nature of central operators. If 0 ^ x ^ y and Tny ^ x then (T+ A I)y = (Tny) + A y ^ x A y = x, so we may assume that 0 ^ Tn ^ I for all n G N. I will use the notation Z(E)1+ for the set {T G Z(E) : 0 ^ T ^ I}.
Clearly Banach lattices which are Dedekind a-complete have a topologically full centre, but there are plenty of other examples. A positive element u in a Banach lattice is a topological order unit (= quasi-interior point of the positive cone) if the closed ideal generated by u is the whole space. A Banach lattice with a topological order unit u may be represented as an order ideal in C^(K), the continuous extended real-valued functions on some compact Hausdorff space K which are finite on a dense subset of K, with u corresponding to the constantly one function on K, 1k 1. The centre may be identified with C(K) and is topologically full. A detailed proof of this does not seem to be easily accessible, the only one that the author knows of being in Example 1 of [18] and even that is unnecessarily complicated. For completeness, we include here a proof based on that in [18].
Proposition 1.1. A Banach lattice with a topological order unit has a topologically full centre.
< Suppose that x, y G E with 0 ^ x ^ y. If u is a topological order unit for E then so is u V y. Represent E as an ideal in C^(K) with u V y corresponding to 1 k. from now on, we work with the image of E in C^(K). As 0 ^ x ^ y ^ 1k, both x and y G C(K) and so, for all n G N, is x/(y + n 1k) which we may thus regard as an element Tn G Z(E). Considering values pointwise, we see that
0 < Tny - x = ( xi 1 I y - x = 1 ( xi 1 I < 1 1k
\y + nM n \y + nW n
so that ||Tny - x|| ^ nII 1k||. >
Piecing together such spaces, it can be seen that Banach lattices with a topological ordersystem also have a topologically full centre. It is also easily seen that the centre of Co(£) is always topologically full. If X is not a-compact then Co(£) does not have a topological order unit and if it is non-a-compact and connected then it certainly can not have a topological
1The representation theorem for Banach lattices with a topological order unit was originally proved independently by Davies in [5] and Lotz in [10] and most references to it quote Theorem III.4.5 of [19]. However, that version omits one important feature of Davies' version, namely that the image of the representation is an ideal in CX(K). This observation makes the identification of the centre with C(K) trivial, as compared with Nagel's proof in [15]. Part of the unnecessary complications in the proof that the centre of a Banach lattice with topological order unit has topologically full centre in [18] is because it virtually repeats that part of the proof of the representation theorem which shows that the image is an ideal. On the other hand the proof of Theorem 2.6 in [7], stating that the centre of a Banach lattice with a topological order unit is algebraically rich, seems to implicitly assume the ideal property of the image even though Schaefer's version of the representation is quoted.
orthogonal system. On the other hand, Goullet de Rugy's example certainly does not have a topologically full centre.
Let me remind the reader that a linear operator on a vector lattice is band preserving if x ± y ^ Tx ± y. Central operators are always band preserving but the converse is false in general. However on Banach lattices Abramovic, Veksler and Koldunov [2] showed that the two classes of operator coincide. See [14, Theorem 3.1.12] for an alternative proof based on work of de Pagter.
Although I introduced the term «topologically full» in 1981, the concept predates that by some considerable time, originating in a paper by Solomon Leader in 1959. In slightly more generality, he introduced the separation 'property for Z(E) which says that if x, y G E+ with y ± x then there is a sequence Tn G Z(E) such that Tny ^ y and Tnx ^ 0. His Fundamental Lemma in §4 of [9] shows that if Z(E) has the separation property then it is topologically full. Although this is a significant result, it does seem that topological fullness is often easier to prove directly than the separation property. The converse on the other hand is quite straightforward to prove and, in view of the equivalence of the centre with the space of band preserving operators, is of more significance in the study of the centre than has previously been acknowledged.
Lemma 1.2. If the centre of a Banach lattice E is topologically full then it has the separation property.
< If x, y G E+ and x ± y then 0 ^ y ^ x + y so the topological fullness gives us a sequence (Tn) in Z(E) such that Tn(x + y) ^ y. As x ± y we see that Tnx ± y and hence Tnx ± Tny, so that Tnx ± Tny — y. It follows that |Tnx|, |Tny — y| < |Tnx| + |Tny — y| = |Tnx + (Tny — y)| = |Tn(x + y) — y|. As ||Tn(x + y) — y|| ^ 0 we have ||Tny — y|| ^ 0, so that Tny ^ y, and ||Tnx|| ^ 0. >
Topological fullness (and transitivity) are by no means the only conditions which state that the centre is large. Indeed, the centre being maximal abelian, which is the subject of the next section, may be regarded as one such condition. There are others in the literature, many due to Meyer in [12]. The most closely related is perhaps worthy of mention here.
The centre of a Banach lattice E is topologically rich if for all x G E+ there is a sequence (Tn) in Z(E)i+ such that, Tnx ^ x and, for each n G N, Tn(E) C Ex where Ex denotes the closed ideal in E generated by x.
Many equivalents of this property may be found in [12]. In particular he proves that the existence of a topological order unit suffices to guarantee that the centre is topologically rich (in the proof of Proposition 1.1 note that Tn vanishes where x does, so that Tnz also vanishes where x does — now use the fact that closed ideals J in E C C^(K) satisfy J = {f G E : f |jo = 0} where Jo = {k G K : j (k) = 0 V j G J}) and that topological richness of the centre implies topological fullness. He gives an example [13, Example 4.4], in the setting of locally convex Riesz spaces, to show that the converse is false. In fact even Dedekind complete Banach lattices, which have transitive centres, need not have topologically rich centres. The author has vague memories of having seen the following example, or something very similar, in the literature but is unable to track down the reference. He apologizes to the author of that work for not giving the appropriate credit here.
Example 1.3. The Dedekind complete Banach lattice E = 4(n)), where 4(n) denotes n-dimensional space with the ¿i-norm, has a centre which is transitive, and therefore topologically full, but is not topologically rich.
< Let e = ((1/n, 1/n,..., 1/n))which is a well known example of a weak order unit for E which is not a topological order unit. Suppose that there is T G Z(E) with ||Te — e||<^> < 1/2
and T(E) C Ee. We may describe T as pointwise multiplication by ((a^", a^",..., a^)) G -^ro(n)). Looking at the n'th entry in Te — e, we see that
-[(«,«?,...,<)) - (1,1,..., 1)]
n
< 1/2,
which implies that ^la^ — 1| < n/2. It follows that a^ ^ 1/2 for at least one ko G {1, 2,..., n}.
Now take v to be that element of E in which the n'entry is the n-tuple consisting of all zeros except for a 1 in the ko'th position, so that the n'th entry of Tv has ko'th entry equal to a^ which is at least 1/2. If Tv were in the closed ideal generated by e then Tv A (je) ^ Tv in norm as j ^ to. But the norm of the n'th entry in the difference Tv A (je) — Tv is
1(0,..., on, - A (j/n), 0, ...)yi = K - A (j/n)| ^
11
2 - 2 A (j/n)
1
—> —, 2
as n ^ to, so that ||Tv — Tv A (je)|| ^ 1 for all j. Thus Tv / Ee and hence Z(E) is not topologically rich. >
i
2. When is the centre maximal abelian?
Given that the centre of may be identified with the operators of pointwise
multiplication by functions in L^(^), there are obvious analogies to be drawn between properties of the centre of a Banach lattice and those of maximal abelian self adjoint algebras of bounded operators on a Hilbert space. However, Goullet de Rugy's AM-space shows that the centre need not be a maximal abelian subalgebra of the space of bounded operators on a Banach lattice in general. Nevertheless, identifying when the centre is maximal abelian was an early concern of those working in this area. We will denote the space of all bounded linear operators on E by L(E).
The earliest result was used by Nakano in his work on dilatators when he essentially showed that if a vector lattice has the principal projection property then a linear operator is band preserving if and only if it commutes with the band projections. It might be instructive to look at the proof in this case. We couch it in a Banach lattice setting for ease of comparison with our other results.
Proposition 2.1. If E is a Dedekind a-complete Banach lattice then Z(E) is a maximal abelian subalgebra of L(E).
< It suffices to prove that if T commutes with Z(E) then T is band preserving, so let us suppose that x ^ y. If P is the band projection onto the principal band generated by x then P G Z(E), Px = x and Pz = 0 if and only if z ^ x. If T commutes with Z(E) then in particular P(Ty) = T(Py) = T(0) =0 so that Ty ± x as needed. >
I obtained in Corollary 3.3 of [21] a rather technical condition on a Banach lattice E which guaranteed that Z(E) is a maximal abelian subalgebra of L(E). The next development seems to have been by Orhon who showed in Theorem 12 of [17] that the centre remains maximal abelian if we weaken the hypothesis to Z(E) being topologically full. His proof, as well as all subsequent ones that I know of, was rather indirect being a by-product of study of the duality of the centre. He couched the proof in purely vector lattice terms in [18]. Nevertheless, one would have hoped that an approximate version of the Dedekind a-complete case would work and indeed it does, provided we remember Leader's separation condition.
I first isolate two simple results about convergence of sequences of central operators.
Lemma 2.2. Let E be a Banach lattice, 0 ^ x ^ y and (Tn) a sequence in Z(E)i+ such that Tny ^ y. If Tnx ^ z then z = x.
< As
0 < Tnx < x, 0 < Tn(y — x) < y — x, for all n G N, letting n ^ to we have
0 ^ z ^ x, 0 ^ y — z ^ y — x,
from which it follows that also x ^ z and hence z = x. >
Lemma 2.3. Let E be a Banach lattice, x,y G E and (Tn) a sequence in Z(E)i+. If Tny ^ y and Tnx ^ 0 then x ± y.
< Recall that each Tn is a lattice homomorphism so that
Tn(|x| A |y|) = Tn|x| A Tn|y| = |Tnx| A |Tny| ^ |0| A |y| = 0.
As 0 ^ |x| A |y| ^ |y|, Lemma 2.2 tells us that |x| A |y| =0. >
Theorem 2.4. If E is a Banach lattice with topologically full centre, then Z(E) is a maximal abelian subalgebra of L(E).
< Suppose that S commutes with Z(E). It suffices to prove that if 0 ^ x, y G E with x ± y then Sx ± y. As Z(E) is topologically full there by Lemma 1.2 is a sequence (Tn) in Z(E) with Tny ^ y and Tnx ^ 0. As noted above, we may assume that the sequence lies in Z(E)i+. Since
Tn(Sx) = S(Tnx) ^ S(0) = 0,
the fact that Sx ± y follows from Lemma 2.3. >
This rather simple proof lends itself easily to generalization in various ways. For example if we start with a vector lattice E with separating order dual and give E the weak topology induced by the order dual and interpret the term «topologically full» accordingly then we see that any order bounded linear operator which commutes with the centre will be band preserving (and, as it is order bounded, an orthomorphism.) This is contained in Corollary 2 of [3] as well as one of the unnumbered propositions in [4]. If we start with any Archimedean vector lattice and, rather than using a topology, use order convergence to define an analogue of topological fullness then we may obtain a result giving a condition under which order continuous linear operators that commute with the centre must be orthomorphisms. This variant does not seem to have been observed before.
In Question 5 in § 4 of [17], Orhon asked whether the converse of Theorem 2.4 holds? I. e. if Z(E) is a maximal abelian subalgebra of L(E) then must Z(E) be topologically full? Given the simple proof that we have just given, Leader's separation property looks very natural in this setting. This problem seems to have remained open since Orhon posed it. We are able to give a solution here, but possibly not the one that might have been hoped for, as we show that the implication fails.
Example 2.5. There is an AM-space H with centre Z(H) which is not topologically full but which is a maximal abelian subalgebra of L (H).
< To start, let us recall that for any AM-space E there is a compact Choquet simplex K with extreme point 0, such that E is isometrically order isomorphic to the space Ao(K) of continuous real-valued affine functions on K which vanish at 0, equipped with the pointwise
order and supremum norm. K may be taken to be the positive part of the unit ball of E* equipped with the weak* topology. Let X denote the set of non-zero extreme points of K with the relative topology. The space X is not particularly well-behaved topologically, but that does not matter for our purposes. The restriction map from K to X is an isometric order isomorphism because of the Krein-Milman theorem. The lattice operations in E are pointwise on X but not on the whole of K. There is another topology, the facial topology, on X such that the centre of E may be identified with the space of all facially-continuous bounded real-valued functions on X with the action being pointwise multiplication on the set X C K. Details of these properties of the centre may be found in [6] or [24].
Let H denote the set of all bounded real-valued functions h on X x [0,1] with the following properties:
h(x, ■) is continuous on [0,1] for each x G X, h(-, 0) lies in E.
It is routine to check that H is an AM-space under the sup-norm and the pointwise partial order. The map f ^ h of E into H defined by h(x, t) = f (x) is an isometric order isomorphism of E into H. It is routine to verify that the centre of H may be identified with the space of all bounded real-valued functions on X x [0,1] which are continuous on each {x} x [0,1] and are facially continuous on X x {0}.
We now assume that E has a trivial centre, from which it follows that the centre of H may be identified with the space of all bounded real-valued functions on X x [0, 1] that are continuous on each {x} x [0,1] and are constant on X x {0}.
Suppose that a linear operator T on H commutes with every element of the centre. Let h G H+ and (x, y) G X x [0,1]. We intend to show that if h(x, t) = 0 then Th(x, t) = 0. The proof proceeds by looking at two cases.
In the first place, let us suppose that h|{x}x[o,i] is identically zero. Let b be a non-negative function on X x [0,1] that (i) is zero except on {x} x [0,t], (ii) is continuous on {x} x [0,1] and which is non-zero on the set {x} x (0,t). The function b defines an element of the centre of H with the property that bh = 0. It follows that
0 = T (bh) = b(Th),
so that Th vanishes on {x} x (0, t) and by continuity on {x} x [0, t]. In particular, (Th)(x, t) = 0 as claimed.
If the last case does not hold, then there is s G (0, t) with a = \/h(x, s) > 0. We define two new functions p and q on X x [0,1] as follows. On {x} x [s, 1] we set q(x, k) = \Jh(x, k) and on the rest of X x [0,1] q is constantly a. This definition certainly ensures that q corresponds to an element of the centre of H. Note, in particular, that as t G [s, 1] q(x, t) = <Jh{ x, t) = 0. On {x} x [s, 1], we again let p(x, k) = \jh(x, k) and on the rest of X x [0,1] we define it to be h/a. Again, noting that this is simply a scalar multiple of h on X, this ensures that p G H. It follows that, as T commutes with the centre of H,
Th = T (qp) = q(Tp),
and, in particular,
Th(x, t) = q(x, t)(Tp)(x, t) = 0(Tp)(x, t) = 0,
as required.
The remainder of the proof that T is central is now routine. For the sake of completeness, and because the details are simpler than usual in this case, we give the argument.
For any (x, t) G X x [0, 1] there is f G H with f (x, t) = 0. Define q(x, t) = (Tf )(x,t)/f (x,t). If g G H let h = g — (g(x,t)/f (x,t))f so that h(x,t) = 0 and hence
(Th)(x, t) = Tg(x, t) — (g(x,t)/f (x,t))Tf (x,t) = 0. Note first that if g(x, t) = 0 then we have
(Tg)(x,t) = (Tf )(x,t) = g(x,t) f (x,t)
so that the definition of q does not depend on the choice of f. Second, we may rearrange the equality as
Tg(x, t) = (g(x,t)/f (x,t))Tf (x,t) = (Tf (x,t)/f (x,t))g(x,t) = q(x,t)g(x,t)
showing that T simply acts via pointwise multiplication by q. From this representation it follows immediately that T is band preserving and therefore central.
We have thus established that the centre of H is maximal Abelian. On the other hand it is not topologically full, for if we take any two linearly independent members of E (f and g, say) and consider the function f ® 1 G H then for any central operator S, S(f ® 1) has restriction to X x {0} which is a multiple of f so cannot approximate g ® 1 arbitrarily well. >
In the preceding example, the set J = {h G H : hxx{o} = 0} is a norm closed order dense ideal in H and Z(H)|j is topologically full on J (making an obvious generalization of the usual definition.) Thus Example 2.5 does not disprove the following conjecture.
Conjecture 2.6. If J is a norm closed order dense ideal in the Banach lattice E such that Z(E)|j is topologically full on J then Z(E) is a maximal abelian algebra of bounded linear operators on E.
The proof in Example 2.5 did not assume boundedness of T, so that there Z(H) is actually a maximal abelian subalgebra of the algebra of all linear operators rather than just L(E). The proof of Proposition 2.1 did not assume boundedness either. It is also true for Co(X) that the centre is a maximal abelian subalgebra of the space of all linear operators. Indeed, if f G Co(X) then we can write f = yf (sgn(f ) vf) and sgn (f ) vf G Co(X) whilst vf| may be identified with an element of the centre of Co(X), Cb(X). If T commutes with the centre then Tf = T(vfT(sgn(f)^/|)) = vf|T(sgn (f)^/|). In particular the support of Tf is contained in the support of yff, which is also that of f, which suffices to prove that T is band preserving and therefore central.
It seems even more difficult to find necessary and sufficient conditions for Z(E) to be maximal abelian in the algebra of all linear operators than in the bounded case, but it might be of interest to answer the following:
Question 2.7. Is there an example of a Banach lattice E such that Z(E) is a maximal abelian subalgebra of L(E), but which is not a maximal abelian subalgebra of the algebra of all linear operators on E?
3. Hyperinvariant subspaces for central operators
Recall that an invariant subspace for a bounded linear operator T G L(E) is a closed linear subspace {0} = J ^ E such that TJ C J .A hyperinvariant subspace for T is one that is invariant for all bounded linear operators that commute with T. Apart from the recurrence of the theme of operators that commute with a given one, there are historical precedents for
looking at hyperinvariance in the context of central operators. Huang [8], proved a result that has its roots in a classical result of Fuglede and Dunford on spectral operators. He showed, in our terminology, that for a central operator T on separable the hyperinvariant subspaces
are precisely certain bands associated with T. In particular, unless T is a scalar multiple of the identity, then there always are such subspaces. The existence of such hyperinvariant subspaces extends to a much more general setting and, indeed, even in the original setting we can say rather more.
In order conveniently to state this little extra, we reluctantly introduce a new piece of notation. We will say that a linear subspace J of a linear space E is algebraically hyperinvariant for a linear operator T on E if J is invariant for all linear operators on E which commute with T. The emphasis here is that we do not restrict our attention to bounded operators. A precursor of this result, for Banach function spaces, may be found in Corollary 2.3 of [1]. The proof has no connection to topological fullness of the centre and will be published elsewhere.
Theorem 3.1. Let E be an Archimedean vector lattice and let T G Z(E) not be a scalar multiple of the identity, then there is a proper algebraically hyperinvariant band for T.
As in [1] it is easily seen that, unless T is a finite sum of multiples of band projections, T has infinitely many disjoint hyperinvariant bands. Of course there is no reason in general to expect the band B in the preceding proof to be a projection band. Even in the oldest known setting, of Hilbert space, the fact that we do not have to restrict to bounded operators seems to be new. To complete the extension of Huang's result we need to prove that every hyperinvariant subspace is actually a band, at least for nice enough spaces. It is at this point that topologically full centres become involved again.
Proposition 3.2. If E is a Banach lattice with topologically full centre, T G Z(E) and J is a norm closed hyperinvariant subspace for T then J is an order ideal.
< If 0 ^ |x| ^ |y| and y G J then we must show that x G J. As a first step, we show that |y| G J. As Z(E) is topologically full, there is a sequence (Un) in Z(E) with Un|y| ^ y+. Since Un is band preserving, Uny- ± y+ and Uny+ G y+dd so that
|Un|y| - y+l = |Un(y+ + y-) — y+l = |(Uny+ — y+) + Uny-| = |Uny+ — y+l + |Uny-l,
and we see that Uny+ — y+ ^ 0 and Uny- ^ 0 so that Uny = Un(y+ — y-) ^ y+. Similarly, there is a sequence (Vn) in Z(E) with V^y ^ y- so that (Un + Vn)y ^ |y|. As each (Un + Vn) certainly commutes with T, J is invariant under Un + Vn so that (Un + Vn)y G J and, as J closed, |y| G J. Similarly, we may obtain central sequences Pn, Qn with Pn|y| ^ x+ and Qn|y| ^ x- which shows that x+, x- G J and hence x = x+ — x- G J as required. >
There will be a version of this result, in the setting of Archimedean vector lattices with separating order dual, which will refer to weakly closed hyperinvariant subspaces. Banach lattices with an order continuous norm are Dedekind complete (so have topologically full centre) and have the property that all closed order ideals are actually projection bands, so we have:
Corollary 3.3. If T is a central operator, which is not a scalar multiple of the identity, on a Banach lattice E with an order continuous norm then T has an algebraically hyperinvariant projection band and furthermore every closed subspace of E which is hyperinvariant for T must be a projection band.
The role of topological fullness in its various forms is not clear here. After all, for the proof of Proposition 3.2 to work we need only to be able to approximate x G [0, y] by Tny where the Tn lie in the commutant of Z(E), which can be much larger than Z(E) in general. Of
course if E is nice enough we can certainly do this and if E is Dedekind a-complete we can even choose T so that Ty = x (of course it will actually be central!) It would be rash at this stage even to suggest that such approximation by elements of the commutant of the centre is possible, but let me propose the following:
Conjecture 3.4.If E is any Banach lattice such that Z(E) is Dedekind complete, x, y G E with 0 ^ x ^ y then there is T in the commutant of Z(E) such that Ty = x.
It is tempting to use the Hahn-Banach theorems for modules of Vincent-Smith [20] or Orhon [16] to produce such an operator but, unlike the vector space case, it does not seem possible to write a bounded (in some sense) module homomorphism defined on a principal submodule as a bounded algebra-valued module homomorphism multiplied by an element of the space.
We thus have to leave open the question:
Question 3.5. It J is a hyperinvariant subspace for a central operator on a Banach lattice, must J be an order ideal?
In the algebraic setting though, in spite of the hypotheses being stronger as they involve a wider class of operators, we can disprove the corresponding result.
Example 3.6. There is an Archimedean vector lattice E, a central operator Z on E and a subspace H of E which is algebraically hyperinvariant for T but such that H is not an order ideal in E.
< Take
K = ([0,1] x {0}) U ((Q n [0,1]) x {1/k : k G N})
and E to be the set of all bounded functions f on K which satisfy the two conditions:
(1) f |[o,i]x{o} is continuous and piecewise affine;
(2) for all q G Q n [0,1], f (q, 1/n) ^ f (q, 0) as n ^ to.
It is routine to verify that E is an Archimedean vector lattice. It is also routine to verify that the centre of E, Z(E), may be identified with the subspace of E consisting of those f which are constant on [0,1] x {0}.
The set A = {1 + 1/n : n G N} has only the one accumulation point, namely 1. The sets An = {1 + 1/(2n(2k — 1)) : k G N}, for n G N are disjoint subsets of A. Thus, if we define 0 G Z(E) by
0(qn, 1/k) = 1 + 1/(2n(2k — 1)), 0(x, 0) = 1,
where {qn : n G N} is an enumeration of Q n [0,1], k G N and x G [0,1], then the only accumulation point of 0(K) is 1 and 0(q, 1/k) > 1 whenever q G Q n [0,1] and k G N.
I claim that if any linear operator T (without any assumption of norm or order boundedness) commutes with 0 then T is actually central.
The first step is to prove that if we take any f G E, r G Q n [0,1] and m G N such that f (r, 1/m) = 0 then Tf (r, 1/m) = 0. As 0(r, 1/m) is not an accumulation point of 0(K \ {(r, 1/m)}), the function a = 0 — 0(r, 1/m)1 is bounded away from zero, except at the point (r, 1/m) where it vanishes. Thus the function defined by
^(q,x) = a(q,x)-:L, (q,x) = (r, 1/m), ^(r, m) = 0,
is bounded and it is easily verified that it lies in Z(E). As a^ is identically equal to one, except at (r, 1/m) where both it and f vanish, we see that a^f = f.
As T commutes with 0 and a differs from 0 only by a multiple of the identity, T also commutes with a. Thus
T/ = T(a(V/))= a(T )),
and, in particular, as a(r, 1/m) =0 we also have T/(r, 1/m) = 0.
If we now consider an arbitrary element g G E and (q, 1/k) G (Q H [0,1]) x {1/n : n G N} then / = g — g(q, 1/k)1 vanishes at (q, 1/k) so that
0 = T/ (q, 1/k) = Tg(q, 1/k) — g(q, 1/k)T 1(q, 1/k),
and hence Tg(q, 1/k) = T 1(q, 1/k)g(q,k). By continuity, we have also Tg(q, 0) = T 1(q, 0)x g(q, 0) for all q G Q H [0,1] and, by continuity again, for all q G [0,1]. Thus T is actually central, being multiplication by T1.
The subspace Z(E) C E is invariant under all central operators, so is hyperinvariant for T, but is clearly not an order ideal in E. >
References
1. Abramovich Y. A., Aliprantis C. D., Burkinshaw O., Wickstead A. W. A characterization of compact-friendly multiplication operators // Indag. Math. (N.S.)—1999 —Vol. 10, № 2.—P. 161-171.
2. Abramovic Ju. A., Veksler A. I., Koldunov A. V. Operators that preserve disjunction // Dokl. Akad. Nauk SSSR.—1979.—Vol. 248, № 5.—P. 1033-1036.—(In Russian).
3. Alpay §., Orhon M. Characterisation of Riesz spaces with topologically full centre.—Preprint.—(To appear.)
4. Alpay §., Turan B. On the commutant of the ideal centre // Note Mat—1998 —Vol. 18, № 1.—P. 63-69.
5. Davies E. B. The Choquet theory and representation of ordered Banach spaces // Illinois J. Math.— 1969.—Vol. 13.—P. 176-187.
6. Goullet de Rugy A. La structure ideale des M-espaces // J. Math. Pures Appl.—1972.—Vol. 51, № 9.— P. 331-373.
7. Hart D. R. Disjointness preserving operators // Ph. D. Thesis.—Pasadena: California Institute of Technology, 1983.
8. Huang S. Zh. Each hyperinvariant subspace for a multiplication operator is spectral // Proc. Amer. Math. Soc.—1989.—Vol. 106, № 4.—P. 1057-1061.
9. Leader S. Separation and approximation in topological vector lattices // Canad. J. Math.—1959.— Vol. 11.—P. 286-296.
10. LotzH. P. Uber das spektrum positiver operatoren // Dr. Rer. Nat. Thesis.—Eberhard-Karls-Universität Tübingen, 1967.
11. Luxemburg W. A. J. Some aspects of the theory of Riesz spaces.—Fayetteville: The University of Arkansas, 1979.—iv+227 p.—(Ser. Lecture Notes in Math; Vol. 4.)
12. Meyer M. Richesses du centre d'un espace vectoriel reticule // Math. Ann.—1978.—Vol. 236, № 2.— P. 147-169.
13. Meyer M. Richness and density in the centre of a Riesz space.—Preprint, 1983.—(To appear.)
14. Meyer-Nieberg P. Banach lattices.—Berlin: Springer-Verlag, 1991.—xvi+395 p.—(Ser. Universitext).
15. Nagel R. J. Darstellung von Verbandsoperatoren auf Banachverbänden // Rev. Acad. Ci. Zaragoza.— 1972.—Vol. 27, № 2.—P. 281-288.
16. Orhon M. On the Hahn-Banach theorem for modules over C(S) // J. London Math. Soc.—1969.—Vol. 1, № 1.—P. 363-368.
17. Orhon M. Boolean algebras of projections on Banach spaces // J. Karadeniz Tech. Univ. Fac. Arts Sci. Ser. Math.-Phys.—1988.—Vol. 11.—P. 21-32.
18. Orhon M. The ideal center of the dual of a Banach lattice // Technische Univ. Darmstadt preprint.— 1988.—Vol. 1182.
19. Schaefer H. H. Banach lattices and positive operators.—New York: Springer-Verlag, 1974.—xi+376 p.— (Die Grundlehren der mathematischen Wissenschaften, Band 215).
20. Vincent-Smith G. The Hahn-Banach theorem for modules // Proc. London Math. Soc.—1967.— Vol. 17.—P. 72-90.
21. Wickstead A. W. The structure space of a Banach lattice. II // Proc. Roy. Irish Acad. Sect. A.—1977.— Vol. 77, № 9.—P. 105-111.
22. Wickstead A. W. Extremal structure of cones of operators // Quart. J. Math. Oxford. Ser. 2.—1981.— Vol. 32, № 126.—P. 239-253.
23. Wickstead A. W. Banach lattices with trivial centre // Proc. Roy. Irish Acad. Sect. A.—1988.—Vol. 88, № 1.—P. 71-83.
24. Wils W. The ideal center of partially ordered vector spaces // Acta Math.—1971.—Vol. 127.—P. 41-77.
25. Zaanen A. C. Examples of orthomorphisms // J. Approximation Theory.—1975.—Vol. 13.—P. 192-204.— (Collection of articles dedicated to G. G. Lorentz on the occasion of his sixty-fifth birthday).
Received November 12, 2008.
Wickstead Anthony W. Pure Mathematics Research Centre, Queens University Belfast, Professor Belfast BT7 1NN, Northern Ireland E-mail: A.Wickstead@qub.ac.uk
