format: text

text:
# Contents

## 1 Introducción

Se puede decir con seguridad que: la Teoría General de la Relatividad y la Teoría Cuántica de Campos, son los dos marcos teóricos que se imponen en la actualidad al describir las $`1+3`$ interacciones fundamentales conocidas. Teniendo en cuenta que la gravedad no es considerada una interacción en el contexto de la Relatividad General (Forma clásica de ver la naturaleza: teoría macroscópica) y al buscar su modelo cuántico muestra problemas tales como: la no-renormalización (no se pueden absorver las divergencias en las ecuaciones de campo).
Por otro lado la Teoría Cuántica de Campos (t. microscópica) tiene éxito en el Modelo Standard, al considerar los tres grupos gauge de simetría: $`U(1)_Y\times SU(2)_L\times SU(3)_C`$. Los cuales son relevantes para la construcción de una teoría que incluye las interacciones: Electromagnética (EM), Débil (D) y Fuerte (F). Con los respectivos generadores $`Y,T_i,G_a`$ ($`i=1,2,3`$)($`a=1,2..,8`$) correspondientes a simetrías de: hipercarga, quilaridad y color en su orden. Estos se introducen en las ecuaciones de campo por medio de la derivada covariante como:(ver )

$$D_\mu =I_\mu +gYA_\mu (x)+g^{}T_iW_\mu ^i(x)+g^{\prime \prime }G_aV_\mu ^a(x)A_\mu (x),W_\mu ^i(x),V_\mu ^a(x):\text{Campos de interacción.}$$

Las constantes $`g,g^{},g^{\prime \prime }`$ son las constantes de acoplamiento, donde cada una caracteriza la magnitud de la correspondiente interacción. En esta ecuación se puede notar que hay tantos campos bosónicos o de interacción como generadores de simetría tiene el grupo asociado, los cuales son etiquetados como sigue:

$$\text{(EM)}\text{ 1 fotón: }A_\mu (x),\text{(D)}\text{ 3 bosones débiles: }W_\mu ^i(x),\text{(F)}\text{ 8 gluones: }V_\mu ^a(x)$$

La Teoría Cuantica de Campos (T.C.C.) surgió como una unión de la Teoría de Grupos (en particular el grupo Poincaré: $`P(3,1)`$ o el grupo de Lorentz: $`SO(3,1)P(3,1)`$) y la Mecánica Cuántica. Donde la estructura de grupo fija de una forma única la matriz $`S`$ bajo ciertos parámetros que especifican las interacciones. De una forma más precisa se puede exijir las siguientes condiciones para construir una T.C.C., la cual se impone aquí.

* Cualquier campo debe transformarse como una representación irreducible (irrep) del grupo Poincaré y algún grupo gauge o grupo de simetría interna.
* La teoría debe ser unitaria, su acción causal, renormalizable e invariante bajo estos grupos

Estos postulados exijen fuertes condiciones sobre la teoría, ya que los campos solo pueden ser masivos/no-masivos con espín $`0,1/2,1,..`$etc. (Fermiones $``$ partículas de espín semientero) (Bosones $``$ partículas de espín entero). Sin embargo esta condición no determina la acción: dado que es posible encontrar teorías que son invariantes, no-causales y no-unitarias. Por ejemplo las teorías con derivadas de tercer orden o superior satisfacen esta condición, sin embargo poseen partículas con norma negativa, las cuales violan la unitaridad. Por lo tanto la segunda condición nos ayuda a fijar la acción bajo ciertas representaciones y las constantes de acoplamiento de las interacciones. En resumen: a este marco teórico se le impone dos tipos de simetrías continuas:

* Simetrías del espacio-tiempo: Estas incluyen el grupo Poincaré, con $`P(3,1)T_{3,1}SO(3,1)`$ y son simetrías no-compactas. Es decir el rango de sus parámetros es dado por un intervalo abierto sobre los reales (no-compacto) y no confinado (no es posible identificar sus puntos extremos). Por ejemplo: la velocidad de una partícula masiva puede tomar valores entre $`v=0`$ y $`v=c`$, pero no puede tomar el valor $`v=c`$. Además estos valores extremos no pueden ser identificados ($`v=0c`$).
* Simetrías internas: Por definición $`G`$ es un grupo gauge si $`G`$ conmuta con $`P(3,1)[G,P(3,1)]=0`$, las cuales son simetrías que ‘mezclan’ partículas. Por ejemplo el grupo $`SU(3)`$ de simetrías sirve para recombinar el color de los $`3`$ quarks $`\{u,d,s\}`$. Esta simetría interna rota los campos y las partículas en un espacio abstracto: el ‘espacio isotópico’. Estos grupos son compactos y el rango de los parámetros es finito. Por ejemplo el grupo de las rotaciones se puede parametrizar usando ángulos con un rango $`[0,2\pi ]`$ identificando $`0`$ con $`2\pi `$. Estas simetrías pueden ser globales (independientes del espacio-tiempo) o locales (pueden variar en cada punto del espacio-tiempo) en una teoría gauge.

Una búsqueda fundamental sería: encontrar una teoría unificada de campos que incluya las cuatro interacciones, donde la Relatividad General se pueda considerar como un límite a bajas energias en una teoría cuántica de la gravedad. Pero surge una inhabilidad para buscar un grupo gauge que combine el espectro de partículas con la gravedad cuántica, dado el trabajo de Coleman y Mandula . El cual se resume en el siguiente teorema:
Teorema de ‘Coleman-Mandula’: Sea la matriz $`S`$ no trivial, donde la amplitud de dispersión es una función analítica de: el cuadrado de la transferencia de momento y el cuadrado de la energía de centro de masa. Donde:
$`\mathrm{}`$\- El espectro de estados de masa de una partícula, es un conjunto aislado de valores positivos (posiblemente infinito) con un número finito de tipos de partículas.
$`\mathrm{}`$\- Sea $`F`$ una simetría de la matriz $`S[F,S]=0`$, con $`P(3,1)F`$. Donde los generadores del grupo Poincaré pueden ser construidos al menos localmente por operadores integrales en el espacio de momento.
Entonces si $`F`$ contiene simetrías internas, este debe ser localmente isomorfo al producto directo:

$$P(3,1)\times GG\text{grupo de simetría interna}$$

Este teorema nos indica que no es posible encontrar una extensión no trivial para las simetrías del espacio-tiempo (grupo Poincaré) en la matriz $`S`$. Esto imposibilita mezclar simetrías del espacio-tiempo y simetrías gauge en un mismo grupo de simetría bosónica (los generadores cumplen relaciones de conmutación). De una forma más comprensible se tiene el siguiente resultado:
Teorema ‘No-go’: Dado un grupo de Lie no-compacto, no es posible encontrar una representación unitaria de dimensión finita para este.(ver )
Entonces: cualquier unión no trivial entre grupos compactos y no-compactos con una representación unitaria de dimensión finita falla. Si se insiste en construir una representación unitaria de un grupo no-compacto esta debe ser necesariamente de dimensión infinita. La cual puede tener propiedades no físicas tales como: un número infinito de partículas en una irrep o un espectro continuo de masas en cada irrep.
Por lo tanto combinar gravedad con los grupos gauge de interacción no resulta nada sencillo. Es aquí donde surge una solución: considerar unos nuevos parámetros que anticonmuten dentro del grupo de simetrías del espacio-tiempo (variables de Grassmann). Donde los nuevos generadores de grupo cumplen relaciones de anticonmutación (generadores de una nueva simetría: supersimetría), los cuales no son considerados en la derivación original del teorema Coleman-Mandula. Supersimetría evade este teorema. Por lo tanto alguna gente impone esta simetría adicional (ver el trabajo de Berenstein  como un complemento). En resumen:

* Supersimetría: es una simetría relativista que combina simetrías bosónicas y fermiónicas de una manera no trivial, donde los generadores de simetría son de tipo fermiónico (obedece relaciones de anticonmutación). Supersimetría nace al considerar todas las extensiones del grupo Poincaré compatibles con la mecánica cuántica. Actualmente este es el único camino disponible para unificar simetrías internas y simetrías del espacio-tiempo de la matriz $`S`$ en una teoría relativista de partículas.

Al construir una teoría supersimétrica en un espacio de Minkowski (métrica plana), se permiten partículas en un mismo multiplete con espín diferente y los demás números cuánticos iguales. Entonces se puede mezclar fermiones y bosones en el mismo multiplete, salvo que tienen un mismo valor de masa.
En la década de los setenta: Ferrara , Freedman  y sus colaboradores mutuos construyeron una nueva clase de teorías de supergravedad con una $`N`$-extensión de supersimetría no-local. Teoría descrita en un espacio de Sitter que permite campos gauge de espín-$`\frac{3}{2}`$, los cuales pertenecen a una representación vectorial de $`O(N)`$. Estas teorías tienen una particularidad: combinan simetrías internas con simetrías del espacio-tiempo de una forma no trivial y pueden ser candidatos a unificar la gravedad con las otras interacciones.
En resumen al tomar el grupo de simetrías de un espacio-tiempo Anti-de Sitter $`SO(3,2)`$ isomorfo a $`Sp(4)`$ en su álgebra y al acoplar $`N`$ generadores de supersimetría, surge un nuevo grupo $`OSp(N|4)`$, el cual es la extensión graduada de $`Sp(4)\times SO(N)`$. Aparece de una forma natural un nuevo grupo $`SO(N)`$ de simetría interna. Con la ventaja que supersimetría Anti-de Sitter no implica que las partículas fermiónicas y bosónicas en un mismo multiplete tengan masas iguales.
Aquí se muestra la posibilidad de deducir el grupo $`P(3,1)\times G`$ apartir del supergrupo $`OSp(N|4)`$ usando mecanismos de contracción de grupo. Método que da una nueva posibilidad de obtener las simetrías del espacio-tiempo usando otros grupos más grandes, los cuales pueden conllevar a nuevas relaciones o propiedades físicas no antes vistas localmente. Por ejemplo una simetría $`SO(3)`$ sobre la superficie de la tierra localmente puede verse como una simetría $`E_2T_2SO(2)`$. Entonces existe una contracción $`SO(3)T_2SO(2)`$.
Con este propósito, se da una exposición aumentando el nivel de dificultad: empezando con el método de contracciones de grupo en la sección (2) para familiarizar al lector con esta técnica y sus resultados, ya que al reescalar los generadores, las representaciones también lo son. Ahí se muestran las contracciones: $`SO(3)E_2T_2SO(2)`$ $`SO(3,1)G_3K_3SO(3)`$, util en la sección (3) al exponer el grupo de Sitter, sus representaciones y su contracción al grupo Poincaré. Luego en la sección (4) se expone el esquema de supersimetría acoplada al grupo Poincaré y su clasificación de irreps, con el propósito de construir sus extensiones a grupos $`SO(n,m)`$ teniendo en cuenta la clasificación de Nahm (Sec. 5). Siendo $`OSp(N|4)`$ el grupo supersimétrico minimal que contiene $`SO(3,2)`$, luego se muestran sus irreps unitarias y su contracción a SuperPoincaré. Por último, suponiendo un grupo $`OSp(8|4)`$ se clasifica su espectro (ver Nicolai ) y se usa la contenencia:

$$OSp(8|4)OSp(1|4)\times SO(7)oOSp(8|4)Sp(4)\times SO(8)$$

para indicar las posibles contracciones a $`P(3,1)\times G`$, con $`G=SO(7)`$ o $`SO(8)`$, lo que completa este trabajo.

## 2 Mecanismo de Contracción de Inönü-Wigner

Este método surge al estudiar el límite de la mecánica relativista a la mecánica clásica. Ya que al tomar el límite de la velocidad de la luz a infinito $`c\mathrm{}`$ (o límite a bajas velocidades comparado con la velocidad de la luz $`v0`$) el grupo de Poincaré se transforma en el grupo de Galileo. Otro ejemplo es la transición de la mecánica cuántica a la mecánica clásica considerando el límite a cero de la constante de Planck ($`\mathrm{}0`$) en algunos ejemplos físicos. Esta idea fue propuesta y estudiada inicialmente por Inönü y Wigner en 1953 , la cual actúa como un proceso límite sobre los generadores de grupo y considerando su álgebra bajo cambio de parámetros de escala conduce a la creación de un nuevo grupo. También ha indicado algunas relaciones importantes en el comportamiento asintótico de las funciones especiales de la física matemática .

### 2.1 Formalismo

Sea $`L`$ un álgebra de Lie asociada a $`G`$. $`X_a(a=1,2,..n)`$ una base para $`L`$ como espacio vectorial, donde:

$$[X_a,X_b]=\underset{c=1}{\overset{n}{}}D_{ab}^cX_c(1\{a,b\}n)$$
(1)
$`(D_{ab}^c)`$ es llamada la constante de estructura del álgebra de Lie con respecto a la base dada, donde la identidad de Jacobi impone ciertas condiciones sobre estas constantes:

$$\underset{c=1}{\overset{n}{}}(D_{bd}^cD_{ac}^e+D_{da}^cD_{bc}^e+D_{ab}^cD_{dc}^e)=0$$
(2)
Suponiendo que:

* Es conocida una sucesión infinita $`[X_a]^u`$ de bases de $`L`$ con $`u=1,2,\mathrm{}`$ y sus correspondientes constantes de estructura $`[D_{ab}^c]^u`$.
* El $`lim_u\mathrm{}[D_{ab}^c]^u=[D_{ab}^c]^{\mathrm{}}`$ existe para todo $`a,b,c`$.
* La ecuación (2) se preserva bajo el límite.

Se tiene que $`[D_{ab}^c]^{\mathrm{}}`$ genera una nueva álgebra $`L^{}`$ y se dice que $`L^{}`$ es generado bajo la contracción de $`L`$. Formalizando esto de otra manera obtenemos:
$`\mathrm{}`$ Definición:  Dado $`gG`$ se define el Automorfismo Interior $`Adg`$ como:

$$Adg(g^{})gg^{}g^1g^{}G$$
(3)
$`\mathrm{}`$ Definición:  Sea $`F`$ y $`F^{}`$ subgrupos de un grupo de Lie $`G`$. Se dice que $`F^{}`$ es el límite de $`F`$ en $`G`$ si existe una sucesión $`g_1,g_2,\mathrm{}`$ de elementos en $`G`$ tal que dada una sucesión $`f_1,f_2,f_3,\mathrm{}`$ de elementos en $`F`$, la sucesión $`Adg_1(f_1),Adg_2(f_2),\mathrm{}`$ converge a un elemento de $`F^{}`$.
Dado que es más conveniente trabajar con álgebras de Lie que con grupos de Lie, se presenta una versión infinitesimal de esta definición. (ver )
$`\mathrm{}`$ Definición:  Sea $`G`$ un grupo de Lie, $`L`$ y $`L^{}`$ subálgebras de $`G`$. Se dice que $`L^{}`$ es el límite de $`L`$ en $`G`$ si existe una sequencia $`g_1,g_2,\mathrm{}`$ de elementos en $`G`$ tal que dada una sucesión $`X_1,X_2,X_3,\mathrm{}`$ de elementos en $`L`$, la sucesión $`Adg_1(X_1),Adg_2(X_2),\mathrm{}`$ converge a un elemento de $`L^{}`$.
Si $`L`$ y $`L^{}`$ están relacionados por este camino se escribe:

$$L^{}=\underset{n\mathrm{}}{lim}Adg_n(L)$$
(4)
En lo que sigue se muestran algunos ejemplos de contracción de grupo, útiles en las otras secciones.

### 2.2 Contracción de $`SO(3)E_2T_2SO(2)`$

Dado $`SO(3)`$, el grupo de las rotaciones111Aquí $`SO(3)`$ puede significar la isotropía del espacio 3$`Dim`$. en $`R^3`$, el cual posee 3 generadores de rotación infinitesimal $`\{J_1,J_2,J_3\}`$ y un álgebra correspondiente:

$$[J_r,J_s]=C_{rs}^tJ_tC_{rs}^tiϵ_{rs}^t(r,s,t)=1,2,3$$
(5)
$`ϵ_{rs}^t`$ representa un tensor totalmente antisimétrico $`(ϵ_{12}^3=1)`$. Para generar la contracción, se construye la siguiente sucesión de elementos del álgebra de $`SO(3)`$ dependientes de $`R`$:

$$J_3J_0J_3,J_r\mathrm{\Pi }_r\frac{J_r}{R}oJ_r=R\mathrm{\Pi }_r\text{ con }r=1,2$$
(6)
Con un álgebra que mantiene la misma forma dada por (5), salvo las constantes de estructura asociadas:

$$[\mathrm{\Pi }_1,\mathrm{\Pi }_2]=\frac{i}{R^2}J_0,[\mathrm{\Pi }_2,J_0]=i\mathrm{\Pi }_1,[J_0,\mathrm{\Pi }_1]=i\mathrm{\Pi }_2,$$
(7)
Por otro lado se define la siguiente relación, que dará paso a la contracción:

$$\underset{R\mathrm{}}{lim}\mathrm{\Pi }_rK_r\text{ con }r=1,2$$
(8)
$`K_r`$ denotará el generador de traslación en $`E_2`$.
Por lo tanto al tomar el límite de contracción en la ecuación (7) ($`lim_R\mathrm{}`$) y usando la ecuación (8), el grupo de rotaciónes en $`R^3`$ se transforma en el grupo de rotación-traslación en el plano $`E_2=T_2SO(2)`$. Con generadores de traslación $`K_1,K_2`$ y el correspondiente generador de rotación $`J_0`$. El álgebra que satisface $`E_2`$ toma la forma:

$$[K_1,K_2]=0,[K_2,J_0]=iK_1,[J_0,K_1]=iK_2,$$
(9)
Estas relaciones definen localmente el grupo Euclidiano de Traslación-Rotación, donde la rotación generada por $`J_3`$ se conserva. Las rotaciónes generadas por $`J_1,J_2`$ se transforman bajo el límite como generadores de traslación en las mismas componentes, con la particularidad que $`SO(3)SO(2)`$ y al contraer se obtiene $`SO(3)T_2SO(2)`$.
Tomando el Casimir de $`SO(3)`$:

$$J^rJ_r=J.J=J_1^2+J_2^2+J_3^2$$
(10)
Aplicando (6), se obtiene:

$$J.J=R^2(\mathrm{\Pi }_1^2+\mathrm{\Pi }_2^2)+J_0^2$$
(11)
Construyendo el Casimir para $`E_2`$, al tomar el límite en la contracción se obtiene:

$$C_{E_2}\underset{R\mathrm{}}{lim}\frac{J.J}{R^2}=\underset{R\mathrm{}}{lim}(\mathrm{\Pi }_1^2+\mathrm{\Pi }_2^2)+J_0^2/R^2=K_1^2+K_2^2=K.K$$
(12)
El anterior método de contracción se puede ver de otro modo: dado $`S_2`$ (la esfera 2-Dim), que representa la variedad de simetría del grupo $`SO(3)`$ y $`R^2`$ (el plano) la variedad de simetría generada por $`E_2`$. Se obtiene entonces que la contracción $`SO(3)E_2`$ genera una descompactificación de la esfera 2-Dim al tomar el límite de curvatura a 0 ($`R\mathrm{}`$). En forma explícita tomando una representación en coordenadas esféricas $`(u_1,u_2,u_3)`$, se tiene:

$$u_0=RCos(\theta _1),u_1=RSen(\theta _1)Cos(\theta _2)u_2=RSen(\theta _1)Sen(\theta _2)$$
(13)
Donde $`(0\theta _1<\pi )`$, $`(0\theta _2<\pi )`$. Tomando el límite apropiado ($`lim_R\mathrm{}`$) y ($`\theta _1r/R`$), obtenemos el nuevo sistema coordenado $`(x_1,x_2)`$ en $`E_2`$:

$$y_1=RTan(\theta _1)Cos(\theta _2)x_1=rCos(\theta _2),y_2=RTan(\theta _1)Sen(\theta _2)x_2=rSen(\theta _2)$$
(14)
Aquí la circunferencia del ecuador ($`\theta _1=\pi /2`$) ‘se envía’ al infinito. (ver )

#### 2.2.1 Representaciones Asociadas a $`SO(3)`$ y su Esquema de Contracción

En lo que sigue por completitud se presenta un análisis standard de los grupos: $`SO(3)`$ y $`E_2`$, util en las siguientes secciones (ver ). Este se puede obviar hasta la ecuación (48) si lo desea.
Definiendo el álgebra $`J_+,J_{},J_3`$, para $`SO(3)`$ como:

$$J_+=J_1+iJ_2,J_{}=J_1iJ_2(J_\pm )^{}=J_{}$$
(15)
Estos cumplen el álgebra:

$$[J_3,J_+]=J_+,[J_+,J_{}]=2J_3,[J_3,J_{}]=J_{},$$
(16)
Por lo tanto:

$$J.J=\frac{1}{2}(J_+J_{}+J_{}J_+)+J_3^2$$
(17)
Podemos ahora encontrar los vectores propios comunes para $`J.J`$ y para $`J_3`$ ($`SO(3)`$) con sus correspondientes valores propios $`j(j+1),m`$.

$$J.J|j,m=j(j+1)|j,m,J_3|j,m=m|j,m$$
(18)
De (16) y (18) se tiene que:

$`J_3J_+|j,m`$ $`=`$ $`J_+(J_3+1)|j,m=(m+1)J_+|j,m`$
$`J_+|j,m`$ $``$ $`a_m|j,m+1`$ (19)
y

