Espinor

En geometría y física, los espinores son elementos de

un espacio v ectorial (complejo) que pueden asociarse con
el espacio euclídeo. n ot a 2 Al igual que los v ectores
geométricos y los tensores de forma más general, los
espinores se transforman linealmente cuando el espacio
euclídeo se somete a una lev e rotación (de
carácter infinitesimal). n ot a 3 Sin embargo, cuando se
compone una secuencia de tales pequeñas rotaciones
(integradas) para formar una rotación final general, la
transformación del espinor resultante depende de la
secuencia de rotaciones pequeñas que se hay an aplicado: al
contrario que los v ectores y los tensores, un espinor se Un espinor visualizado como un vector que apunta a lo
transforma en su opuesto cuando el espacio se gira largo de una banda de Möbius, exhibiendo una inversión
de signo cuando el círculo (el "sistema físico") se gira
continuamente a trav és de un giro completo de 0° a 360°
continuamente durante un giro completo de 360°.nota 1
(v éase la imagen). Esta propiedad caracteriza a los
espinores: se pueden v er como las raíces cuadradas de los
v ectores.

También es posible asociar una noción del espinor sustancialmente similar a la del espacio-tiempo de Minkowski, en
cuy o caso las transformación de Lorentz de la teoría de la relativ idad especial desempeñan el papel de las rotaciones.
Los espinores fueron introducidos en geometría por Élie Cartan en 1913. 1 2 En la década de 1920, los físicos
descubrieron que los espinores son esenciales para describir el espín del electrón y otras partículas
subatómicas. n ot a 4

Los espinores se caracterizan por la forma específica en que se comportan ante las rotaciones. Cambian de diferentes
maneras dependiendo no solo de la rotación final general, sino también de los detalles de cómo se logró esa rotación
(mediante una tray ectoria continua en el grupo ortogonal). Hay dos clases topológicamente distinguibles
(homotópicas) de tray ectorias a trav és de rotaciones que dan como resultado la misma rotación general, como se
ilustra en el famoso mov imiento de contorsión denominado truco del plato. Estas dos clases distintas producen
transformaciones espinoriales de signo opuesto. El grupo espinorial es el grupo de todas las rotaciones que se
mantienen en la clase. n ot a 5 Recubre doblemente el grupo de rotación, y a que cada rotación se puede obtener de dos
maneras desiguales como el punto final de una ruta. El espacio de los espinores está equipado por definición con
una representación lineal (compleja) del grupo de espines, lo que significa que los elementos del grupo de
espines actuantes son transformaciones lineales en el espacio de los espinores, de una manera que realmente depende
de la clase de homotopía. n ot a 6 En términos matemáticos, los espinores se describen mediante una representación
proy ectiv a de doble v alor del grupo de rotación SO(3).

Aunque los espinores se pueden definir puramente como elementos de un espacio de representación del grupo de
espines (o su álgebra de Lie de rotaciones infinitesimales), típicamente se definen como elementos de un espacio
v ectorial que llev a asociada una representación lineal del álgebra de Clifford. El álgebra de Clifford es un álgebra
asociativ a que se puede construir a partir del espacio euclidiano y su producto interno de forma independiente de la
base. Tanto el grupo de espín como su álgebra de Lie están incrustados dentro del álgebra de Clifford de manera
natural, y en las aplicaciones, el álgebra de Clifford es a menudo el más fácil de trabajar. n ot a 7 Después de elegir una
base ortonormal del espacio euclídeo, se genera una representación del álgebra de Clifford mediante matrices gamma,
matrices que satisfacen un conjunto de relaciones canónicas de anti-conmutación. Los espinores son los v ectores
columna sobre los que actúan estas matrices. En tres dimensiones euclídeas, por ejemplo, las matrices de Pauli es un
conjunto de matrices gamma, n ot a 8 y los v ectores columna complejos de dos componentes sobre los que actúan estas
matrices son espinores. Sin embargo, la representación matricial particular del álgebra de Clifford, por lo que
precisamente constituy e un vector columna (o espinor), implica la elección de las matrices base y gamma de una
manera esencial. Como una representación del grupo de espines, esta realización de los espinores como v ectores
columna (complejos)n ot a 9 será irreducible si la dimensión es impar, o se descompondrá en un par de los
llamados semi-espines o representaciones de Wey l si la dimensión es par. n ot a 1 0

Índice
Introducción
Definición matemática
Visión general
Álgebras de Clifford
Grupos de espín
Terminología en física
Espinores en la teoría de la representación
Intentos de comprensión intuitiva
Historia
Ejemplos
Dos dimensiones
Tres dimensiones
Construcciones explícitas
Espinores componentes
Espinores abstractos
Ideales mínimos
Construcción del álgebra exterior
Espacios vectoriales hermíticos y espinores
Descomposición de Clebsch-Gordan
Dimensiones pares
Dimensiones impares
Consecuencias
Resumen en dimensiones bajas
Véase también
Notas
Referencias
Lectura adicional

Introducción
Lo que caracteriza a los espinores y los distingue de los v ectores y de otros tensores es sutil. Considérese aplicar una
rotación a las coordenadas de un sistema. Ningún objeto en el propio sistema se ha mov ido, solo las coordenadas lo
han hecho, por lo que siempre habrá un cambio compensatorio en esos v alores de coordenadas cuando se apliquen a
cualquier objeto del sistema. Los v ectores geométricos, por ejemplo, tienen componentes que experimentarán la
misma rotación que las coordenadas. Más ampliamente, cualquier cálculo tensorialasociado con el sistema (por
ejemplo, la tensión de algún medio) también tiene descripciones de coordenadas que se ajustan para compensar los
cambios en el sistema de coordenadas en sí.
Los espinores no aparecen en este niv el de la
descripción de un sistema físico, cuando uno
se ocupa solo de las propiedades de una sola
rotación aislada de las coordenadas. Más
bien, aparecen cuando se imagina que, en
lugar de una sola rotación, el sistema de
coordenadas se rota gradualmente
(continuamente) entre alguna configuración Una rotación gradual se puede visualizar como una cinta en el
inicial y otra final. Para cualquiera de las espacio.nota 11 Dos rotaciones graduales con diferentes clases, una a
cantidades familiares e intuitiv as 360° y una a 720° se ilustran aquí en la prueba del truco del plato. Una
(tensoriales) asociadas con el sistema, la ley solución de la prueba es una manipulación continua del cinturón, que
fijando los puntos finales, lo desenrosca. Esto es imposible con la
de transformación no depende de los detalles
rotación de 360°, pero es posible con la rotación de 720°. Una solución,
precisos de cómo llegaron las coordenadas a
mostrada en la segunda animación, da una homotopía explícita en el
su configuración final. Los espinores, por grupo de rotación entre la rotación de 720° y la rotación identidad de 0°
otro lado, están construidos de tal manera
que los hace "sensibles" a cómo llegó allí la
rotación gradual de las coordenadas: exhiben dependencia del camino.

