Quasi-affine schemes and singly compactly generated $t$-structures

Technische Samenvatting: Quasi-affiene Schema's en Enkel Compactelijk Gegeneerde t-structuren

Probleemstelling
Het artikel behandelt een specifieke structurele vraag binnen de afgeleide $\infty$-categorie van quasi-coherente bundels, $\text{QCoh}(X)$, op een quasi-compact quasi-gescheiden schema $X$. Hoewel het een bekend resultaat is (Bondal en Van den Bergh) dat $\text{QCoh}(X)$ een enkele compacte generator bezit, en dat er een $t$-structuur bestaat waarvan de connectieve helft wordt gegenereerd door dit enkele object, blijft het een open vraag of deze gegenereerde $t$-structuur samenvalt met de standaard $t$-structuur. Specifiek onderzoekt de auteur de voorwaarden waaronder de connectieve helft van de standaard $t$-structuur, aangeduid als $\text{QCoh}(X)_{\ge 0}$, enkel compactelijk gegenereerd wordt door een connectief perfect object.

Methodologie
De auteur maakt gebruik van een synthese van stabiele $\infty$-categorietheorie en algebraïsche meetkunde, waarbij specifiek gebruik wordt gemaakt van de theorie van Grothendieck prestabiele $\infty$-categorieën. De methodologie verloopt via de volgende logische stappen:

1. Categorisch Kader: Het artikel maakt gebruik van de taal van stabiele $\infty$-categorieën en $t$-structuren, waarbij $\text{QCoh}(X)_{\ge 0}$ wordt behandeld als een Grothendieck prestabiele $\infty$-categorie. Het steunt op de karakterisering dat als een connectieve helft enkel compactelijk gegenereerd wordt door een object $G$, dan het hart van de $t$-structuur gegenereerd wordt door de afkorting (truncation) $\pi_0 G$.
2. Strictheid en Resolutie: Onder de aanname dat $X$ een ample familie van lijnbundels bezit, roept de auteur resultaten uit [DHM20] en [Aut18] aan om vast te stellen dat elke perfecte complex gerepresenteerd kan worden door een begrensde complex van vectorbundels (dat wil zeggen: het is "strict").
3. Constructie van een Speciale Vectorbundel: Vertrekkend vanuit een hypothetische strikte compacte generator $G \in \text{QCoh}(X)_{\ge 0}$, construeert de auteur een specifieke vectorbundel $E_G$ door de directe som te nemen van de vectorbundels die voorkomen in de begrensde complex die $G$ representeert.
4. Generatie van het Hart: Door middel van inductieve argumenten op de coconnectiviteit van $G$, demonstreert het artikel dat $E_G$ de gehele connectieve helft $\text{QCoh}(X)_{\ge 0}$ genereert. Bijgevolg genereert de afkorting $\pi_0 E_G$ (die isomorf is aan $E_G$ zelf in het hart) de abelse categorie van discrete quasi-coherente bundels, $\text{QCoh}(X)^\heartsuit$.
5. De 1-resolutie Eigenschap: De auteur definieert de "1-resolutie eigenschap" als het bestaan van een enkele vectorbundel $E$ zodanig dat elke quasi-coherente bundel van eindig type een quotient is van een eindige directe som van kopieën van $E$. Het artikel bewijst dat het bestaan van de strikte generator $G$ impliceert dat $X$ deze eigenschap bezit.
6. Geometrische Karakterisering: Tot slot past de auteur een resultaat toe uit [DHM20, Proposition 3.4], dat stelt dat voor een schema met een ample familie van lijnbundels, de 1-resolutie eigenschap equivalent is aan het feit dat het schema quasi-affien is.

Kernbijdragen en Resultaten
Het centrale resultaat van het artikel is Theorem 1.1 (geherformuleerd als Theorem 3.9):

Laat $X$ een quasi-compact quasi-gescheiden schema zijn. Dan is $X$ quasi-affien dan en slechts indien het een ample familie van lijnbundels bezit en de connectieve helft $\text{QCoh}(X)_{\ge 0}$ compactelijk gegenereerd wordt door een connectief perfect object.

Belangrijke technische lemma's die dit ondersteunen zijn onder meer:

• Lemma 3.6: Stelt vast dat als $G$ een strikte compacte generator is, de geassocieerde vectorbundel $E_G$ zowel de connectieve helft als het hart van de $t$-structuur genereert.
• Lemma 3.7: Bewijst dat het bestaan van een dergelijke generator dwingt tot het feit dat het schema voldoet aan de 1-resolutie eigenschap.
• Corollary 3.8: Biedt specifieke instanties waar de stelling van toepassing is, waarbij wordt aangetoond dat bepaalde Noetherian normale schema's (bijv. J-2 of Q-factorial) die een strikte compacte generator bezitten, quasi-affien moeten zijn.

Betekenis en Claims
Het artikel claimt een precieze geometrische karakterisering te bieden voor wanneer de standaard $t$-structuur op $\text{QCoh}(X)$ enkel compactelijk gegenereerd is. De auteur merkt op dat dit resultaat compatibel is met recente niet-bestaansresultaten; het verklaart bijvoorbeeld waarom gladde projectieve curven over $\mathbb{C}$ (die niet quasi-affien zijn) geen enkel compactelijk gegenereerde standaard connectieve helft bezitten, een feit dat eerder werd vastgesteld via Harder-Narasimhan filtraties in [BDH+25].

Het artikel presenteert dit als een "verschrikkelijke ontdekking" in de zin dat het een strikte beperking onthult: de standaard $t$-structuur is enkel compactelijk gegenereerd door een perfect object alleen in het quasi-affiene geval (onder de aanname van een ample familie van lijnbundels). De auteur concludeert door de open vraag te stellen of er quasi-compacte quasi-gescheiden schema's bestaan die niet quasi-affien zijn maar toch een enkel compactelijk gegenereerde connectieve helft bezitten, wat suggereert dat de aanname van de "ample familie van lijnbundels" een cruciale grens vormt voor de huidige karakterisering.

Conventies en Omvang
Het werk opereert strikt binnen de sfeer van de afgeleide algebraïsche meetkunde en $\infty$-categorieën. Er wordt vanuit gegaan dat $X$ quasi-compact en quasi-gescheiden is. Het artikel stelt geen nieuwe experimentele toepassingen of toekomstige onderzoeksrichtingen voor, buiten de specifieke open vraag betreffende de noodzakelijkheid van de "ample familie" aanname. De dedicatie aan de overleden oom van de auteur en de hommage aan Josef Albers worden opgemerkt als persoonlijke en artistieke elementen, respectievelijk, maar beïnvloeden de technische inhoud niet.