Pełczyński's property (V$^*$) in Lipschitz-free spaces

We prove that Pelczyński’s property (V$^$) is locally determined for Lipschitz-free spaces, and obtain several sufficient conditions for it to hold. We deduce that $\mathcal{F}(M)$ has property (V$^$) when the complete metric space $M$ is locally compact and purely 1-unrectifiable, a Hilbert space, or belongs to a class of Carnot-Carathéodory spaces satisfying a bi-Hölder condition, including Carnot groups.

💡 Research Summary

The paper investigates Pelczyński’s property (V*) in the setting of Lipschitz‑free Banach spaces F(M). Property (V*) requires that every (V*)‑set in a Banach space be relatively weakly compact; it is known to be weaker than weak sequential completeness and to imply the absence of isomorphic copies of c₀. The authors first introduce a new determinacy principle: (V*) is “locally determined” for Lipschitz‑free spaces. Specifically, they prove (Theorem A) that if every point x in a complete metric space M has a neighbourhood U such that F(U∪{0}) satisfies (V*), then the whole space F(M) satisfies (V*). This result shows that (V*) does not depend on the global geometry of M but can be verified by checking small neighbourhoods.

Using this local principle, the authors derive several concrete sufficient conditions for F(M) to have (V*). The first class consists of complete, locally compact, purely 1‑unrectifiable metric spaces. Pure 1‑unrectifiability means that M contains no bi‑Lipschitz copy of a subset of ℝ with positive Lebesgue measure. For such spaces, each small ball is compact and retains the unrectifiability property, so Theorem A applies and yields (Theorem B) that F(M) has (V*).

The second class concerns sup‑reflexive Banach spaces viewed as metric spaces with the norm metric. Building on earlier work that identified the Schur property in Lipschitz‑free spaces over purely 1‑unrectifiable spaces, the authors prove (Theorem C) that if X is a Hilbert space then F(X) has (V*). The proof exploits the rich curve structure and differentiability in Hilbert spaces to control incremental quotients of Lipschitz functions via integrals of their derivatives, a technique distinct from the purely combinatorial arguments used for discrete spaces.

The third class comprises Carnot–Carathéodory spaces satisfying a bi‑Hölder condition, in particular Carnot groups. These spaces possess a stratified Lie group structure and a sub‑Riemannian distance that scales polynomially under dilations. The authors show that any such space admits neighbourhoods whose Lipschitz‑free spaces satisfy (V*); consequently, the whole free space over a Carnot group enjoys property (V*) (Theorem D). This extends the known results for Hilbert spaces to a broad family of non‑Euclidean, highly non‑linear metric spaces.

In addition to (V*), the paper discusses Silbers’ property (R), an analogue of (V*) for super‑weak compactness. The authors verify that all spaces covered by Theorem 3.7 (the Carnot‑type spaces) also satisfy (R), and note that the same holds for the spaces in Theorems B and C via existing results.

The paper also clarifies the relationship between compactly determined properties (those that can be checked on all compact subsets) and the newly introduced local determinacy. While weak sequential completeness, the Schur property, the approximation property, and the Radon–Nikodým property are known to be compactly determined for Lipschitz‑free spaces, (V*) is shown only to be locally determined in general. However, when M is locally compact, local and compact determinacy coincide, yielding a full compact determination for (V*) in that setting.

Finally, the authors highlight open problems: whether (V*) is equivalent to weak sequential completeness for Lipschitz‑free spaces, and whether (V*) can be compactly determined without the local compactness hypothesis. They also point out that the equivalence between (V*) and (V) remains unresolved in this context.

Overall, the paper provides a substantial advance in understanding the geometry of Lipschitz‑free spaces, introducing a powerful local criterion for property (V*) and applying it to a variety of metric spaces ranging from purely unrectifiable sets to Hilbert spaces and Carnot groups. This work bridges Banach‑space theory with metric geometry and opens several avenues for future research on weak compactness phenomena in non‑linear analysis.