Correspondences for hyperkähler varieties with large Picard numbers

Resumo Técnico: Correspondências para Variedades Hiperkählérias com Números de Picard Elevados

Enunciado do Problema
O artigo aborda a relação entre variedades hiperkählérias com números de Picard elevados e variedades abelianas. Especificamente, busca-se generalizar um célebre resultado de Morrison referente a superfícies K3 para variedades hiperkählérias de dimensão superior. Para superfícies K3, Morrison provou que, se o reticulado transcendental $T(X)$ admite um embutimento racional em $U^3$ (onde $U$ é o plano hiperbólico de posto 2), então $X$ está relacionada a uma superfície abeliana $A$ via uma correspondência algébrica que induz uma isometria de Hodge entre seus reticulados transcendentais ($T(X) \otimes \mathbb{Q} \cong T(A) \otimes \mathbb{Q}$). Este artigo investiga se uma correspondência semelhante existe para famílias conhecidas de variedades hiperkählérias, particularmente as do tipo $K3^{[n]}$, sob condições de reticulados análogas.

Metodologia
Os autores empregam uma combinação de teoria de reticulados, teoria de Hodge e a geometria de espaços de módulos de feixes. A metodologia central envolve:

1. Embutimentos de Reticulados: Utilizando os teoremas de embutimento de Nikulin e critérios aritméticos (especificamente em relação a vetores isotrópicos e subreticulados) para determinar quando o reticulado transcendental $T(X)$ de uma variedade hiperkählera pode ser embebido em $U^3 \otimes \mathbb{Q}$.
2. Redução a Superfícies K3: Aproveitando resultados recentes de Prieto-Montanez e Markman, que estabelecem que variedades hiperkählérias do tipo $K3^{[n]}$ com número de Picard suficientemente elevado ($\rho(X) \geq 13$) são biracionais a espaços de módulos de feixes estáveis em uma superfície K3 única $S$.
3. Construção da Correspondência: Construindo correspondências algébricas através de uma cadeia de mapas:
   • Estabelecendo uma correspondência entre a variedade hiperkählera $X$ e a superfície K3 subjacente $S$ (via a estrutura de espaço de módulos).
   • Aplicando o teorema de Morrison para estabelecer uma correspondência entre $S$ e uma superfície abeliana $A$.
   • Compondo essas correspondências para ligar $X$ diretamente a $A$.
4. Verificação da Isometria de Hodge: Demonstrando que a correspondência composta induz a isometria de Hodge necessária em seus reticulados transcendentais.

Principais Contribuições e Resultados
A principal contribuição é o Teorema 1.3 (repetido como Teorema 3.1), que generaliza a solução de Morrison para a conjectura de Oda para variedades hiperkählérias do tipo $K3^{[n]}$.

• Teorema Principal: Seja $X$ uma variedade hiperkählera projetiva do tipo $K3^{[n]}$. Se existir um embutimento de $\mathbb{Q}$-reticulados $\phi: T(X) \otimes \mathbb{Q} \hookrightarrow U^3 \otimes \mathbb{Q}$, então existe uma variedade abeliana $A$ e uma correspondência algébrica entre $X$ e $A$ induzindo uma isometria de Hodge $T(X) \otimes \mathbb{Q} \cong T(A) \otimes \mathbb{Q}$.
• Critérios Aritméticos (Lema 3.2 & Corolário 3.4): O artigo fornece condições explícitas sobre o número de Picard $\rho(X)$ e a estrutura de $T(X)$ que satisfazem a hipótese de embutimento:
  • Se $\rho(X) \in \{20, 21\}$, a condição é automaticamente satisfeita.
  • Se $\rho(X) = 19$, a condição é satisfeita se, e somente se, $T(X)$ contiver um vetor isotrópico.
  • Se $\rho(X) = 18$, a condição é satisfeita se, e somente se, $T(X)$ contiver um subreticulado isotrópico de dimensão 2.
• Variedades de Kummer Generalizadas: O artigo observa que resultados análogos para variedades de Kummer Generalizadas ($Kum_n$) seguem do trabalho existente de Piroddi-Ortiz, onde tais variedades são induzidas diretamente por superfícies abelianas.
• Casos Excepcionais: Os autores discutem brevemente exemplos de O'Grady ($OG_6$ e $OG_{10}$), observando que eles estão relacionados a tipos $K3^{[n]}$ ou quatro-variedades cúbicas, sugerindo que o arcabouço pode se estender a esses casos sob condições específicas de reticulado.

Significância e Alegações
O artigo afirma "refinar" e "explorar mais explicitamente" a conexão entre variedades hiperkählérias e variedades abelianas, indo além da conjectura de Hodge (que prevê a existência de tais correspondências) para fornecer provas construtivas incondicionais para famílias específicas de variedades com números de Picard elevados.

A significância reside em:

1. Unificação: Fornece uma abordagem uniforme para compreender a relação entre variedades hiperkählérias e variedades abelianas, espelhando a clássica relação K3-superfície abeliana.
2. Construção Explícita: Diferente de resultados que dependem puramente da conjectura de Hodge, este trabalho constrói a correspondência explicitamente para tipos $K3^{[n]}$ ao utilizar a interpretação de espaço de módulos dessas variedades.
3. Extensão do Trabalho de Morrison: Estende com sucesso a solução específica de Morrison para a conjectura de Oda da dimensão 2 (superfícies K3) para dimensões superiores ($K3^{[n]}$), confirmando que a heurística do "número de Picard elevado" implica um elo estrutural profundo com variedades abelianas no contexto hiperkählério também.

Os autores mantêm um tom modesto, focando estritamente nos exemplos conhecidos ($K3^{[n]}$, $Kum_n$ e brevemente tipos $OG$) e baseando-se em teoremas estabelecidos (Morrison, Mukai, Markman, Prieto-Montanez) para preencher a lacuna entre embutimentos de reticulados e correspondências geométricas.