Projectivity of Moduli Spaces in the Higher-Rank DT/PT Correspondence

1. Il Problema e il Contesto

Il lavoro si inserisce nel contesto della corrispondenza DT/PT (Donaldson-Thomas / Pandharipande-Thomas), che stabilisce una relazione tra invarianti enumerativi che contengono curve su una varietà proiettiva Calabi-Yau tridimensionale $X$.

• Lato DT: Gli invarianti contano schemi chiusi di dimensione 1 (o fasci semi-stabili di Gieseker). Lo spazio dei moduli associato è noto essere proiettivo (costruito come quoziente GIT).
• Lato PT: Gli invarianti contano "coppie stabili" (stable pairs), ovvero complessi $O_X \xrightarrow{s} F$ dove $F$ è un fascio puro di dimensione 1. Per il caso di rango 1 e determinante banale, la proiettività è nota.
• La Questione Aperta: Il problema principale affrontato è la proiettività degli spazi dei moduli per oggetti PT-semistabili di rango superiore (higher-rank) su una varietà tridimensionale liscia e proiettiva. A differenza del caso di rango 1, non è noto se questi spazi siano associati a un problema GIT, rendendo incerta la loro proiettività. Inoltre, l'articolo indaga la proiettività degli spazi dei moduli di Bridgeland che appaiono durante l'attraversamento del "muro" (wall-crossing) tra le camere di Gieseker e PT.

2. Metodologia e Strumenti Teorici

Gli autori adottano un approccio che combina la teoria della stabilità di Bridgeland, la teoria dei fasci coerenti e la geometria algebrica dei fasci determinanti.

• Stack di Moduli: Costruiscono uno stack algebrico quasi-compatto $M_X(v)$ che contiene sia i fasci semi-stabili di Gieseker che gli oggetti PT-semistabili di una classe numerica fissa $v$.
• Fasci Determinanti (Determinantal Line Bundles): Utilizzano il morfismo di Donaldson per costruire fasci lineari su questi stack. In particolare, definiscono un fascio lineare $L_{m,n,a}$ basato su classi di Chern e restrizioni a superfici.
• Teoremi di Restrizione: Sfruttano teoremi di tipo Mehta-Ramanathan (estesi da lavori recenti) per dimostrare che la restrizione di un oggetto PT-stabile a una superficie generale $D \in |aH|$ (di grado sufficientemente alto) è isomorfa a un fascio di Gieseker-semistabile sulla superficie.
• Separazione dei Punti: Analizzano in che misura le sezioni di questi fasci lineari separano i punti dello stack. Utilizzano risultati di Álvarez-Cónsul e King per costruire sezioni globali che distinguono classi di equivalenza S.
• Ipotesi di Coprimo: Per la parte principale sulla proiettività dello spazio dei moduli PT, assumono che il rango e il grado (definiti tramite $H^2 \cdot ch_1(v)$) siano coprimi. Questa ipotesi garantisce l'assenza di oggetti semi-stabili strettamente, semplificando la struttura dello spazio dei moduli grossolano (coarse moduli space).

3. Contributi Chiave e Risultati Principali

A. Costruzione di un Fascio Lineare Semiamplo

Gli autori dimostrano l'esistenza di un fascio lineare determinale $L_{m,n,a}$ sullo stack $M_X(v)$ che è semiamplo.

• Dimostrano che le sezioni di questo fascio separano i punti dello stack finché le restrizioni degli oggetti alla superficie $D$ non sono S-equivalenti.
• Introducono un secondo fascio lineare $L_0$ (costruito analogamente alla costruzione per lo spazio di Gieseker) per migliorare la positività.

B. Proiettività dello Spazio dei Moduli PT (Teorema 1.1a)

Sotto l'ipotesi che il rango e il grado siano coprimi:

• Dimostrano che una combinazione lineare positiva di $L_1$ (derivato da $L_{m,n,a}$) e $L_0$ scende a un fascio lineare ampio sullo spazio dei moduli grossolano $M_{PT}^Z(v)$ degli oggetti PT-stabili.
• Risultato: Lo spazio dei moduli $M_{PT}^Z(v)$ è uno schema proiettivo. Questo conferma una congettura attesa nel campo (citando [Tod09, Remark 3.22]).
• La dimostrazione si basa sulla stratificazione dello spazio dei moduli tramite schemi Quot relativi (lavoro di Beentjes e Ricolfi) e sull'analisi della positività di $L_0$ su queste strati.

C. Proiettività degli Spazi di Moduli di Bridgeland (Teorema 1.1b)

Considerando varietà tridimensionali che ammettono condizioni di stabilità di Bridgeland costruite tramite il procedimento di "double-tilt" (es. Fano, abeliane, quintiche):

• Gli autori identificano lo stack $M_X(v)$ con lo stack di moduli di Bridgeland $M_\sigma(v)$ sulla parete (wall) che separa la camera di Gieseker da quella PT.
• Dimostrano che il fascio lineare $L_{m,n,a}$ scende a un fascio ampio sullo spazio dei moduli di Bridgeland $M_\sigma(v)$.
• Risultato: Lo spazio dei moduli di Bridgeland sulla parete è uno schema proiettivo.
• Nota importante: Questa parte della dimostrazione non richiede l'ipotesi di coprimo, sebbene il diagramma di wall-crossing completo sia attualmente noto solo in quel caso.

4. Significato e Impatto

Questo lavoro risolve un problema fondamentale nella geometria algebrica moderna:

1. Compattificazione: Fornisce una compattificazione proiettiva per gli spazi dei moduli di fasci riflessivi $\mu$-stabili di rango superiore, offrendo un'alternativa agli spazi di Gieseker.
2. Corrispondenza DT/PT: Completa il quadro della corrispondenza DT/PT di rango superiore, garantendo che tutti gli spazi dei moduli coinvolti (Gieseker, PT e Bridgeland sulla parete) siano oggetti geometrici ben comportati (schemi proiettivi).
3. Strumenti Generali: La metodologia sviluppata, in particolare l'uso di fasci determinanti e teoremi di restrizione per stabilire la proiettività in contesti di stabilità derivata, è applicabile ad altri problemi di moduli in dimensione superiore.
4. Conferma di Congetture: Conferma definitivamente l'aspettativa che gli spazi dei moduli PT di rango superiore siano proiettivi, chiudendo un capitolo aperto nella teoria degli invarianti enumerativi.

In sintesi, Pavel e Tajakka estendono la teoria della proiettività degli spazi dei moduli dal caso classico di rango 1 al caso di rango superiore, utilizzando tecniche sofisticate di stabilità di Bridgeland e geometria dei fasci, fornendo così una base solida per futuri studi sugli invarianti enumerativi in dimensioni superiori.