🔢 mathematics

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

Dit artikel corrigeert het voorbeeld van Teissier van een oppervlaktesingulariteit afgeleid van een reële projectieve polygoonkegel en levert een volledig bewijs dat aantoont dat deze singulariteit niet Whitney-equisingulair is aan enige singulariteit gedefinieerd over het lichaam van de rationale getallen.

Oorspronkelijke auteurs: Adam Parusiński, Laurentiu Paunescu

Gepubliceerd 2026-02-03

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Adam Parusiński, Laurentiu Paunescu

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grote Visie: Een Gebroken Puzzelstukje

Stel je voor dat je een complex 3D-sculptuur hebt gemaakt van glas (een wiskundige "oppervlaktesingulariteit"). Wiskundigen houden ervan om deze vormen te bestuderen, maar ze willen ook weten of deze vormen gebouwd kunnen worden met enkel "rationele" materialen—dat wil zeggen getallen die je als eenvoudige breuken kunt opschrijven (zoals 1/2, 3/4 of 5).

Dit artikel behandelt een specifieke puzzel voorgesteld door een wiskundige genaamd Bernard Teissier. Teissier beweerde dat hij een sculptuur had gevonden die, hoe je hem ook probeert te hervormen of glad te strijken, niet gebouwd kan worden met enkel rationale getallen. Het vereist "irrationele" getallen (zoals $\sqrt{2}$ of $\pi$ ) om te bestaan.

De auteurs van dit artikel, Adam Parusiński en Laurențiu Păunescu, ontdekten echter twee problemen met Teziers oorspronkelijke verhaal:

Het blauwdruk was lichtelijk fout: De specifieke vorm die Teissier gebruikte, kon eigenlijk wel gebouwd worden met rationale getallen.
Het bewijs was wankel: De wiskundige regel die Teissier gebruikte om zijn punt te bewijzen, was eigenlijk onjuist.

Dit artikel herstelt de blauwdruk en levert een nieuw, solide bewijs om aan te tonen dat de hoofdgedachte van Teissier juist was, ook al was zijn oorspronkelijke voorbeeld gebrekkig.

Deel 1: De "Lijnconfiguratie"-puzzel (Het herstellen van de Blauwdruk)

Om de vorm te begrijpen, beginnen de auteurs met een 2D-tekening bestaande uit snijende lijnen, vergelijkbaar met een sterrenexplosie of een web. Dit komt voort uit een beroemd geometrisch probleem van Grünbaum.

De Oorspronkelijke Fout: Teissier gebruikte een specifieke configuratie van 9 lijnen. De auteurs realiseerden zich dat als je goed kijkt, deze specifieke configuratie daadwerkelijk getekend kan worden met rationale getallen. Het is alsof je probeert te bewijzen dat een huis van hout is, maar je hebt per ongeluk een huis van plastic gekozen.
De Correctie: De auteurs voegden één extra lijn toe aan de tekening. Deze kleine verandering verbreekt de symmetrie van de vorm.
Het Resultaat: Met deze nieuwe 10-lijnen configuratie wordt de vorm "rigide". Het is wiskundig onmogelijk om deze vorm te roteren of te verschuiven zodat alle snijpunten op rationale coördinaten landen. De vorm zit vast in een staat die irrationale getallen vereist.

Analogie: Stel je voor dat je probeert 10 stokjes op een tafel te leggen zodat ze op specifieke punten kruisen. Met 9 stokjes kun je ze zo arrangeren dat elk snijpunt een "net" breukgetal is. Maar als je een 10e stokje op een specifieke manier toevoegt, dwingt de geometrie ten minste één snijpunt tot een rommelig, irrationeel getal. Je kunt die specifieke configuratie simpelweg niet bouwen met "nette" wiskunde.

Deel 2: Het "Deformatie"-probleem (Het herstellen van het Bewijs)

Teziers oorspronkelijke argument vertrouwde op een regel over hoe deze vormen veranderen in de loop van de tijd. Hij beweerde dat als je een vorm langzaam deformeert (zoals ijs dat smelt tot water), de "tangent kegel" (de scherpe punt of kern van de vorm) zich op een voorspelbare, vloeiende manier gedraagt.

