🔢 mathematics

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

Este artículo corrige el ejemplo de Teissier de una singularidad de superficie derivada de un cono de polígono proyectivo real y proporciona una demostración completa que demuestra que esta singularidad no es Whitney equisingular a ninguna singularidad definida sobre el cuerpo de los números racionales.

Autores originales: Adam Parusiński, Laurentiu Paunescu

Publicado 2026-02-03

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Adam Parusiński, Laurentiu Paunescu

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

La visión general: Una pieza de rompecabezas rota

Imagina que tienes una escultura 3D compleja hecha de vidrio (una "singularidad de superficie" matemática). A los matemáticos les encanta estudiar estas formas, pero también quieren saber si estas formas pueden construirse utilizando únicamente materiales "racionales", es decir, números que se puedan escribir como fracciones simples (como 1/2, 3/4 o 5).

El artículo aborda un rompecabezas específico propuesto por un matemático llamado Bernard Teissier. Teissier afirmó haber encontrado una escultura que, sin importar cómo intentes remodelarla o suavizarla, no puede construirse utilizando solo números racionales. Requiere números "irracionales" (como $\sqrt{2}$ o $\pi$ ) para existir.

Sin embargo, los autores de este artículo, Adam Parusiński y Laurențiu Păunescu, encontraron dos problemas con la historia original de Teissier:

El plano era ligeramente erróneo: La forma específica que utilizó Teissier en realidad podría construirse con números racionales.
La prueba era inestable: La regla matemática que Teissier usó para probar su punto era en realidad incorrecta.

Este artículo corrige el plano y proporciona una nueva prueba sólida para demostrar que la idea principal de Teissier era correcta, aunque su ejemplo original fuera defectuoso.

Parte 1: El rompecabezas de la "disposición de líneas" (Corrigiendo el plano)

Para entender la forma, los autores comienzan con un dibujo en 2D hecho de líneas que se intersectan, similar a un estallido de estrella o una telaraña. Esto proviene de un famoso problema de geometría de Grünbaum.

El error original: Teissier utilizó una disposición específica de 9 líneas. Los autores se dieron cuenta de que, si se observa de cerca, esta disposición específica puede dibujarse utilizando números racionales. Es como intentar demostrar que una casa es de madera, pero accidentalmente elegiste una casa de plástico.
La corrección: Los autores añadieron una línea extra al dibujo. Este pequeño cambio rompe la simetría de la forma.
El resultado: Con esta nueva disposición de 10 líneas, la forma se vuelve "rígida". Es matemáticamente imposible rotar o desplazar esta forma de modo que todos sus puntos de intersección caigan en coordenadas racionales. Está atrapada en un estado que requiere números irracionales.

Analogía: Imagina que intentas disponer 10 palitos sobre una mesa para que se crucen en puntos específicos. Con 9 palitos, puedes disponerlos de modo que cada punto de cruce sea una fracción "limpia". Pero si añades un 10º palito de una manera específica, la geometría obliga a que al menos un punto de cruce sea un número irracional y desordenado. Simplemente no puedes construir esa configuración específica con matemáticas "limpias".

Parte 2: El problema de la "deformación" (Corrigiendo la prueba)

El argumento original de Teissier se basaba en una regla sobre cómo cambian estas formas con el tiempo. Él afirmaba que si deformas lentamente una forma (como cuando el hielo se derrite para convertirse en agua), el "cono tangente" (el punto afilado o núcleo de la forma) se comporta de manera predecible y suave.

La regla rota: Los autores señalan que el teorema matemático que Teissier utilizó para hacer esta afirmación es en realidad falso. Es como usar un mapa que dice "todos los puentes son seguros", cuando en realidad algunos puentes colapsan.
La nueva prueba: En lugar de usar el mapa roto, los autores construyeron un nuevo camino. Utilizaron un concepto llamado "tangentes excepcionales".
- ¿Qué son? Imagina un punto afilado en una superficie. Normalmente, si lo tocas con una hoja plana (un plano tangente), la hoja toca de una manera predecible. Pero en ciertos puntos "excepcionales", la hoja puede tocar en direcciones extrañas e impredecibles.
- La lógica: Los autores demostraron que para su forma de 10 líneas, estas "tangentes excepcionales" no existen. Debido a que no existen, el núcleo de la forma (el cono tangente) debe permanecer exactamente igual mientras la forma se deforma.
- La conclusión: Dado que el núcleo está bloqueado en una configuración irracional específica, toda la forma no puede deformarse en una versión construida con números racionales.

