Symplectic leaves of meromorphic Hitchin systems

Resumo Técnico: Folhas Simpléticas de Sistemas de Hitchin Meromórficos

Enunciado do Problema
O artigo aborda a estrutura geométrica do espaço de módulos de feixes de Higgs meromórficos estáveis, denotado por $\text{Higgss}(C, D)$, onde $C$ é uma curva projetiva suave e $D$ é um divisor efetivo reduzido. Embora este espaço possua uma estrutura de Poisson holomorfa (estabelecida por Bottacin e Markman), ele carece de uma estrutura simplética holomorfa global. Um problema fundamental na geometria de Poisson é a identificação e compreensão de suas folhas simpléticas.

No contexto de feixes de Higgs meromórficos, o resíduo do campo de Higgs nos pontos marcados $D$ fornece o modelo local. Os autores investigam os loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ definidos ao fixar o resíduo do campo de Higgs para residir em um produto específico de órbitas adjuntas $\mathcal{O} = \prod \mathcal{O}_i$. As questões centrais são:

1. São esses loci $\text{Higgs}_{\mathcal{O},s}(C, D)$ de fato folhas simpléticas da variedade de Poisson ambiente?
2. Pode o mapa de Hitchin, quando restrito a estas folhas, ser parcialmente compactificado para formar um sistema completamente integrável algébrico (ACIS), particularmente quando as órbitas não são de posto máximo (levando a curvas espectrais singulares) ou quando as folhas não são fechadas?

Metodologia
Os autores empregam uma combinação de teoria de deformação, geometria algébrica e a correspondência espectral para resolver estas questões.

1. Análise Infinitesimal: Os autores utilizam a teoria de deformação de feixes de Higgs meromórficos com condições de resíduo fixas. Eles constroem o complexo tangente $C^\bullet_{\mathcal{O},E}$ e seu duplo de Serre para identificar explicitamente o espaço tangente de $\text{Higgs}_{\mathcal{O},s}(C, D)$ com a distribuição característica da estrutura de Poisson de Bottacin–Markman. Isso confirma que o locus é tangente à estrutura de Poisson.
2. Resolução Parabólica: Para abordar as singularidades decorrentes dos fechamentos de órbitas e a falta de compacidade no mapa de Hitchin restrito, os autores introduzem feixes de Higgs $\vec{\xi}$-parabólicos. Estes são triplas $(E, E^\bullet_D, \Phi)$ onde o campo de Higgs $\Phi$ possui resíduos em $\mathcal{O}$, mas o feixe $E$ é equipado com uma estrutura de flag em $E^\bullet_D$ nos pontos marcados compatível com os autovalores do resíduo $\vec{\xi}$.
3. Correspondência Espectral: Baseando-se em trabalhos anteriores ([LL24], [LL25]), os autores utilizam uma correspondência espectral para feixes de Higgs $\vec{\xi}$-parabólicos. Esta relaciona o espaço de módulos a um espaço de módulos de feixes unidimensionais puros em uma superfície específica $Z_{\vec{\xi}}$ (construída via sopros iterados de uma superfície ruled). Esta correspondência permite que eles descrevam as fibras do mapa de Hitchin como jacobianos compactificados de curvas espectrais.
4. Morfismo de Esquecimento: Uma ferramenta técnica fundamental é a construção de um mapa de esquecimento $F: \text{Higgs}^{\vec{\xi}\text{-par}}_{\vec{\alpha}}(C, D, \vec{m}, \vec{\alpha}) \to \text{Higgs}_{\mathcal{O},ss}(C, D)$, que descarta as flags parabólicas. Os autores analisam as condições de estabilidade (usando pesos parabólicos $\vec{\alpha}$ suficientemente pequenos) para garantir que este mapa seja bem definido, projetivo e um isomorfismo sobre o locus estável.

Contribuições Principais e Resultados

