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

Resumen Técnico: La Conjetura de Ishii y las Condiciones de Estabilidad de Bridgeland para Grupos de Reflexión Diédricos

Enunciado del Problema
El artículo aborda la conjetura de Ishii relativa a la relación entre la geometría biracional y los espacios de móduli de representaciones de álgebras no conmutativas en el contexto de resoluciones no crepantes. Específicamente, para un subgrupo finito $G \subset GL_2(\mathbb{C})$, la conjetura postula que una resolución $X$ de la singularidad cociente $\mathbb{C}^2/G$ está dominada por la resolución máxima del par $(\mathbb{C}^2/G, B)$ (donde $B$ es un divisor frontera) si y solo si $X$ es isomorfa a un espacio de móduli $M_\theta$ de $G$-constelaciones $\theta$-estables para algún parámetro de estabilidad genérico de King $\theta \in \Theta(G)$. Si bien la conjetura fue previamente demostrada para grupos abelianos y subgrupos pequeños, y más tarde para grupos de reflexión diédricos por Capellan mediante variación de GIT en $\mathbb{C}^3$, este artículo busca proporcionar una nueva prueba específicamente para grupos de reflexión diédricos utilizando el marco de las condiciones de estabilidad de Bridgeland.

Metodología
La estrategia del autor se basa en la correspondencia de McKay derivada para trasladar el problema desde el contexto algebraico de las $G$-constelaciones al contexto geométrico de las condiciones de estabilidad de Bridgeland sobre un pila (stack) de Deligne-Mumford (DM) específica.

1. Configuración Geométrica: Sea $G$ un grupo de reflexión diédrico y $H = G \cap SL_2(\mathbb{C})$. El autor considera $Y_H = H\text{-Hilb}(\mathbb{C}^2)$, la resolución mínima de $\mathbb{C}^2/H$, y construye la pila $Y = [Y_H / (G/H)]$. Esta pila $Y$ sirve como la resolución máxima en la conjetura de Ishii.
2. Equivalencia Derivada: Una herramienta clave es la equivalencia exacta $\Phi: D^b_c(Y) \cong D^b_c([\mathbb{C}^2/G])$, inducida por la familia universal de $H$-cúmulos, que relaciona la categoría derivada de la pila con la del pila cociente.
3. Construcción Geométrica ($\mu_{geom}$): Adaptando el trabajo de Toda sobre superficies, el autor construye un mapa continuo $\mu_{geom}$ desde un espacio de parámetros (que involucra el grupo de Neron-Severi orbifold $NS_{orb}(Y)_\mathbb{R}$) hasta la variedad de estabilidad $\text{Stab}_n(Y)$. Esto implica:
   • Definir corazones específicos de t-estructuras ($\mathcal{C}^0_{Y/X}$) asociados a contracciones $Y \to X$.
   • Construir cargas centrales $Z_{\omega, B}^{t, s}$ sobre $D^b_c(Y)$ que incorporan tanto la geometría de la resolución como los sectores retorcidos de la pila.
   • Establecer que, para parámetros en una cámara abierta específica $U(X)$, el espacio de móduli de Bridgeland de objetos estables con clase $[\pi^* \mathcal{O}_y]$ es isomorfo a la contracción $X$.
4. Construcción Algebraica ($\mu_{alg}$): El autor utiliza la construcción de Bayer–Craw–Zhang, que proporciona un mapa continuo $\mu'_{alg}$ desde el espacio de parámetros de estabilidad de King $\Theta(G)$ hacia $\text{Stab}([\mathbb{C}^2/G])$.
5. Comparación y Union: El logro técnico central es comparar estas dos construcciones. Al identificar las variedades de estabilidad mediante $\Phi$ y aplicar una acción de rotación y un cambio de parámetros (mediante isomorfismos $\gamma$ y $\delta$), el autor demuestra que la sección geométrica $\mu_{geom}$ y la sección algebraica $\mu_{alg}$ coinciden en su dominio común. Esto requiere una deformación en un espacio de parámetros auxiliar $B$ para asegurar que los dominios se superpongan, ya que las secciones reales estándar de las variedades de estabilidad no se intersectan de manera no trivial.

Contribuciones y Resultados Clave

• Teorema A: Para cualquier contracción suave $Y \to X$ de la resolución máxima, existe un subconjunto abierto conexo $U(X) \subset \text{Stab}_n(Y)$ tal que el espacio de móduli de Bridgeland $M_\sigma([\pi^* \mathcal{O}_y])$ es isomorfo a $X$ para cualquier $\sigma \in U(X)$. Además, si $X$ y $X'$ están relacionadas por una única explosión (blowup), la intersección de sus cámaras correspondientes tiene codimensión real uno.
• Teorema B: Tras identificar las variedades de estabilidad mediante la equivalencia derivada $\Phi$ y aplicar cambios de parámetros y rotaciones específicos, las secciones locales del mapa geométrico ($\mu_{geom}$) y del mapa algebraico ($\mu'_{alg}$) coinciden en su dominio común.
• Corolario 1.3 (Conjetura de Ishii para Grupos Diédricos): Combinando el Teorema A y el Teorema B, el autor recupera el resultado de Capellan: para cada contracción $Y \to X$, existe una cámara de GIT $V(X) \subset \Theta(G)$ tal que $M_\theta \cong X$ para $\theta$ genérico en $V(X)$. Esto confirma la conjetura de Ishii para grupos de reflexión diédricos.
• Existencia de Móduli: El artículo resuelve el problema de existencia para los espacios de móduli de Bridgeland en este contexto no proyectivo, realizándolos como espacios de móduli de King mediante la equivalencia derivada.

Significado y Afirmaciones
El artículo afirma proporcionar una "nueva prueba" de la conjetura de Ishii para grupos de reflexión diédricos que ofrece una perspectiva diferente de los enfoques anteriores.

• Marco Conceptual: A diferencia de la prueba de Capellan, que se basaba en incrustar $\mathbb{C}^2$ en $\mathbb{C}^3$ y estudiar variaciones de GIT en $\mathbb{C}^3$, este enfoque se mantiene dentro del contexto de dimensión dos utilizando la estabilidad de Bridgeland.
• Flexibilidad: El autor argumenta que su enfoque modifica el método original de Ishii en un marco más flexible (espacios de móduli de Bridgeland). La prueba original de Ishii dependía de que la resolución mínima dominara un cociente específico, una condición no cumplida en el caso de grupos de reflexión diédricos donde $\mathbb{C}^2/G$ ya es la "resolución mínima" en un sentido específico; el enfoque de Bridgeland elude este obstáculo.
• Simplicidad de la Descripción: El artículo señala que la descripción de los espacios de móduli de Bridgeland es "muy simple" en este contexto: para una contracción $f: Y \to X$, el espacio de móduli se construye como $\{L f^* \mathcal{O}_x \mid x \in X\}$.
• Cruce de Paredes: El trabajo codifica la geometría biracional de la resolución máxima $Y$ en los fenómenos de cruce de paredes de los espacios de móduli de Bridgeland, extendiendo la interpretación de Toda del Programa de Modelos Mínimos (MMP) a este contexto específico no crepante y basado en pilas.

El autor se mantiene modesto respecto al alcance, señalando que la clase de pilas considerada es "bastante especial", pero que el contexto admite una familia rica de condiciones de estabilidad. El trabajo se presenta como una prueba de la conjetura en el caso diédrico y una demostración de cómo la estabilidad de Bridgeland ofrece una nueva perspectiva sobre la conjetura de Ishii, potencialmente aplicable a contextos más generales.