Non-Abelian Thirring model at large $N$

Resumo Técnico: Modelo de Thirring Não-Abeliano em Grande $N$

Enunciado do Problema
O artigo investiga o modelo de Thirring não-abeliano bosonizado para um grupo de Lie semissimples $G$ no nível $k$, deformado por um operador marginal clássico bilinear nos correntes. O objetivo principal é explorar o regime onde o cásimir quadrático do grupo na representação adjunta, $c_G$, é grande em comparação ao nível $k$ ($c_G \gg k$). Isso corresponde a um limite de grande $N$ para grupos como $SU(N)$.

O modelo é bem compreendido no regime semiclássico ($c_G/k \ll 1$) via ações efetivas e deformações $\lambda$, mas o comportamento no limite $c_G \gg k$ permanece menos explorado. Trabalhos anteriores sobre o modelo de Thirring não-abeliano fermiônico de Dashen e Frishman sugeriram a existência de um ponto crítico adicional de ordem $1/c_G$. Por outro lado, Destri e de Vega não encontraram tal ponto. Este trabalho visa resolver essa discrepância para a variante bosonizada, buscando pontos fixos não triviais de ordem $k/c_G$ (ou equivalentemente $1/N$) usando métodos perturbativos.

Metodologia
Os autores empregam teoria de perturbação conforme em torno do ponto fixo de Wess-Zumino-Witten (WZW) ($\lambda=0$). Como a ação efetiva derivada para o regime $c_G/k \ll 1$ é inaplicável aqui, o estudo baseia-se inteiramente em expansões diagramáticas.

1. Limite de 't Hooft: Os autores definem um acoplamento efetivo de 't Hooft $\tilde{\lambda} = \frac{c_G}{k}\lambda$. Eles realizam uma expansão perturbativa em $\tilde{\lambda}$ enquanto mantém $\tilde{\lambda}$ fixo conforme $c_G \to \infty$ e $k \to \infty$. Neste limite, apenas as ordens líderes em $c_G/k$ são retidas.
2. Funções de Correlação: O estudo computa funções de correlação de dois pontos para:
   • O operador composto motor $O(z, \bar{z}) = J^a(z)\bar{J}^a(\bar{z})$.
   • Os operadores de corrente $J^a(z)$ e $\bar{J}^a(\bar{z})$.
     Os cálculos são realizados até três loops (ordem cúbica em $\lambda$).
3. Regularização e Integração: As computações utilizam um esquema de regularização específico envolvendo um cutoff UV $\epsilon$ e um cutoff IR $R$. Os autores utilizam um conjunto de integrais complexas (derivadas via teorema de Green e teorema de Stokes) para avaliar os diagramas de múltiplos loops. As constantes de estrutura da álgebra de Lie são contraídas usando identidades de traço na representação adjunta.
4. Renormalização: A partir das partes divergentes das funções de correlação (especificamente termos logarítmicos envolvendo $\ln(\epsilon^2/|z_{12}|^2)$), eles extraem as constantes de renormalização ($fatores-Z$). Estas são usadas para determinar as dimensões anômalas e a $\beta$-função.

Principais Contribuições e Resultados

• Correlador do Operador Composto ($OO$):
  Os autores computam o correlador $OO$ até três loops. A contribuição líder na expansão $c_G/k$ produz uma série em $\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)$$
  Disto, a dimensão anômala do operador composto é encontrada como linearmente exata até a ordem cúbica: $\gamma_O = -2\tilde{\lambda} + O(\tilde{\lambda}^4)$.

• Correladores de Corrente ($JJ$e$J\bar{J}$):
  As correções de três loops para os correladores $JJ$e$J\bar{J}$ são computadas.

  • Para o correlador $JJ$, a dimensão anômala do operador de corrente é encontrada como:
    $$\gamma_J = \frac{k}{c_G} (\tilde{\lambda}^2 + \tilde{\lambda}^3 + O(\tilde{\lambda}^4))$$
    No limite estrito de 't Hooft ($c_G \to \infty$), a dimensão anômala de ordem líder desaparece.
  • Para o correlador $J\bar{J}$, os termos de contato são analisados para extrair a renormalização do acoplamento.

• $\beta$-Função e Pontos Fixos:
  Usando as equações de grupo de renormalização derivadas dos dados de corrente e do operador composto, a $\beta$-função para o acoplamento de 't Hooft $\tilde{\lambda}$ é determinada.

  • O resultado é quadraticamente exato até a ordem quártica:
    $$\beta_{\tilde{\lambda}} = -\frac{\tilde{\lambda}^2}{2} + O(\tilde{\lambda}^5)$$
  • Os autores afirmam explicitamente que não existe um ponto crítico adicional de ordem $k/c_G$ (ou $1/N$) dentro do regime perturbativo calculado (até ordem quártica em $\tilde{\lambda}$). O único ponto fixo é o ponto fixo UV em $\tilde{\lambda} = 0$.

Significância e Alegações
O artigo afirma que seus achados alinham-se com os resultados de Destri e de Vega para o modelo de Thirring não-abeliano fermiônico, que não encontrou pontos fixos adicionais. Isso contradiz diretamente a afirmação de Dashen e Frishman sobre a existência de um ponto fixo adicional de ordem $1/c_G$.

Os autores argumentam que os pontos $\lambda = \pm 1$, que correspondem aos modelos não-abelianos T-duais e pseudo-duais, são artefatos do limite semiclássico ($c_G/k \ll 1$) onde a ação efetiva é válida. No regime de grande $N$ ($c_G \gg k$), esses pontos não representam pontos fixos não triviais do fluxo de renormalização. O trabalho sugere que a $\beta$-função se trunca para uma forma quadrática simples neste limite, implicando uma estrutura de fluxo RG mais simples do que a anteriormente hipotetizada para a existência de pontos fixos intermediários.

Direções Futuras
O artigo sugere estender estes resultados para provar o truncamento exato da $\beta$-função e das dimensões anômalas para todas as ordens em $\tilde{\lambda}$ no limite $c_G \gg 1$. Também propõe o cálculo de funções de três pontos para deduzir a Expansão de Produto Operador (OPE) e a álgebra de simetria subjacente em grande $N$, bem como investigar o modelo com níveis esquerda e direita desiguais ($k_L \neq k_R$).