🔢 mathematics

On Teissier's example of an equisingularity class that cannot be defined over the rationals

Diese Arbeit korrigiert Teissiers Beispiel einer Oberflächensingularität, die aus einem reellen projektiven Polygonkonus abgeleitet wurde, und liefert einen vollständigen Beweis, der zeigt, dass diese Singularität nicht Whitney-äquisingular zu einer Singularität ist, die über dem Körper der rationalen Zahlen definiert ist.

Ursprüngliche Autoren: Adam Parusiński, Laurentiu Paunescu

Veröffentlicht 2026-02-03

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Adam Parusiński, Laurentiu Paunescu

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Ein kaputtes Puzzleteil

Stellen Sie sich vor, Sie haben eine komplexe 3D-Skulptur aus Glas (eine mathematische „Oberflächensingularität“). Mathematiker lieben es, diese Formen zu untersuchen, aber sie wollen auch wissen, ob diese Formen auch nur aus „rationalen“ Materialien gebaut werden können – das heißt, aus Zahlen, die man als einfache Brüche aufschreiben kann (wie 1/2, 3/4 oder 5).

Das Papier befasst sich mit einem speziellen Rätsel, das der Mathematiker Bernard Teissier aufgeworfen hat. Teissier behauptete, eine Skulptur gefunden zu haben, die, egal wie man versucht, sie umzugestalten oder zu glätten, nicht aus rationalen Zahlen gebaut werden kann. Sie benötigt „irrationale“ Zahlen (wie $\sqrt{2}$ oder $\pi$ ), um zu existieren.

Die Autoren dieses Papiers, Adam Parusiński und Laurențiu Păunescu, fanden jedoch zwei Probleme in Teisiers ursprünglicher Erzählung:

Der Bauplan war leicht falsch: Die spezifische Form, die Teissier verwendete, konnte tatsächlich mit rationalen Zahlen gebaut werden.
Der Beweis war wackelig: Die mathematische Regel, die Teissier verwendete, um seinen Punkt zu beweisen, war eigentlich falsch.

Dieses Papier korrigiert den Bauplan und liefert einen neuen, soliden Beweis, um zu zeigen, dass Teisiers Hauptidee richtig war, auch wenn sein ursprüngliches Beispiel fehlerhaft war.

Teil 1: Das „Linienanordnung“-Rätsel (Den Bauplan korrigieren)

Um die Form zu verstehen, beginnen die Autoren mit einer 2D-Zeichnung aus sich kreuzenden Linien, ähnlich einem Sternenstrahl oder einem Netz. Dies stammt aus einem berühmten Geometrieproblem von Grünbaum.

Der ursprüngliche Fehler: Teissier verwendete eine spezifische Anordnung von 9 Linien. Die Autoren stellten fest, dass man diese spezifische Anordnung, wenn man genau hinsieht, tatsächlich mit rationalen Zahlen zeichnen kann. Es ist, als würde man versuchen zu beweisen, dass ein Haus aus Holz gebaut ist, aber man hat versehentlich ein Haus aus Kunststoff ausgewählt.
Die Korrektur: Die Autoren fügten eine zusätzliche Linie zu der Zeichnung hinzu. Diese kleine Änderung bricht die Symmetrie der Form.
Das Ergebnis: Mit dieser neuen 10-Linien-Anordnung wird die Form „starr“. Es ist mathematisch unmöglich, diese Form so zu drehen oder zu verschieben, dass alle ihre Schnittpunkte auf rationalen Koordinaten liegen. Sie ist in einem Zustand gefangen, der irrationale Zahlen erfordert.

Analogie: Stellen Sie sich vor, Sie versuchen, 10 Stöcke auf einem Tisch so anzuordnen, dass sie sich an bestimmten Punkten kreuzen. Mit 9 Stöcken können Sie sie so anordnen, dass jeder Kreuzungspunkt ein „sauberer“ Bruch ist. Aber wenn Sie auf eine bestimmte Weise einen 10. Stock hinzufügen, erzwingt die Geometrie, dass mindestens einer der Kreuzungspunkte eine unordentliche, irrationale Zahl ist. Man kann diese spezifische Konfiguration einfach nicht mit „sauberer“ Mathematik bauen.

Teil 2: Das „Deformations“-Problem (Den Beweis korrigieren)

Teisiers ursprüngliches Argument stützte sich auf eine Regel darüber, wie sich diese Formen im Laufe der Zeit verändern. Er behauptete, wenn man eine Form langsam deformiert (wie Eis, das zu Wasser schmilzt), verhält sich der „Tangentialkegel“ (die Spitze oder der Kern der Form) auf eine vorhersehbare, glatte Weise.

Die kaputte Regel: Die Autoren weisen darauf hin, dass das mathematische Theorem, das Teissier für diese Behauptung verwendete, tatsächlich falsch ist. Es ist, als würde man eine Karte benutzen, die sagt: „Alle Brücken sind sicher“, während in Wirklichkeit einige Brücken einstürzen.
Der neue Beweis: Anstatt die kaputte Karte zu benutzen, bauten die Autoren einen neuen Pfad. Sie verwendeten ein Konzept namens „exzeptionelle Tangenten“.
- Was sind das? Stellen Sie sich eine scharfe Spitze auf einer Oberfläche vor. Normalerweise, wenn man sie mit einem flachen Blatt (einer Tangentialebene) berührt, berührt das Blatt sie auf eine vorhersehbare Weise. Aber an bestimmten „exzeptionellen“ Punkten kann das Blatt in seltsamen, unvorhersehbaren Richtungen berühren.
- Die Logik: Die Autoren bewiesen, dass für ihre spezifische 10-Linien-Form diese „exzeptionellen Tangenten“ nicht existieren. Weil sie nicht existieren, muss der Kern der Form exakt gleich bleiben, während sich die Form deformiert.
- Das Fazit: Da der Kern in einer spezifischen, irrationalen Konfiguration festgeschrieben ist, kann die gesamte Form nicht in eine Version deformiert werden, die aus rationalen Zahlen gebaut ist.

Teil 3: Das Gegenbeispiel (Warum die alte Regel scheiterte)

Um zu beweisen, dass Teisiers alte Regel gebrochen war, erschufen die Autoren ein „Monster“-Beispiel (Abschnitt 4).

Sie bauten eine Form, die keine exzeptionellen Tangenten hat (sie sieht sehr glatt und gutartig aus).
Dennoch, als sie versuchten, die Form zu deformieren, zerbrach die Form auf eine seltsame Weise.
Dies beweist, dass die alte Regel („Keine exzeptionellen Tangenten = Glatte Deformation“) falsch ist. Man kann eine Form mit keinen seltsamen Tangenten haben, die sich dennoch schlecht verhält, wenn man versucht, sie zu verändern.

Zusammenfassung

Das Ziel: Beweisen, dass einige komplexe Formen nicht mit einfachen rationalen Zahlen gebaut werden können.
Die Korrektur: Die ursprüngliche Form, die Teissier verwendete, war zu einfach (sie konnte rational gebaut werden). Die Autoren fügten eine Linie hinzu, um sie wahrhaft „irrational“ zu machen.
Der neue Beweis: Sie verworfen eine fehlerhafte mathematische Regel und ersetzten sie durch ein strenges Argument über „exzeptionelle Tangenten“ und wie Formen sich deformieren.
Die Kernaussage: Es gibt tatsächlich Oberflächensingularitäten, die „Whitney-equisingular“ (topologisch stabil) sind, aber nicht über den rationalen Zahlen definiert werden können. Teissier hatte recht bezüglich der Existenz solcher Formen, aber das Papier liefert den korrekten Bauplan und die korrekte mathematische Mechanik, um dies zu beweisen.

Kurz gesagt: Das Papier ist eine „Korrekturmeldung“, die ein fehlerhaftes Beispiel und einen fehlerhaften Beweis korrigiert und letztlich bestätigt, dass einige mathematische Formen fundamental zu komplex sind, um aus einfachen Brüchen konstruiert zu werden.

Technisches Resümee: Zu Teissiers Beispiel einer Äquisingularitätsklasse, die nicht über den rationalen Zahlen definiert werden kann

Problemstellung
Die Arbeit befasst sich mit einer spezifischen Frage der Singularitätentheorie bezüglich der Definierbarkeit von äquisingularen Familien über dem Körper der rationalen Zahlen ( $\mathbb{Q}$ ). Während etabliert ist, dass jede komplexe Singularität (in einem stärkeren Sinne als Whitney) äquisingular zu einer Singularität ist, die durch Polynomgleichungen mit Koeffizienten aus dem Körper der algebraischen Zahlen definiert ist, bleibt eine offene Frage, ob sich eine solche Singularität über eine topologisch äquisingulare Deformation in eine über $\mathbb{Q}$ definierte Singularität deformieren lässt.

Bernard Teissier schlug 1990 in einer Notiz [T90] ein Gegenbeispiel vor: eine Oberflächensingularität in $\mathbb{C}^3$ , die aus einem klassischen Beispiel der konvexen Geometrie (Grünbaums Anordnung von Linien) abgeleitet ist und nicht Whitney-äquisingular zu einer über $\mathbb{Q}$ definierten Singularität ist. Das ursprüngliche Beispiel enthielt jedoch zwei Mängel:

Die spezifische Linienanordnung, die aus Grünbaums Werk zitiert wurde, lässt sich tatsächlich durch eine Polynomgleichung mit rationalen Koeffizienten beschreiben, weshalb sie nicht als Gegenbeispiel dienen kann.
Der Beweis stützte sich auf einen Theorem von Lê und Teissier [LT1] bezüglich der Deformation einer Fläche zu ihrem Tangentialkegel, das falsch formuliert war.

Methodik
Die Autoren, Parusiński und Păunescu, verwenden algebraische Geometrie und Stratifikationstheorie, um das Beispiel zu korrigieren und einen rigorosen Beweis für Teissiers zugrunde liegendes Resultat zu liefern.

Korrektur des geometrischen Beispiels:
- Die Autoren untersuchen erneut Grünbaums Anordnungen von 9 Linien im reellen projektiven Raum. Sie zeigen, dass die ursprüngliche Anordnung $C'$ (und ihre äquikonfiguralen Varianten) aufgrund der Galois-Invarianz der Linienmenge tatsächlich über $\mathbb{Q}$ definiert werden kann.
- Um diese Symmetrie zu brechen, konstruieren sie eine neue Anordnung, bezeichnet als $C'$ , indem sie eine 10. Linie ($HE$) zur ursprünglichen Konfiguration hinzufügen.
- Unter Verwendung der Galoistheorie beweisen sie, dass das Produkt der linearen Formen, die diese neue 10-Linien-Anordnung definieren, nicht invariant unter der Galoisgruppe der durch die Koordinaten erzeugten Körpererweiterung ist. Folglich kann diese Anordnung nicht über $\mathbb{Q}$ definiert werden.
Korrektur des analytischen Beweises:
- Die Autoren identifizieren, dass der ursprüngliche Beweis in [T90] auf [LT1, Théorème (2.1.1)] beruhte, welches fälschlicherweise behauptete, dass eine Deformation zum Tangentialkegel äquisingular ist, wenn und nur wenn die Singularität keine „exzeptionellen Tangenten“ besitzt.
- Sie liefern ein Gegenbeispiel (Abschnitt 4), das eine Singularität ohne exzeptionelle Tangenten zeigt, deren Deformation zum Tangentialkegel jedoch nicht äquisingular ist (speziell spaltet sich der singuläre Ort topologisch auf).
- Anstatt sich auf das fehlerhafte Theorem zu verlassen, liefern die Autoren einen direkten Beweis unter Verwendung der Theorie der Whitney-Stratifikationen und Normalkegel. Sie analysieren die Familie der Oberflächensingularitäten $f(x, y)$ und ihren Tangentialkegel $C_{X,Y}$ .

