Derived categories of quadric bundles and moduli stacks of spinor sheaves

Probleemstelling

Het centrale probleem in dit artikel is het identificeren en begrijpen van de Kuznetsov-component ($Ku(Q)$) van de afgeleide categorie van een familie van even-dimensionale kwadratische bundels (quadric bundles) $\rho: Q \to S$.

• Voor een kwadratische bundel met relatieve dimensie $2\ell$ bestaat er een semi-orthogonale decompositie van de quasi-coherente afgeleide categorie $D_{qc}(Q)$:
  $$D_{qc}(Q) = \langle Ku(Q), \rho^*D_{qc}(S) \otimes \mathcal{O}_Q, \dots, \rho^*D_{qc}(S) \otimes \mathcal{O}_Q(2\ell-2) \rangle$$
• De component $Ku(Q)$ wordt algebraïsch beschreven als de afgeleide categorie van de schaal van even Clifford-algebra's, maar een geometrische beschrijving (bijvoorbeeld als een getwiste afgeleide categorie van een algebraïsche ruimte of een moduli-ruimte) is vaak wenselijker en nuttiger, vooral in de context van rationaliteitsproblemen (zoals bij kubische vier-voudigheden).
• Bestaande resultaten (van Kapranov, Bondal, Orlov, Kuznetsov, Xie, etc.) zijn vaak beperkt tot specifieke gevallen: gladde bundels, dimensie 2 (kwadratische oppervlakken), of werken alleen in karakteristiek 0. Er ontbreekt een algemene theorie die werkt voor hogere dimensies, singuliere bundels, en willekeurige basisschema's (inclusief karakteristiek 2).

Methodologie

De auteurs gebruiken een combinatie van moduli-theoretische technieken en de theorie van Fourier-Mukai-transformaties om hun resultaten te bewijzen.

1. Moduli-stacks van Spinor-schoven:

   • De kern van hun aanpak is de studie van de moduli-stack van spinor-schoven op de kwadratische bundel. Spinor-schoven zijn specifieke objecten in de afgeleide categorie die gerelateerd zijn aan isotrope deelruimten van de onderliggende vectorbundel.
   • Ze construeren een stack $\mathcal{M}$ die deze schoven parameteriseert. Een cruciale observatie is dat de ruwe moduli-ruimte (coarse moduli space) van deze stack niet gescheiden is over het singuliere deel van de basis $S$ (specifiek over de stratum $S_2$ waar de corank 2 is), omdat de vezels hier bestaan uit twee kopieën van $\mathbb{P}^1$.

