Mass formula for topological boundary conditions from TQFT gravity

Sintesi Tecnica: Formula della Massa per le Condizioni al Contorno Topologiche da Gravità TQFT

Enunciato del Problema
In matematica, le formule della massa vengono utilizzate per valutare il conteggio pesato totale di strutture algebriche, come reticoli o codici di correzione degli errori. Nel contesto delle teorie di campo quantistiche topologiche (TQFT) 3D, specificamente di tipo categoria tensoriale modulare unitaria, è necessario contare e pesare le condizioni al contorno topologiche (TBC). Sebbene il lavoro precedente abbia stabilito una dualità olografica tra la gravità TQFT (un modello di gravità topologica definito dalla sommatoria su tutte le topologie 3D con un bordo fisso) e un insieme di teorie di bordo, mancava un metodo generale per valutare la "massa" — definita come il conteggio pesato totale delle TBC — per arbitrarie teorie assiali e non assiali. Nello specifico, l'articolo affronta come calcolare la funzione di partizione rinormalizzata della gravità TQFT, che corrisponde a questa massa, eseguendo una sommatoria su tutte le varietà 3D chiuse.

Metodologia
Gli autori derivano una formula della massa sfruttando le proprietà del gruppo delle classi di mappatura e la struttura degli spazi di Hilbert TQFT su superfici di Riemann di genere $g$.

1. Dualità Olografica e Proiettori: L'argomento centrale si basa sull'osservazione che gli stati $|C\rangle$, definiti dalle condizioni al contorno topologiche, sono invarianti sotto il gruppo delle classi di mappatura. Per un genere $g$ sufficientemente grande, questi stati spaziano lo spazio degli invarianti modulari e diventano mutuamente ortogonali. Di conseguenza, la matrice di densità formata dalla sommatoria su tutte le condizioni al contorno agisce come un proiettore sullo spazio invariante modulare. Questo proiettore può essere espresso equivalentemente come una media formale sul gruppo delle classi di mappatura.
2. Sommatoria sulle Topologie: La formula della massa viene derivata valutando l'elemento di matrice di questo proiettore tra gli stati di vuoto. Ciò trasforma il problema del conteggio delle condizioni al contorno nel calcolo della funzione di partizione TQFT mediata su tutte le possibili varietà 3D connesse. Gli autori parametrizzano queste varietà utilizzando le scissioni di Heegaard anziché l'approccio convenzionale del legame in $S^3$.
3. Trasformazione della Base: Per valutare la sommatoria sulle scissioni di Heegaard, gli autori introducono una base specifica nello spazio di Hilbert TQFT. Questa base, costruita da sottogruppi Lagrangiani (identificati con codici pari auto-duali nel caso assiale), linearizza l'azione del gruppo delle classi di mappatura. Ciò semplifica il calcolo della funzione di partizione sulle varietà generate dalla cucitura di corpi di manico (handlebodies).
4. Fattorizzazione e Valutazione Esplicita: Gli autori utilizzano la fattorizzazione delle teorie assiali nelle loro componenti di potenza prima ($T_{p^m}$). Essi riducono la sommatoria infinita sulle topologie a un limite di somme finite su $Sp(2g, \mathbb{Z}_k)$. Analizzando i rappresentanti dei cosetti del stabilizzatore dello stato di vuoto, esprimono la massa come una somma su invarianti di matrici simmetriche (correlate a somme di Gauss).

Contributi Chiave e Risultati

• Formula della Massa Generale: L'articolo stabilisce la formula:
  $$N(T) = \sum_{C} 1 = \lim_{g\to\infty} \frac{D^g}{|Sp(2g, \mathbb{Z})|} \sum_{\gamma \in Sp(2g, \mathbb{Z})} {}_g\langle 0|U_\gamma|0\rangle_g$$
  dove $D$ è la dimensione quantistica totale e la sommatoria a destra rappresenta la funzione di partizione mediata su tutte le varietà 3D chiuse (tramite scissioni di Heegaard). Questa quantità è interpretata come la funzione di partizione rinormalizzata della gravità TQFT.
• Caso Assiale (Codici e Reticoli): Per le teorie assiali, le TBC corrispondono a sottogruppi Lagrangiani, che mappano su classici codici auto-duali pari. Gli autori mostrano che la derivata formula della massa riproduce le formule della massa note per varie famiglie di codici (ad esempio, codici di Tipo II).
  • Forniscono valutazioni esplicite per teorie con esponente di Frobenius-Schur $k=p$, $k=p^m$, e casi specifici come $k=2, 4, 8$.
  • Esempi specifici includono il codice torico di livello-$k$, le teorie di Chern-Simons $U(1)_k$, e combinazioni di esse. I risultati recuperano il numero di codici auto-duali su $\mathbb{Z}_p$ e codici binari doppamente-pari auto-duali.
  • L'articolo dimostra che l'esistenza di TBC nelle teorie bosoniche assiali è equivalente allo svanimento di tutte le cariche centrali superiori, un risultato precedentemente mostrato in [6] ma qui derivato dal formalismo della formula della massa.
• Generalizzazione Non Assiale: Il framework viene esteso alle TQFT non assiali. In questo caso, la massa è una somma pesata dove il peso è inversamente proporzionale alla dimensione del gruppo di automorfismo della condizione al contorno ($|Aut(C)|$).
  • Gli autori calcolano la massa per $n + \bar{n}$ copie della categoria tensoriale modulare Ising ($V_{ir}^{c=1/2}$).
  • Il risultato è espresso in termini di "D-codici" (codici lineari binari triplamente-pari), generalizzando i risultati precedenti su le Algebre di Vertici Operatori (VOA) incorniciate.
• Generalizzazione in Cinque Dimensioni: La costruzione è generalizzata alle teorie di Chern-Simons di tipo BF a 2-forme assiali in cinque dimensioni.
  • La formula della massa conta i sottogruppi massimali non-anomali delle simmetrie a 2-forme.
  • La sommatoria è eseguita su geometrie 5D chiuse, coinvolgendo il gruppo ortogonale $O(n, n, \mathbb{Z}_k)$, e le condizioni al contorno sono identificate con codici simmetrici auto-duali.

Significato
L'articolo fornisce una derivazione fisica unificata delle formule matematiche della massa per codici e reticoli utilizzando la macchina della gravità TQFT. Interpretando la sommatoria sulle topologie come una funzione di partizione rinormalizzata, gli autori offrono un metodo sistematico per valutare il numero di condizioni al contorno topologiche per qualsiasi teoria bosonica assiale e casi non assiali specifici. Il lavoro colma il divario tra la classificazione delle strutture algebriche (codici) e la dualità olografica della gravità topologica, dimostrando che la "massa" delle condizioni al contorno è un osservabile fondamentale nella teoria gravitazionale duale. I calcoli espliciti per varie dimensioni e livelli servono come controlli concreti della dualità olografica tra la gravità TQFT e gli insiemi di CFT di bordo.