$`J_3J_{}|j,m`$ $`=`$ $`J_+(J_31)|j,m=(m1)J_{}|j,m`$
$`J_{}|j,m`$ $``$ $`b_m|j,m1`$ (20)
Para conocer $`a_m,b_m`$ usando la ecuación (17), se obtiene:

$`J_+J_{}|j,m=J.JJ_3(J_31)|j,m=[j(j+1)m(m1)]|j,m`$ (21)
$`J_{}J_+|j,m=J.JJ_3(J_3+1)|j,m=[j(j+1)m(m+1)]|j,m`$ (22)
Tomando:

$`<j,m|J_{}J_+|j,m=[<jm|J_+]^+[J_+|j,m]0`$ (23)
$`<j,m|J_+J_{}|j,m=[<jm|J_{}]^+[J_{}|j,m]0`$ (24)
Por lo tanto:

$`j(j+1)m(m+1)=(jm)(j+m+1)0`$ (25)
$`j(j+1)m(m1)=(j+m)(jm+1)0`$ (26)
De (23) se tiene que:

$$a_m^2=j(j+1)m(m+1)$$
(27)
De (24):

$$b_m^2=j(j+1)m(m1)$$
(28)
Teniendo en cuenta (25,26)

$$jmj$$
(29)
La posible construcción apartir de $`|j,m`$, está dada como:

$$|j,m,J_+|j,m,\mathrm{},J_+^p|j,m\text{ con}(p>0)Z$$
(30)
Con los correspondientes valores propios de $`J_z`$

$$m,m+1,\mathrm{},m+p=j$$
(31)
Y tomando:

$$|j,m,J_{}|j,m,\mathrm{},J_{}^q|j,m\text{ con}(q>0)Z$$
(32)
Con los correspondientes valores propios para $`J_z`$

$$m,m1,\mathrm{},mq=j$$
(33)
Dada la dependencia de $`|j,m`$ y $`|j,m`$ con ($`p>0`$) y ($`q>0`$) se tiene que:

$`p+q`$ $`=`$ $`2j`$ (34)
$`j`$ $`=`$ $`0,\frac{1}{2},1,\frac{3}{2},\mathrm{}`$ (35)
Del álgebra (16), se obtiene para ($`m`$) que:

$$m=0,\pm \frac{1}{2},\pm 1,\pm \frac{3}{2},\mathrm{},\pm j$$
(36)
Con la siguiente condición para $`m=\pm j`$:

$`J_+|j,m`$ $`=`$ $`0\text{ para }m=j`$ (37)
$`J_{}|j,m`$ $`=`$ $`0\text{ para }m=j`$ (38)
Al hacer contracción a $`E_2`$ tenemos el álgebra $`J_0,K_1,K_2`$, que se transforma en el álgebra $`J_0,K_+,K_{}`$ como:

$$K_+=K_1+iK_2K_{}=K_1iK_2$$
(39)
Con conmutadores:

$$[K_+,K_{}]=0,[K_{},J_0]=K_{},[J_0,K_+]=K_+,$$
(40)
Donde el Casimir asociado toma la forma:

$$K.K=K_+K_{}=\frac{1}{2}\{K_+,K_{}\}=K_{}K_+$$
(41)
Los valores propios y vectores propios asociados están dados como:

$$K.K|k,m=k^2|k,m,J_0|k,m=m|k,m$$
(42)
De (42) y (40) se tiene que:

$`J_0K_+|k,m`$ $`=`$ $`K_+(J_0+1)|k,m=K_+(m+1)|k,m=(m+1)K_+|k,m`$
$`K_+|k,m`$ $``$ $`\overline{a}_m|k,m+1`$ (43)
De igual forma para $`K_{}`$, usando las ecuaciones (42) y (40) tenemos que:

$`J_0K_{}|k,m`$ $`=`$ $`K_{}(J_01)|k,m=K_{}(m1)|k,m=(m1)K_{}|k,m`$
$`K_{}|k,m`$ $``$ $`\overline{b}_m|k,m1`$ (44)
Para conocer $`\overline{a}_m,\overline{b}_m`$. De (41,43) y (44) se obtiene:

$`K.K|k,m=K_+K_{}|k,m=\overline{b}_mK_+|k,m1=\overline{b}_m\overline{a}_m|k,m=k^2|k,m`$ (45)
Por lo tanto:

$$\overline{b}_m\overline{a}_m=k^2$$
(46)
Ademas:

