Technische Samenvatting: Modules and Generalizations of Joyce Vertex Algebras

1. Probleemstelling

Het onderzoek richt zich op de structuren van Joyce-vertexalgebra's, die oorspronkelijk zijn gedefinieerd op de homologie van bepaalde $\mathbb{C}$-lineaire moduli-stacks. Deze algebra's zijn essentieel voor het uitdrukken van wall-crossing formules voor de homologische enumeratieve invarianten van Dominic Joyce.

Het fundamentele probleem is dat de huidige formulering van Joyce-vertexalgebra's beperkt is tot de setting van abelse categorieën (lineaire gevallen). In de moderne enumeratieve meetkunde (zoals de intrinsieke Donaldson–Thomas theorie) is het echter noodzakelijk om resultaten te generaliseren naar niet-lineaire moduli-stacks (quasi-smooth stacks). Bovendien ontbrak een systematische manier om modules en getwiste modules voor deze algebra's te definiëren in een bredere geometrische context.

2. Methodologie

De auteur hanteert een abstracte, functoriële benadering om de constructie te generaliseren. De belangrijkste methodologische stappen zijn:

• Paracategorieën van Vertex-ruimtes: In plaats van direct met algebra's te werken, introduceert de auteur de categorie van vertex spaces. Hierin worden vertexalgebra's behandeld als algebra-objecten binnen een paracategorie (een categorie met deels gedefinieerde compositie). Dit maakt een formele behandeling van de n-voudige vermenigvuldigingen mogelijk.
• Vertex-inductie: Dit is de kernconstructie van het paper. Het is een operatie die de vertexalgebra-structuur van een stack $X$ verbindt met de structuren van haar componenten in de stack of graded points $\text{Grad}(X)$. Dit proces generaliseert zowel de vermenigvuldiging in Joyce-vertexalgebra's als de actie op modules.
• Topologische Realisatie en K-theorie: De auteur maakt gebruik van de topologische realisatie van algebraïsche stacks en breidt de constructies uit naar zowel de homologie als de topologische $K$-homologie.

3. Belangrijkste Bijdragen en Resultaten

Het paper levert drie grote theoretische uitbreidingen:

A. Generalisatie naar niet-lineaire stacks (Vertex-inductie)

De auteur definieert de vertex-inductie voor algemene quasi-smooth stacks over $\mathbb{C}$. Dit proces stelt ons in staat om de vertexalgebra-structuur te "induceren" van de componenten van de stack van gegradeerde punten naar de stack zelf. Dit biedt het theoretische raamwerk voor toekomstige wall-crossing formules in niet-lineaire enumeratieve meetkunde.

B. Modules en Getwiste Modules

Het paper formaliseert de constructie van:

• Modules: Voor een Joyce-vertexalgebra $V$ (afgeleid van een stack $X$) kan de homologie van een $X$-module $Y$ worden uitgerust met een module-structuur.
• Getwiste Modules: In de context van orthosymplectische enumeratieve meetkunde (waarbij een $\mathbb{Z}_2$-actie/involutie aanwezig is), definieert de auteur getwiste modules. Deze zijn cruciaal voor het beschrijven van invarianten van zelf-duale objecten (zoals orthogonale of symplectische objecten).

C. Varianten: Real K-theory en K-theorie

De auteur introduceert twee belangrijke varianten:

1. De Real-variant (KO-theorie): Gebruikmakend van de equivariant square root Euler class, biedt dit een raamwerk voor DT4-invarianten (Donaldson-Thomas invarianten op Calabi-Yau viervouden), die vaak een orthogonale of symplectische structuur hebben.
2. De K-theoretische variant: Een multiplicatieve versie van de vertexalgebra-structuur gedefinieerd op de topologische $K$-homologie. Dit generaliseert het werk van Henry Liu en is relevant voor $K$-theoretische enumeratieve invarianten.

4. Significante Voorbeelden

De theoretische resultaten worden getoetst aan klassieke en moderne objecten:

• Classificerende stacks: De Heisenberg-vertexalgebra (via $BU$) en Kac-Moody algebra's (via quiver-representaties).
• Principal Bundles: De vertex-inductie voor de moduli-stack van $G$-bundels ($\text{Bun}_G(Z)$).
• Quivers: De constructie van vertexalgebra's voor representaties van quivers en de getwiste modules voor zelf-duale quivers.

5. Wetenschappelijke Betekenis

De betekenis van dit werk ligt in de brug die het slaat tussen de algebraïsche structuren van vertexalgebra's en de geometrische structuren van moduli-stacks.

Door de vertex-inductie te introduceren, biedt Bu een universeel instrument om wall-crossing fenomenen te begrijpen. Dit werk legt de fundering voor een conjectuur waarin de enumeratieve invarianten van niet-lineaire stacks (zoals DT4-invarianten) kunnen worden berekend via de algebraïsche eigenschappen van de bijbehorende (getwiste) vertexalgebra's. Het verbindt hiermee de enumeratieve meetkunde direct met de moderne representatietheorie en de studie van verschoven symplectische structuren.