Search arXivSearch

arXiv · 2205.03093

Injectivity of Lipschitz operators

Abstract

Any Lipschitz map $f\colon M \to N$ between metric spaces can be "linearised" in such a way that it becomes a bounded linear operator $\widehat{f}\colon \mathcal F(M) \to \mathcal F(N)$ between the Lipschitz-free spaces over $M$ and $N$. The purpose of this note is to explore the connections between the injectivity of $f$ and the injectivity of $\widehat{f}$. While it is obvious that if $\widehat{f}$ is injective then so is $f$, the converse is less clear. Indeed, we pin down some cases where this implication does not hold but we also prove that, for some classes of metric spaces $M$, any injective Lipschitz map $f\colon M \to N$ (for any $N$) admits an injective linearisation. Along our way, we study how Lipschitz maps carry the support of elements in free spaces and also we provide stronger conditions on $f$ which ensure that $\widehat{f}$ is injective.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Luis García-Lirola, Colin Petitjean, Antonin Prochazka. 2022-12-14. Injectivity of Lipschitz operators. https://arxiv.org/abs/2205.03093

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Recursive approach to the matrix moment problem

In this paper, we study the truncated matrix moment problem in one variable through recursive matrix extensions. We give necessary and sufficient conditions for a recursive matrix extension of finite data to be a matrix moment sequence in the classical cases of Hamburger, Stieltjes, and Hausdorff moment problems. We also discuss matricial subnormal completion and matricial $k$--hyponormal completion problems and provide an analog of Stampfli's Theorem on flat propagation for $2$--hyponormal matricial weighted shifts.

math.FA

Embedding complexity into the universal Banach space and the strong Novikov conjecture

Brown-Guentner and Haagerup-Przybyszewska showed that every discrete group admits a proper affine isometric action on the universal Banach space $\bigoplus_{p=1}^{\infty} \ell^{2p}(\mathbb{N}),$ taken as the $\ell^{2}$-direct sum, and hence admits a coarse embedding into this space [7, 28]. They further asked whether such embeddings could be used to study the Novikov conjecture. In this paper, we address this question by proving that the strong Novikov conjecture holds for any discrete group that admits a coarse embedding with finite complexity into this universal Banach space. Finally, we show that the recently discovered non-sofic groups constructed by Kun and Thom have Property A and therefore satisfy the Novikov conjecture.

math.FA

Fixed point results for mappings of asymptotically Hölder nonexpansive type

We introduce asymptotically Hölder nonexpansive mappings and mappings of asymptotically Hölder nonexpansive type, in which the Hölder exponents converge to one along the iterates. We prove that if \(K\) is a nonempty closed bounded convex subset of a Banach space \(X\) with characteristic of convexity \(ε_0(X)<1\), then every self-mapping of \(K\) of asymptotically Hölder nonexpansive type admits a point \(x\in K\) such that \(T^n x\to x\). Consequently, a fixed point exists whenever some positive iterate of \(T\) is continuous; in particular, this applies to asymptotically Hölder nonexpansive mappings. We also obtain fixed-point-free constructions in spaces containing copies of \(c_0\), and a related construction on a bounded convex, not necessarily closed, subset of every Banach space containing an isomorphic copy of \(\ell_1\). Further examples show that the new classes properly extend their classical counterparts and may contain mappings with no continuous positive iterate. Finally, we examine Lin's renorming of \(\ell_1\), identify an obstruction related to shift-type constructions, and establish a shrinking-diagonal criterion that reduces the remaining closed-set problem to the construction of a suitably controlled uniformly Lipschitzian mapping.

math.FA