$$k,m|K_{}K_+|k,m=k,m|K_+]^{}[K_+|k,m=[k,m|\overline{a}_m]^{}[\overline{a}_m|k,m]0$$
(47)
Dado que $`(k,m|k,m)>0`$ $``$ $`k>0`$. De igual forma se obtiene que:

$`\overline{a}_m=\overline{b}_m=k`$ (48)
Los valores propios $`(m)`$ y vectores propios $`|k,m`$ para $`J_0`$ en $`E_2`$ conservan la misma estructura asociada a $`J_3`$ en $`SO(3)`$, además el valor propio $`(m)`$ toma un valor libre e independiente de $`k`$ al hacer contracción. Esto se puede ver usando la ecuación (29), debido a:

$$jj(R)j_R\text{ con }\underset{R\mathrm{}}{lim}j_R=\mathrm{}$$
(49)
Donde:

$$\underset{R\mathrm{}}{lim}\frac{J_\pm }{R}=K_\pm \text{y}\underset{R\mathrm{}}{lim}|j_R,m=|k,m$$
(50)
Esto permite definir una nueva base indexada como:

$$\underset{R\mathrm{}}{lim}\frac{j_R}{R}=k$$
(51)
Se puede notar de la ecuación (51) y de (6) que:

$$jRk\mathrm{}jR(\mathrm{}k)=Rp$$
(52)
Análogo a la norma del momento angular clásico $`L=R\times P`$. En el límite de contracción se tiene que:

$`K.K|k,m=K_+K_{}|k,m=k^2|k,m`$ $`=`$ $`\underset{R\mathrm{}}{lim}{\displaystyle \frac{J_+J_{}}{R^2}}\underset{R\mathrm{}}{lim}|j_R,m`$ (53)
$`=`$ $`\underset{R\mathrm{}}{lim}{\displaystyle \frac{j_R(j_R+1)m(m1)}{R^2}}|j_R,m`$
Usando (51) en (53):

$$\underset{R\mathrm{}}{lim}\left(\frac{j_R}{R}\right)^2|j_R,m=k^2|k,m$$
(54)
### 2.3 Contracción de $`SO(3,1)𝐆_3K_3SO(3)`$

Considerando el grupo de Lorentz homogeneo, este tiene 6 generadores $`J_r,B_r`$ $`(r=1,2,3)`$. Estos generadores obedecen el siguiente álgebra:

$$[B_r,B_s]=iϵ_{rs}^tJ_t,[J_r,B_s]=iϵ_{rs}^tB_t,[J_r,J_s]=iϵ_{rs}^tJ_t(r,s,t)=1,2,3$$
(55)
$`B_r`$ representa los boosts de Lorentz, $`J_r`$ los generadores de rotación. Las rotaciones espaciales se muestran aquí explícitamente, las cuales forman un subgrupo. Se puede escribir (55) de una forma compacta como:

$$[J_{\mu \nu },J_{\rho \sigma }]=i(\eta _{\nu \rho }J_{\mu \sigma }\eta _{\mu \rho }J_{\nu \sigma }+\eta _{\mu \sigma }J_{\nu \rho }\eta _{\nu \sigma }J_{\mu \rho })\eta _{\mu \nu }diag(+++)(\mu ,\nu =1,2,3,4)$$
(56)
$`J_{\mu \nu }`$ se define como:

$$J_{\mu \nu }\left\{\begin{array}{ccc}J_{\mu \nu }& ϵ_{\mu \nu }^\sigma J_\sigma \hfill & \text{si }\mu ,\nu ,\sigma =1,2,3\hfill \\ J_{4\nu }& B_\nu \hfill & \text{si }\mu =4\text{ y }\nu =1,2,3\hfill \end{array}\right\}\text{ donde }J_{\mu \nu }=J_{\nu \mu }$$
(57)
Los Casimir del grupo de Lorentz propio están dados como:

$$C_2^{1,3}\frac{1}{2}J^{\mu \nu }J_{\mu \nu }=J^rJ_rB^rB_r,C_4^{1,3}\frac{1}{2}J^{\mu \nu }\stackrel{~}{J}_{\mu \nu }=J^rB_r+B^rJ_r=2(J^rB_r)$$
(58)
El dual de $`J_{\mu \nu }`$ es definido como:

$$\stackrel{~}{J}^{\mu \nu }\frac{1}{2}ϵ^{\mu \nu \rho \sigma }J_{\rho \sigma }$$
(59)
$`ϵ^{\mu \nu \rho \sigma }`$ representa un tensor completamente antisimétrico ($`ϵ^{1234}=1`$).
Para hacer la contracción $`(c\mathrm{})`$ en (55), se define:

$`J_r`$ $`=`$ $`J_r`$ (60)
$`\mathrm{\Omega }_r`$ $``$ $`{\displaystyle \frac{1}{ic}}B_rG_r\underset{c\mathrm{}}{lim}\mathrm{\Omega }_rr=1,2,3`$ (61)
Al tomar el límite cuando $`(c\mathrm{})`$, las relaciones dadas por (55) toman la forma:

$`[J_r,J_s]`$ $`=`$ $`iϵ_{rs}^tJ_t`$
$`[J_r,G_s]`$ $`=`$ $`iϵ_{rs}^tG_t`$
$`[G_r,G_s]`$ $`=`$ $`0`$ (62)
Teniéndose que estas relaciones definen localmente el grupo de Galileo homogeneo $`𝐆_3`$, el cual contiene las transformaciones de cambio de sistemas de referencia en movimiento $`G_r`$ y las rotaciones espaciales $`J_r`$. Por supuesto este grupo es isomorfo al grupo Euclidiano en 3-Dim $`E_3=T_3SO(3)`$. Al usar la sustitución dada por (61) en los Casimir de Lorentz dados por (58), redefiniendo los Casimir y tomando el límite, se encuentra:

$$C_2^3\underset{c\mathrm{}}{lim}\frac{C_2^{1,3}}{c^2}=\underset{c\mathrm{}}{lim}\frac{1}{2c^2}J^{\mu \nu }J_{\mu \nu }=\underset{c\mathrm{}}{lim}(J^rJ_r/c^2+\mathrm{\Omega }^r\mathrm{\Omega }_r)=G^rG_r=G.G$$
(63)
y

$$C_4^3\underset{c\mathrm{}}{lim}\frac{C_4^{1,3}}{ic}=\underset{c\mathrm{}}{lim}\frac{1}{ic}J^{\mu \nu }\stackrel{~}{J}_{\mu \nu }=\underset{c\mathrm{}}{lim}2(J^r\mathrm{\Omega }_r)=2(J^rG_r)=2(J.G)$$
(64)
De manera similar a $`T_2`$ en la sección (2.2.1), los números $`g`$ y $`m`$ son independientes y no hay una restricción para $`m`$ dependiente de $`g`$.

#### 2.3.1 Representaciones Finitas Asociadas y su Esquema de Contracción

Se define a continuación el siguiente conjunto de operadores en el grupo de Lorentz propio, como:

$$𝒜_r^{}\frac{1}{2}(J_riB_r),𝒜_r^+\frac{1}{2}(J_r+iB_r)$$
(65)
$`(𝒜_r^\pm )^{}=𝒜_r^\pm `$, siendo $`J^{}=J`$ y $`B^{}=B`$, donde:

$$[𝒜_r^{},𝒜_s^{}]=iϵ_{rs}^t𝒜_t^{},[𝒜_r^+,𝒜_s^{}]=0,[𝒜_r^+,𝒜_s^+]=iϵ_{rs}^t𝒜_t^+,$$
(66)
De (66) puede notarse que esta nueva álgebra conlleva a un isomorfismo entre el álgebra de $`SO(3,1)`$ y el álgebra de $`SO(3)\times \overline{SO}(3)`$. Este conjunto de generadores se puede escribir como $`𝒜_r^{}\overline{𝒜}_rI`$ y $`𝒜_r^+I𝒜_r`$ actuando sobre el espacio producto directo $`\nu _{j_1}\nu _{j_2}`$, los cuales corresponden a dos espacios vectoriales independientes bajo transformaciones del grupo de Lorentz. La representación del grupo de Lorentz puede ser etiquetada como $`[j_1j_2]`$, donde la dimensión de esta irrep es $`(2j_1+1)(2j_2+1)`$. Usando resultados del algebra de $`SO(3)`$, los Casimirs de estas álgebras que conmutan, están dados como:

$$𝒜^{}.𝒜^{}=𝒜^r𝒜_r^{},𝒜^+.𝒜^+=𝒜^{+r}𝒜_r^+,$$
(67)
Con sus correspondientes valores propios $`j_1(j_1+1)`$ y $`j_2(j_2+1)`$ respectivamente. Donde los Casimirs del grupo de Lorentz pueden ser expresados en términos de estos como:

$$C_2^{1,3}=2(𝒜^{}.𝒜^{}+𝒜^+.𝒜^+),C_4^{1,3}=2i(𝒜^{}.𝒜^{}𝒜^+.𝒜^+)$$
(68)
Con los siguientes valores propios asociados actuando sobre $`|j_1m_1,j_2m_2`$:

$`C_2^{1,3}`$ $``$ $`2[j_1(j_1+1)+j_2(j_2+1)]=2(j_1+j_2+1)(j_1+j_2)4j_1j_2`$ (69)
$`C_4^{1,3}`$ $``$ $`2i[j_1(j_1+1)j_2(j_2+1)]=2i(j_1+j_2+1)(j_1j_2)`$ (70)
Construyendo los vectores base acoplados $`|j_1m_1,j_2m_2`$ como un producto directo de vectores base de $`SO(3)`$. Donde $`\{𝒜_r^{}\}`$ y $`\{𝒜_r^+\}`$ forman 2 conjuntos de generadores independientes de $`SO(3)`$ (ver ). Por lo tanto se puede definir los operadores vectoriales esféricos $`A_\mu `$ y $`\overline{A}_\mu `$ con $`\mu =(+,0,)`$ para cada conjunto de generadores, tal como en la sección (2.2.1):

$`A_+𝒜_1^++i𝒜_2^+A_{}𝒜_1^+i𝒜_2^+A_0𝒜_3^+`$ (71)
La base para $`A_\mu `$ es dada como en la sección (2.2.1), etiquetada con los números $`\{j_2,m_2\}`$:

$`A_\pm |j_2m_2`$ $`=`$ $`N_\pm (j_2m_2)|j_2m_2\pm 1\text{con}N_\pm (j_2m_2)=\sqrt{j_2(j_2+1)m_2(m_2\pm 1)}`$
$`A_0|j_2m_2`$ $`=`$ $`m_2|j_2m_2`$ (72)
De manera similar se definen los generadores $`\overline{A}_\mu `$ para el conjunto de generadores $`\{𝒜_r^{}\}`$, los cuales están etiquetados con los números $`\{j_1,m_1\}`$. Por otro lado para conocer la acción de $`J_r`$ y $`B_r`$ sobre $`|j_1m_1,j_2m_2`$ siguiendo el desarrollo para el álgebra de $`SO(3)`$ como en la sección (2.2.1), tenemos que:

$$J_r=𝒜_r^{}+𝒜_r^+B_r=i(𝒜_r^{}𝒜_r^+)$$
(73)
Por lo tanto:

$`J_r|j_1m_1,j_2m_2`$ $`=`$ $`𝒜_r^{}|j_1m_1,j_2m_2+𝒜_r^+|j_1m_1,j_2m_2`$
$`B_r|j_1m_1,j_2m_2`$ $`=`$ $`i(𝒜_r^{}|j_1m_1,j_2m_2𝒜_r^+|j_1m_1,j_2m_2)`$ (74)
En particular, se tiene para $`J_3`$ y $`B_3`$.

$`J_3|j_1m_1,j_2m_2`$ $`=`$ $`𝒜_3^{}+𝒜_3^+|j_1m_1,j_2m_2=(m_1+m_2)|j_1m_1,j_2m_2`$
$`B_3|j_1m_1,j_2m_2`$ $`=`$ $`i(𝒜_3^{}𝒜_3^+)|j_1m_1,j_2m_2=i(m_1m_2)|j_1m_1,j_2m_2`$ (75)
Todo el análisis para $`SO(3,1)`$ puede ser seguido de los resultados ya obtenidos para $`SO(3)`$ teniendo en cuenta que $`SO(3,1)SO(3)\times \overline{SO}(3)`$ en su álgebra. Al hacer contracción a $`G_3E_3=T_3SO(3)`$ tenemos el álgebra asociada $`J_r,G_r`$ con $`r=1,2,3`$. Donde el Casimir está dado por:

$$C_2^3=G.G=G^rG_r=G_1^2+G_2^2+G_3^2$$
(76)
Los valores y vectores propios asociados están dados como:

$$G.G|g,m,s=g^2|g,m,sJ_3|g,m,s=m|g,m,sG_3|g,m,s=s|g,m,s$$
(77)
Los generadores $`\{J_r\}G_3`$ conservan la misma estructura de $`\{J_r\}SO(3,1)`$. Donde $`m_a(a=1,2)`$ toma un valor libre independiente de $`g`$ al hacer contracción, teniendo en cuenta la ecuación (29) en $`SO(3)`$, debido a:

$$j_aj_a(c)=j_{a,c}\text{ con }\underset{c\mathrm{}}{lim}j_{a,c}=\mathrm{}a=1,2$$
(78)
Del Casimir cuadrático al hacer contracción, usando las ecuaciones (61) y (63,69,77), se obtiene que:

$$\frac{g^2}{2}=\underset{c\mathrm{}}{lim}\left[\frac{j_{1,c}^2+j_{2,c}^2+j_{1,c}+j_{2,c}}{c^2}\right]$$
(79)
Pero al tener en cuenta el Casimir cuártico, de (64) y (70) se tiene que:

$$\frac{2i(j_{1,c}+j_{2,c}+1)(j_{1,c}j_{2,c})}{ic}=2c\left(\frac{j_{1,c}^2+j_{2,c}^2+j_{1,c}+j_{2,c}}{c^2}2\frac{j_{2,c}^2+j_{2,c}}{c^2}\right)$$
(80)
Y al tomar el límite de contracción:

$$\underset{c\mathrm{}}{lim}\frac{2i(j_{1,c}+j_{2,c}+1)(j_{1,c}j_{2,c})}{ic}=(g^22\beta )\underset{c\mathrm{}}{lim}c=\left\{\begin{array}{cc}(g^22\beta <\mathrm{})\mathrm{}& \mathrm{}\hfill \\ (g^22\beta =0)\mathrm{}& 0\hfill \end{array}\right\}\beta =\underset{c\mathrm{}}{lim}\frac{2(j_{2,c}^2+j_{2,c})}{c^2}$$
(81)
Por lo tanto bajo la contracción, se presentan 2 posibilidades para la representación del Casimir cuártico:

$$2(J.G)=\underset{c\mathrm{}}{lim}2(J.\mathrm{\Omega })\left\{\begin{array}{cc}\mathrm{}& JG\\ 0& JG\end{array}\right\}$$
(82)
El caso de interes físico se presenta cuando $`2(J.G)=0`$ (operador nulo). Esto tiene solución si $`j_{1,c}=j_{2,c}`$ (ver ecuación (81)). Adicionalmente se tiene que $`2(J.G)`$ ya no es un Casimir dado que $`[J.G,G]0`$, entonces se define una nueva base indexada como:

$$\underset{c\mathrm{}}{lim}\frac{j_{1,c}}{c}=\underset{c\mathrm{}}{lim}\frac{j_{2,c}}{c}=\frac{g}{2}$$
(83)
De las ecuaciones (61,77) y (75):

$$\begin{array}{c}m_1m_1(c)=m_{1,c}\\ m_2m_2(c)=m_{2,c}\end{array}\underset{c\mathrm{}}{lim}m_{1,c}+m_{2,c}=m\underset{c\mathrm{}}{lim}\frac{(m_{1,c}m_{2,c})}{c}=s$$
(84)
Una interpretación lineal a esto se puede dar como:

$$\begin{array}{c}m_{1,c}=a_1c+b_1\\ m_{2,c}=a_2c+b_2\end{array}\text{con }a_1=a_2=\frac{s}{2}yb_1+b_2=m$$
(85)
Entonces

$$\underset{c\mathrm{}}{lim}m_{1,c}+m_{2,c}=\underset{c\mathrm{}}{lim}(a_1+a_2)c+(b_1+b_2)=m\underset{c\mathrm{}}{lim}\frac{(m_{1,c}m_{2,c})}{c}=\underset{c\mathrm{}}{lim}\frac{(a_1a_2)c+(b_1b_2)}{c}=s$$
(86)
Además

$$\underset{c\mathrm{}}{lim}|j_{1,c}m_{1,c},j_{2,c}m_{2,c}=|g,m,s$$
(87)
Por lo tanto en el límite de contracción se tiene que:

$`G.G|g,m,s`$ $`=`$ $`\underset{c\mathrm{}}{lim}{\displaystyle \frac{C_2^{1,3}}{c^2}}\underset{c\mathrm{}}{lim}|j_{1,c}m_{1,c},j_{2,c}m_{2,c}`$ (88)
$`=`$ $`\underset{c\mathrm{}}{lim}{\displaystyle \frac{2(j_{1,c}+j_{2,c}+1)(j_{1,c}+j_{2,c})4j_{1,c}j_{2,c}}{c^2}}|j_{1,c}m_{1,c},j_{2,c}m_{2,c}`$
Y usando (83) en (88), se obtiene:

$$\underset{c\mathrm{}}{lim}\frac{2(j_{1,c}^2+j_{2,c}^2)}{c^2}|j_{1,c}m_{1,c},j_{2,c}m_{2,c}=g^2|g,m,s$$
(89)
Para $`B_3`$ en el límite de contracción se tiene que:

$`G_3|g,m,s`$ $`=`$ $`\underset{c\mathrm{}}{lim}{\displaystyle \frac{B_3}{ic}}|j_{1,c}m_{1,c},j_{2,c}m_{2,c}`$ (90)
$`=`$ $`\underset{c\mathrm{}}{lim}{\displaystyle \frac{(m_{1,c}m_{2,c})}{c}}|j_{1,c}m_{1,c},j_{2,c}m_{2,c}=s|g,m,s`$
De aquí se puede obtener la contracción $`P(3,1)T_{3,1}SO(3,1)G(3,1)T_3G_3`$ con $`G_3K_3SO(3)`$. Dado que esta solo afecta a los generadores de cambio de sistema de referencia o ‘boosts’, la contracción se restringe a $`SO(3,1)G_3`$, lo cual se acaba de mostrar.

## 3 El Grupo de Sitter/Anti-de Sitter

Los grupos (Anti) de Sitter, no es algo nuevo, ya que en la década de los treinta, Dirac consideró ecuaciones de onda que eran invariantes bajo grupos Anti-de Sitter. Tiempo despues Fronsdal y sus colaboradores discutieron sus representaciones asociadas.
En modelos cosmológicos son los únicos que pueden representar un universo curvo y uniforme en el espacio-tiempo (espacios Riemannianos con constante de curvatura no nula). Estos se clasifican segun su curvatura:

* Si la curvatura es positiva, corresponde al espacio (4,1) de Sitter ($`dS`$), representado como una superficie 4-Dim de una hiperesfera en un espacio plano 5-Dim con métrica $`\eta _{ij}=diag(++++)`$
* El caso de curvatura negativa (3,2) o espacio Anti-de Sitter ($`AdS`$) corresponde a una hiperesfera en un espacio con métrica $`\eta _{ij}=diag(+++)`$

Ambos espacios describen un universo en expansión, donde las lineas de universo corresponden a las geodésicas de movimiento con velocidad radial, proporcional a la distancia radial desde cualquier punto del espacio.
Es posible generar el grupo de Poincaré $`P(3,1)`$ como contracción (en el límite de curvatura a cero) del grupo $`SO(5h,h)`$ (con $`h=1`$ o $`2`$) de una manera no trivial , en la misma forma como es contraido el grupo de Lorentz al grupo de Galileo . Donde el álgebra de $`SO(5h,h)`$ genera el álgebra de Poincaré tomando el límite $`R\mathrm{}`$ y manteniendo $`K_\mu `$ constante en la relación $`J_{z\mu }=R_zK_\mu =J_{\mu z}`$ con $`z=1,5`$.

* Si $`z=1`$, $`SO(4,1)`$: se obtiene una contracción ‘espacial’ al tomar $`R\mathrm{}`$ en la relación $`J_{1\mu }=R_1K_\mu `$.
* Si $`z=5`$, $`SO(3,2)`$: se obtiene una contracción ‘temporal’ al tomar $`R\mathrm{}`$ en la relación $`J_{5\mu }=R_5K_\mu `$.

Aquí se presenta el grupo de Sitter/Anti-de Sitter, sus propiedades básicas y dado que este es un grupo no-compacto (como se sabe no es posible encontrar una representación de dimensión finita unitaria) se dan las condiciones de unitaridad, útiles para construir las representaciones supersimétricas. Por otro lado se muestra su contracción al grupo Poincaré, donde el parámetro de contracción puede ser el radio de curvatura $`R`$ (o la constante de curvatura $`a`$) del espacio-tiempo $`AdS`$, con $`R\mathrm{}`$ ($`a0`$).

### 3.1 El Grupo $`SO(5h,h)`$ y su Contracción a $`P(3,1)T_{3,1}SO(3,1)`$

En general el grupo $`SO(5h,h)`$ ($`h=1`$ o $`2`$) corresponde al grupo de simetrías maximal en un espacio $`dS`$/$`AdS`$ que se puede describir como una hipersuperficie embuida en un espacio $`5`$-dimensional. Usando las coordenadas $`y^i`$ con $`i=1,2,3,4,5`$, la hipersuperficie es definida por:

$$(y^1)^2+(y^2)^2+(y^3)^2\pm (y^4)^2(y^5)^2=\eta _{ij}y^iy^j=a^2\text{ con}a\frac{1}{R}$$
(91)
Donde $`y^5`$ representa la coordenada extra. Es claro que la hipersuperficie es invariante bajo transformaciones lineales que preserven la métrica $`\eta _{ij}=diag(+++\pm )`$. Estas transformaciones constituyen el grupo de Sitter/Anti-de Sitter $`SO(5h,h)`$ con $`\frac{1}{2}5(51)=10`$ generadores denotados por $`J_{ij}`$ que representan los operadores de rotación en $`E_5`$. Estos satisfacen el álgebra:

$$[J_{ij},J_{kl}]=i(J_{ik}\eta _{jl}J_{il}\eta _{jk}+J_{jl}\eta _{ik}J_{jk}\eta _{il})\text{con }\{i,j,k,l,m\}=1,2,3,4,5$$
(92)
Los dos Casimirs de Sitter/Anti-de Sitter son:

$$C_2\frac{1}{2}J_{ij}J^{ij}C_4W^iW_i$$
(93)
Donde $`W_i`$ representa un vector 5-Dim definido como:

$$W_i\frac{1}{2}\epsilon _{ijklm}J^{jk}J^{lm}$$
(94)
$`\epsilon `$ es un tensor totalmente antisimétrico con 5 índices, siendo $`J^{ij}=J_{kl}\eta ^{ik}\eta ^{jl}`$. Para la contracción se define:

$$\mathrm{\Pi }_\mu \frac{1}{R_z}J_{z\mu }\text{con}z=1\text{o}5$$
(95)
Reescribiendo (92) en la forma 4-Dim usando (95), se obtiene:

$$[J_{\mu \nu },J_{\rho \sigma }]=i(J_{\mu \rho }\eta _{\nu \sigma }J_{\mu \sigma }\eta _{\nu \rho }+J_{\nu \sigma }\eta _{\mu \rho }J_{\nu \rho }\eta _{\mu \sigma })$$
(96)
$$[\mathrm{\Pi }_\mu ,J_{\rho \sigma }]=i(\mathrm{\Pi }_\rho \eta _{\mu \sigma }\mathrm{\Pi }_\sigma \eta _{\mu \rho })[\mathrm{\Pi }_\mu ,\mathrm{\Pi }_\nu ]=\frac{i}{R_z^2}J_{\mu \nu }$$
(97)
Con $`\{\mu ,\nu ,\rho ,\sigma ,\lambda \}=1,2,3,4`$. En el límite de contracción se define:

$$\underset{R_z\mathrm{}}{lim}\mathrm{\Pi }_\mu K_\mu $$
(98)
donde $`K_\mu `$ denota el operador de translación en el espacio-tiempo plano. Aquí se puede ver que una rotación en el plano $`(x_1,x_\mu )`$ o $`(x_\mu ,x_5)`$ se transforma en una traslacción espacio-temporal en el límite de curvatura cero. Obteniéndose los generadores del grupo Poincaré $`K_\mu `$, $`J_{\nu \sigma }`$ bajo la contracción. Donde el álgebra que este satisface, coinciden con (96) y al tomar $`lim_{R_z\mathrm{}}`$ en (97) se recuperan las siguientes relaciones:

$$[J_{\mu \nu },J_{\rho \sigma }]=i(J_{\mu \rho }\eta _{\nu \sigma }J_{\mu \sigma }\eta _{\nu \rho }+J_{\nu \sigma }\eta _{\mu \rho }J_{\nu \rho }\eta _{\mu \sigma })$$
(99)
$$[K_\mu ,J_{\rho \sigma }]=i(K_\rho \eta _{\mu \sigma }K_\sigma \eta _{\mu \rho })[K_\mu ,K_\nu ]=0$$
(100)
Reescribiendo los invariantes ‘de Sitter’ en (93) usando (95), se tiene para el primer invariante:

$$C_2=\frac{1}{2}J_{ij}J^{ij}=R_z^2\mathrm{\Pi }_\mu \mathrm{\Pi }^\mu +\frac{1}{2}J_{\mu \nu }J^{\mu \nu }$$
(101)
Por lo tanto al tomar el límite de curvatura cero ($`lim_{R_z\mathrm{}}`$). Se obtiene el primer invariante de Poincaré:

$$C_2^{3,1}\underset{R_z\mathrm{}}{lim}\frac{C_2}{R_z^2}=K_\mu K^\mu $$
(102)
Tomando un procedimiento similar usando (95) en (94), el segundo invariante ‘de Sitter’ toma la forma:

$`C_4=W_iW^i`$ $`=`$ $`{\displaystyle \frac{1}{4}}R_z^2\epsilon _{\lambda z\rho \mu \nu }\mathrm{\Pi }^\rho J^{\mu \nu }\epsilon ^{\lambda z\rho ^{}\mu ^{}\nu ^{}}\mathrm{\Pi }_\rho ^{}J_{\mu ^{}\nu ^{}}+{\displaystyle \frac{1}{8}}\epsilon _{z\mu \nu \rho \sigma }J^{\mu \nu }J^{\rho \sigma }\epsilon _{z\mu ^{}\nu ^{}\rho ^{}\sigma ^{}}J^{\mu ^{}\nu ^{}}J^{\rho ^{}\sigma ^{}}`$ (103)
$`=`$ $`{\displaystyle \frac{1}{4}}R_z^2\epsilon _{\lambda z\rho \mu \nu }\mathrm{\Pi }^\rho J^{\mu \nu }\epsilon ^{\lambda z\rho ^{}\mu ^{}\nu ^{}}\mathrm{\Pi }_\rho ^{}J_{\mu ^{}\nu ^{}}+{\displaystyle \frac{1}{4}}J_{\mu \nu }J^{\mu \nu }J_{\mu ^{}\nu ^{}}J^{\mu ^{}\nu ^{}}`$
Al desarrollar el primer término del lado derecho usando (97) obtenemos:

$`{\displaystyle \frac{1}{4}}R_z^2\epsilon _{\lambda z\rho \mu \nu }\mathrm{\Pi }^\rho J^{\mu \nu }\epsilon ^{\lambda z\rho ^{}\mu ^{}\nu ^{}}\mathrm{\Pi }_\rho ^{}J_{\mu ^{}\nu ^{}}`$ $`=`$ $`R_z^2\epsilon _{\rho \mu \nu }\mathrm{\Pi }^\rho J^{\mu \nu }\epsilon ^{\rho ^{}\mu ^{}\nu ^{}}\mathrm{\Pi }_\rho ^{}J_{\mu ^{}\nu ^{}}`$ (104)
$`=`$ $`R_z^2\mathrm{\Pi }^\rho J^{\mu \nu }\mathrm{\Pi }_\rho J_{\mu \nu }\mathrm{\Pi }^\rho J^{\mu \nu }\mathrm{\Pi }_\mu J_{\nu \rho }`$
$`=`$ $`R_z^2J^{\mu \nu }J_{\mu \nu }\mathrm{\Pi }^\rho \mathrm{\Pi }_\rho J^{\nu \rho }\mathrm{\Pi }_\nu J_{\mu \rho }\mathrm{\Pi }^\mu `$
El segundo término del lado derecho en la ecuacion (103) desaparece al tomar el límite de curvatura cero ($`lim_{R_z\mathrm{}}`$), por lo tanto el segundo invariante de Poincaré toma la siguiente forma:

$$C_4^{3,1}\underset{R_z\mathrm{}}{lim}\frac{C_4}{R_z^2}=J^{\mu \nu }J_{\mu \nu }K^\rho K_\rho J^{\nu \rho }K_\nu J_{\mu \rho }K^\mu =(J:J)(P.P)(J.P).(J.P)$$
(105)
Este invariante puede ser llevado a la siguiente forma:

$$C_4^{3,1}=W^\mu W_\mu \text{ con }W_\mu =\frac{1}{2}\epsilon _{\mu \nu \rho \sigma }K^\nu J^{\rho \sigma }$$
(106)
Aquí el vector $`W_\mu `$ representa el vector de Pauli-Lubanski. El cual se puede escribir en términos de los generadores de momento angular y los ‘boosts’:

$$W_4=J.KW=JK_4B\times K$$
(107)
El cual cumple el siguiente álgebra:

$$[W_\mu ,J_{\rho \sigma }]=i(\eta _{\mu \rho }W_\sigma \eta _{\mu \sigma }W_\rho )[W_\mu ,W_\nu ]=iW^\rho K^\sigma \epsilon _{\rho \sigma \mu \nu }[W_\mu ,K_\nu ]=0W.K=0$$
(108)
De aquí que $`W_\mu `$ conmuta con $`K_\nu `$ y es ortogonal a este mismo. Dado el propósito de este trabajo y teniendo en cuenta los resultados en la sección (5.2), se enfocará nuestro interés en las representaciones unitarias del álgebra Anti-de Sitter, util en la última sección. En lo que sigue: como complemento ver

### 3.2 Representaciones Unitarias del Álgebra Anti-de Sitter

Al tomar los generadores $`J_{ij}`$ de $`SO(3,2)`$, estos permiten una representación en forma espinorial dada por las matrices gamma $`(..|J_{ij}|..=\mathrm{\Gamma }_{ij})`$, las cuales son una representación de dimensión finita:

$$J_{ij}\left\{\begin{array}{ccc}\frac{1}{2}\mathrm{\Gamma }_{ij}\hfill & \text{para}\hfill & i,j=1,2,3,4\hfill \\ \frac{1}{2}\mathrm{\Gamma }_j\hfill & \text{para}\hfill & i=5,j=1,2,3,4\hfill \end{array}\right\}\text{ donde }J_{ij}=J_{ji}$$
(109)
Estas satisfacen la propiedad de Clifford $`\{\mathrm{\Gamma }^\mu ,\mathrm{\Gamma }^\nu \}=2\eta ^{\mu \nu }\mathbf{\hspace{0.17em}1}`$, con $`\eta ^{\mu \nu }=\mathrm{diag}(+,+,+,)`$. Por lo tanto forman una representación del grupo de cubertura $`Sp(4)`$ de $`SO(3,2)`$. Donde $`Sp(n)`$ se define como el conjunto de operadores unitarios ($`J^{}J=I`$) que cumplen $`M^{}JM=J`$ con $`M^{}M=I`$ y $`J=\sigma I`$, donde $`J^2=I`$. Este posee $`\frac{1}{2}(n+1)n`$ generadores. En esta representación no todos los generadores son unitarios, por ejemplo:

$`J_{ij}`$ $`=`$ $`J_{ij}^{}\text{ para }J_{rs},J_{45}\text{ con }r,s=1,2,3`$
$`J_{ij}`$ $`=`$ $`J_{ij}^{}\text{para }J_{4r},J_{r5}`$ (110)
La anterior relación es consecuencia de no poder obtener una representación unitaria de dimensión finita para un grupo no-compacto. Para obtener la hermiticidad de la representación en los generadores $`J_{ij}=J_{ij}^{}`$, se requiere una representación de dimensión infinita la cual si tiene relevancia física. De la ecuación (110) se distingue los generadores compactos $`J_{45}`$ y $`J_{rs}`$ de los no-compactos $`J_{r5},J_{4r}`$. Esta clasificación es válida también en una representación de dimensión infinita. Los operadores $`J_{rs}`$ y $`J_{45}`$ generan un subálgebra compacta maximal asociada al grupo $`SO(3)\times SO(2)`$. Los generadores $`J_{rs}`$ satisfacen el álgebra usual de momento angular.

$$J_{rs}=ϵ_{rs}^tJ_t\text{ con }r,s,t=1,2,3$$
(111)
Se define ahora los siguientes operadores en $`SO(3,2)`$ como:222se asume desde ahora que $`J_{ij}=J_{ij}^{}`$ en su representación matricial

$$M_r^+=iJ_{4r}+J_{5r}M_r^{}=iJ_{4r}J_{5r}M_r^{}=(M_r^+)^{}r=1,2,3$$
(112)
Con un álgebra asociada:

$$[M_r^+,M_s^{}]=2(\delta _{rs}J_{45}+iJ_{rs})[M_r^+,M_s^+]=[M_r^{},M_s^{}]=0$$
(113)
También se tiene que:

$$[J_{45},M_r^+]=M_r^+[J_{45},M_r^{}]=M_r^{}$$
(114)
Donde $`M_r^+`$ Y $`M_r^{}`$ sube y baja respectivamente en una unidad los valores propios de energía de los estados sobre el cual son aplicados. Más adelante se usarán los operadores $`M_{1+2i}^\pm `$ y $`M_{12i}^\pm `$ definidos como:

$$M_{1+2i}^\pm =\frac{1}{\sqrt{2}}(M_1^\pm +iM_2^\pm )M_{12i}^\pm =\frac{1}{\sqrt{2}}(M_1^\pm iM_2^\pm )$$
(115)
Estos suben y bajan respectivamente la componente z de espín por una unidad. Estos cumplen un álgebra:

$$[M_{1+2i}^\pm ,M_{12i}^\pm ]=0[M_{1+2i}^\pm ,M_{12i}^{}]=2(J_{45}\pm J_3)[M_{1\pm 2i}^+,M_{1\pm 2i}^{}]=0$$
(116)
Adicionalmente para $`J_{45}`$ y ($`J_3=J_{12}`$):

$$[J_3,M_{1\pm 2i}^+]=\pm M_{1\pm 2i}^+[J_3,M_3^+]=0[J_{45},M_{1\pm 2i}^+]=M_{1\pm 2i}^+[J_{45},M_{1\pm 2i}^{},J_{45}]=M_{1\pm 2i}^{}$$
(117)
Asumiendo que existe una representación espacial sobre los operadores $`J_{ij}`$. Es conveniente etiquetar los estados por los valores propios de $`J_{45}`$, $`J^rJ_r`$ y $`J_3`$, los cuales son de la forma:

$`J^rJ_r|(\mathrm{})E_0sm`$ $`=`$ $`s(s+1)|(\mathrm{})E_0,s,m`$
$`J_{45}|(\mathrm{})E_0sm`$ $`=`$ $`E_0|(\mathrm{})E_0,s,m`$
$`J_3|(\mathrm{})E_0sm`$ $`=`$ $`m|(\mathrm{})E_0,s,m`$ (118)
Donde $`(\mathrm{})`$ denota un conjunto no especificado de etiquetas. El operador Casimir $`C_2`$ puede ser escrito como:

$$C_2=(J_{45})^2+\frac{1}{2}J^{rs}J_{rs}+J^{4r}J_{4r}+J^{5r}J_{5r}=(J_{45})^2+J^rJ_r+\frac{3}{2}\{M_r^+,M_r^{}\}$$
(119)
Note que: $`\frac{1}{2}J^{rs}J_{rs}=J^rJ_r`$ , $`J^{4r}J_{4r}=3(J_{4r})^2`$ , $`J^{5r}J_{5r}=3(J_{5r})^2`$, donde $`\{M_r^+,M_r^{}\}=2(J_{4r}^2+J_{5r}^2)`$. Las posibles representaciones se separan en dos clases:

* No existen estados que puedan ser aniquilados por los operadores de bajada $`M_r^{}`$. Ya que el operador de energía $`J_{45}`$ no es acotado hacia abajo y cualquier estado de energía es obtenido por aplicación de $`M_r^{}`$. Este caso no es de interés físico.333Cabe anotar que la ecuación (121) no es válida para esta representación ‘continua’
* Existe un conjunto de estados que son aniquilados por $`M_r^{}`$. Donde el espectro de energía es acotado hacia abajo. Si se denota los valores propios de energía por $`E_0`$ y los valores momento angular por $`s`$, el vacio consiste de $`(2s+1)`$ estados $`|(E_0,s)E_0,s,m`$, $`m=s,s+1,\mathrm{},s1,s`$. Aunque se podría usar los valores propios de los Casimir $`C_2`$ y $`C_4`$ para etiquetar las representaciones, es conveniente usar $`E_0`$ y $`s`$.

Para evaluar $`C_2`$ sobre el estado de vacio $`|E_0,s`$, se usa:

$$M_r^{}|(E_0,s)E_0,s,m=0$$
(120)
Al reemplazar $`\{M_r^+,M_r^{}\}`$ en (119) por $`[M_r^+,M_r^{}]`$, teniendo en cuenta (120) junto con (118) y (113):

$$C_2|(E_0,s)E_0,s,m=E_0(E_03)+s(s+1)|(E_0,s)E_0,s,m$$
(121)
Al considerar una T.C.C. en un espacio de Minkowski, la representación del espacio de Fock se construye al actuar los operadores de creación $`𝒜_i^+`$ sobre el estado de vacio $`|(E_0,s)E_0,s,m`$. De esta forma al hacer la extensión a espacios $`AdS`$, una representación del espacio $`\mathrm{}`$ es escrita como:

$$\mathrm{}=_{n=0}^{\mathrm{}}(\mathrm{}_n)\text{con}J_{45}\mathrm{}_n=(E_0+n)\mathrm{}_ndim\mathrm{}_n<\mathrm{}$$
(122)
Donde $`\mathrm{}_n`$ es generado por todos los vectores de la forma:

$$\underset{n_1+n_2+n_3=n}{}C_{n_1n_2n_3}(M_1^+)^{n_1}(M_2^+)^{n_2}(M_3^+)^{n_3}|(E_0,s)E_0,s,mC_{n_1n_2n_3}C$$
(123)
Como tal $`\mathrm{}`$ no es un espacio de Hilbert, aunque posee un producto interior. La estructura de espacio de Hilbert puede ser impuesta sobre $`\mathrm{}`$ con un producto escalar positivo.

$$\psi _n^2=(\psi _n,\psi _n)>0\text{para }0\psi _n\mathrm{}_n$$
(124)
Esto garantiza que las representaciones sean unitarias. $`\mathrm{}`$ consiste de todos los vectores de la forma.

$$\psi =\mathrm{\Sigma }_{n=0}^{\mathrm{}}\psi _n\psi ^2=\mathrm{\Sigma }_{n=0}^{\mathrm{}}\psi _n^2<\mathrm{}$$
(125)
El estado $`|(E_0,s)E_0,s,m`$ se asume ortonormal. La norma de los otros estados son calculados a continuación, incrementando la energía, al mover los operadores boost $`M_r^+`$ a la izquierda usando la condición (120) y las relaciones (113) hasta (117) (ver ). En ciertos casos límites la norma de algunos estados es cero, por lo tanto el espacio de Hilbert físico se obtiene al excluir estos estados mediante la factorización:

$$\mathrm{}_{Fis.}=\mathrm{}/\mathrm{}^{(0)}\mathrm{}^{(0)}=\{\psi \mathrm{},\psi =0\}$$

### 3.3 Condiciones de Unitaridad para $`SO(3,2)`$

Asumiendo que el espectro de energía está acotado por abajo ($`EE_0`$) y considerando las irreps unitarias de bajo peso, donde los estados son etiquetados como $`|E_0,s,m`$. Tal que $`E_0`$ denota el valor propio de energía y $`s`$ el valor del momento angular total. Existen más números cuánticos asociados con el operador de momento angular sobre algún eje pero no se consideran y se suprimen aquí. Dado que los estados con $`E<E_0`$ pueden aparecer, se establece la condición (120) sobre los estados base. Por lo tanto las representaciónes pueden ser construidas al actuar los operadores de subida sobre el estado de vacio $`|E_0,s,m`$. Es decir todos los estados de energía $`E=E_0+n`$ son construidos por $`n`$-productos de operadores de creación $`M_r^+`$, de esta forma se obtiene los estados de valores propios $`E`$ superiores con espín superior. Cada estado es $`(2s+1)`$-veces degenerado. Para obtener las restricciones sobre los números cuánticos $`E_0`$ y $`s`$ del vacio que determinan la unitaridad, se deja actuar los operadores de energía y los boost de espín $`M_{1+2i}^+`$ sobre el estado de vacio, obteniendose:

$`M_{1+2i}^+|(E_0,s)E_0,s,m`$ $`=`$ $`R_+sm11|s+1,m+1|(E_0,s)E_0+1,s+1,m+1+`$
$`R_0sm11|s,m+1|(E_0,s)E_0+1,s,m+1+`$
$`R_{}sm11|s1,m+1|(E_0,s)E_0+1,s1,m+1`$
Donde el operador $`M_{1+2i}^+`$ al ser aplicado sobre un estado de momento angular $`s`$, obtiene 3 estados de momento angular total $`s+1,s,s1`$. Los coeficientes de Clebsch-Gordan en (3.3) son dados por:

$$\begin{array}{ccc}sm11|s+1,m+1& =\hfill & \left(\frac{(s+m+1)(s+m+2)}{(2s+1)(2s+2)}\right)^{\frac{1}{2}}\hfill \\ sm11|s,m+1& =\hfill & \left(\frac{(s+m+1)(sm)}{2s(s+1)}\right)^{\frac{1}{2}}\hfill \\ sm11|s1,m+1& =\hfill & \left(\frac{(sm)(sm+1)}{2s(2s+1)}\right)^{\frac{1}{2}}\hfill \end{array}$$
(127)
Al restringir (3.3) para cada uno de los casos con momento angular $`s`$ $`(s=0,\frac{1}{2},1,\mathrm{})`$, se obtiene:

* Para $`s=0`$ los últimos dos coeficientes de Clebsch-Gordan son indeterminados y los últimos dos términos del lado derecho de (3.3) desaparecen.
* Para $`s=1/2`$ el último término del lado derecho de (3.3) desaparece.
* Para $`s1`$ todos los términos del lado derecho de (3.3) están presentes.

Para calcular los términos $`\{R_+,R_0,R_{}\}`$ se escoje $`(m=s)`$: solo el caso con momento angular $`s+1`$ contribuye en (3.3). Se calcula la norma en ambos lados de la ecuación, teniendo en cuenta que $`(M_{1+2i}^+)^{}=M_{12i}^{}`$ aniquila el estado de vacio y usando (113) se sustituye el producto $`(M_{1+2i}^+)^{}M_{1+2i}^+`$ en términos del conmutador:

$$[M_{12i}^{},M_{1+2i}^+]=2(J_{45}+J_3)$$
(128)
Se obtiene que:

$$|R_+|^2=2(E_0+s)$$
(129)
Usando el mismo método para $`R_0`$ y $`R_{}`$ con $`m=s1`$ y $`m=s2`$, se obtiene las ecuaciones:

$`2(E_0+s1)`$ $`=`$ $`{\displaystyle \frac{2(E_0+s)(2s+1)s}{(2s+1)(s+1)}}+{\displaystyle \frac{|R_0|^2(s)}{s(s+1)}}+{\displaystyle \frac{|R_{}|^2}{s(2s+1)}}`$
$`2(E_0+s2)`$ $`=`$ $`{\displaystyle \frac{2(E_0+s)(2s1)s}{(2s+1)(s+1)}}+{\displaystyle \frac{|R_0|^2(2s1)}{s(s+1)}}+{\displaystyle \frac{3|R_{}|^2}{s(2s+1)}}`$ (130)
Con solución:

$`|R_0|^2`$ $`=`$ $`2(E_01)`$ (131)
$`|R_{}|^2`$ $`=`$ $`2(E_0s1)`$ (132)
De las ecuación (129,131,132) se puede concluir:

* Para $`s1`$, el requerimiento unitario es dado como:

$$E_0s+1\text{para }s1\text{ con }s=1,\frac{3}{2},2,\mathrm{}$$
(133)
Si $`E_0=s+1`$, los valores propios de $`C_2`$ son negativos si $`s>1`$ y cero si $`s=1`$, usando (121) se obtiene:

$$C_2|(E_0=s+1,s)(E_0=s+1),s,m=2(s^21)|(E_0=s+1,s)(E_0=s+1),s,m$$
(134)
* Para $`s=1/2`$ de (131) se puede inferir que:

$$E_01\text{para }s=1/2$$
(135)
Para el caso particular $`E_0=1`$ se tiene la representación singleton de espín-$`\frac{1}{2}`$ (encontrada por Dirac ). Esta deja solo un estado para cualquier valor de espín. El Casimir tiene un valor propio negativo, donde:

$$C_2|(E_0=1,s)(E_0=1),s,m=\frac{5}{4}|(E_0=1,s)(E_0=1),s,m$$
(136)
* Para $`s=0`$ se procede como sigue:

$$M_{1+2i}^+M_{1+2i}^+|(E_0,0)E_0,0,0=\sqrt{2E_0}M_{1+2i}^+|(E_0,0)E_0+1,1,1=R^{^{}}\sqrt{2E_0}|(E_0,0)E_0+2,2,2$$
(137)
Como se mostro anteriormente se calcula la norma a ambos lados de la ecuación, obteniendose:

$$|R^{^{}}|^2=4(E_0+1)$$
(138)
Y considerando:

$`M_3^+M_{1+2i}^+|(E_0,0)E_0,0,0`$ $`=`$ $`\sqrt{2E_0}(2\sqrt{E_0+1}1110|21|(E_0,0)E_0+2,2,1+`$ (139)
$`R^{^{\prime \prime }}\sqrt{2E_0}1110|11|(E_0,0)E_0+2,1,1)`$
Usando $`1110|21=1110|11=1/\sqrt{2}`$ y las relaciones dadas por (116,117) al tomar la norma de (139), teniendo en cuenta la condición (120) al aplicar sobre un estado base, se tiene que:

$$(M_3^+M_{1+2i}^+)^{}(M_3^+M_{1+2i}^+)|(E_0,0)E_0,0,0=4(J_{45}+1)(J_{45}+J_3)|(E_0,0)E_0,0,0$$
(140)
Entonces:

$$4(E_0+1)(E_0+(s=0))=2E_0(2(E_0+1)+E_0|R^{^{\prime \prime }}|^2)$$
(141)
Por lo tanto $`R^{^{\prime \prime }}=0`$, de aquí se obtiene que el estado con $`j=1`$ está ausente. Finalmente:

$`M_{12i}^+M_{1+2i}^+|(E_0,0)E_0,0,0`$ $`=`$ $`\sqrt{2E_0}\{2\sqrt{E_0+1}1111|20|(E_0,0)E_0+2,2,0+`$ (142)
$`R^{^{\prime \prime \prime }}1111|00|(E_0,0)E_0+2,0,0\}`$
Sustitutendo los coeficientes de Clebsch-Gordan y tomando la norma, se obtiene:

$$|R^{^{\prime \prime \prime }}|^2=4(E_01/2)$$
(143)
Donde:

$$E_01/2\text{para }s=0$$
(144)

En resumen: las condiciones dadas por (133),(135) y (144) son suficientes para garantizar la positividad de la norma en todos los sectores de altas energías $`\mathrm{}_n`$ con $`n2`$. Donde todas las representaciones son univocamente caracterizadas por los números cuánticos $`E_0`$ y $`s`$ y se denotan como $`D(E_0,s)`$, con el siguiente análisis:

* El primer caso denota el estado de vacio con espín cero ($`s=0`$) y para un valor propio $`E`$, El estado de espín superior es dado por los productos simétricos con traza cero de operadores $`M_a^+`$ sobre el estado base $`E=E_0`$. Estos estados se muestran en la figura Fig. (3.). Se puede notar que el diagrama para $`s=0`$ difiere del diagrama para espines superiores, dado el resultado $`R^{^{\prime \prime }}=0`$ en la ecuación (139).
* Para obtener el caso de espín-$`\frac{1}{2}`$ $`(s=\frac{1}{2})`$ se toma los productos directos de estados con espín-$`\frac{1}{2}`$. Esto implica que cualquier punto con espín $`j`$ en la Fig. (3) genera dos puntos con espín $`j\pm \frac{1}{2}`$, con la excepción de los puntos asociados a $`j=0`$, los cuales simplemente se mueven a $`j=\frac{1}{2}`$. Ver Fig. (2.)
* Continuando se puede tomar los productos directos con estados de espín-1 $`(s=1)`$, pero la situación es más complicada ya que el multiplete resultante no siempre es irreducible. En principio, cada punto con espín $`j`$ genera ahora tres puntos, asociados con $`j`$ y $`j\pm 1`$, Con la excepción de los puntos $`j=0`$, los cuales simplemente se mueven a $`j=1`$. El resultado de este procedimiento se muestra en Fig. (1.)

Al hacer contracción teniendo en cuenta (101) y (102), se obtiene el primer invariante de Poincaré:

$$C_2^{3,1}\underset{R_5\mathrm{}}{lim}\frac{C_2}{R_5^2}=\underset{R_5\mathrm{}}{lim}(\mathrm{\Pi }_4)^2+\left(\underset{R_5\mathrm{}}{lim}\frac{1}{R_5^2}J^rJ_r0\right)+\underset{R_5\mathrm{}}{lim}\frac{3}{2R_5^2}\{M_r^+,M_r^{}\}=K_\mu K^\mu $$
(145)
Al tomar el limite de curvatura a cero en la representación $`(E_0,s)`$ con: $`E_0E_{0,R}E_0(R)`$ se obtiene que:

$`K_\mu K^\mu |k,\lambda =\underset{R_5\mathrm{}}{lim}{\displaystyle \frac{C_2}{R_5^2}}|(E_{0,R},s)E_{0,R},s,m`$ $`=`$ $`\underset{R_5\mathrm{}}{lim}{\displaystyle \frac{E_{0,R}(E_{0,R}3)+s(s+1)}{R_5^2}}|(E_{0,R},s)E_{0,R},s,m`$ (146)
$`=`$ $`\underset{R_5\mathrm{}}{lim}{\displaystyle \frac{E_{0,R}(E_{0,R}3)}{R_5^2}}|(E_{0,R},s)E_{0,R},s,m`$
Usando $`E_{0,R}=kR_5`$ en (146), siendo $`k=mc/\mathrm{}`$ ($`m`$ masa en reposo de la partícula), la contracción es dada como:

$$K_\mu K^\mu |k,\lambda =\underset{R_5\mathrm{}}{lim}\frac{E_{0,R}^2}{R_5^2}|(E_{0,R},s)E_{0,R},s,m=k^2|k,\lambda $$
(147)
## 4 Supersimetría

Históricamente SUSY (supersimetría) fue introducido en la Teoría de la Matriz $`S`$. Donde una simetría de $`S`$ tiene el efecto de reordenar los estados asintóticos singletes y multipletes. Una simetría de $`S`$ en física de partículas puede significar:

* Invariancia de Poincaré: el producto semidirecto de traslaciones y rotaciones de Lorentz, con los respectivos generadores de grupo $`K_\mu `$ y $`J_{\mu \nu }`$
* Simetrías discretas: paridad $`P`$, inversión temporal $`T`$, y conjugación de la carga $`C`$.
* Simetrías internas globales, relacionadas a la conservación de números cuánticos, tales como: carga eléctrica e isospín. Los generadores de simetría $`B_i`$ asociados son escalares de Lorentz y generan un álgebra de Lie, siendo $`U(1)_Y\times SU(2)_L\times SU(3)_C`$ el grupo de simetría interna asociado al Modelo Standard, con un álgebra de Lie:

$$[B_i,B_j]=ic_{ij}^kB_k$$

$`c_{ij}^k`$ representa las constantes de estructura.

En 1967 Coleman y Mandula proporcionaron un argumento riguroso, el cual clasifica las posibles simetrías de la matriz $`S`$ asumiendo que el álgebra de una simetría de $`S`$ solo involucra conmutadores . En 1971 Gol’fond y Likhtman mostraron que debilitando esta condición e involucrando generadores de simetría que anticonmutan era posible construir una simetría más grande, una supersimetría que incluye Poincaré y grupos de simetría interna de una forma no trivial. Con la particularidad que estos generadores de simetría que anticonmutan transforman como representaciones espinoriales del grupo de Lorentz y no como representaciones tensoriales, por esto SUSY no es una simetría interna. Luego se definió SUSY como una extensión del álgebra de $`P(3,1)`$ con generadores espinoriales que anticonmutan, y en 1975, Haag, Lopuszánski y Sohnius probaron que SUSY era la única simetría adicional de la Matrix $`S`$ . De aquí que está sea la única extensión posible de las simetrías del espacio-tiempo de la física de partículas: que al extender en la teoría de campos se obtiene ($`Q_a\mathrm{\Psi }_\mu ^a(X,\theta )`$):

* El ‘espacio’ es extendido adicionando unos nuevos parámetros de Grassmann, $`(X)(X,\theta )`$.
* El campo es reemplazado por un supercampo.

Donde los generadores de supersimetría están definidos de tal forma que transforma estados fermiónicos en bosónicos y estados bosónicos en fermiónicos, es decir:

$$Q|f=|bQ|b=|f^{^{}}$$

La importancia de SUSY radica en que soluciona problemas en la física más allá del Modelo Standard:

* Permite una unificación entre la Relatividad General y la Mecánica Cúantica.
* Predice Gravedad $``$ posibilita la existencia de partículas sin masa con spín 2.
* Es una teoría finita $``$ surgen cancelaciones entre las contribuciones fermiónicas y bosónicas.

Partiendo de un espacio-tiempo plano $`4Dim.`$ con un grupo de simetría asociado $`P(3,1)=T_{3,1}SO(3,1)`$ y una métrica $`(+++)`$, se muestra una $`N`$-extensión supersimétrica denotada como $`{}_{}{}^{S}P(N|3,1)`$ y la clasificación de irreps asociadas. En particular $`{}_{}{}^{S}P(N|3,1)`$ no permite generadores de espín $`\frac{3}{2}`$. Por otro lado supersimetría es consistente con una teoría de espín-2 si:

$$N8$$

Un análisis detallado de teorías de supergravedad se puede encontrar en: Zanelli , Tanii  y Berenstein . En esta sección se muestra parte del trabajo de R. Haase en sus lecturas , el cual se ha ampliado donde es necesario, ver también .

### 4.1 El Álgebra de SuperPoincaré 4-Dim $`{}_{}{}^{S}P(N|3,1)`$

Denotando los generadores de SUSY por $`Qs`$ y sus correspondientes parámetros pos $`\theta s`$ (variables de grassmann), con $`\theta ^i\theta ^j=\theta ^j\theta ^i`$. De acuerdo a la notación espinorial 4-Dim de Weyl, las N parejas de generadores de SUSY son escritos como: $`Q_{\alpha a}`$ y $`\overline{Q}_{\dot{\beta }b}=(Q_{\beta b})^{}`$ con ($`a,b=1,..N`$) y los índices espinoriales: ($`\alpha ,\beta =1,2`$) y ($`\dot{\alpha },\dot{\beta }=\dot{1},\dot{2}`$). Los cuales se transforman bajo la acción del grupo de Lorentz, como: 444 Dado que la teoría de representación de $`SO(3)`$ es conocida en la aplicación a la teoría del momento angular y al grupo de isospín. Este es util para establecer un isomorfismo del álgebra de $`SO(3,1)`$ con $`SO(3)\times SO(3)`$ para construir las propiedades de los irreps del grupo de Lorentz. Se obtiene que las irreps de dimensión finita del grupo de Lorentz es etiquetada por un par de enteros o semienteros $`\{j_1,j_2\}`$ como $`\left[j_1\times j_2\right]`$, con dimensión $`(2j_1+1)(2j_2+1)`$. Si $`j_1`$ o $`j_2`$ es de espín semientero son llamados espinoriales, de lo contrario son llamados tensoriales. Las representaciones básicas son caracterizadas por $`\left[\frac{1}{2}\times 0\right]`$, $`\left[0\times \frac{1}{2}\right]`$ y cualquier representación espinorial y tensorial del grupo de Lorentz puede ser obtenida al ‘tensorizar’ y ‘simetrizar’ estos. Los conjugados complejos son identificados como $`\left[j_1\times j_2\right]^{}=\left[j_2\times j_1\right]`$. La representación $`\left[j_1\times j_2\right]`$ puede ser llevado a la forma:
$$\left[j_1\times j_2\right][j_1+j_2,|j_1j_2|]_\pm $$
El producto directo de irreps es determinado por 2 descomposiciones de Glebsch-Gordan.
$$[j_1\times j_2]\times [j_1^,\times j_2^,]=\underset{j,j^,}{}[(j_1+j_1^,j)\times (j_2+j_2^,j^,)]\text{Con}j^,=0,1,..|j_2j_2^,|j=0,1,..|j_1j_1^,|$$

$$\mathrm{\Delta }_{}[\frac{1}{2},\frac{1}{2}]_{}=\left[\frac{1}{2}\times 0\right]y\mathrm{\Delta }_+[\frac{1}{2},\frac{1}{2}]_+=\left[0\times \frac{1}{2}\right]$$
(148)
Esta transformación implica:

$$U_\mathrm{\Lambda }Q_{\alpha a}U_\mathrm{\Lambda }^1=Q_{\alpha ^{}a}\mathrm{\Delta }_+(\mathrm{\Lambda })_\alpha ^\alpha ^{}U_\mathrm{\Lambda }\overline{Q}_{\dot{\beta }b}U_\mathrm{\Lambda }^1=\overline{Q}_{\dot{\beta }^{}b}\mathrm{\Delta }_{}(\mathrm{\Lambda })_{\dot{\beta }}^{\dot{\beta }^{}}$$
(149)
Los índices $`\alpha ,\beta `$ son ‘rotados’ por transformaciones de Lorentz. Considerando la forma más general de anticonmutación de los $`Q^{}s`$, estos se transforman como el producto Kronecker:

$$\mathrm{\Delta }_+\times \mathrm{\Delta }_+=[\frac{1}{2},\frac{1}{2}]_+\times [\frac{1}{2},\frac{1}{2}]_+=[0\times \frac{1}{2}]\times [0\times ,\frac{1}{2}]=[0\times 0]+[0\times 1]=\left[0\right]+\left[1^2\right]_+$$
(150)
Por lo tanto:

$$\{Q_{\alpha a},Q_{\beta b}\}=I\epsilon _{\alpha \beta }Z_{ab}+A_ia_{\alpha \beta }^iY_{ab}$$
(151)
con $`A_i=\frac{1}{2}(J_i+iB_i)`$, siendo $`Z_{ab}`$ y $`Y_{ab}`$ escalares complejos de Lorentz. Como $`[0]`$ y $`[1]`$ son las respectivas partes antisimétrica /simétrica del cuadrado kronecker de $`\mathrm{\Delta }_+`$, la estructura espinorial de los dos términos sobre el lado derecho son antisimétricos/simétricos bajo el intercambio $`\alpha \beta `$, con $`Z_{ab}`$ antisimétrico y $`Y_{ab}`$ simétricos.
Similarmente para los adjuntos $`\overline{Q}_{\dot{\beta }b}`$:

$$\{\overline{Q}_{\dot{\alpha }a},\overline{Q}_{\dot{\beta }b}\}=I\epsilon _{\dot{\alpha }\dot{\beta }}\overline{Z}_{ab}+\overline{A}_i(\overline{a}_{\dot{\alpha }\dot{\beta }}^i)\overline{Y}_{ab}$$
(152)
Con $`\overline{A}_i\frac{1}{2}(J_iiB_i)`$. Para obtener las relaciones de conmutación para $`A_i`$ y $`Q_{\alpha a}`$, se debe tener en cuenta que estos se transforman bajo el grupo de Lorentz como:

$$[1^2]_+\times \mathrm{\Delta }_+=[0\times 1]\times [0\times \frac{1}{2}]=[0\times \frac{1}{2}]+[0\times \frac{3}{2}]=\mathrm{\Delta }_++[\mathrm{\Delta }:1^2]_+$$
(153)
Por lo tanto la relación de conmutación toma la forma:

$$[A_i,Q_{\alpha a}]=Q_{\beta b}c_{i\alpha }^\beta X_a^b$$
(154)
Si $`Q_{\alpha a}`$ son los únicos generadores fermiónicos y no son generadores de espín $`3/2`$, se obtiene la identidad:

$$[[A_i,A_j],Q_{\alpha a}]+[[Q_{\alpha a},A_i],A_j]+[[A_j,Q_{\alpha a}],A_i]=0$$
(155)
Usando (154) se tiene que $`[(c_i),(c_j)]=i(c_k)ϵ_{ij}^k`$ y $`X^2=X`$. Esto significa que $`(c_i)`$ forma una representación 2-Dim de un álgebra $`SO(3)`$. Una solución es dada por las matrices de Pauli $`\sigma _i`$ con $`c_i=(1/2)\sigma _i`$. Por lo tanto:

$$[\{Q_{\alpha a},Q_{\beta b}\},A_i]\{[Q_{\beta b},A_i],Q_{\alpha a}\}+\{[A_i,Q_{\alpha a}],Q_{\beta b}\}=0$$
(156)
De forma similar a (154) se construyen los conmutadores de $`\overline{A}_i`$ con $`\overline{Q}_{\dot{\alpha }a}`$:

$$[\overline{A}_i,\overline{Q}_{\dot{\alpha }a}]=\overline{Q}_{\dot{\beta }b}\overline{c}_{i\dot{\alpha }}^{\dot{\beta }}\overline{X}_a^b$$
(157)
Donde $`2\overline{c}_i=2c_i^{}=\sigma _i^{}=J\sigma _iJ^1=2Jc_iJ^1`$ y $`J=i\sigma _2`$, se puede notar que $`J`$ tiene un elemento matricial $`J_\alpha ^{\dot{\alpha }}`$ e interviene las dos irreps básicos de espín.
Los conmutadores: $`[\overline{A}_i,Q_{\alpha a}]`$ y $`[A_i,\overline{Q}_{\dot{\alpha }a}]`$ son cero, ya que no se consideran generadores de espín $`3/2`$, donde:

$$[1^2]_{}\times \mathrm{\Delta }_+=[1\times 0]\times [0\times \frac{1}{2}]=[1\times \frac{1}{2}]=[\mathrm{\Delta }:1]_{},[1^2]_+\times \mathrm{\Delta }_{}=[0\times 1]\times [\frac{1}{2}\times 0]=[\frac{1}{2}\times 1]=[\mathrm{\Delta }:1]_+$$
(158)
Continuando con los anticonmutadores de $`Q_{\alpha a}`$ y los adjuntos:

$$\{Q_{\alpha a},\overline{Q}_{\dot{\beta }b}\}=K_\mu a_{\alpha \dot{\beta }}^\mu \delta _{ab}$$
(159)
Notando que el lado izquierdo se transforma como:

$$\mathrm{\Delta }_+\times \mathrm{\Delta }_{}=[\frac{1}{2},\frac{1}{2}]_+\times [\frac{1}{2},\frac{1}{2}]_{}=\left[0\times \frac{1}{2}\right]\times \left[\frac{1}{2}\times 0\right]=\left[\frac{1}{2}\times \frac{1}{2}\right]=\left[1\right]$$
(160)
bajo el grupo de Lorentz. Donde $`\{Q,\overline{Q}\}`$ es un operador definido positivamente. Tal que el lado derecho de la ecuación (159) debe transformar como un 4-vector de Lorentz. El objeto más general que se puede construir que incluya $`K_\mu ,J_{\mu \nu }`$ y $`B_i`$ toma la forma $`K_\mu a_{\alpha \dot{\beta }}^\mu W_{ab}`$, con $`W_{ab}`$ un escalar de Lorentz complejo. Tomando el adjunto del lado derecho de la ecuación (159) y usando $`(Q_{\alpha a})^{}=\overline{Q}_{\dot{\alpha }a}`$ requiere que $`(a_{\alpha \dot{\beta }}^\mu )^{}=a_{\beta \dot{\alpha }}^\mu `$ y $`W_{ab}^{}=W_{ba}`$. Esto significa que podemos siempre escojer una base para los $`Q_{\alpha a}`$ con $`W_{ab}`$ proporcional a $`\delta _{ab}`$.
Desarrollando la identidad de Jacobi para $`(Q,\overline{Q},A)`$, se obtiene:

$`[\{Q_{\alpha a},\overline{Q}_{\dot{\beta }b}\},A_i]\{[\overline{Q}_{\overline{\dot{\beta }}b},A_i],Q_{\alpha a}\}+\{[A_i,Q_{\alpha a}],\overline{Q}_{\dot{\beta }b}\}`$ $`=`$ $`0`$
$`K_\nu (c_{i\mu }^\nu a_{\alpha \dot{\beta }}^\mu \delta _{ab}+a_{\alpha \dot{\gamma }}^\nu \delta _{ac}\overline{c}_{i\dot{\beta }}^{\dot{\gamma }}X_b^c+a_{\gamma \dot{\beta }}^\nu \delta _{cb}c_{i\alpha }^\gamma X_a^c)`$ $`=`$ $`0`$
$`K_\nu (c_{i\mu }^\nu a_{\alpha \dot{\beta }}^\mu \delta _{ab}+a_{\alpha \dot{\gamma }}^\nu (Jc_iJ^1)_{i\dot{\beta }}^{\dot{\gamma }}X_{ab}+a_{\gamma \dot{\beta }}^\nu c_{i\alpha }^\gamma X_{ba})`$ $`=`$ $`0`$ (161)
Si $`X_{ab}=\delta _{ab}=X_{ba}`$ se tiene que:

$$c_{i\mu }^\nu (a_\alpha J)_\beta ^\mu (a_\alpha J)_\gamma ^\nu c_{i\beta }^\gamma =(a_\gamma J)_\beta ^\nu c_{i\alpha }^\gamma $$
(162)
En forma matricial $`[c_i,a_\alpha J]=a_\beta Jc_{i\alpha }^\beta `$. Con respecto a $`SO(3)`$ las dos matrices $`a_\alpha J`$ transforman como un 2-vector. Se puede tomar por lo tanto $`a_{\alpha \dot{\beta }}^\mu =2\sigma _{\alpha \dot{\beta }}^\mu `$, donde el factor (2) es simplemente una convención. Adicionalmente se tiene que los generadores de supersimetría conmutan con los generadores de traslación:

$$[K_\mu ,Q_{\alpha a}]=0=[K_\mu ,\overline{Q}_{\dot{\alpha }a}]$$
(163)
Siendo estos un invariante traslacional. Esto no es obvio dado que la forma más general consistente con la invariancia de Lorentz es determinada de las propiedades de transformación del lado izquierdo, donde el conmutador se transforma como:

$$[1]\times \mathrm{\Delta }_+=[1]\times [\frac{1}{2},\frac{1}{2}]_+=[\frac{1}{2}\times \frac{1}{2}]\times [0\times \frac{1}{2}]=[\frac{1}{2}\times 0]+[\frac{1}{2}\times 1]=\mathrm{\Delta }_{}+[\mathrm{\Delta }:1]_+$$
(164)
Por lo tanto:

$$[K_\mu ,Q_{\alpha a}]=\overline{Q}_{\dot{\beta }b}c_{\mu \alpha }^{\dot{\beta }}V_a^b[K_\mu ,\overline{Q}_{\dot{\alpha }a}]=Q_{\beta b}\overline{c}_{\mu \dot{\alpha }}^\beta \overline{V}_a^b$$
(165)
Donde $`V_a^b`$ y $`\overline{V}_a^b`$ son escalares de Lorentz complejos y $`\overline{c}_{\mu \dot{\alpha }}^\beta =(c_{\mu \alpha }^{\dot{\beta }})^{}`$. Se ha asumido que estos generadores de simetría no transforman como: $`[\mathrm{\Delta }:1]_+=(\frac{1}{2},1)`$ o $`[\mathrm{\Delta }:1]_{}=(1,\frac{1}{2})`$. Se puede ver que todos los $`V_a^b`$ desaparecen, el primer paso es usar la ecuación (165) en la identidad de Jacobi:

$`[[K_\mu ,K_\nu ],Q_{\alpha a}]+[[Q_{\alpha a},K_\mu ],K_\nu ]+[[K_\nu ,Q_{\alpha a}],K_\mu ]`$ $`=`$ $`0`$
$`Q_{\gamma c}(\overline{c}_{\nu \dot{\beta }}^\gamma c_{\mu \alpha }^{\dot{\beta }}\overline{c}_{\mu \dot{\beta }}^\gamma c_{\nu \alpha }^{\dot{\beta }})\overline{V}_b^cV_a^b`$ $`=`$ $`0`$
$`Q_{\gamma c}(\overline{c}_{\mu \beta }^{\dot{\gamma }}c_{\nu \alpha }^{\dot{\beta }}\overline{c}_{\nu \beta }^{\dot{\gamma }}c_{\mu \alpha }^{\dot{\beta }})(\overline{V}.V)_a^c`$ $`=`$ $`0`$ (166)
Al tomar la contracción con $`ϵ^{\alpha \beta }`$ se obtiene que $`\overline{V}V=0`$. Se puede obtener más información considerando:

$`[\{Q_{\alpha a},Q_{\beta b}\},K_\mu ]+\{[K_\mu ,Q_{\alpha a}],Q_{\beta b}\}\{[Q_{\beta b},K_\mu ],Q_{\alpha a}\}`$ $`=`$ $`0`$ (167)
$`K_\nu c_{i\mu }^\nu a_{\alpha \beta }^iY_{ab}K_\nu a_{\beta \dot{\gamma }}^\nu c_{\mu \alpha }^{\dot{\gamma }}\delta _{bc}V_a^cK_\nu a_{\alpha \dot{\gamma }}^\nu c_{\mu \beta }^{\dot{\gamma }}\delta _{ac}V_b^c`$ $`=`$ $`0`$ (168)
Al tomar contracción con $`ϵ^{\alpha \beta }`$, esto se reduce a:

$$K_\nu ϵ^{\alpha \beta }a_{\alpha \dot{\gamma }}^\nu c_{\mu \beta }^{\dot{\gamma }}(V_{ba}V_{ab})=0$$
(169)
Por lo tanto $`V_{ab}`$ es simétrico y teniendo en cuenta que $`\overline{V}V=0`$ implica que $`V_a^b=0`$, obteniéndose la ecuación (163). De la ecuación (168) se establece la parte simétrica de la identidad de Jacobi dada por la ecuación (167). Esto implica que $`K_\nu f^\nu Y_{ab}=0`$, lo cual es cierto si $`Y_{ab}=0`$, entonces en (151) obtenemos:

$$\{Q_{\alpha a},Q_{\beta b}\}=Iϵ_{\alpha \beta }Z_{ab}$$
(170)
El escalar complejo de Lorentz $`Z_{ab}`$ es llamado la carga central, manipulando la identidad de Jacobi se puede mostrar que $`Z_{ab}`$ conmuta con los generadores $`Q_{\alpha a}\overline{Q}_{\dot{\alpha }a}`$:

$`[\{Q_{\alpha a},\overline{Q}_{\beta b}\},Q_{\gamma c}]+[\{Q_{\beta b},Q_{\gamma c}\},Q_{\gamma a}]+[\{Q_{\gamma c},Q_{\alpha a}\},Q_{\beta b}]`$ $`=`$ $`0`$
$`ϵ_{\alpha \beta }[Z_{ab},Q_{\gamma c}]+ϵ_{\beta \gamma }[Z_{bc},Q_{\alpha a}]+ϵ_{\gamma \alpha }[Z_{ca},Q_{\beta b}]`$ $`=`$ $`0`$
$`ϵ_{\alpha \beta }Q_{\gamma d}c_{abc}^d+ϵ_{\beta \gamma }Q_{\alpha d}c_{bca}^d+ϵ_{\gamma \alpha }Q_{\beta d}c_{cab}^d`$ $`=`$ $`0`$
$`Q_{\gamma d}(2c_{abc}^d+c_{bca}^d+c_{cab}^d)`$ $`=`$ $`0`$ (171)
Donde $`c_{abc}^d=0`$, dado que: $`c_{bca}^d=c_{abc}^d`$ y $`c_{cab}^d=c_{abc}^d=c_{bac}^d`$. Esto implica que $`[Z_{cd},Q_{\alpha a}]=0`$. Ahora tomando la siguiente identidad de Jacobi:

$$[\{Q_{\alpha a},Q_{\beta b}\},Z_{cd}]\{[Q_{\beta b},Z_{cd}],Q_{\alpha a}\}+\{[Z_{cd},Q_{\alpha a}],Q_{\beta b}\}=0$$

$$[Z_{ab},Z_{cd}]ϵ_{\alpha \beta }+\{Q_{\beta e},Q_{\alpha a}\}c_{cdb}^e+\{Q_{\alpha f},Q_{\beta b}\}c_{cda}^f=0$$

$$[Z_{ab},Z_{cd}]ϵ_{\alpha \beta }+Z_{ea}ϵ_{\beta \alpha }c_{cdb}^e+Z_{fb}ϵ_{\alpha \beta }c_{cda}^f=0$$

$$Z_{ae}c_{cdb}^e+Z_{bf}c_{cda}^f=[Z_{ab},Z_{cd}]$$
(172)
se obtiene que: $`[Z_{ab},Z_{cd}]=0`$. Se puede ver que la carga central genera una subálgebra invariante abeliana del álgebra de Lie compacta (isomorfa a $`[U(1)]^p`$, con $`p=`$ número cargas centrales independientes) generada por el hermitiano $`B_i`$. Por lo tanto podemos escribir $`Z_{ab}=B_ib_{ab}^i`$, con la constante de estructura $`c_{ia}^b`$ definida por:

$$[B_i,Q_{\alpha a}]=Q_{\alpha b}c_{ia}^b,[B_i,\overline{Q}_{\dot{\alpha }a}]=\overline{Q}_{\dot{\alpha }b}(c_{ia}^b)^{},$$
(173)
El coeficiente complejo $`b_{ab}^i`$ obedece la siguiente relación:

$$c_{ia}^cb_{bc}^i=b_{ac}^i(c_{ib}^c)^{}=0$$
(174)
Si se considera el conmutador de $`J_{\mu \nu }`$ con $`Q_{\alpha a}`$ y $`\overline{Q}_{\dot{\alpha }a}`$, estos pueden ser de la forma:

$$[J_{\mu \nu },Q_{\alpha a}]=Q_{\beta b}c_{\mu \nu \alpha }^\beta X_a^b,[J_{\mu \nu },\overline{Q}_{\dot{\alpha }a}]=\overline{Q}_{\dot{\beta }b}\overline{c}_{\mu \nu \dot{\alpha }}^{\dot{\beta }}\overline{X}_a^b$$
(175)
dado que los conmutadores se deben transformar como:

$`([1_+^2]+[1_{}^2])\times \mathrm{\Delta }_+`$ $`=`$ $`(\left[0\times 1\right]+\left[1\times 0\right])\times (\left[0\times \frac{1}{2}\right])=\left[0\times \frac{3}{2}\right]+\left[0\times \frac{1}{2}\right]+\left[1\times \frac{1}{2}\right]+\left[0\times \frac{1}{2}\right]`$
$`=`$ $`\mathrm{\Delta }_++[\mathrm{\Delta }:1]_{}+[\mathrm{\Delta }:1^2]_+`$
$`([1_+^2]+[1_{}^2])\times \mathrm{\Delta }_{}`$ $`=`$ $`(\left[0\times 1\right]+\left[1\times 0\right])\times (\left[\frac{1}{2}\times 0\right])=\left[\frac{3}{2}\times 0\right]+\left[\frac{1}{2}\times 0\right]+\left[\frac{1}{2}\times 1\right]+\left[\frac{1}{2}\times 0\right]`$ (177)
$`=`$ $`\mathrm{\Delta }_{}+[\mathrm{\Delta }:1]_++[\mathrm{\Delta }:1^2]_{}`$
Las constantes de estructura $`(c_{\mu \nu })_\alpha ^\beta `$ y $`(\overline{c}_{\mu \nu })_{\dot{\alpha }}^{\dot{\beta }}`$ son elementos matriciales de la representación 2-Dim del álgebra del grupo de Lorentz, relacionadas con $`J`$ como $`\overline{c}_{\mu \nu }=Jc_{\mu \nu }J^1`$. Las cuales pueden ser como $`c_{\mu \nu }\sigma _{\mu \nu }\frac{1}{2i}[\gamma _\mu ,\gamma _\nu ]`$ ($`\gamma _\mu `$ las matrices de Dirac), lo que resulta en transformaciones de la forma $`\mathrm{\Delta }\mathrm{\Delta }_++\mathrm{\Delta }_{}`$. En resumen:

$$\{Q_{\alpha a},Q_{\beta a}\}=Iϵ_{\alpha \beta }Z_{ab},\{Q_{\alpha a},\overline{Q}_{\dot{\beta }b}\}=K_\mu a_{\alpha \dot{\beta }}^\mu \delta _{ab}$$
(178)
$$[K_\mu ,Q_{\alpha a}]=0=[K_\mu ,\overline{Q}_{\dot{\alpha }a}][J_{\mu \nu },Q_{\alpha a}]=Q_{\beta b}c_{\mu \nu \alpha }^\beta X_a^b[J_{\mu \nu },\overline{Q}_{\dot{\alpha }a}]=\overline{Q}_{\dot{\beta }b}\overline{c}_{\dot{\mu }\dot{\nu }\dot{\alpha }}^{\dot{\beta }}\overline{X}_a^b$$
(179)
Ahora bien ampliando el grupo de Poincaré a un grupo que contenga además generadores supersimétricos $`\{Q_{\alpha a},\overline{Q}_{\alpha a}\}`$ y otros generadores de simetría interna. Los cuales cumplen las anteriores relaciones de conmutación y anticonmutación, obtenemos un grupo ‘supersimétrico’.

#### 4.1.1 El Álgebra Supersimétrica 4-Dim (N=1)

Para $`N=1`$ la carga central $`Z_{ab}`$ desaparece por antisimetría, y los coeficientes $`c_{i1}^1c_i`$ son reales. La identidad de Jacobi para $`[[Q,B],B]`$ nos conlleva a ver que la constante de estructura $`c_{i\mu }^k`$ desaparece, tal que el álgebra de la simetría interna es abeliana, entonces:

$$[Q_\alpha ,B_i]=Q_\alpha c_i[\overline{Q}_{\dot{\alpha }},B_i]=\overline{Q}_{\dot{\alpha }}c_i\text{re-escalando}B_i[Q_\alpha ,B_i]=Q_\alpha [\overline{Q}_{\dot{\alpha }},B_i]=\overline{Q}_{\dot{\alpha }}$$
(180)
Claramente solo una combinación independiente de los generadores abelianos ha de tener conmutadores distintos de cero con $`Q_\alpha `$ y $`\overline{Q}_{\dot{\alpha }}`$, por lo tanto se denota este generador de $`U(1)`$ por $`R`$, donde:

$$[Q_\alpha ,R]=Q_\alpha [\overline{Q}_{\dot{\alpha }},R]=\overline{Q}_{\dot{\alpha }}$$
(181)
Esta álgebra SUSY $`N=1`$ en general posee una simetría interna (global) $`U(1)`$ conocida como Simetría R. Se puede notar que los generadores de SUSY tienen una R-carga $`+1`$ y $`1`$ respectivamente.

### 4.2 Casimir SUSY

Dado que las irreps de SUSY pueden ser caracterizadas por un conjunto de observables que mutuamente conmutan, se necesita mostrar los operadores Casimir, esto es suficiente para el álgebra SUSY con N generadores.
Al construir las representaciones del grupo de Poincaré, estas son rotuladas por los Casimir:

* $`K.K=K^\mu K_\mu `$, con valores propios $`k^2`$ $``$ ($`k=mc/\mathrm{}`$, $`m`$ la masa de la partícula).
* $`W.W=W^\mu W_\mu `$ con $`W_\mu `$ el vector de Pauli-Lubanski $``$(operador de espín generalizado), definido en (94):

+ Estados Masivos: $`W.W`$ tiene valores propios $`k^2s(s+1)`$ con $`s=0,1/2,1,\mathrm{}`$
    + Estados No Masivos: $`(k=0)`$ se tiene que ($`K.K=0`$) y ($`W.W=0`$), cuya solución en la base de momento es dada como: 555Para estados no masivos es posible obtener estados en una base standard $`k^\mu =(k,0,0,k)`$, donde:
    $$W^\mu =k(J_{12},(J_{23}J_{02}),(J_{31}+J_{01}),J_{12})\text{ con }\mu =0,\mathrm{..3}$$
    Con
    $$[W^1,W^2]=0,[J_3,W^1]=iW^2,[J_3,W^2]=iW^1,\text{ con }J_3=J_{12}=W_0/k$$
    El álgebra de estos generadores es $`SO(2)T_2`$. Se puede obtener un espectro discreto de estados propios de momento tomando $`W_1=W_2=0`$, donde los valores propios semienteros $`\lambda `$ de $`J_3`$ introducen los números cuánticos discretos de helicidad y etiquetan los estados propios de momento. Entonces se obtiene:
    $$W_0|k,\lambda =\lambda k_0|k,\lambda =,W_1|k,\lambda =W_2|k,\lambda =0,W_3|k,\lambda =\lambda k_3|k,\lambda $$
    De manera compacta.
    $$W_\mu |k,\lambda \mathrm{}=\lambda k_\mu |k,\lambda \mathrm{}oW_\mu =\lambda K_\mu W.W=0$$

    $$W_\mu \lambda K_\mu \lambda \text{ la helicidad.}$$
    (182)

En general se tiene que:

$$[W_\mu ,K_\nu ]=0W.K=0W_0=(J.K)_0$$
(183)
En el caso de un álgebra SuperPoincaré, el operador $`K^\mu K_\mu `$ (cuadrado de la masa) es un Casimir, donde los estados supermultipletes poseen la misma masa. Sin embargo $`W.W`$ ya no es un Casimir, dado que los supermultipletes contienen estados con diferentes ‘espines’ rotulados por los valores propios de $`W.W`$, donde:

$`[W_\mu ,Q_{\alpha a}]`$ $`=`$ $`{\displaystyle \frac{1}{2}}ϵ^{\mu \sigma \nu \rho }K_\sigma [J_{\nu \rho },Q_{\alpha a}]={\displaystyle \frac{1}{2}}ϵ^{\mu \sigma \nu \rho }K_\sigma Q_{\beta b}c_{\nu \rho \alpha }^\beta X_a^b=K_\sigma Q_{\beta b}\stackrel{~}{c}_\beta ^{\mu \sigma \alpha }X_a^b0`$ (184)
Esto muestra que $`J^{\mu \nu }`$ no conmuta con $`Q`$ y $`\overline{Q}`$, lo que explica porqué $`W.W`$ no puede ser un Casimir. Se tiene entonces que los nuevos Casimir para SUSY son $`K.K`$ y $`C:C`$. Se introduce entonces un operador vectorial $`N_\mu `$:

$$N_\mu \overline{Q}_{\dot{\alpha }}Q_\beta \overline{a}_\mu ^{\dot{\alpha }\beta }$$
(185)
Donde

$$C:C\frac{1}{2}C_{\mu \nu }C^{\mu \nu },C_{\mu \nu }B_\mu K_\nu B_\nu K_\mu ,B_\mu W_\mu \frac{1}{4}N_\mu W_\mu \frac{1}{4}\overline{Q}_{\dot{\alpha }}Q_\beta \overline{a}_\mu ^{\dot{\alpha }\beta }$$
(186)
Con $`a_\mu ^{\dot{\alpha }\beta }a_{\dot{\alpha }\beta }^\mu `$. Usando (179) y (183) se puede comprobar de forma inmediata que $`B_\mu `$ cumple:

$$[B_\mu ,K_\nu ]=[W_\mu \frac{1}{4}\overline{Q}_{\dot{\alpha }}Q_\beta \overline{a}_\mu ^{\dot{\alpha }\beta },K_\nu ]=[W_\mu ,K_\nu ][\frac{1}{4}\overline{Q}_{\dot{\alpha }}Q_\beta \overline{a}_\mu ^{\dot{\alpha }\beta },K_\nu ]=0$$
(187)
Usando la identidad $`[AB,C]=A\{B,C\}\{A,C\}B`$. Se verifica que:

$$[\overline{Q}_{\dot{\beta }}Q_\gamma a_\mu ^{\dot{\beta }\gamma },Q_\alpha ]=\overline{Q}_{\dot{\beta }}a_\mu ^{\dot{\beta }\gamma }\{Q_\gamma ,Q_\alpha \}\{\overline{Q}_{\dot{\beta }},Q_\alpha \}Q_\gamma a_\mu ^{\dot{\beta }\gamma }=2K_\mu Q_\alpha +4iK_\nu Q_\beta b_{\mu \alpha }^{\nu \beta }$$
(188)
De los conmutadores (184) y (188) se tiene que:

$`[B_\mu ,Q_\alpha ]`$ $`=`$ $`[W_\mu ,Q_\alpha ]{\displaystyle \frac{1}{4}}[\overline{Q}_{\dot{\nu }}Q_\beta \overline{a}_\mu ^{\dot{\nu }\beta },Q_\alpha ]={\displaystyle \frac{1}{2}}K_\mu Q_\alpha `$ (189)
$`B_\mu K^\mu `$ $`=`$ $`{\displaystyle \frac{1}{4}}N_\mu K^\mu `$ (190)
Esto implica:

$$[C_{\mu \nu },Q_\alpha ]=[B_\mu ,Q_\alpha ]K_\nu [B_\nu ,Q_\alpha ]K_\mu =0$$
(191)
Tomando C:C obtenemos:

$$C:C=(B.B)(K.K)(B.K)^2$$
(192)
* Para estados masivos ($`m0`$). $`(C:C)`$ define un número cuántico de superspín $`\chi `$.

$$[C:C]|m,\chi =[(B.B)\frac{1}{K^2}(B.K)^2]|m,\chi m^2\chi (\chi +1)|m,\chi $$
(193)
* Para estados no masivos se sigue que:

$$K_\mu a^{\mu \dot{\alpha }\alpha }Q_{\alpha a}=K_\mu a^{\mu \alpha \dot{\alpha }}\overline{Q}_{\dot{\alpha }}^a=0$$
(194)
Lo que se reduce a $`Q_{1a}=\overline{Q}_{1a}=0`$ en la base standard considerada con anterioridad.

De (189) y (184) se sigue que:

$$[W_\mu ,Q_\alpha ]=\frac{1}{2}K_\mu Q_\alpha [N_\mu ,Q_\alpha ]=4K_\mu Q_\alpha [B_\mu ,Q_\alpha ]=\frac{1}{2}K_\mu Q_\alpha $$
(195)
Para una base standard se encuentra que $`N_1=N_2=0`$ y $`N_\mu N^\mu =0`$. Entonces se puede encontrar una representación en la cual $`W_1,W_2`$ aniquila los estados (discretos) de números cuánticos de superhelicidad. Obteniendose por lo tanto la siguiente relación:

$$B_\mu +\frac{1}{2}RK_\mu =\lambda K_\mu $$
(196)
Donde

$$[RK_\mu ,Q_\alpha ]=K_\mu Q_\alpha $$
(197)
De igual forma se obtiene que $`[R+(1/2K^2)(N.K)]`$ conmuta con $`Q`$ y $`\overline{Q}`$. lo que define una carga superquiral en el caso masivo. Para el caso no masivo se sigue de (195) que:

$$[(RK_\mu +\frac{1}{4}N_\mu ),Q]=0$$
(198)
Por lo tanto se puede escribir $`RK_\mu +\frac{1}{4}N_\mu =g_5K_\mu `$

### 4.3 Clasificación de Irreps SUSY Sobre Estados Singletes de Partículas

Todas las posibles irreps de SUSY se pueden construir sobre estados físicos que son clasificados en la base de valores propios de $`|k`$ con ($`k^20`$) y ($`k=mc/\mathrm{}`$), si ($`m0`$) $``$ la masa de la partícula.

* Si $`K.K|k=k^2|k`$ $``$ se considera la base standard $`k_\mu =(k,0,0,0)`$
* Si $`K.K|k=0`$ $``$ se considera la base standard $`k_\mu =(k,0,0,k)`$

Por lo tanto los estados masivos y no-masivos son tratados por separado. Cabe recordar que para el caso de la simetría de Poincaré, no se considera los tachyones ($`k^2`$ negativo), dado que $`\{Q,\overline{Q}\}`$ es definidamente positivo.

#### 4.3.1 Estados No-Masivos SUSY N.

Se considera ahora una representación no-masiva correspondiente a $`K.K=0`$. El álgebra SUSY en una base standard $`k_\mu =(k,0,0,k)`$ se reduce a:

$$\{Q_\alpha ^i,Q_\beta ^j\}|k_\mu =\{\overline{Q}_{\dot{\alpha }}^i,\overline{Q}_{\dot{\beta }}^j\}|k_\mu =0$$
(199)
y

$$\{Q_\alpha ^i,\overline{Q}_{\dot{\beta }}^j\}|k_\mu =2k\delta ^{ij}(\sigma _0+\sigma _3)_{\alpha \dot{\beta }}|k_\mu \{Q_2^i\overline{Q}_{\dot{2}}^j+\overline{Q}_{\dot{2}}^jQ_2^i\}|k_\mu =0$$
(200)
Por lo tanto $`Q_2^i,\overline{Q}_{\dot{2}}^i`$ mutuamente anticonmutan y actuan como un operador nulo ($`Q_2^i=\overline{Q}_{\dot{2}}^i=0`$) en la representación de estados. Se obtiene que los generadores $`Q_1^i,Q_{\dot{1}}^i`$ generan un álgebra de Clifford con $`N`$ grados de libertad fermiónicos:

$$\{Q_1^i,\overline{Q}_{\dot{1}}^j\}=\delta ^{ij}\{Q_1^i,Q_1^j\}=\{\overline{Q}_{\dot{1}}^i,\overline{Q}_{\dot{1}}^j\}=0$$
(201)
Reescalando

$$\overline{a}^i=\frac{1}{2\sqrt{k}}Q_1^ia^i=\frac{1}{2\sqrt{k}}\overline{Q}_{\dot{1}}^i$$
(202)
Donde $`[W_3,a_\alpha ^i]=\frac{1}{2}(\sigma _3a^i)_\alpha `$, $`[W_3,\overline{a}^{\dot{\alpha }i}]=\frac{1}{2}(\sigma _3\overline{a}^i)^{\dot{\alpha }}`$, se obtiene entonces:

$$W_3a^i=a^i(W_3\frac{1}{2})W_3\overline{a}^i=\overline{a}^i(W_3+\frac{1}{2})$$
(203)
Una representación del álgebra SUSY es caracterizada por un estado base de Clifford, etiquetado por la base de tetramomento $`k`$ y la helicidad $`\lambda `$. Mostrando que todos los generadores $`a^i`$ ‘bajan’ la helicidad por $`1/2`$ y todos los $`\overline{a}^i`$ lo ‘levantan’ . Los generadores del álgebra ‘menor’ relevantes en la física son $`\{W_3,a^i,\overline{a}^i\}`$ junto con los generadores de simetría interna. Tomando el estado $`|\lambda _0`$ con el número máximo de helicidad $`\lambda _0>0`$ en un supermultiplete, este satisface:

$$\overline{a}^i|\lambda _0=0i=1,2,\mathrm{},N$$
(204)
Se ha suprimido $`k`$. Entonces se puede construir la siguiente cadena de estados hacia abajo al aplicar los $`a^{i,}s`$

$$|\lambda _0,|\lambda _01/2,i_1\mathrm{},|\lambda _0l/2,i_1,\mathrm{},i_l,|\lambda _0N/2,i_1,\mathrm{},i_N$$
(205)
Con

$$\lambda _{min}=\lambda _0N/2\lambda _{max}=\lambda _0\delta \lambda =\lambda _{max}\lambda _{min}=N/2$$
(206)
Donde la multiplicidad de un estado $`|\lambda _0l/2,i_1,\mathrm{},i_l=a^{i_1}\mathrm{}a^{i_l}|\lambda _0`$ es dada por:

$$\left(\genfrac{}{}{0pt}{}{N}{l}\right)\text{con }0lN$$
(207)
Este es completamente antisimétrico en las etiquetas $`(i_1,\mathrm{},i_l)`$, dado que los a’s son antisimétricos. En general una teoría cuántica de Lorentz covariante es invariante CPT, esto implica que cualquier estado con helicidad $`(\lambda )`$ puede ser similar a un estado con helicidad $`(\lambda )`$, el cual satisface:

$$a^i|\lambda _0=0$$
(208)
Luego, es posible obtener la siguiente cadena de estados.

$$|\lambda _0,|\lambda _0+1/2,i_1\mathrm{},|\lambda _0+l/2,i_1,\mathrm{},i_l,|\lambda _0+N/2,i_1,\mathrm{},i_N$$
(209)
Donde el estado $`|\lambda _0+l/2,i_1,\mathrm{},i_l=\overline{a}^{i_1}\mathrm{}\overline{a}^{i_l}|\lambda _0`$ tiene una multiplicidad dada por (207). La consistencia de esto requiere que:

$$\lambda _0+N/2\lambda _0oN4\lambda _0$$
(210)
El supermultiplete CPT auto-conjugado es obtenido cuando $`N=4\lambda _0`$, por lo tanto las dos cadenas coinciden. Donde la multiplicidad total en este caso es:

$$\underset{l=0}{\overset{N}{}}\left(\genfrac{}{}{0pt}{}{N}{l}\right)=(1+1)^N=2^N$$

con $`2^{N1}`$ estados bosónicos y $`2^{N1}`$ estados fermiónicos. Un multiplete de supergravedad con un gravitón (y $`N`$ gravitinos de espín $`3/2`$) puede ser construido para $`N8`$, donde los supermultipletes con $`N=8,\lambda _0=2`$ y $`N=4,\lambda _0=1`$ son autoconjugados:

$$\begin{array}{ccccccccccc}& & & & & & & & & & \\ N=8\text{(Supergravedad)}\hfill & \lambda _0=2& & & & & & & & & \text{Total}\\ & & & & & & & & & & \\ \text{Helicidad}\hfill & 2& 3/2& 1& 1/2& 0& 1/2& 1& 3/2& 2& \\ & & & & & & & & & & \\ \text{Estados}\hfill & 1& 8& 28& 56& 70& 56& 28& 8& 1& =256\end{array}$$

$$\begin{array}{ccccccc}& & & & & & \\ N=4\text{(Teorías de Yang-Mills)}\hfill & \lambda _0=1& & & & & \text{Total}\\ & & & & & & \\ \text{Helicidad}\hfill & 1& 1/2& 0& 1/2& 1& \\ & & & & & & \\ \text{Estados}\hfill & 1& 4& 6& 4& 1& =16\end{array}$$

Para el caso $`N=7`$, el supermultiplete $`\lambda _0=2`$ tiene el mismo contenido de partícula que $`N=8,\lambda _0=2`$. Lo mismo es cierto para los supermultipletes $`N=4,\lambda _0=1`$ y $`N=3,\lambda _0=1`$. Para el caso de espín $`3/2`$ se tienen acoplamientos no renormalizables, por lo tanto se requiere que $`N4,\lambda _01`$ para teorías renormalizables.
Si se parte de una teoría de campos consistente con estados de helicidad menor o igual a 2 (gravitones), entonces es necesario que $`N8`$. Para $`N9`$ se encuentra una helicidad $`5/2`$ y superiores, lo cual no es consistente con esto. Además habría más de un estado con helicidad 2 (gravitones). Este requerimiento físico conlleva a un máximo de 8 generadores supersimétricos independientes.

#### 4.3.2 Ejemplo: Estados No-Masivos SUSY N=1.

Para estados no-masivos ($`K.K=0`$) desde la base de referencia $`k_\mu (k,0,0,k)`$, tenemos que:

$$C:C|k_\mu =2k^2(B_0B_3)^2|k_\mu =\frac{1}{2}k^2\overline{Q}_{\dot{2}}Q_2\overline{Q}_{\dot{2}}Q_2|k_\mu =0$$
(211)
Teniéndo en cuenta (200), obtenemos:

$$\{Q_{\dot{1}},\overline{Q}_{\dot{1}}\}|k_\mu =4k|k_\mu \{Q_{\dot{2}},\overline{Q}_{\dot{2}}\}|k_\mu =0$$
(212)
Para definir el estado de vacio $`|\mathrm{\Omega }`$ se debe tener en cuenta de las ecuaciónes (211,212) que el operador de creación $`\overline{Q}_{\dot{2}}`$ construye estados de norma cero

$$\mathrm{\Omega }|Q_2\overline{Q}_{\dot{2}}|\mathrm{\Omega }=0$$
(213)
Esto significa que se puede tomar el conjunto $`\overline{Q}_{\dot{2}}`$ igual a cero en el sentido de operador, como se mencionó antes en (4.1) . Por lo tanto solo queda un par de operadores creación y destrucción, como en (202):

$$a=\frac{1}{2\sqrt{k}}Q_1,a^{}=\frac{1}{2\sqrt{k}}\overline{Q}_{\dot{1}}$$
(214)
Con $`|\mathrm{\Omega }`$ no degenerado y con una helicidad definida $`\lambda _0`$. El operador de creación $`a^{}`$ transforma como $`\mathrm{\Delta }_+(0,\frac{1}{2})`$ bajo el grupo de Lorentz, es decir incrementa la helicidad por $`\frac{1}{2}`$. Las irreps no-masivas de SUSY (N=1) contienen cada una (2) estados.

$`|\mathrm{\Omega }`$ $`\text{helicidad }\lambda _0`$ (215)
$`a|\mathrm{\Omega }`$ $`\text{helicidad }\lambda _0{\displaystyle \frac{1}{2}}`$ (216)
Sin embargo este no es un estado propio CPT en general, se requiere tener por lo menos (2) irreps no-masivos SUSY para obtener los (4) estados con helicidad $`\{\lambda _0,(\lambda _0\frac{1}{2}),\lambda _0\frac{1}{2},\lambda _0\}`$. Por ejemplo, para $`N=1`$ con $`4`$ estados de helicidad se obtiene:

$$\begin{array}{ccccccc}& & & & & & \\ \text{Supermultiplete Quiral}\hfill & \lambda _0=1/2& & & & & \\ & & & & & & \\ \text{Helicidad}\hfill & 1/2& 0& 1/2& & & \\ & & & & & & \\ \text{Estados}\hfill & 1& 1+1& 1& & & \\ & & & & & & \\ & & 2(S=0)+(S=1/2)& & & & \end{array}$$

$$\begin{array}{cccccc}& & & & & \\ \text{Supermultiplete Gauge}\hfill & \lambda _0=1& & & & \\ & & & & & \\ \text{Helicidad}\hfill & 1& 1/2& 1/2& & 1\\ & & & & & \\ \text{Estados}\hfill & 1& 1& 1& & 1\\ & & & & & \\ & & (S=1)+(S=1/2)& & & \end{array}$$

$$\begin{array}{cccccc}& & & & & \\ \text{Multiplete de supergravedad simple}\hfill & \lambda _0=2& & & & \\ & & & & & \\ \text{Helicidad}\hfill & 2& 3/2& 3/2& & 2\\ & & & & & \\ \text{Estados}\hfill & 1& 1& 1& & 1\\ & & & & & \\ & & (S=2)+(S=3/2)& & & \end{array}$$

Para $`\lambda _0=3/2`$ se obtiene un contenido de partícula con $`(S=3/2)+(S=1)`$.

#### 4.3.3 Estados Masivos SUSY $`N`$.

Para la representación masiva ($`m0`$), el álgebra SUSY en el sistema de reposo $`k_\mu =(k,0,0,0)`$), toma la forma:

