Abstract:We prove an optimal result of stability under $\ell_p$-sums of some concentration properties for Lipschitz maps defined on Hamming graphs into Banach spaces. As an application, we give examples of spaces with Szlenk index arbitrarily high that admit nevertheless a concentration property. In particular, we get the very first examples of Banach spaces with concentration but without asymptotic smoothness property.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve lies in exploring the relationship between asymptotic smoothness and concentration properties in Banach spaces, and providing examples of Banach spaces with a high Szlenk index but without asymptotic smoothness. Specifically, the author aims to prove:
1. **Stability results**: Under the $\ell_p$-sum, certain concentration properties are stable for Lipschitz mappings.
2. **Construction of new examples**: Give examples of Banach spaces with an arbitrarily high Szlenk index, having concentration properties but without asymptotic smoothness.
### Detailed Explanation
#### Background and Motivation
In 2008, Kalton and Randrianarivony introduced a new technique based on Hamming graphs and the idea of asymptotic smoothness to prove that $L_p[0,1]$ is not uniformly homeomorphic to $\ell_p\oplus\ell_2$. This technique depends on certain concentration properties, which behave well in reflexive or quasi - reflexive asymptotically uniformly smooth (AUS) Banach spaces. Subsequently, Lancien and Raja extended these results to quasi - reflexive spaces and introduced weaker concentration properties.
However, all known reflexive or quasi - reflexive spaces with concentration properties have asymptotic smoothness. Therefore, a natural question is: Do there exist Banach spaces with concentration properties but without asymptotic smoothness?
#### Main Contributions
The author solves this problem through the following two main steps:
1. **Improvement of Theorem 1.1**: The author proves an improved version of Theorem 1.1, that is, for a given sequence of Banach spaces $(X_n)$, its $\ell_p$-sum $\left(\bigoplus_{n\in\mathbb{N}}X_n\right)_{\ell_p}$ still retains certain concentration properties without losing constants. This makes it possible to construct Banach spaces with an arbitrarily high Szlenk index but without asymptotic smoothness.
2. **Applications and Examples**: Using the above results, the author gives specific examples, showing Banach spaces with a high Szlenk index, having concentration properties but without asymptotic smoothness. This is the first study to provide such examples.
### Formula Summary
- **Asymptotically Uniformly Smoothness (AUS)**:
\[
\rho_X(t)=\sup_{x\in S_X}\inf_Y\sup_{y\in S_Y}(\|x + ty\| - 1)
\]
where $Y$ is all finite - codimensional closed linear subspaces of $X$.
- **Szlenk Index**:
\[
Sz(K,\varepsilon)=\min\{\xi:s_\xi^\varepsilon(K)=\emptyset\}
\]
where $s_\xi^\varepsilon(K)$ is a set defined by the Szlenk derivative.
- **Concentration Properties**:
A space $X$ has the $\lambda$-HFC$_{p,d}$ property if for each $k\in\mathbb{N}$ and each bounded function $f: [N]^k\rightarrow X$, there exists $M\subseteq [N]^\omega$ such that for all $n,m\in [M]^k$:
\[
d(f(n),f(m))\leq\lambda\left(\sum_{j = 1}^k\text{Lip}_j(f)^p\right)^{1 / p}
\]
Through these results, the author not only answers an important question regarding the relationship between concentration properties and asymptotic smoothness, but also provides new tools and directions for future research.