On Łojasiewicz Ideals and Flatness for Zero Sets with Infinite Tangential Geometry

Titel

Over het falen van de Łojasiewicz-eigenschap voor gladde idealen met een dichte reguliere locus.

1. Probleemstelling en Context

Het artikel onderzoekt de relatie tussen de geometriske structuur van de nulpuntenverzameling ($Z(I)$) van een ideaal $I$ en de analytische eigenschappen van dat ideaal in de ring van oneindig differentieerbare functies $E(\Omega)$ (waarbij $\Omega \subset \mathbb{R}^n$).

• Achtergrond: Een klassiek resultaat van René Thom stelt dat als $I$ een Łojasiewicz-ideaal is, de nulpuntenverzameling $Z(I)$ een open, dichte verzameling van reguliere (gladde) punten moet bevatten. Een Łojasiewicz-ideaal is gedefinieerd als een eindig gegenereerd ideaal dat een functie bevat die voldoet aan de Łojasiewicz-ongelijkheid: $|g(x)| \geq C \cdot \text{dist}(x, Z(I))^\nu$.
• De Vraag: Geldt het omgekeerde? Impliceert het bestaan van een open, dichte verzameling van reguliere punten in $Z(I)$ dat $I$ noodzakelijkerwijs een Łojasiewicz-ideaal is?
• Het Doel: De auteur toont aan dat deze implicatie niet geldt in de categorie van gladde functies ($C^\infty$), in tegenstelling tot wat vaak het geval is in de analytische geometrie. Het artikel identificeert een specifieke, singuliere obstructie die dit falen veroorzaakt.

2. Methodologie

De auteur hanteert een combinatie van meetkundige analyse, Taylor-ontwikkelingen en topologische constructies om het probleem aan te pakken.

• De Constructie (Hawaiiaanse Oorring): Als tegenvoorbeeld wordt de "Hawaiiaanse oorring" ($H$) gebruikt. Dit is de vereniging van oneindig veel cirkels $C_n$ met straal $1/n$ en middelpunt $(1/n, 0)$, die allemaal raak aan de oorsprong $(0,0)$.
  • $H$ is glad op alle punten behalve de oorsprong.
  • De verzameling van reguliere punten is dus dicht in $H$.
• Analyse van Gladde Functies: Er wordt onderzocht wat er gebeurt met een gladde functie $f$ waarvan de nulpuntenverzameling exact $H$ is.
• Taylor-expansie en Vlakheid: De kern van de methode is het analyseren van de Taylor-ontwikkeling van $f$ rond de oorsprong. Als $f$ niet "vlak" is (d.w.z. als er een niet-nul term in de Taylor-reeks bestaat), zou dit een algebraïsche kromme van eindige orde definiëren. De auteur toont aan dat zo'n kromme niet in staat is om de oneindige hoeveelheid raaklijnen en krommingen van de Hawaiiaanse oorring te bevatten.
• Contradictiebewijzen: Er wordt gebruikgemaakt van contradictiebewijzen om aan te tonen dat de aanwezigheid van oneindig veel raaklijnen de functie dwingt om oneindig veel orde te verdwijnen (vlak te zijn) in de oorsprong.

3. Belangrijkste Resultaten

Stelling 1 & 3: Vlakheid bij de Oorsprong

Elke gladde functie $f \in C^\infty(\mathbb{R}^2)$ waarvan de nulpuntenverzameling de Hawaiiaanse oorring is, moet vlak zijn in de oorsprong.

• Dit betekent dat alle partiële afgeleiden van elke orde in $(0,0)$ gelijk zijn aan nul:
  $$\frac{\partial^{\alpha+\beta}f}{\partial x^\alpha \partial y^\beta}(0,0) = 0 \quad \forall \alpha, \beta \in \mathbb{N}$$
