×

Lipschitz-free spaces, ultraproducts, and finite representability of metric spaces. (English) Zbl 1527.46005

The paper focuses on the natural question on how the ultraproducts of metric spaces and ultraproducts of Lipschitz-free Banach spaces over such metric spaces are related. It provides fairly comprehensive answers, some of which are listed below.
1.
{Embeddability of Lipschitz-free spaces over ultraproducts of metric spaces into ultraproducts of Lipschitz-free spaces:} If \(I\) is a set of indices, \((M_i)_{i\in I}\) is a set of (pointed) metric spaces indexed by \(I\), and \(\mathcal{U}\) is an ultrafilter over \(I\), then \(\mathcal{F}((M_i)_\mathcal{U})\), the Lipschitz-free space over the \(\mathcal{U}\)-ultraproduct of \((M_i)_i\), is linearly isometric to the closed linear span of the set \(\{\delta(x)\colon x\in (M_i)_\mathcal{U}\}\) inside the Banach space ultraproduct \(\big(\mathcal{F}(M_i)\big)_\mathcal{U}\), where the former set is embedded into the latter via the canonical embedding.
This has as immediate consequence (using also the fact that an ultrapower of a Banach space is finitely representable in itself) that, for any metric space \(M\) and an ultrafilter \(\mathcal{U}\) over some set, \(\mathcal{F}(M_\mathcal{U})\) is finitely representable in \(\mathcal{F}(M)\), where \(M_\mathcal{U}\) is the \(\mathcal{U}\)-ultrapower of \(M\).
2.
{Implications of coarse embeddability between metric spaces to finite representability between the corresponding Lipschitz-free spaces:} If \(X\) and \(Y\) are Banach spaces such that \(X\) coarsely embeds into \(Y\), then \(\mathcal{F}(X)\) is crudely finitely representable in \(\mathcal{F}(Y)\).
3.
{Relations between metric type/cotype and Rademacher cotype of the corresponding Lipschitz-free space:} If \(M\) is a metric space such that the Banach space \(\mathcal{F}(M)\) has Rademacher cotype, then \(M\) has metric type in the sense of Bourgain, Milman, Wolfson [J. Bourgain et al., Trans. Am. Math. Soc. 294, 295–317 (1986; Zbl 0617.46024)].
4.
{Stability of Lipschitz-free spaces under ultraproducts:} Let \(\mathcal{U}\) be a countably-incomplete ultrafilter over an infinite set, in particular, any non-principal ultrafilter over a countably infinite set, and let \(M\) and \(X\) be a metric space, resp. a Banach space. Then \(X_\mathcal{U}\) is not isomorphic to a subspace of \(\mathcal{F}(M)\). In particular, an ultraproduct of Lipschitz-free spaces does not embed into a Lipschitz-free space.

MSC:

46B08 Ultraproduct techniques in Banach space theory
46B25 Classical Banach spaces in the general theory
46B07 Local theory of Banach spaces
51F30 Lipschitz and coarse geometry of metric spaces

Citations:

Zbl 0617.46024

References:

[1] Albiac, F.; Kalton, N. J., Topics in Banach Space Theory, Graduate Texts in Mathematics, vol. 233 (2016), Springer: Springer Cham · Zbl 1352.46002
[2] Aliaga, R.; Noûs, C.; Petitjean, C.; Procházka, A., Compact reduction in Lipschitz-free spaces, Stud. Math., 260, 341-359 (2021) · Zbl 1477.46016
[3] Baudier, F. P., Barycentric gluing and geometry of stable metrics, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., 116, 1, Article 37 pp. (2022) · Zbl 1493.51005
[4] Bourgain, J., The metrical interpretation of superreflexivity in Banach spaces, Isr. J. Math., 56, 2, 222-230 (1986) · Zbl 0643.46013
[5] Bourgain, J.; Milman, V.; Wolfson, H., On type of metric spaces, Trans. Am. Math. Soc., 294, 295-317 (1986) · Zbl 0617.46024
[6] Boyd, M. W.; Transue, W. R., Properties of ultraproducts, Rend. Circ. Mat. Palermo, 28, 387-397 (1979) · Zbl 0455.46015
[7] Bridson, R.; Haefliger, A., Metric Spaces of Non-Positive Curvature, Fundamental Principle of Mathematical Sciences, vol. 319 (1999), Springer: Springer Berlin, Germany · Zbl 0988.53001
[8] Fabian, M.; Habala, P.; Hájek, P.; Montesinos, V.; Zizler, V., Banach Space Theory: the Basis for Linear and Nonlinear Analysis, CMS Books Math./Ouvrages Math. SMC (2011), Springer: Springer New York · Zbl 1229.46001
[9] Godefroy, G., A survey on Lipschitz-free Banach spaces, Comment. Math., 55, 2, 89-118 (2015) · Zbl 1358.46015
[10] Godefroy, G.; Kalton, N. J., Lipschitz-free Banach spaces, Stud. Math., 159, 1, 121-141 (2003), Dedicated to Professor Aleksander Pelczyński on the occasion of his 70th birthday · Zbl 1059.46058
[11] Heinrich, S., Ultraproducts in Banach space theory, J. Reine Angew. Math., 313, 72-104 (1980) · Zbl 0412.46017
[12] Heinrich, S.; Mankiewicz, P., Applications of ultrapowers to the uniform and Lipschitz classification of Banach spaces, Stud. Math., 73, 3, 225-251 (1982) · Zbl 0506.46008
[13] James, R. C., Super-reflexive Banach spaces, Can. J. Math., 24, 5, 896-904 (1972) · Zbl 0222.46009
[14] Kalton, N. J., Spaces of Lipschitz and Hölder functions and their applications, Collect. Math., 55, 2, 171-217 (2004) · Zbl 1069.46004
[15] Kalton, N. J., Lipschitz and uniform embeddings into \(\ell_\infty \), Fundam. Math., 212, 1, 53-69 (2011) · Zbl 1220.46014
[16] Kaufmann, P. L., Products of Lipschitz-free spaces and applications, Stud. Math., 226, 213-227 (2015) · Zbl 1344.46008
[17] Lee, J. R.; Naor, A.; Peres, Y., Trees and Markov convexity, Geom. Funct. Anal., 18, 5, 1609-1659 (2009) · Zbl 1171.05318
[18] Mendel, M.; Naor, A., Metric cotype, Ann. Math., 168, 1, 247-298 (2008) · Zbl 1187.46014
[19] Ostrovskii, M. I., Metric Embeddings (2013), de Gruyter · Zbl 1279.46001
[20] Petitjean, C., Lipschitz-free spaces and Schur properties, J. Math. Anal. Appl., 453, 2, 894-907 (2017) · Zbl 1384.46008
[21] Procházka, A., Linear properties of Banach spaces and low distortion embeddings of metric graphs, preprint available at
[22] Sims, B., “Ultra”-Techniques in Banach Space Theory, Queen’s Papers in Pure and Applied Mathematics, vol. 60 (1982), Queen’s University: Queen’s University Kingston, ON · Zbl 0611.46019
[23] Weaver, N., Lipschitz Algebras (2018), World Scientific · Zbl 1419.46001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.