Resulta que, para cualquier configuración final de las coordenadas, en

realidad hay (topológicamente) dos rotaciones graduales (equiv alentes)
desiguales del sistema de coordenadas que resultan en esta misma
configuración. Esta ambigüedad se llama homotopía de la rotación gradual.
El ejemplo del cinturón enredado es un caso famoso en el que dos rotaciones
Un objeto unido por cinturones o
diferentes, una a trav és de un ángulo de 2π y la otra a trav és de un ángulo de
cuerdas puede girar continuamente
4π, que tienen las mismas configuraciones finales pero diferentes clases. Los sin enredarse. Obsérvese que
espinores en realidad muestran una inv ersión de signo que realmente después de que el cubo complete
depende de esta clase de homotopía. Esto los distingue de los v ectores y una rotación de 360°, la espiral se
otros tensores, ninguno de los cuales son sensibles al giro acumulado. invierte desde su configuración
inicial. Las ligaduras vuelven a su
Los espinores se pueden exhibir como objetos concretos usando una configuración original después de
elección de coordenadas cartesianas. En tres dimensiones euclidianas, por girar un total de 720°

ejemplo, los espinores pueden construirse haciendo una elección de matrices

de Pauli correspondientes a (por ejemplo, momentos angularesrespecto a)
los tres ejes de coordenadas. Estas son matrices de 2×2 con números
complejos, y los v ectores columna complejos de dos componentes en los que
actúan estas matrices por multiplicación de matrices son los espinores. En
este caso, el grupo de giro es isomorfo al grupo de 2×2 de matrices
unitarias con determinante uno, que naturalmente se encuentra dentro del
álgebra matricial. Este grupo actúa por conjugación en el espacio v ectorial
Un ejemplo más extremo que
real abarcado por las matrices de Pauli, n ot a 1 2 estructurándolo como un
demuestra que este principio
grupo de rotaciones entre ellas, n ot a 1 3 pero también actúa sobre los
funciona con cualquier número de
v ectores columna (es decir, sobre los espinores). ligaduras. En el límite, una pieza de
espacio sólido continuo puede girar
Más generalmente, un álgebra de Clifford puede construirse a partir de en su propio emplazamiento sin
cualquier espacio v ectorial V dotado de una forma cuadrática (no rasgarse o intersecarse
degenerada), como el espacio euclídeo con su producto escalar estándar, o
el espacio-tiempo de Minkowski con su métrica de Lorentz estándar.
El espacio de los espinores es el conjunto de v ectores columna con componentes . El álgebra ortogonal de Lie
(es decir, las "rotaciones" infinitesimales) y el grupo de espín asociado a la forma cuadrática están ambos
(canónicamente) contenidos en el álgebra de Clifford, por lo que cada representación del álgebra de Clifford también
define una representación del álgebra de Lie y del grupo de espín. n ot a 1 4 Dependiendo de la dimensión y de
la signatura métrica, esta realización de los espinores como v ectores columna puede ser irreducible o puede
descomponerse en un par de las denominadas medias vueltas o representaciones de Wey l. n ot a 1 5 Cuando el espacio
v ectorial V es de cuatro dimensiones, el álgebra se describe mediante matrices gamma.

Definición matemática
El espacio de los espinores se define formalmente como la representación fundamental del álgebra de Clifford (que
puede o no descomponerse en representaciones irreducibles). El espacio de los espinores también se puede definir
como una representación de espín del grupo ortogonal. Estas representaciones de espín también se caracterizan como
representaciones proy ectiv as de dimensión finita del grupo ortogonal especial que no tienen en cuenta las
representaciones lineales. De manera equiv alente, un espinor es un elemento de una representación de grupo de
dimensión finita del grupo espinorial en el que el centro actúa de manera no triv ial.

Visión general
En esencia, se dispone de dos marcos para interpretar la noción de un espinor.

Uno es la representación teorética. Desde este punto de v ista, se sabe de antemano que hay algunas representaciones
del álgebra de Lie del grupo ortogonal que no pueden estar formadas por las construcciones tensoriales habituales.
Estas representaciones que faltan se etiquetan como representaciones de espín, y sus componentes como espines.
Desde este punto de v ista, un espinor debe pertenecer a una representación del doble recubrimiento del grupo de
rotación SO(n, R), o más generalmente, del doble recubrimiento del grupo ortogonal especial
generalizadoSO+(p, q, R) en espacios con signatura métrica (p, q). Estos recubrimientos dobles forman un tipo
de grupo de Lie, denominados grupos espinoriales Spin(n) o Spin(p, q). Todas las propiedades de los espinores, y sus
aplicaciones y objetos deriv ados, se manifiestan primero en el grupo de espín. Las representaciones de los
recubrimientos dobles de estos grupos producen la representación proy ectiv a de doble v alor de los grupos mismos (lo
que significa que la acción de una rotación particular en v ectores en el espacio cuántico de Hilbert solo se define sin
signo).

El otro punto de v ista es geométrico. Se pueden construir explícitamente los espines y luego examinar cómo se
comportan bajo la acción de los grupos de Lie relev antes. Este último enfoque tiene la v entaja de proporcionar una
descripción concreta y elemental de lo que es un espinor. Sin embargo, tal descripción se v uelv e difícil de manejar
cuando se necesitan propiedades complicadas de los espinores, como las descritas según las identidades de Fierz.

Álgebras de Clifford
El lenguaje de las álgebras de Clifford3 (a v eces llamadas álgebras geométricas) proporciona una imagen completa de
las representaciones de espín de todos los grupos de espines y las div ersas relaciones entre esas representaciones, a
trav és de la clasificación de álgebras de Clifford. En gran medida elimina la necesidad de construcciones "ad hoc".

