Related papers: A $C^{m,\omega}$ Whitney Extension Theorem for Hor…

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…

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…

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…

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 show that definable Whitney jets of class $C^{m,\omega}$, where $m$ is a nonnegative integer and $\omega$ is a modulus of continuity, are the restrictions of definable $C^{m,\omega}$-functions; "definable" refers to an arbitrary given…

Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…

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 introduce a general notion of weak extension property for embeddings induced by a group actions. As an example, for the group H(M, m) of measure-preserving homeomorphisms of a noncompact manifold M, we deduce weak type…

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…

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…

Given $X$ a Hilbert space, $\omega$ a modulus of continuity, $E$ an arbitrary subset of $X$, and functions $f:E\to\mathbb{R}$, $G:E\to X$, we provide necessary and sufficient conditions for the jet $(f,G)$ to admit an extension $(F, \nabla…

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…

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…

We prove a general extension theorem for holomorphic line bundles on reduced complex spaces, equipped with singular hermitian metrics, whose curvature currents can be extended as positive, closed currents. The result has applications to…

The purpose of this paper is to address a manifold-based version of Whitney's extension problem: Given a compact set $E\subset\mathbb{R}^n$, how can we tell if there exists a $d$-dimensional, $C^m$-smooth manifold $\mathcal{M}\supset E$? We…

We study a variant of the Whitney extension problem for the space $C^k\Lambda^m_{\omega}(R^n)$ of functions whose partial derivatives of order $k$ satisfy the generalized Zygmund condition. We identify $C^k\Lambda^m_{\omega}(R^n)$ with a…

Our paper is a complement to a recent article by D. Azagra and C. Mudarra (2021). We show how older results on semiconvex functions with modulus $\omega$ easily imply extension theorems for $C^{1,\omega}$-smooth functions on super-reflexive…

In this paper we develop the homological version of $\Sigma$-theory for locally compact Hausdorff groups, leaving the homotopical version for another paper. Both versions are connected by a Hurewicz-like theorem. They can be thought of as…

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$.