Moduli of sheaves on hyperkähler manifolds

1. Problema e Contexto

O artigo aborda a teoria dos espaços de módulos de feixes coerentes estáveis (especificamente feixes vetoriais) sobre variedades hiperkähler (HK) de dimensão superior a 2.

• Estado da Arte em Dimensão 2: Para superfícies K3 (que são variedades HK de dimensão 2), a teoria é bem estabelecida. Os espaços de módulos de feixes semiestáveis são, em geral, variedades projetivas suaves, irredutíveis e de dimensão esperada, carregando uma forma simplética holomorfa (sendo, portanto, variedades HK).
• O Desafio em Dimensão Superior: Para variedades HK de dimensão $2n > 2$, a teoria é muito mais complexa. Diferentemente do caso de superfícies, feixes vetoriais estáveis aleatórios em variedades HK de dimensão superior não se comportam bem: eles geralmente não se estendem a todas as deformações da variedade base, e seus espaços de deformação podem ser singulares ou ter dimensão incorreta.
• Objetivo: O paper visa sistematizar e apresentar avanços recentes na construção e estudo de espaços de módulos de feixes especiais em variedades HK de dimensão superior, demonstrando que, sob certas condições topológicas e de estabilidade, é possível recuperar propriedades análogas às das superfícies K3.

2. Metodologia e Estrutura Teórica

O autor utiliza uma abordagem que combina geometria algébrica, teoria de deformações e topologia algébrica. A metodologia baseia-se em três pilares principais:

A. Classes Especiais de Feixes

Para superar as patologias da dimensão superior, o foco é restrito a classes específicas de feixes que possuem propriedades topológicas rígidas:

1. Feixes Modulares: Feixes torsion-free cuja classe de discriminante $\Delta(F)$ satisfaz uma condição topológica específica envolvendo a forma bilinear de Beauville-Bogomolov-Fujiki ($b_X$). Essencialmente, o discriminante deve ser proporcional a uma potência da forma quadrática associada a $b_X$.
2. Fibrados Vetoriais (Projetivamente) Hiperholomórficos: Feixes que se estendem a toda a família de twistor da variedade HK. Uma condição necessária e suficiente (para feixes poliestáveis) é que suas classes de Chern permaneçam classes de Hodge em todas as deformações da variedade.
3. Feixes Atômicos: Uma classe introduzida recentemente (por Beckmann e Markman) definida pela ação do álgebra de Lie de Looijenga-Lunts-Verbitsky (LLV) sobre o vetor de Mukai do feixe. Feixes atômicos são modulares e, se estáveis, são projetivamente hiperholomórficos.

B. Variação de Estabilidade (Wall-and-Chamber)

O paper estende a teoria de variação de estabilidade de slope (estabilidade de inclinação) para variedades HK.

• Define-se a estabilidade de slope HK usando a forma bilinear $b_X$ em vez do produto de interseção padrão.
• Demonstra-se que, para feixes modulares, a variação da estabilidade em relação à polarização segue um padrão de "paredes e câmaras" análogo ao das superfícies, permitindo controlar quando um feixe muda de estável para instável.

C. Equivalência de Bridgeland-King-Reid (BKR)

Utiliza-se a equivalência de categorias derivadas entre feixes equivariantes em $S^n$ (produto simétrico de uma superfície K3) e feixes na resolução crepante $S^{[n]}$ (esquema de Hilbert de $n$ pontos). Isso permite construir feixes "sintéticos" em variedades HK de tipo $K3^{[n]}$ a partir de feixes em superfícies K3, preservando propriedades de modularidade e rigidez.

3. Principais Resultados

3.1. Existência e Unicidade de Fibrados Rígidos

O Teorema 4.1.3 é um dos resultados centrais. O autor prova que, para uma variedade HK polarizada genérica $(X, h)$ do tipo $K3^{[n]}$ (com grau e divisibilidade específicos), existe um e apenas um (a menos de isomorfismo) fibrado vetorial $F$ que é:

• Slope-estável.
• Rígido (ou seja, $H^p(X, \text{End}_0(F)) = 0$ para todo $p$, implicando que o espaço de deformação é trivial).
• Projetivamente hiperholomórfico.
• Com classes de Chern e discriminante explicitamente calculados em termos de $n$, o rank $r_0$ e a polarização.

3.2. Estrutura dos Espaços de Módulos

• Suavidade e Forma Simplética: Para feixes projetivamente hiperholomórficos estáveis, o espaço de módulos é suave e carrega uma forma simplética holomorfa, tornando-se ele próprio uma variedade HK (ou uma componente de uma).
• Extensão a Deformações: Um resultado crucial é que, se um fibrado vetorial estável em uma HK é projetivamente hiperholomórfico, ele se estende a todas as pequenas deformações da variedade base que mantêm a primeira classe de Chern do tipo $(1,1)$. Isso contrasta fortemente com o caso geral em dimensão superior.

3.3. Realização de Variedades HK como Espaços de Módulos

O paper estabelece conexões profundas entre diferentes classes de variedades HK:

• OG10: Variedades HK de dimensão 10 do tipo "OG10" (uma das classes esporádicas) podem ser realizadas como componentes de espaços de módulos de fibrados vetoriais estáveis (twisted) sobre variedades do tipo $K3^{[2]}$.
• Tipos $K3^{[a^2+1]}$: O autor mostra que uma variedade HK genérica do tipo $K3^{[a^2+1]}$ pode ser obtida como a normalização de um componente de um espaço de módulos de fibrados hiperholomórficos sobre uma variedade do tipo $K3^{[2]}$.

3.4. Conjectura de D-Equivalência e Isogenias

O trabalho discute como fibrados vetoriais construídos via BKR (como $U^{[n]}$) induzem equivalências entre as categorias derivadas de pares de variedades HK do tipo $K3^{[n]}$. Isso fornece evidências e provas para a Conjectura de D-Equivalência (que afirma que variedades com categorias derivadas equivalentes são biracionais ou deformações uma da outra) e para a conjectura de Shafarevich para pares de variedades HK.

4. Significado e Impacto

1. Generalização da Teoria de K3: O trabalho demonstra que a rica teoria de feixes em superfícies K3 não é um fenômeno isolado de dimensão 2, mas pode ser generalizada para dimensões superiores, desde que se restrinja a classes de feixes com propriedades topológicas adequadas (modulares/atómicos).
2. Novas Construções de Variedades HK: Oferece um método poderoso para construir novas variedades hiperkähler (como as do tipo OG10 e $K3^{[a^2+1]}$) a partir de espaços de módulos de feixes, fornecendo descrições geométricas concretas para classes que antes eram apenas definidas por deformação.
3. Ferramentas para Conjecturas Fundamentais: Os resultados fornecem ferramentas essenciais para atacar problemas centrais na geometria algébrica moderna, como a Conjectura de D-Equivalência e a Conjectura Generalizada de Franchetta (relacionada a classes de Chow tautológicas).
4. Rigidez e Hiperholomorfia: Estabelece uma ligação clara entre a rigidez geométrica (extensão a deformações) e propriedades topológicas (classes de Chern de tipo Hodge), validando a intuição de que a geometria hiperkähler é governada por estruturas de cohomologia muito fortes.

Em resumo, o artigo de O'Grady consolida uma nova subárea da geometria algébrica, transformando o estudo de feixes em variedades hiperkähler de dimensão superior de um problema com muitas patologias em uma teoria estruturada, elegante e produtiva, análoga àquela desenvolvida para superfícies K3.