🔢 mathematics

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

Este artigo corrige o exemplo de Teissier de uma singularidade de superfície derivada de um cone de polígono projetivo real e fornece uma prova completa demonstrando que esta singularidade não é Whitney equisingular a qualquer singularidade definida sobre o corpo dos números racionais.

Autores originais: Adam Parusiński, Laurentiu Paunescu

Publicado 2026-02-03

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Adam Parusiński, Laurentiu Paunescu

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

A Visão Geral: Uma Peça de Quebra-Cabeça Quebrada

Imagine que você tem uma escultura 3D complexa feita de vidro (uma "singularidade de superfície" matemática). Matemáticos adoram estudar essas formas, mas eles também querem saber se essas formas podem ser construídas usando apenas materiais "racionais" — ou seja, números que você pode escrever como frações simples (como 1/2, 3/4 ou 5).

O artigo aborda um enigma específico proposto por um matemático chamado Bernard Teissier. Teissier afirmou ter encontrado uma escultura que, não importa como você tente remodelá-la ou suavizá-la, não pode ser construída usando apenas números racionais. Ela requer números "irracionais" (como $\sqrt{2}$ ou $\pi$ ) para existir.

No entanto, os autores deste artigo, Adam Parusiński e Laurențiu Păunescu, encontraram dois problemas na história original de Teissier:

O Projeto estava ligeiramente errado: A forma específica que Teissier usou na verdade poderia ser construída com números racionais.
A Prova era instável: A regra matemática que Teissier usou para provar seu ponto era, na verdade, incorreta.

Este artigo corrige o projeto e fornece uma nova prova sólida para mostrar que a ideia principal de Teissier estava certa, mesmo que seu exemplo original estivesse falho.

Parte 1: O Enigma do "Arranjo de Linhas" (Corrigindo o Projeto)

Para entender a forma, os autores começam com um desenho 2D feito de linhas que se interceptam, semelhante a uma explosão estelar ou uma teia. Isso vem de um famoso problema de geometria de Grünbaum.

O Erro Original: Teissier usou um arranjo específico de 9 linhas. Os autores perceberam que, se você olhar de perto, esse arranjo específico pode ser desenhado usando números racionais. É como tentar provar que uma casa é feita de madeira, mas você acidentalmente escolheu uma casa feita de plástico.
A Correção: Os autores adicionaram uma linha extra ao desenho. Essa pequena mudança quebra a simetria da forma.
O Resultado: Com este novo arranjo de 10 linhas, a forma torna-se "rígida". É matematicamente impossível rotacionar ou deslocar esta forma de modo que todos os seus pontos de intersecção caiam em coordenadas racionais. Ela está presa em um estado que requer números irracionais.

Analogia: Imagine tentar organizar 10 gravetos sobre uma mesa para que eles se cruzem em pontos específicos. Com 9 gravetos, você pode organizá-los de modo que cada cruzamento seja uma fração "limpa". Mas se você adicionar um 10º graveto de uma determinada maneira, a geometria força pelo menos um ponto de cruzamento a ser um número irracional e "sujo". Você simplesmente não consegue construir essa configuração específica com matemática "limpa".

Parte 2: O Problema da "Deformação" (Corrigindo a Prova)

O argumento original de Teissier baseava-se em uma regra sobre como essas formas mudam ao longo do tempo. Ele afirmou que, se você deformar lentamente uma forma (como o gelo derretendo em água), o "cone tangente" (o ponto agudo ou núcleo da forma) comporta-se de uma maneira previsível e suave.

A Regra Quebrada: Os autores apontam que o teorema matemático que Teissier usou para fazer essa afirmação é, na verdade, falso. É como usar um mapa que diz "todas as pontes são seguras", quando, na realidade, algumas pontes desabam.
A Nova Prova: Em vez de usar o mapa quebrado, os autores construíram um novo caminho. Eles usaram um conceito chamado "tangentes excepcionais".
- O que são elas? Imagine um ponto agudo em uma superfície. Normalmente, se você tocar esse ponto com uma folha plana (um plano tangente), a folha toca de uma maneira previsível. Mas em certos pontos "excepcionais", a folha pode tocar em direções estranhas e imprevisíveis.
- A Lógica: Os autores provaram que, para o arranjo de 10 linhas deles, essas "tangentes excepcionais" não existem. Como elas não existem, o núcleo da forma (o cone tangente) permanece exatamente o mesmo enquanto a forma se deforma.
- A Conclusão: Como o núcleo está travado em uma configuração irracional específica, a forma inteira não pode ser deformada em uma versão construída com números racionais.

