Fusion 3-Categories for Duality Defects

Technisch overzicht: Fusie 3-categorieën voor dualiteitsdefecten

Probleemstelling
Het artikel behandelt de wiskundige classificatie en constructie van fusie 3-categorieën die dualiteitssymmetrieën karakteriseren in (3+1)-dimensionale kwantumveldentheorieën (QFT's). Specifiek richt het zich op theorieën die beschikken over een eindige abelse 1-vorm symmetrie $A[1]$ die zelf-duaal zijn onder gauging. Terwijl dualiteitssymmetrieën in (1+1)d (als generalisatie van de Kramers-Wannier dualiteit) goed worden beschreven door Tambara-Yamagami (TY) fusie 1-categorieën, en (2+1)d analogen door fusie 2-categorieën, vereist de (3+1)d casus het raamwerk van fusie 3-categorieën. De centrale uitdaging is het construeren van deze "gegeneraliseerde Tambara-Yamagami" (3TY) categorieën, die niet-invertibele dualiteitsdefecten bevatten, en het begrijpen van hun categorische structuur, inclusclusief fusieregels en gegradeerde extensies, zonder uitsluitend te vertrouwen op achtergrondvelden of roosterconstructies.

Methodologie
De auteurs hanteren een duale benadering waarbij gebruik wordt gemaakt van extensietheorie voor hogere fusiecategorieën en de interactie tussen grens- en bulkperspectieven (Symmetry Topological Field Theory, of SymTFT):

1. Extensietheorie via Brauer-Picard 4-groïdoïden:

   • De constructie van $G$-gegradeerde extensies van een fusie 3-categorie $\mathcal{C}$ wordt geformuleerd via homotopieklassen van afbeeldingen $BG \to B\text{BrPic}(\mathcal{C})$, waarbij $\text{BrPic}(\mathcal{C})$ de Brauer-Picard ruimte is van invertibele $\mathcal{C}$-bimodule 3-categorieën.
   • Het primaire object van studie is $\mathcal{C} = 3\text{Vect}(A[1])$, de fusie 3-categorie van $A[1]$-gegradeerde 3-vectorruimten.
   • De auteurs maken gebruik van de equivalentie tussen de Brauer-Picard 4-groïdoïde van $\mathcal{C}$ en de Picard 4-groïdoïde van zijn Drinfeld centrum $Z(\mathcal{C})$.

2. SymTFT en Drinfeld Centra:

   • Het Drinfeld centrum $Z(3\text{Vect}(A[1]))$ wordt geïdentificeerd met de categorie van topologische defecten in een (4+1)d Dijkgraaf-Witten SymTFT.
   • Dit centrum wordt beschreven als de condensatie-voltooiing van een sylleptische sterk fusionele 2-categorie, $2\text{Vect}_\varsigma((A \oplus \hat{A})[0])$, waarbij $\varsigma$ een canonieke syllepsis is afgeleid van de alternerende 2-vorm op $A \oplus \hat{A}$.

3. Gegeneraliseerde Witt-groepen en Gekruiste Braided Structuren:

   • De Picard 4-groïdoïde van het Drinfeld centrum is gerelateerd aan een gegeneraliseerde Witt-groep, $\text{Witt}(A \oplus \hat{A}, \varsigma)$, geconstrueerd uit $A$-gegradeerde braided fusie 1-categorieën uitgerust met een getwiste Deligne tensorproduct.
   • De auteurs introduceren gekruiste braided fusie 3-categorieën als een tussenstap. Zij stellen dat $G$-gegradeerde extensies van $\mathcal{C}$ overeenkomen met $G$-gekruiste braided extensies van $Z(\mathcal{C})$, en dat de equivariantisering van de laatste het Drinfeld centrum van de eerste oplevert.

Belangrijkste Bijdragen en Resultaten

• Classificatie van 3TY Categorieën:

  • $G = \mathbb{Z}/2$: Voor $A = \mathbb{Z}/2$ construeert het artikel $\mathbb{Z}/2$-gegradeerde extensies (3TY categorieën). De niet-triviale gegradeerde component wordt bepaald door een invertibele bimodule 3-categorie van orde 2. Deze worden geclassificeerd door een niet-degeneratieve braided fusie 1-categorie $B$ van orde 2 in de Witt-groep, een klasse $\tau \in H^5(\mathbb{Z}/2; \mathbb{C}^\times)$, en een twist-klasse $\sigma$.
  • $G = \mathbb{Z}/4$: Voor $A = \mathbb{Z}/n$ met $n > 2$ is de dualiteitssymmetrie $\mathbb{Z}/4$ in plaats van $\mathbb{Z}/2$. De auteurs construeren "gegeneraliseerde 3TY" categorieën als $\mathbb{Z}/4$-gegradeerde extensies. De orde 4 eigenschap komt voort uit de invertibele bimodules geassocieerd met kwadratische vormen $q$ waarvoor de geïnduceerde bilaterale vorm antisymmetrisch en niet-degeneratief is.

• Expliciete Berekening van Fusieregels:

  • Het artikel leidt expliciete fusieregels af voor objecten in deze uitgebreide categorieën. Voor de $\mathbb{Z}/4$ casus wordt de fusie van defecten in verschillende gegradeerde componenten (bijv. $D^{(1)}_3 \times D^{(1)}_3$) berekend, wat onthult hoe zij naar condensatie-defecten of andere gegradeerde componenten mappen.
  • De fusieregels voor $\mathbb{Z}/2$-gegradeerde 3TY categorieën worden gedetailleerd weergegeven, waarbij wordt getoond hoe het stapelen van 3d TFT's (geclassificeerd door Witt-klassen) bovenop dualiteitsdefecten nieuwe defecten in de niet-triviale gegradeerde sector genereert.

• Gegeneraliseerde Witt-groep Berekeningen:

  • De auteurs voeren expliciete berekeningen uit voor de groep $\text{Witt}(\mathbb{Z}/2 \oplus \mathbb{Z}/2, s)$ met een niet-triviale syllepsis $s$.
  • Zij identificeren de subgroep van gepunte objecten, $\text{Witt}_{pt}$, en tonen aan dat de quotient $\text{Witt}_{pt}(\mathbb{Z}/2 \oplus \mathbb{Z}/2, s)/\text{Witt}_{pt}$ (modulo triviale Witt-klassen) isomorf is aan de symmetrische groep $S_4$.
  • Zij categoriseren expliciet elementen van orden 2, 3 en 4 binnen deze groep, waarbij concrete voorbeelden van de gegradeerde premetrische groepen die hen genereren worden gegeven.

• Gekruiste Braided Extensies:

  • Het artikel construeert de onderliggende 3-categorie voor de $\mathbb{Z}/2$-gekruiste braided extensie van het Drinfeld centrum $Z(3\text{Vect}(\mathbb{Z}/2[1]))$. Dit omvat het identificeren van de specifieke $B$-centrale module 2-categorieën die de niet-triviale gegradeerde component vormen.

Betekenis en Claims
Het artikel claimt een rigoureus wiskundig raamwerk te bieden voor het begrijpen van dualiteitsdefecten in (3+1)d theorieën, waarbij categorische structuren die voorheen slechts gedeeltelijk begrepen of gerealiseerd waren, worden ontrafeld.

• Unificatie van Perspectieven: Het vestigt een duidelijke correspondentie tussen de grens-extensietheorie (via Brauer-Picard ruimten) en het bulk SymTFT-perspectief (via Picard ruimten van Drinfeld centra), en demonstreert hoe de gegeneraliseerde Witt-groep hier natuurlijk uit voortvloeit.
• Expliciete Data: In tegen tegenstelling tot eerdere werken die mogelijk steunden op abstracte existentie of roosterrealisaties, biedt dit artikel expliciete cohomologische data (obstruction klassen in $H^3, H^4, H^5, H^6$) en concrete fusieregels voor de resulterende 3-categorieën.
• Nieuwigheid in Hogere Categorieën: Het breidt het Tambara-Yamagami paradigma uit van 1-categorieën naar 3-categorieën, waarbij wordt benadrukt dat voor $n > 2$, de gegradeerde groep $\mathbb{Z}/4$ is in plaats van $\mathbb{Z}/2$, een feit dat in de natuurkundige literatuur werd opgemerkt maar hier categorisch wordt afgeleid.
• Bescheiden Beperkingen: De auteurs geven expliciet aan dat hoewel zij de gekruiste braided extensies construeren en de onderliggende 3-categorieën identificeren, de laatste stap van equivariantisering (het gaugen van de 0-vorm symmetrie om het volledige Drinfeld centrum van de uitgebreide theorie te verkrijgen) een uitdaging blijft. Zij laten de expliciete constructie van de volledige equivariantiseerde 3-categorie als toekomstig werk over, waarbij zij wijzen op de moeilijkheid bij het identificeren van de specifieke extensies van module 2-categorieën die betrokken zijn.

Samenvattend slaagt het artikel erin om de gegradeerde extensiedata voor dualiteitssymmetrieën in (3+1)d te construeren met behulp van hogere categorische instrumenten, berekent specifieke voorbeelden voor de $\mathbb{Z}/2$ en $\mathbb{Z}/4$ gevallen, en relateert deze structuren aan gegeneraliseerde Witt-groepen, terwijl het erkent dat de volledige reconstructie van het SymTFT centrum via equivariantisering een open technisch obstakel is.