En detalle, sea V un espacio v ectorial complejo de dimensión finita con forma bilineal no degenerada g. El álgebra de
Clifford Cℓ(V, g) está generada por V junto con la relación de conmutación prev ia xy + yx = 2g(x, y). Es una v ersión
abstracta del álgebra generada por las matrices gamma o por las matrices de Pauli. Si V = C n , con la fórmula
estándar g(x, y) = xt y = x1 y 1 + ... + xn y n se denota el álgebra de Clifford por Cℓn ( 'C' ). Dado que por la elección de una
base ortonormal, todo espacio v ectorial complejo con forma no degenerada es isomorfo a este ejemplo estándar, esta
notación se usa impropiamente de manera más general si dimC(V) = n. Si n = 2k es par, Cℓ n ( 'C' ) es isomorfo como un
álgebra (de una manera no única) para el álgebra Mat(2 k , C) de las matrices complejas 2 k × 2 k (por el teorema de
Artin-Wedderburn y por el hecho fácil de demostrar de que el álgebra de Clifford es central simple). Si n = 2k + 1 es
impar, Cℓ 2 k +1 ( 'C' ) es isomorfo al álgebra Mat(2 k , C) ⊕ Mat(2 k , C) de dos copias de las matrices complejas 2 k × 2 k .
Por lo tanto, en cualquier caso, Cℓ(V, g) tiene una representación irreducible única (hasta el isomorfismo) (también
llamada representación del álgebra de Clifford simple), comúnmente denominada Δ, de dimensión 2 [n/2 ] . Como el
álgebra de Lie so(V, g) está incrustada como subalgebra de Lie en C ℓ (V, g), dotado con el álgebra de
Clifford conmutador de dos operadores como corchete de Lie, el espacio Δ es también una representación del álgebra
de Lie de so(V, g) llamada representación de espín. Si n es impar, esta representación del álgebra de Lie es irreducible.
Si n es par, se div ide aún más en dos representaciones irreducibles Δ = Δ + ⊕ Δ − denominadas representaciones de
medio giro o de Wey l.

Las representaciones irreducibles sobre los números reales en el caso en que V es un espacio v ectorial real son mucho
más complejas, y el lector debe remitirse al artículo sobre el álgebra de Clifford para obtener más detalles.

Grupos de espín
Los espinores forman un espacio v ectorial, generalmente sobre los números
complejos, dotado con una representación de grupo lineal del grupo
espinorial que no se factoriza a trav és de una representación del grupo de
rotaciones (v éase el diagrama). El grupo de espín es el grupo de
rotacionesligado a la clase de homotopía. Los espinores son necesarios para
codificar información básica sobre la topología del grupo de rotaciones,
porque ese grupo no es un conjunto simplemente conexo, pero el grupo de
espines simplemente conexo es su doble recubrimiento. Así que para cada
rotación hay dos elementos del grupo de espín que lo representan.
Los v ectores y otros tensores no pueden dar cuenta de la diferencia entre
estos dos elementos, pero producen signos "opuestos" cuando afectan a
cualquier espín bajo la representación. Pensando en los elementos del grupo La representación del espín Δ es un
de espín como homotopía de familias de un solo parámetro de rotaciones, espacio vectorial dotado de una
representación del grupo de espín
cada rotación está representada por dos clases de homotopía distintas de
que no se factoriza a través de una
rutas hasta la identidad. Si una familia de rotaciones de un solo parámetro se representación del grupo ortogonal
v isualiza como una cinta en el espacio, con el parámetro de la longitud del (especial). Las flechas verticales
arco de esa cinta (el marco de su tangente, normal, binormal en realidad da la representan una sucesión exacta
rotación), entonces estas dos clases de homotopía distintas se v isualizan en
los dos estados del truco del cinturón (arriba). El espacio de los espinores es
un espacio v ectorial auxiliar que puede construirse explícitamente en coordenadas, pero en última instancia, solo
existe hasta el isomorfismo en el sentido de que no se dispone de una construcción natural que no se base en
elecciones arbitrarias como los sistemas de coordenadas. Se puede asociar una noción de los espinores, como un
objeto matemático auxiliar, con cualquier espacio v ectorial dotado de una forma cuadrática como el espacio
euclídeocon su producto escalar estándar, o el espacio-tiempo de Minkowski con su v ariedad pseudoriemanniana. En
este último caso, las rotaciones incluy en la transformación de Lorentz, pero por lo demás la teoría es sustancialmente
similar.

Terminología en física
Se puede considerar que las construcciones dadas anteriormente, en términos del álgebra de Clifford o de la teoría de
la representación, definen a los espinores como objetos geométricos en el espacio-tiempo de dimensión cero. Para
obtener los espines de la física, como el espinor de Dirac, se extiende la construcción para obtener una estructura de
espines en el espacio-tiempo de 4 dimensiones (espacio-tiempo de Minkowski). Efectiv amente, se comienza con
el fibrado tangente del espacio-tiempo, cada punto del cual es un espacio v ectorial de 4 dimensiones con
simetría SO(3,1), y luego se construy e el grupo espinorial en cada punto. Los entornos de los puntos están dotados de
las propiedades de suav idad y diferenciabilidad: la construcción estándar es la de un fibrado, cuy as fibras son espacios
afines que se transforman bajo el grupo de espín. Después de construir el paquete de fibras, se pueden considerar
ecuaciones diferenciales, como la ecuación de Dirac o la ecuación de Wey l en el paquete de fibras. Estas ecuaciones
(Dirac o Wey l) tienen soluciones que son ondas planas, que poseen las simetrías características de las fibras, es decir,
que tienen las simetrías de los espinores, según se obtuv ieron de la teoría de representación del álgebra/giro de
Clifford (cero dimensiones) descrita anteriormente. Dichas soluciones de onda plana (u otras soluciones) de las
ecuaciones diferenciales se pueden llamar adecuadamente fermiones, porque estas partículas tienen las cualidades
algebraicas de los espinores. Por conv ención general, los términos "fermión" y "espinor" a menudo se usan
indistintamente en física, como sinónimos entre sí.

Parece que todas las partículas elementales en la naturaleza que poseen espín-1/2 se describen mediante la ecuación
de Dirac, con la posible excepción del neutrino. No parece haber ninguna razón a priori por la que este fuera el caso.
Una opción perfectamente v álida para los espinores sería la v ersión no compleja de Cℓ2,2(R), el espinor de Majorana. 4
Tampoco parece haber ninguna prohibición particular de que los espinores de Wey l aparezcan en la naturaleza como
partículas fundamentales.

Los espinores de Dirac, Wey l y Majorana están interrelacionados, y su v inculación se puede dilucidar sobre la base del
álgebra geométrica real. Los espinores5 de Dirac y Wey l son representaciones complejas, mientras que los espinores
de Majorana son representaciones reales.

Los espinores de Wey l son insuficientes para describir partículas masiv as, como los electrones, y a que las soluciones
de onda plana de Wey l v iajan necesariamente a la v elocidad de la luz. Para partículas masiv as se necesita utilizar
la ecuación de Dirac. La construcción inicial del modelo estándar de la física de partículas comienza tanto con el
electrón como con el neutrino como espinores de Wey l sin masa; el mecanismo de Higgs da a los electrones una masa;
el neutrino clásico se concibió sin masa y , por lo tanto, fue un ejemplo de un espinor de Wey l. 6 Sin embargo, debido a
la oscilación de neutrinos observ ada, ahora se cree que no son espinores de Wey l, sino tal v ez espinores de
Majorana. 7 No se sabe cuántos de los espinores de Wey l existen entre las partículas fundamentales de la naturaleza.

La situación para la física de la materia condensada es diferente: se pueden construir "espacio-tiempos"

tridimensionales en una gran v ariedad de materiales físicos diferentes, desde los semiconductores hasta materiales
mucho más exóticos. En 2015, un equipo internacional liderado por científicos de la Univ ersidad de Princetonanunció
que había encontrado una cuasipartícula que se comporta como un fermión de Wey l. 8

Espinores en la teoría de la representación

Una de las principales aplicaciones matemáticas de la construcción de espinores es hacer posible la construcción
explícita de las representaciones lineales de las álgebras de Lie de los grupos ortogonales y , en consecuencia, las
representaciones de los propios grupos. En un niv el más profundo, se ha encontrado que los espinores están en el
corazón de los enfoques del teorema del índice de Atiy ah-Singer, y proporcionan construcciones en particular para las
representaciones de series discretas de grupos semisimples.
Las representaciones de espín de las álgebras de Lie ortogonales especiales se distinguen de las representaciones
del cálculo tensorial dadas por la construcción de Wey l por pesos. Mientras que los pesos de las representaciones
tensoriales son combinaciones lineales enteras de las raíces del álgebra de Lie, los de las representaciones de espín son
combinaciones lineales semienteras de las mismas. Los detalles explícitos se pueden encontrar en el artículo dedicado
a la representación de espín.

Intentos de comprensión intuitiva

Los espinores se pueden describir, en términos simples, como "v ectores de un espacio cuy as transformaciones están
relacionadas de una manera particular con las rotaciones en el espacio físico". 9 Enunciado de manera diferente:

Los espinores ... proporcionan una representación lineal del grupo de rotaciones en un espacio
con cualquier número de dimensiones, teniendo cada espinor componentes en los que
o .2

Se han formulado v arias formas de ilustrar las analogías cotidianas en términos del truco del cinturón, el juego
denominado Tangloids y otros ejemplos de enredado de la orientación.

No obstante, el concepto generalmente se considera muy difícil de entender, como lo ilustra la declaración de Michael
Atiy ah que narra el biógrafo de Dirac, Graham Farmelo:

Nadie entiende completamente los espinores. Su álgebra se entiende formalmente, pero su

significado general es misterioso. En cierto sentido, describen la "raíz cuadrada" de la geometría
y , al igual que la comprensión de unidad imaginaria llev ó siglos, lo mismo podría ser cierto para
los espinores. 1 0

Historia
La forma matemática más general de los espinores fue descubierta por Élie Cartan en 1913. 1 1 La palabra "espinor" fue
acuñada por Paul Ehrenfest en su trabajo sobre mecánica cuántica. 1 2

Los espinores fueron aplicados a la física matemática por primera v ez por Wolfgang Pauli en 1927 , cuando presentó
sus matrices de espín. 1 3 Al año siguiente, Paul Dirac descubrió el concepto relativ ista del espin del electrón,
mostrando la conexión entre los espinores y el Grupo de Lorentz. 1 4 En los años treinta, Dirac, Piet Hein y otros
científicos ligados al Instituto Niels Bohr (entonces conocido como el Instituto de Física Teórica de la Univ ersidad de
Copenhague) crearon juguetes como Tangloids para enseñar y modelizar el cálculo de los espinores.

Los espacios de espín se representaron como ideales izquierdos de un álgebra matricial en 1930, por obra de G.
Juv et1 5 y por Fritz Sauter. 1 6 1 7 Más específicamente, en lugar de representar los espinores como v ectores columna
de 2D de v alor complejo como Pauli había hecho, los representaron como matrices de 2×2 de v alor complejo, en las
que solo los elementos de la columna de la izquierda son distintos de cero. De esta manera, el espacio espinorial se
conv irtió en un ideal izquierdo mínimo sobre Mat(2, C). 1 8 1 9

En 1947 , Marcel Riesz construy ó espacios de espinores como elementos de un ideal mínimo izquierdo del álgebra de
Clifford. En 1966/1967 , Dav id Hestenes2 0 2 1 reemplazó los espacios de espinores por el subálgebra par C ℓ 0 1 ,3 (R)
del algebra del espacio-tiempo Cℓ 1 ,3 (R). 1 7 1 9 A partir de los años 1980, el grupo de físicos teóricos del Birkbeck
College coordinados por Dav id Bohm y Basil Hiley estuv o desarrollando aproximaciones algebraicas a la teoría
cuántica, que se basan en la identificación de las fibras de Sauter y Riesz con ideales mínimos a la izquierda.

Ejemplos
Algunos ejemplos simples de espinores en dimensiones bajas surgen al considerar las subalgebras de grado uniforme
del álgebra de Clifford Cℓ p, q (R). Este es un álgebra construida a partir de una base ortonormal de n = p + q v ectores
mutuamente ortogonales bajo adición y multiplicación, en la que p tiene la norma +1 y q tiene la norma -1, con la regla
del producto para los v ectores de la base

Dos dimensiones
El álgebra de Clifford C ℓ 2 ,0 (R) se construy e a partir de una unidad escalar, 1, dos v ectores de unidades
ortogonales, σ 1 y σ 2 , y una unidad pseudoscalar i = σ 1 σ 2 . De las definiciones anteriores, es ev idente
que (σ 1 )2 = (σ 2 )2 = 1 y (σ 1 σ 2 )(σ 1 σ 2 ) = −σ 1 σ 1 σ 2 σ 2 = −1.

La subalgebra pareada C ℓ 0 2 ,0 (R), abarcada por elementos básicos de grado uniforme de C ℓ 2 ,0 (R), determina el
espacio de los espinores a trav és de sus representaciones. Se compone de combinaciones lineales reales de 1 y σ 1 σ 2 .
Como un álgebra real, C ℓ 0 2 ,0 (R) es isomorfa al campo de los números complejos C. Como resultado, admite una
operación de conjugación (análoga a la conjugación compleja), a v eces llamada inversa de un elemento de Clifford,
definida por

que por las relaciones de Clifford, puede ser escrito como

La acción de un elemento par de Clifford γ ∈ Cℓ0 2 ,0 (R) sobre los v ectores, considerado como un elemento de 1 grado
de Cℓ2 ,0 (R), se determina mediante la aplicación de un v ector general u = a1 σ 1 + a2 σ 2 al v ector

donde γ ∗ es el conjugado de γ, y el producto es la multiplicación de Clifford. En esta situación, un espinor2 2 es un

número complejo ordinario. La acción de γ sobre un espinor φ v iene dada por la multiplicación compleja ordinaria:

Una característica importante de esta definición es la distinción entre v ectores ordinarios y espinores, que se
manifiesta en cómo los elementos de grado uniforme actúan sobre cada uno de ellos de diferentes maneras. En general,
una comprobación rápida de las relaciones de Clifford rev ela que los elementos de grado uniforme se conjugan con los
v ectores ordinarios:

.
Por otro lado, comparando con la acción en los espinores γ(φ) = γφ, γ en v ectores ordinarios actúa como
el cuadradode su acción sobre los espinores.

Considérese, por ejemplo, la implicación que esto tiene para las rotaciones planas. La rotación de un v ector en un
ángulo de θ corresponde a γ 2 = exp(θ σ 1 σ 2 ), de modo que la acción correspondiente en los espinores es a trav és
de γ = ± exp(θ σ 1 σ 2 /2). En general, debido al podado logarítmico, es imposible elegir un signo de una manera
consistente. Por lo tanto, la representación de rotaciones planas en los espinores cuenta con dos v alores.

En aplicaciones de espinores en dos dimensiones, es común explotar el hecho de que el álgebra de elementos de grado
uniforme (que es simplemente el anillo de los números complejos) es idéntico al espacio de los espinores. Entonces,
por un uso impropio del lenguaje, los dos se combinan a menudo. Entonces se puede hablar de "la acción de un espinor
sobre un v ector". En un contexto general, tales declaraciones no tienen sentido. Pero en las dimensiones 2 y 3 (como
se aplica, por ejemplo, a la computación gráfica) sí tienen sentido.

Ejemplos

El elemento de grado uniforme

corresponde a una rotación vectorial de 90° desde σ1 alrededor de σ2, que puede verificarse
confirmando que

Corresponde a una rotación de giro de solo 45°, sin embargo:

De manera similar, el elemento de nivel uniforme γ = −σ1σ2 corresponde a una rotación vectorial de 180°:

pero una rotación de giro de solo 90°:

Continuando, el elemento γ = −1 de orden par corresponde a una rotación vectorial de 360°:

pero una rotación de giro de 180°.

Tres dimensiones
El álgebra de Clifford C ℓ 3 ,0 (R) se construy e a partir de una unidad escalar, 1, tres v ectores de unidades
ortogonales, σ 1 , σ 2 y σ 3 , los tres biv ectores σ 1 σ 2 , σ 2 σ 3 , σ 3 σ 1 y el pseudoscalar i = σ 1 σ 2 σ 3 . Es sencillo mostrar
que (σ 1 )2 = (σ 2 )2 = (σ 3 )2 = 1 y (σ 1 σ 2 )2 = (σ 2 σ 3 )2 = (σ 3 σ 1 )2 = (σ 1 σ 2 σ 3 )2 = −1.
El sub-álgebra de elementos de grado uniforme se compone de dilataciones escalares,

y rotaciones de v ectores

dónde

(1)

corresponde a una rotación v ectorial a trav és de un ángulo θ alrededor de un eje definido por un v ector
unitario v = a1 σ 1 + a2 σ 2 + a3 σ 3 .

Como un caso especial, es fácil v er que, si v = σ 3 , esto reproduce la rotación σ 1 σ 2 considerada en la sección anterior; y
que dicha rotación deja los coeficientes de los v ectores en la dirección σ 3 inv ariante, y a que

Los biv ectores σ 2 σ 3 , σ 3 σ 1 y σ 1 σ 2 son de hecho los cuaterniones de Hamilton i, j y k, descubiertos en 1843:

Con la identificación de los elementos de grado uniforme con el álgebra H de los cuaterniones, como en el caso de dos
dimensiones, la única representación del álgebra de elementos de grado uniforme está en sí mismo. 2 3 Por lo tanto, el
(real2 4 ) Los espinores en tres dimensiones son cuaterniones, y la acción de un elemento de grado uniforme en un
espinor está dada por la multiplicación cuaterniónica ordinaria.

Téngase en cuenta que la expresión (1) para una rotación v ectorial a trav és de un ángulo θ, el ángulo que aparece en γ
se redujo a la mitad. Por lo tanto, la rotación del rotor γ(ψ) = γψ (multiplicación cuaterniónica ordinaria) girará el
espinor ψ en un ángulo de la mitad de la medida del ángulo de la rotación del v ector correspondiente. Una v ez más, el
problema de elev ar la rotación de un v ector a una rotación de espinor es de dos v alores: la expresión (1)
con (180° + θ/2) en lugar de θ/2 producirá la misma rotación de v ector, pero el negativ o de la rotación del espinor.

La representación de espinor/cuaternión de las rotaciones en 3D es cada v ez más frecuente en la geometría de las