De Gebroken Regel: De auteurs wijzen erop dat het wiskundige theorema dat Tezier gebruikte om deze claim te maken, eigenlijk onjuist is. Het is alsof je een kaart gebruikt die zegt "alle bruggen zijn veilig", terwijl in werkelijkheid sommige bruggen instorten.
Het Nieuwe Bewijs: In plaats van de gebroken kaart te gebruiken, hebben de auteurs een nieuw pad gebouwd. Ze gebruikten een concept genaamd "exceptionele tangenten".
- Wat zijn ze? Stel je een scherpe punt op een oppervlak voor. Normaal gesproken, als je er met een plat vlak (een raakvlak of tangentieel vlak) tegenaan raakt, raakt het vlak de vorm op een voorspelbare manier. Maar bij bepaalde "exceptionele" punten kan het vlak op vreemde, onvoorspelbare manieren raken.
- De Logica: De auteurs bewezen dat voor hun specifieke 10-lijnen configuratie, deze "exceptionele tangenten" niet bestaan. Omdat ze niet bestaan, moet de kern (de tangent kegel) van de vorm exact hetzelfde blijven terwijl de vorm deformeert.
- De Conclusie: Omdat de kern vastzit in een specifieke, irrationele configuratie, kan de hele vorm niet gedeformeerd worden naar een versie die gebouwd is met rationale getallen.

Deel 3: Het Tegenvoorbeeld (Waarom de Oude Regel Faalde)

Om te bewijzen dat de oude regel van Tezier gebroken was, creëerden de auteurs een "monster"-voorbeeld (Sectie 4).

Ze bouwden een vorm die geen exceptionele tangenten heeft (het ziet er zeer vloeiend en goed gedrag vertonend uit).
Echter, toen ze probeerden deze vorm te deformeren, viel de vorm toch op een vreemde manier uit elkaar.
Dit bewijst dat de oude regel ("Geen exceptionele tangenten = Vloeiende deformatie") onwaar is. Je kunt een vorm hebben zonder vreemde tangenten die toch slecht gedrag vertoont wanneer je probeert deze te veranderen.

Samenvatting

Het Doel: Bewijzen dat sommige complexe vormen niet gebouwd kunnen worden met eenvoudige rationale getallen.
De Correctie: De oorspronkelijke vorm die Tezier gebruikte was te simpel (het kon rationaal gebouwd worden). De auteurs voegden een lijn toe om het echt "irrationeel" te maken.
Het Nieuwe Bewijs: Zij lieten een gebrekkige wiskundige regel varen en vervingen deze door een rigoureus argument over "exceptionele tangenten" en hoe vormen deformeren.
De Kernboodschap: Er bestaan inderdaad oppervlaktesingulariteiten die "Whitney equisingulair" (topologisch stabiel) zijn, maar die niet gedefinieerd kunnen worden over de rationale getallen. Tezier had gelijk over het bestaan van dergelijke vormen, maar het artikel levert de juiste blauwdruk en de juiste wiskundige machinerie om het te bewijzen.

Kortom: Het artikel is een "correctiebericht" dat een gebrekkig voorbeeld en een gebrekkig bewijs herstelt, en uiteindelijk bevestigt dat sommige wiskundige vormen fundamenteel te complex zijn om geconstrueerd te worden uit eenvoudige breuken.

Technische Samenvatting: Over Teissiers voorbeeld van een equisingulariteitsklasse die niet over de rationale getallen gedefinieerd kan worden

Probleemstelling
Het artikel behandelt een specifieke vraag in de singulariteitentheorie met betrekking tot de definieerbaarheid van equisingulaire families over het lichaam van de rationale getallen ( $\mathbb{Q}$ ). Hoewel het vaststaat dat elke complexe singulariteit equisingulair is (in een zin die sterker is dan die van Whitney) aan een singulariteit die gedefinieerd wordt door polynoomvergelijkingen met coëfficiënten in het lichaam van de algebraische getallen, blijft het een open probleem of een dergelijke singulariteit via een topologisch equisingulaire deformatie kan worden gedeformeerd naar een singulariteit die gedefinieerd is over $\mathbb{Q}$ .

Bernard Teissier stelde in een nota uit 1990 [T90] een tegenvoorbeeld voor: een oppervlaktesingulariteit in $\mathbb{C}^3$ afgeleid van een klassiek voorbeeld uit de convexe geometrie (Grünbaums lijnconfiguratie), die niet Whitney-equisingulair is aan enige singulariteit die over $\mathbb{Q}$ gedefinieerd is. Echter, het oorspronkelijke voorbeeld bevatte twee gebreken:

De specifieke lijnconfiguratie geciteerd uit Grünbaums werk is in feite definieerbaar door een polynoomvergelijking met rationale coëfficiënten, waardoor het niet als tegenvoorbeeld kan dienen.
Het bewijs steunde op een stelling van Lê en Teissier [LT1] betreffende de deformatie van een oppervlak naar zijn tangent kegel, die onjuist werd geformuleerd.

Methodologie
De auteurs, Parusiński en Păunescu, maken gebruik van algebraïsche meetkunde en stratificatietheorie om het voorbeeld te corrigeren en een rigoureus bewijs van Teissiers onderliggende resultaat te leveren.

