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

Resumen Técnico: Invariantes de Superspacio y Correladores de 3 puntos en 3d $N=3, 4$ SCFTs

Planteamiento del Problema
El artículo aborda la enumeración sistemática de las funciones de correlación de tres puntos para operadores de supercampos con espín en teorías conforme de campo superesimétricas (SCFTs) tridimensionales con $N=3$ y $N=4$ supersimetría. Si bien las restricciones de la simetría conforme y de la supersimetría fijan en gran medida las funciones de 2 y 3 puntos salvo por las dimensiones de escala y los coeficientes de la Expansión de Producto de Operadores (OPE), el problema cinemático para los operadores con espín sigue siendo no trivial. Específicamente, se debe construir una base completa y mínima de estructuras superconformemente invariantes para describir los correladores de 3 puntos generales. Trabajos previos habían establecido este marco para teorías $N=1$ y $N=2$, pero los casos $N=3$ y $N=4$ presentan desafíos únicos debido a sus grupos de simetría R no abelianos ($SO(3)$y$SO(4)$, respectivamente). Los autores pretenden extender este programa a estos casos de mayor supersimetría, incluyendo el análisis de corrientes conservadas (condiciones de acortamiento) y la identificación de nuevas estructuras invariantes que surgen de la simetría R no abeliana.

Metodología
Los autores emplean una combinación de técnicas de superspacio y el formalismo de espinores de polarización auxiliar.

1. Formalismo de Superspacio: Utilizando el formalismo de Park-Osborn para 3d $N$-extendidas SCFTs, los autores trabajan en coordenadas de superspacio $z^A = \{x^\mu, \theta^a_\alpha\}$, donde $\theta^a_\alpha$ son espinores de Majorana que se transforman bajo el grupo de simetría R $SO(N)$. Utilizan transformaciones de superinversión para construir bloques de construcción covariantes, incluyendo el intervalo supersimétrico $\tilde{x}_{ij}$ y la matriz $V$, que asegura la covarianza de la simetría R.
2. Espinores de Polarización: Para manejar operadores con espín $s$, los autores introducen espinores conmutantes auxiliares $\lambda_\alpha$ para contraer con los índices de espinor simétricos y sin traza de los operadores de supercampo, volviéndolos libres de índices ($O_s(x, \theta, \lambda)$).
3. Construcción de Invariantes: El núcleo de la metodología consiste en construir invariantes superconformes mediante la contracción de los espinores de polarización $\lambda$ y las estructuras grassmannianas $\Theta^a_i$ con los bloques de construcción covariantes ($X_{ij\pm}$, $\bar{x}_{ij}$).
   • Invariantes Bosónicos y Fermiónicos: El artículo utiliza invariantes bosónicos de paridad par e impar conocidos ($P_i, Q_i, S_i$) e invariantes fermionicos ($\bar{R}_i, R', T'$) establecidos en estudios previos de $N=1, 2$.
   • Nuevos invariantes $\epsilon$: Un paso metodológico significativo es la construcción de nuevos invariantes mediante la contracción de los índices libres de simetría R de las estructuras fermionicas usando los tensores invariantes totalmente antisimétricos $\epsilon_{a_1 \dots a_N}$ de $SO(N)$. Esto solo es posible para $N \ge 3$. Los autores enumeran sistemáticamente estos invariantes $\epsilon$ para $N=3$ (usando $\epsilon_{abc}$) y $N=4$ (usando $\epsilon_{abcd}$), clasificándolos por su paridad (par/impar) y homogeneidad en los espinores de polarización $\lambda$.
4. Restricciones: Los autores imponen la simetría de permutación (intercambio de operadores) y las restricciones de conservación (condiciones de acortamiento $D_{\alpha_1} J^{\alpha_1 \dots \alpha_{2s}} = 0$) para reducir la lista general de invariantes a las estructuras específicas permitidas para corrientes conservadas.

Contribuciones Clave y Resultados

1. Enumeración Completa de Invariantes:

   • El artículo proporciona una lista completa y mínima de invariantes superconformes para 3d $N=3$ y $N=4$ SCFTs.
   • $N=3$: Los autores identifican 13 invariantes $\epsilon$ de paridad par y 13 de paridad impar, categorizados por su homogeneidad en $\lambda$ (por ejemplo, $U_{100}, \tilde{U}_{300}$).
   • $N=4$: Los autores identifican 22 invariantes $\epsilon$ de paridad par y 21 de paridad impar. Notablemente, esto incluye un invariante $\epsilon$ de paridad par único libre de $\lambda$, $U' \equiv \epsilon \Omega_1 \Omega_1$, que no tiene análogo en $N$ menores.
   • Los autores derivan relaciones no lineales entre estos invariantes (por ejemplo, productos de dos invariantes de paridad impar se reducen a uno de paridad par, y los cuadrados de ciertos invariantes $\epsilon$ se anulan o se reducen a productos de invariantes $N=2$), asegurando que la base sea mínima.