$$\{Q_\alpha ^i,\overline{Q}_{\dot{\beta }}^j\}=2k\delta _{\alpha \dot{\beta }}\delta _{ij}\{Q_\alpha ^i,Q_\beta ^j\}=\{\overline{Q}_{\dot{\alpha }}^i,\overline{Q}_{\dot{\beta }}^j\}=0\text{con }i,j=1,\mathrm{}N$$
(217)
Reescalando se puede tener:

$$a_\alpha ^i=\frac{Q_\alpha ^i}{\sqrt{2k}}(a_\alpha ^i)^{}=\frac{\overline{Q}_{\dot{\alpha }}^i}{\sqrt{2k}}$$
(218)
Los cuales satisfacen el álgebra de Clifford en 2N dim. Los estados de la representación pueden ser ordenados en multipletes de espín de algún estado base (o vacio) $`|\mathrm{\Omega }`$ de algún espín dado, aniquilado por los operadores $`a_\alpha ^i`$. los otros estados de la representación son dados como:

$$|a_{\alpha _1}^{i_1}\mathrm{}a_{\alpha _N}^{i_N}=(a_{\alpha _1}^{i_1})^{}\mathrm{}(a_{\alpha _N}^{i_N})^{}|\mathrm{\Omega }$$
(219)
El estado base $`|\mathrm{\Omega }`$ tiene espín $`s`$, el estado de espín maximal tiene espín $`s+N/2`$ y el estado de espín minimal tiene:

* Si $`sN/2`$ $``$ espín $`sN/2`$
* Si $`s<N/2`$ $``$ espín $`0`$

Cuando el estado base $`|\mathrm{\Omega }`$ tiene espín 0, el número total de estados es igual a $`2^{2N}`$ con $`2^{2N1}`$ estados fermiónicos (construidos con un número impar de operadores $`(a_\alpha ^i)^{}`$) y $`2^{2N1}`$ estados bosónicos (construidos con un número impar de operadores $`(a_\alpha ^i)^{}`$). El espín maximal es $`N/2`$ y el espín minimal es 0.
Como se ilustra en la sgte sección para el caso SUSY N=1, el estado base $`|\mathrm{\Omega }`$ tiene spín j, los estados multiplete tienen espín $`(j,j+1/2,j1/2,j)`$, donde el estado base $`|\mathrm{\Omega }`$ tiene espín 0, el supermultiplete tiene 2 estados de espín 0 y 1 estado de espín 1/2. En la siguiente tabla se dan las dimensiones de la representación masiva con estados base $`\mathrm{\Omega }_s`$ (de espín $`s`$) para N=1,2,3,4.

$$\begin{array}{ccccc}& & & & \\ & & N=1& & \\ & & & & \\ \text{Espín}\hfill & \mathrm{\Omega }_0& \mathrm{\Omega }_{1/2}& \mathrm{\Omega }_1& \mathrm{\Omega }_{3/2}\\ & & & & \\ 0\hfill & 2& 1& & \\ & & & & \\ 1/2\hfill & 1& 2& 1& \\ & & & & \\ 1\hfill & & 1& 2& 1\\ & & & & \\ 3/2\hfill & & & 1& 2\\ & & & & \\ 2\hfill & & & & 1\end{array}\begin{array}{cccc}& & & \\ & & N=2& \\ & & & \\ \text{Espín}\hfill & \mathrm{\Omega }_0& \mathrm{\Omega }_{1/2}& \mathrm{\Omega }_1\\ & & & \\ 0\hfill & 5& 4& 1\\ & & & \\ 1/2\hfill & 4& 6& 4\\ & & & \\ 1\hfill & 1& 4& 6\\ & & & \\ 3/2\hfill & & 1& 4\\ & & & \\ 2\hfill & & & 1\end{array}\begin{array}{ccc}& & \\ & N=3& \\ & & \\ \text{Espín}\hfill & \mathrm{\Omega }_0& \mathrm{\Omega }_{1/2}\\ & & \\ 0\hfill & 14& 14\\ & & \\ 1/2\hfill & 14& 20\\ & & \\ 1\hfill & 6& 15\\ & & \\ 3/2\hfill & 1& 6\\ & & \\ 2\hfill & & 1\end{array}\begin{array}{cc}& \\ & N=4\\ & \\ \text{Espín}\hfill & \mathrm{\Omega }_0\\ & \\ 0\hfill & 42\\ & \\ 1/2\hfill & 48\\ & \\ 1\hfill & 27\\ & \\ 3/2\hfill & 8\\ & \\ 2\hfill & 1\end{array}$$

