Search results for "Mathematics::Metric Geometry"
showing 9 items of 139 documents
Lipschitz Functions on Submanifolds of Heisenberg Groups
2022
Abstract We study the behavior of Lipschitz functions on intrinsic $C^1$ submanifolds of Heisenberg groups: our main result is their almost everywhere tangential Pansu differentiability. We also provide two applications: a Lusin-type approximation of Lipschitz functions on ${\mathbb {H}}$-rectifiable sets and a coarea formula on ${\mathbb {H}}$-rectifiable sets that completes the program started in [18].
Semigenerated Carnot algebras and applications to sub-Riemannian perimeter
2021
This paper contributes to the study of sets of finite intrinsic perimeter in Carnot groups. Our intent is to characterize in which groups the only sets with constant intrinsic normal are the vertical half-spaces. Our viewpoint is algebraic: such a phenomenon happens if and only if the semigroup generated by each horizontal half-space is a vertical half-space. We call semigenerated those Carnot groups with this property. For Carnot groups of nilpotency step 3 we provide a complete characterization of semigeneration in terms of whether such groups do not have any Engel-type quotients. Engel-type groups, which are introduced here, are the minimal (in terms of quotients) counterexamples. In add…
Quasisymmetric extension on the real line
2015
We give a geometric characterization of the sets $E\subset \mathbb{R}$ that satisfy the following property: every quasisymmetric embedding $f: E \to \mathbb{R}^n$ extends to a quasisymmetric embedding $f:\mathbb{R}\to\mathbb{R}^N$ for some $N\geq n$.
A remark on two notions of flatness for sets in the Euclidean space
2021
In this note we compare two ways of measuring the $n$-dimensional "flatness" of a set $S\subset \mathbb{R}^d$, where $n\in \mathbb{N}$ and $d>n$. The first one is to consider the classical Reifenberg-flat numbers $\alpha(x,r)$ ($x \in S$, $r>0$), which measure the minimal scaling-invariant Hausdorff distances in $B_r(x)$ between $S$ and $n$-dimensional affine subspaces of $\mathbb{R}^d$. The second is an `intrinsic' approach in which we view the same set $S$ as a metric space (endowed with the induced Euclidean distance). Then we consider numbers ${\sf a}(x,r)$'s, that are the scaling-invariant Gromov-Hausdorff distances between balls centered at $x$ of radius $r$ in $S$ and the $n$-dimensi…
Non-branching geodesics and optimal maps in strong CD(K,∞) -spaces
2014
We prove that in metric measure spaces where the entropy functional is Kconvex along every Wasserstein geodesic any optimal transport between two absolutely continuous measures with finite second moments lives on a non-branching set of geodesics. As a corollary we obtain that in these spaces there exists only one optimal transport plan between any two absolutely continuous measures with finite second moments and this plan is given by a map. The results are applicable in metric measure spaces having Riemannian Ricci curvature bounded below, and in particular they hold also for Gromov-Hausdorff limits of Riemannian manifolds with Ricci curvature bounded from below by some constant. peerReview…
Uniformization of two-dimensional metric surfaces
2014
We establish uniformization results for metric spaces that are homeomorphic to the Euclidean plane or sphere and have locally finite Hausdorff 2-measure. Applying the geometric definition of quasiconformality, we give a necessary and sufficient condition for such spaces to be QC equivalent to the Euclidean plane, disk, or sphere. Moreover, we show that if such a QC parametrization exists, then the dilatation can be bounded by 2. As an application, we show that the Euclidean upper bound for measures of balls is a sufficient condition for the existence of a 2-QC parametrization. This result gives a new approach to the Bonk-Kleiner theorem on parametrizations of Ahlfors 2-regular spheres by qu…
Intrinsic Lipschitz Graphs and Vertical β-Numbers in the Heisenberg Group
2016
The purpose of this paper is to introduce and study some basic concepts of quantitative rectifiability in the first Heisenberg group $\mathbb{H}$. In particular, we aim to demonstrate that new phenomena arise compared to the Euclidean theory, founded by G. David and S. Semmes in the 90's. The theory in $\mathbb{H}$ has an apparent connection to certain nonlinear PDEs, which do not play a role with similar questions in $\mathbb{R}^{3}$. Our main object of study are the intrinsic Lipschitz graphs in $\mathbb{H}$, introduced by B. Franchi, R. Serapioni and F. Serra Cassano in 2006. We claim that these $3$-dimensional sets in $\mathbb{H}$, if any, deserve to be called quantitatively $3$-rectifi…
Assouad Type Dimensions in Geometric Analysis
2021
We consider applications of the dual pair of the (upper) Assouad dimension and the lower (Assouad) dimension in analysis. We relate these notions to other dimensional conditions such as a Hausdorff content density condition and an integrability condition for the distance function. The latter condition leads to a characterization of the Muckenhoupt Ap properties of distance functions in terms of the (upper) Assouad dimension. It is also possible to give natural formulations for the validity of Hardy–Sobolev inequalities using these dual Assouad dimensions, and this helps to understand the previously observed dual nature of certain cases of these inequalities. peerReviewed
On arithmetic sums of Ahlfors-regular sets
2021
Let $A,B \subset \mathbb{R}$ be closed Ahlfors-regular sets with dimensions $\dim_{\mathrm{H}} A =: \alpha$ and $\dim_{\mathrm{H}} B =: \beta$. I prove that $$\dim_{\mathrm{H}} [A + \theta B] \geq \alpha + \beta \cdot \tfrac{1 - \alpha}{2 - \alpha}$$ for all $\theta \in \mathbb{R} \, \setminus \, E$, where $\dim_{\mathrm{H}} E = 0$.