2. Estructura de los Correladores de 3 Puntos:

   • Los autores aplican estos invariantes para enumerar las estructuras tensoriales de los correladores de 3 puntos para diversas combinaciones de operadores con espín ($O_s O_{s'} O_{s''}$).
   • Operadores Generales (No Conservados): El artículo enumera las estructuras permitidas para operadores de espín general, distinguiendo entre contribuciones de paridad par e impar.
   • Operadores Conservados: Al imponer las restricciones de conservación, los autores determinan el número de coeficientes de OPE independientes para corrientes conservadas.
     • Correladores Conservados $N=3$: Los resultados muestran que las funciones de correlación de 3 puntos conservadas están fijadas por una estructura de paridad par y una de paridad impar. Esto concuerda con hallazgos previos para la supercorriente en teorías $N=3$.
     • Correladores Conservados $N=4$: Se encuentra un resultado novedoso para $N=4$: los correladores conservados admiten dos estructuras de paridad par y una estructura de paridad impar.
       • La primera estructura de paridad par está presente en todas las $N=4$ SCFTs.
       • La segunda estructura de paridad par surge exclusivamente de los invariantes $\epsilon$. Los autores vinculan esta estructura con la ruptura de la simetría espejo (mirror symmetry). En teorías $N=4$, la simetría R $SO(4) \cong SU(2)_L \times SU(2)_R$ admite un mapa de espejo $\mathbb{Z}_2$ que intercambia $SU(2)_L$ y $SU(2)_R$. La estructura del invariante $\epsilon$ es la elevación al superspacio de esta asimetría; es no nula solo en teorías que no son invariantes bajo el mapa de espejo. Esto explica por qué los hipermultipletes libres (que son simétricos de espejo) solo saturan la primera estructura.

3. Restricciones de Correladores Específicos:

   • El artículo detalla restricciones específicas para varias combinaciones de espín (por ejemplo, $\langle J_1 J_1 O_0 \rangle$, $\langle J_2 J_2 O_0 \rangle$).
   • Para $N=3$, los correladores conservados que involucran espines semi-enteros a menudo se anulan o se fijan a una sola estructura.
   • Para $N=4$, el sector de paridad impar a menudo se anula al imponer la conservación para ciertas combinaciones de espín (consistente con las desigualdades triangulares de espín), mientras que el sector de paridad par retiene las dos estructuras independientes mencionadas anteriormente.

Significancia y Reivindicaciones
El artículo afirma completar la enumeración sistemática de los correladores de 3 puntos con espín en 3d SCFTs para $N=1$ hasta $N=4$. La significancia primaria radica en:

• Manejo de la Simetría R No Abeliana: Incorporar con éxito la simetría R no abeliana de las teorías $N=3$ y $N=4$, que introduce los novedosos invariantes $\epsilon$ ausentes en $N \le 2$.
• Ruptura de la Simetría Espejo: Proporcionar una caracterización cinemática precisa de la segunda estructura de paridad par en los correladores conservados de $N=4$, identificándola como la firma de la ruptura de la simetría espejo. Esto ofrece una explicación estructural para la diferencia entre teorías $N=4$ simétricas de espejo y no simétricas de espejo.
• Base para el Bootstrap: Las estructuras enumeradas sirven como ingredientes necesarios para construir bloques superconformes, que son esenciales para el programa de bootstrap superconforme en 3d $N=3$ y $N=4$ teorías.
• Extensión del Formalismo GPY: El trabajo extiende el programa de Giombi-Prakash-Yin (GPY) de enumeración de invariantes a una mayor supersimetría, confirmando que, si bien los resultados de $N=1, 2$ son robustos, el panorama de $N \ge 3$ es cualitativamente diferente debido a los tensores de simetría R antisimétricos.

Los autores señalan que no se espera que los métodos de superspacio sean tan útiles para $N > 4$ en 3d, y sugieren direcciones futuras que incluyen la construcción de funciones generadoras para estos correladores, la aplicación de estos resultados al bootstrap superconforme y posibles extensiones a 4d $N \ge 2$ SCFTs.