Gonzalo Flores,Mingu Jung,Gilles Lancien,Colin Petitjean,Antonín Procházka,Andrés Quilis
Abstract:We show that several operator ideals coincide when intersected with the class of linearizations of Lipschitz maps. In particular, we show that the linearization $\hat{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 introduced in [<a class="link-https" data-arxiv-id="2103.09370" href="https://arxiv.org/abs/2103.09370">arXiv:2103.09370</a>]. Further, we show that $\hat{f}$ is compact if and only if it does not fix any copy of $\ell_1$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the relationship between curve - flat Lipschitz functions and their linearizations, especially whether the linearizations of these functions have certain specific operator properties, such as the Dunford - Pettis property, the Radon - Nikodým property, etc. Specifically, the authors study whether when a 0 - preserving Lipschitz mapping \( f: M\rightarrow N \) is curve - flat, its linearization \( b_f: F(M)\rightarrow F(N) \) is also a Dunford - Pettis operator, a Radon - Nikodým operator, and does not fix any copy of \( L^1 \).
### Main contributions
1. **Equivalent conditions**: The main result of the paper is to prove that for two complete pointed metric spaces \( M \) and \( N \), and a 0 - preserving Lipschitz mapping \( f: M\rightarrow N \), the following conditions are equivalent:
- \( f \) is curve - flat.
- \( b_f \) is a Radon - Nikodým operator.
- \( b_f \) is a Dunford - Pettis operator.
- \( b_f \) does not fix any copy of \( L^1 \).
2. **Extension of existing results**: These results are an extension of some theorems in previous literature, especially Theorem C in [5], which discusses the relationship between the pure 1 - unrectifiability of the metric space \( M \) and the Radon - Nikodým property of its free space \( F(M) \).
3. **Other operator properties**: The paper also explores some other operator properties, such as strong Radon - Nikodým operators and operators through Schur spaces, and the relationship between these properties and curve - flat functions.
### Technical details
- **Curve - flat functions**: A Lipschitz mapping \( f: M\rightarrow N \) is defined to be curve - flat if for every Lipschitz curve \( \gamma: K\rightarrow M \), we have
\[
\lim_{y\rightarrow x}\frac{d(f(\gamma(x)), f(\gamma(y)))}{|x - y|}=0
\]
for almost all \( x\in K \).
- **Linearization**: For a 0 - preserving Lipschitz mapping \( f: M\rightarrow N \), its linearization \( b_f: F(M)\rightarrow F(N) \) is a bounded linear operator, called a Lipschitz operator.
- **Operator ideals**: The paper discusses multiple operator ideals, including Dunford - Pettis operators, Radon - Nikodým operators, operators through Schur spaces, etc., and studies the performance of these operator ideals in the linearization of Lipschitz mappings.
### Conclusion
Through these studies, the authors not only extend the existing theoretical results but also provide a new perspective for understanding the linearization of Lipschitz mappings, especially in the cross - field of operator theory and metric geometry. These results are of great significance for further research on Lipschitz free spaces and related operator properties.