A lower bound for the Milnor number of vector fields

Resumen Técnico: Un Límite Inferior para el Número de Milnor de Campos Vectoriales

Planteamiento del Problema
El artículo aborda el comportamiento de los campos vectoriales holomorfos $X$ en $\mathbb{C}^n$ cuyo lugar singular, $\text{Sing}(X)$, contiene una subvariedad de intersección completa local, suave y de dimensión positiva $W$ de codimensión $d \geq 2$. Si bien la teoría de singularidades aisladas está bien establecida (notablemente a través del trabajo de Soares sobre la equivalencia $\mathcal{K}$ y la determinabilidad finita), el caso de conjuntos singulares no aislados presenta desafíos distintos. Bajo una deformación holomorfa $\{X_t\}$, las singularidades aisladas pueden emerger de $W$, permanecer en un entorno fijo, o converger a $W$ conforme el parámetro $t \to 0$. Además, tras la compactificación proyectiva, parte del índice total puede concentrarse en el hiperplano en el infinito.

La cuestión central es si existe un límite inferior uniforme para el número de Milnor total (o el índice de Poincaré–Hopf) de las singularidades aisladas que convergen a $W$ bajo cualquier perturbación holomorfa admisible. Específicamente, ¿existe una cantidad $\mu_0(X, W)$ tal que para toda deformación $\{X_t\}$ con conjuntos singulares finitos para $t \neq 0$, el límite de la suma de los números de Milnor de los puntos que convergen a $W$ satisface $\mu(X_t, W) \geq \mu_0(X, W)$?

Metodología
Los autores emplean una combinación de teoría de deformaciones, teoría de intersecciones y el estudio de foliaciones holomorfas.

1. Deformación y Perturbación: El estudio se centra en "puntos singulares embebidos", definidos como singularidades aisladas producidas por deformaciones admisibles suficientemente pequeñas que convergen a $W$. Esto se alinea con la teoría de deformaciones de los residuos de Baum–Bott desarrollada por Bracci y Suwa.
2. Equivalencia $\mathcal{K}$ y Determinabilidad: El artículo utiliza la teoría de $\mathcal{K}$-determinabilidad de Mather. Para singularidades aisladas, la determinabilidad finita permite la reducción a un jet finito. Para componentes de dimensión positiva, los autores extienden esto mediante la $\mathcal{K}(d)$-equivalencia dependiente de parámetros, analizando cortes equidimensionales del mapa que define a $W$.
3. Compactificación Proyectiva y Blow-ups: El análisis implica el soplado (blow-up) de $\mathbb{P}^n$ a lo largo de $W$ para estudiar el comportamiento de la foliación a lo largo del divisor excepcional. El concepto de componentes "dicríticas" frente a "no dicríticas" es crucial para determinar el orden de anulación a lo largo del divisor excepcional.
4. Aproximación Polinómica: El Teorema 3.1 establece que cualquier foliación holomorfa con un conjunto singular de intersección completa suave puede ser aproximada por foliaciones polinómicas, permitiendo el uso de técnicas algebraicas para estudiar el comportamiento límite de los índices.
5. Campos de Gradiente: Los resultados se aplican a los campos de gradiente $\nabla f$ de gérmenes de funciones holomorfas, vinculando el número de Milnor del campo vectorial con el número de Milnor de la función en los puntos críticos.

Contribuciones Clave y Resultados

• Fórmula Global Exacta (Teorema 1.2): Los autores proporcionan una fórmula global exacta para el número de Milnor de una foliación holomorfa en $\mathbb{P}^n$ ($n \geq 3$) con un lugar singular que consiste en componentes de intersección completa suaves y no dicríticas $W_j$ y puntos aislados. La fórmula relaciona la suma de los índices en puntos aislados con un término residual $\nu(\mathcal{F}, W_j, \varphi_0)$ y el número de puntos embebidos $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})$$
  Esto identifica la contribución soportada en componentes de dimensión positiva.

• Límite Inferior Local Estricto (Teorema 1.3): El resultado principal es un límite inferior local estricto para el número de Milnor de las singularidades que convergen a $W$. Para un gérmen de una foliación holomorfa $\mathcal{F}$ en $\mathbb{C}^n$ con una intersección completa suave $W \subset \text{Sing}(\mathcal{F})$, el artículo demuestra:
  $$\mu(\mathcal{F}_t, W) \geq N(\mathcal{F}, A_W)$$
  donde $N(\mathcal{F}, A_W)$ es el número de puntos cerrados embebidos asociados con $W$ (contados con multiplicidad) en el sentido perturbativo. Este límite es estricto; el artículo demuestra que para foliaciones "totalmente simples" (donde la matriz jacobiana tiene un menor no nulo a lo largo de $W$), existe una perturbación donde el límite de la suma de los números de Milnor es exactamente cero.

• Aplicación a Campos de Gradiente (Corolario 1.4): Aplicando los resultados de los campos vectoriales a los campos de gradiente $\nabla f$, los autores derivan un límite inferior para el número de Milnor total de puntos críticos aislados que surgen cerca de un componente crítico suave de dimensión positiva $W$. En el caso de una morsificación (donde la deformación produce puntos críticos no degenerados), esto se convierte en un límite inferior para el número de puntos críticos de Morse que convergen a $W$.

• Familias Explícitas y Estrictez (Sección 4): Los autores construyen familias explícitas de campos vectoriales para demostrar la estrictez de los límites. Estos ejemplos ilustran:

  • La redistribución de singularidades entre un entorno afín fijo y el hiperplano en el infinito.
  • Casos donde la contribución en el infinito puede ser arbitrariamente grande (mediante truncamientos polinómicos de coeficientes trascendentes), mostrando que no existe un límite superior uniforme para la contribución en el infinito en clases generales.
  • Escenarios donde el límite inferior se alcanza (por ejemplo, cuando la perturbación elimina por completo las singularidades cerca de $W$ en el caso totalmente simple).

Significado y Reivindicaciones
El artículo afirma resolver la cuestión de si existe un límite inferior para el número de Milnor de las singularidades que convergen a un componente de dimensión positiva. Establece que la "contribución embebida" (el número de puntos embebidos $N(\mathcal{F}, A_W)$) sirve como este límite inferior estricto.

Los autores posicionan su trabajo como complementario a las teorías existentes que involucran ciclos de Lê, números de Lê y multiplicidades polares (Teissier, Gaffney). Mientras que esas teorías describen la división de los loci críticos mediante invariantes de la teoría de Chern, este artículo aísla un límite inferior específico determinado por la contribución embebida. Los resultados esclarecen el comportamiento de las singularidades bajo deformación, distinguiendo entre aquellas que permanecen cerca del componente y aquellas que migran al infinito, y proporcionan fórmulas precisas para el índice total en entornos proyectivos. El trabajo extiende la teoría clásica de singularidades aisladas (Soares, Esteves, Vainsencher) al caso no aislado, ofreciendo un marco unificado para calcular números de Milnor en presencia de conjuntos singulares de dimensión positiva.