A lower bound for the Milnor number of vector fields

Resumo Técnico: Um Limite Inferior para o Número de Milnor de Campos Vetoriais

Enunciado do Problema
O artigo aborda o comportamento de campos vetoriais holomorfos $X$ em $\mathbb{C}^n$ cujo lócus singular, $\text{Sing}(X)$, contém uma subvariedade de interseção completa local, suave e de dimensão positiva $W$ de codimensão $d \geq 2$. Embora a teoria de singularidades isoladas seja bem estabelecida (notadamente através do trabalho de Soares sobre equivalência $\mathcal{K}$ e determinância finita), o caso de conjuntos singulares não isolados apresenta desafios distintos. Sob uma deformação holomorfa $\{X_t\}$, singularidades isoladas podem emergir de $W$, permanecer em um vizinhança fixa ou convergir para $W$ conforme $t \to 0$. Além disso, após a compactificação projetiva, parte do índice total pode se concentrar no hiperplano no infinito.

A questão central é se existe um limite inferior uniforme para o número de Milnor total (ou índice de Poincaré–Hopf) das singularidades convergindo para $W$ sob qualquer perturbação holomorfa admissível. Especificamente, existe uma quantidade $\mu_0(X, W)$ tal que, para toda deformação $\{X_t\}$ com conjuntos singulares finitos para $t \neq 0$, o limite da soma dos números de Milnor dos pontos convergindo para $W$ satisfaz $\mu(X_t, W) \geq \mu_0(X, W)$?

Metodologia
Os autores empregam uma combinação de teoria de deformação, teoria de interseção e o estudo de folheações holomorfas.

1. Deformação e Perturbação: O estudo foca em "pontos singulares incorporados" (embedded singular points), definidos como singularidades isoladas produzidas por deformações admissíveis suficientemente pequenas que convergem para $W$. Isso se alinha com a teoria de deformação de resíduos de Baum–Bott desenvolvida por Bracci e Suwa.
2. Equivalência $\mathcal{K}$ e Determinância: O artigo utiliza a teoria de $\mathcal{K}$-determinância de Mather. Para singularidades isoladas, a determinância finita permite a redução a um jato finito. Para componentes de dimensão positiva, os autores estendem isso via equivalência $\mathcal{K}(d)$-dependente de parâmetros, analisando fatias equidimensionais do mapa que define $W$.
3. Compactificação Projetiva e Blow-ups: A análise envolve o blow-up de $\mathbb{P}^n$ ao longo de $W$ para estudar o comportamento da folheação ao longo do divisor excepcional. O conceito de componentes "dicríticas" versus "não-dicríticas" é crucial para determinar a ordem de anulação ao longo do divisor excepcional.
4. Aproximação Polinomial: O Teorema 3.1 estabelece que qualquer folheação holomorfa com um conjunto singular de interseção completa suave pode ser aproximada por folheações polinomiais, permitindo o uso de técnicas algébricas para estudar o comportamento limite dos índices.
5. Campos Gradientes: Os resultados são aplicados a campos gradientes $\nabla f$ de germes de funções holomorfas, ligando o número de Milnor do campo vetorial ao número de Milnor da função nos pontos críticos.

Principais Contribuições e Resultados

• Fórmula Global Exata (Teorema 1.2): Os autores fornecem uma fórmula global exata para o número de Milnor de uma folheação holomorfa em $\mathbb{P}^n$ ($n \geq 3$) com um lócus singular consistindo em componentes de interseção completa suaves e não-dicríticas $W_j$ e pontos isolados. A fórmula relaciona a soma dos índices em pontos isolados a um termo residual $\nu(\mathcal{F}, W_j, \varphi_0)$ e ao número de pontos incorporados $N(\mathcal{F}, A_{W_j})$:
  $$\sum \mu(\mathcal{F}, p_i) = \sum k^i + \sum \nu(\mathcal{F}, W_j, \varphi_0) - \sum N(\mathcal{F}, A_{W_j})$$
  Isso identifica a contribuição suportada em componentes de dimensão positiva.

• Limite Inferior Local Estrito (Teorema 1.3): O resultado principal é um limite inferior local para o número de Milnor das singularidades convergindo para $W$. Para um germe de uma folheação $\mathcal{F}$ em $\mathbb{C}^n$ com uma interseção completa suave $W \subset \text{Sing}(\mathcal{F})$, o artigo prova que:
  $$\mu(\mathcal{F}_t, W) \geq N(\mathcal{F}, A_W)$$
  onde $N(\mathcal{F}, A_W)$ é o número de pontos fechados incorporados associados a $W$ (contados com multiplicidade) no sentido perturbativo. Este limite é estrito; o artigo demonstra que para folheações "totalmente simples" (onde a matriz jacobiana possui um menor não nulo ao longo de $W$), existe uma perturbação onde o limite da soma dos números de Milnor é exatamente zero.

• Aplicação a Campos Gradientes (Corolário 1.4): Aplicando os resultados de campos vetoriais a campos gradientes $\nabla f$, os autores derivam um limite inferior para o número de Milnor total de pontos críticos isolados surgindo próximo a um componente crítico suave de dimensão positiva $W$. No caso de uma morsificação (onde a deformação produz pontos críticos não degenerados), isso se torna um limite inferior para o número de pontos críticos de Morse convergindo para $W$.

• Famílias Explícitas e Estreiteza (Seção 4): Os autores constroem famílias explícitas de campos vetoriais para demonstrar a estreiteza dos limites. Estes exemplos ilustram:

  • A redistribuição de singularidades entre uma vizinhança afim fixa e o hiperplano no infinito.
  • Casos onde a contribuição no infinito pode ser arbitrariamente grande (via truncamentos polinomiais de coeficientes transcendentes), mostrando que não existe um limite superior uniforme para a contribuição no infinito em classes gerais.
  • Cenários onde o limite inferior é alcançado (por exemplo, quando a perturbação elimina inteiramente as singularidades próximas a $W$ no caso totalmente simples).

Significância e Alegações
O artigo afirma resolver a questão de se existe um limite inferior para o número de Milnor das singularidades convergindo para um componente de dimensão positiva. Estabelece que a "contribuição incorporada" (o número de pontos incorporados $N(\mathcal{F}, A_W)$) serve como este limite inferior estrito.

Os autores posicionam seu trabalho como complementar às teorias existentes envolvendo ciclos de Lê, números de Lê e multiplicidades polares (Teissier, Gaffney). Enquanto essas teorias descrevem a divisão dos lócus críticos via invariantes de teoria de Chern, este artigo isola um limite inferior específico determinado pela contribuição incorporada. Os resultados esclarecem o comportamento das singularidades sob deformação, distinguindo entre aquelas que permanecem próximas ao componente e aquelas que migram para o infinito, e fornecem fórmulas precisas para o índice total em configurações projetivas. O trabalho estende a teoria clássica de singularidades isoladas (Soares, Esteves, Vainsencher) para o caso não isolado, oferecendo um framework unificado para calcular números de Milnor na presença de conjuntos singulares de dimensão positiva.