Stability conditions on threefolds

Technische Samenvatting: Stabiliteitscondities op Driedimensionale Variëteiten (Threefolds)

Probleemstelling
Het artikel behandelt de constructie en karakterisering van Bridgeland-stabiliteitscondities op gladde projectieve driedimensionale variëteiten $X \subset \mathbb{P}^n$. Specifiek wordt onderzoek gedaan naar de relatie tussen twee verschillende benaderingen voor het definiëren van deze stabiliteitscondities:

1. De "Li Conditie"-benadering: Stabiliteitscondities op $\mathbb{P}^n$ (geconstrueerd door Li [Li26] gebaseerd op het werk van Liu [Liu21]) die een specifieke faseconditie vervullen, waardoor ze kunnen induceren (beperken) naar stabiliteitscondities op gladde deelvariëteiten $X$.
2. De Dubbele Tilt-constructie: De kern van de stabiliteitsconditie verkregen via de dubbele tilt-procedure geïntroduceerd door Bayer–Macrì–Toda [BMT14], die wordt vermoed een stabiliteitsconditie op $X$ te definiëren wanneer deze gekoppeld wordt aan een specifieke centrale lading (central charge).

Het centrale probleem is om te bepalen of de stabiliteitscondities die op een driedimensionale variëteit $X$ worden geïnduceerd via de restrictie van Li's condities op $\mathbb{P}^n$, overeenkomen met de condities die verkregen worden via de Bayer–Macrì–Toda (BMT) dubbele tilt-constructie. Het oplossen van deze equivalentie maakt het mogelijk om de "zwakke BMT-conjectuur" (een Bogomolov-type ongelijkheid voor tilt-semistabiele objecten) te bewijzen als een consequentie van de existentie van de stabiliteitscondities, in plaats van als een vereiste vooraf.

Methodologie
De auteurs maken gebruik van een combinatie van categorische descent, metrische analyse op de stabiliteitsvariëteit en geometrische reductietechnieken:

1. Metrische Controle op Stabiliteitsvariëteiten:
   De auteurs analyseren de afstand tussen stabiliteitscondities $\sigma_{a,b}$ en $\sigma_{a, b+\Delta b}$ op producten van elliptische curven $C^n$ (met behulp van de constructie van Liu [Liu21]). Door de gegeneraliseerde metriek van Bridgeland te gebruiken en de afgeleide van de centrale lading met betrekking tot de parameter $b$ te analyseren, stellen zij een bovengrens vast voor de faseverschuiving van objecten onder tensorproducten met lijnbundels. Specifiek bewijzen zij dat voor voldoende grote $a$, de faseverschuiving $\phi(E \otimes \mathcal{O}(m)) - \phi(E)$ strikt kleiner is dan 1.

2. Descent naar Projectieve Ruimte en Deelvariëteiten:
   Gebruikmakend van de quotientafbeelding $\pi: C^n \to \mathbb{P}^n$, tillen de auteurs de stabiliteitscondities op naar $\mathbb{P}^n$. Vervolgens passen zij de restrictietheorema van Li [Li26] toe, die stelt dat een stabiliteitsconditie op $\mathbb{P}^n$ zich restrictief gedraagt op een gladde deelvariëteit $X$ indien de "Li-conditie" (een grens aan faseverschuivingen bij het tensorproduct met de ideale bundel van $X$) wordt vervuld.
   Om te waarborgen dat deze conditie standhoudt, introduceren de auteurs een invariant $m(X \xrightarrow{\iota} \mathbb{P}^n)$, afgeleid van de minimale resolutie van de ideale bundel $\mathcal{I}_{X/\mathbb{P}^n}$ door gesplitte vectorbundels. Zij tonen aan dat indien de parameter $a$ voldoet aan $a > \frac{n}{\pi} m(X \xrightarrow{\iota} \mathbb{P}^n)$, de restrictie $\sigma^X_{a,b}$ een geldige Bridgeland-stabiliteitsconditie is.

3. Dimensionale Reductie en Identificatie van het Hart:
   Voor het geval dat $X$ een driedimensionale variëteit is, analyseren de auteurs het hart $\mathcal{A}^X_{a,b}$ van de gerestringeerde stabiliteitsconditie. Zij maken gebruik van een hypervlakdoorsnede $S \subset X$ om het probleem te reduceren tot het geval van oppervlakken (waarbij het hart een enkele tilt is van $\text{Coh}(S)$). Door de cohomologische eigenschappen van objecten in het gerestringeerde hart te vergelijken met de hellingsfuncties (slope functions) gedefinieerd in de BMT-constructie, demonstreren zij dat de twee harten samenvallen.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Fasegrens): De auteurs bewijzen dat voor $a > \frac{mn}{\pi}$, elk niet-nul object $E \in D^b(\mathbb{P}^n)$ voldoet aan $\phi^-_{a,b}(E \otimes \mathcal{O}_{\mathbb{P}^n}(m)) < \phi^-_{a,b}(E) + 1$. Dit vestigt de "Li-conditie" voor de familie van stabiliteitscondities op $\mathbb{P}^n$.
• Theorem 1.2 (Equivalentie van Constructies): Voor een gladde projectieve driedimensionale variëteit $X$ en parameters die voldoen aan $a > a(X, H)$ (waarbij $a(X, H)$ is gedefinieerd via de invariant $m(X \xrightarrow{\iota} \mathbb{P}^n)$), valt het hart $\mathcal{A}^X_{a,b}$ van de geïnduceerde stabiliteitsconditie exact samen met het dubbel getilde hart $(\text{Coh}(X)^{Z^{(1)}_b})^{Z^{(2)}_{a,b}}$ gedefinieerd door Bayer–Macrì–Toda.
• Corollary 1.3 (Zwakke BMT-conjectuur): Als een direct gevolg van de equivalentie in Theorem 1.2, bewijzen de auteurs de zwakke BMT-conjectuur voor driedimensionale variëteiten. Specifiek geldt voor elk $Z^{(2)}_{a,b}$-semistabel object $E$ in de eerste tilt die een specifieke gelijkheid van hellingen (slopes) bevredigt, dat de ongelijkheid $\text{ch}^{bH}_3(E) < \frac{a^2}{2} H^2 \text{ch}^{bH}_1(E)$ standhoudt.
• Metrische Grenzen: Het artikel levert expliciete grenzen voor de afstand tussen stabiliteitscondities op $C^n$ en $\mathbb{P}^n$ in termen van de parameters $a$ en $b$, waarmee eerdere schattingen worden verfijnd.

Betekenis en Claims
Het artikel claimt een significante verschuiving in de filosofie van het bewijzen van Castelnuovo-type ongelijkheden (zoals de BMT-conjectuur). Traditioneel werden dergelijke ongelijkheden vastgesteld met behulp van de geometrie van de onderliggende variëteit om de existentie van stabiliteitscondities te afleiden. In tegenstelling hiertoe laat dit werk zien dat:

1. Stabiliteitscondities op $\mathbb{P}^n$ puur categorisch geconstrueerd kunnen worden (via descent van producten van elliptische curven).
2. Deze condities zich beperken tot gladde deelvariëteiten $X$ onder expliciete numerieke condities op de parameters.
3. De existentie van deze stabiliteitscondities de BMT-type ongelijkheden impliceert als consequenties.

De auteurs benadrukken dat hun resultaat de voorspelling bevestigt dat de BMT dubbele tilt-constructie een geldige stabiliteitsconditie oplevert voor voldoende grote $a$, waarmee het categorische kader voor driedimensionale variëteiten wordt gevalideerd zonder dat de ongelijkheden a priori bewezen hoeven te worden. Het werk steunt op de fundamentele constructies van Polishchuk [Pol07], Liu [Liu21] en Li [Li26], en breidt hun resultaten uit naar de specifieke context van driedimensionale variëteiten en legt de precieze link tussen de "Li-conditie" en het "BMT-hart" vast.