🔢 mathematics

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

Cet article corrige l'exemple de Teissier d'une singularité de surface dérivée d'un cône de polygone projectif réel et fournit une preuve complète démontrant que cette singularité n'est pas Whitney équisingulière à toute singularité définie sur le corps des nombres rationnels.

Auteurs originaux : Adam Parusiński, Laurentiu Paunescu

Publié 2026-02-03

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Adam Parusiński, Laurentiu Paunescu

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

La vue d'ensemble : Une pièce de puzzle cassée

Imaginez que vous avez une sculpture 3D complexe faite de verre (une « singularité de surface » mathématique). Les mathématiciens adorent étudier ces formes, mais ils veulent aussi savoir si ces formes peuvent être construites en utilisant uniquement des matériaux « rationnels » — c'est-à-dire des nombres que l'on peut écrire sous forme de fractions simples (comme 1/2, 3/4 ou 5).

L'article traite d'un casse-tête spécifique proposé par un mathématicien nommé Bernard Teissier. Teissier affirmait avoir trouvé une sculpture qui, peu importe la façon dont vous essayez de la remodeler ou de l'adoucir, ne peut pas être construite en utilisant uniquement des nombres rationnels. Elle nécessite des nombres « irrationnels » (comme $\sqrt{2}$ ou $\pi$ ) pour exister.

Cependant, les auteurs de cet article, Adam Parusiński et Laurențiu Păunescu, ont trouvé deux problèmes dans l'histoire originale de Teissier :

Le plan était légèrement erroné : La forme spécifique utilisée par Teissier pouvait en réalité être construite avec des nombres rationnels.
La preuve était fragile : La règle mathématique que Teissier a utilisée pour prouver son point était en fait incorrecte.

Cet article corrige le plan et fournit une nouvelle preuve solide pour montrer que l'idée principale de Teissier était juste, même si son exemple original était défectueux.

Partie 1 : Le casse-tête de l'« arrangement de droites » (Correction du plan)

Pour comprendre la forme, les auteurs partent d'un dessin en 2D composé de droites qui s'entrecroisent, semblable à une explosion d'étoile ou à une toile. Cela provient d'un problème de géométrie célèbre de Grünbaum.

L'erreur originale : Teissier a utilisé un arrangement spécifique de 9 droites. Les auteurs ont réalisé qu'en regardant de plus près, cet arrangement spécifique peut en fait être dessiné avec des nombres rationnels. C'est comme essayer de prouver qu'une maison est faite de bois, mais que vous avez accidentellement choisi une maison faite de plastique.
La correction : Les auteurs ont ajouté une ligne supplémentaire au dessin. Ce petit changement brise la symétrie de la forme.
Le résultat : Avec ce nouvel arrangement de 10 droites, la forme devient « rigide ». Il est mathématiquement impossible de faire pivoter ou de déplacer cette forme de manière à ce que tous ses points d'intersection retombent sur des coordonnées rationnelles. Elle est bloquée dans un état qui nécessite des nombres irrationnels.

Analogie : Imaginez que vous essayez de disposer 10 bâtons sur une table de manière à ce qu'ils se croisent en des points spécifiques. Avec 9 bâtons, vous pouvez les disposer de sorte que chaque croisement soit une fraction « propre ». Mais si vous ajoutez un 10e bâton d'une certaine manière, la géométrie force au moins un point de croisement à devenir un nombre irrationnel et « sale ». Vous ne pouvez tout simplement pas construire cette configuration spécifique avec des mathématiques « propres ».

Partie 2 : Le problème de la « déformation » (Correction de la preuve)

