Ishii's conjecture and Bridgeland stability conditions for dihedral reflection groups

Sintesi Tecnica: La Congettura di Ishii e le Condizioni di Stabilità di Bridgeland per i Gruppi di Riflessione Diedrici

Enunciato del Problema
Il lavoro affronta la congettura di Ishii relativa alla relazione tra geometria birazionale e spazi moduli di rappresentazioni di algebre non commutative nel contesto delle risoluzioni non crepanti. Nello specifico, per un sottogruppo finito $G \subset GL_2(\mathbb{C})$, la congettura afferma che una risoluzione $X$ della singolarità quoziente $\mathbb{C}^2/G$ è dominata dalla risoluzione massima della coppia $(\mathbb{C}^2/G, B)$ (dove $B$ è un divisore di frontiera) se e solo se $X$ è isomorfa a uno spazio moduli $M_\theta$ di $G$-costellazioni $\theta$-stabili per qualche parametro di stabilità generico di King $\theta \in \Theta(G)$. Sebbene la congettura fosse stata precedentemente dimostrata per gruppi abeliani e sottogruppi piccoli, e successivamente per i gruppi di riflessione diedrici da Capellan mediante variazione di GIT su $\mathbb{C}^3$, questo lavoro mira a fornire una nuova dimostrazione specificamente per i gruppi di riflessione diedrici utilizzando il quadro delle condizioni di stabilità di Bridgeland.

Metodologia
La strategia dell'autore si basa sulla corrispondenza di McKay derivata per tradurre il problema dall'impostazione algebrica delle $G$-costellazioni all'impostazione geometrica delle condizioni di stabilità di Bridgeland su uno specifico stack di Deligne-Mumford (DM).

1. Impostazione Geometrica: Sia $G$ un gruppo di riflessione diedrico e $H = G \cap SL_2(\mathbb{C})$. L'autore considera $Y_H = H\text{-Hilb}(\mathbb{C}^2)$, la risoluzione minima di $\mathbb{C}^2/H$, e costruisce lo stack $Y = [Y_H / (G/H)]$. Questo stack $Y$ funge da risoluzione massima nella congettura di Ishii.
2. Equivalenza Derivata: Uno strumento chiave è l'equivalenza esatta $\Phi: D^b_c(Y) \cong D^b_c([\mathbb{C}^2/G])$, indotta dalla famiglia universale di $H$-cluster, che mette in relazione la categoria derivata dello stack con quella dello stack quoziente.
3. Costruzione Geometrica ($\mu_{geom}$): Adattando il lavoro di Toda sulle superfici, l'autore costruisce una mappa continua $\mu_{geom}$ da uno spazio dei parametri (che coinvolge il gruppo di Neron-Severi orbifold $NS_{orb}(Y)_\mathbb{R}$) alla varietà di stabilità $\text{Stab}_n(Y)$. Ciò comporta:
   • La definizione di cuori specifici di t-strutture ($\mathcal{C}^0_{Y/X}$) associati a contrazioni $Y \to X$.
   • La costruzione di carichi centrali $Z_{\omega, B}^{t, s}$ su $D^b_c(Y)$ che incorporano sia la geometria della risoluzione sia i settori twistati dello stack.
   • L'instaurazione del fatto che, per parametri in una camera aperta specifica $U(X)$, lo spazio moduli di Bridgeland di oggetti stabili con classe $[\pi^* \mathcal{O}_y]$ è isomorfo alla contrazione $X$.
4. Costruzione Algebrica ($\mu_{alg}$): L'autore utilizza la costruzione di Bayer–Craw–Zhang, che fornisce una mappa continua $\mu'_{alg}$ dallo spazio dei parametri di stabilità di King $\Theta(G)$ a $\text{Stab}([\mathbb{C}^2/G])$.
5. Confronto e Incollamento: Il risultato tecnico centrale consiste nel confrontare queste due costruzioni. Identificando le varietà di stabilità tramite $\Phi$ e applicando un'azione di rotazione e un cambiamento di parametri (tramite isomorfismi $\gamma$ e $\delta$), l'autore dimostra che la sezione geometrica $\mu_{geom}$ e la sezione algebrica $\mu_{alg}$ coincidono sul loro dominio comune. Ciò richiede una deformazione in uno spazio dei parametri ausiliario $B$ per garantire la sovrapposizione dei domini, poiché le fette reali standard delle varietà di stabilità non si intersecano in modo non banale.

