arXiv:2102.02102v2 [math.FA] 27 May 2021 hr yehbtn o-oal ovxqaiBnc spaces Banach quasi convex non-locally exhibiting by sharp aifigteinequality the satisfying x and equivalent hc vr on of point every which space that sioopi to isomorphic is [ Is culysm emnl noetqetosrmi pn Is open: remain questions innocent seemingly some actually BP fi a the has it if (BAP) ssonb at’ eertdeape[ example celebrated Cauty’s by shown as pcs e alrek[ Waelbroeck See spaces. nsm nt iesoa usaeof subspace dimensional finite some in nyo hs of those on only n scnetdwt ut eiu ahmtc.Wiei em ob w be to seems it While mathematics. serious spaces quite Banach with quasi connected is and quasinorm erzbeaealmtal smrhc n,aoeal yGrothendiec by all, above and, isomorphic) mutually all are metrizable vripie yMlui hoe tespaces (the theorem Miljutin by oversimplified C opc pc and space compact ieryhmoopi to homeomorphic linearly oyof copy Let eso a 8 2021 28, May Version 8 ewe pcso etrvle otnosfunctions” continuous vector-valued of spaces between 1 neapergrigKlo’ ae “Isomorphisms paper Kalton’s regarding example An ( .Polm71 aeyif namely 7.1, Problem ]. x , . . . , C K us aahspace Banach quasi A ealta h Lbsu)cvrn ieso fa(o necessar (not a of dimension covering (Lebesgue) the that Recall eedteepeiiarsb ealn hta that recalling by preliminaires these end We h i fti hr oei uhmr oet ewl hwta Kalto that show will we modest: more much is note short this of aim The When Here h ae lue oi h il otistefloigsrkn eut[ result striking following the contains title the in to alluded paper The eerhspotdi atb II rjc PID2019-103961G Project MICIN by 2020 part in supported Research I ( C ) k ,L I, ⊗ eteui nevlad∆teCno e.If set. Cantor the ∆ and interval unit the be ˇ T K (∆ ε ≤ k ahmtc ujc Classification Subject Mathematics c X n C 0 X , p stesals number smallest the is smrhcto isomorphic ) X hc sioopi oacoe usaeo pc ihabssand basis a with space a of subspace closed a to isomorphic is which p ( ∈ k hc mle htteioopi yeo h aahspace Banach the of type isomorphic the that implies which ,X K, nr o oe0 some for - λ r smrhc u xmlsaerte pcfi n culyi l c all in actually and specific rather are examples Our isomorphic. are ) F saBnc pc,teioopi hoyo h spaces the of theory isomorphic the space, Banach a is X and k sup = C eoe h pc fcniuu functions continuous of space the denotes ) C o nsm es ust hr safiiern operator finite-rank a is there subset) dense some in (or k ( ( ,X K, X K x λ i K A o some for -AP X and ) {k − us aahspace Banach quasi a isi h nescino omr than more no of intersection the in lies h nwri eaiefor negative is answer the F x T if ) 13 k ( x C C t i eto ]fradsuso nKlee’s on discussion a for 8] Section , ) k X + C (∆ K (∆ k X ε < p < ( h iuto o us aahsae smr hiln and thrilling more is spaces Banach quasi for situation The . y : K X , samti opcu ffiiecvrn dimension. covering finite of compactum metric a is L , k t p a the has ) ∈ n esythat say We . p ≤ ,then ), ⊗ k ≤ ?Teeapa sPolm . n . tteedof end the at 7.3 and 7.2 Problems as appear These )? λ K ≥ ´ lxCbloS´anchezF´elix Cabello ,s asteAk-oeiztheorem. Aoki-Rolewicz the says so 1, X ≥ } 61,46E10. 46A16, : x uhta vr pncvramt enmn in refinement a admits cover open every that such 0 . k tesbpc ffntoswoernei contained is range whose functions of subspace (the X 1. p X sawy es in dense always is ) 4 + λ seas [ also (see ] apoiainpoet ( property -approximation C k slclycne,ie,aBnc space. Banach a i.e., convex, locally is 1 y ( ,X K, k X p C n hteeyqaiomdsaehsan has space quasinormed every that and a h one prxmto property approximation bounded the has p F ( X K nr,wee0 where -norm, sas us aahsaeudrthe under space Banach quasi a also is ) sae cmlt iermti spaces) metric linear (complete -spaces = ) saqaiBnc pc otiigno containing space Banach quasi a is 9 )adaraiefrlclyconvex locally for affirmative and ]) C X B-C21. C ( K, ( ihabssfrwhich for basis a with F ,ℓ I, C n R ( : ,X K, eso h refinement. the of sets 1 + p density for ) K smrhcto isomorphic ) l opc)topological compact) ily p < ’ identity k’s −→ ,wspsdb Klee by posed was ), C λ K ≤ ( A)i o every for if -AP) ,X K, problem. C X ,i quasinorm a is 1, nonal and uncountable 8 ( When . hoe 6.4]: Theorem , ,X K, dl pnfor open idely T ssomehow is ) ’ eutis result n’s on C C depends ) C ( ( ,X K, C ( X ,X I, I ases K ( 2 ,X I, ℓ , such sa is = ) is ) p X )? ) 2 FELIX´ CABELLO SANCHEZ´

