Stability conditions and moduli spaces on the Kuznetsov component of cubic fivefolds

Technische Samenvatting: Stabiliteitscondities en Moduli-ruimten op de Kuznetsov-component van Cubische Vijfvouden

Probleemstelling
Het artikel behandelt de constructie van Bridgeland-stabiliteitscondities op de Kuznetsov-component $\text{Ku}(Y)$ van een gladde cubische vijfvoud $Y \subset \mathbb{P}^6$. Hoewel stabiliteitscondities zijn vastgesteld voor krommen, oppervlakken en diverse Fano-drievouden, blijft hun bestaan op hogere-dimensionale variëteiten grotendeels onduidelijk. Specifiek is de Kuznetsov-component van een cubische vijfvoud een fractionele Calabi–Yau-categorie van dimensie $7/3$, een setting waarin standaard uniciteitscriteria voor Serre-invariante stabiliteitscondities (die doorgaans gelden voor dimensies $\leq 2$) niet direct van toepassing zijn. Het artikel beoogt een continue familie van Serre-invariante stabiliteitscondities op $\text{Ku}(Y)$ te construeren, de bijbehorende moduli-ruimten te analyseren en de geometrische implicaties te verkennen van het beperken van deze moduli-ruimten tot hypervlakdoorsneden (cubische viervouden).

Methodologie
De aanpak steunt op een geometrische reductie van de cubische vijfvoud naar een niet-commutatieve projectieve ruimte via een quadrische oppervlaksfibratie.

1. Geometrische Opzet en Inbedding:

   • De auteur maakt gebruik van het feit dat elke gladde cubische vijfvoud een vlak $\Pi_0$ bevat. Door $\Pi_0$ op te blazen (blow-up), ontstaat een quadrische oppervlaksfibratie $\pi: \widetilde{Y} \to \mathbb{P}^3$.
   • Door de semi-orthogonale decomposities (SOD) van $D^b(\widetilde{Y})$ af te leiden uit Orlovs blow-up formule en Kuznetsovs quadrische fibratieformule, stelt het artikel een equivalentie vast: $\text{Ku}(Y) \simeq \text{Ku}(\mathbb{P}^3, \mathcal{C}_0)$, waarbij $\text{Ku}(\mathbb{P}^3, \mathcal{C}_0)$ de Kuznetsov-component is van de afgeleide categorie van modules over de even Clifford-algebra $\mathcal{C}_0$ op $\mathbb{P}^3$.
   • Deze inbedding maakt het mogelijk om het probleem te transfereren naar de meer behapbare setting van $D^b(\mathbb{P}^3, \mathcal{C}_0)$.

2. Constructie van Stabiliteitscondities:

   • Tilt-stabiliteit: De auteur construeert een familie van tilt-stabiliteitscondities op $D^b(\mathbb{P}^3, \mathcal{C}_0)$ door een Bogomolov–Gieseker-achtig ongelijkheid te bewijzen voor $\mu_h$-semistabiele sheaves op de niet-commutatieve $\mathbb{P}^3$. Dit omvat een zorgvuldig inductie-argument op de dimensie van de basis en de rang van de Clifford-modules, met een specifieke focus op het geval van oppervlakken ($m=2$) waar de rang-restricties verschillen van het driedimensionale geval.
   • Restrictie: Gebruikmakend van het restrictiecriterium uit [BLMS23], worden deze stabiliteitscondities beperkt tot de orthogonaal complement van de exceptionele objecten $\mathcal{C}_1$ en $\mathcal{C}_2$, wat een familie van stabiliteitscondities $\sigma'_{\beta, \alpha}$ op $\text{Ku}(Y)$ oplevert.

3. Serre-invariantie en Gepner-type Condities:

   • Het artikel bewijst dat de geconstrueerde stabiliteitscondities Serre-invariant zijn. Dit wordt bereikt door de werking van de rotatiefunctie (gerelateerd aan het tensoren met $\mathcal{C}_1$) op de getilt-hearts te analyseren.
   • Een specifieke stabiliteitsconditie $\sigma_Y$ wordt geïdentificeerd binnen de $\widetilde{\text{GL}}^+_2(\mathbb{R})$-baan, zodanig dat de Serre-functor werkt als een faseverschuiving van $7/3$. Dit bevestigt het bestaan van een Gepner-type stabiliteitsconditie voor het paar $(\mathcal{O}, 2/3)$, waarmee een geval van [Tod16, Conjecture 1.1] wordt geverifieerd.

4. Moduli-ruimten en Lagrangiaanse Immersies:

   • Niet-leegheid: Met behulp van een extensie-lemma en lattice-theoretische argumenten (geïnspireerd door [LLPZ26]), bewijst de auteur dat voor elke niet-nul numerieke klasse $v$ de Bridgeland moduli-ruimte $M_{\sigma_Y}(\text{Ku}(Y), v)$ niet-leeg is.
   • Gladheid en Restrictie: Voor primitieve klassen wordt een glad open locus geïdentificeerd. De auteur toont aan dat voor een algemene cubische vijfvoud $Y$ en een zeer algemene hypervlakdoorsnede $X$ (een cubische viervoud), de restrictie-afbeelding een rationale afbeelding induceert van de moduli-ruimte op $Y$ naar de moduli-ruimte op $X$.
   • Lagrangiaanse Geometrie: De afbeelding van deze restrictie-afbeelding wordt getoond te een Lagrangiaanse subvariëteit te zijn in de hyper-Kähler variëteit geassocieerd met de cubische viervoud.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1: Vestigt het bestaan van een continue familie van Serre-invariante Bridgeland-stabiliteitscondities op $\text{Ku}(Y)$ voor een gladde cubische vijfvoud. Deze condities vormen een enkele $\widetilde{\text{GL}}^+_2(\mathbb{R})$-baan die een Gepner-type conditie bevat waarbij de Serre-functor de fase met $7/3$ verschuift.
• Stelling 1.3: Identificeert de Fano-oppervlak van vlakken $F_2(Y)$ als een verbonden component van de moduli-ruimte $M_{\sigma_Y}(\text{Ku}(Y), \kappa_1)$. Het bewijst verder dat de restrictie tot een algemene cubische viervoud $X$ een Lagrangiaanse immersie $F_2(Y) \hookrightarrow F_1(X)$ oplevert, waarmee de geometrische constructie van Illiev–Manivel vanuit een categorisch perspectief wordt teruggewonnen.
• Stelling 1.4: Generaliseert het resultaat naar hogere-dimensionale moduli-ruimten. Voor elke niet-nul numerieke klasse $v$ is de moduli-ruimte niet-leeg. Voor een primitieve $v$ bestaat er een gladde locus waar restrictie tot een algemene cubische viervoud de stabiliteit behoudt, wat een Lagrangiaanse immersie induceert in de corresponderende hyper-Kähler variëteit op $X$.
• Numerieke Lattice: Het artikel berekent de numerieke Grothendieck-groep van $\text{Ku}(Y)$, waarbij wordt aangetoond dat deze een rang 2 heeft met een specifieke Euler-pairing matrix, en beschrijft de werking van de Serre- en rotatiefuncties op deze lattice.

Betekenis
Het werk breidt de theorie van stabiliteitscondities en moduli-ruimten uit van cubische drievouden en viervouden naar cubische vijfvouden. De primaire betekenis ligt in:

1. Bestaan: Het biedt de eerste constructie van stabiliteitscondities op de Kuznetsov-component van een cubische vijfvoud, een hogere-dimensionale Fano-variëteit.
2. Gepner-type Condities: Het bevestigt het bestaan van Gepner-type stabiliteitscondities voor een fractionele Calabi–Yau-categorie van dimensie $7/3$, wat buiten de reikwijdte van eerdere uniciteitscriteria valt.
3. Geometrische Realisatie: Het biedt een nieuw categorisch kader voor het begrijpen van de geometrie van het Fano-oppervlak van vlakken op een cubische vijfvoud en de relatie met de Fano-variëteit van lijnen op een cubische viervoud.
4. Lagrangiaanse Subvariëteiten: Het genereert een nieuwe klasse van Lagrangiaanse subvariëteiten in K3$[n]$-type hyper-Kähler variëteiten, waarmee het eerdere werk op cubische viervouden en Gushel–Mukai-variëteiten wordt uitgebreid.

Het werk steunt zwaar op de wisselwerking tussen de geometrie van quadrische fibraties, de representatietheorie van Clifford-algebra's en de deformatie-theorie van stabiliteitscondities, waarbij de klassieke algebraïsche geometrie wordt verbonden met moderne afgeleide categorische technieken.