Related papers: Hard Sard: Quantitative Implicit Function and Exte…

Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In…

Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…

We prove an implicit function theorem for C^k-maps from arbitrary topological vector spaces over valued fields to Banach spaces (for k at least 2). As a tool, we show the C^k-dependence of fixed points on parameters for suitable families of…

For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…

We prove an implicit function theorem for functions on infinite-dimensional Banach manifolds, invariant under the (local) action of a finite dimensional Lie group. Motivated by some geometric variational problems, we consider group actions…

A well-known result is that any Lipschitz domain is an extension domain for $W^{s,p}$. This paper extends this result to Lipschitz subsets of compact Lipschitz submanifolds of $\mathbb{R}^n$. We adapt the construction of an extension…

A metric space has the universal Lipschitz extension property if for each subspace S embedded quasi-isometrically into an arbitrary metric space M there exists a continuous linear extension of Banach-valued Lipschitz functions on S to those…

Let $\mathfrak{L}$ be a Leibniz algebra, $E$ a vector space and $\pi : E \to \mathfrak{L}$ an epimorphism of vector spaces with $ \mathfrak{g} = {\rm Ker} (\pi)$. The global extension problem asks for the classification of all Leibniz…

For all $k,n\ge 1$, we construct a biLipschitz embedding of $\mathbb{S}^n$ into the jet space Carnot group $J^k(\mathbb{R}^n)$ that does not admit a Lipschitz extension to $\mathbb{B}^{n+1}$. Let $f:\mathbb{B}^n\to \mathbb{R}$ be a smooth,…

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

This note addresses the quantitative aspect of the bilipschitz extension problem. The main result states that any bilipschitz embedding of $\mathbb R$ into $\mathbb R^2$ can be extended to a bilipschitz self-map of $\mathbb R^2$ with a…

A well-known open problem asks whether every bi-Lipschitz homeomorphism of $\mathbb{R}^d$ factors as a composition of mappings of small distortion. We show that every bi-Lipschitz embedding of the unit cube $[0,1]^d$ into $\mathbb{R}^d$…

In his beautiful paper on the central set from 1981, Y. Yomdin makes use of a Lipschitz Inverse Function Theorem that seemingly has been unproved until now. After a brief discussion of a natural and straightforward Lipschitz counterpart of…

We show that given a compact group $G$ acting continuously on a metric space $M$ by bi-Lipschitz bijections with uniformly bounded norms, the Lipschitz-free space over the space of orbits $M/G$ (endowed with Hausdorff distance) is…

We prove two versions of a global implicit function theorem, which involve no loss of derivative, for Keller's $ C_c^1 $-mappings between arbitrary Fr\'{e}chet spaces. Subsequently, within this framework, we apply these theorems to…

A mapping $f:X\to Y$ between metric spaces is called \emph{little Lipschitz} if the quantity $$ \operatorname{lip}(f(x)=\liminf_{r\to0}\frac{\operatorname{diam} f(B(x,r))}{r} $$ is finite for every $x\in X$. We prove that if a compact (or,…

We study extension theorems for Lipschitz-type operators acting on metric spaces and with values on spaces of integrable functions. Pointwise domination is not a natural feature of such spaces, and so almost everywhere inequalities and…

We show that several operator ideals coincide when intersected with the class of linearizations of Lipschitz maps. In particular, we show that the linearization $\widehat{f}$ of a Lipschitz map $f:M\to N$ is Dunford-Pettis if and only if it…

We give sufficient conditions for a $ C^1_c $-local diffeomorphism between Fr\'{e}chet spaces to be a global one. We extend the Clarke's theory of generalized gradients to the more general setting of Fr\'{e}chet spaces. As a consequence, we…

The classical Hahn-Banach theorem is based on a successive point-by-point procedure of extending bounded linear functionals. In the setting of a general metric domain, the conditions are less restrictive and the extension is only required…