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

Resumo Técnico: A Conjectura de Ishii e Condições de Estabilidade de Bridgeland para Grupos de Reflexão Diédricos

Enunciado do Problema
O artigo aborda a conjectura de Ishii relativa à relação entre geometria biracional e os espaços de módulos de representações de álgebras não comutativas no contexto de resoluções não-crepantes. Especificamente, para um subgrupo finito $G \subset GL_2(\mathbb{C})$, a conjectura postula que uma resolução $X$ da singularidade quociente $\mathbb{C}^2/G$ é dominada pela resolução máxima do par $(\mathbb{C}^2/G, B)$ (onde $B$ é um divisor de fronteira) se e somente se $X$ for isomorfa a um espaço de módulos $M_\theta$ de $G$-constelações $\theta$-estáveis para algum parâmetro de estabilidade genérico de King $\theta \in \Theta(G)$. Embora a conjectura tenha sido anteriormente provada para grupos abelianos e subgrupos pequenos, e posteriormente para grupos de reflexão diédricos por Capellan usando variação de GIT em $\mathbb{C}^3$, este artigo busca fornecer uma nova prova especificamente para grupos de reflexão diédricos utilizando o arcabouço das condições de estabilidade de Bridgeland.

Metodologia
A estratégia do autor baseia-se na correspondência de McKay derivada para traduzir o problema do contexto algébrico das $G$-constelações para o contexto geométrico das condições de estabilidade de Bridgeland em um específico pilha de Deligne-Mumford (DM).

1. Configuração Geométrica: Seja $G$ um grupo de reflexão diédrico e $H = G \cap SL_2(\mathbb{C})$. O autor considera $Y_H = H\text{-Hilb}(\mathbb{C}^2)$, a resolução mínima de $\mathbb{C}^2/H$, e constrói a pilha $Y = [Y_H / (G/H)]$. Esta pilha $Y$ serve como a resolução máxima na conjectura de Ishii.
2. Equivalência Derivada: Uma ferramenta chave é a equivalência exata $\Phi: D^b_c(Y) \cong D^b_c([\mathbb{C}^2/G])$, induzida pela família universal de $H$-aglomerados, que relaciona a categoria derivada da pilha com a do pilha quociente.
3. Construção Geométrica ($\mu_{geom}$): Adaptando o trabalho de Toda sobre superfícies, o autor constrói um mapa contínuo $\mu_{geom}$ de um espaço de parâmetros (envolvendo o grupo de Neron-Severi orbifold $NS_{orb}(Y)_\mathbb{R}$) para a variedade de estabilidade $\text{Stab}_n(Y)$. Isso envolve:
   • Definir corações específicos de t-estruturas ($\mathcal{C}^0_{Y/X}$) associados a contrações $Y \to X$.
   • Construir cargas centrais $Z_{\omega, B}^{t, s}$ em $D^b_c(Y)$ que incorporam tanto a geometria da resolução quanto os setores torcidos da pilha.
   • Estabelecer que, para parâmetros em uma câmara aberta específica $U(X)$, o espaço de módulos de Bridgeland de objetos estáveis com classe $[\pi^* \mathcal{O}_y]$ é isomorfo à contração $X$.
4. Construção Algébrica ($\mu_{alg}$): O autor utiliza a construção de Bayer–Craw–Zhang, que fornece um mapa contínuo $\mu'_{alg}$ do espaço dos parâmetros de estabilidade de King $\Theta(G)$ para $\text{Stab}([\mathbb{C}^2/G])$.
5. Comparação e Colagem: A conquista técnica central é comparar essas duas construções. Ao identificar as variedades de estabilidade via $\Phi$ e aplicar uma ação de rotação e uma mudança de parâmetros (via isomorfismos $\gamma$ e $\delta$), o autor demonstra que a seção geométrica $\mu_{geom}$ e a seção algébrica $\mu_{alg}$ coincidem em seu domínio comum. Isso requer uma deformação em um espaço de parâmetros auxiliar $B$ para garantir que os domínios se sobreponham, uma vez que as fatias reais padrão das variedades de estabilidade não se intersectam de forma não trivial.

Principais Contribuições e Resultados

• Teorema A: Para qualquer contração suave $Y \to X$ da resolução máxima, existe um subconjunto aberto conexo $U(X) \subset \text{Stab}_n(Y)$ tal que o espaço de módulos de Bridgeland $M_\sigma([\pi^* \mathcal{O}_y])$ é isomorfo a $X$ para qualquer $\sigma \in U(X) Além disso, se$X$e$X'$ estiverem relacionados por uma única explosão, a interseção de suas câmaras correspondentes tem codimensão real um.
• Teorema B: Após identificar as variedades de estabilidade via a equivalência derivada $\Phi$ e aplicar mudanças específicas de parâmetros e rotações, as seções locais do mapa geométrico ($\mu_{geom}$) e do mapa algébrico ($\mu'_{alg}$) coincidem em seu domínio comum.
• Corolário 1.3 (Conjectura de Ishii para Grupos Diédricos): Ao combinar o Teorema A e o Teorema B, o autor recupera o resultado de Capellan: para cada contração $Y \to X$, existe uma câmara de GIT $V(X) \subset \Theta(G)$ tal que $M_\theta \cong X$ para $\theta$ genérico em $V(X)$. Isso confirma a conjectura de Ishii para grupos de reflexão diédricos.
• Existência de Módulos: O artigo resolve o problema de existência para os espaços de módulos de Bridgeland neste contexto não projetivo, realizando-os como espaços de módulos de King via a equivalência derivada.

Significado e Afirmações
O artigo afirma fornecer uma "nova prova" da conjectura de Ishii para grupos de reflexão diédricos que oferece uma perspectiva diferente das abordagens anteriores.

• Arcabouço Conceitual: Diferentemente da prova de Capellan, que dependia da incorporação de $\mathbb{C}^2$ em $\mathbb{C}^3$ e do estudo de variações de GIT em $\mathbb{C}^3$, esta abordagem permanece dentro do contexto de dimensão dois usando estabilidade de Bridgeland.
• Flexibilidade: O autor argumenta que sua abordagem modifica o método original de Ishii em um arcabouço mais flexível (espaços de módulos de Bridgeland). A prova original de Ishii dependia da resolução mínima dominar um quociente específico, uma condição não satisfeita no caso de reflexão diédrica onde $\mathbb{C}^2/G$ já é a "resolução mínima" em um sentido específico; a abordagem de Bridgeland contorna esse obstáculo.
• Simplicidade da Descrição: O artigo observa que a descrição dos espaços de módulos de Bridgeland é "muito simples" neste contexto: para uma contração $f: Y \to X$, o espaço de módulos é construído como $\{L f^* \mathcal{O}_x \mid x \in X\}$.
• Cruzamento de Paredes: O trabalho codifica a geometria biracional da resolução máxima $Y$ nos fenômenos de cruzamento de paredes dos espaços de módulos de Bridgeland, estendendo a interpretação de Toda do Programa de Modelo Mínimo (MMP) para este contexto específico não-crepante e baseado em pilhas.

O autor mantém-se modesto quanto ao escopo, observando que a classe de pilhas considerada é "bastante especial", mas que o contexto admite uma família rica de condições de estabilidade. O trabalho é apresentado como uma prova da conjectura no caso diédrico e uma demonstração de como a estabilidade de Bridgeland fornece uma nova perspectiva sobre a conjectura de Ishii, potencialmente aplicável a contextos mais gerais.