Parte 3: O Contraexemplo (Por que a Regra Antiga Falhou)

Para provar que a antiga regra de Teissier estava quebrada, os autores criaram um exemplo "monstro" (Seção 4).

Eles construíram uma forma que não possui tangentes excepcionais (parece muito suave e bem comportada).
No entanto, quando tentaram deformá-la, a forma ainda assim se despedaçou de uma maneira estranha.
Isso prova que a regra antiga ("Sem tangentes excepcionais = Deformação Suave") é falsa. Você pode ter uma forma sem tangentes estranhas que ainda assim se comporta mal quando você tenta alterá-la.

Resumo

O Objetivo: Provar que algumas formas complexas não podem ser construídas usando números racionais simples.
A Correção: A forma original que Teissier usou era simples demais (podia ser construída racionalmente). Os autores adicionaram uma linha para torná-la verdadeiramente "irracional".
A Nova Prova: Eles descartaram uma regra matemática falha e a substituíram por um argumento rigoroso sobre "tangentes excepcionais" e como as formas se deformam.
A Conclusão: Existem, de fato, singularidades de superfície que são "Whitney equisingulares" (topologicamente estáveis), mas que não podem ser definidas sobre os números racionais. Teissier estava certo sobre a existência de tais formas, mas o artigo fornece o projeto correto e a maquinaria matemática correta para prová-lo.

Em suma: o artigo é um "aviso de correção" que conserta um exemplo e uma prova quebrados, confirmando, em última análise, que algumas formas matemáticas são fundamentalmente complexas demais para serem construídas a partir de frações simples.

Resumo Técnico: Sobre o Exemplo de Teissier de uma Classe de Equisingularidade que Não Pode Ser Definida Sobre os Racionais

Enunciado do Problema
O artigo aborda uma questão específica na teoria das singularidades referente à definibilidade de famílias equisingulares sobre o corpo dos números racionais ( $\mathbb{Q}$ ). Embora esteja estabelecido que toda singularidade complexa é equisingular (em um sentido mais forte que o de Whitney) a uma singularidade definida por equações polinomiais com coeficientes no corpo dos números algébricos, permanece um problema em aberto se tal singularidade pode ser deformada em uma definida sobre $\mathbb{Q}$ via uma deformação topologicamente equisingular.

Bernard Teissier, em uma nota de 1990 [T90], propôs um contraexemplo: uma singularidade de superfície em $\mathbb{C}^3$ derivada de um exemplo clássico de geometria convexa (o arranjo de retas de Grünbaum) que não é Whitney-equisingular a qualquer singularidade definida sobre $\mathbb{Q}$ . No entanto, o exemplo original continha duas falhas:

O arranjo de retas específico citado do trabalho de Grünbaum é, na verdade, passível de admitir uma equação polinomial com coeficientes racionais, falhando em servir como contraexemplo.
A prova baseava-se em um teorema de Lê e Teissier [LT1] referente à deformação de uma superfície para seu cone tangente, o qual foi enunciado incorretamente.

Metodologia
Os autores, Parusiński e Păunescu, empregam geometria algébrica e teoria de estratificação para corrigir o exemplo e fornecer uma prova rigorosa do resultado subjacente de Teissier.

