Lipschitz extensions into $p$-Banach spaces, and canonical embeddings of Lipschitz-free $p$-spaces for $0<p<1$

TL;DR

This paper demonstrates that inclusions of $p$-metric spaces induce linear embeddings of their Lipschitz-free $p$-spaces, extending known results for $p=1$ and revealing new structural properties.

Contribution

It introduces a versatile extension method for $p$-Banach-valued Lipschitz maps and establishes isomorphic embeddings of Lipschitz-free $p$-spaces for $0<p<1$, answering foundational questions.

Findings

Inclusions of $p$-metric spaces produce isomorphic embeddings of Lipschitz-free $p$-spaces.

The envelope map from $F_p(M)$ to its $q$-Banach envelope is injective for $0<p<q extless=1.

The results extend classical Lipschitz space theory to the quasi-Banach setting.

Abstract

We show that inclusions of $p$-metric spaces always produce genuine linear embeddings at the level of Lipschitz-free $p$-spaces. More precisely, for every $0<p<1$ and every inclusion $ \mathit{N}\subset \mathit{M}$ of $p$-metric spaces, the canonical map from $ \mathit{F}_p(\mathit{N})$ into $ \mathit{F}_p( \mathit{M})$ is always an isomorphic embedding, as it plainly happens for $p=1$. Our proof relies on a versatile extension procedure for $p$-Banach-valued Lipschitz maps, allowing us to control the geometry of canonical molecules and uncover a rigidity principle governing the structure of Lipschitz free $p$-spaces. As an application, we prove that, given $0<p<q\le 1$, the natural envelope map from the Lipschitz-free $p$-space $ \mathit{F}_p( \mathit{M})$ to its $q$-Banach envelope $ \mathit{F}_q( \mathit{M})$ is one-to-one. These results give positive answers to two foundational questions that were originally raised by Kalton in [Lipschitz structure of quasi-Banach spaces, Israel J. Math. 170 (2009), 317-335], and provide tools for furthering the understanding of subspace structures, hereditary properties, and geometric invariants in Lipschitz-free $p$-spaces.