Pliability, or the whitney extension theorem for curves in carnot groups

TL;DR

This paper extends the Whitney extension theorem to curves in Carnot groups, introducing the concept of pliability to characterize when extension is possible, and explores the relation to rigidity and control theory.

Contribution

It introduces the notion of pliability for Carnot groups and characterizes groups where Whitney extension holds, extending previous results to higher step groups.

Findings

Pliability determines Whitney extension property in Carnot groups.

Non-pliable groups lack the Whitney extension property.

Results apply to all pliable Carnot groups, regardless of step size.

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, among which the one of Carnot groups. However, the target space has generally been assumed to be equal to R^d for some d $\ge$ 1. We focus here on the extendability problem for general ordered pairs (G\_1,G\_2) (with G\_2 non-Abelian). We analyze in particular the case G\_1 = R 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 an Hsu. We exploit this relation in order to provide examples of non-pliable Carnot groups, that is, Carnot groups so 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 Zimmermann 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.