Parte 3: El contraejemplo (Por qué falló la regla antigua)

Para demostrar que la regla antigua de Teissier estaba rota, los autores crearon un ejemplo "monstruo" (Sección 4).

Construyeron una forma que no tiene tangentes excepcionales (se ve muy suave y bien comportada).
Sin embargo, cuando intentaron deformarla, la forma aún así se rompió de una manera extraña.
Esto demuestra que la regla antigua ("Sin tangentes excepcionales = Deformación suave") es falsa. Puedes tener una forma sin tangentes extrañas que aun así se comporte mal cuando intentas cambiarla.

Resumen

El objetivo: Demostrar que algunas formas complejas no pueden construirse usando números racionales simples.
La corrección: La forma original que usó Teissier era demasiado simple (podía construirse racionalmente). Los autores añadieron una línea para hacerla verdaderamente "irracional".
La nueva prueba: Descartaron una regla matemática defectuosa y la reemplazaron con un argumento riguroso sobre las "tangentes excepcionales" y cómo se deforman las formas.
La conclusión principal: Existen, de hecho, singularidades de superficie que son "equisingulares de Whitney" (topológicamente estables) pero que no pueden definirse sobre los números racionales. Teissier tenía razón sobre la existencia de tales formas, pero el artículo proporciona el plano correcto y la maquinaria matemática correcta para probarlo.

En resumen: El artículo es un "aviso de corrección" que arregla un ejemplo roto y una prueba rota, confirmando finalmente que algunas formas matemáticas son fundamentalmente demasiado complejas para ser construidas a partir de fracciones simples.

Resumen Técnico: Sobre el ejemplo de Teissier de una clase de equisingularidad que no puede definirse sobre los racionales

Planteamiento del problema
El artículo aborda una pregunta específica en la teoría de singularidades relativa a la definibilidad de las familias equisingulares sobre el cuerpo de los números racionales ( $\mathbb{Q}$ ). Si bien está establecido que toda singularidad compleja es equisingular (en un sentido más fuerte que el de Whitney) a una singularidad definida por ecuaciones polinómicas con coeficientes en el cuerpo de los números algebraicos, sigue siendo un problema abierto si tal singularidad puede deformarse en una definida sobre $\mathbb{Q}$ mediante una deformación topológicamente equisingular.

Bernard Teissier, en una nota de 1990 [T90], propuso un contraejemplo: una singularidad de superficie en $\mathbb{C}^3$ derivada de un ejemplo clásico de geometría convexa (la disposición de líneas de Grünbaum) que no es Whitney-equisingular a ninguna singularidad definida sobre $\mathbb{Q}$ . Sin embargo, el ejemplo original contenía dos fallos:

La disposición de líneas específica citada del trabajo de Grünbaum es, en realidad, admisible de una ecuación polinómica con coeficientes racionales, por lo que no sirve como contraejemplo.
La demostración dependía de un teorema de Lê y Teissier [LT1] relativo a la deformación de una superficie a su cono tangente, el cual fue enunciado incorrectamente.

Metodología
Los autores, Parusiński y Păunescu, emplean la geometría algebraica y la teoría de estratificaciones para corregir el ejemplo y proporcionar una prueba rigurosa del resultado subyacente de Teissier.

