Related papers: A $C^m$ Whitney Extension Theorem for Horizontal C…

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…

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 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…

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…

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 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…

In this paper we study the notion of geodesic curvature of smooth horizontal curves parametrized by arc lenght in the Heisenberg group, that is the simplest sub-Riemannian structure. Our goal is to give a metric interpretation of this…

We show that, in arbitrary Carnot groups, pliability in a subset of directions is sufficient to guarantee the existence of a Whitney-type extension and a Lusin approximation for curves with tangent vectors in the same set of directions. We…

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…

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…

The Heisenberg curve is defined to be the curve corresponding to an extension of the projective line by the Heisenberg group modulo $n$, ramified above three points. This curve is related to the Fermat curve and its group of automorphisms…

We prove a variant of the standard Whitney extension theorem for $\mathcal C^m(\mathbb R^n)$, in which the norm of the extension operator has polynomial growth in $n$ for fixed $m$.

We study the horizontally regular curves in the Heisenberg groups $H_n$. We show the fundamental theorem of curves in $H_n$ $(n\geq 2)$ and define the concept of the orders for horizontally regular curves. We also show that the curve…

In this paper we extend some classical results of Convex Analysis to the sub-Riemannian setting of the Heisenberg group. In particular, we provide a horizontal version of Minty's theorem concerning maximal H-monotone operators defined in…

We define and study the harmonic curves on domains in $\mathbb{R}^n$ into the first Heisenberg group $\mathbb{H}^1$. These are the $C^2$-regular mappings which are critical points of the second Dirichlet energy and satisfy the weak…

Let $\mathbb H$ denote the three-dimensional Heisenberg group. In this paper, we study vertical curves in $\mathbb H$ and fibers of maps $\mathbb H \to \mathbb R^2$ from a metric perspective. We say that a set in $\mathbb H$ is a vertical…

We construct \'etale generalized Heisenberg group covers of hyperelliptic curves over number fields. We use these to produce infinite families of quadratic extensions of cyclotomic fields that admit everywhere unramified generalized…

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,…

In the first part of the paper a general notion of sampling expansions for locally compact groups is introduced, and its close relationship to the discretisation problem for generalised wavelet transforms is established. In the second part,…