The Deligne-Simpson Problem

Resumo Técnico: O Problema de Deligne–Simpson

1. O Problema

O Problema de Deligne–Simpson pergunta, dadas $k$ classes de semelhança (ou classes de conjugação) $C_1, \dots, C_k$ de matrizes invertíveis em $GL_n(\mathbb{C})$, se é possível encontrar matrizes $A_1 \in C_1, \dots, A_k \in C_k$ tais que:

1. O produto delas seja a identidade: $A_1 A_2 \cdots A_k = 1$.
2. A solução seja irredutível, ou seja, as matrizes não possuam nenhum subespaço invariante comum não trivial (o grupo gerado por elas age irredutivelmente no espaço vetorial).

Este problema tem motivação profunda na teoria das equações diferenciais lineares ordinárias no domínio complexo, especificamente na classificação de sistemas através de suas monodromias locais (correspondência de Riemann-Hilbert).

2. Metodologia e Estrutura Teórica

Os autores abordam o problema utilizando uma combinação de geometria algébrica, teoria de representações de quivers e álgebras preprojetivas. A metodologia central envolve:

• Codificação via Quivers e Raízes: As classes de conjugação são parametrizadas por uma sequência de pesos $w$, números complexos não nulos $\xi$ e sequências inteiras $n_{ip}$. Esses dados são mapeados para um elemento $\alpha_C$ no reticulado de raízes $\Gamma_w$ associado a um quiver estrelado $Q_w$.
• Geometria de Linhas Projetivas Ponderadas: O problema é traduzido para a categoria de feixes parabólicos sobre uma linha projetiva ponderada $X$ (definida por Geigle e Lenzing). As classes de conjugação correspondem a conexões logarítmicas com resíduos específicos ($\zeta$-conexões) em feixes vetoriais sobre $X$.
• Correspondência de Riemann-Hilbert: Utiliza-se a equivalência entre representações do grupo fundamental $\pi_1(\mathbb{P}^1 \setminus D)$ e pares $(E, \nabla)$, onde $E$ é um feixe vetorial e $\nabla$ uma conexão logarítmica. A irredutibilidade da representação corresponde à irredutibilidade do par $(E, \nabla)$.
• Álgebras Preprojetivas Multiplicativas: A existência de soluções irredutíveis é relacionada à existência de módulos simples sobre álgebras preprojetivas multiplicativas $\Lambda_q(Q_w)$.

3. Contribuições Principais e Resultados

O artigo confirma uma conjectura feita anteriormente pelo primeiro autor (Crawley-Boevey), provando a implicação de necessidade que faltava para completar a caracterização do problema.

O Teorema Principal (Teorema 1.1):
Existem matrizes $A_i \in C_i$ resolvendo $A_1 \cdots A_k = 1$ de forma irredutível se e somente se:

1. O vetor de dimensão $\alpha = \alpha_C$ é uma raiz positiva do sistema de raízes associado ao quiver $Q_w$.
2. A condição de produto dos autovalores é satisfeita: $\xi[\alpha] = 1$.
3. O valor da função $p_w(\alpha) = 1 - \langle \alpha, \alpha \rangle$ satisfaz uma condição de "maximalidade" estrita: para qualquer decomposição não trivial $\alpha = \beta + \gamma + \dots$ em raízes positivas com $\xi[\beta] = \xi[\gamma] = \dots = 1$, tem-se:
   $$p_w(\alpha) > p_w(\beta) + p_w(\gamma) + \dots$$

Prova da Necessidade (Seção 7):
A parte crucial deste trabalho é a prova de que, se as condições acima não forem satisfeitas, não existe solução irredutível. Os autores dividem a análise em casos baseados na estrutura do quiver $Q_w$:

• Caso Tubular (Quiver de Dynkin Estendido): Se $Q_w$ é de tipo estendido (ex: $\tilde{A}_n, \tilde{D}_n, \tilde{E}_n$) e $\alpha$ é um múltiplo $h\delta$ da raiz imaginária mínima $\delta$ com $h \ge 2$, não há solução irredutível. Isso é provado usando a teoria de feixes parabólicos estáveis e a estrutura de "tubos" na categoria de representações.
• Caso Hiper-estendido (Over-extended): Se $Q_w$ é um quiver estendido com um vértice adicional (tipo hiper-estendido) e $\alpha$ tem a forma $\alpha_\infty + h\delta$ com $h \ge 2$, também não há solução irredutível. A prova utiliza funtores de redução de peso e a equivalência com módulos sobre álgebras preprojetivas deformadas.
• Uso de Funtores de Reflexão: A prova final utiliza funtores de reflexão para álgebras preprojetivas multiplicativas (baseado em trabalhos anteriores com Shaw e resultados de Schedler/Tirelli) para reduzir casos gerais a casos já conhecidos de impossibilidade.

Suficiência:
A suficiência (se as condições são satisfeitas, então existe uma solução) já havia sido provada em trabalho anterior (Crawley-Boevey e Shaw, 2005) e é assumida aqui.

4. Significado e Impacto

• Resolução Completa: Este artigo fecha o ciclo de prova para a conjectura de Crawley-Boevey, fornecendo uma condição necessária e suficiente completa e algorítmica para a existência de soluções irredutíveis do Problema de Deligne-Simpson.
• Conexão entre Áreas: O trabalho solidifica a ponte entre a teoria de equações diferenciais (monodromia), geometria algébrica (feixes parabólicos em linhas projetivas ponderadas) e teoria de representações de álgebras (quivers e álgebras preprojetivas).
• Generalização: A abordagem utiliza a estrutura de sistemas de raízes e formas bilineares (forma de Euler) para generalizar resultados que antes eram limitados a casos específicos de pesos ou dimensões.
• Contexto Histórico: O artigo menciona que uma prova independente foi anunciada por Cheng Shu, mas os autores optaram por manter sua abordagem direta baseada em 2018, que evita a complexidade de argumentos de posição geral em feixes parabólicos, focando em álgebras e quivers.

Em suma, o papel estabelece que a existência de sistemas de equações diferenciais com monodromias prescritas e irredutíveis é governada puramente por propriedades combinatórias e aritméticas do sistema de raízes associado às classes de conjugação.