computadoras y en otras aplicaciones, debido a la notable brev edad de la matriz de espines correspondiente y a la
simplicidad con la que se pueden multiplicar para calcular el efecto combinado de rotaciones sucesiv as sobre
diferentes ejes.

Construcciones explícitas
Un espacio de espinores se puede generar explícitamente mediante construcciones concretas y abstractas. La
equiv alencia de estas construcciones es una consecuencia de la singularidad de la representación espinorial del
álgebra de Clifford compleja. Para un ejemplo completo de dimensión 3, v éase espinores en tres dimensiones.

Espinores componentes
Dado un espacio v ectorial V y una forma cuadrática g, una representación matricial explícita del álgebra de
Clifford C ℓ (V, g) se puede definir de la manera que se describe a continuación. Elíjase una base
ortonormal e 1 … e n para V, es decir, g(e μ e ν ) = ημν donde ημμ = ±1 y ημν = 0 para μ ≠ ν. Ahora, k = ⌊n/2⌋. Disponer un
conjunto de matrices 2 k × 2 k γ 1 … γ n tal que γ μ γ ν + γ ν γ μ = 2ημν 1 (es decir, establecer una conv ención para
las matrices gamma). Luego, la asignación e μ → γ μ se extiende de manera única a un homomorfismo de
álgebra Cℓ(V, g) → Mat(2 k , C) al env iar el monomio e μ 1 … e μ k en el álgebra de Clifford al producto γ μ 1 … γ μ k de las
k
matrices y extenderse linealmente. El espacio Δ = C 2 en el que actúan las matrices gamma es ahora un espacio de
espinores. Sin embargo, se necesita construir tales matrices explícitamente. En la dimensión 3, definir las matrices
gamma para que sean matrices de Pauli sigma da origen a los familiares espinores de dos componentes utilizados
en mecánica cuántica no relativ istas. Del mismo modo, el uso de las matrices de Dirac gamma de 4 × 4, da lugar a los
espinores de Dirac de 4 componentes utilizados en la teoría cuántica de campos 3 + 1 dimensional relativ ista. En
general, para definir matrices gamma del tipo requerido, se pueden usar las matrices de Wey l-Brauer.

En esta construcción, la representación del álgebra de Clifford C ℓ (V, g), el álgebra de Lie so(V, g) y el grupo de
espin Spin(V, g), todo depende de la elección de la base ortonormal y de la elección de las matrices gamma. Esto puede
causar confusión sobre las conv enciones, pero los inv ariantes como las trazas son independientes de las elecciones. En
particular, todas las cantidades físicamente observ ables deben ser independientes de tales elecciones. En esta
construcción, un espinor se puede representar como un v ector de números complejos 2 k y se denota con índices de
espinor (generalmente α, β, γ). En la literatura de física, los índices abstractos de espinor se usan a menudo para
denotar los espines, incluso cuando se usa una construcción abstracta.

Espinores abstractos
Hay al menos dos formas diferentes, pero esencialmente equiv alentes, de definir los espinores de manera abstracta. Un
enfoque busca identificar los ideales mínimos para la acción a la izquierda de C ℓ (V, g) en sí mismo. Estos son
subespacios del álgebra de Clifford de la forma C ℓ (V, g)ω, admitiendo la acción ev idente de C ℓ (V, g) mediante la
multiplicación por la izquierda: c : xω → cxω. Hay dos v ariaciones en este tema: se puede encontrar un elemento
primitiv o ω que sea un elemento nilpotente del álgebra de Clifford, o uno que sea una idempotencia. La construcción a
trav és de elementos nilpotentes es más fundamental en el sentido de que un idempotente puede producirse a partir de
ella. 2 5 De esta manera, las representaciones de un espinor se identifican con ciertos subespacios del álgebra de
Clifford. El segundo enfoque es construir un espacio v ectorial utilizando un subespacio distinguido de V, y luego
especificar la acción del álgebra de Clifford externamente a ese espacio v ectorial.

En cualquiera de los dos enfoques, la noción fundamental es la de un subespacio isotrópico W. Cada construcción
depende de una libertad inicial en la elección de este subespacio. En términos físicos, esto corresponde al hecho de que
no hay un protocolo de medición que pueda especificar una base del espacio de giro, incluso si se proporciona una
base preferida de V.

Como anteriormente, sea (V, g) un espacio v ectorial complejo n-dimensional equipado con una forma bilineal no
degenerada. Si V es un espacio v ectorial real, se reemplaza V por complejificación V ⊗R C y entonces g denota la
forma bilineal inducida en V ⊗R C. Sea W un subespacio isotrópico máximo, es decir, un subespacio máximo de V tal
que g|W = 0. Si n = 2k es par, entonces W∗ es un subespacio isotrópico complementario a W. Si n = 2k + 1 es impar,
entonces W∗ debe ser un subespacio isotrópico máximo con W ∩ W∗ = 0, y sea U el complemento ortogonal
de W ⊕ W∗. Tanto en los casos de dimensiones pares como impares, W y W∗ tienen dimensión k. En el caso de
dimensiones impares, U es unidimensional, abarcado por un v ector unitario u.

Ideales mínimos
Dado que W′ es isotrópico, la multiplicación de elementos de W′ dentro de C ℓ (V, g) es oblicua. Por lo tanto, los
v ectores en W′ no conmutan, y C ℓ (W′, g|W′ ) = C ℓ (W′, 0) es solo el álgebra exterior Λ ∗W′. En consecuencia, el k-
producto de W′ consigo mismo, W′k , es unidimensional. Sea ω un generador de W′k . En términos de una
base W′1 ,..., W′k de W′, una posibilidad es establecer

Téngase en cuenta que ω2 = 0 (es decir, ω es nilpotente de orden 2), y además, W′ ω = 0 para todos los W′ ∈ W′. Los
siguientes hechos pueden ser probados fácilmente:

1. Si n = 2k , entonces el ideal izquierdo Δ = Cℓ (V, g)ω es un ideal mínimo izquierdo. Además, esto se divide en los dos
espacios de giro Δ+ = Cℓ evenω y Δ− = Cℓ oddω en restricción a la acción del álgebra de Clifford par.
2. Si es n = 2k + 1, entonces la acción del vector unitario u en el ideal izquierdo Cℓ(V, g)ω descompone el espacio en un par
de espacios propios isomorfos irreducibles (ambos indicados con Δ), correspondientes a los valores propios respectivos
+1 y −1.
En detalle, supóngase, por ejemplo, que n es par, y que I es un ideal izquierdo distinto de cero contenido en Cℓ(V, g)ω.
Se demuestra que I debe ser igual a Cℓ(V, g)ω, al comprobar que contiene un múltiplo escalar distinto de cero de ω.

