Non-Abelian Thirring model at large $N$

Sintesi Tecnica: Modello di Thirring non-Abeliano a grande $N$

Enunciato del Problema
Il saggio investiga il modello di Thirring non-Abeliano bosonizzato per un gruppo Lie semi-semplice $G$ al livello $k$, deformato da un operatore marginale classico bilineare nelle correnti. L'obiettivo primario è esplorare il regime in cui il Casimir quadratico del gruppo nella rappresentazione aggiunta, $c_G$, è grande rispetto al livello $k$ ($c_G \gg k$). Questo corrisponde a un limite di grande $N$ per gruppi come $SU(N)$.

Mentre il modello è ben compreso nel regime semi-classico ($c_G/k \ll 1$) tramite azioni efficaci e deformazioni $\lambda$, il comportamento nel limite $c_G \gg k$ rimane meno esplorato. Lavori precedenti sul modello di Thirring non-Abeliano fermionico di Dashen e Frishman hanno suggerito l'esistenza di un punto critico aggiuntivo di ordine $1/c_G$. Al contrario, Destri e de Vega non hanno trovato tale punto. Questo lavoro mira a risolvere questa discrepanza per la variante bosonizzata, ricercando punti fissi non triviali di ordine $k/c_G$ (o equivalentemente $1/N$) utilizzando metodi perturbativi.

Metodologia
Gli autori utilizzano la teoria della perturbazione conforme attorno al punto fisso Wess-Zumino-Witten (WZW) ($\lambda=0$). Poiché l'azione efficace derivata per il regime $c_G/k \ll 1$ è inapplicabile qui, lo studio si affida interamente a espansioni diagrammatiche.

1. Limite di 't Hooft: Gli autori definiscono una costante di accoppiamento efficace di 't Hooft $\tilde{\lambda} = \frac{c_G}{k}\lambda$. Essi eseguono un'espansione perturbativa in $\tilde{\lambda}$ mantenendo $\tilde{\lambda}$ fisso mentre $c_G \to \infty$ e $k \to \infty$. In questo limite, vengono mantenuti solo gli ordini dominanti in $c_G/k$.
2. Funzioni di Correlazione: Lo studio calcola le funzioni di correlazione a due punti per:
   • L'operatore composito trainante $O(z, \bar{z}) = J^a(z)\bar{J}^a(\bar{z})$.
   • Gli operatori di corrente $J^a(z)$ e $\bar{J}^a(\bar{z})$.
     I calcoli sono eseguiti fino a tre loop (ordine cubico in $\lambda$).
3. Regolarizzazione e Integrazione: I calcoli utilizzano uno schema di regolarizzazione specifico che coinvolge un cutoff UV $\epsilon$ e un cutoff IR $R$. Gli autori impiegano un toolkit di integrali complessi (derivati dal teorema di Green e dal teorema di Stokes) per valutare i diagrammi multi-loop. Le costanti di struttura dell'algebra di Lie sono contratte usando le identità di traccia nella rappresentazione aggiunta.
4. Rinormalizzazione: Dalle parti divergenti delle funzioni di correlazione (specificamente i termini logaritmici contenenti $\ln(\epsilon^2/|z_{12}|^2)$), gli autori estraggono le costanti di rinormalizzazione (fattori $Z$). Questi vengono utilizzati per determinare le dimensioni anomale e la $\beta$-funzione.

Contributi Chiave e Risultati

• Correlatore dell'Operatore Composito ($OO$):
  Gli autori calcolano il correlatore $OO$ fino a tre loop. Il contributo dominante nell'espansione in $c_G/k$ produce una serie in $\tilde{\lambda}$:
  $$\langle O(z_1)O(z_2) \rangle \propto \frac{1}{|z_{12}|^4} \left( 1 - 2\tilde{\lambda} \ln \frac{\epsilon^2}{|z_{12}|^2} + \frac{5}{2}\tilde{\lambda}^2 \ln^2 \frac{\epsilon^2}{|z_{12}|^2} - \frac{5}{2}\tilde{\lambda}^3 \ln^3 \frac{\epsilon^2}{|z_{12}|^2} \right)$$
  Da ciò, la dimensione anomala dell'operatore composito è trovata essere linearmente esatta fino all'ordine cubico: $\gamma_O = -2\tilde{\lambda} + O(\tilde{\lambda}^4)$.

• Correlatori di Corrente ($JJ$e$J\bar{J}$):
  Le correzioni a tre loop per i correlatori $JJ$e$J\bar{J}$ sono calcolate.

  • Per il correlatore $JJ$, la dimensione anomala dell'operatore di corrente è trovata essere:
    $$\gamma_J = \frac{k}{c_G} (\tilde{\lambda}^2 + \tilde{\lambda}^3 + O(\tilde{\lambda}^4))$$
    Nel limite di 't Hooft stretto ($c_G \to \infty$), la dimensione anomala di ordine dominante svanisce.
  • Per il correlatore $J\bar{J}$, i termini di contatto sono analizzati per estrarre la rinormalizzazione della costante di accoppiamento.

• $\beta$-Funzione e Punti Fissi:
  Utilizzando le equazioni del gruppo di rinormalizzazione derivate dai dati della corrente e dell'operatore composito, la $\beta$-funzione per la costante di accoppiamento di 't Hooft $\tilde{\lambda}$ viene determinata.

  • Il risultato è quadraticamente esatto fino all'ordine quartico:
    $$\beta_{\tilde{\lambda}} = -\frac{\tilde{\lambda}^2}{2} + O(\tilde{\lambda}^5)$$
  • Gli autori dichiarano esplicitamente che nessun punto critico aggiuntivo di ordine $k/c_G$ (o $1/N$) esiste all'interno del regime perturbativo calcolato (fino all'ordine quartico in $\tilde{\lambda}$). L'unico punto fisso è il punto fisso UV a $\tilde{\lambda} = 0$.

Significato e Rivendicazioni
Il saggio sostiene che i suoi risultati si allineano con i risultati di Destri e de Vega per il modello di Thirring non-Abeliano fermionico, che non ha trovato ulteriori punti fissi. Ciò contraddice direttamente la rivendicazione di Dashen e Frishman riguardo l'esistenza di un punto fisso aggiuntivo di ordine $1/c_G$.

Gli autori sostengono che i punti $\lambda = \pm 1$, che corrispondono ai modelli non-Abeliani T-dual e pseudo-dual, sono artefatti del limite semi-classico ($c_G/k \ll 1$) dove l'azione efficace è valida. Nel regime di grande $N$ ($c_G \gg k$), questi punti non rappresentano punti fissi non triviali del flusso del gruppo di rinormalizzazione. Il lavoro suggerisce che la $\beta$-funzione si tronca in una semplice forma quadratica in questo limite, implicando una struttura del flusso RG più semplice di quanto ipotizzato per l'esistenza di punti fissi intermedi.

Direzioni Future
Il saggio suggerisce di estendere questi risultati per provare il troncamento esatto della $\beta$-funzione e delle dimensioni anomale per tutti gli ordini in $\tilde{\lambda}$ nel limite $c_G \gg 1$. Propone inoltre di calcolare le funzioni a tre punti per dedurre l'Espansione dei Prodotti Operatori (OPE) e l'algebra di simmetria sottostante a grande $N$, nonché di investigare il modello con livelli sinistro e destro disuguali ($k_L \neq k_R$).