arXiv:1603.03426v2 [math.FA] 25 Aug 2016 epcieyatn nteHletspace Hilbert the on acting respectively prtrtplg ST,ta hypoiea reuil repres contin irreducible are an groups provide unitary they relations, 1-parameter that commutation (SOT), these topology that operator well-known is It and prtr htlaeivratec usaei h ore binest Fourier the in subspace each invariant leave that operators o 2] o xml. nteohrhn twssonb aaoo and b Katavolos generated by shown algebra was operator it nonselfadjoint hand closed other strongly the On the example.) for [23], lor ie by given u anrsl sthat is result main Our hygnrt stevnNuanalgebra Neumann von the is generate they iial eeae ytesm eirus iwdnwa one o bounded as now viewed semigroups, same the by generated similarly prtr.W osdrhr h prtralgebras containin operator and the identity, here the consider We of multiples operators. real than other operators, e od n hae:oeao ler,ns ler,reflexiv algebra, nest algebra, operator phrases: and words Key prtragba cigo ibr pcs o xml,general example, For confi spaces. largely Hilbert been have on developments acting the algebras years, operator fifty last the over nes continuous complete two of union the to equal binest a is spaces where Let 2010 lhuhterflxvt fnnslajitoeao lershsb has algebras operator selfadjoint non of reflexivity the Although λ H { ahmtc ujc Classification. Subject Mathematics ≥ ore iet on binests Fourier hr 1 where nain h usae nteVler etadisaayi counte of analytic algebra its the and to nest is, Volterra that a the algebra, this in binest that subspaces Fourier proved the the invariant to they equal particular, is In and semigroups. multiplication and h O lsdoeao ler cigon acting algebra operator closed - SOT the Abstract. D p epoeta iia euthlsfrtecrepnigagba a algebras corresponding the for holds result similar a that prove We ( sarflxv ler,i h es fHlo 1] otiign self-a no containing [18], Halmos of sense the in algebra, reflexive a is 0 µ R µ , steuulHrysaefrteuprhl ln.Ti atc fclo of lattice This plane. half upper the for space Hardy usual the is ) L < p < ∈ B F p H AAOI LER ON ALGEBRA PARABOLIC THE R h aaoi ler a nrdcdb aaoo n oe,i 199 in Power, and Katavolos by introduced was algebra parabolic The = } ∞ { and 0 ntels eto,i sas hw htterflxv lsrso th of closures reflexive the that shown also is it section, last the In . { ∪ } L A D p M par p ( µ { R λ f M r l re smrhcfr1 for isomorphic order all are ) D L ( sas eeiead oevr seulto equal is moreover, and, reflexive also is x λ p µ = ) [ λ , t, = ∞ ∈ f e ) 1. ( iλµ t , x R 77,47L35 47L75, Introduction D } − ∈ .KASTIS E. µ etegop ftasainadmultiplication and translation of groups the be L µ R M ) 2 { ∪ } M , ( B λ R 1 n htteSTcoe prtralgebra operator SOT-closed the that and , ( ,gvnby given ), L L 2 e 2 ( iλx λ ( R R f A hti eeae ytetranslation the by generated is that ) ( H )o l one prtr.(e Tay- (See operators. bounded all of )) x par p p = ) ( t,binest. ity, < p < R on ) e λ , L iλx L p ∞ ∈ ( f p R . ( R h eirusfor semigroups the y x o 1 for ) SPACES ) { ∪ } rpart. . prtr htleave that operators onneofiierank finite nonzero no g L etagba,bigthe being algebras, nest e ihntelmt of limits the within ned e tde intensively studied een B F p naino h Weyl- the of entation gbai reflexive is lgebra so lsdsubspaces. closed of ts tn on cting L < p < osi h strong the in uous A fcoe subspaces closed of eaoson perators p ( oe n[1 that [11] in Power B F p R ) h ler of algebra the , } ∞ L p ,as 7, hc are which , ( R ), e sub- sed e L djoint µ p ( ≥ R ). 0 2 E. KASTIS most characteristic class of reflexive noncommutative non selfadjoint operator algebras since they were introduced by Ringrose in 1965 [20], have a well-developed general theory on Hilbert spaces (Davidson [4]). However, only sporadic results can be found for nest algebras on Banach spaces (see [24], [22], [3]). On the other hand, the study of the reflexivity of non-selfadjoint algebras that are generated by semigroups of operators was begun by Sarason in 1966 [21], where he proved that H∞(R), viewed as a multiplication algebra on H2(R), is reflexive. Since then, several results about 2-parameter Lie semigroup algebras have been obtained. One of the aims in the analysis of reflexivity and related properties is to understand better the algebraic structure of these somewhat mysterious algebras. Establishing reflexivity can provide a route to constructing operators in the algebra and thereby deriving further algebraic 2 properties. As we stated above, the reflexivity of Apar, known as the parabolic algebra, was obtained in [11]. Furthermore, Levene and Power have shown ([15]) the reflexivity of an analogous hyperbolic algebra[12], the algebra generated by the multiplication and 2 dilation semigroups on L (R). The latter semigroup is given by the operators Vt, with t/2 t Vtf(x)= e f(e x), for t 0. Recently, Power and the author proved that the triple semigroup ≥ that is generated by the translation, dilation and multiplication semigroups is also reflexive [10]. A complication in establishing the reflexivity of the parabolic and hyperbolic algebras on is the absence of an approximate identity of finite rank operators, a key device in the theory of nest algebras (Erdos and Power [6], Davidson [4]). However, it was shown that the subspace of Hilbert-Schmidt operators is dense for both algebras and that these operators could be used as an alternative. On the other hand, we note that different reflexivity techniques were given in [1], where the authors make use of direct integral decomposition arguments. In our case, we define a right ideal of what we refer to as (p, q)-integral operators which we show is able to play the role of the (two-sided) ideal of Hilbert - Schmidt operators. As a substitute for the techniques of Hilbert space geometry and tensor product identifications used in [10], [11], [15], we make use of more involved measure theoretic arguments appropriate for the (p, q)-integrable operators. We also obtain a number of properties of the parabolic algebra on Lp(R), that correspond p to the classical case. Namely, Apar is antisymmetric (or triangular [9]), in an appropriate p sense, and Apar contains no non-trivial finite rank operators. Futhermore, the lattice of Ap is order isomorphic to the lattice of A2 for all 1

2. Preliminaries 2.1. The Hardy space Hp(R), p [1, ). We start with two elementary density lemmas for the Hardy spaces Hp(R) on the∈ line,∞ for p (1, ). The details of the theory of Hardy spaces can be found in [8]. ∈ ∞ For each u in the open upper half plane H+ of C let 1 b (x)= , x R. u x + u ∈ Then b lies in Hp(R), for every p (1, ). u ∈ ∞ THE PARABOLIC ALGEBRA ON BANACH SPACES 3

+ + Lemma 2.1. The linear spans of the sets D1 = bu u H , D2 = bubw u,w H are both dense in Hp(R), for 1

+ + Lemma 2.2. Let HQ = u H : u = x + iy, where x, y Q . For every t R the countable set { ∈ ∈ } ∈ Λ = b D b u,w H+ t { u t w| ∈ Q} is dense in Hp(R), for every p (1, ). ∈ ∞ Proof. Observe first that 1 1 D b (x)= = = b (x), x R. t w (x t)+ w x +(w t) w−t ∈ − − Since Q is dense in R, the rest of the proof is a simple application of dominated convergence. 

The Beurling theorem in the Lp-setting will be useful for the determination of the lattice p of Apar ([7], [19]). Applying the isometric isomorphism 1 2/p 1+ it Φ : Lp(T) Lp(R):(Φ f)(t)= f , t R, p → p √π(1 it) 1 it ∈  −   −  we can state the theorem on the real line, instead of the unit circle. Note that Φp restricts to an isomorphism of Hp -spaces [13]. Theorem 2.3. Given p (1, ), let M be a closed subspace of Lp(R) which is invariant ∈ ∞ p under the semigroup Mλ,λ 0 . Then M is either of the form L (E) for some Borel subset E R or M is{ equal to≥φH} p(R) for some unimodular function φ. ⊆ 4 E. KASTIS

2.2. The space Lp(R; Lq(R)), for 1 < p,q < . We now introduce some notation and terminology associated with the classical space∞Lp(R; Lq(R)). This space is a space of kernel functions for what we refer to as the (p, q)-integrable operators. For more details, we refer the reader to [16],[17]. Let p, q [1, + ]. Define S(R; Lq(R)) be the space of measurable simple functions; i.e. the functions∈ f : R∞ Lq(R) taking only finitely many values : → n

f(x)= χAk (x)gk, Xk=1 where Ak k=1,...,n is a finite family of Borel measurable pairwise disjoint sets and where g Lq{(R).} k ∈ Definition 2.4. A function f : R Lq(R) is said to be strongly measurable if there is q → a sequence (fn) in S(R; L (R)), tending to f pointwise. Also, f is weakly measurable, if given ω (Lq(R))∗ the function t ω(f(t)) is Borel measurable. ∈ 7→ The relationship between strong and weak measurability is given by the following the- orem of Pettis [16], who introduced the notion of almost separably valued functions. Definition 2.5. Let 1 q . A function f : R Lq(R) is almost separably valued, if there is a conull Borel≤ set≤A ∞ R, such that f(A) is→ separable. ⊆ Theorem 2.6. A function f : R Lq(R) is strongly measurable if and only if it is weakly measurable and almost separably→ valued. Example 2.7. Define f : R L∞(R) by f(x)= χ . Then f is not almost separably → (−∞,x] valued, and hence not strongly measurable, since f(x) f(t) ∞ = 1 for x = t. However, q k − k 6 q for q (1, ), the function g : R L (R), given by g(x) = χ(−∞,x]f, where f L (R), is strongly∈ ∞ measurable. To see this,→ note that Lq(R) is separable and given ω ∈ Lp(R), where p is the conjugate exponent of q, we have ∈ x ω(g(x)) = ω(y)χ(−∞,x](y)f(y)dy = ω(y)f(y)dy, ZR Z−∞ which is measurable, being the limit of absolutely continuous functions. The definition of Lp spaces of Lq-valued functions is analogous to the case of scalar valued functions. Define Lp(R; Lq(R)) as the set of equivalence classes (modulo equality for almost every x R) of strongly measurable functions f that satisfy f(x) pdx 1/p < for ∈ R k kq ∞ 1 p < , and esssup f( ) q for p = . Each of the above spaces endowed with the respective≤ ∞ norm k · k ∞ R 

1/p f = f(x) pdx , for p [1, ), k kp,q k kq ∈ ∞ ZR  f = esssup f( ) , for p = , k k∞,q k · kq ∞ becomes a Banach space. Remark 2.8. In the case p = q = 2 we have the natural isomorphisms L2(R; L2(R)) = L2(R) L2(R) = L2(R2) ∼ ⊗ ∼ . THE PARABOLIC ALGEBRA ON BANACH SPACES 5

For the rest of the subsection, the exponents p, q lie on the open interval (1, ). Given f , f ,...,f Lp(R) and g ,g ,...,g Lq(R), define ∞ 1 2 n ∈ 1 2 n ∈ n f : R Lq(R): f(x) f (x)g . → 7→ k k Xk=1 n q We denote this function by fk gk and we write F(R; L (R)) for the subspace of k=1 ⊗ Lp(R; Lq(R)) formed by such functions.P Finally, we write F(R; S(R)) for the set of functions n

fk χAk , where Ak k=1,...,n is a partition of the real line. k=1 ⊗ { } P Proposition 2.9. The following sets are dense in Lp(R; Lq(R)). (1) S(R; Lq(R)) Lp(R; Lq(R)); (2) F(R; Lq(R))∩ Lp(R; Lq(R)); (3) F(R; S(R)) ∩Lp(R; Lq(R)). ∩ Proof. The argument for the density of the first two sets can be found in [17]. For the last p q set it suffices to prove that given f L (R),g L (R), we can find a sequence (fn) of p q ∈ ∈ elements in F(R; S(R)) L (R; L (R)), that converges to f g with respect to the p,q norm. By the classical theory∩ of Lq spaces, there is a sequence⊗ of simple functions k·k

n g = a χ , a C, n n An n ∈ Xk=1 q p q such that gn g in L (R). Then the functions f gn lie in F(R; S(R)) L (R; L (R)) and → ⊗ ∩ f g f g = f g g 0. k ⊗ n − ⊗ kp,q k kpk n − kq → 

The characterization of the dual space of Lp(R; Lq(R)) is again analogous to the scalar valued case, after we take account of duality in the range space Lq(R) (see [17]).

Proposition 2.10. Let p, q (1, ) be conjugate exponents. The dual space of Lp(R; Lq(R)) is isometrically isomorphic to∈ Lq(∞R; Lp(R)).

Lemma 2.11. Given an operator T B(Lq(R)), there is a unique bounded linear operator ∈ T : Lp(R; Lq(R)) Lp(R; Lq(R)) → such that given f g F(R; Lq(R)) ⊗ ∈ e T (f g)= f T g. ⊗ ⊗ Moreover, the map T T is isometric.e 7→ e 6 E. KASTIS

n q Proof. Let f = χAk gk, such that gk L (R) and Ak k=1,...,n are pairwise disjoint k=1 ⊗ ∈ { } Borel sets. By linearity,P calculate n p n p T f p = χ Tg = χ (x)Tg dx = k kp,q Ak ⊗ k Ak k k=1 p,q ZR k=1 q X X e n q p/q n p/q

= χ (x)Tg (y) dy dx = χ (x) Tg (y) qdy dx = Ak k Ak | k | ZR ZR k=1 ! ZR ZR k=1 ! X X n p/q n p/q q q q = χAk (x) Tgk q dx χAk (x) T gk q dx = R k k ! ≤ R k k k k ! Z Xk=1 Z Xk=1 n p/q n p/q p q p q = T χAk (x) gk q dx = T χAk (x) gk(y) dy dx = k k R k k ! k k R R | | ! Z Xk=1 Z Xk=1 Z n q p/q = T p χ (x)g (y) dy dx = T p f p . k k Ak k k k k kp,q ZR ZR k=1 ! X q p q Since the set S(R; L (R )) is dense in L ( R; L (R)), the operator T is bounded. To show that the mapping T T is isometric, check that given g Lq(R) 7→ ∈ 1 e p p p p χ[0,1] ef p,q = χ[0,1](x)g qdx = dx g q = g q k ⊗ k k k k k k k ZR Z0 This yields an upper bound for the norm of the operator T Tg = χ Tg p = (Tχ g) p T χ g p = T g , k kq k [0,1] ⊗ kp,q k [0,1] ⊗ kp,q ≤k kk [0,1] ⊗ kp,q k kk kq so the proof is complete.  e e e Lemma 2.12. Let p, q (1, ). The linear map ∈ ∞ Θ: Lp(R; Lq(R)) Lp(R; Lq(R)) : Θ(f)(x)(y) f(x)(x y) → 7→ − is a bijective isometry onto Lp(R; Lq(R)). n p q Proof. It suffices again to consider f F(R; S(R)) L (R; L (R)). Let f(x)= fk(x)χAk ∈ ∩ k=1 as before. First, in order to obtain that Θf is strongly measurable, it suffices toP show that given ω Lq(R), the function ∈ ω(Θf( )) = R C : x ω(Θf(x)) = ω(y)(Θf)(x)(y)dy · → 7→ ZR is measurable. This is trivial to prove, since n ω(Θf(x)) = ω(y) f (x)χ (x y)dy = k Ak − ZR k=1 n X n

= fk(x) ω(y)χAk (x y)dy = fk(x)(ω χAk )(x), R − ∗ Xk=1 Z Xk=1 THE PARABOLIC ALGEBRA ON BANACH SPACES 7 and applying Young’s inequality, the function ω χ lies in Lq(R). Now ∗ Ak n p Θf p = Θ(f)(x) pdx = f (x)χ (x ) dx = k kp,q k kq k Ak −· ZR ZR k=1 q X n n p p p p p = fk(x) χAk (x ) qdx = fk(x) χAk qdx = f p,q R | | k −· k R | | k k k k Z Xk=1 Z Xk=1 Since Θ−1 = Θ, the map is bijective. 

p 2.3. The Fourier binest algebra AF B. In this subsection, we give the natural general- p p ization of the Fourier binest algebra on L spaces. The Volterra nest Nv is the continuous nest consisting of the subspaces Lp([t, + )), for t R, together with the trivial subspaces 0 , Lp(R). The analytic nest Np is defined∞ to be∈ the chain of subspaces { } a eiλxHp(R), λ R, ∈ together with the trivial subspaces. These nests determine the Volterra nest algebra p p p p Av = AlgNv and the analytic nest algebra Aa = AlgNa, both of which are reflexive operator algebras. The Fourier binest is the subspace lattice Lp = Np Np F B v ∪ a p p and the Fourier binest algebra AF B is the non-selfadjoint algebra AlgLF B of operators p p which leave invariant each subspace of LF B. It is elementary to check that AF B is a reflexive algebra, being the intersection of two reflexive algebras. Given p (1, + ), let J be the flip operator given by (Jf)(x) = f( x). Note that J is the isometric∈ operator∞ that takes the Volterra nest to its counterpart− (Np)⊥ = 0 Lp( , t], t R Lp(R) v { }∪{ −∞ ∈ }∪{ } and the analytic nest to (Np)⊥ = 0 e−iλxHp(R),λ R Lp(R) a { }∪{ ∈ }∪{ } p p p ⊥ p ⊥ . Hence JAF BJ is the binest algebra generated by the lattice JLF B =(Nv) (Na) . Since the spaces eiλxHp(R) and Lp[t, ) are naturally complemented and have trivial∪ subspaces ∞ p it is straightforward to adjust the Hilbert space arguments ([11])to see that AF B is an p p antisymmetric operator algebra, meaning that AF B JAF BJ = CI, and contains no non-zero finite rank operators. ∩

2.4. The parabolic algebra. We first recall the definition of the strong operator topology (SOT). Given a net (Ti)i∈I of bounded operators on a Banach space X, we say that SOT Ti T , where T B(X), if and only if Tix T x, for every x X. In other words, the SOT→ topology on B∈(X) is defined as the topology→ of pointwise convergence∈ on X. p p The parabolic algebra Apar is defined as the SOT-closed operator algebra on L (R) that is generated by the two isometric semigroups Mλ,λ 0 , Dµ, µ 0 . Since the generators of Ap leave the subspaces of the binest{Lp invariant,≥ } { we have≥ A} p Ap . par F B par ⊆ F B Katavolos and Power showed in [11] that, in the case p = 2, these two algebras are equal. 8 E. KASTIS

2.5. Integral Operators on Lp(R). Let p (1, ) and q be its conjugate exponent. Given k Lp(R; Lq(R)), the linear map ∈ ∞ ∈

(Intk f)(x)= k(x)(y)f(y)dy ZR defines a bounded operator on Lp(R). Indeed, given f Lp(R), applying the H¨older inequality we obtain ∈

p k(x)(y)f(y)dy dx k p f p ≤k kp,qk kp ZR ZR

We will refer to such an operator as (p, q)-integral operator and denote the set of (p, q)- integral operators by

Gp = Intk : k Lp(R; Lq(R)) { ∈ }

Remark 2.13. (1) The above calculation also proves that the norm p,q dominates k·k k·k the operator norm, i.e. given (k ) ,k Lp(R; Lq(R)), such that k p,q k, then n n≥1 ∈ n → Intkn Intk. → 2 (2) In the special case p = 2, then G = C2, where C2 is the ideal of the Hilbert- Schmidt operators on L2(R).

Lemma 2.14. Gp is a right ideal in B(Lp(R)).

Proof. Let T B(Lp(R)). Given f Lp(R) and k Lp(R; Lq(R)), such that n ∈ ∈ ∈ k = fκ gκ, we have κ=1 ⊗ P n

(IntkT f)(x)= k(x, y)(T f)(y)dy = fκ(x) gκ(y)(T f)(y)dy = ZR κ=1 ZR Xn ∗ = fκ(x) T gκ(y)f(y)dy. κ=1 R X Z

n ∗ ∗ where T is the adjoint operator of T . Therefore IntkT = Intk, where k = fκ T gκ. κ=1 ⊗ n p q (m) (m) P k·kp,q In the general case, let k L (R; L (R)) and km = fκ egκ , suche that km k. ∈ κ=1 ⊗ → n P (m) ∗ (m) Applying the above argument, we have IntkmT = Intkm, where km = fκ T gκ . κ=1 ⊗ f f P THE PARABOLIC ALGEBRA ON BANACH SPACES 9

Then, by Lemma 2.11, there is a unique operator T ∗ B(Lp(R; Lq(R)), such that ∈ n n k k = f (m) T ∗g(m) f f (l) T ∗g(l) = k m − lkp,q κ ⊗ κ − κ ⊗ κ κ=1 κ=1 p,q X X f e n n = T ∗ f (m) g(m) f (l) g(l) κ ⊗ κ − κ ⊗ κ ≤ κ=1 κ=1 ! p,q X X f n n T ∗ f (m) g(m) f (l) g(l ) = ≤ κ ⊗ κ − κ ⊗ κ κ=1 κ=1 ! p,q X X = fT ∗ k k k m − lkp,q

It follows that the sequence f (k m)m is a Cauchy sequence, so by the completeness of Lp(R; Lq(R)), it converges to some k Lp(R; Lq(R)). Since the norm dominates ∈ k·kp,q the operator norm, the sequencef (Intkn)n of (p,q)-integral operators converges to Intk. Thus, by the uniqueness of the limit,e we obtain IntkT = Intk.  e e e 3. Reflexivity p In this section, we prove that the parabolic algebra Apar is reflexive, given p (1, ). p p ∈ ∞ In particular, we will show that Apar = AF B. As we noted in the previous section, it suffices to prove that Ap Ap . F B ⊆ par p p Proposition 3.1. Let Intk G AF B. Then k satisfies the following properties p q ∈ ∩ (1) Θ(k) L (R; L (R+)) (2) For every∈ Borel set A of finite measure and h Hq(R), we have ∈

Θ(k)(x)(y)h(x)χA(y)dy dx =0. ZR ZR  Proof. Let Intk Gp Ap . ∈ ∩ F B (1) Since IntkLp[t, ) Lp[t, ), for every t R, it follows that k(x)(y) = 0, for ∞ ⊆ 2 ∞ ∈ q almost every (x, y) R , such that y > x. Therefore, Θ(k)(x) L (R+) for almost every x R. ∈ ∈ ∈ p p (2) Since IntkDµMλH (R) MλH (R), for every λ,µ R, given functions f Hp(R),g Hq(R), we⊆ have ∈ ∈ ∈ (IntkD M f)(M g) H1(R) µ λ −λ ∈ so

(IntkDµMλf)(x)(M−λg)(x)dx =0. ZR Therefore, for every q L1(R), we obtain ∈

(IntkDµMλf)(x)(M−λg)(x)dx q(µ)dµ =0. ZR ZR  10 E. KASTIS

Take q(µ) = χA( µ), where A is a Borel set of finite measure. Then, by Fubini’s theorem −

k(x)(y)eiλ(y−µ)f(y µ)e−iλxg(x)dy dx χ ( µ)dµ =0 − A − ⇔ ZR ZR ZR   µ→µ+y−x eiλ(y−µ)f(y µ)χ ( µ)dµ k(x)(y)e−iλxg(x)dy dx =0 − A − ⇔ ZR ZR ZR   eiλ(x−µ)f(x µ)χ (x y µ)dµ k(x)(y)e−iλxg(x)dy dx =0 − A − − ⇔ ZR ZR ZR   k(x)(y)D f(x)g(x)D χ (x y)dy dx e−iλµdµ =0 µ µ A − ZR ZR ZR   We claim that the function

Φ: R C : µ k(x)(y)D f(x)g(x)D χ (x y)dy dx → 7→ µ µ A − ZR ZR  is a well defined L1 function. By Tonelli’s theorem, it suffices to show that

k(x)(y)D f(x)g(x)D χ (x y) dµ dy dx < µ µ A − ∞ ZR ZR ZR  

. We have

k(x)(y)D f(x)g(x)D χ (x y) dµ dy dx = µ µ A − ZR ZR ZR  

= k(x)(y) f(x µ)χ (x y µ) dµ dy g(x) dx = − A − − ZR ZR  ZR  

= k(x)(y) f(µ)χ (µ y) dµ dy g(x) dx = A − ZR ZR  ZR  

= k(x)(y) f(µ)Jχ (y µ ) dµ dy g(x ) dx, A − ZR ZR  ZR  

where J is again the flip operator. By Young’s inequality the function h := f JχA lies in Lp(R), so the expression above is equal to | |∗

k(x)(y)h(y) dy g(x) dx ZR ZR 

which by Holder’s inequality is bounded by h p k p,q g q, so our claim is proven. Since the Fourier transform of the functionk Φk isk thek zerok k function, it follows that for almost every µ R ∈ k(x)(y)D f(x)g(x)D χ (x y)dy dx =0 µ µ A − ZR ZR  Hence by Lemma 2.2

k(x)(y)h(x)D χ (x y)dy dx =0 µ A − ZR ZR  THE PARABOLIC ALGEBRA ON BANACH SPACES 11

for every h Hq(R). Moreover, since the Borel set A was freely chosen and D χ = χ ∈, where A + µ = x + µ : x A , we have the equivalence µ A A+µ { ∈ } y→x−y k(x)(y)h(x)χ (x y)dy dx =0 Θ(k)(x)(y)h(x)χ (y)dy dx =0 A − ⇔ A ZR ZR  ZR ZR  

p p Our next goal is to determine a dense set of G AF B. We start with an approximation lemma. ∩ Lemma 3.2. Let φ L1(R). Then, given p [1, ), the convolution operator ∈ ∈ ∞ ∆ : Lp(R) Lp(R): f φ f, φ → 7→ ∗ is bounded. Furthermore, if φ has essential support in R+, then ∆φ belongs to the SOT- closed algebra generated by D t R . { t | ∈ +} Proof. The continuity of ∆ is immediate by Young’s inequality, which also gives ∆ φ k φk ≤ φ 1. The argument of the second claim is similar to that for p = 2 [14]. Suppose first that φk hask compact support [a, b], for some b>α 0. Given n N and m 0, 1,...,n 1, ≥ ∈ ∈ − define α = τ(m+1,n) φ(s)ds, where τ(m, n)= a + m (b a). We claim that the sequence m,n τ(m,n) n − (T ) given by n n R n−1

Tn = αm,nDτ(m,n) m=0 X converges in the SOT-topology to ∆ . Consider f Lp. Then by Hahn - Banach theorem φ ∈ (D T )f = sup (D T )f(x)g(x)dx : g =1 = k φ − n kp φ − n k kq  ZR  n−1 τ(m+1,n) = sup φ(t) (D D )f(x) dtg(x)dx : g =1 = t − τ(m,n) k kq ( ZR m=0 Zτ(m,n) ) X 

= sup φ(t) (D D )f(x) dtg(x)dx : g =1 t − ρn(t) k kq ≤  ZR ZR   sup φ(t) (D D )f(x) g(x) dx dt : g =1 ≤ t − ρn(t) k kq ZR ZR    where ρ (t)= a + b−a (t−a)n , t [a, b]. Now n n b−a ∈ j k φ(t) (D D )f(x) g(x) dx (D D )f g , t − ρn(t) ≤k t − ρn(t) kpk kq ZR  so it follows that (D T )f φ(t) (D D )f dt. k φ − n kp ≤ | |k t − ρn(t) kp ZR Since (D D )f 0 as n and φ(t) (D D )f 2 φ(t) f , we get k t − ρn(t) kp → →∞ | |k t − ρn(t) kp ≤ | k kp that (Dφ Tn)f p 0, by dominated convergence theorem. Thek general− case,k → is a simple application of Young’s inequality.  12 E. KASTIS

Remark 3.3. In the L2(R) case, there is a simpler proof, using the unitary Fourier- Plancherel transform F . Note that

∗ ∆φ = F MφˆF

1 ∞ Since φ L (R ), it follows that φˆ H (R). Therefore, the multiplication operator M ˆ ∈ + ∈ φ lies in the SOT-closed algebra generated by M−λ : λ R+ . Hence, using the fact that ∗ { ∈ } Dλ = F M−λF , the proof is complete.

p q Lemma 3.4. Let h H (R), φ L (R+), where p (1, ) and q is its conjugate exponent. Define k =Θ∈ −1(h φ). Then,∈ the operator Intk∈ = ∞M ∆ lies in Gp Ap . ⊗ h φ ∩ par Proof. First, consider h H∞(R),φ L1(R ). Then ∈ ∈ + (Intkf)(x)= Θ−1(h φ)(x)(y)f(y)dy = ⊗ ZR = h(x)φ(x y)f(y)dy =(M ∆ f)(x), − h φ ZR so Intk h ∞ φ 1. By the previous lemma ∆φ SOT alg Dt : t R+ , hence k k≤kp k k k p q ∈ − { ∈ ∞ } p Intk Apar. Take now h H (R) and φ L (R+). Then there exist hm (H H )(R), ∈ ∈ k·k ∈ k·k ∈ ∩ φ (L1 Lq)(R ), such that h p h and φ q φ. Now it is straightforward to show m ∈ ∩ + m → m → k·kp,q p that hm φm h φ. Since the norm p,q dominates the operator norm and Apar is norm closed,⊗ → ⊗ k·k Intk = Int(Θ−1(h φ)) Ap . ⊗ ∈ par p q Moreover, the fact that h and φ lie in H (R) and L (R+) respectively implies that Intk Gp. ∈ Proposition 3.5. Gp Ap = Gp Ap , for every p (1, ). ∩ F B ∩ par ∈ ∞ Proof. By Proposition 3.1, if Intk Gp Ap , then Θ(k) Lp(R; Lq(R )) and ∈ ∩ F B ∈ +

(3.1) Θ(k)(x)(y)η(x)χA(y)dy dx =0, ZR ZR  for every Borel set A of finite measure and η Hq(R). By the Hahn - Banach theorem and Proposition∈ 2.10, it suffices to prove, that given ω (Lp(R; Lq(R)))∗ = Lq(R; Lp(R)), such that ω(Θ−1(h φ)) = 0, for every h Hp(R),φ ∈ q ∼ ⊗ ∈ p p ∈ L (R+), then ω(k) = 0, for every kernel k that corresponds to an operator Intk G AF B. q p ∈ ∩ It suffices to check for ω in a dense subset of L (R; L (R+)), so by Proposition 2.9, for all ω Θ(F(R; S(R)) Lp(R; Lq(R))). We have ∈ ∩ n ω(k)= k(x)(y)f (x)χ (x y)dy dx = m Am − m=1 ZR ZR  Xn

= Θk(x)(y)fm(x)χAm (y)dy dx m=1 R R X Z Z  THE PARABOLIC ALGEBRA ON BANACH SPACES 13 where f Lq(R) and A a family of pairwise disjoint Borel sets. Now m ∈ { m}m=1,...,n n 0= ω(Θ−1(h φ)) = h(x)φ(x y)f (x)χ (x y)dy dx = ⊗ − m Am − m=1 ZR ZR  Xn = φ(x y)χ (x y)dy h(x)f (x)dx = − Am − m m=1 ZR ZR  Xn

= φ(y)χAm (y)dy h(x)fm(x)dx. m=1 R R X Z Z  If A lies in R , for every m = 1,...,n, and Θ(k) Lp(R; Lq(R )), then ω(k) = 0. m − ∈ + Therefore, we may assume that Am R+, for every m 1,...,n . Fix now some m 1,...,n and take φ = χ . Then⊆ ∈ { } 0 ∈{ } Am0 h(x)f (x)dx =0, h Hp(R). m0 ∀ ∈ ZR Therefore, f Hq(R), for every m. m ∈ n

ω(k)= Θk(x)(y)fm(x)χAm (y)dy dx =0 m=1 R R X Z Z  by equation (3.1).  The following proposition and proof follow the pattern for the case p = 2, given in [14]. p Proposition 3.6. For every p (1, ), the algebra Apar contains a bounded approximate identity of elements in Gp. ∈ ∞ ni Proof. Take hn(x) = x+ni and φn(y) = nχ[0,1/n](y). It is trivial to see that hn and φn lie in Hr(R) and Lr(R ), respectively, for every r (1, ). Let k = Θ−1(h φ ). Then + ∈ ∞ n n ⊗ n Intkn hn ∞ φn 1 1. Since hn 1 uniformly on compact sets of the real line, it k k≤k k SOTk k ≤ → follows that Mhn I. Now given f CC(R), note that → ∈ p ∆ f f p = nχ (y)f(x y)dy f(x) dx = k φn − kp [0,1/n] − − ZR ZR 1/n p

= nf(x y)dy f(x) dx − − ZR Z0 p 1/n p p Check that nf(x y)dy f (x) 2 f χs(x), where S is the compact set 0 − − ≤ k k∞

R S = x + τ x suppf, τ [0, 1] . { | ∈ ∈ } Hence by dominated convergence ∆ f f. Since C (R) is dense in Lp(R) it follows φn → C that ∆ SOT I. Multiplication is SOT -continuous on the closed unit ball of bounded φn → operators, so M ∆ SOT I.  hn φn → p Theorem 3.7. For every p (1, ), the parabolic algebra Apar is equal to the Fourier p ∈ ∞ binest algebra AF B. 14 E. KASTIS

Proof. As we have noted before, it suffices to prove that Ap Ap . Let T Ap F B ⊆ par ∈ F B and (Xn)n≥1 be the bounded approximate identity of the previous proposition. By lemma p p p p p 2.14 and proposition 3.5, the operators XnT lie in G AF B = G Apar. Since Apar is ∩ p ∩  SOT -closed, the given operator T = SOT lim XnT lies in Apar. − n ∞ Proposition 3.8. The Fourier binest algebra AF B is strictly larger than the parabolic ∞ algebra Apar.

Proof. Note first that the non-selfadjoint ∞-closed algebra of the trigonometric poly- nomials eiλx : λ 0 is the algebra AAPk·k(R) of analytic almost periodic functions [2], which is{ strictly smaller≥ } than H∞(R). Take a function φ that lies in H∞(R) and it is not an element of AAP (R). It suffices to show that M / A∞ . If this is not the case, there φ ∈ par is some sequence pn(Mλ,Dµ) in the non-closed algebra generated by Mλ,Dµ : λ,µ 0 which converges strongly to M . Thus for any f L∞(R), we have { ≥ } φ ∈ p (M ,D )f M f 0, asn . n λ µ − φ → →∞ ∞

Choosing f 1, it follows that ≡ p (M ,I)f M f 0, asn . n λ − φ → →∞ ∞ and so φ AAP (R), a contradiction.  ∈ Remark 3.9. It remains unclear to the author whether the parabolic operator algebras 1 ∞ 1 ∞ Apar and Apar acting on the respective Banach spaces L (R) and L (R) are reflexive operator algebras.

4. The lattice of the parabolic algebra p p −isx2/2 Let Kλ,s = MλMφs H (R) where φs(x)= e . This is evidently an invariant subspace for the multiplication semigroup and for s 0 one can check that it is invariant for the ≥ p translation semigroup. Thus for s 0 the nest Ns = Mφs Na is contained in LatApar and these nests are distinct. In fact any≥ two nontrivial subspaces from nests with distinct s parameter have trivial intersection. Suppose now that p = 2. With the strong operator topology for the associated orthog- onal subspace projections it can be shown ([11]) that the set of these nests for s 0, 2 ≥ together with the Volterra nest Nv, is homeomorphic to the closed unit disc. A cocycle 2 argument given in [11] leads to the fact that every invariant subspace for Apar is of this form for p = 2. That is

(4.1) LatA2 = K2 λ R,s 0 N par { λ,s| ∈ ≥ } ∪ v We prove now the corresponding result for the general case of Ap , where 1

2 2 algebra. Therefore, the 2-closure of K L (R) lies in LatApar. Hence, according to the Beurling -Lax theorem,k·k we have two cases.∩ In the first case, where K = Lp(E), then

k·k2 Lp(E) L2(R) LatA2 L2(E) LatA2 E = [t, ), ∩ ∈ par ⇒ ∈ par ⇒ ∞ for some t R. In the second case, K = M Hp(R), which implies ∈ φ k·k2 M Hp(R) L2(R) LatA2 M H2(R) LatA2 M = M M , φ ∩ ∈ par ⇒ φ ∈ par ⇒ φ φs λ for some s [0, + ),λ R. Hence, we have the following result. ∈ ∞ ∈ Theorem 4.1. Given p (1, ), the invariant subspace lattice of the algebra Ap is ∈ ∞ par LatAp = Kp λ R,s 0 Np par { λ,s| ∈ ≥ } ∪ v Recall that the reflexive closure of a set of closed subspaces L is the subspace lattice p LatAlgL. Thus the theorem identifies the reflexive closure of the binest LF B. 2 Remark 4.2. In [11], Katavolos and Power proved that LatApar, viewed as a topological space of projections on L2(R), endowed with the strong operator topology, is homeomor- phic to the closed unit disc. In particular, they obtained the so-called strange limit SOT PK2 PL2[λ,+∞), as s , s,λ → →∞ which relies on the Paley - Wiener theorem and the fact that the Fourier transform is uni- tary on L2(R). Even though the Riesz projection from Lp(R) onto Hp(R) remains bounded, it is unknown to the author if the above convergence still holds, for p (1, + ) 2 . ∈ ∞ \{ } p We expect that the operator algebras Apar, for 1

References [1] M. Anoussis, A. Katavolos and I.G. Todorov, Operator algebras from the Heisenberg semigroup, Proc. Edin. Math. Soc., 55 (2012), 1–22. [2] A. S. Besicovich, Almost periodic functions, Dover Publications Inc., New York, (1954). [3] N. Boudi and K. R. Davidson, Semigroup automorphisms of nest algebras, Houston J. of Mathematics, Vol.38, No. 4 (2012), 1197–1206. [4] K. R. Davidson, Nest Algebras, Pitman Research Notes in Math., 191, Longman, 1988. [5] M.Eidelheit, On isomorphisms of rings of linear operators, Studia Math. 9 (1940), 97-105. [6] J. A. Erdos and S. C. Power, Weakly closed ideals of nest algebras, J. Operator Th., 7 (1982), 219–235. [7] H. Helson, Lectures on invariant subspaces, Academic Press, New York, (1964). [8] K. Hoffman, Banach spaces of analytic functions, Prentice-Hall, Englewood Cliffs, N. J., (1962). [9] R. V. Kadison and I. M. Singer, Triangular operator algebras, Amer. J. Math., 82 (1960), 227–259. [10] E. Kastis and S. C. Power, The operator algebra generated by the translation, dilation and multipli- cation semigroups. Journal of , 269 (2015), p. 3316–3335. [11] A. Katavolos and S. C. Power, The Fourier binest algebra, Math. Proc. Cambridge Philos. Soc., 122 (1997), 525–539. [12] A. Katavolos and S. C. Power, Translation and dilation invariant subspaces of L2(R), J. Reine Angew. Math., 552 (2002), 101–129. 16 E. KASTIS

[13] P. Koosis Introduction to Hp spaces (Second edition) Cambridge Tract in Math., 115, Cam- bridge,1998. [14] R. H. Levene, Lie semigroup operator algebras, Ph.D. Thesis, Lancaster University, 2004. [15] R. H. Levene and S. C. Power, Reflexivity of the translation-dilation algebras on L2(R), International J. Math., 14 (2003), 1081–1090. [16] B. J. Pettis, On integration in vector spaces, Trans. Amer. Math. Soc. 44 (1938), 277–304. [17] G. Pisier, Martingales in Banach Spaces (in connection with Type and Cotype), Course IHP, 2011. [18] H. Radjavi and P. Rosenthal, Invariant subspaces, Dover, 2003. [19] D. A. Redett, S-invariant subspaces of Lp(T), Proc. Amer. Math. Soc., Vol. 133, 5 (2004), 1459–1461. [20] J. R. Ringrose, On some algebras of operators, Proc. London Math. Soc., 15 (1965), 61–83. [21] D. Sarason, Invariant subspaces and unstarred operator algebras, Pacific J. Math., 17 (1966), 511–517. [22] M.Spivack, Derivations and nest algebras on Banach Space, Israel J. Math., Vol.50. No. 3, (1985), 193–200. [23] M. E. Taylor, Noncommutative Harmonic Analysis, Math. Surveys and Monographs, vol 22, Amer. Math. Soc., 1986. [24] D. J. Westwood, Nests in Banach space, J. Math. Anal. and Applications, 156 (1991), 558–567.

Dept. Math. Stats., Lancaster University, Lancaster LA1 4YF, U.K. E-mail address: [email protected]