Lipschitz p-Approximation Property

• The Lipschitz p-approximation property is defined as approximating the identity on a Banach space with finite-rank Lipschitz maps uniformly over relatively p-compact sets.
• It employs tensor product and factorization characterizations, mirroring the classical linear operator techniques in a nonlinear Lipschitz setting.
• This property refines classical approximation methods and paves the way for advances in analyzing nonlinear operator ideals and Lipschitz-free spaces.

The Lipschitz $p$-Approximation Property is a nonlinear generalization of the classical $p$-approximation property (p-AP) from Banach space theory to the category of Lipschitz maps between metric and Banach spaces. It is motivated by and formulated in analogy with the established theory of approximation properties for bounded linear operators, but uses finite-rank Lipschitz maps and extends the concepts to the setting where approximation is performed uniformly on relatively $p$-compact sets. This property connects to tensor-product characterizations and nonlinear operator ideals, and it provides a framework to analyze factorization and density results for operator classes in the Lipschitz category (Mandal, 6 Dec 2025).

1. Definitions and Formulation

For a Banach space $X$, denote by $\operatorname{Lip}_0(X, X)$ the Banach space of Lipschitz maps $f: X \to X$ with $f(0) = 0$, equipped with the Lipschitz norm $$\operatorname{Lip}(f) = \sup_{x \neq y} \|f(x) - f(y)\| / \|x-y\|$$. The subspace of finite-rank Lipschitz maps (where the associated linearization $T_f: \mathcal{F}(X) \to X$ has finite rank) is denoted $\operatorname{Lip}_{0\mathcal F}(X, X)$.

Let $1 \leq p < \infty$. A set $K \subset X$ is called relatively $p$-compact if it lies in the $p$-convex hull of a strongly $p$-summable sequence. The topology $\tau_p$ on $\operatorname{Lip}_0(X, X)$ is the topology of uniform convergence on relatively $p$-compact sets.

Definition:

$X$ has the Lipschitz $p$-approximation property (abbreviated as Lip-$p$.a.p.) if

$$\operatorname{Id}_X \in \overline{\operatorname{Lip}_{0\mathcal F}(X,X)}^{\tau_p}.$$

That is, for every relatively $p$-compact set $K \subset X$ and $\varepsilon > 0$, there exists a finite-rank Lipschitz map $f$ such that

$\sup_{x \in K} \|f(x) - x\| < \varepsilon.$

(Mandal, 6 Dec 2025)

2. Tensor Product and Operator Theoretic Characterizations

The Lipschitz $p$-approximation property admits several equivalent formulations, paralleling classical characterizations for linear $p$-a.p.:

• Identity approximation on the free space: $X$ has Lip-$p$.a.p. if and only if the identity operator on its free space, $Id_{\mathcal{F}(X)}$, lies in the $\mathcal{T}\delta_p$-closure of the finite-rank operators on $\mathcal{F}(X)$:

$$Id_{\mathcal{F}(X)} \in \overline{\mathcal{F}(\mathcal{F}(X), \mathcal{F}(X))}^{\mathcal{T}\delta_p}$$

where $\mathcal{T}\delta_p$ is the topology of uniform convergence on $p$-compact sets of molecules $\{\delta_X(x) : x \in K\}$ (Mandal, 6 Dec 2025).

• Tensor criterion: If for every Banach space $Y$ and every element $$\mathfrak{U} = \sum_{n=1}^{\infty} \delta_{x_n} \otimes y_n$$ in the (projective) tensor product $\mathcal{F}(X) \widehat{\otimes}_\pi Y$, with $\sum \|x_n\| \|y_n\| < \infty$ and $\sum \psi(y_n) \delta_{x_n} = 0$ for all $\psi \in Y^*$, then $\mathfrak{U} = 0$, this characterizes Lip-$p$.a.p. (Mandal, 6 Dec 2025).
• Factorization: The property is equivalent to the approximability of the canonical quotient map $\beta_X: \mathcal{F}(X) \to X$ by finite-rank operators on $p$-compact sets.

The following implications hold: If $X$ has the linear $p$-approximation property (i.e., the identity map is approximable by finite-rank linear operators on $p$-compact sets), then $X$ has Lip-$p$.a.p.; if $\mathcal{F}(X)$ has the linear $p$-approximation property, then so does $X$ (Mandal, 6 Dec 2025).

