Pliability, or the Whitney extension theorem for curves in Carnot groups

Juillet, Nicolas; Sigalotti, Mario

doi:10.2140/apde.2017.10.1637

Download this article
	For screen
	For printing

Recent Issues

The Journal

About the journal

Ethics and policies

Peer-review process

Submission guidelines

ISSN 1948-206X (online)

ISSN 2157-5045 (print)

Author index

To appear

Other MSP journals

Pliability, or the Whitney extension theorem for curves in Carnot groups

Nicolas Juillet and Mario Sigalotti

Vol. 10 (2017), No. 7, 1637–1661

DOI: 10.2140/apde.2017.10.1637

Abstract

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 several settings, including the one of Carnot groups. However, the target space has generally been assumed to be equal to $ℝ^{d}$ for some $d \geq 1$ .

We focus here on the extendability problem for general ordered pairs $(G_{1}, G_{2})$ (with $G_{2}$ nonabelian). We analyse in particular the case $G_{1} = ℝ$ and characterize the groups $G_{2}$ for which the Whitney extension property holds, in terms of a newly introduced notion that we call pliability. Pliability happens to be related to rigidity as defined by Bryant and Hsu. We exploit this relation in order to provide examples of nonpliable Carnot groups, that is, Carnot groups such that the Whitney extension property does not hold. We use geometric control theory results on the accessibility of control affine systems in order to test the pliability of a Carnot group. In particular, we recover some recent results by Le Donne, Speight and Zimmerman about Lusin approximation in Carnot groups of step 2 and Whitney extension in Heisenberg groups. We extend such results to all pliable Carnot groups, and we show that the latter may be of arbitrarily large step.

Keywords

Whitney extension theorem, Carnot group, rigid curve, horizontal curve

Mathematical Subject Classification 2010

Primary: 22E25, 41A05, 53C17, 54C20, 58C25

Milestones

Received: 19 December 2016

Accepted: 11 June 2017

Published: 1 August 2017

Authors

Nicolas Juillet
Institut de Recherche Mathématique Avancée, UMR 7501 Université de Strasbourg et CNRS 67000 Strasbourg France

Mario Sigalotti
Inria, Team GECO & CMAP, École Polytechnique, CNRS Université Paris-Saclay 91128 Palaiseau France

Vol. 10, No. 7, 2017