arXiv subjects
Publications and source records attributed to Gilles Lancien.
We show that if a sequence of expander graphs equi-coarsely embeds into a Banach space, then this Banach space fails Kasparov and Yu's Property (H). Consequently, no Banach space with Property (H) can be coarsely universal for all countable groups. We provide a Lean verification of our results.
We introduce two ordinal indices that are linear invariants for Banach spaces: the dyadic tree index and the sprawling tree index. We show that they are also bi-Lipschitz invariants. In fact, we characterize their values in terms of sub-Lipschitz embeddability of dyadic or countably branching diamond graphs of ordinal height. We derive applications for separable Banach spaces that are universal for complete countable metric spaces and bi-Lipschitz embeddings. We also discuss the links of these tree indices with classical fragmentability indices of Banach spaces such as the dentabilty, weak fragmentability and Szlenk indices.
We consider the problem of whether there is a sequence of homeomorphisms $(F_k)_k$ between the unit spheres of the $k$-dimensional Banach spaces $\ell_\infty^k$ and $\ell_1^k$ which is also equi-uniformly continuous. We prove that this cannot be the case if the sequence $(F_k)_k$ either (1) does not increase support sizes (which is a property strictly weaker than support preservation) or (2) is step preserving (which is a property strictly weaker than being equivariant with respect to permutations of the canonical basis). We also provide quantitative estimates relating the moduli of uniform continuity of the maps to the dimension of the spaces. This gives partial answers to a question of W. B. Johnson and it is related to the problem of whether $c_0$ has Kasparov and Yu's Property (H). Our results also apply to more general spaces other than $\ell_1$ such as spaces with unconditional bases which are not equivalent to the standard $c_0$ basis. Finally, we derive an asymptotic concentration inequality that must be satisfied by step preserving equi-uniformly continuous maps defined on the positive parts of these unit spheres.
This book discusses the interactions between the (nonlinear) metric structure of Banach spaces and their linear asymptotic behavior. The overarching problem is to understand how the various linear structures of a Banach space are preserved under certain nonlinear maps. The first chapters contain what are by now classical results to study the most basic and fundamental rigidity problems: the Lipschitz or uniform classification of Banach spaces. The other chapters form the main contribution of this book. The intended goal is to cover the work of many researchers, in particular their discoveries from the past 25 years, trying to understand how asymptotic properties of Banach spaces are preserved under several essential notions of nonlinear (bi-Lipschitz, coarse-Lipschitz, coarse or uniform) embeddings. This is part of a broader program called the Kalton program. This program, inspired by the Ribe program, seeks to uncover purely metric characterizations of asymptotic properties of Banach spaces. Many of these charaterizations are closely connected to the geometry of families of metric graphs (trees, Hamming graphs, diamond graphs, interlacing graphs) thus this book is also about the geometric structure of those graphs.
We show that several operator ideals coincide when intersected with the class of linearizations of Lipschitz maps. In particular, we show that the linearization $\widehat{f}$ of a Lipschitz map $f:M\to N$ is Dunford-Pettis if and only if it is Radon-Nikodým if and only if it does not fix any copy of $L_1$. We also identify and study the corresponding metric property of $f$, which is a natural extension of the curve-flatness.
We show that there are uncountably many mutually non-isomorphic Lipschitz-free spaces over countable, complete, discrete metric spaces. Also there is a countable, complete, discrete metric space whose free space does not embed into the free space of any uniformly discrete metric space. This enhanced diversity is a consequence of the fact that the dentability index $D$ presents a highly non-binary behavior when assigned to the free spaces of metric spaces outside of the oppressive confines of compact purely 1-unrectifiable spaces. Indeed, the cardinality of $\{D(\mathcal F(M)): M$ countable, complete, discrete$\}$ is uncountable while $\{D(\mathcal F(M)):M$ infinite, compact, purely 1-unrectifiable$\}=\{ω,ω^2\}$. Similar barrier is observed for uniformly discrete metric spaces as higher values of the dentability index are excluded for their free spaces: $\{D(\mathcal F(M)):M$ infinite, uniformly discrete$\}=\{ω^2,ω^3\}$.
In this note, we investigate the renorming theory of Banach spaces with property $(β)$ of Rolewicz. In particular, we give a "coordinate-free" proof of the fact that every Banach space with property $(β)$ admits an equivalent norm that is asymptotically uniformly smooth; a result originally due to Kutzarova for spaces with a Schauder basis. We also show that if a natural modulus associated with a Banach space $X$ with property $(β)$ is positive at some point in the interval $(0,1)$, then $X$ admits an equivalent norm with property $(β)$. This is an asymptotic analog of a profound result from the local geometry of Banach spaces that states that if the modulus of uniform convexity of a Banach space $X$ is positive at some point in the interval $(0,2)$, then $X$ admits an equivalent norm that is uniformly convex.
We introduce a new notion of embeddability between Banach spaces. By studying the classical Mazur map, we show that it is strictly weaker than the notion of coarse embeddability. We use the techniques from metric cotype introduced by M. Mendel and A. Naor to prove results about cotype preservation and complete our study of embeddability between $\ell_p$ spaces. We confront our notion with nonlinear invariants introduced by N. Kalton, which are defined in terms of concentration properties for Lipschitz maps defined on countably branching Hamming or interlaced graphs. Finally, we address the problem of the embeddability into $\ell_\infty$.
We introduce the notion of asymptotic coarse Lipschitz equivalence of metric spaces. We show that it is strictly weaker than coarse Lipschitz equivalence. We study its impact on the asymptotic dimension of metric spaces. Then we focus on Banach spaces. We prove that, for $2\leq p<\infty$, being linearly isomorphic to $\ell_p$ is stable under asymptotic coarse Lipschitz equivalences. Finally, we establish a version of the Gorelik principle in this setting and apply it to prove the stability of various properties of asymptotic uniform smoothness of Banach spaces under asymptotic coarse Lipschitz equivalences.
For $1<p\le \infty$, we show the existence of a Banach space which is both injectively and surjectively universal for the class of all separable Banach spaces with an equivalent $p$-asymptotically uniformly smooth norm. We prove that this class is analytic complete in the class of separable Banach spaces. These results extend previous works by Kalton, Werner and Kurka in the case $p=\infty$.
For $1<p\leqslant \infty$, we study the complexity and the existence of universal spaces for two classes of separable Banach spaces, denoted $\textsf{A}_p$ and $\textsf{N}_p$, and related to asymptotic smoothness in Banach spaces. We show that each of these classes is Borel in the class of separable Banach spaces. Then we build small families of Banach spaces that are both injectively and surjectively universal for these classes. Finally, we prove the optimality of this universality result, by proving in particular that none of these classes admits a universal space.
The notion of super weak compactness for subsets of Banach spaces is a strengthening of the weak compactness that can be described as a local version of super-reflexivity. A recent result of K. Tu which establishes that the closed convex hull of a super weakly compact set is super weakly compact has removed the main obstacle to further development of the theory. In this paper we provide a variety of results around super weak compactness in order to show the great scope of this notion. We also give non linear characterizations of super weak compactness in terms of the (non) embeddability of special trees and graphs. We conclude with a few relevant examples of super weakly compact sets in non super-reflexive Banach spaces.
We study the nonlinear embeddability of Banach spaces and the equi-embeddability of the family of Kalton's interlaced graphs $([\mathbb N]^k,d_{\mathbb K})_k$ into dual spaces. Notably, we define and study a modification of Kalton's property $\mathcal Q$ that we call property $\mathcal{Q}_p$ (with $p \in (1,+\infty]$). We show that if $([\mathbb N]^k,d_{\mathbb K})_k$ equi-coarse Lipschitzly embeds into $X^*$, then the Szlenk index of $X$ is greater than $ω$, and that this is optimal, i.e., there exists a separable dual space $Y^*$ that contains $([\mathbb N]^k,d_{\mathbb K})_k$ equi-Lipschitzly and so that $Y$ has Szlenk index $ω^2$. We prove that $c_0$ does not coarse Lipschitzly embed into a separable dual space by a map with distortion strictly smaller than $\frac{3}{2}$. We also show that neither $c_0$ nor $L_1$ coarsely embeds into a separable dual by a weak-to-weak$^*$ sequentially continuous map.
We prove that the class of reflexive asymptotic-$c_0$ Banach spaces is coarsely rigid, meaning that if a Banach space $X$ coarsely embeds into a reflexive asymptotic-$c_0$ space $Y$, then $X$ is also reflexive and asymptotic-$c_0$. In order to achieve this result we provide a purely metric characterization of this class of Banach spaces. This metric characterization takes the form of a concentration inequality for Lipschitz maps on the Hamming graphs, which is rigid under coarse embeddings. Using an example of a quasi-reflexive asymptotic-$c_0$ space, we show that this concentration inequality is not equivalent to the non equi-coarse embeddability of the Hamming graphs.
Within the class of reflexive Banach spaces, we prove a metric characterization of the class of asymptotic-$c_0$ spaces in terms of a bi-Lipschitz invariant which involves metrics that generalize the Hamming metric on $k$-subsets of $\mathbb{N}$. We apply this characterization to show that the class of separable, reflexive, and asymptotic-$c_0$ Banach spaces is non-Borel co-analytic. Finally, we introduce a relaxation of the asymptotic-$c_0$ property, called the asymptotic-subsequential-$c_0$ property, which is a partial obstruction to the equi-coarse embeddability of the sequence of Hamming graphs. We present examples of spaces that are asymptotic-subsequential-$c_0$. In particular $T^*(T^*)$ is asymptotic-subsequential-$c_0$ where $T^*$ is Tsirelson's original space.
In this paper we provide several \emph{metric universality} results. We exhibit for certain classes $\cC$ of metric spaces, families of metric spaces $(M_i, d_i)_{i\in I}$ which have the property that a metric space $(X,d_X)$ in $\cC$ is coarsely, resp. Lipschitzly, universal for all spaces in $\cC$ if the collection of spaces $(M_i,d_i)_{i\in I}$ equi-coarsely, respectively equi-Lipschitzly, embeds into $(X,d_X)$. Such families are built as certain Schreier-type metric subsets of $\co$. We deduce a metric analog to Bourgain's theorem, which generalized Szlenk's theorem, and prove that a space which is coarsely universal for all separable reflexive asymptotic-$c_0$ Banach spaces is coarsely universal for all separable metric spaces. One of our coarse universality results is valid under Martin's Axiom and the negation of the Continuum Hypothesis. We discuss the strength of the universality statements that can be obtained without these additional set theoretic assumptions. In the second part of the paper, we study universality properties of Kalton's interlacing graphs. In particular, we prove that every finite metric space embeds almost isometrically in some interlacing graph of large enough diameter.
We study the structure of the space of coarse Lipschitz maps between Banach spaces. In particular we introduce the notion of norm attaining coarse Lipschitz maps. We extend to the case of norm attaining coarse Lipschitz equivalences, a result of G. Godefroy on Lipschitz equivalences. This leads us to include the non separable versions of classical results on the stability of the existence of asymptotically uniformly smooth norms under Lipschitz or coarse Lipschitz equivalences.
In this note we prove that the Kalton interlaced graphs do not equi-coarsely embed into the James space $\mathcal J$ nor into its dual $\mathcal J^*$. It is a particular case of a more general result on the non equi-coarse embeddability of the Kalton graphs into quasi-reflexive spaces with a special asymptotic stucture. This allows us to exhibit a coarse invariant for Banach spaces, namely the non equi-coarse embeddability of this family of graphs, which is very close to but different from the celebrated property $\mathcal Q$ of Kalton. We conclude with a remark on the coarse geometry of the James tree space $\mathcal J \mathcal T$ and of its predual.