Contributi e Risultati Chiave

• Teorema A: Per ogni contrazione liscia $Y \to X$ della risoluzione massima, esiste un sottoinsieme aperto connesso $U(X) \subset \text{Stab}_n(Y)$ tale che lo spazio moduli di Bridgeland $M_\sigma([\pi^* \mathcal{O}_y])$ è isomorfo a $X$ per ogni $\sigma \in U(X)$. Inoltre, se $X$ e $X'$ sono correlate da un singolo blow-up, l'intersezione delle loro camere corrispondenti ha codimensione reale uno.
• Teorema B: Dopo aver identificato le varietà di stabilità tramite l'equivalenza derivata $\Phi$ e applicato specifici cambiamenti di parametri e rotazioni, le sezioni locali della mappa geometrica ($\mu_{geom}$) e della mappa algebrica ($\mu'_{alg}$) coincidono sul loro dominio comune.
• Corollario 1.3 (Congettura di Ishii per Gruppi Diedrici): Combinando il Teorema A e il Teorema B, l'autore recupera il risultato di Capellan: per ogni contrazione $Y \to X$, esiste una camera GIT $V(X) \subset \Theta(G)$ tale che $M_\theta \cong X$ per $\theta$ generico in $V(X)$. Ciò conferma la congettura di Ishii per i gruppi di riflessione diedrici.
• Esistenza degli Spazi Moduli: Il lavoro risolve il problema dell'esistenza per gli spazi moduli di Bridgeland in questo contesto non proiettivo realizzandoli come spazi moduli di King tramite l'equivalenza derivata.

Significato e Affermazioni
Il lavoro afferma di fornire una "nuova dimostrazione" della congettura di Ishii per i gruppi di riflessione diedrici che offre una prospettiva diversa dagli approcci precedenti.

• Quadro Concettuale: A differenza della dimostrazione di Capellan, che si basava sull'immersione di $\mathbb{C}^2$ in $\mathbb{C}^3$ e sullo studio delle variazioni di GIT su $\mathbb{C}^3$, questo approccio rimane nell'impostazione di dimensione due utilizzando la stabilità di Bridgeland.
• Flessibilità: L'autore sostiene che il proprio approccio modifica il metodo originale di Ishii in un quadro più flessibile (spazi moduli di Bridgeland). La dimostrazione originale di Ishii si basava sulla risoluzione minima che domina un quoziente specifico, una condizione non soddisfatta nel caso dei gruppi di riflessione diedrici dove $\mathbb{C}^2/G$ è già la "risoluzione minima" in un senso specifico; l'approccio di Bridgeland aggira questo ostacolo.
• Semplicità di Descrizione: Il lavoro nota che la descrizione degli spazi moduli di Bridgeland è "molto semplice" in questo contesto: per una contrazione $f: Y \to X$, lo spazio moduli è costruito come $\{L f^* \mathcal{O}_x \mid x \in X\}$.
• Attraversamento dei Bordi (Wall-Crossing): Il lavoro codifica la geometria birazionale della risoluzione massima $Y$ nei fenomeni di attraversamento dei bordi degli spazi moduli di Bridgeland, estendendo l'interpretazione di Toda del Programma dei Modelli Minimi (MMP) a questo specifico contesto non crepante e teorico degli stack.

L'autore mantiene una modestia riguardo alla portata, notando che la classe di stack considerata è "abbastanza speciale", ma che l'impostazione ammette una ricca famiglia di condizioni di stabilità. Il lavoro è presentato come una dimostrazione della congettura nel caso diedrico e come una dimostrazione di come la stabilità di Bridgeland offra una nuova prospettiva sulla congettura di Ishii, potenzialmente applicabile a contesti più generali.