Higher order double point formulas via SSM-Thom polynomials

Resumo Técnico: Fórmulas de pontos duplos de ordem superior via polinômios SSM–Thom

Enunciado do Problema
O artigo aborda o problema de descrever a geometria dos loci de pontos duplos para aplicações $F: M \to N$ entre variedades complexas. Classicamente, a classe fundamental do locus de pontos duplos $\Delta(F)$ (o conjunto de pontos onde a fibra possui exatamente duas pré-imagens) é expressa via a fórmula de Fulton-Laksov em termos de invariantes globais (classes de Chern) da fonte, do alvo e da aplicação. A questão central é se esta fórmula clássica pode ser estendida para capturar informação geométrica de ordem superior. Especificamente, o autor busca computar a classe de Segre-Schwartz-MacPherson (SSM) do locus de pontos duplos. Diferente da classe fundamental, a classe SSM é uma classe de cohomologia não homogênea cuja classe principal é a classe fundamental, com termos de graus superiores fornecendo "correções universais" que codificam dados topológicos refinados, tais como características de Euler de seções lineares.

Metodologia
O artigo emprega a teoria dos polinômios SSM-Thom e técnicas de interpolação desenvolvidas recentemente por Koncki, Nekarda, Ohmoto e Rimányi. A metodologia procede da seguinte forma:

1. Estrutura de Multisingularidades: O locus de pontos duplos é tratado como um tipo específico de "multisingularidade", denotado por $A_0^2$ (ou $A_0 A_0$), representando a concatenação de duas singularidades simples ($A_0$). O estudo é restrito a mapas $C_\ell$ (aplicações localmente estáveis no alvo com fibras finitas), onde $\ell = \dim(N) - \dim(M)$.
2. Princípio de Thom: O autor utiliza o princípio de Thom, que postula que a classe SSM de um locus de singularidade para qualquer aplicação estável é determinada pela avaliação de uma série de potências universal (o polinômio SSM-Thom) sobre as classes características da aplicação. Para multisingularidades, este polinômio depende de dois conjuntos de variáveis: classes de Chern ($c$) e classes de Landweber-Novikov ($s$).
3. Interpolação: Para computar estes polinômios universais, o artigo utiliza um teorema de interpolação (Proposição 3.1 de [KR25]). Este teorema estabelece que um polinômio SSM-Thom é unicamente determinado, até um determinado grau cohomológico (o limite de Mather), pelos seus valores em um conjunto finito de "protótipos" de aplicações. Estes protótipos são germes específicos que representam os tipos de singularidade.
4. Computação Explícita: O autor constrói protótipos para as singularidades $A_0$, $A_0^2$ e $A_1$. Ao avaliar a fórmula proposta para os polinômios nestes protótipos e verificar que a igualdade se mantém em cohomologia equivariante, os coeficientes dos polinômios SSM-Thom são determinados.

Contribuições Principais e Resultados

1. Deformação da Fórmula de Ponto Duplo: O resultado primário (Teorema 4.5) fornece uma computação explícita do polinômio SSM-Thom para o locus de pontos duplos ($A_0^2$) em um amplo intervalo de grau cohomológico ($\ell \le \text{deg} < 2\ell$).

   • O termo principal da classe SSM computada recupera a fórmula clássica de pontos duplos de Fulton-Laksov ($s_\emptyset - c_\ell$).
   • Os termos de graus superiores fornecem correções universais explícitas envolvendo classes de Chern ($c_i$) e classes de Landweber-Novikov ($s_\lambda$).
   • O artigo lista fórmulas explícitas para $\ell = 1, 2, 3, 4$, mostrando a estrutura destas correções.

2. Computação de Singularidades Relacionadas: No mesmo intervalo de grau, o artigo computa os polinômios SSM-Thom para a singularidade simples $A_0$ (Teorema 4.6) e a singularidade $A_1$ (Corolário 4.7).

   • Uma proposição chave (4.1) estabelece que, para aplicações $C_\ell$ dentro deste limite de grau, a soma das classes SSM dos loci $A_0$, $A_0^2$ e $A_1$ é igual à classe fundamental do domínio (normalizada para 1). Isto permite a determinação de um polinômio a partir dos outros dois.

3. Aplicação a Espaços Projetivos: O artigo aplica estas fórmulas deformadas a aplicações entre espaços projetivos $F: \mathbb{P}^{\ell+1} \to \mathbb{P}^{2\ell+1}$ de grau $d$.

   • Utilizando um teorema de Aluffi e Ohmoto (Teorema 5.1), que relaciona a classe SSM de uma variedade às características de Euler de suas seções lineares gerais, o autor computa as características de Euler topológicas ($\chi$) e os graus dos loci de singularidade $A_0(F)$, $A_0^2(F)$ e $A_1(F)$.
   • Os resultados são expressos explicitamente em termos do grau $d$ e da dimensão relativa $\ell$.

4. Restrições sobre Interseções Completas: Como uma aplicação geométrica específica, o artigo investiga se o locus de pontos duplos $A_0^2(F)$ pode ser uma interseção completa.

   • Ao comparar a característica de Euler e o grau computados do locus contra as restrições teóricas para interseções completas, o autor demonstra (Exemplo 5.5) que, para $\ell=2$ e $d > 1$, o locus não pode ser uma interseção completa. O sistema de equações necessário para que seja uma interseção completa mostra-se inconsistente.

Significância e Alegações
O artigo afirma estender a geometria enumerativa clássica de pontos duplos ao incorporar a maquinaria das classes SSM. A significância reside em:

• Universalidade: As fórmulas derivadas são "universais", o que significa que se aplicam a qualquer aplicação com tipos de singularidade controlados ($C_\ell$-mapas), independentemente das variedades fonte e alvo específicas, dependendo apenas de suas classes características.
• Geometria Refinada: Os termos de ordem superior nos polinômios SSM-Thom fornecem informação geométrica (características de Euler de seções lineares) que é inacessível via a classe fundamental clássica sozinha.
• Abordagem Algorítmica: O trabalho demonstra a eficácia da técnica de interpolação para multisingularidades, indo além das monosingularidades para computar polinômios universais complexos.
• Restrições Geométricas: A aplicação a espaços projetivos produz restrições concretas sobre a geometria dos loci de singularidade, descartando a propriedade de interseção completa para certos loci de pontos duplos, oferecendo assim novos insights sobre a estrutura destes conjuntos de autointerseção.

O autor observa que, embora o método de interpolação permita a computação de termos até o limite de Mather (aproximadamente $6\ell + 7$), ele não fornece atualmente uma fórmula fechada para a série de potências completa além deste limite. Os resultados apresentados são as primeiras deformações explícitas de ordem superior da fórmula de ponto duplo neste intervalo cohomológico.