On the discriminant locus of a generic projection

1. Problema e Contesto

Il lavoro si inserisce nello studio della geometria algebrica classica, in particolare nella teoria delle proiezioni lineari di varietà proiettive lisce e nella teoria della dualità proiettiva.
Il problema centrale è la caratterizzazione del locus discriminante ($\Delta$) associato a una proiezione generica di una varietà proiettiva liscia $X \subseteq \mathbb{P}^N$ su uno spazio proiettivo di dimensione inferiore $\mathbb{P}^k$ (con $k \geq 1$).
Mentre il caso dei "fasci di Lefschetz" (proiezioni su $\mathbb{P}^1$, ovvero $k=1$) è ben compreso nella teoria di Picard-Lefschetz, la generalizzazione a sistemi lineari di dimensione superiore ($k \geq 2$) presenta sfide significative riguardo alla struttura, alla purezza e alla topologia del luogo discriminante. Gli autori mirano a:

• Stabilire una relazione di dualità tra il discriminante di una proiezione generica e le sezioni lineari della varietà duale.
• Determinare la purezza del discriminante (se è un iperpiano o vuoto).
• Calcolare il grado del discriminante e analizzare la monodromia del rivestimento ramificato risultante, specialmente in relazione ai gruppi di treccia (braid groups).

2. Metodologia

Gli autori adottano un approccio che combina la dualità proiettiva classica, la teoria delle varietà conormali e la topologia algebrica.

• Dualità Proiettiva: Il cuore della metodologia risiede nell'utilizzo della dualità tra una varietà $X$ e la sua duale $X^\vee$. Gli autori considerano una proiezione generica $\pi: X \dashrightarrow \mathbb{P}^k$ definita da un sottospazio lineare $V \subseteq H^0(\mathbb{P}^N, \mathcal{O}(1))$.
• Locus Critico Liscio e Discriminante: Viene introdotta una definizione precisa di "discriminante liscio" ($\Delta(\pi)$), definito come l'immagine del luogo critico liscio (punti dove la mappa differenziale non è suriettiva) dopo aver risolto le indeterminatezze della proiezione tramite lo sfiocamento del luogo base. Questo permette di distinguere le singolarità intrinseche della mappa da quelle della varietà totale.
• Teorema di Purezza di Zariski-Nagata: Per analizzare la struttura del discriminante quando la proiezione è finita e dominante, gli autori applicano il teorema di purezza di Zariski-Nagata, che garantisce che il luogo di ramificazione di un morfismo finito da una varietà normale a una liscia sia un iperpiano (o vuoto).
• Monodromia e Gruppi di Treccia: Nel caso complesso ($k=\mathbb{C}$), lo studio del gruppo fondamentale del complemento del discriminante viene collegato alla monodromia di treccia, sfruttando la struttura dei rivestimenti ramificati.

3. Contributi Chiave e Risultati Principali

A. Dualità del Locus Discriminante (Teorema 1.3 / 4.1)

Il risultato principale stabilisce una corrispondenza duale precisa. Sia $X \subseteq \mathbb{P}^N$ una varietà proiettiva liscia e $\pi: X \dashrightarrow \mathbb{P}^k$ una proiezione generica.

• Il locus discriminante $\Delta$ della proiezione $\pi$ è proiettivamente duale alla sezione lineare generale della varietà duale $X^\vee$ con lo spazio duale di $\mathbb{P}^k$.
• Formalmente: $\Delta^\vee = \mathbb{P}^k \cap X^\vee$.
• Questo generalizza il risultato noto per i fasci di Lefschetz ($k=1$) e fornisce un ponte tra la geometria delle proiezioni di $X$ e le sezioni iperpiane di $X^\vee$.

B. Purezza del Discriminante (Teorema 1.4 / 5.3)

Gli autori classificano la struttura del discriminante $\Delta(\pi_k)$ in base alla codimensione della varietà duale $X^\vee$:

1. Se $\text{codim}(X^\vee) < k$: $\Delta$ è un iperpiano irriducibile.
2. Se $\text{codim}(X^\vee) = k$: $\Delta$ è una unione finita di iperpiani.
3. Se $\text{codim}(X^\vee) > k$: $\Delta$ è vuoto.
   In particolare, per una proiezione generica dominante, il discriminante è o di codimensione pura uno o vuoto. Questo risultato è cruciale per la teoria delle varietà "dual defective" (quelle con difetto duale positivo), mostrando che se una varietà ammette una proiezione generica con discriminante vuoto, essa deve essere dual defective.

C. Grado e Locus Polare (Proposizione 1.7 / Sezione 8)

Gli autori dimostrano che il locus discriminante liscio di una proiezione generica coincide con l'immagine proiettiva del locus polare (definito in letteratura da Kleiman).

• Ne consegue che il grado del discriminante può essere calcolato tramite formule di intersezione sulla varietà conormale $N^\vee_{\mathbb{P}^N}X$.
• Viene recuperata una formula classica per il grado: $\deg(\Delta_k) = \int_{N^\vee} \pi_1^* H^{k-1} \cdot \pi_2^* (H_1)^{N-k}$.

D. Monodromia e Gruppi di Treccia (Teorema 1.8 / Sezione 9)

Nel caso di varietà su $\mathbb{C}$, gli autori studiano il gruppo fondamentale del complemento del divisore di ramificazione.

• Per un'ipersuperficie normale $Y \subseteq \mathbb{P}^{N+1}$ di grado $m$, la proiezione generica su $\mathbb{P}^N$ ha un divisore di ramificazione $\Delta$ di grado $m(m-1)$.
• Esiste un omomorfismo suriettivo di monodromia di treccia:
  $$\pi_1(\mathbb{P}^N \setminus \Delta, *) \twoheadrightarrow B_m$$
  dove $B_m$ è il gruppo di treccia su $m$ punti.
• Se $Y$ è la varietà duale di una varietà liscia $X$, il risultato si applica al complemento di $X^\vee$, fornendo una suriezione $\pi_1(\mathbb{P}^N \setminus X^\vee) \twoheadrightarrow B_m$.

4. Esempi e Applicazioni

Il lavoro illustra le teorie attraverso esempi concreti:

• Superficie di Veronese: Viene analizzata la proiezione della superficie di Veronese $v_2(\mathbb{P}^2) \subset \mathbb{P}^5$. La dualità permette di correlare le proiezioni successive della superficie alle sezioni iperpiane successive della sua duale (una cubica singolare), calcolando esplicitamente nodi e cuspidi delle curve discriminanti.
• Fasci di Quadriche e Fibrati Ellittici: Viene studiato il caso della proiezione di $v_2(\mathbb{P}^3)$ su $\mathbb{P}^2$, che genera un fibrato ellittico tridimensionale. Il discriminante è una curva di grado 12 con 28 nodi e 24 cuspidi, e il rango del gruppo di Mordell-Weil è calcolato come 7.
• Varietà Dual Defective: Viene dimostrato che le curve e le superfici lisce non lineari non sono dual defective (il loro duale è sempre un'ipersuperficie), recuperando risultati classici di Ein e altri.

5. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Unificazione Teorica: Fornisce un quadro unificato che collega la teoria dei fasci di Lefschetz, la dualità proiettiva e la teoria dei sistemi lineari di dimensione superiore.
2. Strumenti Computazionali: Offre formule esplicite per il calcolo del grado e delle singolarità (nodi e cuspidi) dei discriminanti, basate sulla geometria della varietà duale.
3. Topologia Algebrica: Estende la comprensione della monodromia dei rivestimenti ramificati, collegando i gruppi fondamentali dei complementi di ipersuperfici ai gruppi di treccia in contesti più generali rispetto ai casi classici.
4. Generalizzazione: Risolve questioni aperte sulla struttura dei discriminanti per proiezioni generiche ($k \geq 2$), dimostrando che la "purezza" del discriminante è una proprietà robusta per varietà normali, e fornendo controesempi e condizioni di validità per varietà singolari.

In sintesi, Liu e Zhang stabiliscono che la geometria del luogo discriminante di una proiezione generica è governata interamente dalla geometria della sezione lineare della varietà duale, offrendo potenti strumenti sia per il calcolo enumerativo che per l'analisi topologica.