L'argument original de Teissier reposait sur une règle concernant la façon dont ces formes changent au fil du temps. Il affirmait que si l'on déforme lentement une forme (comme la glace qui fond pour devenir de l'eau), le « cône tangent » (le point aigu ou le cœur de la forme) se comporte de manière prévisible et fluide.

La règle brisée : Les auteurs soulignent que le théorème mathématique que Teyssier a utilisé pour faire cette affirmation est en fait faux. C'est comme utiliser une carte qui dit « tous les ponts sont sûrs », alors qu'en réalité, certains ponts s'effondrent.
La nouvelle preuve : Au lieu d'utiliser la carte défectueuse, les auteurs ont construit un nouveau chemin. Ils ont utilisé un concept appelé « tangentes exceptionnelles ».
- Que sont-elles ? Imaginez un point aigu sur une surface. Habitéralement, si vous touchez ce point avec une feuille plate (un plan tangent), la feuille le touche de manière prévisible. Mais à certains points « exceptionnels », la feuille peut toucher de manières étranges et imprévisibles.
- La logique : Les auteurs ont prouvé que pour leur arrangement de 10 droites, ces « tangentes exceptionnelles » n'existent pas. Parce qu'elles n'existent pas, le cœur de la forme (le cône tangent) doit rester exactement le même pendant que la forme se déforme.
- La conclusion : Puisque le cœur est verrouillé dans une configuration irrationnelle spécifique, l'ensemble de la forme ne peut pas être déformé en une version construite avec des nombres rationnels.

Partie 3 : Le contre-exemple (Pourquoi l'ancienne règle a échoué)

Pour prouver que l'ancienne règle de Teissier était brisée, les auteurs ont créé un exemple « monstre » (Section 4).

Ils ont construit une forme qui n'a aucune tangente exceptionnelle (elle semble très lisse et bien comportementée).
Cependant, lorsqu'ils ont essayé de la déformer, la forme s'est quand même brisée de manière étrange.
Cela prouve que l'ancienne règle (« Pas de tangentes exceptionnelles = Déformation fluide ») est fausse. On peut avoir une forme sans tangentes bizarres qui se comporte tout de même mal lorsqu'on essaie de la modifier.

Résumé

Le but : Prouver que certaines formes complexes ne peuvent pas être construites avec de simples nombres rationnels.
La correction : La forme originale utilisée par Teissier était trop simple (elle pouvait être construite rationnellement). Les auteurs ont ajouté une ligne pour la rendre véritablement « irrationnelle ».
La nouvelle preuve : Ils ont écarté une règle mathématique défectueuse et l'ont remplacée par un argument rigoureux sur les « tangentes exceptionnelles » et la façon dont les formes se déforment.
L'enseignement : Il existe effectivement des singularités de surface qui sont « Whitney équisingulaires » (topologiquement stables) mais qui ne peuvent pas être définies sur les rationnels. Teissier avait raison sur l'existence de telles formes, mais l'article fournit le plan correct et la machinerie mathématique adéquate pour le prouver.

En bref : l'article est un « avis de correction » qui répare un exemple et une preuve défectueux, confirmant finalement que certaines formes mathématiques sont fondamentalement trop complexes pour être construites à partir de simples fractions.

Résumé Technique : Sur l'exemple de Teissier d'une classe d'équisingularité qui ne peut être définie sur les rationnels

Énoncé du problème
L'article traite d'une question spécifique de la théorie des singularités concernant la définissabilité des familles équisingulaires sur le corps des nombres rationnels ( $\mathbb{Q}$ ). S'il est établi que toute singularité complexe est équisingulaire (au sens, plus fort, de Whitney) à une singularité définie par des équations polynomiales à coefficients dans le corps des nombres algébriques, il reste un problème ouvert de savoir si une telle singularité peut être déformée en une singularité définie sur $\mathbb{Q}$ via une déformation topologiquement équisingulaire.

Bernard Teissier, dans une note de 1990 [T90], a proposé un contre-exemple : une singularité de surface dans $\mathbb{C}^3$ dérivée d'un exemple classique de géométrie convexe (l'arrangement de droites de Grünbaum) qui n'est pas Whitney-équisingulaire à toute singularité définie sur $\mathbb{Q}$ . Cependant, l'exemple original contenait deux erreurs :

L'arrangement de droites spécifique cité des travaux de Grünbaum est en fait susceptible d'admettre une équation polynomiale à coefficients rationnels, échouant ainsi à servir de contre-exemple.
La preuve reposait sur un théorème de Lê et Teissier [LT1] concernant la déformation d'une surface vers son cône tangent, lequel était énoncé de manière incorrecte.

Méthodologie
Les auteurs, Parusiński et Păunescu, emploient la géométrie algébrique et la théorie des stratifications pour corriger l'exemple et fournir une preuve rigoureuse du résultat sous-jacent de Teissier.

Correction de l'exemple géométrique :
- Les auteurs revisitent les arrangements de 9 droites de Grünbaum dans l'espace projectif réel. Ils démontrent que l'arrangement original $C'$ (et ses variantes équiconfigurationnelles) peut effectivement être défini sur $\mathbb{Q}$ en raison de l'invariance galoisienne de l'ensemble des droites.
- Pour briser cette symétrie, ils construisent un nouvel arrangement, noté $C'$ , en ajoutant une 10ème droite ($HE$) à la configuration originale.
- En utilisant la théorie de Galois, ils prouvent que le produit des formes linéaires définissant ce nouvel arrangement de 10 droites n'est pas invariant sous le groupe de Galois de l'extension de corps générée par les coordonnées. Par conséquent, cet arrangement ne peut être défini sur $\mathbb{Q}$ .
Correction de la preuve analytique :
- Les auteurs identifient que la preuve originale dans [T90] s'appuyait sur [LT1, Théorème (2.1.1)], qui affirmait incorrectement qu'une déformation vers le cône tangent est équisingulaire si et seulement si la singularité ne possède pas de « tangentes exceptionnelles ».
- Ils fournissent un contre-exemple (Section 4) d'une singularité sans tangentes exceptionnelles dont la déformation vers le cône tangent n'est pas équisingulaire (spécifiquement, le lieu singulier se scinde topologiquement).
- Au lieu de s'appuyer sur ce théorème erroné, les auteurs fournissent une preuve directe utilisant la théorie des stratifications de Whitney et des cônes normaux. Ils analysent la famille de singularités de surface $f(x, y)$ et son cône tangent $C_{X,Y}$ .

Contributions principales et résultats

Contre-exemple raffiné (Proposition 2.2) : Les auteurs prouvent que le cône sur leur arrangement corrigé de 10 droites ( $C'$ ) produit une singularité de surface $X_0$ dans $\mathbb{C}^3$ qui ne peut être définie sur $\mathbb{Q}$ .
Théorème principal (Théorème 3.5) : L'article établit un nouveau résultat concernant l'équisingularité du cône normal. Il prouve que si une famille de singularités de surface $(X_{reg}, \Sigma \setminus Y, Y)$ $(X_{r e g}, Σ ∖ Y, Y)$ forme une stratification de Whitney, alors :
1. Les fibres $X_y$ n'ont pas de tangentes exceptionnelles.
2. Le cône normal $C_{X,Y}$ satisfait les conditions de Whitney.
3. Le lieu singulier du cône normal est exactement le cône normal du lieu singulier ( $C_{\Sigma, Y} = (C_{X,Y})_{sing}$ ).
4. La paire $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ forme une stratification de Whitney.
Application au résultat de Teissier : En appliquant le Théorème 3.5, les auteurs montrent que si la singularité originale $X_0$ (le cône sur l'arrangement corrigé) était Whitney-équisingulaire à une singularité définie sur $\mathbb{Q}$ , alors les cônes tangents de la famille déformée seraient également équisingulaires. Or, les cônes tangents de l'arrangement corrigé sont projectivement équivalents à l'arrangement lui-même, lequel ne peut être défini sur $\mathbb{Q}$ . Cette contradiction prouve que la singularité originale n'est pas Whitney-équisingulaire à une quelconque singularité définie sur $\mathbb{Q}$ .
Contre-exemple à [LT1] (Section 4.1) : Les auteurs construisent une singularité spécifique $f(x,y,z) = z(zx - y^2 + x^3)$ pour démontrer que l'absence de tangentes exceptionnelles est insuffisante pour garantir que la déformation vers le cône tangent est équisingulaire. Dans cet exemple, le lieu singulier se scinde d'un cuspide vers une double droite, violant la trivialité topologique.

Signification
La principale importance de l'article réside dans sa correction rigoureuse et l'achèvement du résultat de Teissier de 1990. Il fournit un exemple explicite et valide d'une singularité de surface complexe qui ne peut être déformée en une singularité rationnelle via une déformation own Whitney-équisingulaire. De plus, il clarifie la relation entre les tangentes exceptionnelles et l'équisingularité des déformations vers le cône normal, corrigeant un théorème précédemment accepté mais incorrect dans le domaine. Ce travail garantit que le fondement théorique permettant de distinguer les classes d'équisingularité basées sur la définissabilité sur $\mathbb{Q}$ est solide.

La vue d'ensemble : Une pièce de puzzle cassée

Partie 1 : Le casse-tête de l'« arrangement de droites » (Correction du plan)

Partie 2 : Le problème de la « déformation » (Correction de la preuve)

Partie 3 : Le contre-exemple (Pourquoi l'ancienne règle a échoué)

Résumé

Articles similaires