3. Relationships to Linear $p$-AP and Operator Ideals

Lip-$p$.a.p. generalizes the linear $p$-approximation property to the nonlinear setting of Lipschitz operator ideals:

• If $X$ has the linear $p$-approximation property, then it has Lip-$p$.a.p.
• The converse holds under additional hypotheses: If $\mathcal{F}(X)$ has linear $p$-AP, then $X$ has Lip-$p$.a.p.
• The property sits in the following hierarchy for $1 \leq p < q < \infty$:

$$\text{Linear } p\text{-AP} \implies \text{Lip-}p\text{.a.p.} \implies \text{Lip-a.p.} \implies \text{Lip-}q\text{.a.p.}$$

(Mandal, 6 Dec 2025)

Thus, Lip-$p$.a.p. provides a sharper tool for distinguishing between different approximation properties in the nonlinear Lipschitz category, paralleling the fine gradation in the theory of linear operator ideals.

4. Factorization for Dual Lipschitz $p$-Compact Operators

Denote by $\mathcal{K}_p^{Ld}(X,Y)$ the dual operator ideal of Lipschitz $p$-compact maps (those whose transpose is Lipschitz $p$-compact). The following factorization holds:

$$f \in \mathcal{K}_p^{Ld}(X,Y) \iff T_f \in \mathcal{K}_p^d(\mathcal{F}(X), Y), \quad k_p^{Ld}(f) = k_p^d(T_f)$$

Further, any $f \in \mathcal{K}_p^{Ld}(X, Y)$ can be factored as $f = U \circ R$ where $R \in \operatorname{Lip}_{0\mathcal{K}}(X, Z)$ is a Lipschitz-compact map and $U \in \Pi_p(Z, Y)$ is a linear $p$-summing operator (Mandal, 6 Dec 2025).

5. Examples, Consequences, and Limitations

• If $\mathcal{F}(X)$ has the classical approximation property, then $X$ has the Lipschitz approximation property (Lip-a.p.); in particular, if $X^\#$ has a.p., then $\mathcal{F}(X)$ does.
• Godefroy–Kalton showed $\mathcal{F}(\ell_1)$ and $\mathcal{F}(\mathbb{R}^n)$ have a Schauder basis, implying a.p. $\implies$ Lip-a.p. $\implies$ Lip-$p$.a.p.
• Sinha–Karn established that every Banach space has linear $p$-AP for $1 \leq p \leq 2$, so every $X$ has Lip-$p$.a.p. for this range.
• The map $$\delta_\mathbb{R}: \mathbb{R} \to \mathcal{F}(\mathbb{R})$$ is not Lipschitz $p$-compact for any $p$, showing that finite-dimensional domain alone does not guarantee Lip-$p$-compactness (Mandal, 6 Dec 2025).
• The property connects to well-known factorization, tensor product, and compactness criteria in classical operator theory, leveraging the correspondence between Lipschitz maps and linear operators on free spaces.

6. Interplay with Approximation Properties of Lipschitz-Free Spaces

The relationship between the Lipschitz $p$-approximation property on $X$ and approximation properties on $\mathcal{F}(X)$ is central:

• $X$ has Lip-$p$.a.p. if and only if $Id_{\mathcal{F}(X)}$ can be approximated by finite-rank operators uniformly on $p$-compact sets.
• The approximability of $\mathcal{F}(X)$ (e.g., existence of a Schauder basis) often yields Lip-$p$.a.p. for $X$.
• The study of the Lip-$p$.a.p. uses and motivates further research in the structure of free spaces, tensor products, Lipschitz ideals, and nonlinear extensions of operator-theoretic phenomena (Mandal, 6 Dec 2025).

7. Directions for Research and Open Problems

Open questions include the search for explicit metric or geometric criteria for Lip-$p$.a.p., the extension of factorization results, and the characterization of Lipschitz $p$-compactness for maps beyond $p \leq 2$. Another theme is the relation between the approximation properties of Banach spaces, their free spaces, and their function spaces, including impact on the structure of nonlinear operator ideals.

---

References:

• "Approximation property in terms of Lipschitz maps via tensor product approach" (Mandal, 6 Dec 2025).