Escójase una base w i de W y una base complementaria w i de W′ para que

wiwj + wj wi = δij, y
(wi)2 = 0, (wi′)2 = 0.

Téngase en cuenta que cualquier elemento de I debe tener la forma αω, en v irtud de nuestro supuesto de
que I ⊂ Cℓ(V, g) ω. Sea αω ∈ I cualquiera de estos elementos. Usando la base elegida, se puede escribir

donde ai1 …ip son escalares, y Bj son elementos auxiliares del álgebra de Clifford. Obsérv ese ahora que el producto

Seleccionando cualquier monomio distinto de cero a en la expansión de α con un grado máximo homogéneo en los
elementos w i :

(sin suma implícita),

entonces

es un múltiplo escalar distinto de cero de ω, como se requería.

Téngase en cuenta que para n par, este cálculo también muestra que

como un espacio v ectorial. En la última igualdad, una v ez más se usa que W es isotrópico. En términos físicos, esto
muestra que Δ está construido como un espacio de Fock por los espinores que utilizan operadores de creación de
conmutación en W que actúan sobre un ω v acío.

Construcción del álgebra exterior

Los cálculos con la construcción ideal mínima sugieren que una representación de espinores también se puede definir
directamente utilizando el álgebra exterior Λ ∗ W = ⊕j Λ j W del subespacio isotrópico W.

Sea Δ = Λ ∗ W el álgebra exterior de W considerado solo como espacio v ectorial. Esta será la representación del espín, y
sus elementos se conocerán como espinores. 2 6 2 7

La acción del álgebra de Clifford en Δ se define primero al definir la acción de un elemento de V en Δ, y luego se
muestra que esta acción respeta la relación de Clifford y se extiende a un homomorfismo del álgebra de Clifford
completo en el anillo endomórfico End(Δ) por la propiedad univ ersal de las álgebras de Clifford. Los detalles difieren
ligeramente según si la dimensión de V es par o impar.

Cuando dim (V) es par, V = W ⊕ W′ donde W′ es el complemento isotrópico elegido. Por lo tanto, cualquier v ∈ V se
descompone de forma única como v = w + W′ con w ∈ W y W′ ∈ W′. La acción de V en un espinor está dada por

donde i(w′) es el producto interior con w′ usando la forma cuadrática no degenerada para identificar V con V ∗, y ε(w)
denota el producto exterior. Se puede v erificar que

c (u)c(v) + c(v)c(u) = 2 g(u, v),

y así c respeta las relaciones de Clifford y se extiende a un homomorfismo desde el álgebra de Clifford hasta el final (Δ).

La representación de espín Δ se descompone aún más en un par de representaciones complejas irreducibles del grupo
de espin2 8 (las representaciones de medio giro, o espines de Wey l) a trav és de

Cuando dim (V) es impar, V = W ⊕ U ⊕ W′, donde U está atrav esada por un v ector unitario u ortogonal a W. La acción
de Clifford c se define como antes en W ⊕ W′, mientras que la acción de Clifford sobre (múltiplos de) u se define por

Como antes, se v erifica que c respeta las relaciones de Clifford, y así induce un homomorfismo.

Espacios vectoriales hermíticos y espinores

Si el espacio v ectorial V tiene una estructura extra que proporciona una descomposición de su complejificación en dos
subespacios isotrópicos máximos, entonces la definición de espinores (por cualquiera de los dos métodos) se v uelv e
natural.

El ejemplo principal es el caso de que el espacio v ectorial real V es un espacio v ectorial hermítico (V, h), es
decir, Vestá dotado con una estructura compleja J que es una transformación ortogonal con respecto al producto
interno g en V. Luego, V ⊗R C se div ide en los espacios ±i de J. Estos espacios propios son isotrópicos para la
complejización de gy se pueden identificar con el espacio v ectorial complejo (V, J) y su complejo conjugado (V, −J).
⋅ ⋅
Por lo tanto, para un espacio v ectorial hermítico (V, h), el espacio v ectorial Λ CV (así como su complejo conjugado Λ C
V ) es un espacio espinorial con respecto al espacio v ectorial euclídeo real suby acente.

Con la acción de Clifford, como se muestra más arriba, pero con la contracción usando la forma hermítica, esta
construcción proporciona un espacio de giro en cada punto de una v ariedad casi hermítica y es la razón por la que
cada v ariedad casi compleja (en particular cada v ariedad simpléctica) tiene una estructura espínc . Del mismo modo,
cada conjunto de v ectores complejos en una v ariedad llev a una estructura de espínc . 2 9

Descomposición de Clebsch-Gordan
Son posibles v arias descomposiciones de Clebsch-Gordan en el producto tensorial de una representación de espín con
otra. 3 0 Estas descomposiciones expresan el producto tensorial en términos de las representaciones alternas del
grupo ortogonal.

Para el caso real o complejo, las representaciones alternas son

Γr = ΛrV, la representación del grupo ortogonal en tensores oblicuos de rango r.

Además, para los grupos ortogonales reales, hay tres caracteres (representaciones unidimensionales)

σ+: O(p, q) → {−1, +1} dada por σ+(R) = −1, si R invierte la orientación espacial de V , +1, si R conserva la orientación
espacial de V (el carácter espacial)
σ−: O(p, q) → {−1, +1} dado por σ−(R) = −1, si R invierte la orientación temporal de V , +1, si R conserva la orientación
temporal de V (el carácter temporal)
σ = σ+σ− (el carácter de orientación)

La descomposición de Clebsch-Gordan permite definir, entre otras cosas:

Una acción de los espinores sobre los vectores

Una métrica hermítica en las representaciones complejas de los grupos de espines reales
Un operador de Dirac en cada representación de giro

Dimensiones pares
Si n = 2k es par, entonces el producto tensorial de Δ con representación contragradiente se descompone como

