Monodromy of plane curve singularities and quiver mutation

Resumo Técnico: Monodromia de Singularidades de Curvas Planas e Mutação de Quivers

Enunciado do Problema
O artigo aborda uma conjectura central proposta por S. Fomin, P. Pylyavskyy, E. Shustin e D. Thurston relativa à classificação de singularidades de curvas planas isoladas. A "Conjectura Principal" postula que duas singularidades de curvas planas reais isoladas compartilham o mesmo tipo topológico complexo se, e somente se, os quivers associados às suas morfificações reais forem equivalentes por mutação. Embora a implicação da equivalência topológica para a equivalência por mutação esteja estabelecida para singularidades simples, o inverso — recuperar dados topológicos a partir da classe de mutação combinatória de um quiver — permanece amplamente em aberto.

O desafio específico reside no fato de que, embora um quiver $Q(D)$ associado a um divide $D$ de uma singularidade $(C, 0)$ codifique os números de interseção de ciclos de desaparecimento, um quiver arbitrário $\mu(Q)$ dentro da classe de mutação $[Q(D)]$ tipicamente perde qualquer interpretação geométrica direta em relação à singularidade original. Não está claro como extrair invariantes topológicos, como a monodromia, de um quiver mutado que pode não mais corresponder a um divide ou possuir uma coloração compatível.

Metodologia
O autor desenvolve uma estrutura de teoria de representação para preencher a lacuna entre as classes de mutação de quivers e os invariantes topológicos. A metodologia central envolve as seguintes etapas:

1. Quivers Graduados com Potencial (QPs) e Classes de Dilatação: O artigo introduz o conceito de classes de dilatação para QPs graduados. Uma classe de dilatação é uma classe de equivalência de QPs graduados sob transformações de gauge de vértices, equivalências à direita graduadas e estabilizações homogêneas. O autor prova que para quivers associados a plabic fences (uma classe específica de grafos planares), existe um potencial não degenerado único e uma classe de dilatação única. Isso garante que as estruturas algébricas associadas sejam invariantes canônicos da classe de mutação.

2. Álgebras de Ginzburg Bigraduadas: O estudo utiliza a álgebra de Ginzburg bigraduada diferencial $\Gamma(Q, W, d)$ associada a um QP graduado. Esta álgebra incorpora uma graduação interna (Adams) derivada de uma graduação de setas $d$. O autor foca na categoria derivada de dg-módulos finitos contínuos sobre esta álgebra.

3. Pareamento de Euler Equivariante: Uma ferramenta técnica fundamental é o pareamento de Euler graduado definido sobre os módulos simples da álgebra de Ginzburg. O autor deriva uma fórmula combinatória para as entradas da matriz de Euler graduada $E(t)$, que depende da graduação de setas $d$. Crucialmente, mostra-se que o cokernel desta matriz, visto como um módulo sobre o anel de polinômios de Laurent $\Lambda = \mathbb{Z}[t, t^{-1}]$, é um invariante da classe de dilatação e, consequentemente, da classe de mutação do quiver.

4. Conexão com a Topologia de Links: O artigo estabelece uma interpretação topológica deste invariante algébrico. Ao relacionar o pareamento de Euler graduado com as matrizes de Seifert de links associados a plabic fences, o autor prova que o cokernel da matriz de Euler é isomorfo à parte de torção do módulo de Alexander do link suave associado.

5. Aplicação a Divides Maleáveis: Os resultados são especializados para divides maleáveis de singularidades de curvas planas. Utilizando o fato de que divides maleáveis podem ser transformados em plabic fences via movimentos que preservam a mutação, o autor conecta a classe de mutação do quiver de um divide ao módulo de Alexander do link da singularidade.

Contribuições Principais e Resultados

• Teorema Principal: O resultado primário afirma que, para uma singularidade de curva plana isolada $(C, 0)$ com um divide maleável $D$, a classe de mutação do quiver $[Q(D)]$ determina unicamente o módulo de monodromia integral da singularidade. Dado que o módulo de monodromia integral determina o polinômio de Alexander, e o polinômio de Alexander determina o tipo topológico complexo para singularidades irredutíveis, isso estabelece a implicação (ii) $\implies$ (i) da Conjectura Principal para divides maleáveis irredutíveis.
• Unicidade de Dilatação para Plabic Fences: O artigo prova que, para qualquer plabic fence $G$, o quiver associado com potencial admite um potencial não degenerado único (até equivalência à direita) e uma classe de dilatação única. Isso permite a definição canônica da matriz de Euler graduada para qualquer quiver na classe de mutação de uma plabic fence.
• Recuperação Combinatória de Módulos de Alexander: O autor fornece uma fórmula combinatória explícita (Equação 1.1) para uma matriz $E(t)$ derivada de qualquer quiver na classe de mutação de uma plabic fence. O cokernel desta matriz recupera a parte de torção do módulo de Alexander do link associado.
• Classificação para Baixo Número de Milnor: O artigo demonstra que a implicação (ii) $\implies$ (i) ocorre para todas as singularidades de curvas planas isoladas com número de Milnor $\mu \le 16$. Isso é alcançado mostrando que o módulo de monodromia integral (recuperável via Teorema Principal) distingue todas essas singularidades, com a única exceção do par $D_{12}$ e $Z_{12}$. Este par é distinguido pela parte de grau $a$ superior do polinômio HOMFLY, que também é mostrado ser um invariante de mutação.
• Contraexemplo a uma Conjectura Relacionada: O artigo fornece um contraexemplo para [28, Conjectura 6.17], mostrando que dois grafos plabic podem ter quivers equivalentes por mutação sem serem equivalentes por movimento e troca (move-and-switch equivalent). Isso é demonstrado exibindo dois grafos plabic com polinômios HOMFLY distintos, mas quivers equivalentes por mutação.

Significância
O artigo estabelece uma implicação algébrica-topológica rigorosa para uma classe significativa de singularidades de curvas planas. Ao provar que a classe de mutação de um quiver associado a um divide maleável recupera unicamente o módulo de monodromia integral, o trabalho valida uma direção chave da conjectura de Fomin-Pylyavskyy-Shustin-Thurston.

A significância reside no desenvolvimento de um novo invariante — o cokernel do pareamento de Euler equivariante de uma álgebra de Ginzburg bigraduada — que serve como uma ponte entre o mundo combinatório das álgebras de cluster (mutações de quiver) e o mundo topológico da teoria de nós (módulos de Alexander). Esta abordagem contorna a necessidade de o quiver mutado reter uma realização geométrica direta como um divide, baseando-se, em vez disso, na invariância da estrutura de categoria derivada.

Os resultados confirmam que, para singularidades irredutíveis, o tipo topológico complexo está inteiramente codificado na classe de mutação do seu quiver associado. Além disso, o artigo esclarece as limitações dos polinômios de Alexander de uma variável para singularidades redutíveis e identifica casos específicos (como $\mu \le 16$) onde a combinação de invariantes de monodromia e HOMFLY é suficiente para a classificação topológica completa. O trabalho também destaca a distinção entre equivalência por mutação e equivalência geométrica (move-and-switch equivalence) no contexto de grafos plabic.