On Fujita's conjecture for a general hyperkähler manifold in the standard series of examples

Resumo Técnico: Conjectura de Fujita para Variedades Hiper-Kähler

1. O Problema

A Conjectura de Fujita é um problema central na geometria algébrica complexa. Ela postula que, dada uma variedade complexa compacta $X$ de dimensão complexa $n$ e um fibrado de linha amplo $L$, o fibrado $K_X \otimes L^{\otimes m}$ é:

• Sem pontos base (base point free) para todo $m \geq n+1$.
• Muito amplo (very ample) para todo $m \geq n+2$.

Embora a conjectura seja conhecida para superfícies K3 e variedades abelianas (com limites inferiores mais fortes, $m \geq 2$ e $m \geq 3$, respectivamente), ela permanece amplamente aberta para variedades de dimensão superior. O artigo foca especificamente em variedades hiper-Kähler, que são variedades Kähler simplesmente conexas com uma 2-forma holomorfa não degenerada. O objetivo é estudar a livre de pontos base e a amplitude muito forte de polarizações gerais em moduli spaces de variedades hiper-Kähler de dois tipos principais:

1. Tipo $K3^{[n]}$: Deformações do esquema de Hilbert de $n$ pontos em uma superfície K3.
2. Tipo $Kum_n$: Deformações de variedades Kummer generalizadas (fibras de mapas de soma em esquemas de Hilbert de superfícies abelianas).

O trabalho investiga esses problemas para polarizações com quadrado $2d$ e divisibilidade $t$, generalizando resultados anteriores que eram limitados a casos específicos de $n$ e divisibilidade.

2. Metodologia

O autor emprega uma abordagem que combina a teoria de feixes tautológicos em esquemas de Hilbert com a estrutura de retículos (lattices) dos grupos de cohomologia de variedades hiper-Kähler. A metodologia segue os seguintes passos:

• Feixes Tautológicos e Esquemas de Hilbert:

  • Utiliza-se a construção do feixe tautológico $F^{[n]}$ no esquema de Hilbert $S^{[n]}$ associado a um feixe $F$ em uma superfície $S$.
  • Estabelece-se que se $L$ é $(n-1)$-muito amplo em $S$, então o feixe tautológico $L^{[n]}$ é globalmente gerado. Se $L$ é $n$-muito amplo, $L^{[n]}$ define um mergulho em um Grassmanniano.
  • Demonstra-se que o determinante do feixe tautológico, $\det(L^{[n]})$, corresponde ao fibrado de linha $L_n - \delta$ em $S^{[n]}$ (onde $\delta$ é o divisor excepcional do morfismo de Hilbert-Chow).
  • Prova-se que a propriedade de "sem pontos base" e "muito amplo" é preservada sob essa construção e é uma propriedade aberta em famílias de variedades hiper-Kähler.

• Estrutura de Retículos e Moduli Spaces:

  • Analisa-se a estrutura do grupo de Picard e da cohomologia $H^2(X, \mathbb{Z})$ para variedades de tipo $K3^{[n]}$ e $Kum_n$, utilizando a forma quadrática de Beauville-Bogomolov-Fujiki.
  • Utiliza-se a fórmula para o número de componentes conexas dos espaços de moduli $\Sigma^n_{d,t}$ e $\Upsilon^n_{d,t}$ (baseada em trabalhos de Hassett e Tschinkel, entre outros) para identificar quando esses espaços são conexos ou possuem componentes específicas.

• Estratégia de Prova:

  • A prova principal baseia-se na construção de um elemento específico (um "exemplo") dentro de uma componente conexa do espaço de moduli que satisfaça as propriedades desejadas (livre de pontos base ou muito amplo).
  • Devido à abertura dessas propriedades em famílias e à irredutibilidade das componentes conexas, conclui-se que o elemento geral em toda a componente compartilha das mesmas propriedades.

3. Contribuições Principais e Resultados

O artigo fornece limites explícitos para $d$ (quadrado da polarização) em função de $n$ (dimensão) e $t$ (divisibilidade) que garantem a livre de pontos base e a amplitude muito forte.

Definição de Parâmetros:
Seja $\tau := \frac{t^2}{2(t-1)}$.

Resultados para Tipo $K3^{[n]}$ ($\Sigma^n_{d,t}$):

• Caso $t=1$: Para um elemento geral, $H$ é livre de pontos base. Se $d \geq n+1$, $H$ é muito amplo.
• Caso Geral ($t \geq 2$): Existem componentes conexas onde:
  • $H$ é livre de pontos base se $d \geq (\tau - 1)n + \tau + 1$.
  • $H$ é muito amplo se $d \geq (\tau - 1)n + 2\tau + 1$.

Resultados para Tipo $Kum_n$ ($\Upsilon^n_{d,t}$):

• Caso $t=1$: Se $d \geq 3$, $H$ é livre de pontos base. Se $d \geq n+4$, $H$ é muito amplo.
• Caso Geral ($t \geq 2$): Existem componentes conexas onde:
  • $H$ é livre de pontos base se $d \geq (\tau - 1)n + 2\tau - 1$.
  • $H$ é muito amplo se $d \geq (\tau - 1)n + 3\tau - 1$.

Resultados Adicionais:

• Caracterização de Não-Esquecimento: O autor fornece uma condição necessária e suficiente (Proposição 5.10) para que os espaços de moduli $\Sigma^n_{d,t}$ e $\Upsilon^n_{d,t}$ sejam não vazios. Isso permite refinar as desigualdades acima para casos específicos, descartando casos onde o espaço de moduli não existe.
• Generalização de Resultados Anteriores: O trabalho generaliza resultados de U. Rieß, M. Varesco e O. Debarre, cobrindo todas as divisibilidades possíveis e dimensões arbitrárias para ambas as famílias padrão de variedades hiper-Kähler.
• Relação com a Conjectura de Fujita: O Teorema 0.1 e o Corolário 5.13 mostram que, para um elemento geral, $H$ é livre de pontos base e $H^{\otimes(n+2)}$ é muito amplo. Isso corrobora a conjectura de Fujita para estas variedades, sugerindo que os limites podem ser ainda mais fortes do que o caso geral ($m \geq n+2$) em contextos específicos.

4. Significado e Impacto

• Avanço na Conjectura de Fujita: O artigo fornece os melhores limites conhecidos para a livre de pontos base e amplitude muito forte em variedades hiper-Kähler de dimensão arbitrária, preenchendo lacunas deixadas por trabalhos anteriores que se restringiam a baixas dimensões ou divisibilidades específicas.
• Unificação de Técnicas: A metodologia unifica o tratamento de superfícies K3 e variedades abelianas através da teoria de feixes tautológicos, demonstrando como propriedades locais na superfície base se traduzem em propriedades globais no esquema de Hilbert ou variedade Kummer.
• Clareza na Geometria dos Moduli: Ao caracterizar explicitamente quando os espaços de moduli são não vazios e quantificar suas componentes conexas, o trabalho oferece uma ferramenta essencial para pesquisadores que estudam a geometria biracional e a teoria de deformação de variedades hiper-Kähler.
• Aplicabilidade: Os resultados são aplicáveis a uma vasta gama de exemplos, incluindo casos onde a divisibilidade $t$ é um número primo ou uma potência de primo, condições sob as quais os espaços de moduli são frequentemente conexos, tornando os resultados válidos para o "elemento geral" de todo o espaço.

Em suma, o artigo estabelece uma base sólida para entender a geometria das polarizações em variedades hiper-Kähler, aproximando-se significativamente da validação da Conjectura de Fujita para esta classe importante de variedades.