Related papers: Local vs. global Lipschitz geometry

Given an o-minimal structure, we show that every definable (in this structure) mapping that is Lipschitz with respect to the inner metric can be approximated by $\mathscr{C}^1$ mappings that are Lipschitz with respect to the inner metric…

In a former paper the first and third authors introduced the notion of direction set for a subset of R^n, and showed that the dimension of the common direction set of two subanalytic subsets, called directional dimension, is preserved by a…

The main result states that a connected conic singular sub-manifold of a Riemannian manifold, compact when the ambient manifold is non-Euclidean, is Lipschitz Normally Embedded: the outer and inner metric space structures are metrically…

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

In "On o-minimal homotopy groups", o-minimal homotopy was developed for the definable category, proving o-minimal versions of the Hurewicz theorems and the Whitehead theorem. Here, we extend these results to the category of locally…

We determine the local geometric structure of two-dimensional metric spaces with curvature bounded above as the union of finitely many properly embedded/branched immersed Lipschitz disks. As a result, we obtain a graph structure of the…

We study the local Lipschitz one subsets of a finite dimensional space, that is, sets for which there exists a continuous function whose local Lipschitz derivative is the characteristic function of said set. We give a characterization of a…

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

It is known by a result of Mendes and Sampaio that the Lipschitz normal embedding of a subanalytic germ is fully characterized by the Lipschitz normal embedding of its link. In this note, we show that the result still holds for definable…

We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…

We discuss the problem of deciding when a metrisable topological group $G$ has a canonically defined local Lipschitz geometry. This naturally leads to the concept of minimal metrics on $G$, that we characterise intrinsically in terms of a…

Let $V$ be a separable Hilbert space, possibly infinite dimensional. Let $\St(p,V)$ be the Stiefel manifold of orthonormal frames of $p$ vectors in $V$, and let $\Gr(p,V)$ be the Grassmann manifold of $p$ dimensional subspaces of $V$. We…

We show that compact Riemannian manifolds, regarded as metric spaces with their global geodesic distance, cannot contain a number of rigid structures such as (a) arbitrarily large regular simplices or (b) arbitrarily long sequences of…

There are several Teichm\"uller spaces associated to a surface of infinite topological type, after the choice of a particular basepoint (a complex or a hyperbolic structure on the surface). These spaces include the quasiconformal…

Any subanalytic germ $(X,0) \subset (\mathbb R^n,0)$ is equipped with two natural metrics: its outer metric, induced by the standard Euclidean metric of the ambient space, and its inner metric, which is defined by measuring the shortest…

Let $X$ be a compact metric space and $\mathcal M_X$ be the set of isometry classes of compact metric spaces $Y$ such that the Lipschitz distance $d_L(X,Y)$ is finite. We show that $(\mathcal M_X, d_L)$ is not separable when $X$ is a closed…

Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.

We study the ambient Lipschitz geometry of semialgebraic surfaces. It was discovered in \cite{BBG} that ambient Lipschitz Geometry is different from the outer Lipschtz geometry. We show that two surface germs in $\mathbb{R}^3$, Lipschitz…

We investigate and quantify the distinction between rectifiable and purely unrectifiable 1-sets in the plane. That is, given that purely unrectifiable 1-sets always have null intersections with Lipschitz images, we ask whether these sets…

We set up a descriptive set-theoretic framework to study Lipschitz-free spaces and use the reduction argument of Bossard to prove several results. We prove two universality results: if a separable Banach space is isomorphically universal…