Related papers: Structure of Porous Sets in Carnot Groups

In a 2013 paper, Cheeger and Kleiner introduced a new type of dimension for metric spaces, the "Lipschitz dimension". We study the dimension-theoretic properties of Lipschitz dimension, including its behavior under Gromov-Hausdorff…

We introduce the group-compact coarse structure on a Hausdorff topological group in the context of coarse structures on an abstract group which are compatible with the group operations. We develop asymptotic dimension theory for the…

Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our…

We show that every graded nilpotent Lie group $G$ of step $r$, equipped with a left invariant metric homogeneous with respect to the dilations induced by the grading, (this includes all Carnot groups with Carnot-Caratheodory metric) is…

We show by explicit estimates that the SubRiemannian distance in a Carnot group of step two is locally semiconcave away from the diagonal if and only if the group does not contain abnormal minimizing curves. Moreover, we prove that local…

The aim of this article is to prove a Lipschitz extension theorem for partially defined Lipschitz maps to jet spaces endowed with a left-invariant sub-Riemannian Carnot-Carath\'eodory distance. The jet spaces give a model for a certain…

We prove that universal differentiability sets in Euclidean spaces possess distinctive structural properties. Namely, we show that any universal differentiability set contains a `kernel' in which the points of differentiability of each…

In the setting of Carnot groups, we are concerned with the rectifiability problem for subsets that have finite sub-Riemannian perimeter. We introduce a new notion of rectifiability that is, possibly, weaker than the one introduced by…

We study the question: when are Lipschitz mappings dense in the Sobolev space $W^{1,p}(M,\mathbf{H}^n)$? Here $M$ denotes a compact Riemannian manifold with or without boundary, while $\mathbf{H}^n$ denotes the $n$th Heisenberg group…

It is a folk conjecture that for alpha > 1/2 there is no alpha-Hoelder surface in the subRiemannian Heisenberg group. Namely, it is expected that there is no embedding from an open subset of R^2 into the Heisenberg group that is Hoelder…

We analyze subsets of Carnot groups that have intrinsic constant normal, as they appear in the blowup study of sets that have finite sub-Riemannian perimeter. The purpose of this paper is threefold. First, we prove some mild regularity and…

We prove that the Besicovitch Covering Property (BCP) does not hold for some classes of homogeneous quasi-distances on Carnot groups of step 3 and higher. As a special case we get that, in Carnot groups of step 3 and higher, BCP is not…

We consider the space of non-expansive mappings on a bounded, closed and convex subset of a Banach space equipped with the metric of uni- form convergence. We show that the set of strict contractions is a {\sigma}-porous subset.

Vasin (for $n=1$) and Anderson, Lehrb\"ack, Mudarra, and V\"ah\"akangas (arXiv:2209.06284) (for $n>1$) provided a geometric characterization of the sets $E \subset \mathbb{R}^n$ so that $w = \text{dist}(\cdot, E)^{-\alpha}$ is a Muckenhoupt…

We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot…

We show that quasiconformal maps on many Carnot groups must be biLipschitz. In particular, this is the case for 2-step Carnot groups with reducible first layer. These results have implications for the rigidity of quasiisometries between…

This paper deals with the theory of rectifiability in arbitrary Carnot groups, and in particular with the study of the notion of $\mathscr{P}$-rectifiable measure. First, we show that in arbitrary Carnot groups the natural…

This paper is another attempt to measure the difference between the family $A[0,1]$ of attractors for iterated function systems acting on $[0,1]$ and a broader family, the set $A_w[0,1]$ of attractors for weak iterated function systems…

In Carnot groups of step 2 we consider sets having maximal or minimal possible homogeneous Hausdorff dimension compared to their Euclidean one: in the first case we prove that they must be in a sense vertical, that is a large part of these…

We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carath\'eodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest…