On the symplectic forms of Groechenig's Higgs moduli over an elliptic curve

Resumo Técnico: Sobre as Formas Simpléticas dos Moduli de Higgs de Groechenig sobre uma Curva Elíptica

Enunciado do Problema
Este artigo aborda a relação geométrica entre dois espaços de moduli distintos que surgem no contexto de uma curva elíptica $E$ e um grupo cíclico finito $\Gamma \subset \text{Aut}(E, o)$ com ordem $|\Gamma| \in \{1, 2, 3, 4, 6\}$.

1. O Lado do Esquema de Hilbert: O espaço $S[m]_\Gamma$, definido como o esquema de Hilbert de $m$ pontos na superfície $S_\Gamma = \Gamma\text{-Hilb}(T^*E)$. Para $|\Gamma|=1$, $S_\Gamma = T^*E$. Para $|\Gamma|>1$, $S_\Gamma$ é a resolução crépante única da superfície quociente $X_\Gamma = T^*E/\Gamma$, que possui pontos duplos racionais.
2. O Lado de Higgs Parabólico: O espaço de moduli $M_{\Gamma,m}$ dos feixes de Higgs parabólicos estáveis e fortemente parabólicos sobre uma curva bruta $C_\Gamma$ (seja $E$ ou $\mathbb{P}^1$, dependendo de $\Gamma$), com dados parabólicos específicos determinados pelos tipos de Dynkin afins $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$.
   Trabalhos anteriores de Gorsky, Nekrasov e Rubtsov (para $|\Gamma|=1$) e Groechenig (para $|\Gamma|>1$) estabeleceram que esses espaços são isomorfos como variedades algébricas via transformações de Fourier–Mukai relativas. No entanto, a questão de se esses isomorfismos preservam as estruturas simpléticas holomorfas naturais em ambos os lados permaneceu aberta. O artigo visa provar que o isomorfismo $\Phi_{\Gamma,m}: S[m]_\Gamma \to M_{\Gamma,m}$ é um simpletomorfismo holomorfo.

Metodologia
A prova procede através do cálculo explícito das formas simpléticas em um lóbulo denso aberto e estendendo o resultado globalmente. A metodologia envolve três componentes principais:

1. Teoria de Deformação e Formas Simpléticas:
   O artigo utiliza o complexo de deformação de feixes de Higgs parabólicos (seguindo Biswas e Ramanan) para construir a forma simplética holomorfa $\Omega_{M_{\Gamma,m}}$ no espaço de moduli $M_{\Gamma,m}$. Isso envolve identificar o espaço tangente como a primeira hipercohomologia de um complexo de dois termos envolvendo endomorfismos parabólicos e campos de Higgs fortemente parabólicos. A forma simplética é derivada de um emparelhamento de traço neste complexo.

2. Análise Local no Lóbulo Reduzido:
   O autor restringe a atenção ao lóbulo denso aberto $U_m \subset S[m]_\Gamma$ consistindo em subesquemas reduzidos (pontos distintos).

   • Caso $|\Gamma|=1$: O isomorfismo é analisado usando a transformada de Fourier–Mukai relativa. O artigo demonstra que, no lóbulo reduzido, o espaço de moduli de Higgs parabólico corresponde a uma soma direta de feixes de linha com dados espectrais distintos. Ao comparar os complexos de deformação dos feixes de Higgs parabólicos e ordinários (semiestáveis), o autor mostra que a forma simplética no lado de Higgs coincide com a forma simplética natural do esquema de Hilbert de pontos em $T^*E$.
   • Caso $|\Gamma|>1$: O autor emprega a "correspondência orbifold–parabólica". Eles relacionam os feixes de Higgs parabólicos na curva bruta $C_\Gamma$ aos feixes de Higgs equivariantes (orbifold) em $E$. Usando a sequência espectral de Cartan–Leray, eles estabelecem um isomorfismo entre a hipercohomologia do complexo de deformação parabólica em $C_\Gamma$ e a parte $\Gamma$-invariante da hipercohomologia do complexo orbifold em $E$. Isso permite que o emparelhamento simplético no lado parabólico seja computado via o emparelhamento na curva elíptica, escalonado por $1/|\Gamma|$.

3. Extensão Global e Compatibilidade de Hitchin:
   Como ambas as formas simpléticas são regulares (holomorfas) e os espaços são suaves e irredutíveis, a igualidade no conjunto aberto denso $U_m$ implica igualdade global. Adicionalmente, o artigo verifica que o isomorfismo é compatível com os mapas de Hitchin (mapas de dados espectrais) em ambos os lados, garantindo que as estruturas de sistemas integráveis se alinhem.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.1): O artigo prova que para todos os cinco casos ($|\Gamma| \in \{1, 2, 3, 4, 6\}$), o isomorfismo $\Phi_{\Gamma,m}$ construído por Groechenig é um simpletomorfismo holomorfo. Especificamente, $\Phi_{\Gamma,m}^* \Omega_{M_{\Gamma,m}} = \omega_{S[m]_\Gamma}$, onde $\omega_{S[m]_\Gamma}$ é a forma simplética induzida pela estrutura de feixe cotangente em $S_\Gamma$.
• Dados Parabólicos Explícitos: O artigo fornece uma classificação detalhada das bandeiras (flags) parabólicas, pesos e condições de estabilidade necessários para definir os espaços de moduli $M_{\Gamma,m}$ para cada tipo de Dynkin afim. Isso inclui a construção específica da reta "marcada" no caso $\tilde{A}_0$ e as bandeiras de múltiplos passos para os casos $\tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$.
• Correspondência Orbifold-Parabólica: O artigo estabelece rigorosamente a compatibilidade das formas simpléticas sob a correspondência entre feixes parabólicos na curva bruta e feixes equivariantes na cobertura, esclarecendo o fator de escala $1/|\Gamma|$ no emparelhamento de dualidade de Serre.
• Sistemas Integráveis: Como consequência, o artigo constrói um sistema integrável algébrico (um sistema de Hitchin) no esquema de Hilbert de pontos $S[m]_\Gamma$, confirmando que os mapas de dados espectrais no lado do esquema de Hilbert correspondem aos mapas de polinômio característico no lado de Higgs.

Significância
O artigo completa o quadro geométrico iniciado por Gorsky, Nekrasov, Rubtsov e Groechenig. Embora o isomorfismo entre esses espaços de moduli já fosse conhecido, a preservação da estrutura simplética é uma propriedade crucial para aplicações em física matemática, particularmente no contexto do programa de Langlands geométrico e no estudo de variedades hiperkähler. Ao provar o simpletomorfismo, o artigo confirma que o esquema de Hilbert de pontos na resolução crépante de $T^*E/\Gamma$ carrega a mesma geometria simplética que o espaço de moduli de feixes de Higgs parabólicos. Isso unifica o estudo desses espaços através dos casos de grupos cíclicos triviais e não triviais, fornecendo um framework consistente para os cinco tipos de Dynkin afins associados a curvas elípticas.