• Identificação de Folhas Simpléticas:
  O artigo prova que, para um produto de classes de conjugação $\mathcal{O}$ satisfazendo a condição de traço, o locus $\text{Higgs}_{\mathcal{O},s}(C, D)$ é uma folha simplética irredutível de $\text{Higgss}(C, D)$. Seu fechamento no espaço de módulos é $\text{Higgs}_{\mathcal{O},s}(C, D)$ (Teorema 1.3, Teorema 3.12, Teorema 3.13). Isso resolve a questão da conectividade e confirma a natureza simplética destes estratos.

• Compactificação Parcial para ACIS:
  Os autores demonstram que o espaço de módulos de feixes de Higgs $\vec{\xi}$-parabólicos, $\text{Higgs}^{\vec{\xi}\text{-par}}(C, D, \vec{m}, \vec{\alpha})$, fornece uma compactificação parcial do mapa de Hitchin restrito.

  • O mapa de Hitchin restrito $h^{(\vec{m})}_{\vec{\xi}}: \text{Higgs}^{\vec{\xi}\text{-par}} \to \mathcal{B}^{(\vec{m})}_{\vec{\xi}}$ é mostrado como uma fibração lagrangiana, própria e plana, cujas fibras genéricas são variedades abelianas (Teorema 1.7, Teorema 5.4).
  • Isto estabelece que o sistema restrito é um sistema completamente integrável algébrico, mesmo quando as curvas espectrais subjacentes são singulares ou o leaf original não é fechado.

• Resolução Simplética:
  O mapa de esquecimento $F$ é mostrado como uma resolução simplética da normalização do fechamento $\text{Higgs}_{\mathcal{O},ss}(C, D)$ (Teorema 1.9, Teorema 5.11). Especificamente, a normalização do fechamento do leaf meromórfico possui singularidades simpléticas, e o espaço de módulos suave de feixes de Higgs $\vec{\xi}$-parabólicos resolve estas singularidades preservando a estrutura simplética.

• Conectividade de Espaços de Módulos de Betti:
  Via a correspondência de Hodge não-abeliana tênue de Simpson, os resultados de conectividade do lado de Dolbeault (feixes de Higgs parabólicos) são transferidos para o lado de Betti.

  • O artigo prova que o espaço de módulos estável de sistemas locais filtrados com diagramas de resíduo prescritos é conexo (Teorema 1.10, Teorema 6.6).
  • Uma aplicação significativa são as variedades de caráter $\chi(C^\circ, \mathcal{C})$ com classes de monodromia local prescritas $\mathcal{C}$. Sob a suposição de que os autovalores das matrizes de monodromia compartilham um argumento comum (uma condição que garante compatibilidade com resíduos graduados escalares), o locus irredutível $\chi(C^\circ, \mathcal{C})^{\text{irr}}$ é mostrado como conexo sempre que for não vazio (Teorema 1.11, Teorema 6.7). Isto estende resultados de conectividade prévios para classes de monodromia não-genéricas.

Significância
O artigo afirma sua significância ao fornecer uma imagem geométrica completa das folhas simpléticas de sistemas de Hitchin meromórficos, que eram anteriormente compreendidos primariamente no caso de posto máximo (leaf fechada). Ao introduzir feixes de Higgs $\vec{\xi}$-parabólicos, os autores:

1. Resolvem as singularidades dos fechamentos de órbitas no espaço de módulos de feixes de Higgs meromórficos.
2. Estendem a teoria de sistemas completamente integráveis algébricos para folhas simpléticas de posto arbitrário, abordando o "projeto Lax" para casos de posto não-máximo.
3. Estabelecem novos resultados de conectividade para variedades de caráter com monodromia local não-genérica, unindo o hiato entre os lados de Dolbeault e Betti da teoria de Hodge não-abeliana para estratos singulares.

O trabalho baseia-se nas contribuições independentes de Bottacin e Markman em relação à estrutura de Poisson e constrói sobre os resultados de correspondência espectral dos próprios autores para feixes de Higgs parabólicos. Não propõe novas aplicações experimentais, mas aprofunda a compreensão teórica dos espaços de módulos de feixes de Higgs e sua relação com a teoria de representação.