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

Titel der Arbeit

Zum Versagen der Łojasiewicz-Eigenschaft für glatte Ideale mit dichtem regulärem Ort
(On the Failure of the Łojasiewicz Property for Smooth Ideals with Dense Regular Loci)

1. Problemstellung und Motivation

Die Arbeit untersucht die Beziehung zwischen der geometrischen Struktur der Nullstellenmenge eines Ideals und der analytischen Eigenschaft der Łojasiewicz-Ungleichung im Kontext glatter Funktionen ($C^\infty$).

• Hintergrund: Ein klassisches Ergebnis von René Thom besagt, dass für ein endlich erzeugtes Łojasiewicz-Ideal $I$ in einem Ring glatter Funktionen $E(\Omega)$ die Nullstellenmenge $Z(I)$ eine offene, dichte Teilmenge regulärer (glatter) Punkte enthält.
• Die zentrale Frage: Gilt die Umkehrung? Führt die Existenz einer offenen, dichten Menge regulärer Punkte in $Z(I)$ dazu, dass das Ideal $I$ ein Łojasiewicz-Ideal ist?
• Kontext: Während dies in der reell-analytischen Geometrie aufgrund der starken Regularität analytischer Funktionen erwartet wird, ist die Situation in der Kategorie der glatten Funktionen ($C^\infty$) subtiler. Glatte Funktionen können Verhalten zeigen, das in der analytischen Kategorie unmöglich ist (z. B. "flache" Funktionen, die unendlich oft verschwinden).

Das Ziel der Arbeit ist es zu zeigen, dass diese Umkehrung im Allgemeinen falsch ist, und die zugrunde liegenden geometrischen Hindernisse zu identifizieren.

2. Methodik und Konstruktion

Die Autoren verwenden eine konstruktive Methode, die auf einem topologischen Gegenbeispiel basiert: dem Hawaiian Earring (Hawaiian-Ohrring).

• Das Objekt: Der Hawaiian Earring $H$ ist die Vereinigung unendlich vieler Kreise $C_n$ in $\mathbb{R}^2$, die sich im Ursprung $(0,0)$ berühren und dort häufen:
  $$C_n = \left\{ (x, y) \in \mathbb{R}^2 : \left(x - \frac{1}{n}\right)^2 + y^2 = \frac{1}{n^2} \right\}, \quad n \ge 1.$$
• Eigenschaften von $H$:
  • $H$ ist kompakt.
  • Der Ursprung ist ein singulärer Punkt, an dem unendlich viele Kreise zusammenlaufen.
  • $H$ ist an jedem Punkt außer dem Ursprung eine glatte 1-dimensionale Untermannigfaltigkeit. Somit ist der reguläre Ort von $H$ dicht in $H$.
  • $H$ ist nicht lokal kontrahierbar und nicht semianalytisch.
• Ansatz: Die Autoren konstruieren (unter Berufung auf den Erweiterungssatz von Whitney) glatte Funktionen $f \in C^\infty(\mathbb{R}^2)$, deren Nullstellenmenge exakt $H$ ist. Sie analysieren dann das Verhalten dieser Funktionen am Ursprung und prüfen, ob sie die Łojasiewicz-Ungleichung erfüllen können.

3. Hauptergebnisse

A. Unendliche Flachheit am Ursprung (Theorem 1 & 3)

Das erste Hauptresultat besagt, dass jede glatte Funktion $f$, deren Nullstellenmenge der Hawaiian Earring ist, am Ursprung unendlich flach (flat) sein muss.

• Aussage: Alle partiellen Ableitungen von $f$ an der Stelle $(0,0)$ verschwinden:
  $$\frac{\partial^{\alpha+\beta} f}{\partial x^\alpha \partial y^\beta}(0,0) = 0 \quad \forall \alpha, \beta \in \mathbb{N}.$$
• Beweisidee: Angenommen, die Taylor-Entwicklung von $f$ am Ursprung hätte einen ersten nichtverschwindenden homogenen Term $P_p$ vom Grad $p$. Dieser würde eine algebraische Kurve definieren. Da die Kreise $C_n$ den Ursprung mit Tangentenrichtungen anreichern, die dicht im Einheitskreis liegen, müsste $P_p$ auf einem offenen Bogen des Einheitskreises verschwinden. Ein nicht-trivialer homogener Polynom kann dies jedoch nicht tun. Daher muss $P_p \equiv 0$ sein, was zu einem Widerspruch führt, falls $p$ minimal gewählt wurde. Folglich existiert kein solcher Term.

B. Versagen der Łojasiewicz-Ungleichung (Theorem 4)

