On rationality for $C_2$-cofinite vertex operator algebras

Deze paper bewijst dat voor $C_2$-cofiniete vertex-operatoralgebra's de categorie van modules een factoriserende eindige lintcategorie is, wat leidt tot de rationaliteit van zulke algebra's en de oplossing van conjecturen over $W$-algebra's en het coset-rationaliteitsprobleem.

De kern

Stel je voor dat wiskunde een enorme, ingewikkelde stad is. In deze stad wonen speciale gebouwen die we Vertex Operator Algebras (VOA's) noemen. Deze gebouwen zijn niet zomaar architectuur; ze zijn de blauwdrukken voor een heel specifiek type universum uit de theoretische fysica, genaamd een conformale veldtheorie.

In dit universum spelen de "bewoners" van deze gebouwen (de modules) een cruciale rol. Wiskundigen willen graag weten of deze steden rationeel zijn. In het dagelijks taalgebruik betekent "rationeel" hier: Is alles voorspelbaar, netjes en goed georganiseerd? Als een stad rationeel is, kun je precies voorspellen hoe de bewoners met elkaar interageren, en zijn er geen rare, onoplosbare kluwen.

Robert McRae, de auteur van dit paper, heeft een nieuwe sleutel gevonden om te bepalen of deze wiskundige steden rationeel zijn, zelfs als ze op het eerste gezicht chaotisch lijken.

Hier is hoe het werkt, vertaald naar alledaagse metaforen:

1. De Uitdaging: De "C2-Co-finite" Stad

Stel je een stad voor die erg groot is, maar die toch een bepaalde orde heeft. Wiskundigen noemen dit C2-cofinite. Het betekent dat de stad, hoewel hij enorm is, eigenlijk uit een eindig aantal bouwstenen is opgebouwd. Het is een "beheersbare" chaos.

Het probleem is: hoe weet je of deze stad ook rationeel is (goed georganiseerd)?

• De oude manier: Je moest elke bewoner van de stad individueel bestuderen, hun relaties in kaart brengen en uitzoeken of ze allemaal netjes in groepjes vielen. Dit was extreem moeilijk, net als proberen te bewijzen dat een heel land democratisch is door elke burger één voor één te interviewen.
• De nieuwe manier (McRae's truc): McRae zegt: "Wacht even, we hoeven niet iedereen te interviewen. We hoeven alleen maar te kijken naar de stadsplannen (de Zhu-algebra) en hoe de stadsverlichting (de karakters) reageert op een spiegel."

2. De Twee Magische Spiegels

McRae gebruikt twee concepten om de orde te testen:

A. De Zhu-Algebra (De Stadsplannen)
Stel je voor dat je een heel complex gebouw hebt. De Zhu-algebra is als een vereenvoudigde plattegrond van de begane grond.

• Als deze plattegrond semisimpel is (wat betekent dat hij uit losse, niet-overlappende blokken bestaat zonder rare kluwen), dan is het een heel goed teken.
• McRae bewijst: Als de plattegrond (Zhu-algebra) netjes is, dan is de hele stad (de module-categorie) automatisch netjes en rationeel. Je hoeft niet de hele stad te inspecteren; de begane grond vertelt je alles.

B. De S-transformatie (De Spiegel van de Stadsverlichting)
Stel je voor dat je de stadsverlichting (de karakters van de modules) in een spiegel houdt. In de wiskunde heet dit de S-transformatie.

• Normaal gesproken kan het beeld in de spiegel een rommelige mix zijn van echte lichten en "schaduwen" (pseudo-traces).
• McRae ontdekt: Als het beeld in de spiegel alleen maar echte lichten toont (geen schaduwen), dan is de stad stijf (rigid). Dit betekent dat de bewoners een perfecte, wederzijdse relatie hebben met elkaar. Als je iemand vastpakt, weet je precies wie de tegenhanger is.

3. De Grote Doorbraak: Van Chaos naar Orde

Het paper combineert deze ideeën tot een krachtige stelling:

1. Als de stad een bepaalde orde heeft (C2-cofinite) en de spiegel (S-transformatie) toont alleen maar echte lichten, dan is de stad stijf (rigid).
2. Als de stad stijf is én de stadsplannen (Zhu-algebra) zijn netjes, dan is de stad rationeel.

Dit is als het vinden van een magische formule: Als je plattegrond klopt en je spiegeltje toont geen geesten, dan is je universum perfect georganiseerd.

4. De Toepassingen: Waarom doet dit ertoe?

McRae gebruikt deze nieuwe sleutel om twee grote mysteries op te lossen:

Mysterie 1: De W-Algebra's (De Mysterieuze Gebouwen)
Er bestaat een hele familie van deze wiskundige gebouwen, genaamd W-algebra's, die ontstaan uit een proces dat "quantum Drinfeld-Sokolov reductie" heet (een soort wiskundige filter).

• Voor veel van deze gebouwen wisten wetenschappers al dat ze "C2-cofinite" waren, maar ze durfden niet te zeggen of ze "rationeel" waren.
• McRae toont aan dat voor een specifieke, belangrijke groep (de "exceptional" W-algebra's), de stadsplannen (Zhu-algebra) altijd netjes zijn.
• Conclusie: Allemaal! Deze gebouwen zijn rationeel. De wiskundige wereld kan nu eindelijk de "verdelingsformules" (Verlinde-formule) gebruiken om te voorspellen hoe deze gebouwen zich gedragen.

Mysterie 2: De Coset (De Tweeling)
Stel je voor dat je een groot, perfect georganiseerd universum hebt (A). Binnenin zit een kleinere, ook perfect georganiseerde stad (U).

• De vraag is: Is het overgebleven deel van het universum (de "coset" of V) ook georganiseerd?
• Vaak is het moeilijk om te bewijzen dat het overgebleven deel netjes is.
• McRae zegt: "Als het overgebleven deel maar 'C2-cofinite' is (beheersbaar), dan is het automatisch rationeel, omdat het deel uitmaakt van een groter, perfect universum."
• Dit lost een oud probleem op in de wiskunde: het bewijst dat als je een stukje van een perfect universum weghaalt, het restant ook perfect blijft, zolang het maar niet te groot is.

Samenvatting in één zin

Robert McRae heeft een nieuwe, makkelijke manier bedacht om te controleren of complexe wiskundige universums goed georganiseerd zijn, door alleen naar hun "plattegrond" en hun "spiegelbeeld" te kijken, en hiermee heeft hij bewezen dat een hele reeks mysterieuze structuren (W-algebra's) en hun restanten (cosets) inderdaad perfect rationeel zijn.

Het is alsof hij een nieuwe sleutel heeft gevonden die deuren opent die decennialang op slot zaten, zonder dat je de hele deurkast moest openbreken.

Technische samenvatting

Probleemstelling

De theorie van vertex operator algebren (VOA's) streeft naar een wiskundig rigoureuze formulering van tweedimensionale chirale conforme kwantumveldentheorieën. Een centrale stelling van Huang bewees dat de moduulcategorie van een "sterk rationele" VOA een semisimpele modulaire tensorcategorie is. Een VOA wordt sterk rationeel genoemd als deze simpel is, positieve energie heeft (CFT-type), zelf-contragredient is, $C_2$-cofinit is, en rationeel (wat betekent dat elke gegeneraliseerde module een directe som van irreducibele modules is).

Hoewel veel voorbeelden van sterk rationele VOA's bekend zijn, is het in het algemeen zeer moeilijk om te bewijzen dat een specifieke VOA aan deze criteria voldoet. De twee diepste voorwaarden zijn:

1. $C_2$-cofinitheid: Een technische voorwaarde die de eindigheid van de categorie van modules garandeert.
2. Rationaliteit: Dit is equivalent aan de semisimpliciteit van de categorie van modules.

De kernvragen die dit artikel adresseert zijn:

• Zijn er controleerbare criteria die garanderen dat de moduulcategorie van een $C_2$-cofinite VOA semisimpel is (en dus dat de VOA rationeel is)?
• Als de categorie niet semisimpel is (dus de VOA is niet rationeel), wat is dan de structuur van deze categorie?

Specifiek richt het artikel zich op het bewijzen van rationaliteit voor twee belangrijke klassen: affine W-algebra's (verkregen via quantum Drinfeld-Sokolov reductie) en coset VOA's (commutant subalgebra's).

Methodologie

De auteur combineert technieken uit de theorie van tensorcategorieën met de methode van Moore-Seiberg en Huang voor het afleiden van identiteiten van correlatiefuncties op een torus (genus één).

1. Tensor Categorie Theorie:

   • Het artikel gebruikt de structuur van braided tensor categorieën voor de categorie $\mathcal{C}$ van gegeneraliseerde $V$-modules.
   • Een cruciale stap is het bewijzen dat $\mathcal{C}$ een rigide tensor categorie is (d.w.z. dat elk object een duaal heeft).
   • Vervolgens wordt bewezen dat als $\mathcal{C}$ rigide is, het een factoriseerbare eindige lint-categorie is (een niet-noodzakelijk semisimpele versie van een modulaire tensorcategorie). Dit betekent dat de enige "transparante" objecten (waarvoor de dubbele vlechtoperatie de identiteit is) directe sommen van de eenheid zijn.

2. Correlatiefuncties en S-transformatie:

   • De methode maakt gebruik van genus-een correlatiefuncties (sporen van intertwinning-operatoren op een torus).
   • De S-transformatie ($\tau \mapsto -1/\tau$) van de karakteristieke functie (character) van de VOA wordt onderzocht.
   • Een centrale aanname is dat de S-transformatie van het karakter van de VOA een lineaire combinatie is van karakters van modules (en geen "pseudo-traces" bevat). Dit is een veralgemening van de modulaire invariantie voor rationele VOA's.

3. De Zhu Algebra:

   • De Zhu algebra $A(V)$ is een associatieve algebra die de irreducibele modules van $V$ classificeert.
   • Het artikel toont aan dat als $A(V)$ semisimpel is, dit voldoende is om de rationaliteit van $V$ af te leiden, zelfs zonder een gedetailleerde classificatie van de irreducibele modules.

Belangrijkste Bijdragen en Resultaten

Het artikel presenteert drie hoofdtheorema's die de brug slaan tussen de algebraïsche structuur van de VOA, de eigenschappen van de Zhu algebra, en de tensor-categorie-theoretische structuur van de moduulcategorie.

Hoofdresultaat 1: Rigidity implies Factorizability
Als $V$ een $N$-gegradeerde, simpele, zelf-contragrediente, $C_2$-cofinite VOA is en de categorie $\mathcal{C}$ van zijn modules al bekend is als een rigide tensor categorie, dan is $\mathcal{C}$ een factoriseerbare eindige lint-categorie.

• Betekenis: Dit bevestigt een conjectuur dat voor "sterk eindige" VOA's de moduulcategorie een niet-semisimpele modulaire tensor categorie is, mits rigidity geldt.

Hoofdresultaat 2: Criteria voor Rigidity via S-transformatie
Als de S-transformatie van het karakter van de VOA ($S(\text{ch}_V)$) een lineaire combinatie is van karakters van $V$-modules (geen pseudo-traces), dan is de tensor categorie $\mathcal{C}$ rigide.

• Techniek: Dit wordt bewezen door identiteiten af te leiden voor twee-punts genus-een correlatiefuncties, gebruikmakend van de pentagon- en driehoeksidentiteiten van tensor categorieën en de cyclische symmetrie van sporen.

Hoofdresultaat 3: Rationaliteit via Semisimpliciteit van de Zhu Algebra
Als $V$ een sterk eindige VOA is en de Zhu algebra $A(V)$ is semisimpel, dan is $V$ rationeel.

• Consequentie: De categorie $\mathcal{C}$ is dan een semisimpele modulaire tensor categorie. Als $V$ bovendien positieve energie heeft, is $V$ sterk rationeel.
• Nieuwe inzichten: Dit resultaat maakt het mogelijk om rationaliteit te bewijzen zonder de volledige structuur van de irreducibele modules te hoeven kennen; het volstaat om de semisimpliciteit van de Zhu algebra te verifiëren.

Toepassingen

Het artikel past deze theorema's toe op twee belangrijke gebieden:

1. Rationaliteit van Affine W-algebra's:

   • Er wordt de conjectuur van Kac-Wakimoto en Arakawa bewezen: Alle $C_2$-cofinite affine W-algebra's die verkregen worden via quantum Drinfeld-Sokolov reductie van affine VOA's op admissible levels zijn sterk rationeel.
   • Dit volgt uit recente resultaten van Arakawa en van Ekeren die aantoonden dat de (Ramond-gezwaaide) Zhu algebra's van deze W-algebra's semisimpel zijn.
   • Het resultaat geldt zelfs voor W-algebra's die $1/2\mathbb{N}$-gegradeerd zijn (niet noodzakelijk $\mathbb{N}$-gegradeerd), mits een geschikte conformele vector bestaat.

2. Rationaliteit van Coset VOA's (De "Coset Rationality Problem"):

   • Het probleem: Als $U \otimes V \hookrightarrow A$ een inbedding is waarbij $A$ en $U$ sterk rationeel zijn en $U, V$ elkaars commutant zijn in $A$, is dan $V$ ook sterk rationeel?
   • Het artikel reduceert dit probleem tot de vraag of $V$ $C_2$-cofinite is.
   • Resultaat: Als $A$ en $U$ sterk rationeel zijn, $U$ zijn eigen dubbele commutant is, en de coset $V$ $C_2$-cofinite is, dan is $V$ automatisch sterk rationeel.
   • Dit biedt een derde bewijs voor de rationaliteit van bepaalde principale W-algebra's (via de coset realisatie van Arakawa-Creutzig-Linshaw).

Significantie

Dit werk is van fundamenteel belang voor de theorie van vertex operator algebren en conforme veldentheorie:

• Unificatie: Het verbindt de algebraïsche eigenschappen van de Zhu algebra (een eindig-dimensionaal object) met de complexe structuur van de oneindig-dimensionale moduulcategorie.
• Verwijdering van Barrières: Het toont aan dat voor het bewijzen van rationaliteit geen gedetailleerde kennis van de irreducibele modules nodig is; het volstaat om de semisimpliciteit van de Zhu algebra en de $C_2$-cofinitheid te controleren.
• Oplossing van Open Problemen: Het lost de rationaliteitsconjecture voor een brede klasse van W-algebra's op en biedt een krachtig instrument om rationaliteit van coset-construcies te bewijzen, zolang de $C_2$-cofinitheid maar vaststaat.
• Niet-Semisimpele Context: Het verduidelijkt de structuur van de moduulcategorieën van niet-rationele maar $C_2$-cofinite VOA's, en toont aan dat deze toch een rijke, factoriseerbare tensor-categorie structuur bezitten (factorizable finite ribbon categories).

Samenvattend biedt McRae een krachtig raamwerk om rationaliteit van complexe VOA's te bewijzen door gebruik te maken van de interactie tussen Zhu algebra's, modulaire transformaties van karakters en de rigide structuur van tensor categorieën.