Superspace invariants and 3-point correlators in 3d $\mathcal{N}=3,4$ SCFTs

Resumo Técnico: Invariantes de Superspaço e Correladores de 3 Pontos em SCFTs 3d $\mathcal{N}=3, 4$

Enunciado do Problema
O artigo aborda a enumeração sistemática de funções de correlação de 3 pontos para operadores de supercampos com spin em teorias conformes de supercampo (SCFTs) tridimensionais com supersimetria $\mathcal{N}=3$ e $\mathcal{N}=4$. Embora as restrições da simetria conforme e da supersimetria determinem amplamente as funções de 2 e 3 pontos até os coeficientes de escala e de Produto de Operadores Expansão (OPE), o problema cinemático para operadores com spin permanece não trivial. Especificamente, deve-se construir uma base completa e mínima de estruturas superconformes invariantes para descrever correladores de 3 pontos gerais. Trabalhos anteriores estabeleceram esse arcabouço para teorias $\mathcal{N}=1$ e $\mathcal{N}=2$, mas os casos $\mathcal{N}=3$ e $\mathcal{N}=4$ apresentam desafios únicos devido aos seus grupos de simetria R não-abelianos ($SO(3)$e$SO(4)$, respectivamente). Os autores visam estender o programa existente para esses casos de maior supersimetria, incluindo a análise de correntes conservadas (condições de encurtamento) e a identificação de novas estruturas invariantes decorrentes da simetria R não-abeliana.

Metodologia
Os autores empregam uma combinação de técnicas de superspaço e o formalismo auxiliar de espinores de polarização.

1. Formalismo de Superspaço: Utilizando o formalismo de Park-Osborn para 3d $\mathcal{N}$-estendidas SCFTs, os autores trabalham em coordenadas de superspaço $z^A = \{x^\mu, \theta^a_\alpha\}$, onde $\theta^a_\alpha$ são espinores de Majorana que se transformam sob o grupo de simetria R $SO(N)$. Eles utilizam transformações de superinversão para construir blocos construtivos covariantes, incluindo o intervalo supersimétrico $\tilde{x}_{ij}$ e a matriz $V$, que garante a covariância da simetria R.
2. Espinores de Polarização: Para lidar com operadores com spin $s$, os autores introduzem espinores comutativos auxiliares $\lambda_\alpha$ para contrair com os índices de espinor simétricos e traço-nulos dos operadores de supercampo, tornando-os livres de índices ($O_s(x, \theta, \lambda)$).
3. Construção de Invariantes: O núcleo da metodologia envolve a construção de invariantes superconformes contraindo os espinores de polarização $\lambda$ e as estruturas Grassmannianas $\Theta^a_i$ com os blocos construtivos covariantes ($X_{ij\pm}, \bar{x}_{ij}$).
   • Invariantes Bósons e Férmions: O artigo utiliza invariantes bósons (paridade par e ímpar) conhecidos ($P_i, Q_i, S_i$) e invariantes férmions ($\bar{R}_i, R', T'$) estabelecidos em estudos anteriores de $\mathcal{N}=1, 2$.
   • Novos Invariantes $\epsilon$: Um passo metodológico significativo é a construção de novos invariantes contraindo os índices livres de simetria R das estruturas férmions usando os tensores invariantes totalmente antissimétricos $\epsilon_{a_1 \dots a_N}$ de $SO(N)$. Isso é possível apenas para $N \ge 3$. Os autores enumeram sistematicamente esses invariantes $\epsilon$ para $\mathcal{N}=3$ (usando $\epsilon_{abc}$) e $\mathcal{N}=4$ (usando $\epsilon_{abcd}$), classificando-os por sua paridade (par/ímpar) e homogeneidade em relação aos espinores de polarização $\lambda$.
4. Restrições: Os autores impõem simetria de permutação (troca de operadores) e restrições de conservação (condições de encurtamento $D_{\alpha_1} J^{\alpha_1 \dots \alpha_{2s}} = 0$) para reduzir a lista geral de invariantes às estruturas específicas permitidas para correntes conservadas.

Contribuições Principais e Resultados

1. Enumeração Completa de Invariantes:

   • O artigo fornece uma lista completa e mínima de invariantes superconformes para SCFTs 3d $\mathcal{N}=3$ e $\mathcal{N}=4$.
   • $\mathcal{N}=3$: Os autores identificam 13 invariantes $\epsilon$ de paridade par e 13 de paridade ímpar, categorizados por sua homogeneidade em $\lambda$ (ex: $U_{100}, \tilde{U}_{300}$).
   • $\mathcal{N}=4$: Os autores identificam 22 invariantes $\epsilon$ de paridade par e 21 de paridade ímpar. Notavelmente, isso inclui um invariante $\epsilon$ de paridade par único e livre de $\lambda$, $U' \equiv \epsilon \Omega_1 \Omega_1$, que não possui análogo em $N$ menores.
   • Os autores derivam relações não-lineares entre esses invariantes (por exemplo, produtos de dois invariantes de paridade ímpar reduzem-se a um de paridade par, e quadrados de certos invariantes $\epsilon$ desaparecem ou reduzem-se a produtos de invariantes $\mathcal{N}=2$), garantindo que a base seja mínima.