Aufgrund der unendlichen Flachheit kann keine solche Funktion die Łojasiewicz-Ungleichung erfüllen.

• Aussage: Für eine Funktion $f$ mit $Z(f) = H$ gibt es keine Konstanten $C > 0$ und $\theta > 0$, sodass in einer Umgebung des Ursprungs gilt:
  $$|f(x)| \ge C \cdot \text{dist}(x, H)^\theta.$$
• Begründung: Da $f$ flach ist, gilt für jedes $N \in \mathbb{N}$: $|f(x)| \le \|x\|^N$ in der Nähe von 0. Da der Abstand $\text{dist}(x, H)$ für Punkte nahe 0 asymptotisch wie $\|x\|$ skaliert (wegen der Dichte der Kreise), würde die Ungleichung $|f(x)| \ge C \|x\|^\theta$ erfordern, dass $f$ nicht schneller als eine Potenz verschwindet. Die unendliche Flachheit widerspricht dies jedoch für hinreichend großes $N$.
• Folgerung: Das von einer solchen Funktion erzeugte Ideal ist kein Łojasiewicz-Ideal, obwohl seine Nullstellenmenge fast überall glatt ist.

C. Ergebnisse im eindimensionalen Fall (Theorem 5 & 6)

Im Gegensatz zum zweidimensionalen Fall zeigen die Autoren für den eindimensionalen Fall ($\Omega \subset \mathbb{R}$) eine stärkere Regularität:

• Theorem 5: Wenn ein endlich erzeugtes Ideal in $C^\infty(\mathbb{R})$ die Łojasiewicz-Ungleichung erfüllt, dann sind alle seine Nullstellen von endlicher Ordnung (d.h., die Funktion ist nicht flach an diesen Stellen).
• Theorem 6: Ein endlich erzeugtes Ideal in $C^\infty(\mathbb{R})$ mit diskreter Nullstellenmenge ist ein Hauptideal (principal ideal).
• Korollar 2: In Dimension 1 ist jedes endlich erzeugte Łojasiewicz-Ideal abgeschlossen in der Fréchet-Topologie von $C^\infty(\Omega)$. Dies steht im Kontrast zu höheren Dimensionen, wo Łojasiewicz-Ideale nicht notwendigerweise abgeschlossen sind.

4. Signifikanz und wissenschaftlicher Beitrag

1. Trennung von Analytik und Glattheit: Die Arbeit demonstriert scharf den Unterschied zwischen reell-analytischen und glatten Singularitäten. Während in der analytischen Geometrie die Topologie der Nullstellenmenge oft starke analytische Konsequenzen hat, reicht die Topologie des regulären Ortes in der $C^\infty$-Kategorie nicht aus, um Łojasiewicz-Eigenschaften zu garantieren.
2. Geometrisches Hindernis: Das Papier identifiziert die Akkumulation unendlich vieler glatter Zweige mit degeneriertem Tangentialverhalten als echtes Hindernis für die Łojasiewicz-Eigenschaft. Die Geometrie des Hawaiian Earrings zwingt jede definierende Funktion zur unendlichen Flachheit.
3. Gegenbeispiel zur Umkehrung: Es liefert ein explizites, konstruiertes Gegenbeispiel zur Umkehrung des Satzes von Thom. Die Existenz eines dichten regulären Ortes ist also nicht hinreichend dafür, dass ein Ideal ein Łojasiewicz-Ideal ist.
4. Dimensionale Unterschiede: Die Arbeit hebt wichtige Unterschiede zwischen der Dimension 1 und höheren Dimensionen hervor. In Dimension 1 impliziert die Łojasiewicz-Eigenschaft diskrete Nullstellen und Hauptideale, während in Dimension 2 pathologische Mengen wie der Hawaiian Earring existieren können, die glatte Funktionen mit unendlicher Flachheit erzwingen.

Zusammenfassung

Das Papier widerlegt die Vermutung, dass die geometrische Regularität der Nullstellenmenge (dichter regulärer Ort) in der Kategorie der glatten Funktionen ausreicht, um die analytische Łojasiewicz-Ungleichung zu erzwingen. Durch die Analyse des Hawaiian Earrings wird gezeigt, dass topologische Pathologien (Akkumulation von Kreisen) zu unendlicher Flachheit führen, was die Łojasiewicz-Bedingung unmöglich macht. Dies unterstreicht die Notwendigkeit, bei der Untersuchung glatter Ideale über rein topologische Eigenschaften hinausgehende geometrische und analytische Kriterien zu berücksichtigen.