An obstruction to smoothing stable maps

Sintesi Tecnica: Un'ostruzione alla regolarizzazione di mappe stabili

Enunciato del Problema
Il saggio affronta il problema di determinare quando una mappa stabile $f: C \to X$, da una curva prestabile a una varietà proiettiva liscia $X$, è "regolarizzabile" (smoothable). Una mappa stabile si dice regolarizzabile se appartiene alla chiusura dello spazio di moduli delle mappe con curve di dominio non singolari. Gli autori distinguono tra "regolarizzabilità" e "eventuale regolarizzabilità", dove quest'ultima permette l'immersione della varietà $X$ in una varietà proiettiva liscia più grande $X'$. Sebbene lavori precedenti abbiano stabilito ostacoli per casi specifici (ad esempio, genere 1, superfici o specifiche configurazioni di intersezione), mancava un'ostruzione generale sensibile all'interazione tra i componenti "fantasma" (dove la mappa è costante) e i componenti "effettivi" (dove la mappa è non costante) della curva di dominio.

Metodologia
Gli autori impiegano tecniche di geometria algebrica centrate sulla teoria del disformismo delle mappe stabili e sulla risoluzione delle singolarità in famiglie.

1. Configurazione e Definizioni: Gli autori definiscono la "sotto-curva fantasma" come l'unione dei componenti irriducibili dove la mappa è costante e la "sotto-curva effettiva" come la chiusura del suo complemento. Il nucleo dell'ostruzione risiede nei punti di intersezione $C \cap E$ tra un componente fantasma $C$ e la sotto-curva effettiva $E$.
2. Famiglie di Regolarizzazione: Assumendo che una mappa stabile sia eventualmente regolarizzabile, gli autori costruiscono una famiglia di mappe stabili su un disco $\Delta$ dove la fibra centrale è la data mappa e le fibre generiche sono lisce.
3. Risoluzione delle Singolarità: Per analizzare il comportamento vicino ai nodi dove i componenti fantasma e quelli effettivi si incontrano, gli autori risolvono le singolarità dello spazio totale della famiglia. Modellano la geometria locale dei nodi utilizzando singolarità $A_l$ ($xy = t^{m+1}$) e compiono una sequenza di blow-up per ottenere una superficie non singolare $\tilde{S}$.
4. Costruzione di Funzioni Razionali: Espandendo il morfismo $F: \tilde{S} \to X$ come una serie di potenze nella variabile locale $t$, gli autori costruiscono una specifica funzione razionale sul componente fantasma. L'intuizione chiave è che, se una regolarizzazione esiste, questa funzione razionale deve esistere sulla curva fantasma con poli semplici prescritti e residui determinati dalle derivate della mappa sui componenti effettivi.
5. Ostruzione Cohomologica: L'esistenza di tale funzione razionale è ostacolata da una classe di coomologia in $H^1(C, \mathcal{O}_C) \otimes T_{X,q}$. Gli autori collegano i residui di questa funzione alle mappe di connessione $\delta_{C,p}$ (derivanti dalla sequenza esatta di coomologia della curva) e alle derivate $d(f|_E)_p$.

Contributi Chiave e Risultati

• Teorema 1.7 (Ostruzione Principale): Gli autori stabiliscono una condizione necessaria per l'eventuale regolarizzabilità. Se una mappa stabile è eventualmente regolarizzabile, una specifica mappa lineare coinvolgente il prodotto tensoriale degli spazi tangenti nei punti di intersezione deve avere un nucleo non banale. Nello specifico, la mappa:
  $$\bigoplus_{p \in C \cap E} \delta_{C,p} \otimes d(f|_E)_p : \bigoplus_{p \in C \cap E} T_{C,p} \otimes T_{E,p} \to H^1(C, \mathcal{O}_C) \otimes T_{X,q}$$
  deve fallire l'iniettività. Questa ostruzione deriva dalla non esistenza di funzioni razionali sui componenti fantasma con poli e residui prescritti.
• Corollario 1.8 (Condizione di Rango): Un'ostruzione più facilmente computabile, sebbene strettamente più debole, viene derivata. Essa afferma che per ogni componente fantasma, esiste un sottoinsieme di punti di intersezione $D$ tale che la somma dei ranghi della mappa derivata e della mappa di valutazione sulla fibra duale sia minore o uguale alla cardinalità di $D$.
• Esempi di Mappe Non Regolarizzabili: Il saggio fornisce esempi concreti nella Sezione 2 in cui la nuova ostruzione rileva la non regolarizzabilità in casi in cui i criteri precedenti falliscono:
  • Genere 1: Il risultato recupera le ostacoli ottimali noti (coerenti con [10, 12]).
  • Genere Superiore: Gli autori costruiscono esempi in cui un componente fantasma di genere $h \ge 2$ incontra la sotto-curva effettiva in più punti. In questi casi, la mappa (1.1) è un isomorfismo (implicando un nucleo banale), provando la non regolarizzabilità. Precedenti argomentazioni basate sul conteggio delle dimensioni o risultati limitati al genere 1 o 2 non potevano rilevare queste ostrazioni.
  • Curve Iperellittiche: Esempi che coinvolgono curve iperellittiche e permutazioni di componenti dimostrano che le ostrazioni puramente numeriche (come gli invarianti $\delta$) non possono distinguere tra mappe regolarizzabili e non regolarizzabili che condividono la stessa immagine e conteggi di componenti.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un'ostruzione generale alla eventuale regolarizzabilità delle mappe stabili che è "insensibile alla geometria globale di $X$" ma sensibile al comportamento locale vicino ai componenti fantasma. Ciò si allinea con il "criterio locale per l'eventuale regolarizzabilità" stabilito nel lavoro precedente degli autori [8].

Gli autori dichiarano esplicitamente che la loro ostruzione generalizza i risultati noti, inclusi quelli per il genere 1 e 2, e per le mappe dove i componenti fantasma incontrano la curva effettiva in al massimo due punti. Fondamentalmente, dimostrano che il loro teorema principale (Teorema 1.7) è strettamente più forte del loro Corollario 1.8 e strettamente più forte delle ostrazioni derivate dal conteggio delle dimensioni o dalla letteratura precedente (citando specificamente [10, 11, 12, 6, 2, 3]). Il lavoro rappresenta un passo verso la costruzione di un compattificazione naturale dello spazio delle curve lisce che mappano verso una varietà che sia più piccola dello spazio di moduli completo delle mappe stabili.

Il saggio non propone nuove applicazioni o direzioni sperimentali future, ma si concentra sulla caratterizzazione teorica del bordo dello spazio di moduli delle mappe lisce. I risultati sono presentati come condizioni necessarie; il fallimento dell'ostruzione non garantisce la regolarizzabilità, ma la soddisfazione dell'ostruzione (ovvero, la mappa è iniettiva) esclude definitivamente l'eventuale regolarizzabilità.