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

Technische Samenvatting: Ishii's Vermoeden en Bridgeland-stabiliteitsvoorwaarden voor Dihedrale Reflectiegroepen

Probleemstelling
Het artikel behandelt Ishii's vermoeden betreffende de relatie tussen birationale meetkunde en de moduli-ruimten van representaties van niet-commutatieve algebra's in de context van niet-crepante resoluties. Specifiek stelt het vermoeden voor een eindige ondergroep $G \subset GL_2(\mathbb{C})$ dat een resolutie $X$ van de quotiëntsingulariteit $\mathbb{C}^2/G$ wordt gedomineerd door de maximale resolutie van het paar $(\mathbb{C}^2/G, B)$ (waarbij $B$ een randdivisor is) dan en slechts dan als $X$ isomorf is met een moduli-ruimte $M_\theta$ van $\theta$-stabiele $G$-constellaties voor een zekere generieke King-stabiliteitsparameter $\theta \in \Theta(G)$. Hoewel het vermoeden eerder was bewezen voor abelse groepen en kleine ondergroepen, en later voor dihedrale reflectiegroepen door Capellan via variatie van GIT op $\mathbb{C}^3$, tracht dit artikel een nieuw bewijs te leveren specifiek voor dihedrale reflectiegroepen met behulp van het kader van Bridgeland-stabiliteitsvoorwaarden.

Methodologie
De strategie van de auteur steunt op de afgeleide McKay-correspondentie om het probleem te vertalen van de algebraïsche setting van $G$-constellaties naar de geometrische setting van Bridgeland-stabiliteitsvoorwaarden op een specifieke Deligne-Mumford (DM) stack.

1. Geometrische Opstelling: Laat $G$ een dihedrale reflectiegroep zijn en $H = G \cap SL_2(\mathbb{C})$. De auteur beschouwt $Y_H = H\text{-Hilb}(\mathbb{C}^2)$, de minimale resolutie van $\mathbb{C}^2/H$, en construeert de stack $Y = [Y_H / (G/H)]$. Deze stack $Y$ dient als de maximale resolutie in Ishii's vermoeden.
2. Afgeleide Equivalentie: Een cruciaal hulpmiddel is de exacte equivalentie $\Phi: D^b_c(Y) \cong D^b_c([\mathbb{C}^2/G])$, geïnduceerd door de universele familie van $H$-clusters, die de afgeleide categorie van de stack relateert aan die van de quotiëntstack.
3. Geometrische Constructie ($\mu_{geom}$): Door het werk van Toda over oppervlakken aan te passen, construeert de auteur een continue afbeelding $\mu_{geom}$ van een parameterruimte (involverend de orbifold Neron-Severi-groep $NS_{orb}(Y)_\mathbb{R}$) naar de stabiliteitsvariëteit $\text{Stab}_n(Y)$. Dit omvat:
   • Het definiëren van specifieke harten van t-structuren ($\mathcal{C}^0_{Y/X}$) geassocieerd met contracties $Y \to X$.
   • Het construeren van centrale ladingen $Z_{\omega, B}^{t, s}$ op $D^b_c(Y)$ die zowel de geometrie van de resolutie als de getwiste sectoren van de stack incorporeren.
   • Het vaststellen dat voor parameters in een specifieke open kamer $U(X)$, de Bridgeland-moduli-ruimte van stabiele objecten met klasse $[\pi^* \mathcal{O}_y]$ isomorf is met de contractie $X$.
4. Algebraïsche Constructie ($\mu_{alg}$): De auteur maakt gebruik van de Bayer–Craw–Zhang-construktie, die een continue afbeelding $\mu'_{alg}$ verschaft van de ruimte van King-stabiliteitsparameters $\Theta(G)$ naar $\text{Stab}([\mathbb{C}^2/G])$.
5. Vergelijking en Aaneenschakeling: De kern van de technische prestatie is het vergelijken van deze twee constructies. Door de stabiliteitsvariëteiten te identificeren via $\Phi$ en een rotatie-actie en een verandering van parameters toe te passen (via isomorfismen $\gamma$ en $\delta$), demonstreert de auteur dat het geometrische sectie $\mu_{geom}$ en het algebraïsche sectie $\mu_{alg}$ samenvallen op hun gemeenschappelijke domein. Dit vereist een deformatie in een hulp parameterruimte $B$ om te waarborgen dat de domeinen overlappen, aangezien de standaard reële sneden van de stabiliteitsvariëteiten niet triviaal snijden.

