arXiv:1806.00382v3 [math.FA] 10 Jan 2019 prtr cigo aahspace Banach a on acting operators h a hw h aefrtenneeiecase nonreflexive the Le´snik, for Astashkin, same of the result shown a had extends who This way). natural the (in eut for results rtmi euto h rsn ae,wihsae httand( that states which paper, present the of result main first eunesae endblw ndigs,w banaprildes partial a obtain we so, when doing In lattice below. defined spaces sequence olwn [ Following lsdiel,oeao hoy prtralgebras. operator theory, operator ideals, closed dual its 1.1. Definition dasietfidi [ in identified ideals hr n ute lsdiel utocrbetween occur must ideals closed further any where e´ r eunesaeces( space Ces´aro sequence lers tiigyaaoost ( to analogous strikingly algebras, hie of choices (1.1) dasfor ideals esuyteltieo lsdiel in ideals closed of lattice the study We e od n phrases. and words Key 2010 spaces. following the discuss also us Let eea eetppr aesuidtecoe dasin ideals closed the studied have papers recent Several LSDIEL FOEAOSATN NSOME ON ACTING OPERATORS OF IDEALS CLOSED ahmtc ujc Classification. Subject Mathematics ieo lsdiel o eti te oet n aln sequence Garling and Lorentz other certain cardinality. for an infinite ideals spaces, closed sequence Lorentz of certain tice in complemented are spaces ( 1 u ieroeaosatn on acting operators linear ous Abstract. ⊕ W 6 n ∞ L =1 p 1 L KL16 < p (tand( , 2 ℓ and (ces( ∞ n X ([ ) ∞ W LSZ06 p scoe rmthe from chosen is ,w hl abbreviate shall we ], q n ( and p hc eso r smrhct h lsia eunespaces sequence classical the to isomorphic are show we which , e 1 Let p,q p esuyteltieo lsdiel nteagbao continu- of algebra the in ideals closed of lattice the study We opeedsrpin fteltieo lsdiel nthese in ideals closed of lattice the of descriptions Complete . AIISO EUNESPACES SEQUENCE OF FAMILIES ′ )aeas band hs ecitosaecrlaiso the of corollaries are descriptions These obtained. also are )) )cnit,a es npr,o h chain the of part, in least at consists, )) Le15 := ⊕ ) Indeed, ]). n ∞ 6
aahsae,Lrnzsqec pcs aln eunespa sequence Garling spaces, sequence Lorentz spaces, Banach =1 , M n ,q p, ℓ ∞ KL16 =1 1 n p ) ′ p ,1 ), ℓ ′ 6 { epciey eas hwta adr sequence Tandori that show also We respectively. , q n 1. 0 ! .Det h atta ces( that fact the to Due ]. ∞ } ℓ Introduction p 6 { p E WALLIS BEN ( eset We . 1.1 hTnoiand Tandori th 0 , p } K < p hTnoisqec pc tand( space sequence Tandori th ,hv engvnfor given been have ), rmr 64;Scnay4B5 47A99. 46B25, Secondary 46B45; Primary X ( W and ( 1 where , p K ∞ J L := ℓ ( npriua,teltieo closed of lattice the particular, In . ( p X W W ( ,teagbao otnoslinear continuous of algebra the ), J 0 p, ,q L c p ∞ X 0 := ′ , hCsaosqec spaces, Ces`aro sequence th p ( and J scoe rmaogsome among from chosen is ([ 1 =
ℓ L M p n ∞ W =1 n h nqemaximal unique the and ecie h atc for lattice the describes 0 ALM18 ℓ q n := p ! L W ′ httelat- the that d ) ( c W p 0 0 W ≈ , ) n Maligranda, and 2 . pcshas spaces 0 p,q ≈ , oolr 3]). Corollary , ∞ ([ tand( rpino the of cription LLR04 o various for ) . ( ⊕ p n ∞ p =1 or ) ) ∗ ℓ )and ]) dual , 2 ∞ n − p ces, 1 ′ th ) p 2 B. WALLIS
W0,2, and (1.1) describes the lattice for W1,2. Of course, it has been known for decades ([Ca41] for the ℓ2 case and [GFM60] for the remaining cases) that the algebras of operators acting on Wp,p(= ℓp), 1 6 p< ∞, and also W0,0(= c0), each admit precisely three closed ideals: {0} ( K ( L. Partial results have been obtained for other choices of p and q. As observed n in [LL05, §2], when 1 M = W(ℓ )= SS(ℓ )= E(ℓ )= X (ℓ ). ∞ ∞ ∞ ∞ ∞ Remark 1.2. Tomasz Kania and Timur Oikhberg have each independently proved (unpublished) that the maximal ideal in L(ℓ ) given above likewise coincides with the finitely strictly singular operators of ℓ ∞, i.e. that M = FSS(ℓ ). ∞ ∞ ∞ All notation is standard, such as appears in [LT77, AA02, AK16], but let us nevertheless remind the reader of some important facts and symbolism. If X is a Banach space, an (algebraic) ideal in L(X) is any linear subspace I of L(X) such that BT A ∈ I ∀ T ∈ I, ∀ A, B ∈L(X). The letters F, K, W, SS, FSS, X , and E denote the classes of finite-rank, compact, weakly compact, strictly singular, finitely strictly singular, separable range, and inessential operators, respectively. These all form operator ideals in the sense of Pietsch (see [DJP01] for a discussion of these), and are all closed except for F. For a Banach space X, the zero ideal {0} and the entire algebra L(X) are called trivial ideals. When X has a basis, the smallest nontrivial closed ideal is K(X); in this case, every nonzero closed ideal in L(X) contains K(X). If T ∈L(E, F ), where E and F are Banach spaces, we denote by JT the class of all Banach space operators factoring through T , i.e. for each pair X and Y of Banach spaces we set JT (X,Y )= {BT A : A ∈L(X, E), B ∈L(F,Y )} . 3 This is a multiplicative ideal but not necessarily a linear space. Hence, we define GT = span (JT ) , the operator ideal generated by T . In case IdE ∈ L(E) is the identity operator on E, we write JE := JIdE and GE := GIdE . If A is a class of operators, denote by A(X,Y ) the closure of the set A(X,Y ), and by [A](X,Y ) the closed linear span of A(X,Y ). We also denote by SE the E-strictly-singular operators, i.e. the set of operators failing to fix a copy of E. Thus, SE(X,Y )= {T ∈L(X,Y ): T |F is not bdd. below for any F ⊂ X s.t. F ≈ E} . The remainder of this paper is organized into sections 2 through 4. In section 2, we define Lorentz and Garling sequence spaces d(w,p) and g(w,p), and summarize what is known about the closed ideal structure of their operator algebras. In section 3 we extend the result [ALM18, Corollary 3] to isomorphically identify the pth Tandori sequence space tand(p) with Wp, and the p′th Ces´aro sequence space ces(p′) with Wp∗, for all 1 6 p < ∞. Finally, in section 4, show that Wp is complemented in d(w,p) and g(w,p) for 1 6 p< ∞ and for certain choices of weight w, and use these facts to study the closed ideal structures of L(tand(p)) and L(ces(p′)). 2. Closed ideals in L(d(w,p)) and L(g(w,p)) In [KPSTT12] was introduced the first serious study of the closed ideal struc- ture for the Lorentz sequence space operator algebra L(d(w,p)), 1 6 p < ∞, w ∈ W, N W = (wi)i∞=1 ∈ (0, ∞) ∩ c0 \ ℓ1 :1= w1 > w2 > w3 ··· . In that excellent paper, the authors gave the following partial description. 5 SS ❚❚ ❥❥❥5 ❚❚ .& 3+ / / 3+ {0} K ( J j J ℓp ∩ SS [Jℓp + SS] Sd(w,p) L ❧5 ,$ ❧❧❧ J ℓp Here, j : ℓp → d(w,p) denotes the formal identity (the natural map between canonical bases). We are suppressing the “(d(w,p))” in notation like “L(d(w,p)).” A single arrow (−→) means ⊆, but that we do not know whether the inclusion is strict. A double arrow (=⇒) means a unique immediate successor. In contrast, a dotted double arrow ( 3+ ) indicates an immediate successor which may or may not be unique. Some additional information about the ideal structure of L(d(w,p)) is not represented in the above diagram. For instance, the authors proved in [KPSTT12, Theorem 3.5] that FSS(d(w,p)) = SS(d(w,p)) and in [KPSTT12, Theorem 3.6] that in the special case p = 1 these ideals also coincide with the weakly compact operators. Also they showed ([KPSTT12, Theorem 4.7]) that whenever w ∈ W satisfies condition (2SB) in Definition 4.1 below, the set J j(d(w,p)) is the unique 4 B. WALLIS immediate successor of K(d(w,p)). (We do not currently know whether this is the case for other choices of weights.) Let us now explicitly define the Lorentz and Garling sequence spaces. A sequence of positive real numbers is a weight. We are especially interested in nonincreasing null weights which are not summable, i.e. the weights in the family W defined above. Let Π denote the set of permutations on N. Then for N any 1 6 p< ∞ and any w ∈ W, we define a function k·kd(w,p) : K → [0, ∞] by the rule 1/p ∞ p k(an)n∞=1kd(w,p) = sup |aσ(n)| wn . σ Π n=1 ! ∈ X (Here, we are using K ∈ {R, C}, depending on whether we are working in the real or complex field.) Usually, context allows us to abbreviate the notation k·kd = k·kd(w,p). We can now define the Lorentz sequence space via N d(w,p)= (an)n∞=1 ∈ K : k(an)n∞=1kd < ∞ , w ∈ W, p ∈ [1, ∞). It is well-known that d(w,p) forms a Banach space under the norm k·kd, and admits a standard basis of unit vectors, usually denoted (dn)n∞=1, which is 1- symmetric. Let N↑ denote the set of all strictly increasing sequences of positive integers. N For 1 6 p< ∞ and w ∈ W we can define a function k·kg(w,p) : K → [0, ∞] by the rule 1/p ∞ p k(an)n∞=1kg(w,p) = sup |ank | wk . ∞ ↑ (nk)k N ! =1∈ Xk=1 As expected, we write k·kg = k·kg(w,p) when context permits. Define the Garling sequence space via N g(w,p)= (an)n∞=1 ∈ K : k(an)n∞=1kg < ∞ , w ∈ W, p ∈ [1, ∞). It is known that g(w,p) is a Banach space under the norm k·kg whose unit vectors (gn)n∞=1 form a 1-subsymmetric basis. As the definition of g(w,p) is so similar to that of d(w,p), it should not surprise us that many of the methods for finding closed ideals in the operator algebra L(d(w,p)) carry over for L(g(w,p)). Let us give a list of facts analogous to those in [KPSTT12] for g(w,p) instead of d(w,p). Theorem 2.1. Let 1 6 p < ∞ and w ∈ W. Let jg : ℓp → g(w,p) denote the formal identity, i.e. the natural map between canonical bases. (i) J ℓp (g(w,p)) is a proper ideal. (ii) If T ∈ L(g(w,p)) \ SS(d(w,p)) then Jℓp (g(w,p)) ⊆ JT (g(w,p)). Conse- quently, [Jℓp +SS](g(w,p)) is the unique immediate successor of SS(g(w,p)), and J ℓp (g(w,p)) is an immediate successor of J ℓp ∩ SS(g(w,p)). (iii) In case p =1 we have W(g(w, 1)) = SS(g(w, 1)). (iv) Jjg (g(w,p)) is an ideal in L(g(w,p)). (v) jg is class FSS. (vi) K(g(w,p)) ( J jg (g(w,p)) and Jjg (g(w,p)) ⊆ (SS ∩Jℓp )(g(w,p)). (vii) Sg(w,p)(g(w,p)) is the unique maximal ideal in L(g(w,p)). 5 Proof outline. (i) Identical to [KPSTT12, Theorem 2.3]. In fact, they show that J ℓp (X) is a proper ideal whenever X is not isomorphic to ℓp. (ii) Identical to [KPSTT12, Theorem 3.1]. Their proof is valid for any space X such that that every infinite-dimensional subspace of X contains a complemented copy of ℓp, which is true for X = g(w,p) by [AAW18, Theorem 3.1(v)]. (iii) Identical to [KPSTT12, Theorem 3.6]. The proof is valid for any X which is weakly sequentially complete and not isomorphic to ℓ1. The latter condition is clear. As g(w, 1) is a Banach lattice not containing c0, it is weakly sequentially complete. (iv) Identical to [KPSTT12, Proposition 4.1]. More generally, they show that if X has an unconditional basis dominated by the ℓp basis then, letting jX : ℓp → X denote the formal identity, JjX (X) is an ideal in L(X). (v) This follows from the fact that the formal identity j : ℓp → d(w,p) is FSS ([KPSTT12, Theorem 4.3]), together with the ideal property for FSS and the fact that jg = Idd(w,p),g(w,p) ◦ j. (vi) This is an immediate corollary to (v). (vii) Identical to [KPSTT12, Theorem 5.3]. To show that SX (X) is the unique maximal ideal in L(X), the proof requires first that X has a subsymmetric weakly null basis (xn)n∞=1 such that every seminormalized block basis admits a subse- quence dominating (xn)n∞=1. Obviously the unit vector basis of g(w,p) is sub- symmetric, and it is weakly null by [AAW18, Corollary 2.15]. Due to [AAW18, Corollary 3.6], the latter property holds as well. They also require that every subspace of X which is isomorphic to X contains a further subspace which is complemented in X and isomorphic to X. The space g(w,p) has this property by [AAW18, Theorem 3.1(ii)]. We can now give the following partial description of the closed ideal structure of L(g(w,p)), for all choices of w ∈ W and all 1 6 p< ∞. 5 SS ❚❚ ❥❥❥5 ❚❚ .& 3+ / / 3+ {0} K ( J jg J ℓp ∩ SS [Jℓp + SS] Sg(w,p) L ❧5 ,$ ❧❧❧ J ℓp Let us give a few final remarks relevant to the closed ideal lattice for L(d(w,p)) and L(g(w,p)). In [SZ15], the authors showed that L(ℓp ⊕ ℓq) admits continuum many closed ideals when 1 The proof is almost identical to that found in [SZ15], but for completeness we shall walk through it. (n) n We begin with some preliminary definitions. If n ∈ N, then let (ep,j )j=1 denote n the canonical unit vector basis for the real version of ℓp . For 0 < w 6 1, we (n) (n) (n) n n n denote by Ep,w the closed linear span of (ep,j ⊕ we2,j )j=1 in ℓp ⊕ ℓ2 , i.e. the space Rn endowed with the norm ∞ n n n k(aj) k (n) = k(aj) kℓp ∨ wk(aj) kℓ . j=1 Ep,w j=1 j=1 2 Proposition 2.3 ([SZ15, Proposition 1]). Let 1 If 1 When p is clear from context, we will write Yw = Yp,w. Note that there exists a continuous linear projection (n) Pw = ⊕Pp,w ∈L(ℓp) onto the space Yw. Finally, for the sake of following the notation of [SZ15], let us define, for each 1 6 q < ∞, the space n Zq = Wq,2 =(⊕ℓ2 )ℓq . We now prove, with nearly identical methods, a slightly different version of [SZ15, Theorem 6]. Note that in what follows, the isomorphism between Zq and ℓq from the original proof is replaced with a bounded below operator J from the span of a normalized basis dominated by Zq into an arbitrary Banach space X. Lemma 2.4. Fix any 1 Banach space X. Then IYv,Zq IYw,Zq [J ](ℓp,X) ( [J ](ℓp,X). Proof. Since it was shown in the proof to [SZ15, Corollary 7] that IYv,Zq factors through IYw,Zq , we just need to prove that the resulting inclusion is strict. Note that the formal identity IZq,D : Zq → D is well-defined, so it is sufficient now to show that IYv,Zq JIZq,DIYw,Zq Pw ∈/ [J ](ℓp,X). (n) (n) (n) n Set Fn = Fp,vn and Gn = Fp,wn with respective canonical bases (fj )j=1 ⊂ ℓp (n) n (n) n (n) n and (gj )j=1 ⊂ ℓp. Write ((dj )j=1)n∞=1 for the basis of D, and let ((xj ∗)j=1)n∞=1 (n) n denote the biorthogonal functionals in X∗ to the basic sequence ((Jdj )j=1)n∞=1 in (n) n X. Note that ((xj ∗)j=1)n∞=1 is uniformly bounded by some K ∈ [1, ∞). Hence, we can define uniformly bounded functionals Φm ∈L(ℓp,X)∗, m ∈ N, by the rule m 1 (m) (m) Φ (V )= x ∗(Vg ), V ∈L(ℓ ,X). m m i i p i=1 X By weak* compactness of the closed unit ball of a dual space, we can find a weak* accumulation point Φ ∈L(ℓp,X)∗ of (Φm)m∞=1. Before continuing, we need to explicitly state following lemma, which follows from the proof to [SZ15, Theorem 6]. Lemma 2.5. For each m ∈ N, let Bm : Gm → Yv denote a continuous linear operator of norm 6 1. Then m 1 (m) lim sup IYv,Zq Bmgi =0. m m Zq →∞ i=1 X Now fix any A ∈L(Zq,X) and B ∈L(ℓp,Yv) with kAk, kBk 6 1, and for each m ∈ N, let Bm = B|Gm : Gm → Yv denote the restriction of B to Gm. Then by Lemma 2.5 we have m 1 (m) (m) ∗ lim sup Φm(AIYv,Zq B) 6 lim sup (A∗xi )(IY,Zq Bmgi ) m m m →∞ →∞ i=1 X m 1 (m) 6 KkAk lim sup IY,Zq Bmgi m m Zq →∞ i=1 X =0. IYv,Zq IYv,Zq It follows that Φ annihilates J (ℓp,X) and hence also [J ](ℓp,X), whereas clearly Φ(JIZq,DIYw,Zq Pw) = 1. Now we are ready to prove our generalization of the main result in [SZ15]. Proof of Theorem 2.2. As in [SZ15, §2.4 & §2.5], we fix any chain C of subsets of N, with cardinality of the continuum, such that if M, N ∈ C then either N ⊆ M and |M \ N| = ∞, or else M ⊆ N and |N \ M| = ∞. It was shown in the proof of [SZ15, Theorem A] that there exists a chain (wM )M of decreasing sequences in (0, 1], such that whenever M, N ∈ C then, assuming∈C without loss of generality 8 B. WALLIS M ⊆ N, the conditions of Lemma 2.4 are satisfied for v = wN and w = wM . Hence, Iv,Zq Iw,Zq [J ](ℓp,X) ( [J ](ℓp,X). By [Wa16, Proposition 2.2], this also gives us Iv,Zq Iw,Zq [J ](ℓp,XC) ( [J ](ℓp,XC). Finally, by [SZ15, Proposition 8], the real version of the map Iw,Zq is FSS, and this extends to the complexified version by [Wa16, Proposition 2.3]. Although not every Lorentz or Garling sequence space of the form d(w,p) or g(w,p), p ∈ (1, 2), contains a seminormalized basic sequence dominated by the Wq,2 basis, q ∈ (p, ∞), we can construct certain weights so that it does. Proposition 2.6. If 1 6 p Thus, denoting (di)i∞=1 the canonical basis of d(w,p), and (ˆa)i∞=1 the nonincreasing rearrangement of (|ai|)i∞=1 for some arbitrary (ai)i∞=1 ∈ c00 (where c00 denotes the space of finitely-supported scalar sequences), by H¨older we have n n 1/p p k aidikd = aˆi wi i=1 i=1 ! X X 1/p p n 1/p 6 k(wi)i∞=1kq/(q p)k(ˆai )i=1kq/p − n = Ck(ai)i=1kq. Corollary 2.7. If 1 3. tand(p) is isomorphic to Wp, 1 6 p< ∞ For 1 < p 6 ∞, we define the pth Ces´aro sequence space ces(p) as the N Banach space of all scalar sequences (ai)i∞=1 ∈ K satisfying k(ai)i∞=1kces(p) < ∞, where we set i p 1/p ∞ 1 |a | if 1 k(ai)i∞=1ktand(p) < ∞, where 1/p ∞ ∞ p k(ai)i∞=1ktand(p) = k sup |aj| kp = sup |aj| . j>i j>i i=1 i=1 ! X Note that if we tried to extend these definitions in the natural way to all 1 6 p 6 ∞ then we would have ces(1) = {0} and tand(∞) = ℓ . Thus, we limit ces(p) to 1 Denote by (ek)k∞=1 the unit vectors in c00. These vectors are not normalized in either tand(p) or ces(p), and so instead we consider vectors 1/p 1/p fk = k− ek and gk = k ek, k ∈ N. It is known that (fk)k∞=1 forms a normalized 1-unconditional basis for tand(p) with respective seminormalized (but not normalized) coordinate functionals (gk)k∞=1 ⊂ 1 1 ces(p′), p + p′ = 1. Bennett ([Be96]) has shown that ces(p′) ≈ (tand(p))∗ (iso- morphic but not isometric), and that when 1 K = sup kMsk, s ∈S N where S is the compact metric space of sequences s =(sn)n=1 of signs sn ∈ {±1}, N N and each Ms ∈ L(X), s ∈ S, is defined by Ms n=1 anxn = n=1 snanxn. It is well-known that, in this case, K < ∞. P P A basis (xn)n∞=1 is called C-seminormalized, C ∈ [1, ∞), whenever 1 6 kx k 6 C C n 10 B. WALLIS for all n ∈ N. N Proposition 3.1. Let C,K,M ∈ (0, ∞) and N ∈ N. Suppose (xn)n=1 be a K- unconditional and C-seminormalized basis for an N-dimensional Banach space N 2 X which satisfies kx1 + ··· + xN k 6 M. Then (xn)n=1 is (2CMK )-equivalent to the canonical basis of ℓN . ∞ N N N Proof. Fix (an)n=1 ∈ K , and select j ∈{1, ··· , N} satisfying |aj| = k(an)n=1k . Then, using well-known inequalities (cf., e.g., [AA02, Lemma 1.49 and subsequent∞ remarks]), N N 2 N k(an)n=1k = |aj| 6 CkajxjkX 6 CKk anxnkX 6 2CK Mk(an)n=1k . ∞ ∞ n=1 X Remark 3.2. In the above inequalities, the appearance of constant 2 is only re- quired in the complex setting. In case X is a real Banach space, it can be ignored to obtain (K2CM)-equivalence to the ℓN basis. In case X is a complex Banach N ∞ N N space and (xn)n=1 is normalized, as long as k n=1 anxnkX = k n=1 ǫnanxnk N N N for all (ǫn)n=1 ∈ T , where T is the complex unit circle, the basis (xn)n=1 is N P P M-equivalent to the ℓ basis. In particular, if (fk)k∞=1 is the canonical normal- ∞ ized basis for tand(p), 1 6 p < ∞, and kfm + ··· + fnktand(p) 6 M for some 1 6 m 6 n< ∞, then n m+1 n n m+1 ℓ − .1 (fk)k=m .M ℓ − . ∞ ∞ For each 1 6 p< ∞, write ∞ ∞ 2n 2n−1 Vp = ℓ = ℓ . ∞ ∞ n=0 ! n=1 ! M ℓp M ℓp (p) (p) and denote by (vn )n∞=1 its canonical basis. Let us also use the notation (fn )n∞=1 for the canonical basis of tand(p). In the proof of [ALM18, Corollary 3], the authors constructed the following. Theorem 3.3 ([ALM18]). There exists a linear isomorphism T : tand(1) → V1 (1) (1) 1 defined by the rule T fn = vn , and satisfying kT k 6 72 and kT − k 6 2. In fact, this extends easily to all 1 6 p< ∞. Corollary 3.4. Let 1 6 p< ∞. Then ∞ n−1 tand(p) ≈ ℓ2 . ∞ n=1 ! M ℓp In particular, the canonical basis for tand(p) is 21/p-dominated by and 721/p- 2n−1 dominates the canonical basis for (⊕n∞=1ℓ )ℓp . ∞ 11 Proof. The case p = 1 is immediate from Theorem 3.3. For the case 1 n=1 tand(1) X ∞ p (1) 6 2 |an| vn n=1 V1 X ∞ p =2 sup |aj| 2n−16j62n 1 n=1 − X p ∞ =2 sup |aj| 2n−16j62n 1 n=1 − ! X p ∞ (p) =2 anvn n=1 Vp X The reverse inequality clearly also holds with constant 72 instead of 2. 2n−1 Remark 3.5. As (⊕n∞=1ℓ )p is isomorphic to Wp, it follows that tand(p) ≈ Wp ∞ and ces(p′) ≈ Wp∗ = Wp′,1, although not in the natural ways. (n) For the remainder of this section, let’s denote by ((ek )k∞=1)n∞=1 the canonical (n) basis for ℓp(c0), 1 6 p< ∞, where each (ek )k∞=1 is a copy of the unit vector basis for c0. We can now give an application of Corollary 3.4. Proposition 3.6. Let 1 6 p < ∞, and let (fk)k∞=1 be the canonical normal- ized basis for tand(p). Then tand(p) is isometric to a subspace of ℓp(c0) via the mapping 1 k f 7→ e(n), k ∈ N, k k1/p k n=1 X (n) where ((ek )k∞=1)n∞=1 is the canonical basis for ℓp(c0). Proof. Observe that the map (ak)k∞=1 ∈ tand(p) 7→ ((ak)k∞=n)n∞=1 ∈ ℓp(c0) is a linear isometry. Hence, so is the map 1/p 1/p ∞ (k− ak)k∞=1 ∈ tand(p) 7→ (k− ak)k∞=n n=1 ∈ ℓp(c0). 12 B. WALLIS However, this is just the linear map defined by 1 k f 7→ e(n). k k1/p k n=1 X (n) Corollary 3.7. Let 1 6 p< ∞, and let ((ek )k∞=1)n∞=1 denote the canonical basis for ℓp(c0). Then the sequence formed by 1 k e(n), k ∈ N k1/p k n=1 X 2n−1 is a normalized basic sequence equivalent to the canonical basis for (⊕n∞=1ℓ )p. ∞ 4. Wp is complemented in d(w,p) and g(w,p) for certain w In this section we show that Wp is complemented in d(w,p) and g(w,p) for 1 6 p < ∞ and for certain choices of w. As an application, we give a new, slightly different proof of a result already known from [LLR04] regarding the closed ideal structure of L(Wp). Definition 4.1. Let w =(wi)i∞=1 ∈ W. We say that w is (NUC) whenever 2n i=1 wi inf n =1. n N w ∈ Pi=1 i We say that w is (2SB) wheneverP nk i=1 wi sup n k < ∞. n,k N ( w )( w ) ∈ i=1Pi i=1 i Condition (NUC) was originallyP studiedP in [Al75] for the cases 1 (k) n bases (vi )i=1 with coefficients tending to zero, and their proof is valid also for g(w,p). More specifically, we have (k) 1 vi = ck− dj, ck = dj , i =1, ··· , k, (k) (k) j Ai j Ai ∈X ∈X d(w,p) for successive finite subsets of N which we label (k) (k) (k) (k+1) A1 < A2 < ··· < Ak < A1 < ··· , k ∈ N, with (k) (k) (k) Mk := #A1 = #A2 = ··· = #Ak , k ∈ N. For convenience, write (k) ui = dj, i =1, ··· ,k, k ∈ N, j A(k) ∈Xi (k) 1 (k) so that each vi = ck− ui . In particular, the author showed that for each K ∈ (1, ∞) one can choose the above so that for each k ∈ N, the finite basic (k) k sequence (vi )i=1 1-dominates and is K-dominated by the unit vector basis of ℓk . ∞ In the proof of [LT77, 4.e.3] the authors find C ∈ (1, ∞) and n1 < n2 < ··· such that 1/p 1/p ∞ ∞ ∞ 1 p (nk) p |ak| 6 akv1 6 |ak| . C ! ! k=1 k=1 d(w,p) k=1 X X X An analogous inequality is shown in [AAW18 , Theorem 3.3] to hold for g(w,p). For convenience, we pass to subsequences and relabel k = nk. By 1-subsymmetry we now have (k) (vik )k∞=1 ≈C ℓp for any choices ik ∈{1, ··· ,k}, k ∈ N. (k) k Now, pick any ((ai )i=1)k∞=1 ∈ c00 and for each k ∈ N we choose ik ∈{1, ··· ,k} so that (k) (k) aik = sup ai . 16i6k In the Lorentz case, there exists a permutation σ of N, and there exist intervals I1 14 B. WALLIS 1/p p ∞ (σ(k)) p = a c− w iσ(k) σ(k) i k=1 i I ! X X∈ k 1/p σ(k)Mσ(k) p ∞ (σ(k)) p 6 a c− wi iσ(k) σ(k) k=1 i=1 X X p 1/p σ(k) p ∞ (σ(k)) p (σ(k)) = a c− u iσ(k) σ(k) i k=1 i=1 X X d(w,p) p 1/p σ(k) ∞ p = a(σ(k)) v(σ(k)) iσ(k) i k=1 i=1 d(w,p) X X 1/p p ∞ (σ(k)) 6 K ai σ(k) ! Xk=1 (k ) k = K ((ai )i=1)k∞=1 . Wp On the other hand, by 1-unconditionality, k ∞ (k) (k) ∞ (k) (k) ai vi > ai vi k k k=1 i=1 d(w,p) k=1 d(w,p) X X X 1 > k(aik )k∞=1k C ℓp k 1 (k) ∞ = ai . C i=1 k=1 Wp Since K can be made arbitrarily close to 1, it follows that the constant-coefficient (k) k block basic sequence ((vi )i=1)k∞=1 is C-equivalent to the standard Wp basis. Since the blocks are formed by constant coefficients with respect to a 1-symmetric (resp. 1-subsymmetric) basis, it follows by [LT77, 3.a.4] that Wp is complemented in d(w,p) (resp. g(w,p)) with constant 1 (resp. 2). Remark 4.4. Even though the copy of Wp,1 6 p< ∞, from Theorem 4.3 above is 1-complemented in d(w,p) when w ∈ W is (NUC), the copy is not itself isometric. That is, we can find C ∈ (1, ∞) such that there exists a norm-1 projection P ∈L(d(w,p)) such that the range of P is C-isomorphic (not isometric) to Wp. Let us take a moment to prove that the reverse inclusion does not hold, and indeed that neither d(w,p) nor g(w,p) are ever subspaces of Wp, for any 1 6 p< ∞ or w ∈ W. Proposition 4.5. Let E := (⊕n∞=1En)p be the ℓp-sum of finite-dimensional spaces (En)n∞=1. If (zi)i∞=1 is a C-seminormalized FDD-block sequence then it is C- equivalent to ℓp. 15 Proof. As (zi)i∞=1 is a FDD-block sequence, we can find k1 Corollary 4.6. Let 1 6 p < ∞ and w ∈ W. Then d(w,p) is not a subspace of E := (⊕n∞=1En)p for any ℓp-sum of finite-dimensional spaces. Neither is g(w,p). Proof. If d(w,p) or g(w,p) is a subspace, we can find (zi)i∞=1 a seminormalized basic sequence in E which is equivalent to the d(w,p) or g(w,p) canonical basis. As the latter is weakly null (cf., e.g., [KPSTT12, Remark 1.7]) and subsymmetric, we may assume (zi)i∞=1 is block basic, and that its blocks do not overlap in any space En. However, such blocks are equivalent to the ℓp basis by Lemma 4.5. This is a contradiction. Corollary 4.7. Let w ∈ W be (NUC) and 1 6 p < ∞, and let P ∈ L(d(w,p)) be a projection whose range is isomorphic to Wp. Then P fails to fix a copy of d(w,p), and hence, for any Banach space X, J ℓp (X) ⊆ J P (X) ⊆ Sd(w,p)(X). The same goes for g(w,p). As a final aside, we note an interesting fact about the duals of Lorentz and Garling sequence spaces for the case when w is (NUC) and p = 1. Corollary 4.8. Let w ∈ W be (NUC). Then each of g(w, 1)∗ and d(w, 1)∗ contain complemented copies of both L1 and L . Consequently, their operator algebras ∞ L(d(w, 1)∗) or L(g(w, 1)∗) each admit uncountably many closed ideals. Proof. Observe that W1∗ contains a complemented copy of ℓ (≈ L ). On the ∞ ∞ other hand, it was shown in [HS73, Theorem 1] that W1∗ also contains a com- plemented copy of L1. By Theorem 4.3, d(w, 1)∗ and g(w, 1)∗ each contain a complemented copy of W1∗. It was shown in [SW15, Theorem 3.7 and Proposi- tion 3.8] that if Z is a Banach space containing complemented copies of ℓ1 and ℓ ∞ then L(Z) admits an uncountable chain of closed ideals. As ℓ1 is complemented in L1, this completes the proof. Remark 4.9. We still don’t know whether L(d(w, 1)) or L(g(w, 1)) themselves admit infinitely many closed ideals. We close by giving some final remarks on the closed ideals in L(Wp). In [Le15] was shown that L(W1) admits a unique maximal ideal characterized by the set M1 := T ∈L(W1): θT ∈ J ℓ1 (W1,ℓ ) for some bdd. below θ ∈L(W1,ℓ ) . ∞ ∞ 16 B. WALLIS Note that M1 is the injective hull of the ideal J ℓ1 (W1). Analogously, it was shown in [LOSZ12, Theorem 3.2] that the surjective hull of J c0 (W0,1) is the unique maximal ideal of L(W0,1). Then, in [KL16] that, the authors showed that the set n Mp := {T ∈L(Wp): T does not fix ℓ ’s uniformly} . ∞ forms the unique maximal ideal in L(Wp) when 1 J ℓp (Wp). Acknowledgement The author thanks an anonymous referee for his valuable suggestions on im- proving this paper. References AA02. Yuri A. Abramovich and C.D. Aliprantis. An Invitation to Operator Theory. Graduate Studies in Mathematics, Vol. 50, The American Mathematical Society (2002), ISBN 0-8218- 2146-6. AAW18. Fernando Albiac, Jos´eL. Ansorena, Ben Wallis. “Garling sequence spaces,” to appear in Journal of the London Mathematical Society. AK16. Fernando Albiac, Nigel J. Kalton. Topics in Banach Space Theory, Second Edition. ISBN 978-3-319-31555-3. Al75. Zvi Altshuler. “Uniform convexity in Lorentz sequence spaces,” Israel Journal of Math- ematics, Volume 20, Nos. 3-4 (1975), pp260-274. ACL73. Zvi Altshuler, Peter G. Casazza, Bor-Luh Lin. “On symmetric basic sequences in Lorentz sequence spaces,” Israel Journal of Mathematics, Volume 15, Issue 2 (June, 1973), pp140-55. ALM18. Sergey V. Astashkin, Karol Le´snik, Lech Maligranda. “Isomorphic structure of Ces`aro and Tandori spaces” to appear in Canadian Journal of Mathematics. Be96. Grahame Bennett. Factorizing the Classical Inequalities, Memoirs of the American Math- ematical Society 120:576 (1996), ISBN 0-8218-0436-7. Ca41. J.W. Calkin. “Two-sided ideals and congruences in the ring of bounded operators in Hilbert space,” Ann. Math. 42 (1941) pp839–873. CM11. Pilar Cembranos, Jos’e Mendoza. “On the mutually non isomorphic ℓp(ℓq) spaces,” Mathematische Nachrichten 284:16 (Nov 2011), pp2013–2023. DJP01. J. Diestel, H. Jarchow, A. Pietsch. “Operator ideals,” Handbook of the Geometry of Banach Spaces, Volume I, ed. William B. Johnson and J. Lindenstrauss (2001), pp437–496, ISBN 0-444-82842-7. GFM60. I.C. Gohberg, I.A. Feldman, A.S. Markus. “Normally solvable operators and ideals associated with them,” Amer. Math. Soc. 61 (1967) pp63–84 (English translation), Bul. Akad. Stiinceˇ RSS Moldoven 10:76 (1960), pp51–70 (Russian original). KPSTT12. Anna Kaminska, Alexey I. Popov, Eugeniu Spinu, and Adi Tcaciuc, Vladimir G. Troitsky. “Norm closed operator ideals in Lorentz sequence spaces,” Journal of Mathemat- ical Analysis and Applications 389:1 (2012), pp247–260. 17 KL16. Tomasz Kania and Niels Jakob Laustsen. “Uniqueness of the maximal ideal of operators n on the ℓp-sum of ℓ∞ (n ∈ N) for 1