Fusion 3-Categories for Duality Defects

Riassunto Tecnico: Fusion 3-Categorie per i Difetti di Dualità

Enunciato del Problema
Il documento affronta la classificazione matematica e la costruzione di fusion 3-categorie che caratterizzano le simmetrie di dualità nelle teorie quantistiche di campo (QFT) in (3+1) dimensioni. Nello specifico, si concentra su teorie dotate di una simmetria di 1-forma asseliana finita $A[1]$ che sono auto-duali sotto gauging. Mentre le simmetrie di dualità in (1+1)d (generalizzando la dualità di Kramers-Wannier) sono ben descritte dalle categorie di fusione 1-Tambara-Yamagami (TY), e gli analoghi in (2+1)d dalle fusion 2-categorie, il caso in (3+1)d richiede il framework delle fusion 3-categorie. La sfida centrale è costruire queste "generalizzate Tambara-Yamagami" (3TY) categorie, che coinvolgono difetti di dualità non invertibili, e comprendere la loro struttura categoriale, inclusi le regole di fusione e le estensioni graduate, senza fare affidamento esclusivamente su campi di background o costruzioni su reticolo.

Metodologia
Gli autori impiegano un approccio duale utilizzando la teoria delle estensioni per le categorie di fusione superiori e l'interazione tra le prospettive di confine e bulk (Symmetry Topological Field Theory, o SymTFT):

1. Teoria delle Estensioni via 4-Gruppoidi Brauer-Picard:

   • La costruzione di estensioni graduate da $G$ di una fusion 3-categoria $\mathcal{C}$ è inquadrata tramite le classi di omotopia di mappe $BG \to B\text{BrPic}(\mathcal{C})$, dove $\text{BrPic}(\mathcal{C})$ è lo spazio Brauer-Picard di invertible $\mathcal{C}$-bimodule 3-categorie.
   • L'oggetto primario di studio è $\mathcal{C} = 3\text{Vect}(A[1])$, la fusion 3-categoria delle 3-spazi vettoriali graduati da $A[1]$.
   • Gli autori utilizzano l'equivalenza tra il Brauer-Picard 4-gruppoide di $\mathcal{C}$ e il Picard 4-gruppoide del suo centro di Drinfeld $Z(\mathcal{C})$.

2. SymTFT e Centri di Drinfeld:

   • Il centro di Drinfeld $Z(3\text{Vect}(A[1]))$ è identificato con la categoria dei difetti topologici in una SymTFT di Dijkgraaf-Witten in (4+1)d.
   • Questo centro è descritto come la completazione di condensazione di una sylleptic strongly fusion 2-categoria, $2\text{Vect}_\varsigma((A \oplus \hat{A})[0])$, dove $\varsigma$ è una canonical syllepsis derivata dalla 2-forma alternata su $A \oplus \hat{A}$.

3. Gruppi di Witt Generalizzati e Strutture Crossed Braided:

   • Il Picard 4-gruppoide del centro di Drinfeld è correlato a un gruppo di Witt generalizzato, $\text{Witt}(A \oplus \hat{A}, \varsigma)$, costruito da $A$-graded braided fusion 1-categorie dotate di un twisted Deligne tensor product.
   • Gli autori introducono le crossed braided fusion 3-categorie come un passaggio intermedio. Essi affermano che le estensioni graduate da $G$ di $\mathcal{C}$ corrispondono a estensioni $G$-crossed braided di $Z(\mathcal{C})$, e che l'equivariantizzazione di queste ultime produce il centro di Drinfeld della prima.

Contributi Chiave e Risultati

• Classificazione delle Categorie 3TY:

  • $G = \mathbb{Z}/2$: Per $A = \mathbb{Z}/2$, il documento costruisce estensioni graduate da $\mathbb{Z}/2$ (categorie 3TY). La componente graduata non banale è determinata da una invertible bimodule 3-categoria di ordine 2. Queste sono classificate da una non-degenerate braided fusion 1-categoria $B$ di ordine 2 nel gruppo di Witt, una classe $\tau \in H^5(\mathbb{Z}/2; \mathbb{C}^\times)$, e una classe di twist $\sigma$.
  • $G = \mathbb{Z}/4$: Per $A = \mathbb{Z}/n$ con $n > 2$, la simmetria di dualità è $\mathbb{Z}/4$ piuttosto che $\mathbb{Z}/2$. Gli autori costruiscono categorie "generalizzate 3TY" come estensioni graduate da $\mathbb{Z}/4$. La proprietà di ordine 4 deriva da invertible bimodules associati a forme quadratiche $q$ dove la forma bilineare indotta è antisimmetrica e non degenere.

