Polystability of Stokes representations and differential Galois groups

Resumo Técnico: Poliestabilidade de Representações de Stokes e Grupos de Galois Diferenciais

Enunciado do Problema
Este artigo aborda a caracterização de pontos poliestáveis e estáveis no contexto das variedades de caracteres selvagens (espaços de móduli de Betti irregulares). Enquanto a teoria da poliestabilidade para representações do grupo fundamental de uma curva suave (o caso "tame") está bem estabelecida por meio dos teoremas de Richardson — ligando a poliestabilidade à redutividade linear do grupo de Galois diferencial (fecho de Zariski da monodromia) —, a extensão desses resultados para o caso "selvagem" (conexões com singularidades irregulares) permanecia incompleta. Especificamente, os autores visam caracterizar os pontos das variedades de caracteres selvagens, que parametrizam representações de Stokes (representações de monodromia selvagem), em termos de seus grupos de Galois diferenciais intrínsecos e das propriedades geométricas dos sistemas locais de Stokes subjacentes.

Metodologia
Os autores empregam uma combinação da Teoria Geométrica de Invariantes (GIT), especificamente o critério de Hilbert–Mumford, e a geometria algébrica dos fenômenos de Stokes. A metodologia procede em três etapas principais:

1. Generalização dos Resultados de Richardson (Seções 2 e 3): O artigo estabelece primeiro versões "torcidas" dos teoremas de Richardson relativas à ação de conjugação simultânea de um grupo redutivo $G$ sobre produtos de grupos e bitorços. Isso envolve analisar o fecho de Zariski de subgrupos gerados por elementos em contextos torcidos (envolvendo automorfismos de $G$). Os autores provam que a poliestabilidade nesses espaços de produtos torcidos é equivalente à redutividade linear do fecho de Zariski do subgrupo gerado.
2. Aplicação às Variedades de Representações Selvagens (Seção 4): Os autores aplicam esses resultados algébricos generalizados à variedade de representações selvagens $R = \text{THom}_S(\Pi, G)$, que parametriza sistemas locais de Stokes emoldurados em uma superfície de Riemann selvagem $\Sigma$. Ao incorporar essa variedade em espaços de produtos abstratos analisados nas seções anteriores, eles relacionam a estabilidade das representações de Stokes às propriedades de seus grupos de Galois diferenciais associados, $\text{Gal}(\rho)$. Este grupo é definido como o fecho de Zariski do subgrupo gerado pela monodromia, monodromia formal, automorfismos de Stokes e toros de Ramis.
3. Caracterização Intrínseca via Sistemas Locais de Stokes (Seção 5): O artigo migra da variedade de representações extrínseca para os objetos intrínsecos: sistemas locais de Stokes. Os autores definem noções de "irredutibilidade" e "redutividade" (semisimplicidade) para sistemas locais de Stokes em termos de reduções do grupo de estrutura para subgrupos parabólicos e de Levi. Eles demonstram que essas propriedades geométricas intrínsecas correspondem precisamente às condições de estabilidade das representações associadas.

Principais Contribuições e Resultados

• Caracterização da Poliestabilidade (Teorema 2 e Teorema 4): O resultado primário estabelece que uma representação de Stokes $\rho$ é poliestável se e somente se seu grupo de Galois diferencial $\text{Gal}(\rho)$ é um grupo linearmente redutivo. Na linguagem intrínseca, isso é equivalente ao sistema local de Stokes $L$ ser "semisimples" (admitir uma redução de Levi irredutível). Isso generaliza o resultado do caso tame de Richardson para o cenário selvagem com classes irregulares arbitrárias e torções interiores potenciais.
• Caracterização da Estabilidade (Teorema 3 e Teorema 4): O artigo prova que uma representação de Stokes $\rho$ é estável se e somente se $\text{Gal}(\rho)$ não está contido em nenhum subgrupo parabólico próprio de $G$ (ou, no caso torcido, não preserva um subgrupo parabólico próprio). Intrinsecamente, isso corresponde ao sistema local de Stokes $L$ ser irredutível (não tendo reduções parabólicas próprias).
• Estrutura Torcida: Os resultados são formulados para lidar com contextos "torcidos", onde o grupo de estrutura $G$ pode variar sobre a curva (torções interiores) ou onde as classes irregulares são torcidas. Isso requer trabalhar com grupos da forma $G \rtimes \text{Aut}(G)$ e definir grupos de Galois como subgrupos de $\text{Aut}(G)$ atuando sobre $G$.
• Parametrização Algébrica: O trabalho fornece uma caracterização algébrica intrínseca dos pontos da variedade de caracteres selvagens (o espaço de móduli das representações de Stokes), identificando-os como classes de isomorfismo de sistemas locais de Stokes semissimples.

Significado e Alegações
Os autores posicionam este trabalho como uma conclusão necessária da abordagem algebro-geométrica para variedades de caracteres selvagens, complementando construções analíticas anteriores de espaços de móduli de Hodge não abeliano selvagens como variedades hiperkähler.

• Generalização da Teoria Clássica: O artigo alega estender com sucesso a correspondência fundamental entre poliestabilidade e redutividade linear (conhecida no caso tame via Deligne, Schlesinger e Richardson) para o caso irregular (selvagem).
• Abordagem Intrínseca: Uma contribuição significativa é o estabelecimento de uma abordagem "intrínseca" para esses resultados. Em vez de depender exclusivamente da variedade de representações, os autores caracterizam a estabilidade diretamente através da teoria de redução de sistemas locais de Stokes (reduções parabólicas e de Levi), espelhando os teoremas de Narasimhan–Seshadri e Mehta–Seshadri para conexões planas unitárias.
• Fundamental para a Teoria de Hodge Não Abeliana: Os resultados são apresentados como um passo fundamental para compreender a estrutura do "espaço de Hodge não abeliano". Ao identificar os pontos estáveis (sistemas locais de Stokes irredutíveis), o artigo alinha-se com conjecturas relativas à correspondência entre pacotes harmônicos selvagens e conexões meromorfas/campos de Higgs. Os autores observam que esses sistemas irredutíveis correspondem aos dados de entrada para a construção de métricas harmônicas selvagens.
• Escopo: O artigo afirma explicitamente que cobre o caso de estrutura formal arbitrária em polos e grupos de estrutura redutivos complexos arbitrários, incluindo casos torcidos. Não alega resolver a existência da própria métrica hiperkähler, mas fornece a caracterização algébrica dos pontos do módulo que tais métricas parametrizariam.

Os autores reconhecem que as provas dependem fortemente do teorema de Hilbert–Mumford e que a formulação das afirmações intrínsecas exigiu considerável esforço para correção. Eles também observam que, embora seus resultados se sobreponham a trabalhos recentes de tese no contexto tame com torções interiores, seu escopo é mais amplo, cobrindo o cenário selvagem completo com classes irregulares arbitrárias.