Lemma. If K has finite covering dimension and X has the BAP, then C(K,X) has the BAP. Proof. We first observe that if K has finite covering dimension or X has the BAP, then C(K) ⊗ X is dense in C(K,X). The part concerning the BAP is obvious; the other part is a result by Shuchat [12, Theorem 1]. Given g ∈ C(K) and x ∈ X we denote by g ⊗ x the function t 7−→ g(t)x. Since every function in C(K)⊗X can be written as a finite sum i gi ⊗xi with gi ∈ C(K), xi ∈ X (which justifies our notations, see [12, Proposition 1]) it sufficesP to see that there is a constant Λ such that, given f1,...,fm ∈ C(K),y1,...,ym ∈ X and ε> 0 there is a finite-rank operator T on C(K,X) such that kT k ≤ Λ and kfi ⊗ yi − T (fi ⊗ yi)k <ε. As ε is arbitrary there is no loss of generality in assuming that kfik = kyik =1 for 1 ≤ i ≤ m. Take an open cover U1,...,Ur of K such that for every i, j one has |fi(s) − fi(t)| < ε for all s, t ∈ Uj. Put n = dim(K) and take a refinement V1,...,Vk so that each point of K lies in no more than n + 1 of those sets. Finally, let φ1,...,φk be a partition of unity of K subordinate to V1,...,Vk. For each j, pick tj ∈ Vj and define an operator L on C(K,X) by letting L(F )= φj ⊗ Pj≤k F (tj), that is, (LF )(t) = j≤k φj(t)F (tj). Let us estimate kLk assuming X is p-normed: one has P

kL(F )k = sup φj(t)F (tj) , t∈K X j≤k but for each t ∈ K the sum has no more than n + 1 nonzero summands, so

1/p 1/p p p p φj(t)F (tj) ≤  φj(t) kF (tj)k  ≤kF k φj(t)  X X X j≤k j≤k j≤k n+1 n+1 1/p−1 ≤kF kk I : ℓ1 −→ ℓp k =(n + 1) kF k

We claim that kfi ⊗ yi − L(fi ⊗ yi)k ≤ ε for all i. We have L(fi ⊗ yi)(t)= j≤k fi(tj)φj(t)yi, hence P

kfi ⊗ yi − L(fi ⊗ yi)k = fiφj − fi(tj)φj kyik = fiφj − fi(tj)φj . X X X X j≤k j≤k j≤k j≤k

For each j and each t ∈ K one has |fi(t)φj(t) − fi(tj)φj(t)| ≤ εφj(t): this is obvious if t∈ / Vj since in this case φj(t) = 0, while for t ∈ Vj we have |fi(t) − fi(tj)| ≤ ε by our choice of V1,...,Vk and thus

fi(t)φj(t) − fi(tj)φj(t) ≤ ε φj(t)= ε X X X j≤k j≤k j≤k holds for all t ∈ K; consequently we have

fiφj − fi(tj)φj ≤ ε. X X j≤k j≤k