• Redenering: Als er een niet-nul homogeen polynoom $P_p$ van graad $p$ in de Taylor-ontwikkeling zou bestaan, zou dit polynoom moeten verdwijnen op een open boog van de eenheidscirkel (vanwege de oneindige raaklijnen van de cirkels $C_n$). Een niet-nul homogeen polynoom kan echter niet verdwijnen op een open boog, wat een contradictie oplevert.

Stelling 4: Falen van de Łojasiewicz-ongelijkheid

De door zo'n functie $f$ gegenereerde ideaal is geen Łojasiewicz-ideaal.

• Hoewel $Z(f)$ een dichte verzameling van reguliere punten heeft, voldoet $f$ niet aan de Łojasiewicz-ongelijkheid: er bestaan geen constanten $C > 0$ en $\theta > 0$ zodat $|f(x)| \geq C \cdot \text{dist}(x, H)^\theta$ in een omgeving van de oorsprong.
• Redenering: Omdat $f$ vlak is, kan $|f(x)|$ willekeurig snel naar nul gaan (sneller dan elke macht van $\|x\|$). Omdat de afstand tot de Hawaiiaanse oorring echter lineair schaalbaar is met $\|x\|$ (d.w.z. $\text{dist}(x, H) \sim \|x\|$), kan de ongelijkheid niet worden voldaan voor een vaste exponent $\theta$.

Stelling 5 & 6: Eendimensionaal Geval

In tegenstelling tot het tweedimensionale geval, geldt er in dimensie één ($\Omega \subset \mathbb{R}$) een sterkere relatie:

• Als een gladde functie $f$ voldoet aan de Łojasiewicz-ongelijkheid, dan moeten al haar nulpunten van eindige orde zijn (ze mogen niet vlak zijn).
• Dit impliceert dat in dimensie één, een eindig gegenereerd ideaal met een discrete nulpuntenverzameling altijd een hoofdideaal is (gegenereerd door één element) en gesloten is in de Frechet-topologie.

4. Technische Bijdragen

1. Identificatie van een Obstructie: Het artikel identificeert de accumulatie van oneindig veel gladde takken met degenererend raakgedrag als een fundamentele obstructie voor de Łojasiewicz-eigenschap in de gladde categorie.
2. Scheiding Analytisch vs. Glad: Het benadrukt een scherp onderscheid tussen analytische en gladde singulariteiten. In de analytische categorie zou een dergelijke verzameling niet als nulpuntenverzameling kunnen optreden (omdat analytische functies niet vlak kunnen zijn zonder identiek nul te zijn), maar in de gladde categorie is dit mogelijk, wat leidt tot pathologisch gedrag.
3. Tegenvoorbeeld voor de Converse: Het levert een expliciet, constructief tegenvoorbeeld dat de converse van Thom's stelling weerlegt in de $C^\infty$-context.

5. Betekenis en Conclusie

De resultaten van dit artikel tonen aan dat de topologie van de reguliere locus (de aanwezigheid van een dichte verzameling van gladde punten) niet voldoende is om de Łojasiewicz-eigenschap te garanderen in de categorie van gladde functies.

• Geometrische Interpretatie: De "topologische" regulariteit (dicht bij elkaar liggende gladde punten) kan worden ondermijnd door "geometrische" pathologie op de singulariteit (de accumulatie van raaklijnen), wat leidt tot oneindige vlakheid.
• Implicaties: Dit heeft gevolgen voor de theorie van stratificaties, de resolutie van singulariteiten en de analyse van subanalytische sets in de gladde context. Het waarschuwt dat intuïties die gelden voor analytische functies of in lagere dimensies, niet zomaar kunnen worden overgedragen naar gladde functies in hogere dimensies.

Kortom, de Hawaiiaanse oorring fungeert als een "genuanceerd" voorbeeld waarbij de nulpuntenverzameling eruitziet alsof hij goed gedragen is (dicht regulier), maar de onderliggende functie zo degeneraat is dat de cruciale Łojasiewicz-ongelijkheid faalt.