Generic vector fields on isolated complex hypersurface germs

Sintesi Tecnica: Campi Vettoriali Generici su Germi di Ipersuperfici Complesse Isolate

Enunciato del Problema
Il lavoro indaga lo spazio dei campi vettoriali olomorfi su singolarità di ipersuperfici isolate $(V, 0) \subset (\mathbb{C}^{n+1}, 0)$. Sebbene sia stabilito che lo spazio dei germi di campi vettoriali olomorfi su una tale singolarità è infinito-dimensionale, e che il sottoinsieme di quelli con una singolarità isolata nell'origine è aperto e denso, le proprietà specifiche degli elementi "generici" all'interno di questo spazio devono ancora essere caratterizzate. Nello specifico, gli autori mirano a determinare il valore minimo possibile dell'indice GSV (indice di Gómez-Mont, Seade, Verjovsky) per questi campi vettoriali e a comprendere le condizioni geometriche sotto le quali tale minimo è raggiunto. Inoltre, il lavoro si propone di estendere questi risultati locali per derivare ostacoli globali all'esistenza di campi vettoriali olomorfi su varietà singolari compatte.

Metodologia
Gli autori impiegano una combinazione di teoria delle singolarità locale e metodi topologici globali:

1. Analisi Locale tramite l'Indice GSV: Lo studio utilizza l'indice GSV, definito come l'indice di Poincaré-Hopf di un'estensione continua di un campo vettoriale a una fibra di Milnor locale. Gli autori relazionano questo indice a invarianti algebrici della singolarità, in particolare il numero di Tjurina-Greuel $\tau_0(V)$ e il numero di Milnor $\mu_0(V)$.
2. Caratterizzazione Algebrica: Il nucleo della teoria locale consiste nell'analizzare l'ideale generato dall'equazione definitoria dell'ipersuperficie $f$ e dalle componenti di un'estensione olomorfa del campo vettoriale $\tilde{v} = (v_1, \dots, v_{n+1})$. Gli autori utilizzano formule dimensionali sull'anello locale dei germi olomorfi $\mathcal{O}_{n+1,0}$ e proprietà delle successioni regolari per stabilire limiti inferiori per l'indice.
3. Estensione e Non-degenerazione: Una tecnica centrale consiste nell'esaminare se un campo vettoriale sull'ipersuperficie possa essere esteso allo spazio ambiente $\mathbb{C}^{n+1}$ con una singolarità isolata non degenerata nell'origine.
4. Ostacoli Globali: Per le varietà compatte, gli autori applicano i risultati locali sommando gli indici minimi nei punti singolari. Utilizzano il teorema di Riemann-Roch di Baum-Fulton-MacPherson e calcoli delle classi di Chern per fasci tangenti virtuali per relazionare queste somme locali a invarianti topologici globali (come la caratteristica di Eulero e il genere geometrico).

Contributi e Risultati Chiave

• Caratterizzazione dei Campi Vettoriali Generici (Teorema 1):
  Gli autori dimostrano che per un germe di ipersuperficie $(V, 0)$ con una singolarità isolata, l'indice GSV di qualsiasi campo vettoriale olomorfo $v$ con una singolarità isolata è limitato inferiormente da:
  $$\text{Ind}_{GSV}(v, (V, 0)) \geq 1 + (-1)^n \tau_0(V)$$
  dove $\tau_0(V)$ è il numero di Tjurina-Greuel.
  Crucialmente, il lavoro stabilisce che l'uguaglianza vale se e solo se il campo vettoriale ammette un'estensione olomorfa allo spazio ambiente $\mathbb{C}^{n+1}$ con una singolarità non degenerata nell'origine. Inoltre, l'insieme di tali campi vettoriali (quelli che raggiungono l'indice minimo) costituisce un sottoinsieme aperto e denso dello spazio di tutti i campi vettoriali con singolarità isolate.

• Caratterizzazione dei Germi Omogenei Pesati (Teorema 2):
  Il lavoro fornisce una risoluzione parziale a una congettura riguardante l'equivalenza tra omogeneità pesata e l'esistenza di specifici campi vettoriali:

  • Per $n$ pari, l'esistenza di un campo vettoriale estendibile allo spazio ambiente con una singolarità non degenerata implica che $(V, 0)$ è omogeneo pesato.
  • Per $n$ dispari, l'esistenza di un campo vettoriale ovunque trasversale al link $L_V$ implica che $(V, 0)$ è omogeneo pesato.
    Gli autori notano che dimostrare l'equivalenza completa in tutte le dimensioni rimane un compito aperto, ma i loro risultati confermano l'implicazione in questi casi specifici.

• Ostacoli Globali per Varietà Compatte (Sezioni 5 e 6):
  Sommando i limiti inferiori locali, gli autori derivano vincoli sulle varietà singolari compatte che ammettono campi vettoriali olomorfi globali:

  • Ipersuperfici Proiettive: Derivano una disuguaglianza che mette in relazione il grado dell'ipersuperficie, il numero di punti singolari e la somma degli indici locali (Teorema 3).
  • Curve Singole (Teorema 4): Una curva complessa singolare compatta irriducibile che ammette un campo vettoriale olomorfo non banale con zeri deve essere razionale (genere geometrico $g=0$) e possedere al massimo due punti singolari.
  • Superfici Singole in 3-fogli Kähler (Teorema 5): Se una superficie singolare $V$ in un 3-foglio Kähler compatto $X$ ammette un campo vettoriale olomorfo non banale con zeri, e il fascio lineare aggiunto $\mathcal{O}_X(K_X + [V])$ è nef, allora il genere geometrico è maggiore o uguale all'irregolarità ($g(V) \geq q(V)$).

Significato e Affermazioni
Il lavoro afferma di fornire una descrizione precisa del comportamento "generico" dei campi vettoriali olomorfi su singolarità di ipersuperfici isolate, identificando l'indice minimo in termini del numero di Tjurina. Questa caratterizzazione funge da ponte tra la geometria algebrica locale e la topologia globale.

Gli autori sottolineano che i loro risultati producono nuovi ostacoli all'esistenza di campi vettoriali globali su spazi singolari, un ambito in cui i metodi standard per le varietà lisce (che si basano sull'isomorfismo tra il complesso delle forme regolari e il complesso di Koszul) falliscono. Nello specifico, il lavoro dimostra che l'esistenza di tali campi vettoriali impone vincoli topologici rigorosi:

1. Le curve singolari che portano tali campi sono necessariamente razionali con pochissime singolarità.
2. Le superfici singolari in specifici ambienti Kähler non possono possedere un'"eccessiva" irregolarità rispetto al loro genere geometrico.

Il lavoro chiarisce inoltre la relazione tra l'esistenza di campi vettoriali trasversali (o estensioni non degenerate) e la natura omogenea pesata della singolarità, rispondendo parzialmente a una congettura nel campo. Gli autori presentano questi risultati come un passo fondamentale per comprendere l'interazione tra il tipo di singolarità e la geometria globale delle varietà singolari.