Non-smoothable curve singularities

Sintesi Tecnica: Singolarità di Curve Non Smussabili

Enunciato del Problema
Il saggio affronta la teoria delle deformazioni delle singolarità di curve ridotte. Sebbene sia noto che tutte le componenti di smussamento (smoothing components) dello spazio di deformazione versale di una singolarità di curva condividano la stessa dimensione, lo spazio di deformazione stesso può contenere componenti di dimensioni differenti. Il problema centrale investigato riguarda la natura delle "singolarità generiche" che appaiono come fibra generale su una componente non smussabile; nello specifico, l'autore cerca di identificare quali singolarità siano intrinsecamente non smussabili — ovvero che non possono essere deformate in una curva liscia — e di fornire esempi espliciti di tali singolarità, inclusi casi precedentemente sconosciuti di singolarità di curve Gorenstein non smussabili.

Metodologia
L'autore impiega due metodi generali primari per stabilire la non smussabilità, integrati dall'algebra computazionale:

1. L'Argomento della "Grande Famiglia": Questo metodo, radicato nel lavoro di Mumford e perfezionato da Greuel, consiste nell'esibire una famiglia di singolarità $\pi: C_T \to T$ con una sezione singolare tale che la dimensione dello spazio dei parametri $T$ sia almeno il numero di Deligne $e(C_0)$ (la dimensione di una componente di smussamento). Se la famiglia è irriducibile e non contiene fibre lisce, la fibra generale non può essere smussabile, poiché la sua immagine nello spazio di deformazione versale avrebbe dimensione $\ge e(C_0)$ ma non potrebbe costituire una componente di smussamento.
2. Il Criterio di Buchweitz: Questo metodo utilizza la semicontinuità di un invariante specifico relativo al differente di Dedekind. Per una singolarità di curva $C$, l'autore definisce l'invariante di Dedekind normalizzato $d_k$. Se $C$ è smussabile (o si deforma in una singolarità Gorenstein), allora deve valere $d_k \le 2k\delta$ per ogni $k$, dove $\delta$ è il grado della singolarità. La violazione di questa disuguaglianza prova la non smussabilità.
3. Algebra Computazionale: Il saggio si affida ampiamente a sistemi di algebra computazionale (Singular e Macaulay2) per calcolare le deformazioni infinitesimali ($T^1$), gli spazi di ostruzione ($T^2$) e gli invarianti specifici richiesti dal criterio di Buchweitz. L'analisi si concentra pesantemente sulle singolarità quasi-omogenee, in particolare sulle curve monomiali e sui coni su insiemi di punti nello spazio proiettivo, dove le azioni $G_m$ semplificano i calcoli.

Contributi Chiave e Risultati

• Revisione di Esempi Noti: Il saggio analizza sistematicamente esempi noti di non smussabilità, come le curve monomiali e i coni su rette passanti per l'origine ($L^n_r$). Esso fornisce calcoli espliciti del numero di Deligne $e$ e della dimensione dello spazio di deformazione per configurazioni generiche.
• Singolarità di Curve Gorenstein Non Smussabili: Un contributo significativo è la costruzione di singolarità di curve Gorenstein non smussabili. Poiché il criterio di Buchweitz è banale per le curve Gorenstein (dove $d_k = 2k\delta$), l'autore utilizza una costruzione di doppio rivestimento basata sui semigruppi di Stöhr-Torres.
  • Proposizione 4.2: L'autore presenta una specifica singolarità di curva Gorenstein non smussabile, $L^{13}_{26}$, che è il cono su un insieme di punti auto-associato. Si dimostra che questa singolarità non è smussabile perché la sua deformazione porta a una singolarità non smussabile ($L^9_{13}$) tramite un percorso di deformazione specifico.
• Coni su Insiemi di Punti Auto-Associati: Il saggio investiga i coni su insiemi di punti auto-associati (dove la trasformata di Gale è proiettivamente equivalente all'insieme originale).
  • Teoremi 4.5 & 4.7: Si dimostra che il cono Gorenstein generale su un insieme di punti auto-associato in $\mathbb{P}^{n-1}$ (specificamente $L^{n-1}_{2n}$) non è smussabile se il genere $g \ge 11$. Per $g \le 8$ e $g=10$, la smussabilità è verificata o condizionata. Questo risultato collega la non smussabilità al fatto che l'insieme di punti non può essere una sezione iperplanare di una curva canonica di genere $g$.
• Esplicite Curve Monomiali Non Smussabili: Il saggio fornisce nuovi esempi espliciti di curve monomiali non smussabili, inclusi casi in cui il criterio di Buchweitz fallisce per $k=1$ ma ha successo per $k=2$ (Esempio 2.7), ed esempi con dimensioni di embedding minori (Esempio 2.8).
• Casi Irreducibili vs. Riducibili: L'autore distingue tra singolarità irriducibili e riducibili. Mentre molti esempi di non smussabilità sono riducibili (ad esempio, unioni di rette), il saggio costruisce curve irriducibili non smussabili (Teorema 3.9) e nota che molte singolarità non smussabili si deformano in curve con rami lisci.
• Anomalie Dimensionali: Il saggio identifica esempi in cui la dimensione dello spazio base della deformazione versale è strettamente minore del numero di Deligne $e$ (Esempio 1.9), sfidando le semplici aspettative dimensionali.

Significato e Rivendicazioni
Il saggio sostiene di far avanzare la comprensione della struttura degli spazi di deformazione per le singolarità di curve:

1. Fornendo i primi esempi espliciti di singolarità di curve Gorenstein non smussabili, una classe precedentemente ritenuta più propensa allo smussamento o priva di controesempi noti.
2. Stabilendo una soglia precisa ($g \ge 11$) per la non smussabilità dei coni su insiemi di punti auto-associati generici, collegando questa proprietà geometrica all'impossibilità di tali insiemi essere sezioni iperplanari di curve canoniche.
3. Offrendo un quadro computazionale e teorico completo per determinare la non smussabilità, combinando il conteggio dimensionale della "grande famiglia" con l'invariante di Buchweitz.

L'autore conclude con modestia che, sebbene la conoscenza delle singolarità non smussabili sia in espansione, essa rimane limitata, particolarmente per quanto riguarda le curve irriducibili con grandi dimensioni di embedding. Sulla base delle prove raccolte, il saggio propone la Congettura 5.1: Tutti i rami delle singolarità di curve generiche sono lisci. Ciò suggerisce che, sebbene la singolarità globale possa non essere smussabile, i suoi rami analitici locali sono lisci, anche se le loro tangenti non sono in posizione generale.