HK manifolds of Type $K3^{[a^2+1]}$ as moduli spaces of projective bundles on HK manifolds of Type $K3^{[2]}$

Resumo Técnico: Variedades HK de Tipo K3$[a^2+1]$ como Espaços Moduli de Fibrados Projetivos em Variedades HK de Tipo K3$[2]$

Enunciado do Problema
O artigo aborda a realização de variedades hiperkähler (HK) como espaços moduli. Embora seja bem estabelecido que toda variedade HK conhecida é deformação-equivalente a um espaço moduli de feixes semiestáveis em uma superfície K3 ou abeliana, a questão de investigar a realização geométrica específica de variedades HK arbitrárias de Tipo K3$[a^2+1]$ (aquelas deformação-equivalentes ao esquema de Hilbert de $a^2+1$ pontos em uma superfície K3) como espaços moduli de fibrados sobre uma variedade HK de um tipo fixo permanece uma questão central. Especificamente, o autor investiga se uma variedade HK projetiva $W$ de Tipo K3$[a^2+1]$ pode ser realizada como um espaço moduli de fibrados projetivos (ou fibrados vetoriais torcidos) $\omega$-estáveis de inclinação sobre uma variedade HK projetiva $X$ de Tipo K3$[2]$ (deformação-equivalente ao esquema de Hilbert de 2 pontos em uma superfície K3).

Metodologia
A estratégia de prova baseia-se em uma abordagem construtiva envolvendo o esquema de Hilbert $S^{[2]}$ de uma superfície K3 projetiva $S$, seguida por argumentos de deformação usando a teoria de Verbitsky.

1. Construção em $S^{[2]}$:

   • O autor considera um fibrado vetorial esférico $E_1$ em uma superfície K3 $S$ com posto $2a$ e um vetor de Mukai $v_1$.
   • Seja $E_2$ um feixe estável em $S$ com vetor de Mukai $v_2 = a v_1 - (0,0,1)$. O espaço moduli $M_{v_2}(S, h_S)$ é uma variedade HK de Tipo K3$[a^2+1]$.
   • Usando a equivalência de Bridgeland-King-Reid (BKR), o autor constrói um fibrado vetorial $G(E_1, E_2)$ em $S^{[2]}$ a partir do produto tensorial $E_1 \otimes E_2 \oplus E_2 \otimes E_1$.
   • O autor analisa a estabilidade de $G(E_1, E_2)$ em relação a polarizações em $S^{[2]}$. Mostra-se que para $E_2$ fora de um divisor determinante específico $D_{v_2} \subset M_{v_2}$, o fibrado $G(E_1, E_2)$ é estável de inclinação (slope stable).
   • Para $E_2 \in D_{v_2}$, $G(E_1, E_2)$ é instável. O autor realiza uma "redução semiestável" (via modificações elementares) para construir substitutos estáveis. Isso envolve analisar a estratificação de Brill-Noether de $D_{v_2}$ e construir extensões específicas envolvendo fibrados rígidos $E_1^{[2]\pm}$ e feixes $B(H, U_k)$ ou $B(p, W_a)$.
   • Um resultado técnico fundamental é provar que esses feixes modificados são localmente livres e estáveis de inclinação para polarizações adequadas, definindo assim um mapa regular $\psi: M_{v_2} \to M_w(S^{[2]})$, onde $M_w$ é o espaço moduli de fibrados projetivos em $S^{[2]}$ com um vetor de Mukai fictício (mock Mukai vector) $w$.

2. Extensão para Variedades HK Gerais:

   • O autor utiliza a teoria de fibrados vetoriais projetivamente hiperholomórficos de Verbitsky. Esta teoria permite a extensão de fibrados estáveis de uma fibra específica (como $S^{[2]}$) para toda a família de deformações de twistor.
   • Ao mostrar que o espaço moduli desses fibrados se deforma corretamente ao longo de caminhos de twistor, os resultados estabelecidos para $S^{[2]}$ são estendidos para variedades HK arbitrárias $X$ de Tipo K3$[2]$.

3. Teoria de Hodge e Isometrias:

   • O artigo analisa a segunda classe de Chern do fibrado universal no produto $X \times \widetilde{M}_w(X, \omega)$ para definir uma isometria de Hodge racional entre $H^2(X)$ e $H^2(\widetilde{M}_w(X, \omega))$.
   • Esta isometria é combinada com os resultados de Markman sobre a conjectura de Shafarevich para variedades HK.

Principais Contribuições e Resultados

• Teorema 1.1: Para uma variedade HK $X$ de Tipo K3$[2]$ e uma classe de Kähler adequada $\omega$, o espaço moduli $M_w(X, \omega)$ de fibrados projetivos estáveis de inclinação $\omega$ com um vetor de Mukai fictício $w$ específico contém um componente irredutível $\widetilde{M}_w(X, \omega)^\bullet$. A normalização deste componente é uma variedade HK de Tipo K3$[a^2+1]$. Se $X$ é projetiva e $\omega$ é ampla, esta normalização é isomórfica a uma variedade HK de Tipo K3$[a^2+1]$.
• Teorema 1.3 (Sobrejetividade/Realização): Inversamente, toda variedade HK projetiva $W$ de Tipo K3$[a^2+1]$ é isomórfica a $\widetilde{M}_w(X, h)^\bullet$ para alguma variedade HK polarizada $(X, h)$ de Tipo K3$[2]$. Isto estabelece que as variedades de Tipo K3$[a^2+1]$ são espaços moduli de fibrados projetivos sobre variedades HK de Tipo K3$[2]$.
• Teorema 1.7 (Análogo da Conjectura de Shafarevich): O artigo prova um análogo da conjectura de Shafarevich para isometrias de Hodge racionais entre variedades HK projetivas dos Tipos K3$[a_1^2+1]$ e K3$[a_2^2+1]$. Especificamente, qualquer isometria de Hodge racional $f: H^2(W_1) \to H^2(W_2)$ é induzida por uma classe de ciclo algébrico em $CH^2(W_1 \times W_2)$.
• Feixes Modulares: O trabalho demonstra que os feixes construídos (especificamente $G(E_1, E_2)$ e seus substitutos estáveis) são modulares, mas não atômicos, distinguindo-os dos feixes estudados em trabalhos recentes de Markman e Bottini.

Significância e Alegações
O autor afirma que estes resultados fornecem uma realização geométrica concreta de uma ampla classe de variedades HK (Tipo K3$[a^2+1]$) como espaços moduli de fibrados sobre uma variedade HK de dimensão inferior (Tipo K3$[2]$). Isto é paralelo ao resultado clássico onde variedades HK são espaços moduli de feixes em superfícies K3, sugerindo uma semelhança estrutural entre a teoria de feixes em variedades HK de Tipo K3$[2]$ e a teoria de feixes em superfícies K3.

O artigo nota explicitamente que não resolve se o espaço moduli $M_w(X, \omega)$ é irredutível, mas identifica com sucesso um componente irredutível específico com as propriedades desejadas. Os resultados dependem fortemente da geometria específica do Tipo K3$[2]$ e das propriedades de feixes modulares, estendendo o panorama conhecido das variedades HK construídas via problemas de moduli. A prova do análogo da conjectura de Shafarevich para estes tipos específicos baseia-se na existência da realização do espaço moduli e no trabalho prévio de Markman sobre feixes atômicos.