Abstract
The nonlinear geometry of operator spaces has recently started to be investigated. Many notions of nonlinear embeddability have been introduced so far, but, as noticed before by other authors, it was not clear whether they could be considered “correct notions”. The main goal of these notes is to provide the missing evidence to support that almost complete coarse embeddability is “a correct notion”. This is done by proving results about the complete isomorphic theory of \(\ell _1\)-sums of certain operators spaces. Several results on the complete isomorphic theory of \(c_0\)-sums of operator spaces are also obtained.
Similar content being viewed by others
Notes
The definition of a coarse map between Banach spaces is precisely this one for \(n=1\).
We call a sequence \((g_n:X_n\rightarrow Y_n)_n\) of isomorphic embeddings equi-isomorphic if \(\sup _n\Vert g_n\Vert ,\sup _{n\in {\mathbb {N}}}\Vert g_n^{-1}\Vert <\infty \), where \(g^{-1}_n\) is defined only on the image of \(g_n\).
Recall, a family of maps \((f_n:X_n\rightarrow Y_n)\) between metric spaces \((X_n,d_n)\) and \((Y_n,\partial _n)\) are equi-coarse embeddings if for all \(r>0\) there is \(s>0\) such that (1) \(d_n(x,z)\le r\) implies \(\partial _n(f_n(x),f_n(z))\le s\) and (2) \(d_n(x,z)\ge s\) implies \(\partial _n(f_n(x),f_n(z))\ge r\).
Notice that \(B_{{\textrm{M}}_n(X)}\) is contained in \({\textrm{M}}_n(B_X)\), so \(f^n_n\restriction _{n\cdot B_{{\textrm{M}}_n(X)}}\) is well defined.
See Sect. 2 for the precise definition of those operator spaces.
Recall, an operator space X is Hilbertian if it is isomorphic (as a Banach space) to \(\ell _2\). Also, given \(\lambda \ge 1\), X is \(\lambda \)-homogeneous if \(\Vert u\Vert _{cb}\le \lambda \Vert u\Vert \) for all operators \(u:X\rightarrow X\). We then say X is homogeneous if it is \(\lambda \)-homogeneous for some \(\lambda \ge 1\).
Recall, an operator \(u:X\rightarrow Y\) between operator spaces is completely contractive if \(\Vert u\Vert _{cb} \le 1\).
We point out that authors interested in the isometric theory of operator spaces often use the term minimal to refer to what we are calling a 1-minimal operator space.
Recall, an operator \(u:X\rightarrow Y\) between Banach spaces is strictly singular if none of its restrictions to an infinite dimensional subspaces of X is an isomorphic embedding. For more on strictly singular operators, see [11, Sect. 2.c].
If E is an operator space, then \({\textrm{M}}_{1,k}(E)\) denotes the subspace of \({\textrm{M}}_k(E)\) consisting of all operators whose only nonzero rows are their first one. The space \({\textrm{M}}_{k,1}(E)\) is defined similarly, but with the word “columns” substituting “rows”.
I.e., \(x_k^*(x_k)=1\) and \(x^*_k(x_j)=0\) for all \(k\ne j\).
References
Aiena, P.: Fredholm and Local Spectral Theory, with Applications to Multipliers. Kluwer Academic Publishers, Dordrecht (2004)
Albiac, F., Kalton, N.: Topics in Banach Space Theory. Graduate Texts in Mathematics, vol. 233, 2nd edn. Springer, Cham (2016). (With a foreword by Gilles Godefory)
Braga, B.M., Chávez-Domínguez, J.A.: Completely coarse maps are \(\mathbb{R} \)-linear. Proc. Am. Math. Soc. 149(3), 1139–1149 (2021)
Braga, B.M., Chávez-Domínguez, J.A., Sinclair, T.: Lipschitz geometry of operator spaces and Lipschitz-free operator spaces (2022)
Blecher, D., Le Merdy, C.: Operator Algebras and Their Modules–An Operator Space Approach. London Mathematical Society Monographs. New Series, vol. 30. The Clarendon Press, Oxford University Press, Oxford (2004)
Bourgain, J.: Real isomorphic complex Banach spaces need not be complex isomorphic. Proc. Am. Math. Soc. 96(2), 221–226 (1986)
Braga, B.M.: Towards a theory of coarse geometry of operator spaces. Israel J, Math (2022)
Diestel, J., Jarchow, H., Tonge, A.: Absolutely Summing Operators. Cambridge Studies in Advanced Mathematics, vol. 43. Cambridge University Press, Cambridge (1995)
Effros, E., Ruan, Z.-J.: Operator Spaces. London Mathematical Society Monographs. New Series, vol. 23. The Clarendon Press, Oxford University Press, New York (2000)
Ferenczi, V.: Uniqueness of complex structure and real hereditarily indecomposable Banach spaces. Adv. Math. 213(1), 462–488 (2007)
Lindenstrauss, J., Tzafriri, L.: Classical Banach Spaces. I Sequence Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 92. Springer-Verlag, Berlin, New York (1977)
Oikhberg, T.: Subspaces of maximal operator spaces. Integr. Equ. Oper. Theory 48(1), 81–102 (2004)
Paulsen, V.: The maximal operator space of a normed space. Proc. Edinb. Math. Soc. (2) 39(2), 309–323 (1996)
Pisier, G.: The operator Hilbert space OH, complex interpolation and tensor norms. Mem. Am. Math. Soc. 122(585), 103 (1996)
Pisier., G.: Non-commutative vector valued \(L_p\)-spaces and completely \(p\)-summing maps. Astérisque (247):vi+131 (1998)
Pisier, G.: Introduction to Operator Space Theory. London Mathematical Society Lecture Note Series, vol. 294. Cambridge University Press, Cambridge (2003)
Ruan, Z.-J.: On real operator spaces. Acta Math. Sin. (Engl. Ser.) 19(3):485–496 (2003). International Workshop on Operator Algebra and Operator Theory (Linfen, 2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first and second named authors were partially supported by NSF DMS awards 2054860 and 1912897, respectively. B. M. Braga was also partially supported by FAPERJ (Proc. E-26/200.167/2023) and by CNPq (Proc. 303571/2022-5). The authors are grateful to the anonymous referee for numerous helpful suggestions.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Braga, B.M., Oikhberg, T. Coarse geometry of operator spaces and complete isomorphic embeddings into \(\ell _1\) and \(c_0\)-sums of operator spaces. Math. Z. 304, 52 (2023). https://doi.org/10.1007/s00209-023-03314-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-023-03314-6