Technische Samenvatting: Categorificatie van de Koszul-dualiteit van Algebra's

1. Probleem en Context

Koszul-dualiteit is een klassieke dualiteit tussen geaugmenteerde associatieve algebra's, die diepe verbindingen legt tussen ogenschijnlijk verschillende algebraïsche objecten. In de klassieke setting is de Koszul-duale $D_1(A)$ van een geaugmenteerde associatieve $k$-algebra $A$ gedefinieerd als de afgeleide endomorfisme-algebra $\text{End}_A(k)$. Onder gunstige omstandigheden is de bidualiteitsafbeelding $A \to D_1(D_1(A))$ een equivalentie, en bestaat er een Fourier–Morita-type equivalentie tussen de categorieën van modules over $A$ en $D_1(A)$.

Dit artikel behandelt de categorificatie van deze dualiteit. Het centrale probleem is het generaliseren van Koszul-dualiteit van algebra's naar monoidale stabiele $\infty$-categorieën. In dit kader spelen monoidale stabiele $\infty$-categorieën de rol van associatieve algebra's, en module $\infty$-categorieën de rol van modules. Specifiek onderzoekt het artikel de dualiteitsverschijnselen bij monoidale stabiele $\infty$-categorieën geassocieerd met Artin-algebra's en algebra's over de little 2-discs operade ($E_2$-algebra's).

2. Methodologie en Kader

De auteur maakt gebruik van de taal van $(\infty, 1)$-categorieën (quasi-categorieën) en hogere algebra, gebruikmakend van de theorie van operaden en stabiele $\infty$-categorieën.

2.1. Categorificatie van Augmentatie en Dual

Laat $k$ een basisveld zijn en $\text{Mod}_k$ de stabiele $\infty$-categorie van $k$-module spectra. Het artikel beschouwt een monoidale $\infty$-categorie $\mathcal{A}$ uitgerust met een monoidale functor $\mathcal{A} \to \text{Mod}_k$, gezien als een gecategoriseerde analogon van een algebra-augmentatie $A \to k$.
De Koszul-duale van $\mathcal{A}$ wordt gedefinieerd als de endomorfisme monoidale $\infty$-categorie:
$$D(\mathcal{A}) = \text{End}_{\mathcal{A}}(\text{Mod}_k)$$
Deze categorie classificeert $\mathcal{A}$-module functoren $\text{Mod}_k \to \text{Mod}_k$, waarbij de monoidale structuur wordt geïnduceerd door compositie.

2.2. Focus op Artin- en $E_2$-algebra's

De studie richt zich op het geval waar $\mathcal{A} = \text{LMod}_A$, de stabiele $\infty$-categorie van linker modules over een geaugmenteerde $E_2$-algebra $A$ (of een Artin-algebra). Het artikel maakt gebruik van:

• $E_n$-Koszul-dualiteit: De klassieke dualiteit $D_n$ voor geaugmenteerde $E_n$-algebra's.
• Ind-coherente Sheaves: De $\infty$-categorie $\text{Ind}(\text{LCoh}(A))$ van Ind-coherente sheaves op $A$, die coherente sheaves generaliseert naar de niet-connectieve en afgeleide setting.
• $t$-structuren: Een gedetailleerde analyse van links en rechts complete $t$-structuren, met name de "standaard" en "duale standaard" $t$-structuren op module-categorieën en categorieën van Ind-coherente sheaves.
• Algebraïsatie: Het gebruik van de functor $\Theta_k$ (links adjunct aan de endomorfisme-algebra functor $E_k$) om monoidale $\infty$-categorieën terug te relateren aan algebra's.

3. Belangrijkste Bijdragen en Resultaten

3.1. Identificatie van de Koszul-duale met Ind-coherente Sheaves

Het artikel stelt een canonieke equivalentie vast tussen de Koszul-duale van de categorie van modules over een $E_2$-Koszul-duale algebra en de categorie van Ind-coherente sheaves.

• Theorem 1.2 (Theorem 3.6): Als $A$ een Artin $E_2$-algebra is, dan is er een canonieke equivalentie van monoidale $\infty$-categorieën:
  $$D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$$
  Hier is $D_2(A)$ de $E_2$-Koszul-duale van $A$. Dit resultaat identificeert de monoidale $\infty$-categorie van Ind-coherente sheaves als de gecategoriseerde Koszul-duale van de gewone linker $D_2(A)$-modules. De monoidale structuur op $\text{Ind}(\text{LCoh}(A))$ wordt geïnterpreteerd als de compositie van functoren $\text{Mod}_k \to \text{Mod}_k$.

3.2. Bidualiteit en Rechter Completie

Het artikel onderzoekt de bidualiteitsafbeelding voor module-categorieën. In tegenstelling tot het klassieke geval waar $A \simeq D_1(D_1(A))$ direct geldt, vereist de gecategoriseerde versie completion.

• Theorem 1.1 (Theorem 4.13): Als $A$ Artin is, wordt de bidualiteitsafbeelding
  $$\delta_{\text{LMod}_A} : \text{LMod}_A \to D(D(\text{LMod}_A))$$
  een equivalentie na het passeren naar de rechter completion van het doel. Specifiek, als $D_t^+$ de compositie is van de Koszul-duale functor $D$ gevolgd door rechter completion, dan:
  $$\text{LMod}_A \simeq D_t^+(D_t^+(\text{LMod}_A))$$
  Dit is een categorische generalisatie van de klassieke bidualiteit $A \simeq D_1(D_1(A))$.

3.3. Linker Completie en $E_2$-Modules

Het artikel relateert de categorie van modules over de $E_2$-Koszul-duale aan de linker completion van de oorspronkelijke module-categorie.

• Theorem 1.3: Er bestaat een equivalentie van monoidale $\infty$-categorieën:
  $$\widehat{b}_L(\text{LMod}_{D_2(A)}) \simeq D_t^+(D_t^+(\text{LMod}_{D_2(A)}))$$
  waarbij $\widehat{b}_L$ de linker completion betekent met betrekking tot de standaard $t$-structuur. Het artikel merkt op dat de standaard $t$-structuur op $\text{LMod}_{D_2(A)}$ over het algemeen niet links compleet is.

3.4. Structurele Kenmerken en $t$-structuren

De resultaten onthullen subtiele structurele kenmerken van gecategoriseerde dualiteit:

• De Koszul-duale $D(\text{LMod}_A)$ is gerelateerd aan de linker completion van $\text{LMod}_{D_2(A)}$.
• Het artikel maakt onderscheid tussen de "standaard" $t$-structuur (bepaald door het connectieve deel) en de "duale standaard" $t$-structuur (bepaald door de kleinste subcategorie die de eenheid bevat en gesloten is onder colimieten).
• Er wordt aangetoond dat voor bepaalde Artin-algebra's (bijv. trivial square zero extensies), de $t$-structuur op de duale categorie niet rechts gescheiden is, en dus niet rechts compleet, wat de rechter completion-functor in het bidualiteitstheorema noodzakelijk maakt.

4. Betekenis en Claims

Het artikel claimt dat de resultaten een categorische generalisatie bieden van de klassieke Koszul-dualiteit voor modules. Door modules te vervangen door categorieën en sheaves door sheaves van categorieën, breidt het werk het dualiteitsparadigma uit naar de sfeer van stabiele $\infty$-categorieën.

De belangrijkste aspecten van de betekenis die in de tekst worden benadrukt, zijn:

1. Geometrische Interpretatie: De equivalentie $D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$ biedt een geometrische interpretatie van de monoidale structuur van Ind-coherente sheaves als functorcompositie.
2. Verfijning van Dualiteit: De resultaten laten zien dat gecategoriseerde Koszul-dualiteit subtielere kenmerken bezit dan de dualiteit tussen $A$ en $D_2(A)$. Specifiek is de duale van de module-categorie niet simpelweg de module-categorie van de duale algebra, maar de categorie van Ind-coherente sheaves.
3. Verbinding met Deformatie Theorie: Het artikel merkt op dat deze resultaten gemotiveerd zijn door en verbonden zijn met categorische invarianten van Landau–Ginzburg modellen (bijv. matrix factorisaties) en de deformatie-theorie van stabiele $\infty$-categorieën. De rechter adjunct functor $\kappa$ die in de inleiding wordt geconstrueerd, speelt een rol bij het associëren van Hochschild-cohomologieklassen aan de deformaties van stabiele $\infty$-categorieën met rechts complete $t$-structuren.
4. Generalisatie: Het kader wordt uitgebreid naar gepunteerde formele $E_2$-stacks (Sectie 6), wat suggereert dat de bidualiteitsequivalentie geldt voor gecategoriseerde structurele sheaves op deze stacks.

Het artikel behoudt een bescheiden toon met betrekking tot toepassingen, waarbij wordt gesteld dat de toepassing op deformatie-theorie (specifiek betrokken bij niet-links complete $t$-structuren) "in toekomstig werk zal worden besproken". De primaire bijdrage blijft de rigoureuze vestiging van de dualiteits-equivalenties en de identificatie van de noodzakelijke completions (links en rechts) voor deze equivalenties om stand te houden in de $\infty$-categorische setting.