The Hitchin morphism for K-trivial varieties

1. O Problema e o Contexto

O artigo investiga a morfismo de Hitchin para variedades de dimensão superior. Seja $X$ uma variedade projetiva suave sobre um corpo algebricamente fechado $k$ de característica zero. O morfismo de Hitchin, denotado por $h^r_X: \mathcal{M}^r_X \to \mathcal{A}^r_X$, mapeia o stack de módulos de feixes de Higgs de posto $r$ para o "base de Hitchin" $\mathcal{A}^r_X = \bigoplus_{i=1}^r H^0(X, \text{Sym}^i \Omega^1_X)$.

• O Caso Curvas: Quando $\dim(X)=1$, o morfismo é conhecido por ser sobrejetivo.
• O Caso Dimensão Superior: Para $\dim(X) > 1$, a condição de integrabilidade ($\theta \wedge \theta = 0$) impõe restrições não triviais, e o morfismo geralmente não é sobrejetivo para o base de Hitchin completo.
• A Conjectura de Chen-Ngô: Chen e Ngô introduziram um subesquema fechado $\mathcal{B}^r_X \subset \mathcal{A}^r_X$, chamado de base espectral, e conjecturaram que a restrição do morfismo de Hitchin para este subesquema é sobrejetiva (ou seja, que a fibra sobre qualquer ponto da base espectral é não vazia).

Questão Central: Para quais variedades projetivas $X$ o morfismo de Hitchin restrito ao espaço de módulos de Dolbeault (feixes de Higgs semiestáveis de Gieseker com polinômio de Hilbert do fibrado trivial) é sobrejetivo para a base espectral $\mathcal{B}^r_X$?

2. Metodologia

Os autores utilizam uma abordagem geométrica que combina a teoria de coberturas espectrais com propriedades de estabilidade de feixes vetoriais e topologia algébrica. A metodologia baseia-se nos seguintes pilares:

1. Modificação da Construção de Coberturas Espectrais:

   • Em vez de usar a cobertura espectral padrão (que pode não ser normal ou Cohen-Macaulay), os autores constroem uma cobertura espectral normalizada ($X'_s$).
   • Eles demonstram que, para dados espectrais irredutíveis, a cobertura normalizada é finita e sobrejetiva.
   • Utilizam o Teorema da Pureza do Lugar de Ramificação (Purity of Branch Locus) para analisar a ramificação da cobertura normalizada.

2. Análise do Discriminante e Locus de Vanishing:

   • Estudam o discriminante $D(s)$ de um dado espectral $s$. O lugar de ramificação da cobertura espectral está contido no lugar de vanishing de $D(s)$.
   • Introduzem a condição de que o lugar de vanishing de seções globais de diferenciais simétricos tenha codimensão $\ge 2$. Se o discriminante não tiver zeros em divisors (codimensão 1), a cobertura torna-se étale (não ramificada).

3. Conexão com o Grupo Fundamental Étale:

   • Demonstram que, se a cobertura espectral normalizada é étale, o feixe vetorial subjacente ($\pi'_* \mathcal{O}_{X'_s}$) é trivializável étale.
   • Em característica zero, tais feixes são poliestáveis e possuem classes de Chern nulas, o que os coloca diretamente no espaço de módulos de Dolbeault ($\mathcal{M}^r_{X, \text{Dol}}$).

4. Definição de Variedades "r-pequenas" (r-small):

   • Introduzem uma classe de variedades onde o fibrado cotangente $\Omega^1_X$ é semiestável de inclinação (slope) e satisfaz desigualdades de inclinação estritas para potências simétricas. Isso garante que seções não nulas de diferenciais simétricos não podem vanecer em divisores.

3. Contribuições e Resultados Principais

O artigo estabelece resultados fortes sobre a sobrejetividade do morfismo de Hitchin para uma classe específica de variedades.

A. Teorema Principal para Variedades K-Triviais

O resultado central é o Teorema 1.2 (e Teorema 4.11):

Seja $X$ uma variedade projetiva suave cujo divisor canônico $K_X$ é numericamente trivial. Então, para todo $r \in \mathbb{N}$, o morfismo de Hitchin restrito $h^r_{X, \text{Dol}}: \mathcal{M}^r_{X, \text{Dol}} \to \mathcal{B}^r_X$ é sobrejetivo.

Isso confirma uma versão mais forte da conjectura de Chen-Ngô para variedades com $K_X$ numericamente trivial (incluindo variedades Calabi-Yau, superfícies K3, toros abelianos, etc.).

B. O Conceito de Variedades r-pequenas

Os autores definem variedades r-pequenas (Definição 1.4): variedades onde $\Omega^1_X$ é semiestável de inclinação e $\mu(\text{Sym}^{k(k-1)}\Omega^1_X) < 1$ para $1 \le k \le r$.

• Teorema 1.3: Para qualquer variedade r-pequena, o morfismo de Hitchin restrito é sobrejetivo.
• Corolário: Como variedades com $K_X$ numericamente trivial têm $\Omega^1_X$ semiestável de inclinação 0, elas são automaticamente r-pequenas.

C. Estrutura das Fibras e Feixes Reflexivos

• Proposição 3.5: O morfismo de Hitchin do stack de feixes de Higgs reflexivos é sobrejetivo para a base espectral. Isso generaliza resultados anteriores para superfícies.
• Proposição 4.12: Para variedades que satisfazem as hipóteses (como as K-triviais), a base espectral $\mathcal{B}^r_X$ pode ser descrita como uma união finita de imagens de morfismos de Hitchin associados a um conjunto finito de fibrados vetoriais trivializáveis étale. Isso implica que cada fibra do morfismo de Hitchin contém um feixe de Higgs cujo fibrado subjacente é etale-trivializável.

D. Invariância Biracional

Os autores reformulam a Conjectura 1.1 (Conjectura de Chen-Ngô) como a afirmação de que a imagem do morfismo de Hitchin é invariante sob modificações birracionais suaves (Conjectura 1.6). Eles mostram que a sobrejetividade pode ser verificada resolvendo singularidades e passando a um modelo birrional onde o feixe se torna localmente livre.

4. Significado e Impacto

1. Resolução Parcial da Conjectura de Chen-Ngô: O trabalho fornece uma classe robusta de variedades (K-triviais) onde a conjectura é provada, indo além dos casos conhecidos de superfícies e variedades hiperelípticas.
2. Novas Ferramentas Geométricas: A introdução da cobertura espectral normalizada e a análise detalhada do discriminante em relação à pureza do lugar de ramificação oferecem uma nova perspectiva técnica para lidar com a não-flatness das coberturas espectrais em dimensões superiores.
3. Conexão com Topologia: O resultado estabelece uma ligação direta entre a geometria do espaço de módulos de Higgs e a topologia da variedade (através do grupo fundamental étale e a trivialização de feixes), mostrando que, para variedades K-triviais, a estrutura da base espectral é governada por coberturas étale finitas.
4. Implicações para a Física Matemática: O espaço de módulos de Higgs e o morfismo de Hitchin são centrais na correspondência de Langlands geométrica e na teoria de campos topológicos (como a teoria de Chern-Simons e a correspondência de Hitchin-Kobayashi). A compreensão da sobrejetividade em dimensões superiores é crucial para a generalização dessas teorias.

Em resumo, Patel e Weissmann demonstram que, para variedades com divisor canônico numericamente trivial, a obstrução à sobrejetividade do morfismo de Hitchin desaparece, garantindo que toda configuração espectral possível é realizada por um feixe de Higgs estável com classes de Chern nulas.