2. Estrutura de Correladores de 3 Pontos:

   • Os autores aplicam esses invariantes para enumerar as estruturas tensoriais de correladores de 3 pontos para várias combinações de operadores com spin ($O_s O_{s'} O_{s''}$).
   • Operadores Gerais (Não-Conservados): O artigo lista as estruturas permitidas para operadores de spin gerais, distinguindo entre contribuições de paridade par e ímpar.
   • Operadores Conservados: Ao impor restrições de conservação, os autores determinam o número de coeficientes de OPE independentes para correntes conservadas.
     • Correladores Conservados $\mathcal{N}=3$: Os resultados mostram que as funções de correlação de 3 pontos conservadas são fixadas por uma estrutura de paridade par e uma de paridade ímpar. Isso está em conformidade com achados anteriores para a supercorrente em teorias $\mathcal{N}=3$.
     • Correladores Conservados $\mathcal{N}=4$: Um resultado inédito é encontrado para $\mathcal{N}=4$: correladores conservados admitem duas estruturas de paridade par e uma estrutura de paridade ímpar.
       • A primeira estrutura de paridade par está presente em todas as SCFTs $\mathcal{N}=4$.
       • A segunda estrutura de paridade par surge exclusivamente dos invariantes $\epsilon$. Os autores ligam essa estrutura à quebra da simetria de espelho (mirror symmetry). Em teorias $\mathcal{N}=4$, a simetria R $SO(4) \cong SU(2)_L \times SU(2)_R$ admite um mapa de espelho $\mathbb{Z}_2$ que troca $SU(2)_L$ e $SU(2)_R$. A estrutura do invariante $\epsilon$ é o levantamento no superspaço dessa assimetria; ela é não-nula apenas em teorias que não são invariantes sob o mapa de espelho. Isso explica por que hipermultipletos livres (que são simétricos de espelho) apenas saturam a primeira estrutura.

3. Restrições de Correladores Específicos:

   • O artigo detalha restrições específicas para várias combinações de spin (ex: $\langle J_1 J_1 O_0 \rangle$, $\langle J_2 J_2 O_0 \rangle$).
   • Para $\mathcal{N}=3$, correladores conservados envolvendo spins semi-inteiros frequentemente desaparecem ou são fixados a uma única estrutura.
   • Para $\mathcal{N}=4$, o setor de paridade ímpar frequentemente desaparece ao impor a conservação para certas combinações de spin (consistente com as desigualdades de triângulo de spin), enquanto o setor de paridade par retém as duas estruturas independentes mencionadas acima.

Significância e Alegações
O artigo afirma completar a enumeração sistemática de correladores de 3 pontos com spin em SCFTs 3d de $\mathcal{N}=1$ a $\mathcal{N}=4$. A principal significância reside em:

• Lidar com Simetria R Não-Abeliana: Incorporar com sucesso a simetria R não-abeliana das teorias $\mathcal{N}=3$ e $\mathcal{N}=4$, que introduz os novos invariantes $\epsilon$ ausentes em $N \le 2$.
• Quebra de Simetria de Espelho: Fornecer uma caracterização cinemática precisa da segunda estrutura de paridade par em correladores conservados $\mathcal{N}=4$, identificando-a como a assinatura da quebra da simetria de espelho. Isso oferece uma explicação estrutural para a diferença entre teorias $\mathcal{N}=4$ simétricas de espelho e não-simétricas de espelho.
• Fundação para o Bootstrap: Os estruturas enumeradas servem como ingredientes necessários para construir blocos superconformes, que são essenciais para o programa de bootstrap superconforme em teorias 3d $\mathcal{N}=3$ e $\mathcal{N}=4$.
• Extensão do Formalismo GPY: O trabalho estende o programa de enumeração de invariantes de Giombi-Prakash-Yin (GPY) para maior supersimetria, confirmando que, embora os resultados de $\mathcal{N}=1, 2$ sejam robustos, o cenário de $N \ge 3$ é qualitativamente diferente devido aos tensores de simetria R antissimétricos.

Os autores observam que métodos de superspaço não devem ser tão úteis para $N > 4$ em 3d, e sugerem direções futuras incluindo a construção de funções geradoras para esses correladores, a aplicação desses resultados ao bootstrap superconforme e potenciais extensões para SCFTs 4d $\mathcal{N} \ge 2$.