Let R be a finite-rank operator on X such that kyi − R(yi)k <ε, with kRk ≤ λ, where λ is the “approximation constant” of X, and define T on C(K,X) by (T F )(t)= R((LF )(t)). REGARDING KALTON 3

Clearly T has finite-rank since for an elementary tensor f ⊗ x one has T (f ⊗ x)= f(t )φ ⊗ R(x). X j j j≤k

Finally let us estimate kfi ⊗ yi − T (fi ⊗ yi)k. Write f ⊗ y − T (f ⊗ y )= f ⊗ y − f ⊗ R(y )+ f ⊗ R(y ) − f (t )φ ⊗ R(y ) i i i i i i i i i i X i j j i j≤k and then p p p kfi ⊗ yi − T (fi ⊗ yi)k ≤kfi ⊗ yi − fi ⊗ R(yi)k + fi ⊗ R(yi) − fi(tj)φj ⊗ R(yi) X j≤k p p p p p p p = kfik kyi − R(yi)k + fi − fi(tj) kR(yi)k ≤ ε + ε λ , X j≤k so that C(K,X) has the BAP with constant at most λ(n + 1)1/p−1.  The proof raises the question of whether the lemma is true for, say, the Hilbert cube Iω. The other ingredient we need is a complementably universal space for the BAP. A separa- ble p- is complementably universal for the BAP if it has the BAP and contains a complemented copy of each separable p-Banach space with the BAP. The existence of such spaces (one for each 0

Proof. This clearly follows from the lemma since C(K, Kp) is separable, has the BAP and contains Kp complemented as the subspace of constant functions.  We do not know of any other nonlocally convex quasi Banach space X for which C(I,X) and C(∆,X) are isomorphic, apart from the obvious ones arising as direct sums of Kp and Banach spaces lacking the BAP. An obvious candidate is the p-Gurariy space, introduced by Kalton in [7, Theorem 4.3] and further studied in [2]. Note that if X is a quasi Banach space isomorphic to X ⊕ F , with F finite dimensional and C(I,X) and C(∆,X) are not isomorphic then neither are C(I,X ⊕ c0) and C(∆,X ⊕ c0). It’s time to leave. Perhaps the most important question regarding the general topological properties of quasi Banach spaces is to know whether every quotient operator Q : Z −→ X (acting between quasi Banach spaces) admits a continuous section, namely a continuous σ : X −→ Z such that Q ◦ σ = IX . More generally, let us say that f ∈ C(K,X) lifts through Q if there is F ∈ C(K,Z) such that f = F ◦ Q. Now, given 0

(1) Q admits a continuous section. (2) Every continuous f : K −→ X has a lifting to Z. (3) C(K) ⊗ X is dense in C(K,X). Clearly, (1) =⇒ (2): set F = σ ◦ f, where σ is the hypothesized section of Q. Besides, if (1) is true for some quotient map ℓp(J) −→ X then so it is for every Q. Similarly, if (2) is true for a given K for some quotient map ℓp(J) −→ X, then it is true for any quotient map onto X and (3) holds. Following (badly) Klee [10, Section 2], let us say that the pair (K,X) is admissible if (3) holds, that K is admissible if (3) holds for every quasi Banach space X and that X is admissible if (3) holds for every compact K. We do not know whether the p-Gurariy spaces are admissible or not. We have mentioned Shuchat’s result that every compactum of finite covering dimension is admissible. Actually one can prove that (2) holds for any Q if dim(K) < ∞. This indeed follows from Michael’s [11, Theorem 1.2] but a simpler proof can be given using Shuchat’s result, the argument of the proof of the lemma, and the open mapping theorem. Since every metrizable compactum is the continuous image of ∆ this implies that for every compact subset S ⊂ X there is a compact subset T ⊂ Z such that Q[T ]= S. Long time ago, Riedrich proved that the spaces Lp are admissible for 0 ≤ p < 1; see [5, 3] for more general results that cover all modular function spaces. We do not know if the quotient map ℓp −→ Lp has a continuous section or satisfies (2) for arbitrary compact K and 0

Departamento de Matematicas´ and IMUEx, Universidad de Extremadura

Avenida de Elvas, 06071 Badajoz, Spain. Email address: [email protected]