Correctie van het geometrische voorbeeld:
- De auteurs herzien de configuraties van Grünbaum van 9 lijnen in de reële projectieve ruimte. Zij tonen aan dat de oorspronkelijke configuratie $C'$ (en haar equiconfiguratie varianten) inderdaad gedefinieerd kan worden over $\mathbb{Q}$ vanwege de Galois-invariantie van de lijnverzameling.
- Om deze symmetrie te breken, construeren zij een nieuwe configuratie, aangeduid als $C'$ , door een 10e lijn ($HE$) toe te voegen aan de oorspronkelijke configuratie.
- Met behulp van Galois-theorie bewijzen zij dat het product van de lineaire vormen die deze nieuwe 10-lijnen configuratie definiëren, niet invariant is onder de Galois-groep van de veldlengte die gegenereerd wordt door de coördinaten. Bijgevolg kan deze configuratie niet gedefinieerd worden over $\mathbb{Q}$ .
Correctie van het analytische bewijs:
- De auteurs identificeren dat het oorspronkelijke bewijs in [T90] steunde op [LT1, Théorème (2.1.1)], die onjuist beweerde dat een deformatie naar de tangent kegel equisingulair is dan en slechts dan als de singulariteit geen "exceptionele tangenten" heeft.
- Zij leveren een tegenvoorbeeld (Sectie 4) van een singulariteit zonder exceptionele tangenten waarvan de deformatie naar de tangent kegel niet equisingulair is (specifiek: de singuliere locus splitst topologisch).
- In plaats van te vertrouwen op de gebrekkige stelling, leveren de auteurs een direct bewijs met behulp van de theorie van Whitney-stratificaties en normale kegels. Zij analyseren de familie van oppervlaktesingulariteiten $f(x, y)$ en hun tangent kegel $C_{X,Y}$ .

Belangrijkste bijdragen en resultaten

Verfijnd tegenvoorbeeld (Propositie 2.2): De auteurs bewijzen dat de kegel over hun gecorrigeerde 10-lijnen configuratie ( $C'$ ) een oppervlaktesingulariteit $X_0$ in $\mathbb{C}^3$ oplevert die niet gedefinieerd kan worden over $\mathbb{Q}$ .
Hoofdresultaat (Stelling 3.5): Het artikel vestigt een nieuw resultaat met betrekking tot de equisingulariteit van de normale kegel. Het bewijst dat als een familie van oppervlaktesingulariteiten $(X_{reg}, \Sigma \setminus Y, Y)$ $(X_{r e g}, Σ ∖ Y, Y)$ een Whitney-stratificatie vormt, dan:
1. De vezels $X_y$ geen exceptionele tangenten hebben.
2. De normale kegel $C_{X,Y}$ aan de Whitney-voorwaarden voldoet.
3. De singuliere locus van de normale kegel exact de normale kegel van de singuliere locus is ( $C_{\Sigma, Y} = (C_{X,Y})_{sing}$ ).
4. Het paar $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ een Whitney-stratificatie vormt.
Toepassing op Teissiers resultaat: Door Stelling 3.5 toe te passen, tonen de auteurs aan dat als de oorspronkelijke singulariteit $X_0$ (de kegel over de gecorrigeerde configuratie) Whitney-equisingulair zou zijn aan een singulariteit gedefinieerd over $\mathbb{Q}$ , dan de tangent kegels van de gedeformeerde familie ook equisingulair zouden zijn. Echter, de tangent kegels van de gecorrigeerde configuratie zijn projectief equivalent aan de configuratie zelf, welke niet gedefinieerd kan worden over $\mathbb{Q}$ . Deze contradictie bewijst dat de oorspronkelijke singulariteit niet Whitney-equisingulair is aan enige singulariteit die gedefinieerd is over $\mathbb{Q}$ .
Tegenvoorbeeld voor [LT1] (Sectie 4.1): De auteurs construeren een specifieke singulariteit $f(x,y,z) = z(zx - y^2 + x^3)$ om aan te tonen dat de afwezigheid van exceptionele tangenten onvoldoende is om te garanderen dat de deformatie naar de tangent kegel equisingulair is. In dit voorbeeld splitst de singuliere locus van een cusp naar een dubbele lijn, wat de topologische trivialiteit schendt.

Betekenis
De primaire betekenis van dit artikel ligt in de rigoureuze correctie en voltooiing van Teissiers resultaat uit 1990. Het biedt een geldig, expliciet voorbeeld van een complexe oppervlaktesingulariteit die niet kan worden gedeformeerd naar een rationale singulariteit via een Whitney-equisingulaire deformatie. Bovendien verheldert het de relatie tussen exceptionele tangenten en de equisingulariteit van deformaties naar de normale kegel, waarmee een eerder geaccepteerde maar onjuiste stelling in het vakgebied wordt gecorrigeerd. Het werk waarborgt dat het theoretische fundament voor het onderscheiden van equisingulariteitsklassen op basis van definieerbaarheid over $\mathbb{Q}$ solide is.