Counting points on braid varieties and the Deligne--Simpson problem

Resumo Técnico: Contagem de Pontos em Variedades de Trança e o Problema de Deligne–Simpson

1. O Problema: O Problema de Deligne–Simpson para Grupos de Tipo Excepcional

O artigo aborda o Problema de Deligne–Simpson, que investiga a existência de conexões $G$-lineares em curvas com singularidades prescritas em um número finito de pontos. Especificamente, os autores focam em conexões em $\mathbb{P}^1 \setminus \{0, \infty\}$ para um grupo redutivo complexo $G$.

O foco central são as conexões isoclínicas (ou torais, na terminologia de Sage), que possuem:

• Uma singularidade irregular em $0$ com um termo líder de Levelt–Turrittin regular semissimples.
• Uma singularidade regular em $\infty$.
• Um declive (slope) $\nu = d/m$, onde $m$ é um número regular para o grupo de Weyl $W$ de $G$ e $d$ é coprimo com $m$.

O problema consiste em determinar, para um dado declive $\nu$ e uma classe de conjugação unipotente $C$ (monodromia em $\infty$), se existe uma conexão isoclínica com essa monodromia. O objetivo principal é resolver este problema para grupos de tipo excepcional ($E_6, E_7, E_8$), completando um programa iniciado por Sage et al. e Jakob–Yun, que já haviam resolvido o caso para $GL_n$ e grupos clássicos.

2. Metodologia e Abordagem

A abordagem dos autores difere das técnicas anteriores (teoria de Hodge não abeliana, cohomologia $\ell$-ádica, variedades de quiver) e baseia-se na Correspondência de Riemann–Hilbert e na teoria de grupos finitos.

• Correspondência de Riemann–Hilbert e Variedades de Trança:
  Utilizando resultados recentes de Hohl e Jakob, os autores estabelecem uma equivalência entre o espaço de módulos de conexões irregulares (lado de De Rham) e variedades de trança (lado de Betti).

  • Uma conexão isoclínica de declive $\nu = d/m$ corresponde a uma trança periódica específica no monóide de tranças positivas $B_W^+$.
  • Especificamente, a trança associada é dada por $(\tilde{w}_m)^d$, onde $w_m$ é um elemento de Springer $m$-regular e $\tilde{w}_m$ é seu levantamento ao monóide de tranças.
  • O problema de existência reduz-se à verificação da não-vazuidade da interseção entre uma classe de conjugação $C$ e uma "dupla coseta de Bruhat" elevada à potência $d$: $(B_{w_m}B)^d \cap C \neq \emptyset$.

• Estratégia de Contagem sobre Campos Finitos:
  Inspirados pela prova de Lusztig para classes unipotentes em grupos finitos, os autores utilizam a técnica de contar pontos sobre campos finitos $\mathbb{F}_q$.

  • Eles expressam o número de pontos na variedade de trança (ou "pilha de trança") $M(\beta, C)$ sobre $\mathbb{F}_q$ através de uma fórmula que envolve caracteres do grupo de Weyl $W$ e do grupo reductivo finito $G(\mathbb{F}_q)$.
  • A fórmula chave (Equação 4 no texto) relaciona a contagem de pontos a traços de operadores no álgebra de Hecke finita $H_q$:
    $$|M((\tilde{w}_m)^d, C)^{\mathbb{F}_q}| = \frac{1}{|G(\mathbb{F}_q)|} \sum_{g \in C^{\mathbb{F}_q}} \sum_{E \in \text{Irr}(W)} \text{tr}((T_w)^d, E_q) \text{tr}(g, \rho_E)$$
  • Para simplificar o cálculo, utilizam o Lema 8, que relaciona o traço de potências no álgebra de Hecke aos traços no grupo de Weyl, multiplicados por um fator de potência de $q$ dependente da função $a$ e $A$ de Lusztig.

• Implementação Computacional:
  Devido à complexidade dos grupos excepcionais, os cálculos foram realizados utilizando o pacote CHEVIE (para Julia/GAP), que permite o manuseio eficiente de tabelas de caracteres de grupos de Lie finitos e álgebras de Hecke.

3. Principais Resultados

• Teorema 1 (Solução do Problema Isoclínico):
  Existe uma única classe de conjugação unipotente $C_\nu \subset G$ tal que existe uma conexão isoclínica de declive $\nu$ com monodromia unipotente $C$ se e somente se $C \geq C_\nu$ (na ordem parcial usual de classes unipotentes).

  • Para $\nu > 1$, $C_\nu = \{1\}$.
  • Para $\nu < 1$ e $G$ de tipo excepcional, as classes $C_\nu$ são explicitamente listadas no Apêndice A.1.
  • Este resultado completa a classificação para todos os grupos simples, resolvendo os casos $E_6, E_7, E_8$ que permaneciam em aberto.

• Rigidez Física de Conexões:
  Como subproduto, os autores identificam novas conexões isoclínicas cohomologicamente rígidas. Eles provam que essas conexões são fisicamente rígidas (o espaço de módulos correspondente é um singleton), demonstrando que as variedades de trança associadas contêm exatamente um ponto sobre campos finitos.

• Realizações Explícitas (Conexões de Coxeter):
  Os autores validam a Conjectura 5.7.(2) de Sage [Sag24] para conexões de Coxeter com monodromia mínima. Eles mostram que a conexão $\nabla_\nu$ definida explicitamente por meio de somas de raízes (com declive $d/h$, onde $h$ é o número de Coxeter) possui a monodromia unipotente mínima esperada $C_{d/h}$.

4. Contribuições Chave

1. Resolução para Grupos Excepcionais: A primeira prova completa do problema de Deligne–Simpson para conexões isoclínicas em grupos de tipo excepcional, preenchendo uma lacuna significativa na literatura.
2. Método de Contagem de Pontos: A aplicação bem-sucedida da estratégia de contagem de pontos sobre campos finitos (inspirada em Lusztig) para variedades de trança associadas a conexões irregulares, generalizando o trabalho de Lusztig para potências de elementos de Springer que não têm comprimento mínimo em suas classes de conjugação.
3. Conexão entre Geometria Algébrica e Teoria de Representação: A demonstração de que a existência de conexões geométricas pode ser decidida puramente através de cálculos de caracteres de grupos finitos e álgebras de Hecke.
4. Novos Exemplos de Rigidez: A descoberta de novas famílias de conexões fisicamente rígidas, que são objetos de interesse em teoria de gauge e geometria algébrica.

5. Significado e Impacto

Este trabalho é fundamental para a compreensão da geometria das conexões em curvas algébricas e a correspondência de Riemann–Hilbert no contexto não abeliano.

• Teórico: Estabelece uma ponte robusta entre a teoria de tranças, variedades de cluster e a teoria de representações de grupos de Lie.
• Computacional: Demonstra a viabilidade de usar ferramentas computacionais avançadas (CHEVIE) para resolver problemas profundos de geometria algébrica que são intratáveis analiticamente.
• Físico: As conexões rígidas encontradas são candidatas naturais para a construção de feixes próprios de Hecke e têm implicações na teoria de gauge supersimétrica e na correspondência de Langlands geométrica.

Em suma, o artigo fornece uma solução definitiva para uma classe importante de problemas de existência em geometria algébrica, utilizando uma metodologia inovadora que combina teoria de grupos finitos com a geometria de variedades de trança.