Corrección del ejemplo geométrico:
- Los autores revisan las disposiciones de Grünbaum de 9 líneas en el espacio proyectivo real. Demuestran que la disposición original $C'$ (y sus variantes equiconfiguracionales) puede, de hecho, definirse sobre $\mathbb{Q}$ debido a la invariancia de Galois del conjunto de líneas.
- Para romper esta simetría, construyen una nueva disposición, denotada $C'$ , añadiendo una décima línea ($HE$) a la configuración original.
- Utilizando la teoría de Galois, prueban que el producto de las formas lineales que definen esta nueva disposición de 10 líneas no es invariante bajo el grupo de Galois de la extensión de cuerpo generada por las coordenadas. Por consiguiente, esta disposición no puede definirse sobre $\mathbb{Q}$ .
Corrección de la prueba analítica:
- Los autores identifican que la prueba original en [T90] dependía de [LT1, Théorème (2.1.1)], que afirmaba incorrectamente que una deformación al cono tangente es equisingular si y solo si la singularidad no tiene "tangentes excepcionales".
- Proporcionan un contraejemplo (Sección 4) de una singularidad sin tangentes excepcionales cuya deformación al cono tangente no es equisingular (específicamente, el lugar singular se divide topológicamente).
- En lugar de depender del teorema erróneo, los autores proporcionan una prueba directa utilizando la teoría de las estratificaciones de Whitney y los conos normales. Analizan la familia de singularidades de superficie $f(x, y)$ y su cono tangente $C_{X,Y}$ .

Contribuciones clave y resultados

Contraejemplo refinado (Proposición 2.2): Los autores prueban que el cono sobre su disposición de 10 líneas corregida ( $C'$ ) produce una singularidad de superficie $X_0$ en $\mathbb{C}^3$ que no puede definirse sobre $\mathbb{Q}$ .
Teorema principal (Teorema 3.5): El artículo establece un nuevo resultado respecto a la equisingularidad del cono normal. Prueba que, si una familia de singularidades de superficie $(X_{reg}, \Sigma \setminus Y, Y)$ $(X_{r e g}, Σ ∖ Y, Y)$ forma una estratificación de Whitney, entonces:
1. Las fibras $X_y$ no tienen tangentes excepcionales.
2. El cono normal $C_{X,Y}$ satisface las condiciones de Whitney.
3. El lugar singular del cono normal es exactamente el cono normal del lugar singular ( $C_{\Sigma, Y} = (C_{X,Y})_{sing}$ ).
4. El par $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ forma una estratificación de Whitney.
Aplicación al resultado de Teissier: Al aplicar el Teorema 3.5, los autores muestran que, si la singularidad original $X_0$ (el cono sobre la disposición corregida) fuera Whitney-equisingular a una singularidad definida sobre $\mathbb{Q}$ , entonces los conos tangentes de la familia deformada también serían equisingulares. Sin embargo, los conos tangentes de la disposición corregida son proyectivamente equivalentes a la propia disposición, la cual no puede definirse sobre $\mathbb{Q}$ . Esta contradicción prueba que la singularidad original no es Whitney-equisingular a ninguna singularidad definida sobre $\mathbb{Q}$ .
Contraejemplo a [LT1] (Sección 4.1): Los autores construyen una singularidad específica $f(x,y,z) = z(zx - y^2 + x^3)$ para demostrar que la ausencia de tangentes excepcionales es insuficiente para garantizar que la deformación al cono tangente sea equisingular. En este ejemplo, el lugar singular se divide de un cúspide a una línea doble, violando la trivialidad topológica.

Significado
La principal significación del artículo reside en la corrección rigurosa y la completitud del resultado de Teissier de 1990. Proporciona un ejemplo válido y explícito de una singularidad de superficie compleja que no puede deformarse en una singularidad racional mediante una deformación Whitney-equisingular. Además, clarifica la relación entre las tangentes excepcionales y la equisingularidad de las deformaciones al cono normal, corrigiendo un teorema previamente aceptado pero incorrecto en el campo. El trabajo asegura que el fundamento teórico para distinguir clases de equisingularidad basadas en la definibilidad sobre $\mathbb{Q}$ sea sólido.

La visión general: Una pieza de rompecabezas rota

Parte 1: El rompecabezas de la "disposición de líneas" (Corrigiendo el plano)

Parte 2: El problema de la "deformación" (Corrigiendo la prueba)

Parte 3: El contraejemplo (Por qué falló la regla antigua)

Resumen

Más como este