Inequivalent modular tensor categories with identical $S$, $T$ and $W$

In het uitgestrekte landschap van de moderne wiskunde bestaat een veld dat zich wijdt aan het begrijpen van de verborgen regels die bepalen hoe dingen gecombineerd, gedraaid en getransformeerd kunnen worden. Stel je een universum voor waarin objecten niet alleen naast elkaar liggen, maar interageren op manieren die afhangen van de volgorde waarin ze bij elkaar worden gebracht, wat een rijk tapijt aan mogelijkheden creëert. Dit is de wereld van modulaire tensorcategorieën, een wiskundig kader dat deze interacties met extreme precisie beschrijft. Deze structuren zijn niet louter abstracte spelletjes; ze dienen als blauwdruk voor bepaalde typen kwantumfysica en de wiskunde achter de knopentheorie, wat wetenschappers helpt te begrijpen hoe deeltjes zich in exotische toestanden van materie kunnen gedragen. Decennialang hebben wiskundigen geprobeerd een set standaardmaten te vinden die elke mogelijke versie van deze categorieën uniek kan identificeren. Ze wisten dat twee specifieke datasets, die beschrijven hoe objecten om elkaar heen vlechten en hoe ze draaien, niet voldoende waren om ze van elkaar te onderscheiden. Een derde meting, betrokken bij een specifieke driedimensionale knoop bekend als de Whitehead-link, werd geïntroduceerd om te zien of dit het ontbrekende puzzelstukje zou bieden. De vraag bleef: als twee verschillende categorieën deze drie sets gegevens delen, zijn ze dan noodzakelijkerwijs hetzelfde, slechts anders gekleed?

Een team van onderzoekers heeft deze vraag nu met een definitief 'nee' beantwoord. Door twee verschillende wiskundige werelden te construeren die identiek lijken onder elke standaardtest, hebben zij bewezen dat deze drie metingen onvoldoende zijn om verschillende typen modulaire tensorcategorieën van elkaar te onderscheiden. De wetenschappers bouwden deze voorbeelden met behulp van een specifiek type symmetriegroep gebaseerd op priemgetallen, waardoor zij een familie van categorieën creëerden die fundamenteel verschillend van elkaar zijn, maar exact dezelfde numerieke vingerafdrukken delen. Zij demonstreerden dat men voor elk priemgetal groter dan of gelijk aan vijf een paar van deze categorieën kan creëren die identieke resultaten produceren voor elke knoop bestaande uit één of twee lussen. In de taal van het vakgebied betekent dit dat als u deze wiskundige werelden zou onderzoeken met elke knoop die slechts één of twee strengen heeft, u exact hetzelfde antwoord zou krijgen, ongeacht naar welke categorie u daadwerkelijk kijkt.

De onderzoekers bereikten dit door de interne regels van hun categorieën zorgvuldig af te stemmen. Ze hielden de regels die bepalen hoe objecten in paren en kleine groepen met elkaar interageren constant, terwijl ze subtiel de regels aanpasten die pas verschijnen wanneer drie objecten simultaan interageren. Deze verborgen aanpassing is onzichtbaar voor elke test met slechts één of twee strengen, maar verandert de aard van de categorie fundamenteel. Om te bewijzen dat deze categorieën inderdaad verschillend zijn, moesten ze verder kijken dan eenvoudige knopen. Ze construeerden een specifieke, complexe driedimensionale vorm gevormd door drie lussen op een manier met elkaar te verbinden die beroemd onderling afhankelijk is, bekend als de Borromeaanse ringen. Wanneer zij een specifieke waarde berekenden die geassocieerd is met deze vorm, waren de resultaten voor hun twee categorieën verschillend. Deze enkele waarde fungeerde als een unieke handtekening, die onthulde dat de categorieën niet equivalent waren, ondanks hun identieke gedrag in alle eenvoudigere scenario's.

De betekenis van deze bevinding is dat het wiskundigen dwingt hun gereedschapskist uit te breiden. Het laat zien dat de standaardmaten die gebruikt worden om deze structuren te classificeren, inclusief de gegevens van knopen met één of twee componenten, niet voldoende zijn om het volledige plaatje te vatten. Om deze wiskundige objecten werkelijk te begrijpen en te categoriseren, moet men kijken naar complexere interacties waarbij drie of meer componenten betrokken zijn. Het werk levert een concreet voorbeeld van twee structuren die ononderscheidbaar zijn door hun meest voorkomende eigenschappen, maar die als ze door een meer ingewikkelde lens worden bekeken, als verschillend worden onthuld. Deze ontdekking sluit een langlopende open vraag in het vakgebied, waarmee wordt bevestigd dat de gecombineerde gegevens van de S-, T- en W-matrices de modulaire tensorcategorie niet tot equivalentie bepalen. In plaats daarvan onthult het een diepere laag van complexiteit die nieuwe invarianten vereist om deze volledig te beschrijven.

De constructie van deze tegenvoorbeelden steunde op een precieze manipulatie van wiskundige functies genaamd cocyclen, die dicteren hoe de objecten in de categorie met elkaar associëren. De onderzoekers fixeerden het deel van deze functies dat de interacties tussen twee objecten controleert, waardoor zij garandeerden dat elke test met één of twee strengen hetzelfde resultaat zou opleveren. Vervolgens varieerden zij het deel van de functie dat de interactie van drie objecten beheert, een verandering die verborgen blijft totdat men het systeem probeert met een link van drie componenten. Door dit te doen, creëerden zij een familie van categorieën waarbij het verschil tussen hen onzichtbaar is voor alle standaard probes met twee strengen, maar pijnlijk duidelijk wordt wanneer een probe met drie strengen wordt gebruikt. Deze aanpak stelde hen in staat om een oneindig aantal dergelijke paren te genereren, één voor elk priemgetal groter dan of gelijk aan vijf, waarmee werd aangetoond dat dit fenomeen geen zeldzame anomalie is, maar een wijdverspreid kenmerk van deze wiskundige structuren.

Uiteindelijk stelt het artikel vast dat het universum van modulaire tensorcategorieën rijker en subtieler is dan voorheen gedacht. Het vermogen om deze categorieën te onderscheiden vereist het bekijken van het volledige plaatje, inclusief de complexe manieren waarop drie of meer componenten met elkaar verweven zijn. De onderzoekers hebben aangetoond dat het vertrouwen op enkel de gegevens van eenvoudigere knopen is als het proberen te identificeren van een persoon door alleen naar hun schaduw te kijken; hoewel de schaduw voor twee verschillende mensen hetzelfde kan lijken, zijn de mensen zelf verschillend. Door een specifieke partitiefunctie op een gesloten driedimensionale variëteit te berekenen, boden de auteurs een concrete methenschap om deze categorieën te scheiden, waarbij zij bewezen dat de braided equivalentieklassen worden bepaald door een parameter die meerdere waarden kan aannemen, specifiek (p minus 1) gedeeld door 2 verschillende klassen voor een gegeven priemgetal p. Dit resultaat lost de vraag op of de standaard modulaire data voldoende is, en bevestigt dat dit niet het geval is, en wijst de weg naar een meer compleet begrip van deze complexe wiskundige werelden.