Topological K-theory of quasi-BPS categories of symmetric quivers with potential

Samenvatting: Topologische K-theorie van Quasi-BPS-categorieën

1. Probleemstelling en Context
Het artikel richt zich op de fundamentele vraag in de enumeratieve meetkunde en de categorische Donaldson-Thomas (DT) theorie: hoe kan men de BPS-invarianten (integer-waardige invarianten die semistabiele coherentie schoven op Calabi-Yau 3-voudigen tellen) en de bijbehorende BPS-cohomologie categorisch reconstrueren?

Traditioneel worden BPS-invarianten gedefinieerd via cohomologie van moduli-ruimten of via perverse schoven (BPS-schoven). De auteurs willen een brug slaan tussen de categorische kant (specifiek quasi-BPS-categorieën, die zijn geconstrueerd als subcategorieën van matrix-factorisaties of afgeleide categorieën van moduli-ruimten) en de cohomologische kant (monodromie-invariante BPS-cohomologie).

De kernvraag is of de topologische K-theorie van deze quasi-BPS-categorieën de dimensies van de BPS-cohomologie kan "herwinnen" en of er een expliciete cyclusafbeelding bestaat die deze structuren verbindt.

2. Methodologie
De auteurs gebruiken een geavanceerde mix van technieken uit de algebraïsche meetkunde, homotopietheorie en representatietheorie:

• Quasi-BPS-categorieën: Deze zijn subcategorieën van de categorie van matrix-factorisaties $MF(X(d), \text{Tr } W)$, waarbij $X(d)$ de moduli-stack is van representaties van een symmetrische quiver met potentieel $W$. De categorieën worden gedefinieerd via "magische" subcategorieën $M(d; \delta)$ die gebaseerd zijn op gewichtscondities (polytopes in het gewichtsrooster), geïntroduceerd door Špenko en Van den Bergh.
• Topologische K-theorie: Gebaseerd op het werk van Blanc, wordt de topologische K-theorie $K_{top}$ van deze dg-categorieën bestudeerd.
• Cyclusafbeeldingen (Cycle Maps): De auteurs construeren een cyclusafbeelding van de gefilterde topologische K-theorie naar de cohomologie van monodromie-invariante verdwijnende cycli (vanishing cycles).
• Dimensionale Reductie en Koszul-equivalentie: Er wordt gebruik gemaakt van de Koszul-equivalentie om de relatie tussen preprojectieve algebra's en getripleerde quivers met potentieel te analyseren. Dit koppelt de K-theorie van matrix-factorisaties aan de cohomologie van de onderliggende ruimten.
• Relatieve Topologische K-theorie: Een cruciale techniek is het gebruik van de relatieve topologische K-theorie (ontwikkeld door Moulinos), die een schaal van spectra associeert met een variëteit. Dit stelt de auteurs in staat om de BPS-schoven als directe sommanden in de K-theorie te identificeren.
• Decompositiestellingen: De bewijzen maken gebruik van de BBDG-decompositiestelling (Beilinson-Bernstein-Deligne-Gabber) voor de pushforward van perverse schoven langs moduli-afbeeldingen.

3. Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Theorema 1.1 en 1.2): De auteurs bewijzen dat er een filtratie bestaat op de topologische K-theorie van de quasi-BPS-categorieën $S(d; \delta)$, zodanig dat de geassocieerde graad isomorf is met de monodromie-invariante BPS-cohomologie.
  Concreet geldt voor een symmetrische quiver met potentieel $(Q, W)$ en een dimensievector $d$:
  $$\dim_{\mathbb{Q}} K_{top, i}(S(d; \delta))_{\mathbb{Q}} = \sum_{j \in \mathbb{Z}} \dim_{\mathbb{Q}} H^j(X(d), \text{BPS}_{d, \delta})^{\text{inv}}$$
  Hierbij is $\text{BPS}_{d, \delta}$ een directe som van perverse schoven geassocieerd met partities van $d$.

• Constructie van de Cyclusafbeelding: Ze construeren een expliciete cyclusafbeelding $c$ die de topologische K-theorie van matrix-factorisaties koppelt aan de cohomologie van monodromie-invariante verdwijnende cycli. Deze afbeelding is injectief over $\mathbb{Q}$ en induceert een isomorfisme op de geassocieerde graad.

• Grothendieck-Riemann-Roch (GRR) voor Matrix-factorisaties: Het artikel bewijst een GRR-stelling voor categorieën van matrix-factorisaties, wat essentieel is voor het begrijpen van de functoriële eigenschappen van de Chern-kenmerkafbeelding in deze context.

• Koppeling met Preprojectieve Algebra's: Door middel van dimensionale reductie wordt de topologische K-theorie van quasi-BPS-categorieën voor preprojectieve algebra's berekend in termen van de BPS-cohomologie van de onderliggende quiver. Dit leidt tot een verband met de cohomologie van Hilbert-schema's van punten op K3-oppervlakken.

• Gewichts-onafhankelijkheid: Er wordt aangetoond dat de dimensie van de topologische K-theorie alleen afhangt van $\gcd(v, d)$ (waarbij $v$ de gewichtsparameter is), wat reminiscent is aan het $\chi$-onafhankelijkheidsfenomeen in de DT-theorie.

4. Significatie en Impact

• Categorificatie van BPS-invarianten: Dit werk biedt een sterke bevestiging dat quasi-BPS-categorieën de juiste categorische objecten zijn die de BPS-invarianten "categorificeren". Ze tonen aan dat de topologische K-theorie van deze categorieën de numerieke invarianten exact reproduceert.
• Nieuw Gereedschap voor Moduli-ruimten: De resultaten bieden een nieuwe manier om de cohomologie van moduli-ruimten van schoven op Calabi-Yau 3-voudigen te bestuderen via niet-commutatieve algebraïsche meetkunde (dg-categorieën).
• Verbinding tussen Gebieden: Het artikel legt een diepe verbinding tussen verschillende gebieden: de theorie van quivers met potentieel, de theorie van matrix-factorisaties, de topologische K-theorie van dg-categorieën, en de perverse cohomologie van moduli-ruimten.
• Toepassing op K3-oppervlakken: De resultaten vormen de basis voor een latere publicatie waarin wordt aangetoond dat quasi-BPS-categorieën van K3-oppervlakken de BPS-invarianten van de bijbehorende lokale oppervlakken (Euler-kenmerken van Hilbert-schema's) recoveren.

Kortom, dit artikel levert een fundamentele technische stap voorwaarts in het begrijpen van de structuur van BPS-invarianten door ze te vertalen naar de taal van topologische K-theorie, waarbij het een brug slaat tussen abstracte categorische constructies en concrete cohomologische invarianten.