A simplified proof of the o-minimal Whitney Extension Theorem

Titel: Een vereenvoudigd bewijs van de o-minimale Whitney-extensiestelling

1. Het Probleem

Het artikel adresseert een fundamenteel probleem in de o-minimale meetkunde en analyse: het uitbreiden van een gedefinieerde "Whitney-veld" van een gesloten, gedefinieerde deelverzameling $E$ van $\mathbb{R}^n$ naar een globale functie op de hele ruimte $\mathbb{R}^n$.

• Context: De klassieke Whitney-extensiestelling stelt dat een verzameling van polynomen (een Whitney-veld) die voldoet aan bepaalde consistentievoorwaarden (de Whitney-voorwaarden) op een gesloten verzameling $E$, kan worden uitgebreid tot een $C^p$-functie op $\mathbb{R}^n$.
• O-minimale beperking: In de context van o-minimale structuren (uitbreidingen van het veld der reële getallen $\mathbb{R}$) is het cruciaal dat de resulterende extensiefunctie definable (definieerbaar) blijft binnen diezelfde structuur.
• Eerdere werk: Een dergelijke stelling was reeds bewezen in eerdere werken ([KP1], [KP2], [T]), maar de bewijzen waren complex en technisch zwaar.
• Doel: De auteurs presenteren een vereenvoudigd bewijs van deze stelling, waarbij ze een nieuwe, krachtige techniek introduceren om de complexiteit te reduceren.

2. Methodologie en Kerninstrumenten

De auteurs behouden de fundamentele structuur van eerdere bewijzen, maar introduceren een cruciaal nieuw hulpmiddel dat de technische last aanzienlijk verlicht.

• Stratificatie in $\Lambda^p$-reguliere cellen:
  Net als in eerdere werken maken de auteurs gebruik van stratificaties. Ze gebruiken Theorema 2.7 om de verzameling $E$ te decomponeren in een eindig aantal gedefinieerde, verbonden $C^p$-subvariëteiten (strata). Na een lineaire coördinatenverandering zijn deze strata $\Lambda^p$-reguliere cellen.

  • Een $\Lambda^p$-reguliere kaart is een $C^p$-kaart waarbij de afgeleiden van orde $k$ begrensd worden door een constante gedeeld door de afstand tot de rand van het domein tot de macht $k-1$.
  • Deze cellen hebben gunstige eigenschappen, zoals quasi-convexiteit en Lipschitz-gedrag, wat essentieel is voor extensieprocedures.

• Het Nieuwe Instrument: De Definieerbare $C^q$-Urysohn-Lemma (Sectie 3):
  Dit is de belangrijkste innovatie van dit artikel. In plaats van complexe constructies voor het "plakken" van functies gebruiken de auteurs een definable variant van het Urysohn-lemma voor $C^q$-functies (Theorema 3.2, eerder gepubliceerd in [K-CPV2]).

  • Functie: Het lemma stelt dat voor twee gesloten, gedefinieerde verzamelingen $Z$ en $W$ (waarbij $W$ disjunct is van $Z$), er een gedefinieerde $C^q$-functie $\omega$ bestaat die gelijk is aan 1 in de buurt van $W$ en 0 buiten een specifieke omgeving, met gecontroleerde afgeleiden.
  • Belang: Dit stelt de auteurs in staat om lokale extensies op te plakken met een "splitsingseenheid" (partition of unity) die zelf ook gedefinieerd en van hoge regulariteit is, zonder de complexiteit van eerdere methoden.

• Inductief Bewijs:
  Het bewijs verloopt door inductie op de dimensie van de verzameling $E$.

  1. Het geval van dimensie 0 (eindige verzameling) is triviaal.
  2. Voor hogere dimensies wordt $E$ opgesplitst in een gesloten deel $Z$ en een open $\Lambda^q$-reguliere cel $S$.
  3. Het probleem wordt gereduceerd tot het geval waarin het Whitney-veld "plat" (nul) is op $Z$ en alleen niet-nul is op de cel $S$.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1):
Gegeven een o-minimale uitbreiding van $\mathbb{R}$, een gedefinieerde gesloten verzameling $E \subset \mathbb{R}^n$, en positieve gehele getallen $p \leq q$. Als $F$ een gedefinieerde $C^p$-Whitney-veld is op $E$, dan bestaat er een gedefinieerde $C^p$-functie $f: \mathbb{R}^n \to \mathbb{R}$ zodanig dat:

1. $D^\alpha f = F^\alpha$ op $E$ voor alle multi-indices $\alpha$ met $|\alpha| \leq p$.
2. $f$ is van klasse $C^q$ op het complement $\mathbb{R}^n \setminus E$.

Technische bijdragen in de bewijsvoering:

• Propositie 5.1: Dit is de kern van de constructie. Het toont aan dat als een Whitney-veld plat is op de rand van een $\Lambda^q$-reguliere cel, het kan worden uitgebreid tot een $C^q$-functie op de hele ruimte, vermenigvuldigd met een geschikte afsnijfunctie $\omega$ (afgeleid van het Urysohn-lemma).
• Samenstelling van extensies: Door het gebruik van Lemma 6.1 en de inductieve stap, worden lokale extensies op de verschillende cellen van de stratificatie succesvol samengevoegd tot een globale oplossing.

4. Significantie en Impact

• Vereenvoudiging: De belangrijkste bijdrage is de vereenvoudiging van het bewijs. De introductie van het definieerbare $C^q$-Urysohn-lemma elimineert de noodzaak voor ingewikkelde, ad-hoc constructies die in eerdere bewijzen nodig waren om de regulariteit en definieerbaarheid te behouden bij het plakken van functies.
• Robuustheid: Het resultaat bevestigt dat de sterke regulariteitseigenschappen ($C^q$ op het complement) behouden blijven binnen de o-minimale context, wat essentieel is voor toepassingen in de modeltheorie en de meetkunde van reële gesloten velden.
• Generalisatie: De auteurs merken op dat de resultaten en het bewijs direct generaliseerbaar zijn naar elk reëel gesloten veld (niet alleen $\mathbb{R}$), wat de relevantie voor de algebraïsche meetkunde en modeltheorie vergroot.
• Toepassingsgebied: De stelling is een fundamenteel instrument voor het werken met gedefinieerde functies in o-minimale structuren, met name bij het analyseren van singulariteiten en het construeren van globale functies met specifieke lokale eigenschappen.

Conclusie:
Dit artikel levert een elegante en meer toegankelijke bewijsvoering voor een belangrijk resultaat in de o-minimale analyse. Door de kracht van het definieerbare $C^q$-Urysohn-lemma te benutten, maken de auteurs de theorie van Whitney-extensies in o-minimale structuren technischer hanteerbaar en conceptueel helderder, zonder in te leveren op de sterkte van de resultaten.