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

1. Il Problema e il Contesto

La decomposizione di Zariski è uno strumento fondamentale nella teoria delle serie lineari sulle superfici algebriche, permettendo di scrivere un divisore pseudo-efficace come somma di una parte "positiva" (nef) e una parte "negativa" (eccentrica).
Il lavoro si pone nel contesto delle varietà simplettiche irriducibili (o varietà di tipo K3 generalizzate), che sono generalizzazioni in dimensione superiore delle superfici K3.

• Stato dell'arte: Boucksom aveva già caratterizzato la decomposizione di Zariski divisoriale per le varietà simplettiche lisce (manifold) in termini della forma quadratica di Beauville-Bogomolov-Fujiki ($q_X$).
• La sfida: La teoria moderna delle varietà simplettiche include casi singolari (varietà con singolarità simplettiche), che appaiono naturalmente nel programma di modelli minimi e come spazi di moduli di fasci su superfici K3 o abeliane.
• Domanda di ricerca: La decomposizione di Boucksom-Zariski vale anche per varietà con singolarità simplettiche (non necessariamente lisce o Q-fattoriali)? Inoltre, esiste un legame tra la limitatezza dei denominatori nei coefficienti di tale decomposizione e la congettura della "negatività limitata" (Bounded Negativity Conjecture), analogamente a quanto accade per le superfici?

2. Metodologia

Gli autori adottano un approccio che combina geometria algebrica complessa, teoria delle varietà con singolarità e analisi delle forme quadratiche sui gruppi di coomologia.

• Estensione alla varietà singolare: Per gestire il caso non Q-fattoriale (dove i divisori possono avere componenti non Q-Cartier), gli autori estendono la definizione della forma quadratica $q_{X,\sigma}$ ai divisori di Weil.
  • Utilizzano l'insieme aperto $U = X \setminus \Sigma_0$, dove $\Sigma_0$ è il luogo "dissidente" (singolarità peggiori di tipo ADE). Poiché $U$ è Q-fattoriale, i divisori sono Q-Cartier su $U$.
  • Definiscono una mappatura di "chiusura" tramite una risoluzione delle singolarità $\pi: Y \to X$ per valutare la forma quadratica sui componenti dei divisori di Weil, dimostrando che il risultato è indipendente dalla scelta della risoluzione e dalla classe di equivalenza lineare (Proposizione 2.11).
• Prodotto d'intersezione: Dimostrano che la forma quadratica $q_{X,\sigma}$ si comporta come un "prodotto d'intersezione" (Definition 3.1), ovvero l'intersezione di due divisori primi distinti è non negativa. Questo è il prerequisito chiave per applicare il teorema di Bauer sulla decomposizione di Zariski.
• Legame con la negatività limitata: Analizzano la relazione tra i denominatori della decomposizione e i valori di auto-intersezione dei divisori eccezionali, utilizzando il metodo di Cramer per esprimere i coefficienti della parte negativa in funzione del determinante della matrice di Gram.

3. Contributi Chiave e Risultati Principali

A. Validità della Decomposizione Boucksom-Zariski per Varietà Singolari (Teorema 1.1)

Gli autori dimostrano che la decomposizione di Zariski di tipo Boucksom vale per qualsiasi varietà compatta Kähler con singolarità simplettiche.

• Per ogni divisore di Weil efficace $D$, esiste una decomposizione unica $D = P(D) + N(D)$, dove:
  1. $P(D)$ è $q_{X,\sigma}$-nef.
  2. $N(D)$ è $q_{X,\sigma}$-eccezionale (la matrice di Gram delle sue componenti è definita negativa).
  3. $q_{X,\sigma}(P(D), N(D)) = 0$.
  4. Vale la proprietà di suriettività per le sezioni globali: $H^0(X, \mathcal{O}_X(kP(D))) \twoheadrightarrow H^0(X, \mathcal{O}_X(kD))$ per $k$ sufficientemente divisibile.
• Questo risultato è ottenuto nel framework più generale possibile, senza assumere che la varietà sia Q-fattoriale o proiettiva.

B. Limitatezza dei Denominatori e Congettura di Negatività Limitata (Teorema 1.2 e Corollario 4.10)

Il paper stabilisce un'analogia profonda con il caso delle superfici: la limitatezza dei denominatori nella decomposizione di Zariski è legata alla limitatezza inferiore delle auto-intersezioni dei divisori primi.

• Stima della negatività: Dimostrano che per una varietà simplettica irriducibile proiettiva liscia $X$, l'auto-intersezione di Beauville-Bogomolov di qualsiasi divisore primo è limitata inferiormente da $4 \cdot \text{Card}(A_X)$, dove $A_X$ è il gruppo di discriminante finito del reticolo di intersezione $H^2(X, \mathbb{Z})$.
• Legame con i denominatori: Utilizzando risultati di Druel e Markman sulla geometria dei divisori eccezionali, dimostrano che i denominatori dei coefficienti nelle decomposizioni di Boucksom-Zariski sono limitati superiormente da:
  $$(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
  dove $\rho(X)$ è il numero di Picard.

C. Birazionalità Effettiva (Corollario 1.3)

Un risultato applicativo diretto è la dimostrazione di un limite effettivo per la birazionalità dei sistemi lineari.

• Per una varietà simplettica irriducibile proiettiva liscia $X$ di dimensione $2n$ e un fibrato di linea grande $L$, il sistema lineare $|mL|$ definisce una mappa birazionale per ogni:
  $$m \geq \frac{1}{2}(2n + 2)(2n + 3)(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
• Questo risponde positivamente e in modo esplicito a una domanda posta da F. Charles. A differenza di risultati precedenti (es. di Birkar) che garantiscono l'esistenza di un tale $m$ ma non ne forniscono una formula esplicita, questo lavoro offre un bound computabile.

4. Significato e Impatto

• Generalizzazione della teoria: Il lavoro estende la potente teoria della decomposizione di Zariski dal caso liso a quello singolare, fornendo uno strumento essenziale per lo studio delle varietà simplettiche singolari (che sono fondamentali nella classificazione delle varietà con classe canonica banale).
• Strumento computazionale: Fornisce stime esplicite e quantitative (bound sui denominatori e sull'indice di birazionalità) che erano assenti nella letteratura precedente per questo contesto specifico.
• Connessione tra geometria e aritmetica: Evidenzia come le proprietà aritmetiche del reticolo di coomologia ($A_X$) controllino direttamente le proprietà geometriche delle serie lineari (limitatezza dei denominatori e birazionalità).
• Risposta a problemi aperti: Risolve la questione della birazionalità effettiva per varietà simplettiche lisce, fornendo un bound che dipende solo dalla classe di deformazione e dal numero di Picard, rendendo il risultato uniforme per famiglie di deformazione.

In sintesi, il paper unifica la teoria delle decomposizioni di Zariski per varietà singolari e fornisce nuovi strumenti effettivi per lo studio delle serie lineari su varietà simplettiche, colmando un divario tra la teoria qualitativa e quella quantitativa in dimensione superiore.