The singular Hitchin fibration, cameral data, and representation theory

Enunciado do Problema
O artigo aborda a compreensão geométrica incompleta do locus singular da fibração de Hitchin para feixes de Higgs com um grupo de estrutura redutiva arbitrário $G$. Embora a fibração seja bem compreendida sobre o locus regular (onde os campos de Higgs possuem dimensão de centralizador mínima), a geometria das fibras singulares permanece misteriosa. Especificamente, o artigo busca estudar sistematicamente o locus singular controlando o comportamento do centralizador do campo de Higgs. Ele se concentra no subestatística $M_d$ de feixes de Higgs onde o campo de Higgs possui uma dimensão de centralizador constante $d$. Quando $d$ excede o posto de $G$, esses feixes situam-se profundamente dentro do locus singular. O artigo também visa conectar essa geometria à teoria de representação da álgebra de Lie $\mathfrak{g}$ via o método da órbita e fornecer uma descrição unificada para as fibrações de Hitchin associadas a formas reais, particularmente aquelas não quasi-split, para as quais as descrições existentes são escassas.

Metodologia
O autor emprega uma combinação de estratificação de teoria de Lie, teoria de stacks e sistemas de Hitchin generalizados.

1. Estratificação por Folhas (Sheets): O estudo é restrito a "folhas" (componentes irredutíveis do locus de elementos com uma dimensão de centralizador fixa) dentro da álgebra de Lie $\mathfrak{g}$. O artigo utiliza a teoria de folhas, incluindo fatias de Katsylo e o grupo de Katsylo, para analisar a geometria dessas estratas.
2. Abelianização Teoria de Stacks: O artigo constrói um subgrupo esquema centralizador suave $I^{sm}_S$ dentro do geralmente não suave grupo esquema centralizador $I_S$ sobre uma folha $S$. Ao rigidificar o stack de quotient $[S/G]$ por este subgrupo suave, o autor define uma "base de Chevalley-S" $B$, transformando o mapa de quotient adjunto em um gerbe.
3. Generalização de Dados Cameral: Para folhas de Dixmier (aquelas que contêm elementos semissimples), o autor constrói um "homomorfismo cameral" $\kappa_S$ do centralizador suave para um "grupo cameral" (um abelianização). Isso permite a fatoração do mapa de Hitchin através de uma "fibração abelianizada".
4. Formas Reais e Método da Órbita: O arcabouço é aplicado a formas reais $G_R$ ao identificar feixes de Higgs $G_R$-regulares como feixes de Higgs $G$-valorados em folhas. O artigo também utiliza a teoria de Grothendieck-Springer para folhas para relacionar a geometria dessas estratas às multiplicidades na teoria de representação da álgebra universal de envelopes $U(\mathfrak{g})$.

Principais Contribuições e Resultados

• Estrutura Não-Abeliana de Fibras Singulares: O artigo estabelece que a restrição da fibração de Hitchin ao locus $M_S$ de feixes de Higgs valorados em folhas (para uma folha não singular $S$) possui uma estrutura não-abeliana. As fibras são identificadas com stacks de torsores para o grupo esquema centralizador suave $I^{sm}_{(E,\Phi)}$ (Teorema 5.16).
• Abelianização e Dados Camerais: Para folhas de Dixmier não singulares de "tipo de redução clássica" (que inclui todos os grupos clássicos), o autor constró testa a fatoração do mapa de Hitchin através de uma fibração abelianizada. As fibras deste mapa abelianizado são descritas usando dados camerais generalizados: elas são identificadas com stacks de feixes equivariantes em um cover da curva (a "curva cameral-S" de suporte) (Teorema 5.31, Teorema 5.36).
• A Base de Chevalley-S e o Grupo de Katsylo: O artigo introduz a base de Chevalley-S $B$ como um quotient de stack de Deligne-Mumford de uma fatia de Katsylo pelo grupo de Katsylo $F$. Isso fornece um "quotient regular" canônico para a ação de $G$ sobre a folha, facilitando a descrição da fibração como um gerbe bandado pelo grupo cameral (Proposição 3.25, Proposição 3.29).
• Formas Reais: Os resultados são aplicados às fibrações de Hitchin para formas reais $G_R$. O artigo mostra que feixes de Higgs $G_R$-regulares correspondem a uma folha de Dixmier $S_H$ específica. Ele constrói uma fibração abelianizada para formas reais arbitrárias, fornecendo um análogo $\theta$-equivariante de dados camerais. Descrições explícitas são dadas para casos não quasi-split, como $SU(p,q)$ (com $|p-q|>1$) e $SO^*(4m+2)$, onde a literatura anterior carecia de tais descrições (Seção 7.2).
• Conexão com a Teoria de Representação: O artigo estabelece uma conexão entre a geometria das folhas e a teoria de representação de $\mathfrak{g}$. Ele relaciona o grupo de Katsylo $F$ às multiplicidades de representações no anel de coordenadas de órbitas adjuntas e às multiplicidades de ideais primitivos em $U(\mathfrak{g})$ decorrentes do método da órbita de Losev. Um resultado chave é uma relação assintótica entre essas duas noções distintas de multiplicidade (Corolário 8.27):
  $$\mu(I(\mathcal{O})) = \lim_{n \to \infty} \frac{M(\mathcal{O}; n)}{M(\mathcal{O}_{nil}; n)}$$
  onde $\mu$ é a multiplicidade do ideal e $M$ é a função de multiplicidade assintótica.

Significância
O artigo afirma fornecer um arcabouço sistemático para estudar a fibração de Hitchin singular controlando a dimensão do centralizador, oferecendo uma generalização "não-abeliana" do sistema de Hitchin padrão. Ao construir uma abelianização para fibras singulares, ele permite que propriedades de fibras singulares sejam potencialmente elevadas a partir das propriedades de fibras abelianizadas. O trabalho unifica a descrição das fibrações de Hitchin para grupos reais, estendendo os resultados conhecidos de casos quasi-split para casos não quasi-split. Além disso, os resultados auxiliares sobre a geometria das folhas e sua conexão com a teoria de representação via o grupo de Katsylo oferecem novos insights sobre o método da órbita e a estrutura de ideais primitivos em álgebras de envelope. O artigo observa que, em exemplos calculados (GLn, Sp4), a fibração abelianizada pode ser descrita como uma fibração de Hitchin para grupos menores, sugerindo uma estrutura recursiva no locus singular.