#### 4.3.4 Ejemplo: Estados Masivos SUSY N=1.

Se analiza estos estados desde la base $`k_\sigma (k,0,0,0)`$, donde:

$$C_{\mu \nu }|k_\sigma =B_ik|k_\sigma \delta _\mu ^i\delta _\nu ^0B_ik|k_\sigma \delta _\mu ^0\delta _\nu ^i$$
(220)
y $`B_i=W_i\overline{Q}\times Q:a_i^1`$

$$B_i|k_\sigma =(J_ik\overline{Q}\times Q:a_i^1)|k_\sigma kS_i|k_\sigma $$
(221)
Por lo tanto se puede escribir:

$$C:C|k_\sigma =k^2B.B|k_\sigma =k^4S.S|k_\sigma ,S_iJ_i\frac{1}{k}\overline{Q}\times Q:a_i^1$$
(222)
Con $`S_i`$ el operador espinorial, definido aquí como un operador de rotación en la base standard. teniéndose que $`\overline{Q}\times Q:a_i^1`$ obedece el álgebra $`SO(3)`$.

$`[\overline{Q}\times Q:a_i^1,\overline{Q}\times Q:a_j^1]`$ $`=`$ $`(\overline{Q}_{\dot{\alpha }}Q_\beta \overline{Q}_{\dot{\gamma }}Q_\delta \overline{Q}_{\dot{\gamma }}Q_\delta \overline{Q}_{\dot{\alpha }}Q_\beta )(a^1)_i^{\dot{\alpha }\beta }(a^1)_j^{\dot{\gamma }\delta }`$ (223)
$`=`$ $`K_\mu (\overline{Q}_{\dot{\alpha }}Q_\delta a_{\dot{\beta }\gamma }^\mu +\overline{Q}_{\dot{\gamma }}Q_\beta a_{\delta \dot{\alpha }}^\mu )(a^1)_i^{\dot{\alpha }\beta }(a^1)_j^{\dot{\gamma }\delta }`$ (224)
Donde