que se puede v er explícitamente al considerar (en la construcción explícita) la acción del álgebra de Clifford sobre los
elementos descomponibles αω ⊗ βω′. La formulación más a la derecha se deduce de las propiedades de
transformación del dual de Hodge. Téngase en cuenta que en la restricción al álgebra de Clifford par, los sumandos
emparejados Γp ⊕ σΓp son isomorfos, pero bajo el álgebra de Clifford completa no lo son.

Hay una identificación natural de Δ con su representación contragradiente a trav és de la conjugación en el álgebra de
Clifford:

Entonces Δ ⊗ Δ también se descompone de la manera anterior. Además, bajo el álgebra de Clifford, las
representaciones de medio giro se descomponen de la forma

Para las representaciones complejas de las álgebras de Clifford reales, la estructura real asociada en el álgebra
compleja de Clifford desciende al espacio de los espinores (a trav és de la construcción explícita en términos de ideales
mínimos, por ejemplo). De esta manera, se obtiene el conjugado complejo Δ de la representación, y se observ a que se
cumple el siguiente isomorfismo:

En particular, téngase en cuenta que la representación Δ del grupo de espín ortócrono es una representación unitaria.
En general, existen descomposiciones de Clebsch-Gordan con la forma

En la signatura métrica (p, q), los siguientes isomorfismos son v álidos para las representaciones de medio giro
conjugadas

Si q es par, entonces y
Si q es impar, entonces y

Usando estos isomorfismos, se pueden deducir descomposiciones análogas para los productos tensoriales de las
representaciones de medio giro Δ ± ⊗ Δ ±.

Dimensiones impares
Si n = 2k + 1 es impar, entonces

En el caso real, una v ez más se mantiene el isomorfismo

Por lo tanto, hay una descomposición de Clebsch-Gordan (nuev amente utilizando la estrella de Hodge para dualizarse)
dada por
Consecuencias
Hay muchas consecuencias de largo alcance relativ as a las descomposiciones de Clebsch-Gordan de los espacios de
espín. El más fundamental de estos se refiere a la teoría del electrón de Dirac, entre cuy os requisitos básicos se
encuentran:

Una manera de ver el producto de dos espinores ϕψ como un escalar. En términos físicos, un espinor debe determinar
una amplitud de probabilidad para un estado cuántico.
Una forma de considerar el producto ψϕ como un vector. Esta es una característica esencial de la teoría de Dirac, que
vincula el formalismo del espinor con la geometría del espacio físico.
Una forma de considerar que un espinor actúa sobre un vector, mediante una expresión como ψvψ. En términos físicos,
esto representa una corriente eléctrica propia de la teoría del electromagnetismo de Maxwell, o más generalmente
una corriente de probabilidad.

Resumen en dimensiones bajas

En 1 dimensión (un ejemplo trivial), la representación de un espinor simple es formalmente del tipo Majorana, una
representación tridimensional real que no se transforma.
En 2 dimensiones euclídeas, los espinores izquierdo y derecho de Weyl son representaciones complejas de 1
componente, es decir, números complejos que se multiplican por e±iφ/2 bajo una rotación por el ángulo φ.
En 3 dimensiones euclídeas, la representación de un solo rotor es bidimensional y cuaterniónica. La existencia de
espinores en 3 dimensiones se deriva del isomorfismo del grupo SU(2) ≅ Espín(3) que permite definir la acción de
Espín(3) en una columna compleja de 2 componentes (un espinor); los generadores de SU(2) se pueden escribir
como matrices de Pauli.
En 4 dimensiones euclídeas, el isomorfismo correspondiente es Spin(4) ≅ SU(2) × SU(2). Hay dos espirales de Weyl de 2
componentes cuaterniónicos y cada uno de ellos se transforma bajo uno de los factores de SU(2) solamente.
En 5 dimensiones euclídeas, el isomorfismo relevante es Spin(5) ≅ USp(4) ≅ Sp(2) que implica que la representación de
un solo espinor es 4-dimensional y cuaterniónica.
En 6 dimensiones euclídeas, el isomorfismo Spin(6) ≅ SU(4) garantiza que hay dos representaciones de Weyl complejas
en 4 dimensiones que son complejos conjugados entre sí.
En 7 dimensiones euclídeas, la representación de un solo espinor es 8-dimensional y real; a partir de esta dimensión no
existen isomorfismos a un álgebra de Lie de otra serie (A o C).
En 8 dimensiones euclídeas, hay dos representaciones de 8 dimensiones reales de Weyl-Majorana que están
relacionadas con la representación de un vector real de 8 dimensiones por una propiedad especial
de Espín(8) llamada trialidad.
En d + 8 dimensiones, el número de distintas representaciones de espinores irreducibles y su realidad (ya sean reales,
pseudoreales o complejas) imita la estructura en d dimensiones, pero sus dimensiones son 16 veces más grandes; esto
permite entender todos los casos restantes. Véase periodicidad de Bott.
En los espacio-tiempos con las direcciones p espacial y q temporal, las dimensiones vistas sobre los números complejos
coinciden con el caso del espacio euclídeo (p + q)-dimensional, pero las proyecciones de la realidad imitan la estructura
en | p − q | dimensiones euclídeas. Por ejemplo, en 3 + 1 dimensiones hay dos espinores de 2 componentes de Weyl
(como en 4 dimensiones) no equivalentes (como en 2 dimensiones), que se desprenden del
isomorfismo SL(2, C) ≅ Espín(3,1).
Signatura Izquierda Derecha Izquierda de Derecha de
Conjugada Dirac Majorana
métrica de Weyl de Weyl Majorana-Weyl Majorana-Weyl

compleja compleja compleja real real real

(2,0) 1 1 mutua 2 – – 2

(1,1) 1 1 propia 2 1 1 2

(3,0) – – – 2 – – –

(2,1) – – – 2 – – 2

(4,0) 2 2 propia 4 – – –

(3,1) 2 2 mutua 4 – – 4

(5,0) – – – 4 – – –

(4,1) – – – 4 – – –

(6,0) 4 4 mutua 8 – – 8

(5,1) 4 4 propia 8 – – –

(7,0) – – – 8 – – 8

(6,1) – – – 8 – – –

(8,0) 8 8 propia 16 8 8 16

(7,1) 8 8 mutua 16 – – 16

(9,0) – – – 16 – – 16

(8,1) – – – 16 – – 16