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

Probleemstelling

De Zariski-decompositie is een fundamenteel hulpmiddel in de theorie van lineaire series op algebraïsche oppervlakken. Het stelt elke pseudoefficiënte divisor $D$ uniek voor als een som $D = P + N$, waarbij $P$ "positief" (nef) is en $N$ "negatief" (exceptioneel) is.
Voor irreducibele symplectische variëteiten (hoge-dimensionale veralgemeningen van K3-oppervlakken) heeft Boucksom een dergelijke decompositie gedefinieerd voor gladde variëteiten, gebaseerd op de Beauville-Bogomolov-Fujiki (BBF) kwadratische vorm $q_X$. Echter, twee belangrijke vragen bleven open:

1. Geldt deze decompositie ook voor singuliere irreducibele symplectische variëteiten (met symplectische singulariteiten), en specifiek voor Weil-divisors die niet noodzakelijk $\mathbb{Q}$-Cartier zijn?
2. Is er een effectieve bound (een expliciete bovengrens) voor de noemers van de coëfficiënten in deze decompositie? Dit is cruciaal omdat de noemers bepalen hoe groot een veelvoud $mD$ moet zijn zodat de sectieruimte $H^0(X, \mathcal{O}(mD))$ volledig wordt gegenereerd door de positieve deel $P$. Dit hangt samen met de conjectuur over begrenste negativiteit (bounded negativity conjecture).

Methodologie

De auteurs gebruiken een combinatie van meetkundige analyse, cohomologische technieken en de theorie van singuliere variëteiten:

1. Extensie naar Singuliere Gevallen:

   • Ze definiëren de BBF-kwadratische vorm $q_{X,\sigma}$ voor variëteiten met symplectische singulariteiten, zelfs voor Weil-divisors (die niet $\mathbb{Q}$-Cartier hoeven te zijn).
   • Om dit te doen, introduceren ze een open deelverzameling $U \subset X$ waar de singulariteiten van "ADE-type" zijn (en dus $\mathbb{Q}$-factorieel). Ze gebruiken een resolutie van singulariteiten $\pi: Y \to X$ en definiëren de vorm via een "closure map" van de restrictie tot $U$ naar de resolutie $Y$.
   • Ze bewijzen dat deze definitie onafhankelijk is van de keuze van de resolutie en consistent is met lineaire equivalentie.

2. Karakterisering als Snijproduct:

   • Ze tonen aan dat de gedefinieerde kwadratische vorm $q_{X,\sigma}$ fungeert als een snijproduct (intersection product) op de groep van Weil-divisors. Dit betekent dat voor twee verschillende priemdivisors $D, D'$, geldt dat $q(D, D') \geq 0$.
   • Deze eigenschap is de sleutelconditie om, volgens eerdere werken van Bauer en Boucksom, de existentie van een Zariski-decompositie te garanderen.

3. Begrensde Negativiteit en Noemers:

   • Ze analyseren de relatie tussen de noemers in de decompositie en de zelfsnijdingen van priemdivisors.
   • Ze gebruiken resultaten van Druel en Markman over prime exceptional divisors (exceptionele divisors die ontstaan bij contraheringen) om een ondergrens te vinden voor hun BBF-zelfsnijding $q(E)$.
   • Ze bewijzen dat $|q(E)| \leq 4 \cdot \text{Card}(A_X)$, waarbij $A_X$ de eindige discriminantgroep van het cohomologielattice is.

Belangrijkste Bijdragen en Resultaten

1. Existentie van de Boucksom-Zariski Decompositie (Stelling 1.1)

De auteurs bewijzen dat voor elke compacte Kähler-variëteit $X$ met symplectische singulariteiten, elke effectieve Weil $\mathbb{Q}$-divisor $D$ een unieke $q_{X,\sigma}$-Zariski-decompositie heeft:
$$D = P(D) + N(D)$$
waarbij:

• $P(D)$ $q_{X,\sigma}$-nef is.
• $N(D)$ $q_{X,\sigma}$-exceptioneel is (de Gram-matrix van de componenten is negatief definiet).
• $q_{X,\sigma}(P(D), N(D)) = 0$.
• Er is een surjectie van sectieruimten: $H^0(X, \mathcal{O}(kP(D))) \twoheadrightarrow H^0(X, \mathcal{O}(kD))$ voor voldoende grote $k$.
• Nieuw: Dit geldt in het grootste mogelijke kader, inclusief niet-$\mathbb{Q}$-factoriale variëteiten en Weil-divisors.

2. Effectieve Bound voor Noemers (Stelling 1.2)

Voor een gladde projectieve irreducibele symplectische variëteit $X$ met Picard-getal $\rho(X)$, zijn de noemers van de coëfficiënten in de decompositie van elke pseudoefficiënte Cartier-divisor begrensd door:
$$(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
Dit resultaat koppelt de boundedness van de noemers direct aan de boundedness van de zelfsnijdingen van irreducibele divisors (een vorm van de bounded negativity conjecture voor symplectische variëteiten).

3. Effectieve Birationaliteit (Corollarium 1.3)

Als gevolg van de bovenstaande bounds, kunnen de auteurs een expliciete bovengrens geven voor de birationaliteit van lineaire systemen. Voor een grote lijnbundel $L$ op een gladde projectieve irreducibele symplectische variëteit van dimensie $2n$, is de afbeelding geassocieerd met $|mL|$ birationeel voor:
$$m \geq \frac{1}{2}(2n+2)(2n+3)(4 \cdot \text{Card}(A_X))^{\rho(X)-1}!$$
Dit beantwoordt een vraag van F. Charles op een effectieve manier.

Significantie en Impact

• Generalisatie naar Singulariteiten: Het werk breidt de theorie van de Boucksom-Zariski-decompositie succesvol uit van gladde manifolds naar de veel bredere klasse van variëteiten met symplectische singulariteiten. Dit is essentieel voor de Minimale Model Program (MMP), waar singuliere modellen onvermijdelijk zijn.
• Technische Innovatie: De methode om de kwadratische vorm te definiëren op Weil-divisors via een resolutie en een open deelverzameling $U$ (waar singulariteiten "mild" zijn) omzeilt de technische obstakels van niet-$\mathbb{Q}$-factorialiteit.
• Verbinding met Bounded Negativity: Het artikel toont aan dat het probleem van de "bounded negativity" (de ondergrens van zelfsnijdingen) direct leidt tot een effectieve controle op de noemers in Zariski-decomposities. Dit biedt een nieuwe perspectief op een oud probleem in de lineaire series-theorie.
• Antwoord op Vragen van Charles: Het levert een expliciete, berekenbare bound voor de birationaliteit van lijnbundels op symplectische variëteiten, wat een stap verder gaat dan eerdere kwalitatieve resultaten (zoals die van Birkar voor Calabi-Yau variëteiten, hoewel die meer algemeen zijn, is de bound daar niet expliciet).
• Toepasbaarheid: De resultaten zijn uniform voor families van deformaties van de variëteit, wat belangrijk is voor moduli-theorie.

Kortom, dit artikel verenigt de theorie van symplectische singulariteiten met de effectieve algebraïsche meetkunde, levert nieuwe bewijzen voor de existentie van decomposities in singuliere gevallen, en geeft concrete formules voor de complexiteit van lineaire systemen op deze variëteiten.