Twisted restricted conformal blocks of vertex operator algebras I: $g$-twisted correlation functions and fusion rules

Sintesi Tecnica: Blocchi Conformi Ristretti Torcenti di Alge di Operatori di Vertice I

Enunciato del Problema
Questo articolo affronta il vuoto teorico nella teoria generale dei blocchi conformi torcenti per le Alge di Operatori di Vertice (VOA). Mentre il "Teorema delle Regole di Fusione" per i moduli non torcenti è ben stabilito — relazionando lo spazio degli operatori di interazione al duale di un prodotto tensoriale di moduli su l'algebra di Zhu $A(V)$ — la teoria analoga per i moduli torcenti è rimasta elusiva. Nello specifico, non esisteva un metodo unificato per calcolare le regole di fusione tra moduli torcenti per una VOA fortemente razionale arbitraria, né una caratterizzazione geometrica delle funzioni di correlazione torcenti su curve algebriche con ramificazione non banale. Gli autori si concentrano sullo scenario specifico in cui un modulo ($M_1$) è non torcente, mentre altri due ($M_2, M_3$) sono $g$-torcenti per un automorfismo $g$ di ordine $T$.

Metodologia
Gli autori sviluppano un framework basato sulla geometria di una "retta proiettiva torcente" $x: C \to \mathbb{P}^1$, un rivestimento di ordine $T$ della retta proiettiva complessa con punti di ramificazione in $0$e$\infty$. La metodologia procede attraverso diverse fasi chiave:

1. Formulazione Geometrica: Definiscono lo spazio delle funzioni di correlazione $g$-torcenti, $\text{Cor}(\Sigma_1(N_3, M_1, M_2))$, assiomatizzando il comportamento dei limiti di serie di Puiseux formali associati al dato $(x: C \to \mathbb{P}^1, \infty, 1, 0, N_3, M_1, M_2)$. Ciò comporta l'introduzione di coordinate locali sulla curva $C$ e l'utilizzo del Teorema del Residuo Forte per relazionare le espansioni in punti diversi ($0, \infty, q$).
2. Funzioni di Correlazione Ristrette: Per estendere il Teorema delle Regole di Fusione, introducono le funzioni di correlazione "ristrette" associate ai livelli inferiori $U_2 = M_2(0)$ e $U_3 = M_3(0)^*$, che sono moduli sull'algebra di Zhu $g$-torcente $A_g(V)$. Le definiscono tramite formule ricorsive che coinvolgono funzioni coefficienti specifiche $F_{n,i}(p,q)$ che tengono conto dello spostamento non intero causato dalla ramificazione di $C$.
3. Ricostruzione e Isomorfismo: Il nucleo del successo tecnico è la ricostruzione delle piene funzioni di correlazione a partire da quelle ristrette. Gli autori dimostrano che un sistema di funzioni di correlazione ristrette (definite sui livelli inferiori) può essere esteso univocamente a un sistema completo di funzioni di correlazione $g$-torcenti. Ciò stabilisce un isomorfismo tra lo spazio delle funzioni di correlazione ristrette e lo spazio delle piene funzioni di correlazione.
4. Blocchi Conformi e Coinvarianti: Definiscono lo spazio dei blocchi conformi ristretti $g$-torcenti, $\mathscr{C}(U_3, M_1, U_2)$, come il duale dello spazio delle coinvarianti ristrette $g$-torcenti $(U_3 \otimes M_1 \otimes U_2)/J$, dove $J$ è un sottospazio generato da relazioni derivate dalla proprietà della derivata $L(-1)$-di e dall'azione dell'algebra di Lie chirale torcente.
5. Caratterizzazione Algebrica: Infine, caratterizzano lo spazio delle coinvarianti utilizzando i bimoduli $A_g(V)$. Introducono un bimodulo $B_{g,\lambda}(M_1)$ (un quoziente del modulo di Verma generalizzato) e dimostrano che lo spazio degli operatori di interazione è isomorfo al duale del prodotto tensoriale $U_3 \otimes_{A_g(V)} B_{g,\lambda}(M_1) \otimes_{A_g(V)} U_2$.

Contributi Chiave e Risultati

• Teoremi di Isomorfismo: Il saggio stabilisce una catena di isomorfismi per il caso in cui $M_1$ è non torcente e $M_2, M_3$ sono moduli $g$-torcenti ammissibili (con livelli inferiori che sono moduli irreducibili di $A_g(V)$):
  $$\mathcal{I}\binom{M_3}{M_1 M_2} \cong \text{Cor}\binom{M_3}{M_1 M_2} \cong \text{Cor}(\Sigma_1(U_3, M_1, U_2)) \cong \mathscr{C}(U_3, M_1, U_2)$$
  Questo generalizza il classico risultato che lega gli operatori di interazione ai blocchi conformi al contesto torcente.
• Teorema delle Regole di Fusione Torcenti: Gli autori derivano una versione torcente del Teorema delle Regole di Fusione. Dimostrano che lo spazio degli operatori di interazione $g$-torcenti è isomorfo al duale del prodotto tensoriale dei livelli inferiori rispetto all'algebra di Zhu $g$-torcente:
  $$\mathcal{I}\binom{M_3}{M_1 M_2} \cong (M_3(0)^* \otimes_{A_g(V)} A_g(M_1) \otimes_{A_g(V)} M_2(0))^*$$
  Ciò fornisce un metodo algebrico concreto per calcolare le regole di fusione usando la struttura dei bimoduli $A_g(V)$.
• Finitezza: Sotto l'assunzione che la VOA $V$ sia $C_2$-cofinita, gli autori dimostrano la finitezza delle regole di fusione $g$-torcenti.
• Relazione con la Teoria degli Orbifold: Per una VOA fortemente razionale $V$ e un gruppo ciclico $G$, il saggio relaziona le regole di fusione torcenti dei moduli di $V$ con le regole di fusione ordinarie della sub-VOA di punti fissi $V^G$ mediante la decomposizione dei moduli in somme dirette di moduli $V^G$.
• Calcoli Espliciti: La teoria viene applicata per calcolare le regole di fusione per i moduli $\theta$-torcenti della VOA di Heisenberg $M(1)$ e della VOA di reticolo di rango uno $V_L$ (dove $L=\mathbb{Z}\alpha, (\alpha|\alpha)=2$). I risultati confermano che le regole di fusione sono determinate dalle dimensioni di specifici spazi Hom su $A_\theta(M(1))$ e $A_\theta(V_L)$.

Significatività
Il saggio rivendica di fornire la prima teoria sistematica generale per i blocchi conformi ristretti torcenti nel contesto di un singolo automorfismo $g$. Stabilendo l'isomorfismo tra funzioni di correlazione torcenti, blocchi conformi e operatori di interazione, offre un framework unificato per calcolare le regole di fusione tra moduli torcenti. Ciò risolve una sfida di lunga data nella teoria degli orbifold CFT, dove la connessione tra le regole di fusione dei moduli torcenti e la sottostante struttura algebrica era precedentemente poco chiara. Il lavoro pone le basi per successivi articoli della serie, che affronteranno casi più generali coinvolgenti curve di genere superiore e molteplici automorfismi commutanti. Gli autori sottolineano che i loro risultati estendono il rinomato (non torcente) Teorema delle Regole di Fusione al caso $g$-torcente, fornendo uno strumento necessario per lo studio delle VOA orbifold razionali.