Proper moduli spaces of orthosymplectic complexes

Sintesi Tecnica: Spazi Moduli Propri di Complessi Ortosimpletici

Enunciato del Problema
Il saggio affronta il problema della compattificazione degli spazi moduli di fasci principali $G$ su una varietà proiettiva smooth complessa $X$ quando $\dim(X) \geq 2$. Mentre gli spazi moduli dei fasci principali semistabili sono compatti per le curve (Ramanathan), i casi in dimensioni superiori richiedono una nozione di "fasci principali singolari" per ottenere la compattezza. Gli approcci esistenti utilizzano $\rho$-sheaves principali (dipendenti da una rappresentazione $\rho$ di $G$). L'autore propone un'alternativa di compattificazione specifica per i gruppi ortogonali ($O_n$) e simpletici ($Sp_{2n}$), utilizzando complessi ortosimpletici. Questi sono complessi di fasci coerenti isomorfi ai propri duali derivati. La sfida centrale è stabilire l'esistenza di spazi moduli buoni e propri per gli stack moduli di complessi ortosimpletici di Bridgeland semistabili.

Metodologia
Il saggio impiega un approccio a due fronti che combina la teoria astratta degli stack con applicazioni specifiche alle categorie derivate:

1. Teoria Generale dei Loci Fissi e degli Stack di Mappatura:
   L'autore stabilisce un risultato generale riguardante la preservazione degli "spazi moduli buoni" sotto azioni di gruppi finiti e stack di mappatura:

   • Loci Fissi: Per uno stack algebrico $\mathcal{X}$ con uno spazio modulo buono $\mathcal{X} \to X$, il saggio investiga il locus fisso $\mathcal{X}^\Gamma$ sotto l'azione di un gruppo finito $\Gamma$.
   • Stack di Mappatura: Il saggio analizza lo stack di mappatura $\text{Map}(B\Gamma, \mathcal{X})$, mostrando che esso è equivalente al locus fisso quando l'azione è banale.
   • Criterio Valutativo: Il cuore della dimostrazione risiede nella verifica del criterio valutativo per la chiusura universale. L'autore adatta i risultati di Alper, Halpern-Leistner e Heinloth [2] per dimostrare che, se $\mathcal{X}$ ammette uno spazio modulo buono, allora anche $\text{Map}(B\Gamma, \mathcal{X})$ (e conseguentemente $\mathcal{X}^\Gamma$ sotto ipotesi di separazione) ammette uno spazio modulo buono che è finito sopra la base originale. Ciò comporta il sollevamento di omomorfismi di gruppo $\rho: \Gamma \to \text{Aut}(x_K)$ dal fibra generica a un'estensione di anelli di valuazione discreti.

2. Applicazione ai Complessi Ortosimpletici:

   • Definizione: Un complesso ortosimpletico è definito come un punto fisso di un'azione $\mathbb{Z}/2$ sullo stack modulo dei complessi perfetti $\text{Perf}(X)$. Questa azione è indotta da una struttura auto-duale $D = R\text{Hom}(I^*(-), L)[s]$ sulla categoria dg, dove $I$ è un'involuzione, $L$ un fascio linea e $s$ un intero.
   • Stabilità: L'autore considera condizioni di stabilità di Bridgeland $\tau = (Z, \mathcal{P})$ che siano auto-duali (ovvero $(Z, \mathcal{P}) = (Z^\vee, \mathcal{P}^\vee)$).
   • Costruzione: Lo stack modulo dei complessi ortosimpletici semistabili è identificato come il locus fisso dello stack modulo dei complessi semistabili sotto l'azione $\mathbb{Z}/2$.

Contributi Chiave e Risultati

• Teorema 3.1 (Risultato Generale): Sia $\mathcal{X}$ uno stack algebrico localmente di tipo finito con diagonale affine su uno spazio algebrico noetheriano $S$ di caratteristica zero, che ammette uno spazio modulo buono $\mathcal{X} \to X$.

  • Per ogni gruppo finito $\Gamma$, lo stack di mappatura $\text{Map}(B\Gamma, \mathcal{X})$ ammette uno spazio modulo buono finito su $X$.
  • Se $X$ è separato, il locus fisso $\mathcal{X}^\Gamma$ ammette anch'esso uno spazio modulo buono finito su $X$.
  • Nota: L'assunzione che $X$ sia separato è necessaria per il risultato sul locus fisso; esistono controesempi se $X$ non è separato (ad esempio, la retta con due origini).

• Teorema 4.4 (Applicazione Principale): Sia $X$ una varietà $\mathbb{C}$-smooth proiettiva connessa con dati auto-duali fissi $(I, L, s, \epsilon)$. Sia $\tau$ una condizione di stabilità di Bridgeland auto-duale con carica centrale razionale che soddisfi piattezza generica e limitatezza (boundedness).

  • Per ogni carattere di Chern $\alpha$ tale che $\alpha = D(\alpha)$ e $Z(\alpha) \in \mathbb{R}_{>0}$, lo stack modulo dei complessi auto-duali $\tau$-semistabili con carattere di Chern $\alpha$ ammette uno spazio modulo buono proprio.
  • Di conseguenza, ogni componente connessa dello stack modulo dei complessi ortosimpletici semistabili possiede uno spazio modulo buono proprio.

Significato e Rivendicazioni
Il saggio sostiene che questi spazi modulo buoni propri fungano da candidati per la compattificazione degli spazi moduli di fasci principali per $O_n$ e $Sp_{2n}$. L'autore nota che, nel contesto della teoria di Donaldson–Thomas motivica, i complessi ortosimpletici appaiono più convenienti rispetto alle $\rho$-sheaves principali.

Il saggio evidenzia proprietà geometriche specifiche nel caso in cui $X$ sia una superficie K3 o un'abelian surface:

• Lo stack modulo ammette un potenziamento derivato con una struttura simpletica traslata di grado 0 (0-shifted symplectic structure).
• Il risultante spazio modulo buono proprio ammette una struttura di Poisson, che si restringe a una struttura simpletica sul locus stabile.
• L'autore suggerisce che questi spazi siano localmente modellati su riduzioni simpletiche di moduli di rappresentazioni di quiver auto-duali, sebbene il saggio non risolva se essi possiedano singolarità simpletiche o ammettano risoluzioni simpletiche (questioni lasciate aperte per analisi future).

Il lavoro si basa sull'esistenza di spazi modulo buoni propri per lo stack modulo sottostante dei complessi semistabili (stabilito in [2]) ed estende tale esistenza ai loci fissi tramite la strumentazione generale sviluppata nella Sezione 3.