• Calcolo Esplicito delle Regole di Fusione:

  • Il documento deriva esplicite regole di fusione per gli oggetti in queste categorie estese. Per il caso $\mathbb{Z}/4$, la fusione di difetti in diverse componenti graduate (ad esempio, $D^{(1)}_3 \times D^{(1)}_3$) è calcolata, rivelando come essi mappino a difetti di condensazione o altre componenti graduate.
  • Le regole di fusione per le categorie 3TY graduate da $\mathbb{Z}/2$ sono dettagliate, mostrando come l'impilamento di 3d TFT (classificati da classi di Witt) sopra i difetti di dualità generi nuovi difetti nella sezione graduata non banale.

• Calcoli del Gruppo di Witt Generalizzato:

  • Gli autori eseguono calcoli espliciti per il gruppo $\text{Witt}(\mathbb{Z}/2 \oplus \mathbb{Z}/2, s)$ con una non-trivial syllepsis $s$.
  • Identificano il sottogruppo degli oggetti puntati, $\text{Witt}_{pt}$, e mostrano che il quoziente $\text{Witt}_{pt}(\mathbb{Z}/2 \oplus \mathbb{Z}/2, s)/\text{Witt}_{pt}$ (modulo classi di Witt triviali) è isomorfo al gruppo simmetrico $S_4$.
  • Categorizzano esplicitamente elementi di ordini 2, 3 e 4 all'interno di questo gruppo, fornendo esempi concreti dei gruppi premetrici graduati che li generano.

• Estensioni Crossed Braided:

  • Il documento costruisce la 3-categoria sottostante per l'estensione crossed braided $\mathbb{Z}/2$ del centro di Drinfeld $Z(3\text{Vect}(\mathbb{Z}/2[1]))$. Ciò comporta l'identificazione delle specifiche $B$-central module 2-categorie che formano la componente graduata non banale.

Significato e Rivendicazioni
Il documento sostiene di fornire un framework matematico rigoroso per comprendere i difetti di dualità nelle teorie in (3+1)d, scompattando strutture categoriali che erano precedentemente comprese solo parzialmente o realizzate fisicamente.

• Unificazione delle Prospettive: Stabilisce una chiara corrispondenza tra la teoria delle estensioni di confine (tramite spazi Brauer-Picard) e la prospettiva del bulk SymTFT (tramite spazi Picard dei centri di Drinfeld), dimostrando come il gruppo di Witt generalizzato emerga naturalmente in questo contesto.
• Dati Espliciti: A differenza di lavori precedenti che potrebbero fare affidamento su astrazioni di esistenza o realizzazioni su reticolo, questo articolo fornisce dati coomologici espliciti (classi di ostruzione in $H^3, H^4, H^5, H^6$) e regole di fusione concrete per le 3-categorie risultanti.
• Novità nelle Categorie Superiori: Estende il paradigma di Tambara-Yamagami dalle 1-categorie alle 3-categorie, evidenziando che per $n > 2$, il gruppo di gradazione è $\mathbb{Z}/4$ piuttosto che $\mathbb{Z}/2$, un fatto notato nella letteratura fisica ma qui derivato categoricamente.
• Limitazioni Modeste: Gli autori dichiarano esplicitamente che, sebbene costruiscano le estensioni crossed braided e identifichino le 3-categorie sottostanti, l'ultimo passaggio dell'equivariantizzazione (effettuare il gauging della simmetria 0-forma per ottenere il pieno centro di Drinfeld della teoria estesa) rimane una sfida. Essi lasciano la costruzione esplicita della piena 3-categoria equivariantizzata come lavoro futuro, notando la difficoltà nell'identificare le specifiche estensioni di module 2-categorie coinvolte.

In sintesi, il documento costruisce con successo i dati di estensione graduata per le simmetrie di dualità in (3+1)d utilizzando strumenti di higher category, calcola esempi specifici per i casi $\mathbb{Z}/2$ e $\mathbb{Z}/4$, e relaziona queste strutture ai gruppi di Witt generalizzati, riconoscendo al contempo che la piena ricostruzione del centro SymTFT tramite equivariantizzazione è un ostacolo tecnico aperto.