Spectral and Logarithmic Atiyah Classes for Higgs Bundles

Resumo Técnico: Classes de Atiyah Espectrais e Logarítmicas para Feixes de Higgs

Enunciado do Problema
O artigo aborda a relação entre a classe de Atiyah de um feixe de Higgs $(E, \theta)$ e a classe de Atiyah do feixe de linha espectral subjacente $L$ definido na curva espectral $Y$. No contexto da correspondência de Beauville–Narasimhan–Ramanan (BNR), um feixe de Higgs regular semisimples em uma curva projetiva complexa suave $X$ é identificado com um feixe de linha $L$ em uma curva espectral $Y$ via uma morfismo finito $\pi: Y \to X$, tal que $E \cong \pi_* L$.

Uma dificuldade fundamental surge ao comparar as classes de Atiyah desses objetos: elas residem em diferentes grupos de cohomologia com classes de feixes de coeficientes distintos. A classe de Atiyah do feixe de Higgs reside em $H^1(X, \Omega^1_X \otimes \text{End}(E))$, enquanto a classe de Atiyah do feixe de linha espectral reside em $H^1(Y, \Omega^1_Y)$. Os autores buscam estabelecer uma ponte precisa entre essas classes, determinando como a obstrução a uma conexão holomorfa em $E$ é induzida pelos dados espectrais de $L$, particularmente através do locus discriminante onde a cobertura espectral ramifica.

Metodologia
Os autores empregam uma combinação de teoria de feixes jet, propriedades de morfismos finitos e geometria diferencial logarítmica.

1. Comparação de Jets via Pushforward Finito: A maquinaria técnica central envolve a análise das sequências de primeiro jet de $E$ em $X$ e de $L$ em $Y$. Ao construir um morfismo canônico $\Psi_{\pi, L}: J^1_X(E) \to \pi_* J^1_Y(L)$, os autores relacionam as sequências de jet do feixe subjacente e do feixe de linha espectral. Eles utilizam a exatidão do funtor de pushforward $\pi_*$ para morfismos finitos entre curvas suaves e a sequência exata padrão de diferenciais de Kähler para identificar a discrepância entre essas sequências de jet.
2. Ação Espectral e Centralizadores: O estudo restringe-se ao locus étale $X^\circ = X \setminus \Delta$ (onde $\Delta$ é o divisor discriminante). Aqui, a cobertura espectral não é ramificada, permitindo a identificação do centralizador do campo de Higgs com o pushforward do feixe da estrutura da curva espectral.
3. Refinamento Logarítmico: Para estender os resultados através do discriminante, os autores assumem que $\Delta$ é reduzido. Eles constroem um "feixe de centralizador regularizado" $Z_\theta$ saturando a imagem da álgebra espectral $\pi_* \mathcal{O}_Y$ dentro de $\text{End}(E)$. Em seguida, introduzem diferenciais logarítmicos $\Omega^1_X(\log \Delta)$ para lidar com as singularidades nos pontos de ramificação, construindo um morfismo canônico que mapeia diferenciais em $Y$ para diferenciais logarítmicos em $X$ tensorizados com a álgebra espectral.

Contribuições e Resultados Principais

• O Teorema de Comparação de Jets (Proposição 2.1): Os autores constroem um morfismo canônico $\Psi_{\pi, L}$ que se encaixa em uma sequência exata curta:
  $$0 \to J^1_X(E) \xrightarrow{\Psi_{\pi, L}} \pi_* J^1_Y(L) \to \pi_*(\Omega^1_{Y/X} \otimes L) \to 0$$
  Esta sequência demonstra que a discrepância entre os primeiros jets de $E$ e os jets de $L$ via pushforward é medida exatamente pelo feixe de ramificação $\pi_*(\Omega^1_{Y/X} \otimes L)$.

• A Classe de Atiyah Espectral (Corolário 2.2): Os autores definem uma "classe de Atiyah espectral" $\beta_{\text{spec}}(L, \pi) \in \text{Ext}^1_X(E, \pi_*(\Omega^1_Y \otimes L))$ representada pela sequência de jet de pushforward de $L$. Eles provam que a classe de Atiyah ordinária $\text{At}(E)$ mapeia para esta classe espectral via o morfismo natural de coeficientes $\iota: \Omega^1_X \otimes E \to \pi_*(\Omega^1_Y \otimes L)$.

• Abelianização no Locus Étale (Teorema 3.3): No locus étale $X^\circ$, os autores mostram que a classe de Atiyah de $E$ é completamente induzida pela classe de Atiyah escalar do feixe de linha espectral $L^\circ$. Especificamente, a restrição $j^*\text{At}(E)$ é a imagem da classe espectral escalar $\beta^\circ_{\text{spec}}(L, \pi)$ sob o mapa de ação espectral $id \otimes m^\circ$. Isso confirma que, longe do discriminante, a classe de Atiyah não-abeliana é governada inteiramente pelos dados espectrais abelianos.

• Refinamento Logarítmico (Teorema 4.6): Assumindo que o divisor discriminante $\Delta$ é reduzido, os autores constroem uma "classe de Atiyah espectral logarítmica":
  $$\text{At}^{\log}_\theta(E) \in H^1(X, \Omega^1_X(\log \Delta) \otimes Z_\theta)$$
  onde $Z_\theta$ é o feixe de centralizador regularizado. Eles provam uma relação de compatibilidade global:
  $$(k \otimes \text{id})^* \text{At}(E) = (id \otimes q)^* \text{At}^{\log}_\theta(E)$$
  onde $k$ e $q$ são inclusões naturais. Este resultado estabelece que a classe de Atiyah ordinária, quando vista com polos logarítmicos ao longo do discriminante, é representada por uma classe que toma valores no centralizador regularizado.

Significância
O artigo fornece um arcabouço cohomológico rigoroso para compreender feixes de Higgs através de seus dados espectrais. Ele esclarece que, embora a classe de Atiyah de um feixe de Higgs seja geralmente não-abeliana, ela é "abelianizada" pela correspondência espectral no locus étale. A principal significância reside na extensão desta descrição abeliana através do divisor de ramificação. Ao introduzir a classe de Atiyah espectral logarítmica com valores no centralizador regularizado, os autores demonstram que a falha da descrição espectral ao nível dos jets ordinários é controlada e pode ser reformulada usando geometria logarítmica. Isso oferece um mecanismo preciso para rastrear a obstrução a conexões holomorfas em feixes de Higgs através da geometria da curva espectral, mesmo na presença de ramificação.