Resumo Técnico: Polinômios de Thom para Singularidades de Mapas

Autor: Toru Ohmoto
Tema: Teoria de Polinômios de Thom e sua evolução na geometria enumerativa e topologia.

1. O Problema (Contexto e Definição)

O artigo aborda o problema de classificar e enumerar os pontos singulares de mapas diferenciáveis (reais ou complexos) entre variedades. Uma singularidade ocorre quando o diferencial de um mapa $f: M \to N$ é degenerado ou quando há pontos de imagem múltipla.

O problema central é: Como expressar o locus (o conjunto) de pontos de um tipo de singularidade específico de forma universal, utilizando apenas as classes características (como classes de Chern ou de Stiefel-Whitney) das variedades envolvidas?

Os Polinômios de Thom são as soluções universais para este problema. Eles funcionam como obstruções cohomológicas que determinam a presença de singularidades de tipos prescritos em mapeamentos genéricos.

2. Metodologia

O autor revisa a evolução das metodologias de cálculo e fundamentação teórica, dividindo-as em três grandes eras:

• Método de Desingularização (Clássico): Baseia-se na construção explícita de resoluções de singularidades (como feixes de Grassmann ou variedades de flag) e no uso do homomorfismo de Gysin para calcular a classe de interseção. Embora intuitivo, torna-se computacionalmente intratável para singularidades de ordem superior.
• Método de Interpolação/Restrição (Equivariante): Utiliza a cohomologia equivariante de Borel. A ideia é que o polinômio de Thom é a única classe que satisfaz condições de restrição específicas em órbitas de grupos de Lie (como $GL_m \times GL_n$). Isso transforma o problema de geometria em um sistema de equações lineares para os coeficientes do polinômio.
• Localização de Torus e Esquemas de Hilbert (Moderno): Utiliza a fórmula de localização de Berline-Vergne-Atiyah-Bott. O problema é transferido para o estudo de pontos fixos de uma ação de um toro em esquemas de Hilbert pontuais. Isso permite expressar os polinômios através de integrais de resíduos iteradas, permitindo o tratamento de singularidades com parâmetros de codimensão ($\kappa$).

3. Principais Contribuições e Resultados

O artigo organiza os resultados em várias categorias de classificação:

• Classificação K (Contato) e A (Direita-Esquerda): O autor demonstra que para a classificação K, os polinômios são universais e dependem apenas das classes de Chern de quociente $c(f) = c(TN - TM)$. Ele destaca a Positividade de Schur, onde os coeficientes na base de funções de Schur são não-negativos.
• Polinômios de Thom Superiores (Higher Thom Polynomials): Introduz a extensão da teoria para classes de Chern-Schwartz-MacPherson (CSM) e classes de Segre-Schwartz-MacPherson (SSM). Isso permite estudar não apenas o locus fundamental da singularidade, mas também ciclos de codimensões superiores e propriedades topológicas como o número de Milnor.
• Multi-singularidades: Aborda o "Princípio de Thom-Kazarian", que fornece uma estrutura recursiva para calcular polinômios de pontos múltiplos (onde vários pontos da fonte mapeiam para o mesmo ponto no alvo), utilizando polinômios residuais.
• Singularidades de Lagrange e Legendre: Estende a teoria para o contexto da geometria simplética e de contato, onde os polinômios são expressos em termos de classes características universais de Lagrange.
• Singularidades Reais: Discute o uso do complexo de Vassiliev para lidar com a classificação de mapas $C^\infty$ reais, onde as classes de Stiefel-Whitney e Pontrjagin substituem as de Chern.

4. Significância e Aplicações

A importância deste trabalho reside na sua capacidade de unificar ramos distintos da matemática:

1. Geometria Enumerativa: Permite resolver problemas clássicos (como as fórmulas de Plücker para curvas duais) e modernos (como a contagem de curvas singulares em superfícies e a contagem de instantons na teoria de cordas).
2. Geometria Hiperbólica Complexa: O artigo revela uma conexão profunda e inesperada entre a positividade dos coeficientes dos polinômios de Thom e a teoria de Nevanlinna/Kobayashi (conjecturas de Green-Griffiths-Lang e Kobayashi), através do uso de GIT (Teoria de Invariantes Geométricos) não-redutiva.
3. Topologia de Mapas: Fornece ferramentas para calcular invariantes de estabilidade e entender a topologia de variedades de singularidades (como o discriminante).

Conclusão

O artigo serve como um relatório abrangente do estado da arte, mostrando que a teoria dos polinômios de Thom evoluiu de uma ferramenta de contagem geométrica para uma linguagem central que conecta a teoria de representações, a geometria algébrica moderna e a análise complexa.