A simplified proof of the o-minimal Whitney Extension Theorem

1. Problématique

L'article s'attaque au problème de l'extension de Whitney dans le cadre de la géométrie o-minimale. Le théorème classique de Whitney (1934) stipule qu'étant donné un champ de Whitney $C^p$ défini sur un fermé $E \subset \mathbb{R}^n$, il existe une fonction $C^p$ globale sur $\mathbb{R}^n$ dont les dérivées jusqu'à l'ordre $p$ coïncident avec ce champ sur $E$.

Dans le contexte o-minimal (une extension du corps des réels $\mathbb{R}$ où toute partie définissable admet une décomposition cellulaire finie), la question est de savoir si l'on peut obtenir une telle extension qui soit elle-même définissable (c'est-à-dire appartenant à la structure o-minimale considérée) et de classe $C^q$ (avec $p \le q$) sur le complémentaire de $E$.

Bien que ce résultat ait déjà été établi dans des travaux antérieurs ([KP1], [KP2], [T]), les preuves existantes étaient complexes. L'objectif de cet article est de fournir une preuve simplifiée de ce théorème.

Théorème 1.1 (Énoncé principal) :
Soit $E$ un sous-ensemble fermé et définissable de $\mathbb{R}^n$. Soit $F(x, X)$ un champ de Whitney $C^p$ définissable sur $E$. Alors, il existe une fonction définissable $f : \mathbb{R}^n \to \mathbb{R}$ de classe $C^p$ sur $\mathbb{R}^n$ et de classe $C^q$ sur $\mathbb{R}^n \setminus E$, telle que $D^\alpha f = F^\alpha$ sur $E$ pour tout multi-indice $|\alpha| \le p$.

2. Méthodologie

La preuve repose sur une approche inductive basée sur la dimension de l'ensemble $E$ et utilise des outils spécifiques à la géométrie o-minimale :

• Stratification en cellules $\Lambda^p$-régulières :
  L'outil central est la décomposition de l'ensemble $E$ en une stratification finie de sous-variétés appelées cellules $\Lambda^p$-régulières. Une application est dite $\Lambda^p$-régulière si elle est de classe $C^p$ et si ses dérivées d'ordre supérieur sont contrôlées par la distance au bord du domaine ($|D^\alpha f(x)| \le C / d(x, \partial \Omega)^{|\alpha|-1}$).
  Le théorème 2.7 garantit que tout ensemble définissable peut être stratifié en de telles cellules (après un changement de coordonnées orthogonal).

• Réduction au cas générique :
  Grâce à l'hypothèse de récurrence sur la dimension et au lemme de recollement (Lemme 6.1), le problème est réduit au cas où l'ensemble $E$ est la réunion d'un fermé $Z$ et d'une cellule $\Lambda^q$-régulière ouverte $S$, où le champ de Whitney est "plat" (nul) sur $Z$.

• Extension locale sur une cellule :
  La proposition 5.1 traite le cas où le champ est non nul uniquement sur une cellule $\Lambda^q$-régulière. L'approche consiste à :

  1. Utiliser un automorphisme $\Lambda^q$-régulier pour "redresser" la cellule (la transformer en un sous-espace affine).
  2. Construire une extension locale polynomiale.
  3. Utiliser une fonction de troncature (cut-off function) pour coller cette extension locale au reste de l'espace tout en préservant la régularité et la définissabilité.

• Le nouvel ingrédient : Lemme d'Urysohn définissable $C^q$ :
  La simplification majeure par rapport aux preuves précédentes réside dans l'utilisation d'une variante définissable du lemme d'Urysohn pour les fonctions de classe $C^q$ (Théorème 3.2, issu de [K-CPV2]). Ce lemme permet de construire une fonction définissable $\omega$ qui vaut 1 près de l'ensemble à étendre et 0 loin de celui-ci, tout en contrôlant précisément les dérivées de $\omega$ par rapport à la distance au bord. Cela évite des constructions techniques lourdes utilisées auparavant.

3. Contributions Clés

1. Simplification de la preuve : L'article élimine la complexité technique des preuves antérieures en remplaçant des arguments d'approximation lourds par l'utilisation directe du lemme d'Urysohn $C^q$ définissable.
2. Intégration du lemme d'Urysohn $C^q$ : L'application du Théorème 3.2 (existence de fonctions de partition de l'unité définissables avec contrôle des dérivées) est présentée comme l'élément clé permettant de gérer la régularité $C^q$ sur le complémentaire de $E$.
3. Généralité : La preuve est conçue pour fonctionner dans n'importe quelle extension o-minimale de $\mathbb{R}$ et peut être adaptée à tout corps réel clos.

4. Résultats Principaux

• Théorème 1.1 (Théorème d'extension de Whitney o-minimal) : Établi avec une preuve plus concise. Il garantit l'existence d'une extension définissable $C^p$ globale, qui est $C^q$ en dehors de l'ensemble de définition initial.
• Proposition 5.1 : Démontre l'extension d'un champ de Whitney plat sauf sur une cellule $\Lambda^q$-régulière, en utilisant la transformation de coordonnées et la fonction de troncature $\omega$.
• Remarque 7 : Les résultats s'étendent aux ensembles localement fermés (fermés dans un ouvert définissable) et sont valables pour tout corps réel clos, pas seulement $\mathbb{R}$.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Accessibilité : En simplifiant la preuve du théorème d'extension de Whitney o-minimal, les auteurs rendent ce résultat fondamental plus accessible aux chercheurs travaillant en géométrie o-minimale, en analyse réelle et en théorie des modèles.
• Outils Unifiés : L'usage du lemme d'Urysohn $C^q$ définissable montre la puissance de cet outil pour résoudre des problèmes d'extension et de régularité dans des contextes définissables, offrant une alternative élégante aux méthodes de stratification purement géométriques complexes.
• Applications Potentielles : Ce théorème est un pilier pour l'analyse sur les ensembles définissables, permettant de construire des fonctions globales à partir de données locales tout en respectant les contraintes de la structure o-minimale (définissabilité). Cela a des implications pour l'étude des singularités, l'optimisation et la géométrie semi-algébrique ou sous-analytique.

En résumé, Kocel-Cynk, Pawłucki et Valette réussissent à démontrer un théorème classique de l'analyse o-minimale avec une élégance accrue, en mettant en avant l'efficacité des fonctions de partition de l'unité définissables de haute régularité.