2. Hyperbolische Reductie:

   • Ze gebruiken een constructie genaamd hyperbolische reductie. Als de bundel een reguliere sectie (een lineaire deelruimte in de gladde locus) toelaat, kan men de bundel reduceren tot een bundel met twee dimensies minder.
   • Ze bewijzen dat de Kuznetsov-component invariant blijft onder deze reductie ($Ku(Q) \simeq Ku(Q')$). Door dit iteratief toe te passen, kunnen ze de probleemstelling reduceren tot het geval van een bundel met relatieve dimensie 0 (een familie van punten of $\mathbb{P}^1$'s).

3. Fourier-Mukai Transformaties en Descend:

   • Ze definiëren een Fourier-Mukai-transformatie met een kern die gebaseerd is op de universele spinor-schof.
   • Ze ontwikkelen technische hulpmiddelen (Theorema C en 1.23) om te bewijzen dat een Fourier-Mukai-functie een equivalentie is. Dit gebeurt door te controleren of de functies lokaal in de fppf-topologie equivalenties zijn en door het gebruik van "descend" voor gerbes en stacks.
   • Ze tonen aan dat de Kuznetsov-component equivalent is aan een getwiste afgeleide categorie van een algebraïsche ruimte $M$, waarbij de twist (de Brauer-klasse) voortkomt uit de obstructie voor het bestaan van een universele schof op de moduli-stack.

Belangrijkste Resultaten

Hoofdstelling (Theorema A / 7.25):
Laat $\rho: Q \to S$ een kwadratische bundel zijn van even relatieve dimensie $2\ell$. Als de volgende voorwaarden gelden:

1. De stratum $S_3$ (waar corank $\ge 3$) is leeg.
2. De stratum $S_2$ (waar corank $\ge 2$) bevat geen "weakly associated points" van $S$.
3. De étale dubbeloverdekking $\tilde{S}_2 \to S_2$ (die de twee families van $(\ell+1)$-vlakken parameteriseert) een sectie toelaat (d.w.z. splitst).

Dan bestaat er een algebraïsche ruimte $M$, een Brauer-klasse $\beta \in Br(M)$, en een $S$-lineaire equivalentie:
$$\Phi: D_{qc}(M, \beta) \xrightarrow{\sim} Ku(Q)$$
De ruimte $M$ is generiek een dubbeloverdekking van $S$, en de equivalentie wordt geïnduceerd door de Fourier-Mukai-transformatie met de universele spinor-schof.

Theorema B (Hyperbolische Reductie):
Ze bewijzen dat de Kuznetsov-component van een kwadratische bundel $Q$ equivalent is aan die van zijn hyperbolische reductie $Q'$ langs een reguliere sectie, zelfs in karakteristiek 2 en voor niet-gladde bundels. De equivalentie is expliciet en behoudt de dualiteit van spinor-schoven.

Toepassingen:

1. Snedes van kwadraten (Theorema D): Voor een gladde doorsnede $X$ van twee even-dimensionale kwadraten over een willekeurig veld $k$, is de afgeleide categorie $D^b_{coh}(X)$ equivalent aan een getwiste afgeleide categorie van een gladde projectieve kromme $C$ (plus een aantal lineaire bundels). Dit generaliseert het klassieke resultaat van Bondal en Orlov naar willekeurige velden en karakteristiek 2.
2. Kubische vier-voudigheden (Theorema E & 8.10): Voor een gladde kubische vier-voudigheid $X$ die een vlak bevat, is de Kuznetsov-component $A_X$ equivalent aan de getwiste afgeleide categorie van een K3-oppervlak $S$.
   • Dit geldt voor elke karakteristiek, inclusief karakteristiek 2.
   • Specifiek voor de Fermat-kubische vier-voudigheid in karakteristiek 2, wordt aangetoond dat $S$ de supersinguliere K3-oppervlak is met Artin-invariant 1.

Technische Innovaties en Bijdragen

• Generalisatie naar Karakteristiek 2: Veel eerdere resultaten over kwadratische bundels en Clifford-algebra's vereisten dat 2 invertibel was. Dit artikel behandelt systematisch het geval waar 2 niet invertibel is, wat essentieel is voor de studie van algebraïsche meetkunde in positieve karakteristiek.
• Moduli van Complexe Objecten: Ze ontwikkelen een theorie voor moduli-stacks van complexe objecten (volgend op Lieblich) en tonen aan dat volledig getrouwe Fourier-Mukai-transformaties open inmetingen induceren tussen deze stacks (Theorema C).
• Geometrische Interpretatie van Brauer-klassen: Ze geven een expliciete geometrische interpretatie van de Brauer-klassen die in eerdere werken verschenen: deze ontstaan als de obstructie voor het globaliseren van een familie van spinor-schoven over de gehele basis, wat leidt tot een gerbe-structuur.
• Behandeling van Singulierheden: Ze behandelen zorgvuldig de stratificatie van de basis $S$ op basis van de corank van de vezels en tonen aan hoe de moduli-ruimte zich gedraagt over de loci waar de vezels singulier zijn (corank 2).

Betekenis

Dit werk vormt een fundamentele uitbreiding van de theorie van semi-orthogonale decomposities in de algebraïsche meetkunde.

1. Het biedt de eerste algemene "geometrischheid" (geometricity) resultaten voor Kuznetsov-componenten van hogere-dimensionale kwadratische bundels.
2. Het lost een langdurige open vraag op door te laten zien dat de Kuznetsov-component van een kubische vier-voudigheid met een vlak altijd een getwiste K3-oppervlak is, ongeacht de karakteristiek van het grondveld.
3. Het verbindt de abstracte theorie van afgeleide categorieën met concrete moduli-problemen (spinor-schoven), waardoor nieuwe methoden beschikbaar komen voor het bestuderen van rationaliteitsvragen en motivische structuren.

Kortom, het artikel generaliseert diepgaande resultaten van de afgelopen decennia naar een zeer breed kader, inclusief de vaak verwaarloosde gevallen van karakteristiek 2 en singuliere bundels, en doet dit met een elegante moduli-theoretische aanpak.