Wesentliche Beiträge und Ergebnisse

Verfeinertes Gegenbeispiel (Proposition 2.2): Die Autoren beweisen, dass der Kegel über ihrer korrigierten 10-Linien-Anordnung ( $C'$ ) eine Oberflächensingularität $X_0$ in $\mathbb{C}^3$ ergibt, die nicht über $\mathbb{Q}$ definiert werden kann.
Haupttheorem (Theorem 3.5): Die Arbeit etabliert ein neues Resultat bezüglich der Äquisingularität des Normalkegels. Sie beweist, dass, falls eine Familie von Oberflächensingularitäten $(X_{reg}, \Sigma \setminus Y, Y)$ $(X_{r e g}, Σ ∖ Y, Y)$ eine Whitney-Stratifikation bildet, dann:
1. Die Fasern $X_y$ keine exzeptionellen Tangenten besitzen.
2. Der Normalkegel $C_{X,Y}$ die Whitney-Bedingungen erfüllt.
3. Der singuläre Ort des Normalkegels exakt der Normalkegel des singulären Ortes ist ( $C_{\Sigma, Y} = (C_{X,Y})_{sing}$ ).
4. Das Paar $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ eine Whitney-Stratifikation bildet.
Anwendung auf Teissiers Resultat: Durch Anwendung von Theorem 3.5 zeigen die Autoren, dass, falls die ursprüngliche Singularität $X_0$ (der Kegel über der korrigierten Anordnung) Whitney-äquisingular zu einer über $\mathbb{Q}$ definierten Singularität wäre, auch die Tangentialkegel der deformierten Familie äquisingular wären. Jedoch sind die Tangentialkegel der korrigierten Anordnung projektiv äquivalent zur Anordnung selbst, welche wiederum nicht über $\mathbb{Q}$ definiert werden kann. Dieser Widerspruch beweist, dass die ursprüngliche Singularität nicht Whitney-äquisingular zu einer über $\mathbb{Q}$ definierten Singularität ist.
Gegenbeispiel zu [LT1] (Abschnitt 4.1): Die Autoren konstruieren eine spezifische Singularität $f(x,y,z) = z(zx - y^2 + x^3)$ , um zu demonstrieren, dass das Fehlen exzeptioneller Tangenten unzureichend ist, um zu garantieren, dass die Deformation zum Tangentialkegel äquisingular ist. In diesem Beispiel spaltet sich der singuläre Ort von einer Kuspide zu einer doppelten Linie, was die topologische Trivialität verletzt.

Bedeutung
Die primäre Bedeutung der Arbeit liegt in der rigorosen Korrektur und Vervollständigung von Teissiers Resultat aus dem Jahr 1990. Sie liefert ein gültiges, explizites Beispiel einer komplexen Oberflächensingularität, die nicht mittels einer Whitney-äquisingularen Deformation in eine rationale Singularität deformiert werden kann. Darüber hinaus klärt sie die Beziehung zwischen exzeptionellen Tangenten und der Äquisingularität von Deformationen zum Normalkegel und korrigiert ein zuvor akzeptiertes, aber falsches Theorem auf diesem Gebiet. Die Arbeit stellt sicher, dass das theoretische Fundament zur Unterscheidung von Äquisingularitätsklassen basierend auf der Definierbarkeit über $\mathbb{Q}$ fundiert ist.

Das große Ganze: Ein kaputtes Puzzleteil

Teil 1: Das „Linienanordnung“-Rätsel (Den Bauplan korrigieren)

Teil 2: Das „Deformations“-Problem (Den Beweis korrigieren)

Teil 3: Das Gegenbeispiel (Warum die alte Regel scheiterte)

Zusammenfassung

Mehr davon