Belangrijkste Bijdragen en Resultaten

• Stelling A: Voor elke gladde contractie $Y \to X$ van de maximale resolutie bestaat er een verbonden open deelverzameling $U(X) \subset \text{Stab}_n(Y)$ zodanig dat de Bridgeland-moduli-ruimte $M_\sigma([\pi^* \mathcal{O}_y])$ isomorf is met $X$ voor elke $\sigma \in U(X)$. Bovendien, als $X$ en $X'$ gerelateerd zijn door een enkele opblazing, heeft de doorsnede van hun corresponderende kamers reële codimensie één.
• Stelling B: Na het identificeren van de stabiliteitsvariëteiten via de afgeleide equivalentie $\Phi$ en het toepassen van specifieke parameterveranderingen en rotaties, vallen de lokale secties van de geometrische afbeelding ($\mu_{geom}$) en de algebraïsche afbeelding ($\mu'_{alg}$) samen op hun gemeenschappelijke domein.
• Corollarium 1.3 (Ishii's Vermoeden voor Dihedrale Groepen): Door Stelling A en Stelling B te combineren, herstelt de auteur Capellan's resultaat: voor elke contractie $Y \to X$ bestaat er een GIT-kamer $V(X) \subset \Theta(G)$ zodanig dat $M_\theta \cong X$ voor generieke $\theta \in V(X)$. Dit bevestigt Ishii's vermoeden voor dihedrale reflectiegroepen.
• Bestaan van Moduli: Het artikel lost het existentieprobleem voor de Bridgeland-moduli-ruimten in deze niet-projectieve setting op door ze te realiseren als King-moduli-ruimten via de afgeleide equivalentie.

Betekenis en Claims
Het artikel claimt een "nieuw bewijs" te leveren van Ishii's vermoeden voor dihedrale reflectiegroepen dat een ander perspectief biedt dan eerdere benaderingen.

• Conceptueel Kader: In tegenstelling tot Capellan's bewijs, dat leunde op het inbedden van $\mathbb{C}^2$ in $\mathbb{C}^3$ en het bestuderen van GIT-variaties op $\mathbb{C}^3$, blijft deze benadering binnen de tweedimensionale setting met behulp van Bridgeland-stabiliteit.
• Flexibiliteit: De auteur betoogt dat hun aanpak Ishii's oorspronkelijke methode omzet in een flexibeler kader (Bridgeland-moduli-ruimten). Ishii's oorspronkelijke bewijs leunde op de minimale resolutie die een specifiek quotiënt domineert, een voorwaarde die niet wordt vervuld in het geval van dihedrale reflecties waar $\mathbb{C}^2/G$ al de 'minimale resolutie' is in een specifiek opzicht; de Bridgeland-aanpak omzeilt deze obstructie.
• Eenvoud van Beschrijving: Het artikel merkt op dat de beschrijving van de Bridgeland-moduli-ruimten in deze context "zeer eenvoudig" is: voor een contractie $f: Y \to X$ wordt de moduli-ruimte geconstrueerd als $\{L f^* \mathcal{O}_x \mid x \in X\}$.
• Wand-overgang: Het werk codeert de birationale meetkunde van de maximale resolutie $Y$ in de wand-overgangsverschijnselen van Bridgeland-moduli-ruimten, waarmee Toda's interpretatie van het Minimal Model Program (MMP) wordt uitgebreid naar deze specifieke niet-crepante, stack-theoretische setting.

De auteur blijft bescheiden wat betreft de reikwijdte, opmerkend dat de klasse van beschouwde stacks "nogal speciaal" is, maar dat de setting een rijke familie van stabiliteitsvoorwaarden toelaat. Het werk wordt gepresenteerd als een bewijs van het vermoeden in het dihedrale geval en als een demonstratie van hoe Bridgeland-stabiliteit een nieuw perspectief biedt op Ishii's vermoeden, mogelijk toepasbaar op meer algemene settings.