Cohomology Vanishing, Koszul Cohomology and Multigraded Regularity on Projective Varieties

Technische Samenvatting: Cohomologie-verdwijning, Koszul-cohomologie en Multigraadse Regulariteit op Projectieve Variëteiten

Probleemstelling
Het artikel behandelt de structuur van minimale vrije resoluties van sectieringen geassocieerd met globaal gegenereerde lijnbundels op willekeurige projectieve variëteiten. Specifiek wordt onderzoek gedaan naar de verdwijning van Koszul-cohomologiegroepen $K_{p,q}(X; F, L)$, die de syzygieën coderen van de afbeelding van een variëteit onder een morfisme gedefinieerd door een lijnbundel $L$. De centrale uitdaging ligt in het vaststellen van effectieve verdwijningscriteria voor deze groepen over de gehele resolutie, zowel voor de initiële lineaire strands (Eigenschap $(N_p)$) als voor de terminale gewicht-één syzygieën (Eigenschap $(M_q)$). Hoewel er aanzienlijke vooruitgang is geboekt voor enkelvoudig gegradeerde instellingen (bijv. projectieve ruimte) en specifieke klassen van variëteiten, is een verenigd kader voor multigraadse instellingen op willekeurige producten van projectieve ruimtes en algemene variëteiten incompleet gebleven.

Methodologie
De auteur ontwikkelt een kader gebaseerd op multigraadse Castelnuovo–Mumford-regulariteit. De methodologie verloopt via de volgende technische stappen:

1. Definitie van Multigraadse Regulariteit: Het artikel maakt gebruik van een definitie van regulariteit met betrekking tot een collectie globaal gegenereerde lijnbundels $B_1, \dots, B_t$. Een coherente schaarf $F$ wordt $E$-regulier genoemd als $H^i(X, F \otimes E \otimes B^{-\vec{u}}) = 0$ voor alle $i > 0$ en alle $\vec{u} \in \mathbb{N}^t$ met $|\vec{u}| = i$.
2. Expliciete Berekening op Producten: De auteur berekent eerst de minimale multigraadse regulariteitsvectoren voor lijnbundels op willekeurige producten van projectieve ruimtes $X = \mathbb{P}^{m_1} \times \dots \times \mathbb{P}^{m_n}$. Dit omvat een combinatorische analyse van de Künneth-formule en Serre-dualiteit, waarbij wordt onthuld dat minimale regulariteitsvectoren geïndexeerd zijn door permutaties van de factoren.
3. Bouwstenen en Lemma's: De kern van de technische machine omvat een reeks lemma's die het gedrag van multigraadse regulariteit onder tensorproducten met syzygie-bundels ($M_L$) vaststellen. Belangrijke resultaten zijn onder meer:
   • Regulariteitslemma IV: Het aantonen dat als $F$ $B^{\vec{m}-\vec{e}_j}$-regulier is, $M_L \otimes F$ $B^{\vec{m}}$-regulier is.
   • Iteratieve Regulariteit: Het bewijzen dat het tensorproduct met meerdere syzygie-bundels de regulariteitsvector verschuift met de diagonale vector $\vec{\delta} = (1, \dots, 1)$.
4. Algemene Verdwijningstheorema: Door deze regulariteitsverschuivingen te combineren met de evaluatiesequenties van syzygie-bundels, leidt de auteur een algemeen cohomologie-verdwijningstheorema af voor tensorproducten van syzygie-bundels getwist met vectorbundels.
5. Toepassing op Koszul-cohomologie: De verdwijning van specifieke cohomologiegroepen betrokken bij syzygie-bundels wordt direct gekoppeld aan de verdwijning van Koszul-cohomologiegroepen $K_{p,q}$ via de standaard identificatie van deze groepen met de cohomologie van exterior machten van syzygie-bundels.

Kernbijdragen en Resultaten

