Related papers: Constructing H\"older maps to Carnot groups
When 1 -> H -> G -> Q -> 1 is a short exact sequence of three infinite, word-hyperbolic groups, Mahan Mitra (Mj) has shown that the inclusion map from H to G extends continuously to a map between the Gromov boundaries of H and G. This…
In arbitrary Carnot groups we study intrinsic graphs of maps with horizontal target. These graphs are $C^1_H$ regular exactly when the map is uniformly intrinsically differentiable. Our first main result characterizes the uniformly…
We study the infimal value of the Hausdorff dimension of spaces that are H\"older equivalent to a given metric space; we call this bi-H\"older-invariant "H\"older dimension". This definition and some of our methods are analogous to those…
A classical theorem, mainly due to Aleksandrov and Pogorelov, states that any Riemannian metric on $S^2$ with curvature $K>-1$ is induced on a unique convex surface in $H^3$. A similar result holds with the induced metric replaced by the…
This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case…
For every finite generating set on the integer Heisenberg group H(Z), Pansu showed that the word metric has the large-scale structure of a Carnot-Caratheodory Finsler metric on the real Heisenberg group H(R). We study the properties of…
Dimensions of level sets of generic continuous functions and generic H\"older functions defined on a fractal $F$ encode information about the geometry, ``the thickness" of $F$. While in the continuous case this quantity is related to a…
This paper is related to the problem of finding a good notion of rectifiability in sub-Riemannian geometry. In particular, we study which kind of results can be expected for smooth hypersurfaces in Carnot groups. Our main contribution will…
We explicitly construct new subgroups of the mapping class groups of an uncountable collection of infinite-type surfaces, including, but not limited to, free groups, Baumslag-Solitar groups, mapping class groups of other surfaces, and a…
We study contact 3-manifolds using the techniques of sub-Riemannian geometry and geometric measure theory, in particular establishing properties of their Lipschitz homotopy groups. We prove a biLipschitz version of the Theorem of Darboux: a…
We prove the coarea formula for Lipschitz maps from the subriemannian $n$th Heisenberg group $\mathbb H_n$ to $\mathbb R^{2n}$. Our result is new even when $n=1$ and provides the simplest vector-valued instance of the coarea formula in…
In this paper, we study characteristics of horofunction boundaries of Carnot groups. In particular, we show that for Carnot groups, i.e., stratified nilpotent Lie groups equipped with certain left-invariant homogeneous metrics, all…
A graph $G$ on $n$ vertices of diameter $D$ is called $H$-palindromic if $\alpha(G,k) = \alpha(G,D-k)$ for all $k=0, 1, \dots, \left \lfloor{\frac{D}{2}}\right \rfloor$, where $\alpha(G,k)$ is the number of unordered pairs of vertices at…
We consider order preserving $C^3$ circle maps with a flat piece, irrational rotation number and critical exponents $(\ell_1, \ell_2)$. We detect a change in the geometry of the system. For $(\ell_1, \ell_2) \in [1,2]^2$ the geometry is…
We investigate the minimal surface problem in the three dimensional Heisenberg group, H, equipped with its standard Carnot-Caratheodory metric. Using a particular surface measure, we characterize minimal surfaces in terms of a sub-elliptic…
Given a metric space $X$ and a function $f: X \to \mathbb{R}$, the Reeb construction gives metric a space $X_f$ together with a quotient map $X \to X_f$. Under suitable conditions $X_f$ becomes a metric graph and can therefore be used as a…
Our purpose in this paper is to study isometries and isometric embeddings of the $p$-Wasserstein space $\mathcal{W}_p(\mathbb{H}^n)$ over the Heisenberg group $\mathbb{H}^n$ for all $p>1$ and for all $n\geq 1$. First, we create a link…
We find necessary and sufficient conditions for a Lipschitz map $f:\mathbb{R}E\to X$, into a metric space to have the image with the $k$-dimensional Hausdorff measure equal zero, $H^k(f(E))=0$. An interesting feature of our approach is that…
In the first paper of the Graph Minors series [JCTB '83], Robertson and Seymour proved the Forest Minor theorem: the $H$-minor-free graphs have bounded pathwidth if and only if $H$ is a forest. In recent years, considerable effort has been…
We show that any compact, connected set $K$ in the plane can be approximated by the critical points of a polynomial with two critical values. Equivalently, $K$ can be approximated in the Hausdorff metric by a true tree in the sense of…