On the Boucksom-Zariski decomposition for irreducible symplectic varieties and bounded negativity

Resumo Técnico: Decomposição de Boucksom-Zariski em Variedades Simples Irredutíveis e Negatividade Limitada

1. O Problema e o Contexto

A decomposição de Zariski é uma ferramenta fundamental na teoria das séries lineares em superfícies algébricas, permitindo decompor um divisor efetivo em uma parte "positiva" (nef) e uma parte "negativa" (excepcional). Em dimensões superiores, a generalização dessa decomposição é complexa. Para variedades simpléticas irredutíveis (manifolds holomorfos simpléticos), Boucksom estabeleceu uma caracterização da decomposição de Zariski divisorial baseada na forma quadrática de Beauville-Bogomolov-Fujiki ($q_X$).

No entanto, dois desafios principais permaneciam:

1. Generalização para o caso singular: A decomposição de Boucksom foi originalmente provada para variedades suaves. A extensão para variedades com singularidades simpléticas (especialmente no caso não-Q-fatorial e não-projetivo) não estava estabelecida.
2. Limitação de denominadores e a Conjectura de Negatividade Limitada: Em superfícies, a existência de uma decomposição de Zariski com denominadores limitados está intimamente ligada à conjectura de negatividade limitada (a cota inferior para auto-interseções de curvas irreduzíveis). Era desconhecido se um fenômeno análogo ocorria em variedades simpléticas irredutíveis de dimensão superior e se era possível obter cotas efetivas para os denominadores das partes positiva e negativa da decomposição.

2. Metodologia

Os autores desenvolveram uma abordagem que combina geometria algébrica de variedades singulares, teoria de formas quadráticas e topologia de variedades simpléticas.

• Extensão da Forma Quadrática para Divisores de Weil:

  • O principal obstáculo técnico em variedades singulares é que divisores Q-Cartier podem ter componentes irredutíveis que não são Q-Cartier.
  • Para contornar isso, os autores definem uma forma quadrática $q_{X,\sigma}$ diretamente em divisores de Weil (não apenas em classes de Cartier). Eles utilizam uma resolução de singularidades $\pi: Y \to X$ e restringem a forma simplética $\sigma$ ao complemento do "lugar dissidente" (singularidades piores que tipo ADE).
  • Eles definem um mapa de "fechamento" ($\pi^\dagger$) que associa a um divisor de Weil em $X$ uma classe de homologia na resolução, permitindo calcular a forma quadrática mesmo para componentes não-Q-Cartier.
  • Teorema Chave: Demonstram que essa forma quadrática generalizada comporta-se como um "produto de interseção" (i.e., a interseção de dois divisores primos distintos é não-negativa), o que é a condição necessária para a existência da decomposição de Zariski.

• Prova da Decomposição:

  • Utilizando o resultado de que a forma quadrática é um produto de interseção, aplicam o teorema de Bauer (adaptado para variedades Kähler) para provar a existência e unicidade da decomposição de Boucksom-Zariski para divisores de Weil Q-efetivos em variedades com singularidades simpléticas.

• Limitação de Denominadores (Bounded Negativity):

  • Para obter cotas efetivas, os autores estabelecem uma equivalência entre a limitação dos denominadores na decomposição e a limitação inferior das auto-interseções (quadrados) de divisores primos excepcionais em relação à forma $q_X$.
  • Utilizam resultados de Druel e Markman sobre a geometria de divisores excepcionais em variedades simpléticas projetivas.
  • Demonstram que a auto-interseção de qualquer divisor irreduzível é limitada inferiormente por $4 \cdot \text{Card}(A_X)$, onde $A_X$ é o grupo de discriminante finito da rede de cohomologia $H^2(X, \mathbb{Z})$.

3. Principais Contribuições e Resultados

A. Decomposição de Boucksom-Zariski em Variedades Singulares (Teorema 1.1)
Os autores provam que a decomposição de Boucksom-Zariski vale no maior quadro possível: para qualquer variedade Kähler compacta $X$ com singularidades simpléticas.

• Resultado: Todo divisor Q-efetivo de Weil $D$ possui uma decomposição única $D = P(D) + N(D)$, onde $P(D)$ é $q_{X,\sigma}$-nef, $N(D)$ é $q_{X,\sigma}$-excepcional (sua matriz de Gram é definida negativa) e eles são ortogonais.
• Propriedade de Seções: A aplicação natural $H^0(X, \mathcal{O}_X(kP(D))) \twoheadrightarrow H^0(X, \mathcal{O}_X(kD))$ é sobrejetiva para $k$ suficientemente divisível.

B. Limitação Efetiva de Denominadores (Teorema 1.2 e Corolário 4.10)
Para variedades simpléticas irredutíveis projetivas e suaves, os autores fornecem uma cota explícita para os denominadores dos coeficientes na decomposição.

• Cota: Os denominadores são limitados por $(4 \cdot \text{Card}(A_X))^{\rho(X)-1!}$, onde $\rho(X)$ é o número de Picard e $\text{Card}(A_X)$ é a cardinalidade do grupo de discriminante.
• Isso resolve o problema de encontrar um múltiplo inteiro que "limpe" os denominadores de forma uniforme para a família de deformações da variedade.

C. Birracionalidade Efetiva (Corolário 1.3)
Como aplicação direta da limitação de denominadores, os autores respondem a uma questão levantada por F. Charles sobre a birracionalidade efetiva.

• Resultado: Seja $L$ um fibrado de linha "big" em uma variedade simplética irredutível suave de dimensão $2n$. O mapa associado ao sistema linear $|mL|$ é birracional sobre sua imagem para todo:
  $$m \geq \frac{1}{2}(2n + 2)(2n + 3)(4 \cdot \text{Card}(A_X))^{\rho(X)-1!}$$
• Esta é uma cota explícita e efetiva, diferentemente de resultados anteriores que garantiam apenas a existência de tal número sem especificá-lo.

D. Limitação de Negatividade (Proposição 4.8)
Os autores provam uma versão efetiva da conjectura de negatividade limitada para variedades simpléticas:

• A auto-interseção de Beauville-Bogomolov de qualquer divisor irreduzível $E$ é limitada inferiormente por $-4 \cdot \text{Card}(A_X)$.

4. Significância e Impacto

1. Unificação Teórica: O trabalho estende a teoria da decomposição de Zariski de variedades suaves para o contexto singular mais geral (singularidades simpléticas), preenchendo uma lacuna importante na teoria de modelos mínimos e variedades com classes canônicas triviais.
2. Ferramentas Computacionais: Ao fornecer cotas explícitas para os denominadores, o artigo transforma resultados existenciais em ferramentas computacionais práticas para o estudo de séries lineares em variedades de Calabi-Yau e simpléticas.
3. Resposta a Questões Abertas: O Corolário 1.3 responde afirmativamente e de forma construtiva a uma questão de F. Charles sobre a birracionalidade efetiva em variedades simpléticas.
4. Conexão com Singularidades: A metodologia desenvolvida para lidar com divisores de Weil não-Q-Cartier em variedades não-projetivas oferece um novo caminho técnico que pode ser aplicado a outros problemas em geometria biracional de variedades singulares.
5. Generalização Futura: O artigo menciona que, após sua revisão, esses resultados foram estendidos para variedades simpléticas primitivas (que incluem casos singulares mais gerais), validando a robustez da abordagem metodológica proposta.

Em suma, o artigo estabelece uma base sólida para o estudo de séries lineares em variedades simpléticas singulares, conectando a teoria de formas quadráticas, a geometria de divisores excepcionais e a birracionalidade efetiva através de limites numéricos explícitos.