Related papers: Directional Pliability, Whitney Extension, and Lus…
The Whitney extension theorem is a classical result in analysis giving a necessary and sufficient condition for a function defined on a closed set to be extendable to the whole space with a given class of regularity. It has been adapted to…
In the setting of horizontal curves in the Heisenberg group, we prove a $C^{m,\omega}$ finiteness principle, a $C^{m,\omega}$ Lusin approximation result, a $C^{\infty}$ Whitney extension result, and a $C^{\infty}$ Lusin approximation…
In this article we study the validity of the Whitney $C^1$ extension property for horizontal curves in sub-Riemannian manifolds endowed with 1-jets that satisfy a first-order Taylor expansion compatibility condition. We first consider the…
We construct a Lipschitz curve in the free Carnot group of step 3 with 2 generators that meets every $C^{1}$ horizontal curve in a set of measure zero. This shows that the $C^{1}_{H}$-Lusin property fails in a strong sense in this group,…
We show that, given an absolutely continuous horizontal curve $\gamma$ in the Heisenberg group, there is a $C^1$ horizontal curve $\Gamma$ such that $\Gamma=\gamma$ and $\Gamma'=\gamma'$ outside a set of small measure. Conversely, we…
A Carnot group $\mathbb{G}$ admits Lusin approximation for horizontal curves if for any absolutely continuous horizontal curve $\gamma$ in $\mathbb{G}$ and $\varepsilon>0$, there is a $C^1$ horizontal curve $\Gamma$ such that…
We characterize those mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group $\mathbb{H}^{n}$ which can be extended to a $C^{m}$ horizontal curve in $\mathbb{H}^{n}$. The characterization combines the classical Whitney…
We prove a $C^m$ Lusin approximation theorem for horizontal curves in the Heisenberg group. This states that every absolutely continuous horizontal curve whose horizontal velocity is $m-1$ times $L^1$ differentiable almost everywhere…
In recent years, several notions of non-rigidity of horizontal vectors in Carnot groups have been proposed, motivated, in particular, by the characterization of monotone sets and Whitney extension properties. In this note we compare some of…
For a real valued function defined on a compact set $K \subset \mathbb{R}^m$, the classical Whitney Extension Theorem from 1934 gives necessary and sufficient conditions for the existence of a $C^k$ extension to $\mathbb{R}^m$. In this…
We establish a $C^m$ Whitney extension theorem for horizontal curves in free step~$2$ Carnot groups $\mathbb{G}_r$ for an arbitrary number of generators $r \geq 2$. This extends existing results in the Heisenberg group. New techniques…
In the setting of Carnot groups, we exhibit examples of intrinisc Lipschitz curves of positive $\mathcal{H}^1$-measure that intersect every connected intrinsic Lipschitz curve in a $\mathcal{H}^1$-negligible set. As a consequence such…
We consider sets of locally finite perimeter in Carnot groups. We show that if E is a set of locally finite perimeter in a Carnot group G, then for almost every x in G with respect to the perimeter measure of E, some tangent of E at x is a…
We study the Lusin approximation problem for real-valued measurable functions on Carnot groups. We prove that k-approximate differentiability almost everywhere is equivalent to admitting a Lusin approximation by $C^{k}_{\mathbb{G}}$ maps.…
We characterize which mappings from a compact subset of $\mathbb{R}$ into the Heisenberg group can be extended to a $C^{m,\omega}$ horizontal curve for a given modulus of continuity $\omega$. We motivate our characterization by showing that…
We introduce a notion of rectifiability modeled on Carnot groups. Precisely, we say that a subset E of a Carnot group M and N is a subgroup of M, we say E is N-rectifiable if it is the Lipschitz image of a positive measure subset of N.…
In the Engel group with its Carnot group structure we study subsets of locally finite subRiemannian perimeter and possessing constant subRiemannian normal. We prove the rectifiability of such sets: more precisely we show that, in some…
We show that length minimizing curves in Carnot-Carath\'eodory spaces possess at any point at least one tangent curve (i.e., a blow-up in the nilpotent approximation) equal to a straight horizontal line. This is the first regularity result…
Consider the sub-Riemannian Heisenberg group $\mathbb{H}$. In this paper, we answer the following question: given a compact set $K \subseteq \mathbb{R}$ and a continuous map $f:K \to \mathbb{H}$, when is there a horizontal $C^m$ curve…
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…