$$[\overline{Q}\times Q:a_i^1,\overline{Q}\times Q:a_j^1]|k_\sigma =k(\overline{Q}_{\dot{\alpha }}Q_\delta a_{\beta \dot{\gamma }}^0+\overline{Q}_{\dot{\gamma }}Q_\beta a_{\delta \dot{\alpha }}^0)(a^1)_i^{\dot{\alpha }\beta }(a^1)_j^{\dot{\gamma }\delta }|k_\sigma $$
(225)
y

$$[S_i,S_j]=iS_kϵ_{ij}^k$$
(226)
$`S.S`$ tiene valores propios $`s(s+1)`$, con $`s`$ entero o semientero. Los conmutadores de $`S_i`$ con $`Q`$ y $`\overline{Q}`$ son proporcionales a los $`K_is`$

$$[S_i,Q_\alpha ]=[J_i,Q_\alpha ]\frac{1}{k}[\overline{Q}\times Q:a_i^1,Q_\alpha ]=Q_\beta c_{i\alpha }^\beta \frac{1}{k}(K_iQ_\alpha +K_\nu Q_\beta b_{\alpha i}^{\nu \beta })$$
(227)
Usando $`J_i=A_i+\overline{A}_i`$, ‘el cual es vacio’ en la base. Los generadores $`Q_\alpha ,\overline{Q}_{\dot{\alpha }}`$ se comportan como 2 pares de operadores de creación y destrucción en irreps masivas SUSY $`N=1`$ con $`k`$ y $`s`$ fijos.

$$\{Q_\alpha ,\overline{Q}_{\dot{\beta }}\}=Ika_{\alpha \dot{\beta }}^0=2Ik\delta _{\alpha \dot{\beta }}$$
(228)
Dado un estado definido por $`|k,s`$ se puede ahora definir un nuevo estado.

$$|\mathrm{\Omega }Q_1Q_2|k,s,Q_1|\mathrm{\Omega }=0=Q_2|\mathrm{\Omega }$$
(229)
$`|\mathrm{\Omega }`$ es el estado de vacio de Clifford con respecto a los operadores de aniquilación fermiónicos $`Q_1,Q_2`$. Se puede notar que $`|\mathrm{\Omega }`$ es degenerado $`2s+1`$ donde $`s_3`$ toma los valores $`s,\mathrm{},+s`$. Actuando sobre $`|\mathrm{\Omega }`$, Dado que $`S_i`$ se reduce a $`J_i`$, se obtiene que $`|\mathrm{\Omega }`$ es ahora un estado propio de rotación.

$$|\mathrm{\Omega }=|k,j,m_j$$
(230)
Por lo tanto todos las irreps en SUSY pueden ser caracterizadas por masa y espín. Es conveniente definir convencionalmente los operadores de creación y destrucción.

$$a_\alpha \frac{1}{\sqrt{2k}}Q_\alpha ,a_\alpha ^{}\frac{1}{\sqrt{2k}}\overline{Q}_\alpha $$
(231)
Para un $`|\mathrm{\Omega }`$ la irreps masiva SUSY es dada como:

$$|\mathrm{\Omega },a_1^{}|\mathrm{\Omega },a_2^{}|\mathrm{\Omega },\frac{1}{2}a_1^{}a_2^{}|\mathrm{\Omega }=\frac{1}{2}a_2^{}a_1^{}|\mathrm{\Omega }$$
(232)
Donde el total de estados en la irreps masiva son $`4(2j+1)`$
Calculando el espín de estos estados con el uso de los conmutadores:

$$[S_3,a_1^{}]=\frac{1}{2}a_1^{}[S_3,a_2^{}]=\frac{1}{2}a_2^{}$$
(233)
Por lo tanto para $`|\mathrm{\Omega }=|k,j,m_j`$ se encuentran los estados con espín $`m_s=m_j,m_j\frac{1}{2},m_j+\frac{1}{2},m_j`$.
Como un ejemplo se considera ahora $`j=0`$ o la irreps fundamental masiva (N=1). Donde $`|\mathrm{\Omega }`$ tiene espín cero, por lo tanto tenemos un total de (4) estados en la irreps, con espín $`m_s=0,\frac{1}{2},\frac{1}{2}`$ y $`0`$ respectivamente. El operador paridad intercambia $`a_1^{}`$ con $`a_2^{}`$, entonces uno de los estados de espín cero es un pseudoescalar. Para estos cuatro estados corresponde un estado masivo de Weyl fermiónico, un escalar real y un pseudoescalar real.

## 5 Supersimetría Desde Grupos $`SO(n,m)`$

El estudio de T.C.C. en espacios de Sitter $`SO(d,1)`$ y Anti-de Sitter $`SO(d1,2)`$ ha tenido mucho empuje en los últimos años y muestra ser un ambiente propicio para acercarce a un esquema de unificación. Dado que:

* En teorías de supergravedad gauge: si los estados base son invariantes bajo $`N`$ supersimetrías independientes, puede ser adicionalmente invariante $`SO(N)`$. Donde el grupo de simetrías total que incluye simetrías fermiónicas, es caracterizado por la extensión graduada de $`Sp(4)\times SO(N)`$ (siendo $`Sp(4)SO(3,2)`$ en el álgebra) denotado por $`OSp(N|4)`$ (ver ). Dado que las representaciones de álgebras supersimétricas con $`N>8`$ contienen estados de helicidad mayor que dos, no se construyen. Por lo tanto el grupo de simetría mas grande permisible es dado por $`OSp(8|4)`$. Teniendo en cuenta que los campos en un supermultiplete no necesariamente deben tener la misma masa a diferencia del supergrupo $`{}_{}{}^{S}P(N|3,1)`$.
* Muy recientemente Maldacena  encontró una relación dual (correspondencia $`AdS`$/$`CFT`$) entre: teorías de campos superconformales ($`CFT`$), definidas en espacios planos d-Dimensionales que habitan sobre la frontera de un espacio-tiempo $`AdS`$ y la teoría-M (teoría de cuerdas) compactificada en un espacio $`AdS`$ d+1-Dimensional, la cual corresponde a una teoría de supergravedad gauge. Por ejemplo es posible establecer una correspondencia $`AdS_7/CFT_6`$ entre una teoría-M compactificada en $`S^4`$ y una teoría de campos comformales en seis dimensiones. El supergrupo de la teoría-M asociado con $`N=4`$ es $`OSp(8^{}|4)`$ y es definido en un espacio $`AdS_7\times S^4`$ con un algebra bosónica $`SO(6,2)\times USp(4)`$ (ver ).

Cuando se construyen teorías de supergravedad gauge, estas permiten campos vectoriales gauge no-abelianos $`SO(N)`$. Donde el lagrangiano asociado contiene un término cosmológico $`ϵ`$ proporcional a $`g^2`$ y el término masivo del gravitino $`\overline{\mathrm{\Psi }}_\mu \gamma ^{\mu \nu }\mathrm{\Psi }^\nu `$ proporcional a $`g`$, con $`g`$ la constante de acoplamiento de los campos gauge no-abelianos. En el límite $`g0`$ esta teoría se reduce a una teoría de supergravedad ordinaria (SuperPoincaré $`^SP(N|3,1)`$).

### 5.1 El Grupo $`SO(d1,2)`$

Empezando con el grupo $`SO(n,m)`$, el cual se puede representar como el conjunto de las matrices $`\{T\}_{p\times p}`$ con $`n+m=p`$ que preservan $`g`$ (con $`g`$ una métrica sobre $`R^p`$) y signatura $`(n,m)`$, es decir:

$$g(Tv,Tu)=g(v,u)\text{con }v,uR^p\text{}det(T)=1$$
(234)
Con $`\frac{1}{2}(p1)p`$ generadores de grupo asociados.
Tomando $`n=d,m=1`$ $`(n=d1,m=2)`$, se puede hacer extensiones de las propiedades del grupo de Sitter $`SO(4,1)`$ (Anti-de Sitter $`SO(3,2)`$) al grupo $`SO(d,1)`$ $`(SO(d1,2))`$ con $`d4`$. Este corresponde al grupo de simetrías maximal en un espacio $`dS`$ ($`AdS`$), con $`\frac{1}{2}d(d+1)`$ isometrias. El cual es descrito por una hipersuperficie embuida en un espacio $`(d+1)`$-dimensional definida como:666El espacio $`dS`$ ($`AdS`$) es un espacio homogeneo, lo cual significa que cualquier 2 puntos en él pueden ser relacionados por una isometría. Para el caso $`AdS`$, este tiene la topología de $`S^1\text{ [time] }\times 𝐑^{d1}`$. Al Desenrrollar $`S^1`$, se encuentra el espacio de cubertura universal denotado por $`CadS`$, El cual tiene la topología de $`𝐑^d`$.

$$(y^1)^2+(y^2)^2+\mathrm{}+(y^{d1})\pm (y^d)^2(y^{d+1})^2=\eta _{ij}y^iy^j=g^2\text{con }g1/R$$
(235)
Siendo $`y^i`$ ($`i=1,2,\mathrm{},d1,d,d+1`$) las coordenadas y $`R`$ el radio $`dS`$($`AdS`$). Esta hipersuperficie es invariante bajo transformaciones lineales que preserven la métrica $`\eta _{ij}=diag(++\mathrm{}+\pm ,)`$, las cuales constituyen el grupo $`SO(d,1)`$ ($`SO(d1,2)`$) con $`\frac{1}{2}d(d+1)`$ generadores denotados por $`J_{ij}`$ y un álgebra definida como:

$$[J_{ij},J_{kl}]=i(J_{ik}\eta _{jl}J_{il}\eta _{jk}+J_{jl}\eta _{ik}J_{jk}\eta _{il})$$
(236)
Para $`SO(d1,2)`$ (caso de nuestro interés), los generadores se pueden representar de forma espinorial como una combinación de matrices gamma:

$$J_{ij}\{\begin{array}{ccc}\frac{1}{2}\mathrm{\Gamma }_{ij}\hfill & \text{si}\hfill & i,j=1,\mathrm{},d1,d\mathrm{\Gamma }_{ij}[\mathrm{\Gamma }_i,\mathrm{\Gamma }_j]\hfill \\ \frac{1}{2}\mathrm{\Gamma }_j\hfill & \text{si}\hfill & i=d+1,j=1,\mathrm{},d1,d\hfill \end{array}$$
(237)
Las cuales satisfacen la propiedad de Clifford $`\{\mathrm{\Gamma }^i,\mathrm{\Gamma }^j\}=2\eta ^{ij}\mathbf{\hspace{0.17em}1}`$, con $`\eta ^{ij}=\mathrm{diag}(++\mathrm{}+)`$.

### 5.2 Superálgebras Anti-de Sitter

En general cuando se considera un superálgebra Anti-de Sitter significa construir un álgebra combinada de simetrías bosónicas y fermiónicas, donde su estructura cambia drásticamente si $`d7`$ (Ver ). Para $`d7`$ el subálgebra bosónica correspondiente a las simetrías del espacio-tiempo coincide con el álgebra Anti-de Sitter. Cuando introducimos $`N`$ generadores de supersimetría, cada uno transforma como un espinor bajo el grupo Anti-de Sitter, donde el subálgebra bosónica ya no es restringida a un álgebra Anti-de Sitter, se necesitan generadores bosónicos extras $`(N)`$ que transformen como un tensor antisimétrico de rango superior bajo el grupo de Lorentz. Estos $`N`$ generadores transforman bajo un grupo compacto y aparecen en los anticonmutadores $`\{Q,\overline{Q}\}`$. Algo similar ocurre cuando se construye un álgebra SuperPoincaré (N-extensión) asociada con un espacio de Minkowski plano, donde los generadores bosónicos corresponden al grupo Poincaré, aumentados con los generadores de un grupo compacto asociado a las rotaciones de las supercargas. Los cuales son considerados nulos para una superálgebra con cargas centrales (ver ecuaciones (150) y (151)).
Tomando la clasificación de Nahm . Los requerimientos para un álgebra superconformal en $`d`$ o un super-álgebra Anti-de Sitter en $`d+1`$ son:

* $`SO(d1,2)`$ o $`SO(d,1)`$ debe aparecer como un subgrupo factorizado de la parte bosónica del superálgebra. Para Nahm, este requirimiento está motivado por el teorema de Coleman–Mandula, pero se puede exijir igualmente que el álgebra bosonica sea el álgebra de isometrias de un espacio que tenga al espacio $`AdS`$ como una factorización.
* Los generadores fermiónicos deben colocarse en una representación espinorial del grupo.

Obteniendose la siguiente clasificación para las álgebras bosónicas simples con $`4d7`$ que contengan $`SO(3,2)`$ o $`SO(4,1)`$:

$$\begin{array}{ccc}SO(3,2)SO(N)\hfill & \text{con}N=1,2,\mathrm{}\hfill & SO(4,1)U(1)\hfill \\ SO(4,2)U(N)\hfill & \text{con}N4\hfill & SO(4,2)SU(4)\hfill \\ SO(5,2)SU(2)\hfill & & SO(6,1)SU(2)\hfill \\ SO(6,2)SU(N,H)\hfill & \text{con}N=1,2,\mathrm{}\hfill & \end{array}$$
(238)
$`H`$ indica los cuaterniones. Sobre las álgebras se establece el siguiente isomorfismo:

$`SO(3,2)`$ $`=`$ $`Sp(4)SO(4,1)=USp(2,2)`$
$`SO(4,2)`$ $`=`$ $`SU(2,2)SO(6,2)=SO^{}(8)`$ (239)
Dado que el propósito de este trabajo es encontrar grupos $`SO(n,m)`$ que permitan generar un grupo $`P(3,1)`$ mediante una contracción ya sea del grupo de Sitter o Anti-de Sitter y a la vez su extensión supersimétrica permita acoplar grupos gauge de simetría interna. Usando la anterior clasificación: el grupo $`SO(n,m)`$ minimal que cumple estas condiciones es dado por $`SO(3,2)`$. Donde su extensión supersimétrica es dada por $`OSp(N|4)`$. El cual clasifica las representaciones de partículas en teorías de supergravedad y es la extensión graduada de $`SO(3,2)\times SO(N)`$. En lo que sigue se considerará este grupo, donde $`SO(3,2)`$ tiene 10 generadores hermíticos $`J_{ij}`$ y $`N(N1)/2`$ generadores $`Y_{ab}`$ de $`SO(N)`$ con $`a,b=1,\mathrm{},N`$, con un álgebra asociada:

$`\{Q_\alpha ^a,\overline{Q}_\beta ^b\}`$ $`=`$ $`i(\delta ^{ab}c_{\alpha \beta }^{ij}J_{ij}+\delta _{\alpha \beta }Y^{ab})`$
$`[J_{ij},Q_\alpha ^a]`$ $`=`$ $`ic_{ij\alpha }^\beta Q_\beta ^a`$
$`[Y^{ab},Y^{cd}]`$ $`=`$ $`i(\delta ^{ac}Y^{bd}\delta ^{bc}Y^{ad}+\delta ^{bd}Y^{ac}\delta ^{ad}Y^{bc})`$
$`[Y^{ab},Q_\alpha ^c]`$ $`=`$ $`i(\delta ^{ac}Q_\alpha ^b\delta ^{bc}Q_\alpha ^a)`$ (240)
Junto con (236), estas relaciones completan el superálgebra Anti-de Sitter. Como se muestra el álgebra Anti-de Sitter cambia su forma cuando consideramos $`N`$ generadores de supersimetría, que rotan bajo la acción de un grupo compacto. Surgen unas cargas bosónicas extras asociadas con tensores de Lorentz de mayor rango, que aparecen en el lado derecho de los anticommutadores $`\{Q,\overline{Q}\}`$. A diferencia de un espacio de Minkowski (plano), en un espacio $`AdS`$ el grupo de simetría interna es $`SO(N)`$ en vez del grupo abeliano $`[U(1)]^p`$ generado por las cargas centrales ($`p=`$ número total de cargas centrales independientes). (ver )
Las matrices $`c^{ij}`$ en (240) son definidas como:

$$c^{ij}=\{\begin{array}{ccc}\frac{1}{2}\gamma ^i\hfill & \text{para }\hfill & j=5i=1,2,3,4\hfill \\ \frac{1}{4}[\gamma ^i,\gamma ^j]\hfill & \text{para}\hfill & i,j=1,2,3,4\hfill \end{array}$$
(241)
Aquí se usa la siguiente representación para las $`\gamma `$-matrices:

$$\gamma ^0=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)\gamma ^i=\left(\begin{array}{cc}0& \sigma ^i\\ \sigma ^i& 0\end{array}\right)$$
(242)
Además se usa la parametrización espinorial de Majorana como:

$$Q_\alpha ^a=\left(\begin{array}{c}a_\alpha ^a\\ ϵ_{\alpha \beta }\overline{a}_\beta ^a\end{array}\right)ϵ=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)$$
(243)
Siendo $`\overline{a}_\alpha ^a`$ es el adjunto hermítico de $`a_\alpha ^a`$. De (240) y (243) se obtiene que:

$`[J_{45},a_\alpha ^a]`$ $`=`$ $`{\displaystyle \frac{1}{2}}a_\alpha ^a[J_{45},\overline{a}_\alpha ^a]={\displaystyle \frac{1}{2}}\overline{a}_\alpha ^a`$
$`[J_i,a_\alpha ^a]`$ $`=`$ $`{\displaystyle \frac{1}{2}}(\sigma _a)_\alpha ^\beta a_\beta ^a[J_i,\overline{a}_\alpha ^a]={\displaystyle \frac{1}{2}}\overline{a}_\beta ^a(\sigma _a)_\alpha ^\beta J_{ij}ϵ_{ij}^kJ_k`$ (244)
Donde $`\overline{a}_\alpha ^a`$ y $`a_\alpha ^a`$ suben y bajan la energía respectivamente por $`1/2`$, con $`\overline{a}_\alpha ^a`$ un operador espinorial standard irreducible con respecto a las rotaciones espaciales. Usando (243) se puede escribir explícitamente (240) como:

$`\{a_\alpha ^a,a_\beta ^b\}`$ $`=`$ $`\delta ^{ab}(J_{45}+\sigma ^iJ_i)_{\alpha \beta }+i\delta _{\alpha \beta }Y^{ab}`$
$`ϵ_{\alpha \gamma }\{\overline{a}_\gamma ^a,\overline{a}_\beta ^b\}`$ $`=`$ $`\delta ^{ab}\sigma _{\alpha \beta }^iJ_i^+\{a_\alpha ^a,a_\gamma ^b\}ϵ_{\gamma \beta }=\delta ^{ab}\sigma _{\alpha \beta }^iJ_i^+`$ (245)
Se puede ver que los operadores compactos en el subálgebra bosónica $`SO(3,2)\times SO(N)`$ pueden ser escritos como anticonmutadores de operadores de creación y aniquilación mientras que los operadores no-compactos siempre involucran ya sean 2 operadores de creación o 2 operadores de destrucción. Esta exposición es cierta para otras álgebras no-compactas y superálgebras cuando se expresan estos generadores en términos de productos de operadores: creación, aniquilación fermiónicos y bosónicos. (ver )
Como se mostró en la sección (4), el espacio plano es consistente con supersimetría. Esto también es cierto para un espacio $`AdS`$, con un mismo número de isometrias pero ahora corresponden al grupo Anti-de Sitter. Los cuales están relacionados al tomar el límite $`R\mathrm{}`$ (o $`g0`$, que corresponde a un espacio plano). Donde el algebra Anti-de Sitter es contraida en el álgebra de Poincaré (ver sección (3.1)). Mecanismo que también puede ser aplicado a las superálgebras reescribiendo los generadores como:

$`Q_\alpha ^a`$ $``$ $`\phi _\alpha ^a{\displaystyle \frac{1}{\sqrt{R}}}Q_\alpha ^a\text{ con }\underset{R\mathrm{}}{lim}\phi _\alpha ^aQ_\alpha ^a`$
$`J_{5\nu }`$ $``$ $`\mathrm{\Pi }_\nu {\displaystyle \frac{1}{R}}J_{5\nu }\text{ con }\underset{R\mathrm{}}{lim}\mathrm{\Pi }_\nu K_\nu `$
$`J_{\mu \nu }`$ $``$ $`J_{\mu \nu }`$ (246)
Por lo tanto el superálgebra $`OSp(N|4)`$ toma la forma:

$`[J_{\mu \nu },J_{\rho \sigma }]`$ $`=`$ $`i(J_{\mu \rho }\eta _{\nu \sigma }J_{\mu \sigma }\eta _{\nu \rho }+J_{\nu \sigma }\eta _{\mu \rho }J_{\nu \rho }\eta _{\mu \sigma })`$ (247)
$`[\mathrm{\Pi }_\mu ,J_{\rho \sigma }]`$ $`=`$ $`i(\mathrm{\Pi }_\rho \eta _{\mu \sigma }\mathrm{\Pi }_\sigma \eta _{\mu \rho })[\mathrm{\Pi }_\mu ,\mathrm{\Pi }_\nu ]={\displaystyle \frac{i\eta _z}{R_z^2}}J_{\mu \nu }`$ (248)
$`[Y^{ab},Y^{cd}]`$ $`=`$ $`i(\delta ^{ac}Y^{bd}\delta ^{bc}Y^{ad}+\delta ^{bd}Y^{ac}\delta ^{ad}Y^{bc})`$ (249)
$`[Y^{ab},\phi _\alpha ^c]`$ $`=`$ $`i(\delta ^{ac}\phi _\alpha ^b\delta ^{bc}\phi _\alpha ^a)[J_{\mu \nu },\phi _\alpha ^a]=ic_{\mu \nu \alpha }^\beta \phi _\beta ^a[\mathrm{\Pi }_\nu ,\phi _\alpha ^a]=\frac{1}{R}(ic_{5\nu \alpha }^\beta \phi _\beta ^a)`$ (250)
$`\{\phi _\alpha ^a,\overline{\phi }_\beta ^b\}`$ $`=`$ $`i(\delta ^{ab}c_{\alpha \beta }^\mu \mathrm{\Pi }_\mu +\frac{1}{R}(\delta ^{ab}c_{\alpha \beta }^{\mu \nu }J_{\mu \nu }+\delta _{\alpha \beta }Y^{ab}))`$ (251)
Tomando $`R\mathrm{}`$, obtenemos un álgebra $`{}_{}{}^{S}P(N|3,1)\times SO(N)`$:

$`[K_\mu ,J_{\rho \sigma }]`$ $`=`$ $`i(K_\rho \eta _{\mu \sigma }K_\sigma \eta _{\mu \rho })[K_\mu ,K_\nu ]=0`$
$`[Y^{ab},Q_\alpha ^c]`$ $`=`$ $`i(\delta ^{ac}Q_\alpha ^b\delta ^{bc}Q_\alpha ^a)[J_{ij},Q_\alpha ^a]=ic_{ij\alpha }^\beta Q_\beta ^a[K_\nu ,\phi _\alpha ^a]=0`$
$`\{Q_\alpha ^a,\overline{Q}_\beta ^b\}`$ $`=`$ $`i\delta ^{ab}c_{\alpha \beta }^\mu K_\mu `$ (252)
Junto con (247) y (249). En lo que sigue ver  como complemento.

### 5.3 Representaciones Unitarias Irreducibles de $`OSp(N|4)`$

Para estudiar las irreps unitarias de $`OSp(N|4)`$ se emplea un método análogo al usado en la sección (3.3). Entonces se asume primero la existencia de una representación espacial sobre la cual todos los operadores de $`OSp(N|4)`$ puedan actuar. Esto requiere que exista un estado de baja energía y junto con la última relación en (245) se obtenga la condición:

$$a_\alpha ^a|(E_0,s,\mathrm{})E_0sm\mathrm{}=0$$
(253)
Lo cual implica automaticamente (120). Aquí se necesitan más etiquetas que en (118) para designar los estados y su contenido $`SO(N)`$ de isospín, donde los puntos indican las etiquetas de la representación de $`SO(N)`$. De (245) se sigue que todas las combinaciones pares de operadores de simetría $`\overline{a}_\alpha ^a`$ pueden ser expresadas como elementos pares del álgebra $`OSp(N|4)`$. Para construir la representación espacial del estado de vacio, se considera primero las combinaciones simétricas:

$$\begin{array}{ccccc}\overline{B}=\overline{B}_0\overline{B}_1\mathrm{}\overline{B}_{2N}\hfill & \hfill & \overline{B}_0\hfill & =\hfill & \{1\},\overline{B}_1=\{\overline{a}_\alpha ^a\}\hfill \\ & & \overline{B}_2\hfill & =\hfill & \{[\overline{a}_\alpha ^a,\overline{a}_\beta ^b]\}\overline{B}_3=\{\mathrm{\Sigma }\pm \overline{a}_\alpha ^a\overline{a}_\beta ^b\overline{a}_\gamma ^c\}etc.\hfill \end{array}$$
(254)
$`\mathrm{\Sigma }`$ indica las sumas hasta segundo orden. Se tiene que $`\overline{B}_n`$ contiene $`\left(\genfrac{}{}{0pt}{}{2N}{n}\right)`$ operadores y el conjunto $`\overline{B}`$ contiene $`2^{2N}`$ operadores. La representación espacial es definida como el generador de todos los vectores de la forma:

$$(M_1^+)^{n_1}(M_2^+)^{n_2}(M_3^+)^{n_3}\overline{B}|(E_0,s,\mathrm{})E_0sm\mathrm{}$$
(255)
Esta relación es importante, ya que se necesita para estudiar la acción de $`\overline{B}`$ sobre el vacio, dados los resultados previos en la representación de $`SO(3,2)`$. Todas las representaciones unitarias de $`OSp(N|4)`$ son del tipo:

$$D(E_0^{(1)},s^{(1)})\mathrm{}D(E_0^{(\tau )},s^{(\tau )})\text{ con }\tau <\mathrm{}$$
(256)
Aquí se han suprimido las etiquetas de isospín por simplicidad. En un espacio de Minkowski plano se conoce que todos los campos pertenecen a un supermultiplete que está sujeto a unas ecuaciones de campo con la misma masa. Esto se debe a que los operadores de momentum conmutan con las cargas supersimétricas, siendo $`K.K`$ un operador Casimir. Una característica que diferencia la representaciones de supersimetría Anti-de Sitter de supersimetría en el grupo Poincaré es que, en general, $`E_0^{(1)}E_0^{(2)}\mathrm{}E_0^{(\tau )}`$. Teniendose que las partículas en un supermultiplete dado no necesariamente poseen una masa igual si se identifica $`E_0m`$.
Para $`N=1`$ el subálgebra bosónica de (240) es caracterizada por $`SO(3,2)`$, donde los nuevos operadores que se consideran son $`\overline{B}_1=\{\overline{a}_\alpha ,\alpha =1,2\}`$ y $`\overline{B}_2=ϵ^{\alpha \beta }\overline{a}_\alpha \overline{a}_\beta `$. Teniendo en cuenta la ecuación (244), el operador $`\overline{a}_\alpha `$ es un operador $`\mathrm{\Delta }=1/2`$, donde $`\overline{a}_1`$ y $`\overline{a}_2`$ suben y bajan respectivamente la componente z de espín en un medio de la unidad. Al actuar $`\overline{a}_1`$ sobre el estado $`|(E_0,s)E_0,s,m`$ obtenemos:

$`\overline{a}_1|(E_0,s)E_0,s,m`$ $`=`$ $`R_+sm\frac{1}{2}\frac{1}{2}|s+\frac{1}{2},m+\frac{1}{2}|(E_0,s)E_0+\frac{1}{2},s+\frac{1}{2},m+\frac{1}{2}+`$ (257)
$`R_{}sm\frac{1}{2}\frac{1}{2}|s\frac{1}{2},m+\frac{1}{2}|(E_0,s)E_0+\frac{1}{2},s\frac{1}{2},m+\frac{1}{2}`$
Teniendo en cuenta los coeficientes de Clebsh-Gordan:

$$sm\frac{1}{2}\frac{1}{2}|s+\frac{1}{2},m+\frac{1}{2}=\left(\frac{s+m+1}{2s+1}\right)^{{\scriptscriptstyle \frac{1}{2}}}sm\frac{1}{2}\frac{1}{2}|s\frac{1}{2},m+\frac{1}{2}=\left(\frac{sm}{2s+1}\right)^{{\scriptscriptstyle \frac{1}{2}}}$$
(258)
Usando (245) junto con (253) para $`N=1`$. se obtiene que:

$$|R_+|^2=E_0+s|R_{}|^2=E_0s1$$
(259)
Partiendo de la representación $`D(E_0,s)`$ de $`SO(3,2)`$ en (257), aquí se han producido dos (2) nuevas representaciones $`D(E_0+\frac{1}{2},s+\frac{1}{2})`$ y $`D(E_0+\frac{1}{2},s\frac{1}{2})`$. La segunda está ausente si $`s=0`$ o $`E_0=s+1`$ para $`s\frac{1}{2}`$.
Se puede considerar la acción del operador $`[\overline{a}_1,\overline{a}_2]=ϵ_{\alpha \beta }\overline{a}_\alpha \overline{a}_\beta `$ sobre el vacio, el cual baja la energía por una unidad y deja igual los números cuánticos de momento angular $`j`$ y $`m`$ del vacio. El nuevo estado puede ser obtenido como una superposición de estados de vacio $`|(E_0+1,s)E_0+1,s,m`$ de la representación $`D(E_0+1,s)`$ de $`SO(3,2)`$ y de estados de la representación $`D(E_0,s)`$ (ver ec. (257)). Para $`m=s`$, obtenemos que:

$`\left[\overline{a}_1\overline{a}_2\right]|(E_0,s)E_0,s,s`$ $`=`$ $`R_0|(E_0+1,s)E_0+1,s,s+\alpha M_{1+2i}^+|(E_0,s)E_0,s,s1+`$ (260)
$`\beta J_3^+|(E_0,s)E_0,s,s`$
Como en la sección (3.2) todos los estados se asumen ortogonales. Para calcular los coeficientes $`R_0`$, $`\alpha `$ y $`\beta `$ se debe tener en cuenta que el estado $`|(E_0+1,s)E_0+1,s,s`$ debe ser aniquilado por el operador $`M_a^{}`$ es cual es un estado de vacio de la representación $`D(E_0+1,s)`$. Usando (113) y

$$[M_a^{},\overline{a}_\alpha ]=(ϵ\sigma _a)_\alpha ^\beta a_\beta $$
(261)
Se obtiene:

$`\alpha `$ $`=`$ $`{\displaystyle \frac{\sqrt{s}}{E_01}}\beta ={\displaystyle \frac{s}{E_01}}\text{ para }s0`$
$`\alpha `$ $`=`$ $`\beta =0\text{ para }s=0`$ (262)
Donde

$$\left[\overline{a}_1\overline{a}_2\right]|(E_0,s)E_0,s,s^2=2E_0(2E_01)4s(s+1)$$
(263)
Comparando la norma en ambos lados, se obtiene:

$$|R_0|^2=\frac{2}{E_01}(2E_01)(E_0+s)(E_0s1)$$
(264)
De aquí se puede notar que la representación $`D(E_0+1,s)`$ está ausente si se toma $`s=0`$ y $`E_0=\frac{1}{2}`$ o si $`E_0=s+1`$ para $`s\frac{1}{2}`$. En resumen, se pueden tener las siguientes representaciones unitarias para $`OSp(1|4)`$:

* Representación de Wess-Zumino ($`E_0>\frac{1}{2}`$)

$$D(E_0,0)D(E_0+\frac{1}{2},\frac{1}{2})D(E_0+1,0)$$
(265)
* Representación ‘masiva’ de espín superior ($`E_0>s+1,s\frac{1}{2}`$ con $`s=\frac{1}{2},1,\frac{3}{2},\mathrm{}`$)

$$D(E_0,s)D(E_0+\frac{1}{2},s+\frac{1}{2})D(E_0+\frac{1}{2},s\frac{1}{2})D(E_0+1,s)$$
(266)
* Representación ‘no-masiva’ de espín superior ($`E_0=s+1,s\frac{1}{2}`$ con $`s=\frac{1}{2},1,\frac{3}{2},\mathrm{}`$)

$$D(s+1,s)D(s+\frac{3}{2},s+\frac{1}{2})$$
(267)
* Representación síngleton de Dirac

$$D(\frac{1}{2},0)D(1,\frac{1}{2})$$
(268)

La construcción de irreps unitarias de $`OSp(N|4)`$ para $`N2`$ es similar y se facilita dado que cualquier irreps de $`OSp(N|4)`$ se puede descomponer en términos de los multipletes base de $`OSp(1|4)`$. Si bien las $`N`$extensiones de multipletes de orden superior consiste de multipletes de $`OSp(1|4)`$. Se debe tener cuidado ya que surgen nuevos rasgos en el análisis con $`N>1`$. Por otro lado la estructura de $`OSp(N|4)`$ admite nuevos tipos de multipletes que no tienen análogos en SuperPoincaré. Aunque pueden tener una estructura similar en SuperPoincaré con cargas central, el grupo $`SO(N)`$ se mantiene aquí.

### 5.4 Aplicación al grupo $`OSp(8|4)`$

Al tomar el grupo $`OSp(8|4)`$ este corresponde al grupo de invariancia de los estados base en supergravedad $`11Dim.`$ sobre $`s^7`$, donde las flutuaciones del estado base corresponden a irreps de $`OSp(8|4)`$, las cuales tienen un espín maximal $`s=2`$. Los campos gauge $`2,\frac{3}{2},1`$ que pertenecen a un multiplete gravitacional son precisamente los campos relacionados a las traslaciones, cargas espinoriales y las cargas centrales respectivamente. En particular los campos vectoriales etiquetan un grupo abeliano (El centro) y las simetrías internas (generalmente no-abelianas) transforman como cargas espinoriales. Ahora se procede a clasificar las representaciones supersimétricas $`N=8`$ con un espín maximal $`s=2`$. Como antes (cap. 4) se hacen las cuentas de estados de helicidad para $`N=8`$, con un número total de estados:

$$\underset{p=0}{\overset{N=8}{}}\left(\genfrac{}{}{0pt}{}{8}{p}\right)=(1+1)^8=256\begin{array}{cccccccccc}& & & & & & & & & \\ s& 2& \frac{3}{2}& 1& 1/2& 0& 1/2& 1& \frac{3}{2}& 2\\ & & & & & & & & & \\ \text{Estados}& 1& 8& 28& 56& 70& 56& 28& 8& 1\end{array}$$

Cada término es la contribución del número de índices en un tensor antisimétrico de rango-$`p`$, clasificados como:

* Número total de fermiones $`128=8+56+56+8`$
* Número total de bosones $`128=1+28+70+28+1`$

Como ya se vio en la sección (4) el número total de bosones es igual al número total de fermiones.

$$\begin{array}{cccccc}(1)& \text{Gravitón}\hfill & (28)& \text{Campos de espín}1\hfill & (35)& \text{Escalares}\hfill \\ (8)& \text{Gravitinos}\hfill & (56)& \text{Campos de espín}\frac{1}{2}\hfill & (35)& \text{Pseudoescalares}\hfill \end{array}$$
(269)
Dado el grupo $`OSp(8|4)`$ este permite las siguientes descomposiciones:

$$OSp(8|4)OSp(1|4)\times SO(7)OSp(8|4)Sp(4)\times SO(8)$$
(270)
Lo cual permite las correspondientes reducciones:

$$OSp(8|4)OSp(1|4)\times SO(7)OSp(8|4)Sp(4)\times SO(8)$$
(271)
En resumen, partiendo del supergrupo $`OSp(8|4)`$, se puede obtener el resultado deseado por varias rutas:

$$\begin{array}{c}\mathrm{𝐎𝐒𝐩}(\mathrm{𝟖}|\mathrm{𝟒})\\ \begin{array}{cc}& \\ OSp(1|4)\times SO(7)& Sp(4)\times SO(8)\\ & SO(3,2)\times SO(8)\\ \begin{array}{cc}\begin{array}{c}\\ {}_{}{}^{S}P(1|3,1)\times SO(7)\\ \\ 𝐏(\mathrm{𝟑},\mathrm{𝟏})\times \mathrm{𝐒𝐎}(\mathrm{𝟕})\end{array}\hfill & \begin{array}{c}\\ Sp(4)\times SO(7)\\ SO(3,2)\times SO(7)\\ \\ 𝐏(\mathrm{𝟑},\mathrm{𝟏})\times \mathrm{𝐒𝐎}(\mathrm{𝟕})\end{array}\hfill \end{array}& \begin{array}{c}\\ 𝐏(\mathrm{𝟑},\mathrm{𝟏})\times \mathrm{𝐒𝐎}(\mathrm{𝟖})\end{array}\end{array}\end{array}$$

El anterior diagrama se puede explicar como sigue:

* Suponiendo la reducción $`OSp(8|4)OSp(1|4)\times SO(7)`$

+ Se usa la contracción $`OSp(1|4)^SP(1|3,1)`$, expuesto en la sección (5.2) y luego se aplica otra reducción $`{}_{}{}^{S}P(1|3,1)P(3,1)`$ para obtener el grupo producto directo $`P(3,1)\times SO(7)`$.
    + Se supone otra reducción $`OSp(1|4)Sp(4)`$ (con $`Sp(4)SO(3,2)`$ en el álgebra) y usando la contracción $`SO(3,2)P(3,1)`$, se obtiene $`P(3,1)\times SO(7)`$, lo cual está expuesto en la sección (3.1).
* Suponiendo la reducción $`OSp(8|4)Sp(4)\times SO(8)`$ y usando la contracción $`SO(3,2)P(3,1)`$, se obtiene $`P(3,1)\times SO(8)`$, expuesto en la sección (3.1).

Lo cual completa nuestro acercamiento. Cual es la ruta física?. Ya que por reducción no es posible encontrar los grupos del Modelo Standard aquí, dado que el grupo minimal en teorías de gran unificación (GUT) es $`SO(10)SU(5)SU(3)\times SU(2)\times U(1)`$. En que forma es posible?. Estas son preguntas a resolver.