A lower bound for the Milnor number of vector fields

Sintesi Tecnica: Un Limite Inferiore per il Numero di Milnor di Campi Vettoriali

Enunciato del Problema
Il saggio affronta il comportamento dei campi vettoriali olofori $X$ su $\mathbb{C}^n$ il cui luogo singolare, $\text{Sing}(X)$, contiene una varietà locale di intersezione completa liscia e di dimensione positiva $W$ di codimensione $d \geq 2$. Mentre la teoria delle singolarità isolate è ben consolidata (in particolare attraverso il lavoro di Soares sulla $\mathcal{K}$-equivalenza e la determinazione finita), il caso dei luoghi singolari non isolati presenta sfide distinte. Sotto una deformazione olofora $\{X_t\}$, le singolarità isolate possono emergere da $W$, rimanere in un intorno fisso, o convergere a $W$ per $t \to 0$. Inoltre, mediante compattificazione proiettiva, parte dell'indice totale può concentrarsi sull'iperpiano all'infinito.

La questione centrale è se esista un limite inferiore uniforme per il numero di Milnor totale (o indice di Poincaré–Hopf) delle singolarità che convergono a $W$ sotto qualsiasi perturbazione olofora ammissibile. Nello specifico, esiste una quantità $\mu_0(X, W)$ tale che per ogni deformazione $\{X_t\}$ con insiemi singolari finiti per $t \neq 0$, il limite della somma dei numeri di Milnor dei punti che convergono a $W$ soddisfi $\mu(X_t, W) \geq \mu_0(X, W)$?

Metodologia
Gli autori impiegano una combinazione di teoria delle deformazioni, teoria delle intersezioni e studio delle foliazioni olofori.

1. Deformazione e Perturbazione: Lo studio si concentra sui "punti singolari immersi" (embedded singular points), definiti come singolarità isolate prodotte da deformazioni ammissibili sufficientemente piccole che convergono a $W$. Ciò si allinea con la teoria delle deformazioni dei residui di Baum–Bott sviluppata da Bracci e Suwa.
2. $\mathcal{K}$-Equivalenza e Determinazione: Il saggio utilizza la teoria della $\mathcal{K}$-determinazione di Mather. Per singolarità isolate, la determinazione finita permette la riduzione a un jet finito. Per componenti di dimensione positiva, gli autori estendono ciò tramite $\mathcal{K}(d)$-equivalenza dipendente dai parametri, analizzando le sezioni equidimensionali della mappa che definisce $W$.
3. Compattificazione Proiettiva e Blow-up: L'analisi prevede il blow-up di $\mathbb{P}^n$ lungo $W$ per studiare il comportamento della foliazione lungo il divisore eccezionale. Il concetto di componenti "dicritiche" rispetto a "non dicritiche" è cruciale per determinare l'ordine di annullamento lungo il divisore eccezionale.
4. Approssimazione Polinomiale: Il Teorema 3.1 stabilisce che ogni foliazione olofora con un insieme singolare di intersezione completa liscia può essere approssimata da foliazioni polinomiali, permettendo l'uso di tecniche algebriche per studiare il comportamento limite degli indici.
5. Campi Gradiente: I risultati sono applicati a campi gradiente $\nabla f$ di germi di funzioni olofore, collegando il numero di Milnor del campo vettoriale al numero di Milnor della funzione nei punti critici.

Contributi Chiave e Risultati

• Formula Globale Esatta (Teorema 1.2): Gli autori forniscono una formula globale esatta per il numero di Milnor di una foliazione olofora su $\mathbb{P}^n$ ($n \geq 3$) con un luogo singolare costituito da componenti di intersezione completa lisce e non dicritiche $W_j$ e punti isolati. La formula mette in relazione la somma degli indici ai punti isolati con un termine residuo $\nu(\mathcal{F}, W_j, \varphi_0)$ e il numero di punti immersi $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})$$
  Questo identifica il contributo supportato sulle componenti di dimensione positiva.

• Limite Inferiore Locale Stretto (Teorema 1.3): Il risultato primario è un limite inferiore locale per il numero di Milnor delle singolarità che convergono a $W$. Per un germe di una foliazione olofora $\mathcal{F}$ su $\mathbb{C}^n$ con una smooth complete intersection $W \subset \text{Sing}(\mathcal{F})$, il saggio dimostra che:
  $$\mu(\mathcal{F}_t, W) \geq N(\mathcal{F}, A_W)$$
  dove $N(\mathcal{F}, A_W)$ è il numero di punti chiusi immersi associati a $W$ (contati con molteplicità) in senso perturbativo. Questo limite è stretto (sharp); il saggio dimostra che per foliazioni "totalmente semplici" (dove la matrice Jacobiana ha un minore non nullo lungo $W$), esiste una perturbazione in cui il limite della somma dei numeri di Milnor è esattamente zero.

• Applicazione ai Campi Gradiente (Corollario 1.4): Applicando i risultati dei campi vettoriali ai campi gradiente $\nabla f$, gli autori derivano un limite inferiore per il numero di Milnor totale dei punti critici isolati che sorgono vicino a una componente critica liscia di dimensione positiva $W$. Nel caso di una morsificazione (dove la deformazione produce punti critici non degeneri), ciò diventa un limite inferiore per il numero di punti critici di Morse che convergono a $W$.

• Famiglie Esplicite e Strettezza (Sezione 4): Gli autori costruiscono esplicitamente famiglie di campi vettoriali per dimostrare la strettezza dei limiti. Questi esempi illustrano:

  • La ridistribuzione delle singolarità tra un intorno affine fisso e l'iperpiano all'infinito.
  • Casi in cui il contributo all'infinito può essere arbitrariamente grande (tramite troncamenti polinomiali di coefficienti trascendenti), mostrando che non esiste un limite superiore uniforme per il contributo all'infinito in classi generali.
  • Scenari in cui il limite inferiore è raggiunto (ad esempio, quando la perturbazione elimina interamente le singolarità vicino a $W$ nel caso totalmente semplice).

Significato e Rivendicazioni
Il saggio sostiene di risolvere la questione se esista un limite inferiore per il numero di Milnor delle singolarità che convergono a una componente di dimensione positiva. Stabilisce che il "contributo immerso" (il numero di punti immersi $N(\mathcal{F}, A_W)$) funge da limite inferiore stretto per tale valore.

Gli autori posizionano il loro lavoro come complementare alle teorie esistenti riguardanti i cicli di Lê, i numeri di Lê e le molteplicità polari (Teissier, Gaffney). Mentre quelle teorie descrivono la scissione dei loci critici tramite invarianti di tipo Chern, questo saggio isola un limite inferiore specifico determinato dal contributo immerso. I risultati chiariscono il comportamento delle singolarità sotto deformazione, distinguendo tra quelle che rimangono vicino alla componente e quelle che migrano all'infinito, e forniscono formule precise per l'indice totale in contesti proiettivi. Il lavoro estende la teoria classica delle singolarità isolate (Soares, Esteves, Vainsencher) al caso non isolato, offrendo un quadro unificato per calcolare i numeri di Milnor in presenza di insiemi singolari di dimensione positiva.