1. Algemeen Cohomologie-verdwijningstheorema (Theorem 1.5/7.1): Het artikel bewijst een algemeen verdwijningstheorema voor $H^i(M_{L_1} \otimes \dots \otimes M_{L_{k+1}} \otimes F \otimes B^{\vec{m}_k})$. Dit dient als een verenigend mechanisme waaruit diverse syzygie-verdwijningsresultaten volgen.
2. Hiërarchie van Koszul-cohomologie: Een centraal resultaat is de afleiding van een natuurlijke hiërarchie voor de verdwijning van $K_{p,q}(X, F; L)$. Het artikel stelt vast dat voor een vaste homologische fase $p$, de vereiste positiviteit voor verdwijning afneemt naarmate het gewicht $q$ toeneemt. Dit wordt geformaliseerd door de conditie:
   $$(q-1)\vec{w} \geq \vec{m} + (p-1)\vec{\delta}$$
   waarbij $\vec{w}$ de lijnbundel $L = B^{\vec{w}}$ definieert en $\vec{m}$ gerelateerd is aan de regulariteit van $F$. Dit creëert een "$K_{p,q}$-hiërarchie" waarbij de verdwijningsgebieden uitzetten naarmate $q$ toeneemt en krimpen naarmate $p$ toeneemt.
3. $(N_p)$ en $(M_q)$ Criteria:
   • $(N_p)$: Het artikel biedt een multigrads criterium voor Eigenschap $(N_p)$ (lineaire resolutie aan het begin). Het herstelt en generaliseert de Hering–Schenck–Smith stelling, waarbij wordt aangetoond dat als $L = B^{\vec{w}}$ en $\vec{w} \geq \vec{m} + (p-1)\vec{\delta}$, dan $L$ voldoet aan $(N_p)$.
   • $(M_q)$: Het artikel leidt een criterium af voor Eigenschap $(M_q)$ (verdwijning van gewicht-één syzygieën aan de staart), ter uitbreiding van eerder werk door Basu. De conditie wordt gegeven door $(n-1)\vec{w} \geq \vec{m} + (q-n-1)\vec{\delta}$ voor variëteiten met rationale singulariteiten.
4. Minimale Regulariteit op Producten van Projectieve Ruimtes: Theorem 1.4 biedt een volledige beschrijving van minimale multigraadse regulariteiten op $\mathbb{P}^{m_1} \times \dots \times \mathbb{P}^{m_n}$, waarbij wordt aangetoond dat er exact $n!$ minimale regulariteitsvectoren zijn, geïndexeerd door permutaties van de factoren.
5. Herstel van Green's Theorem: Het artikel demonstreert dat Mark Greens klassieke verdwijningstheorema voor de projectieve ruimte een directe specialisatie is van het algemene multigraadse criterium, wat een alternatief bewijs biedt gebaseerd op regulariteit in plaats van representatietheorie.
6. Scherpte en Optimaliteit: Het artikel stelt de scherpte van deze grenzen vast via voorbeelden met:
   • Hyperelliptische curves (met behulp van Greens dualiteit om de Betti-tabel van de canonieke afbeelding te berekenen).
   • Veronese inbeddingen van $\mathbb{P}^2$.
   • Producten van projectieve ruimtes (bijv. $\mathbb{P}^1 \times \mathbb{P}^1$), waarbij de grenzen worden gekoppeld aan de gonality van curves in de lineaire systemen.
   • Vergelijking met de resultaten van Gallego–Purnaprajna, waarbij wordt getoond dat de multigraadse benadering aanzienlijk sterkere grenzen oplevert voor bepaalde Fano-variëteiten.

Betekenis
Het artikel claimt betekenis door een verenigd kader te bieden voor syzygie-theorie op willekeurige projectieve variëteiten. Door gebruik te maken van multigraadse regulariteit, overbrugt het de kloof tussen de studie van initiële lineaire strands ($(N_p)$) en terminale syzygieën ($(M_q)$). Het werk generaliseert eerdere resultaten van Hering–Schenck–Smith, Gallego–Purnaprajna en Basu, waarbij het verder gaat dan enkelvoudig gegradeerde instellingen om producten van projectieve ruimtes en variëteiten met triviale of specifieke canonieke bundels te behandelen.

De introductie van de $K_{p,q}$-hiërarchie biedt een nieuw geometrisch perspectief, waarbij verdwijningscondities worden geïnterpreteerd als hellingen in een parameterrum, waardoor het begrip van hoe positiviteitseisen versoepelen met toenemend gewicht wordt vereenvoudigd. Bovendien biedt de expliciete berekening van minimale regulariteitsvectoren op producten van projectieve ruimtes een concreet computationeel instrument voor het bepalen van syzygie-grenzen in multigraadse instellingen, wat voorheen ontbrak in de literatuur. Het artikel concludeert dat deze resultaten niet alleen bestaande stellingen generaliseren, maar ook scherpere grenzen bieden in specifieke gevallen, zoals voor Calabi–Yau variëteiten en producten van projectieve ruimtes.