Correção do Exemplo Geométrico:
- Os autores revisitam os arranjos de 9 retas de Grünbaum no espaço projetivo real. Eles demonstram que o arranjo original $C'$ (e suas variantes equiconfiguracionais) pode, de fato, ser definido sobre $\mathbb{Q}$ devido à invariância de Galois do conjunto de retas.
- Para quebrar essa simetria, eles constroem um novo arranjo, denotado por $C'$ , adicionando uma 10ª reta ($HE$) ao arranjo original.
- Utilizando a teoria de Galois, eles provam que o produto das formas lineares que definem este novo arranjo de 10 retas não é invariante sob o grupo de Galois da extensão de corpo gerada pelas coordenadas. Consequentemente, este arranjo não pode ser definido sobre $\mathbb{Q}$ .
Correção da Prova Analítica:
- Os autores identificam que a prova original em [T90] dependia de [LT1, Théorème (2.1.1)], que afirmava incorretamente que uma deformação para o cone tangente é equisingular se, e somente se, a singularidade não possuir "tangentes excepcionais".
- Eles fornecem um contraexemplo (Seção 4) mostrando uma singularidade sem tangentes excepcionais cuja deformação para o cone tangente não é equisingular (especificamente, o locus singular se divide topologicamente).
- Em vez de depender do teorema falho, os autores fornecem uma prova direta utilizando a teoria das estratificações de Whitney e cones normais. Eles analisam a família de singularidades de superfície $f(x, y)$ e seu cone tangente $C_{X,Y}$ .

Contribuições Principais e Resultados

Contraexemplo Refinado (Proposição 2.2): Os autores provam que o cone sobre o arranjo corrigido de 10 retas ( $C'$ ) produz uma singularidade de superfície $X_0$ em $\mathbb{C}^3$ que não pode ser definida sobre $\mathbb{Q}$ .
Teorema Principal (Teorema 3.5): O artigo estabelece um novo resultado referente à equisingularidade do cone normal. Eles provam que, se uma família de singularidades de superfície $(X_{reg}, \Sigma \setminus Y, Y)$ $(X_{r e g}, Σ ∖ Y, Y)$ forma uma estratificação de Whitney, então:
1. As fibras $X_y$ não possuem tangentes excepcionais.
2. O cone normal $C_{X,Y}$ satisfaz as condições de Whitney.
3. O locus singular do cone normal é exatamente o cone normal do locus singular ( $C_{\Sigma, Y} = (C_{X,Y})_{sing}$ ).
4. O par $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ forma uma estratificação de Whitney.
Aplicação ao Resultado de Teissier: Ao aplicar o Teorema 3.5, os autores mostram que, se a singularidade original $X_0$ (o cone sobre o arranjo corrigido) fosse Whitney-equisingular a uma singularidade definida sobre $\mathbb{Q}$ , então os cones tangentes da família deformada também seriam equisingulares. No entanto, os cones tangentes do arranjo corrigido são projetivamente equivalentes ao próprio arranjo, que não pode ser definido sobre $\mathbb{Q}$ . Esta contradição prova que a singularidade original não é Whitney-equisingular a qualquer singularidade definida sobre $\mathbb{Q}$ .
Contraexemplo para [LT1] (Seção 4.1): Os autores constroem uma singularidade específica $f(x,y,z) = z(zx - y^2 + x^3)$ para demonstrar que a ausência de tangentes excepcionais é insuficiente para garantir que a deformação para o cone tangente seja equisingular. Neste exemplo, o locus singular se divide de um cúspide para uma reta dupla, violando a trivialidade topológica.

Significância
A principal significância do artigo reside na correção rigorosa e conclusão do resultado de 1990 de Teissier. Ele fornece um exemplo válido e explícito de uma singularidade de superfície complexa que não pode ser deformada em uma singularidade racional via uma deformação Whitney-equisingular. Além disso, esclarece a relação entre tangentes excepcionais e a equisingularidade de deformações para o cone normal, corrigindo um teorema anteriormente aceito, mas incorreto, na área. O trabalho assegura que a fundação teórica para distinguir classes de equisingularidade baseadas na definibilidade sobre $\mathbb{Q}$ seja sólida.

A Visão Geral: Uma Peça de Quebra-Cabeça Quebrada

Parte 1: O Enigma do "Arranjo de Linhas" (Corrigindo o Projeto)

Parte 2: O Problema da "Deformação" (Corrigindo a Prova)

Parte 3: O Contraexemplo (Por que a Regra Antiga Falhou)

Resumo

Mais como este