The Complete Intersection Discrepancy of a Curve II: Families of Curves

1. Problema e Contesto

Il lavoro si inserisce nello studio della equisingolarità di famiglie di curve analitiche complesse ridotte, definite su spazi dei parametri lisci di dimensione arbitraria $k > 0$.
Il problema centrale è caratterizzare quando una famiglia di curve singolari $h: (X, 0) \to (Y, 0)$ è Whitney equisingolare (o ammette una risoluzione simultanea forte). Tradizionalmente, per famiglie di ipersuperfici o curve piane, la costanza di invarianti numerici come il numero di Milnor ($\mu$) e la molteplicità ($m$) è stata collegata all'equisingolarità. Tuttavia, estendere questi risultati a famiglie di curve di codimensione arbitraria e dimensione del parametro arbitraria ha rappresentato una sfida aperta, in particolare per la mancanza di una formula generale che colleghi gli invarianti locali alla geometria globale della famiglia.

Gli autori si concentrano sulla differenza tra due invarianti analitici di una singolarità di curva:

1. La molteplicità dell'ideale Jacobiano ($e(\text{Jac}(X_0))$).
2. Il discrepanza di intersezione completa ($\text{cid}(X_0)$), un invariante intrinseco introdotto nel loro lavoro precedente [BLR25], che misura la "distanza" tra la curva e una sua approssimazione di intersezione completa.

2. Metodologia

La metodologia adottata combina strumenti di geometria algebrica complessa, teoria delle singolarità e topologia:

• Deformazioni Piatte e Intersezioni Complete: Si considera una famiglia piatta di curve ridotte $(X, 0) \to (Y, 0)$ immersa in $(\mathbb{C}^n \times Y, 0)$. Si costruisce una famiglia di curve di intersezione completa $(Z, 0)$ definita da combinazioni lineari generiche delle equazioni di $X$. Si studia l'insieme $W = Z \setminus X$.
• Spazi Conormali e Varietà Polari: Si utilizzano lo spazio conormale relativo $C_h(X)$ e la varietà polare relativa $\Gamma^k_h(X)$ (definita come l'insieme dei punti critici di una funzione lineare generica ristretta alle fibre lisce). La dimensione di $\Gamma^k_h(X)$ è $k$.
• Molteplicità di Buchsbaum-Rim: Si applica la teoria delle molteplicità per moduli (Buchsbaum-Rim) e le loro proprietà di semicontinuità superiore rispetto alla topologia di Zariski.
• Formule di Riemann-Hurwitz Generalizzate: Viene derivata una formula di Riemann-Hurwitz per curve singolari che collega la caratteristica di Eulero, il grado della proiezione e i punti critici, permettendo di calcolare la variazione degli invarianti lungo la famiglia.
• Geometria del Blow-up di Nash: Si analizza il blow-up di Nash relativo $N_h(X)$ e il suo divisore eccezionale per caratterizzare l'equisingolarità.

3. Risultati Chiave e Contributi

A. Formula di Variazione degli Invarianti (Teorema 1.2)

Il risultato principale stabilisce una relazione precisa tra la variazione della differenza tra la molteplicità dell'ideale Jacobiano e il complete intersection discrepancy (cid) e il grado della varietà polare relativa:
$$e(\text{Jac}(X_0)) - \text{cid}(X_0) - (e(\text{Jac}(X_y)) - \text{cid}(X_y)) = \deg_Y \Gamma^k_h(X)$$
per $y$ in un aperto di Zariski.
Poiché $\deg_Y \Gamma^k_h(X) \geq 0$, questa formula implica che la funzione $y \mapsto e(\text{Jac}(X_y)) - \text{cid}(X_y)$ è semicontinua superiormente rispetto alla topologia di Zariski.

B. Caratterizzazione dell'Equisingolarità di Whitney (Teorema 1.3)

Gli autori dimostrano l'equivalenza tra quattro condizioni per una famiglia di curve ridotte con un punto singolare isolato per fibra:

1. La funzione $y \mapsto e(\text{Jac}(X_y, 0)) - \text{cid}(X_y, 0)$ è costante.
2. La varietà polare relativa $\Gamma^k_h(X)$ è vuota (equivalente all'equidimensionalità delle fibre dello spazio conormale relativo o del blow-up di Nash relativo).
3. La famiglia è Whitney equisingolare (soddisfa la condizione B di Whitney).
4. La famiglia ammette una risoluzione simultanea forte.

Questo generalizza risultati noti per le curve piane e le ipersuperfici a famiglie di curve di codimensione arbitraria e dimensione del parametro arbitraria.

C. Semicontinuità di Zariski del Numero di Milnor (Teorema 6.5)

Viene dimostrata la semicontinuità superiore di Zariski del numero di Milnor totale $\mu_y = \sum \mu(X_y, x)$ per famiglie di curve su spazi dei parametri di dimensione arbitraria.
Si ottiene la relazione:
$$\mu_0 - \mu_y = 1 - \chi(X_y)$$
per $y$ generico, dove $\chi$ è la caratteristica di Eulero della chiusura euclidea della fibra.

D. Caratterizzazione Topologica (Teorema 1.4)

Sotto ipotesi specifiche sulla struttura delle componenti irriducibili (che si intersecano in un unico punto), la costanza del numero di Milnor lungo la famiglia è equivalente all'equisingolarità topologica (esistenza di un omeomorfismo che trivializza la famiglia). Questo estende un risultato fondamentale di Buchweitz e Greuel, rimuovendo la necessità di assumere l'esistenza di una sezione che parametrizzi i punti singolari.

4. Significato e Implicazioni

• Generalizzazione: Il lavoro risolve un problema aperto estendendo la teoria dell'equisingolarità da famiglie a un parametro ($\dim Y = 1$) a famiglie su spazi di parametri di dimensione arbitraria ($\dim Y = k$).
• Nuovo Invariante Correttivo: L'introduzione e l'uso sistematico del complete intersection discrepancy (cid) sono cruciali. Senza questo termine correttivo, la costanza della sola molteplicità dell'ideale Jacobiano non garantisce l'equisingolarità di Whitney (come dimostrato dall'Esempio 7.8). Il cid "corregge" la molteplicità per tenere conto della non completezza dell'intersezione della curva.
• Connessione tra Geometria e Topologia: Il teorema 1.4 collega direttamente un invariante algebrico numerico (Milnor) alla struttura topologica della famiglia, fornendo un criterio pratico per verificare la trivialità topologica senza dover costruire esplicitamente l'omeomorfismo.
• Strumenti Computazionali: La dimostrazione fornisce metodi per calcolare il numero di Milnor direttamente dalle equazioni definitorie della curva, senza bisogno di conoscere la normalizzazione esplicita, utilizzando la formula $\mu = e(\text{Jac}) - \text{cid} + m - 1$.

In sintesi, il paper fornisce un quadro completo e rigoroso per lo studio delle famiglie di curve singolari, unificando la geometria delle varietà polari, la teoria degli ideali integrali e la topologia delle singolarità, offrendo criteri numerici verificabili per l'equisingolarità in contesti molto generali.