On the nilpotent residue non-abelian Hodge correspondence for higher-dimensional quasiprojective varieties

Resumo Técnico: Sobre a Correspondência de Hodge Não-Abeliana de Resíduo Nilpotente para Variedades Quasi-projetivas de Dimensão Superior

Enunciado do Problema
O artigo aborda a natureza topológica da correspondência de Hodge não-abeliana para variedades quasi-projetivas de dimensão superior. Especificamente, considera uma variedade projetiva log suave complexa $(\bar{X}, D)$, onde $\bar{X}$ é uma variedade projetiva suave e $D$ é um divisor de interseção normal simples. Os autores focam em dois espaços de módulos:

1. $M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)$: O espaço de módulos de feixes de Higgs logarítmicos de posto $r$ poliestáveis com resíduos nilpotentes e classes de Chern nulas ($c_i(E)=0$).
2. $M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)$: O espaço de módulos de conexões logarítmicas de posto $r$ poliestáveis com resíduos nilpotentes.
   No trabalho de [BBT24], uma bijeção contínua $S^{\text{nilp}}_{(\bar{X}, D)}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)(\mathbb{C}) \to M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)(\mathbb{C})$ foi estabelecida. Embora esse mapa tenha sido provado como um homeomorfismo na topologia euclidiana quando $\bar{X}$ é uma curva, o caso de dimensão superior permanecia aberto quanto à continuidade do inverso. O problema central é determinar se esta bijeção contínua é, de fato, um homeomorfismo para variedades de dimensão superior.

Metodologia
O artigo emprega uma estratégia de redução usando "curvas de Lefschetz" para transferir propriedades topológicas do caso da curva para o caso de dimensão superior. A metodologia procede através dos seguintes passos:

1. Curvas de Lefschetz: Os autores utilizam o conceito de uma curva de Lefschetz $\iota: \bar{C} \hookrightarrow \bar{X}$, definida como uma curva de interseção completa suave e transversal a $D$, tal que o mapa induzido nos grupos fundamentais $\pi_1(\bar{C} \setminus D) \twoheadrightarrow \pi_1(\bar{X} \setminus D)$ é sobrejetivo.
2. Mapas de Restrição: Tal curva induz mapas de restrição $i^*_{\text{Dol}}$ e $i^*_{\text{DR}}$ entre os espaços de módulos de $\bar{X}$ e $\bar{C}$. Como a correspondência já é conhecida como um homeomorfismo para curvas (por [BBT24]), o mapa $S^{\text{nilp}}_{(\bar{C}, D \cap \bar{C})}$ é um homeomorfismo.
3. Diagramas Comutativos: Os autores constroem um diagrama comutativo envolvendo os mapas de Hitchin ($h$) para ambos, a variedade e a curva, e os mapas de restrição entre as bases de Hitchin.
4. Compacidade e Injetividade: Para provar o resultado principal, os autores estabelecem duas propriedades críticas:
   • Compacidade de $i^*_{\text{Dol}}$: Eles provam a existência de uma curva de Lefschetz tal que o mapa de restrição no espaço de módulos de Higgs seja próprio (compacto). Isso é alcançado usando o critério de valuatividade para compacidade, baseando-se na compacidade do mapa de Hitchin $h_{(\bar{X}, D)}$ (citado de [Lan14]) e na injetividade do mapa de restrição na base de Hitchin.
   • Injetividade da Restrição da Base de Hitchin: Eles demonstram que existe uma curva de Lefschetz $\bar{C}$ tal que o mapa de restrição $\text{res}$ das seções globais de potências simétricas de diferenciais logarítmicos em $\bar{X}$ para aquelas em $\bar{C}$ seja injetivo. Isso é provado construindo um conjunto finito de pontos e direções tangentes onde as seções das potências simétricas não se anulam, e então invocando [ACV19] para encontrar uma curva que passe por esses pontos com tangentes prescritas.

Contribuições Principais e Resultados

• Teorema 1: O artigo prova a existência de uma curva de Lefschetz $\bar{C} \subset \bar{X}$ tal que o mapa de restrição $i^*_{\text{Dol}}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r) \to M^{\text{nilp}}_{\text{Dol}}(\bar{C}, D \cap \bar{C}, r)$ é próprio.
• Corolário 2: Como consequência direta do Teorema 1 e do caso conhecido para curvas, o mapa de comparação $S^{\text{nilp}}_{(\bar{X}, D)}$ é um homeomorfismo na topologia euclidiana para variedades projetivas log suaves de dimensão superior.
• Lema Técnico (Proposição 3): O artigo esclarece que o mapa de Hitchin para feixes de Higgs logarítmicos com resíduos nilpotentes e classes de Chern nulas é próprio, observando que a condição de classes de Chern nulas define um subesquema fechado dentro do espaço de módulos de feixes torção-livres.
• Lema Técnico (Proposição 4): O artigo estabelece a existência de uma curva de Lefschetz que induz uma restrição injetiva na base de Hitchin, um passo crucial para garantir a compacidade da restrição do espaço de módulos.

Significância e Alegações
O artigo afirma resolver a questão topológica da correspondência de Hodge não-abeliana no cenário de dimensão superior para o caso específico de resíduos nilpotentes. Ao provar que a bijeção contínua estabelecida em [BBT24] é um homeomorfismo, os autores confirmam que os espaços de módulos de feixes de Higgs logarítmicos e de conexões logarítmicas são topologicamente equivalentes na topologia euclidiana, estendendo os resultados conhecidos para curvas a dimensões arbitrárias.

O trabalho depende fortemente da interação entre a geometria das curvas de Lefschetz e as propriedades algébricas da fibração de Hitchin. A significância reside na extensão rigorosa do resultado de homeomorfismo, utilizando a compacidade do mapa de Hitchin e a construção geométrica específica de curvas que preservam os dados cohomológicos e do grupo fundamental necessários. O artigo não propõe novas aplicações ou direções futuras, mas foca estritamente em estabelecer a equivalência topológica desses espaços de módulos.