En geometría y física, los espinores (pronunciado "spinner" IPA / s p ɪ n ər / ) son elementos de un espacio vectorial basado en números complejos que se pueden asociar con el espacio euclidiano . [b] Un espinor se transforma linealmente cuando el espacio euclidiano se somete a una ligera rotación ( infinitesimal ), [c] pero a diferencia de los vectores geométricos y los tensores , un espinor se transforma a su negativo cuando el espacio gira 360° (ver imagen). Se necesita una rotación de 720° para que un espinor vuelva a su estado original. Esta propiedad caracteriza a los espinores: los espinores pueden verse como las "raíces cuadradas" de los vectores (aunque esto es inexacto y puede ser engañoso; se ven mejor como "raíces cuadradas" de secciones de fibrados vectoriales - en el caso del fibrado algebraico exterior del fibrado cotangente , se convierten así en "raíces cuadradas" de formas diferenciales ).
También es posible asociar una noción sustancialmente similar de espinor al espacio de Minkowski , en cuyo caso las transformaciones de Lorentz de la relatividad especial desempeñan el papel de las rotaciones. Los espinores fueron introducidos en geometría por Élie Cartan en 1913. [1] [d] En la década de 1920, los físicos descubrieron que los espinores son esenciales para describir el momento angular intrínseco , o "espín", del electrón y otras partículas subatómicas. [e]
Los espinores se caracterizan por la forma específica en que se comportan bajo rotaciones. Cambian de diferentes maneras dependiendo no solo de la rotación final general, sino de los detalles de cómo se logró esa rotación (por un camino continuo en el grupo de rotación ). Hay dos clases topológicamente distinguibles ( clases de homotopía ) de caminos a través de rotaciones que dan como resultado la misma rotación general, como lo ilustra el rompecabezas del truco del cinturón . Estas dos clases inequivalentes producen transformaciones de espinores de signo opuesto. El grupo de espín es el grupo de todas las rotaciones que sigue la pista de la clase. [f] Cubre doblemente el grupo de rotación, ya que cada rotación se puede obtener de dos formas inequivalentes como el punto final de un camino. El espacio de espinores por definición está equipado con una representación lineal (compleja) del grupo de espín, lo que significa que los elementos del grupo de espín actúan como transformaciones lineales en el espacio de espinores, de una manera que realmente depende de la clase de homotopía. [g] En términos matemáticos, los espinores se describen mediante una representación proyectiva de doble valor del grupo de rotación SO(3) .
Aunque los espinores pueden definirse puramente como elementos de un espacio de representación del grupo de espín (o su álgebra de Lie de rotaciones infinitesimales), normalmente se definen como elementos de un espacio vectorial que lleva una representación lineal del álgebra de Clifford . El álgebra de Clifford es un álgebra asociativa que puede construirse a partir del espacio euclidiano y su producto interno de una manera independiente de la base. Tanto el grupo de espín como su álgebra de Lie están integrados dentro del álgebra de Clifford de una manera natural, y en aplicaciones el álgebra de Clifford es a menudo la más fácil de trabajar. [h] Un espacio de Clifford opera en un espacio de espinores, y los elementos de un espacio de espinores son espinores. [3] Después de elegir una base ortonormal del espacio euclidiano, se genera una representación del álgebra de Clifford mediante matrices gamma , matrices que satisfacen un conjunto de relaciones de anticonmutación canónicas. Los espinores son los vectores columna sobre los que actúan estas matrices. En tres dimensiones euclidianas, por ejemplo, las matrices de espín de Pauli son un conjunto de matrices gamma, [i] y los vectores 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, es decir, lo que constituye precisamente un "vector columna" (o espinor), implica la elección de matrices base y gamma de manera esencial. Como representación del grupo de espín, esta realización de espinores como vectores columna (complejos [j] ) será irreducible si la dimensión es impar, o se descompondrá en un par de las llamadas representaciones de "medio espín" o de Weyl si la dimensión es par. [k]
Lo que caracteriza a los espinores y los distingue de los vectores geométricos y otros tensores es sutil. Consideremos la aplicación de una rotación a las coordenadas de un sistema. Ningún objeto del sistema se ha movido, sólo las coordenadas, por lo que siempre habrá un cambio compensatorio en esos valores de coordenadas cuando se apliquen a cualquier objeto del sistema. Los vectores geométricos, por ejemplo, tienen componentes que experimentarán la misma rotación que las coordenadas. En términos más generales, cualquier tensor asociado 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 propio sistema de coordenadas.
Los espinores no aparecen en este nivel de la descripción de un sistema físico, cuando uno se preocupa sólo de las propiedades de una única rotación aislada de las coordenadas. Más bien, los espinores aparecen cuando imaginamos que en lugar de una única rotación, el sistema de coordenadas rota gradualmente ( continuamente ) entre alguna configuración inicial y final. Para cualquiera de las cantidades familiares e intuitivas ("tensoriales") asociadas con el sistema, la ley de transformación no depende de los detalles precisos de cómo las coordenadas llegaron a su configuración final. Los espinores, por otro lado, están construidos de tal manera que los hace sensibles a cómo la rotación gradual de las coordenadas llegó allí: exhiben dependencia de la trayectoria. Resulta que, para cualquier configuración final de las coordenadas, hay en realidad dos rotaciones graduales (continuas) (" topológicamente ") no equivalentes del sistema de coordenadas que dan como resultado esta misma configuración. Esta ambigüedad se llama la clase de homotopía de la rotación gradual. El truco del cinturón (que se muestra en la imagen, en el que ambos extremos del objeto rotado están atados físicamente a una referencia externa) demuestra dos rotaciones diferentes, una a través de un ángulo de 2 π y la otra a través de un ángulo de 4 π , que tienen las mismas configuraciones finales pero diferentes clases. Los espinores en realidad exhiben una inversión de signo que realmente depende de esta clase de homotopía. Esto los distingue de los vectores y otros tensores, ninguno de los cuales puede sentir la clase.
Los espinores pueden ser exhibidos como objetos concretos usando una elección de coordenadas cartesianas . En tres dimensiones euclidianas, por ejemplo, los espinores pueden construirse haciendo una elección de matrices de espín de Pauli correspondientes a ( momentos angulares alrededor de) los tres ejes de coordenadas. Estas son matrices 2×2 con entradas complejas , y los vectores columna complejos de dos componentes sobre los que estas matrices actúan por multiplicación de matrices son los espinores. En este caso, el grupo de espín es isomorfo al grupo de matrices unitarias 2×2 con determinante uno, que naturalmente se encuentra dentro del álgebra matricial. Este grupo actúa por conjugación sobre el espacio vectorial real abarcado por las propias matrices de Pauli, [m] realizándolo como un grupo de rotaciones entre ellas, [n] pero también actúa sobre los vectores columna (es decir, los espinores).
De manera más general, un álgebra de Clifford se puede construir a partir de cualquier espacio vectorial V equipado con una forma cuadrática (no degenerada) , como el espacio euclidiano con su producto escalar estándar o el espacio de Minkowski con su métrica de Lorentz estándar. El espacio de espinores es el espacio de vectores columna con componentes. El álgebra de Lie ortogonal (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. [o] Dependiendo de la dimensión y la firma métrica , esta realización de espinores como vectores columna puede ser irreducible o puede descomponerse en un par de las llamadas representaciones de "medio espín" o de Weyl. [p] Cuando el espacio vectorial V es de cuatro dimensiones, el álgebra se describe mediante las matrices gamma .
El espacio de espinores se define formalmente como la representación fundamental del álgebra de Clifford . (Esto puede o no descomponerse en representaciones irreducibles). El espacio de espinores también puede definirse como una representación de espín del álgebra de Lie ortogonal . Estas representaciones de espín también se caracterizan como representaciones proyectivas de dimensión finita del grupo ortogonal especial que no se factorizan a través de representaciones lineales. Equivalentemente, un espinor es un elemento de una representación de grupo de dimensión finita del grupo de espín sobre el que el centro actúa de manera no trivial.
Existen esencialmente dos marcos para considerar la noción de espinor: el punto de vista teórico de la representación y el punto de vista geométrico .
Desde un punto de vista teórico de la representación , uno sabe de antemano que hay algunas representaciones del álgebra de Lie del grupo ortogonal que no pueden formarse mediante las construcciones tensoriales habituales. Estas representaciones faltantes se etiquetan entonces como representaciones de espín y sus constituyentes como espinores . Desde este punto de vista, un espinor debe pertenecer a una representación de la doble cobertura del grupo de rotación SO( n , ) , o más generalmente de una doble cobertura del grupo ortogonal especial generalizado SO + ( p , q , ) en espacios con una firma métrica de ( p , q ) . Estas dobles coberturas son grupos de Lie , llamados grupos de espín Spin( n ) o Spin( p , q ) . Todas las propiedades de los espinores, y sus aplicaciones y objetos derivados, se manifiestan primero en el grupo de espín. Las representaciones de las dobles coberturas de estos grupos producen representaciones proyectivas de doble valor de los propios grupos. (Esto significa que la acción de una rotación particular sobre los vectores en el espacio cuántico de Hilbert sólo está definida hasta un signo).
En resumen, dada una representación especificada por los datos donde es un espacio vectorial sobre o y es un homomorfismo , un espinor es un elemento del espacio vectorial .
Desde un punto de vista geométrico, se pueden construir explícitamente los espinores y luego examinar cómo se comportan bajo la acción de los grupos de Lie relevantes. Este último enfoque tiene la ventaja de proporcionar una descripción concreta y elemental de lo que es un espinor. Sin embargo, dicha descripción se vuelve difícil de manejar cuando se necesitan propiedades complicadas de los espinores, como las identidades de Fierz .
El lenguaje de las álgebras de Clifford [5] (a veces llamadas álgebras geométricas ) proporciona una imagen completa de las representaciones de espín de todos los grupos de espín y las diversas relaciones entre esas representaciones, a través de la clasificación de las álgebras de Clifford . Elimina en gran medida la necesidad de construcciones ad hoc .
En detalle, sea V un espacio vectorial complejo de dimensión finita con forma bilineal simétrica no degenerada g . El álgebra de Clifford Cℓ( V , g ) es el álgebra generada por V junto con la relación de anticonmutación xy + yx = 2 g ( x , y ) . Es una versión abstracta del álgebra generada por las matrices gamma o de Pauli . Si V = , con la forma estándar g ( x , y ) = x T y = x 1 y 1 + ... + x n y n denotamos el álgebra de Clifford por Cℓ n ( ). Dado que por la elección de una base ortonormal todo espacio vectorial complejo con forma no degenerada es isomorfo a este ejemplo estándar, esta notación se abusa de manera más general si dim ( V ) = n . Si n = 2 k es par, Cℓ n ( ) es isomorfo como álgebra (de manera no única) al álgebra Mat(2 k , ) de matrices complejas de 2 k × 2 k (por el teorema de Artin-Wedderburn y el hecho fácil de demostrar de que el álgebra de Clifford es centralmente simple ). Si n = 2 k + 1 es impar, Cℓ 2 k +1 ( ) es isomorfo al álgebra Mat(2 k , ) ⊕ Mat(2 k , ) de dos copias de las matrices complejas de 2 k × 2 k . Por lo tanto, en cualquier caso Cℓ( V , g ) tiene una representación irreducible única (salvo isomorfismo) (también llamada módulo simple de Clifford ), comúnmente denotada por Δ, de dimensión 2 [ n /2] . Dado que el álgebra de Lie entonces ( V , g ) está incrustada como una subálgebra de Lie en Cℓ( V , g ) equipada con el álgebra de Cliffordconmutador como corchete de Lie, el espacio Δ es también una representación del álgebra de Lie de ( 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 divide aún más [ aclaración necesaria ] en dos representaciones irreducibles Δ = Δ + ⊕ Δ − llamadas representaciones de Weyl o de medio espín .
Las representaciones irreducibles sobre los números reales en el caso en que V es un espacio vectorial real son mucho más complejas y se remite al lector al artículo sobre álgebra de Clifford para obtener más detalles.
Los espinores forman un espacio vectorial , generalmente sobre los números complejos , equipado con una representación de grupo lineal del grupo de espín que no se factoriza a través de una representación del grupo de rotaciones (ver diagrama). El grupo de espín es el grupo de rotaciones que lleva la cuenta de 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 está simplemente conexo , sino que el grupo de espín simplemente conexo es su doble cubierta . Entonces, para cada rotación hay dos elementos del grupo de espín que lo representan. Los vectores geométricos y otros tensores no pueden sentir la diferencia entre estos dos elementos, pero producen signos opuestos cuando afectan a cualquier espinor bajo la representación. Pensando en los elementos del grupo de espín como clases de homotopía de familias de rotaciones de un parámetro, cada rotación está representada por dos clases de homotopía distintas de caminos hacia la identidad. Si una familia de rotaciones de un parámetro se visualiza como una cinta en el espacio, con el parámetro de longitud de arco de esa cinta como parámetro (su marco tangente, normal y binormal en realidad da la rotación), entonces estas dos clases de homotopía distintas se visualizan en los dos estados del rompecabezas del truco de la cinta (arriba). El espacio de espinores es un espacio vectorial auxiliar que se puede construir explícitamente en coordenadas, pero en última instancia solo existe hasta el isomorfismo en el sentido de que no hay una construcción "natural" de ellos que no dependa de elecciones arbitrarias como los sistemas de coordenadas. Una noción de espinores se puede asociar, como un objeto matemático auxiliar, con cualquier espacio vectorial equipado con una forma cuadrática como el espacio euclidiano con su producto escalar estándar o el espacio de Minkowski con su métrica de Lorentz . En el último caso, las "rotaciones" incluyen los impulsos de Lorentz , pero por lo demás la teoría es sustancialmente similar. [ cita requerida ]
Las construcciones dadas anteriormente, en términos del álgebra de Clifford o la teoría de la representación, pueden considerarse como la definición de los espinores como objetos geométricos en el espacio-tiempo de dimensión cero . Para obtener los espinores de la física, como el espinor de Dirac , se extiende la construcción para obtener una estructura de espín en el espacio-tiempo de 4 dimensiones ( espacio de Minkowski ). Efectivamente, se comienza con la variedad tangente del espacio-tiempo, cada punto del cual es un espacio vectorial de 4 dimensiones con simetría SO(3,1), y luego se construye el grupo de espín en cada punto. Las vecindades de los puntos están dotadas de conceptos de suavidad y diferenciabilidad: la construcción estándar es la de un haz de fibras , cuyas fibras son espacios afines que se transforman bajo el grupo de espín. Después de construir el haz de fibras, se pueden considerar ecuaciones diferenciales, como la ecuación de Dirac o la ecuación de Weyl en el haz de fibras. Estas ecuaciones (de Dirac o de Weyl) tienen soluciones que son ondas planas , que tienen simetrías características de las fibras, es decir, que tienen las simetrías de los espinores, como se obtiene de la teoría de representación de espín/álgebra de Clifford (de dimensión cero) descrita anteriormente. Tales soluciones de ondas planas (u otras soluciones) de las ecuaciones diferenciales pueden entonces llamarse apropiadamente fermiones ; los fermiones tienen las cualidades algebraicas de los espinores. Por convención general, los términos "fermión" y "espinor" se usan a menudo indistintamente en física, como sinónimos uno del otro. [ cita requerida ]
Parece que todas las partículas fundamentales de la naturaleza que tienen 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 para que este sea el caso. Una opción perfectamente válida para los espinores sería la versión no complejada de Cℓ 2,2 ( ) , el espinor de Majorana . [6] Tampoco parece haber ninguna prohibición particular para que los espinores de Weyl aparezcan en la naturaleza como partículas fundamentales.
Los espinores de Dirac, Weyl y Majorana están interrelacionados y su relación se puede dilucidar sobre la base del álgebra geométrica real. [7] Los espinores de Dirac y Weyl son representaciones complejas, mientras que los espinores de Majorana son representaciones reales.
Los espinores de Weyl son insuficientes para describir partículas masivas, como los electrones , ya que las soluciones de ondas planas de Weyl viajan necesariamente a la velocidad de la luz; para partículas masivas, se necesita la ecuación de Dirac . La construcción inicial del Modelo Estándar de física de partículas comienza con el electrón y el neutrino como espinores de Weyl sin masa; el mecanismo de Higgs le da una masa a los electrones; el neutrino clásico permaneció sin masa y, por lo tanto, fue un ejemplo de espinor de Weyl. [q] Sin embargo, debido a la oscilación de neutrinos observada , ahora se cree que no son espinores de Weyl, sino quizás espinores de Majorana. [8] No se sabe si las partículas fundamentales del espinor de Weyl existen en la naturaleza.
La situación de la física de la materia condensada es diferente: se pueden construir “espaciotiempos” bidimensionales y tridimensionales en una gran variedad de materiales físicos diferentes, desde semiconductores hasta materiales mucho más exóticos. En 2015, un equipo internacional dirigido por científicos de la Universidad de Princeton anunció que había descubierto una cuasipartícula que se comporta como un fermión de Weyl. [9]
Una de las principales aplicaciones matemáticas de la construcción de espinores es hacer posible la construcción explícita de representaciones lineales de las álgebras de Lie de los grupos ortogonales especiales y, en consecuencia, representaciones de espinores de los propios grupos. En un nivel más profundo, se ha descubierto que los espinores están en el centro de los enfoques del teorema del índice de Atiyah-Singer y proporcionan construcciones en particular para representaciones de series discretas de grupos semisimples .
Las representaciones de espín de las álgebras de Lie ortogonales especiales se distinguen de las representaciones tensoriales dadas por la construcción de Weyl por los 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. Se pueden encontrar detalles explícitos en el artículo sobre representaciones de espín .
El espinor puede describirse, en términos simples, como "vectores de un espacio cuyas transformaciones están relacionadas de una manera particular con rotaciones en el espacio físico". [10] Dicho de otra manera:
Los espinores... proporcionan una representación lineal del grupo de rotaciones en un espacio con cualquier número de dimensiones, cada espinor tiene componentes donde o . [2]
Se han formulado varias formas de ilustrar analogías cotidianas en términos del truco de las placas , los tangloides y otros ejemplos de entrelazamiento de orientación .
Sin embargo, el concepto generalmente se considera notoriamente difícil de entender, como lo ilustra la declaración de Michael Atiyah que relata 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, así como la comprensión de la raíz cuadrada de −1 llevó siglos, lo mismo podría ser cierto para los espinores. [11]
La forma matemática más general de los espinores fue descubierta por Élie Cartan en 1913. [12] La palabra "espinor" fue acuñada por Paul Ehrenfest en su trabajo sobre física cuántica . [13]
Los espinores fueron aplicados por primera vez a la física matemática por Wolfgang Pauli en 1927, cuando introdujo sus matrices de espín . [14] Al año siguiente, Paul Dirac descubrió la teoría completamente relativista del espín del electrón al mostrar la conexión entre los espinores y el grupo de Lorentz . [15] En la década de 1930, Dirac, Piet Hein y otros en el Instituto Niels Bohr (entonces conocido como el Instituto de Física Teórica de la Universidad de Copenhague) crearon juguetes como Tangloids para enseñar y modelar el cálculo de espinores.
Los espacios de espinores fueron representados como ideales izquierdos de un álgebra matricial en 1930, por Gustave Juvett [16] y por Fritz Sauter [17] [18] Más específicamente, en lugar de representar los espinores como vectores columna 2D de valor complejo como lo había hecho Pauli, los representaron como matrices 2 × 2 de valor complejo en las que solo los elementos de la columna izquierda son distintos de cero. De esta manera, el espacio de espinores se convirtió en un ideal izquierdo mínimo en Mat(2, ) . [r] [20]
En 1947 Marcel Riesz construyó espacios de espinores como elementos de un ideal izquierdo mínimo de álgebras de Clifford . En 1966/1967, David Hestenes [21] [22] reemplazó los espacios de espinores por la subálgebra par Cℓ 0 1,3 ( ) del álgebra del espacio-tiempo Cℓ 1,3 ( ). [18] [20] A partir de la década de 1980, el grupo de física teórica en Birkbeck College alrededor de David Bohm y Basil Hiley ha estado desarrollando enfoques algebraicos para la teoría cuántica que se basan en la identificación de Sauter y Riesz de espinores con ideales izquierdos mínimos.
Algunos ejemplos simples de espinores en pequeñas dimensiones surgen al considerar las subálgebras de grado par del álgebra de Clifford Cℓ p , q ( ) . Esta es un álgebra construida a partir de una base ortonormal de n = p + q vectores mutuamente ortogonales bajo adición y multiplicación, p de los cuales tienen norma +1 y q de los cuales tienen norma −1, con la regla del producto para los vectores base
El álgebra de Clifford Cℓ 2,0 ( ) se construye a partir de una unidad escalar, 1, dos vectores unitarios ortogonales, σ 1 y σ 2 , y una unidad pseudoescalar i = σ 1 σ 2 . De las definiciones anteriores, es evidente que ( σ 1 ) 2 = ( σ 2 ) 2 = 1 , y ( σ 1 σ 2 )( σ 1 σ 2 ) = − σ 1 σ 1 σ 2 σ 2 = −1 .
La subálgebra par Cℓ 0 2,0 ( ), abarcada por elementos base de grado par de Cℓ 2,0 ( ), determina el espacio de espinores a través de sus representaciones. Está formada por combinaciones lineales reales de 1 y σ 1 σ 2 . Como álgebra real, Cℓ 0 2,0 ( ) es isomorfa al cuerpo de números complejos . Como resultado, admite una operación de conjugación (análoga a la conjugación compleja ), a veces llamada el reverso de un elemento de Clifford, definido por el cual, por las relaciones de Clifford, puede escribirse
La acción de un elemento de Clifford par γ ∈ Cℓ 0 2,0 ( ) sobre vectores, considerados como elementos 1-graduados de Cℓ 2,0 ( ), se determina mediante la aplicación de un vector general u = a 1 σ 1 + a 2 σ 2 al vector donde es el conjugado de , y el producto es la multiplicación de Clifford. En esta situación, un espinor [s] es un número complejo ordinario. La acción de sobre un espinor viene dada por la multiplicación compleja ordinaria:
Una característica importante de esta definición es la distinción entre vectores ordinarios y espinores, que se manifiesta en cómo los elementos de grado par actúan sobre cada uno de ellos de diferentes maneras. En general, una rápida comprobación de las relaciones de Clifford revela que los elementos de grado par conjugan-conmutan con los vectores ordinarios:
Por otra parte, en comparación con su acción sobre los espinores , la acción de sobre los vectores ordinarios aparece como el cuadrado de su acción sobre los espinores.
Consideremos, por ejemplo, la implicación que esto tiene para las rotaciones de planos. Rotar un vector a través de un ángulo de θ corresponde a γ 2 = exp( θ σ 1 σ 2 ) , de modo que la acción correspondiente sobre los espinores es a través de γ = ± exp( θ σ 1 σ 2 /2) . En general, debido a la ramificación logarítmica , es imposible elegir un signo de manera consistente. Por lo tanto, la representación de las rotaciones de planos sobre los espinores es bivaluada.
En las aplicaciones de los espinores en dos dimensiones, es común explotar el hecho de que el álgebra de elementos de grado par (es decir, simplemente el anillo de números complejos) es idéntica al espacio de espinores. Por lo tanto, mediante un abuso del lenguaje , a menudo se confunden los dos. Se puede hablar entonces de "la acción de un espinor sobre un vector". En un contexto general, tales afirmaciones no tienen sentido. Pero en las dimensiones 2 y 3 (tal como se aplican, por ejemplo, a los gráficos de computadora ) tienen sentido.
El álgebra de Clifford Cℓ 3,0 ( ) se construye a partir de una unidad escalar, 1, tres vectores unitarios ortogonales, σ 1 , σ 2 y σ 3 , los tres bivectores unitarios σ 1 σ 2 , σ 2 σ 3 , σ 3 σ 1 y el pseudoescalar i = σ 1 σ 2 σ 3 . Es sencillo demostrar 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 par se compone de dilataciones escalares y rotaciones vectoriales donde
corresponde a una rotación vectorial a través de un ángulo θ alrededor de un eje definido por un vector unitario v = a 1 σ 1 + a 2 σ 2 + a 3 σ 3 .
Como caso especial, es fácil ver que, si v = σ 3 , esto reproduce la rotación σ 1 σ 2 considerada en la sección anterior; y que dicha rotación deja invariantes los coeficientes de los vectores en la dirección σ 3 , ya que
Los bivectores σ 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 par con el álgebra de cuaterniones, como en el caso de dos dimensiones la única representación del álgebra de elementos de grado par es sobre sí misma. [t] Así los espinores (reales [u] ) en tres dimensiones son cuaterniones, y la acción de un elemento de grado par sobre un espinor está dada por la multiplicación cuaterniónica ordinaria.
Nótese que la expresión (1) para una rotación vectorial a través de un ángulo θ , el ángulo que aparece en γ se redujo a la mitad . Por lo tanto, la rotación de espinor γ ( ψ ) = γψ (multiplicación cuaterniónica ordinaria) rotará el espinor ψ a través de un ángulo de la mitad de la medida del ángulo de la rotación vectorial correspondiente. Una vez más, el problema de elevar una rotación vectorial a una rotación de espinor tiene dos valores: la expresión (1) con (180° + θ /2) en lugar de θ /2 producirá la misma rotación vectorial, pero el negativo de la rotación de espinor.
La representación espinor/cuaternión de las rotaciones en 3D se está volviendo cada vez más frecuente en la geometría computacional y otras aplicaciones, debido a la notable brevedad de la matriz de espín correspondiente y la simplicidad con la que pueden multiplicarse entre sí para calcular el efecto combinado de rotaciones sucesivas sobre diferentes ejes.
Un espacio de espinores se puede construir explícitamente con construcciones concretas y abstractas. La equivalencia de estas construcciones es una consecuencia de la unicidad de la representación de los espinores del álgebra compleja de Clifford. Para un ejemplo completo en dimensión 3, véase espinores en tres dimensiones .
Dado un espacio vectorial 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 siguiente manera. Elija una base ortonormal e 1 ... e n para V ie g ( e μ e ν ) = η μν donde η μμ = ±1 y η μν = 0 para μ ≠ ν . Sea k = ⌊ n /2⌋ . Fije un conjunto de matrices 2 k × 2 k γ 1 ... γ n tal que γ μ γ ν + γ ν γ μ = 2 η μν 1 (es decir, fije una convención para las matrices gamma ). Entonces la asignación e μ → γ μ se extiende únicamente a un homomorfismo de álgebra Cℓ( V , g ) → Mat(2 k , ) enviando el monomio e μ 1 ⋅⋅⋅ e μ k en el álgebra de Clifford al producto γ μ 1 ⋅⋅⋅ γ μ k de matrices y extendiéndose linealmente. El espacio en el que actúan las matrices gamma es ahora un espacio de espinores. Sin embargo, es necesario construir dichas matrices explícitamente. En la dimensión 3, definiendo las matrices gamma como la sigma de Pauli Las matrices dan lugar a los conocidos espinores de dos componentes utilizados en la mecánica cuántica no relativista . Del mismo modo, el uso de las matrices gamma de Dirac 4 × 4 da lugar a los espinores de Dirac de 4 componentes utilizados en la teoría cuántica de campos relativista de 3+1 dimensiones . En general, para definir matrices gamma del tipo requerido, se pueden utilizar las matrices de Weyl-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 espín Spin( V , g ) , dependen todas de la elección de la base ortonormal y de la elección de las matrices gamma. Esto puede causar confusión sobre las convenciones, pero los invariantes como las trazas son independientes de las elecciones. En particular, todas las cantidades observables físicamente deben ser independientes de tales elecciones. En esta construcción, un espinor puede representarse como un vector de 2 k números complejos y se denota con índices de espinor (generalmente α , β , γ ). En la literatura de física, dichos índices se utilizan a menudo para denotar espinores incluso cuando se utiliza una construcción de espinor abstracta.
Hay al menos dos formas diferentes, pero esencialmente equivalentes, de definir espinores de forma abstracta. Un enfoque busca identificar los ideales mínimos para la acción izquierda de Cℓ( V , g ) sobre sí mismo. Estos son subespacios del álgebra de Clifford de la forma Cℓ( V , g ) ω , admitiendo la acción evidente de Cℓ( V , g ) por multiplicación izquierda: c : xω → cxω . Hay dos variaciones sobre este tema: uno puede encontrar un elemento primitivo ω que sea un elemento nilpotente del álgebra de Clifford, o uno que sea un idempotente . La construcción a través de elementos nilpotentes es más fundamental en el sentido de que un idempotente puede entonces producirse a partir de él. [23] De esta manera, las representaciones de espinores se identifican con ciertos subespacios del propio álgebra de Clifford. El segundo enfoque es construir un espacio vectorial utilizando un subespacio distinguido de V y luego especificar la acción del álgebra de Clifford externamente a ese espacio vectorial.
En ambos enfoques, la noción fundamental es la de un subespacio isótropo W. Cada construcción depende de una libertad inicial para elegir este subespacio. En términos físicos, esto corresponde al hecho de que no existe un protocolo de medición que pueda especificar una base del espacio de espín, incluso si se da una base preferida de V.
Como arriba, sea ( V , g ) un espacio vectorial complejo n -dimensional equipado con una forma bilineal no degenerada. Si V es un espacio vectorial real, entonces reemplazamos V por su complejización y sea g la forma bilineal inducida en . Sea W un subespacio isótropo maximal, es decir, un subespacio maximal de V tal que g | W = 0 . Si n = 2 k es par, entonces sea W ′ un subespacio isótropo complementario a W . Si n = 2 k + 1 es impar, sea W ′ un subespacio isótropo maximal con W ∩ W ′ = 0 , y sea U el complemento ortogonal de W ⊕ W ′ . En los casos de dimensión par e impar , W y W ′ tienen dimensión k . En el caso de dimensión impar, U es unidimensional, abarcado por un vector unitario u .
Como W ′ es isótropo, la multiplicación de elementos de W ′ dentro de Cℓ( V , g ) es sesgada . Por lo tanto, los vectores en W ′ son anticonmutativos, y Cℓ( W ′ , g | W ′ ) = Cℓ( W ′ , 0) es simplemente el álgebra exterior Λ ∗ W ′ . En consecuencia, el producto k -fold 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 en W ′ , una posibilidad es establecer
Nótese que ω 2 = 0 (es decir, ω es nilpotente de orden 2), y además, w ′ ω = 0 para todo w ′ ∈ W ′ . Los siguientes hechos se pueden demostrar fácilmente:
En detalle, supongamos, por ejemplo, que n es par. Supongamos que I es un ideal izquierdo distinto de cero contenido en Cℓ( V , g ) ω . Demostraremos que I debe ser igual a Cℓ( V , g ) ω demostrando que contiene un múltiplo escalar distinto de cero de ω .
Fijemos una base w i de W y una base complementaria w i ′ de W ′ de manera que
Nótese que cualquier elemento de I debe tener la forma αω , en virtud de nuestra suposición de que I ⊂ Cℓ( V , g ) ω . Sea αω ∈ I cualquier elemento de este tipo. Usando la base elegida, podemos escribir donde a i 1 ... i p son escalares, y B j son elementos auxiliares del álgebra de Clifford. Observe ahora que el producto Elija cualquier monomio distinto de cero a en la expansión de α con grado homogéneo máximo en los elementos w i : (sin suma implicada), entonces es un múltiplo escalar distinto de cero de ω , como se requiere.
Nótese que para n par, este cálculo también muestra que es un espacio vectorial. En la última ecuación, usamos nuevamente que W es isotrópico. En términos de física, esto muestra que Δ se construye como un espacio de Fock mediante la creación de espinores utilizando operadores de creación anticonmutativos en W que actúan en un vacío ω .
Los cálculos con la construcción ideal mínima sugieren que una representación de espinores también puede definirse directamente utilizando el álgebra exterior Λ ∗ W = ⊕ j Λ j W del subespacio isótropo W . Sea Δ = Λ ∗ W el álgebra exterior de W considerado únicamente como espacio vectorial. Esta será la representación de espín, y sus elementos se denominarán espinores. [24] [25]
La acción del álgebra de Clifford sobre Δ se define primero dando la acción de un elemento de V sobre Δ y luego mostrando que esta acción respeta la relación de Clifford y, por lo tanto, se extiende a un homomorfismo del álgebra de Clifford completa en el anillo de endomorfismos End(Δ) por la propiedad universal 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 isótropo 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 sobre 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 . Esta acción a veces se denomina producto de Clifford . Se puede verificar que y por lo tanto c respeta las relaciones de Clifford y se extiende a un homomorfismo del álgebra de Clifford a End(Δ).
La representación de espín Δ se descompone además en un par de representaciones complejas irreducibles del grupo de espín [26] (las representaciones de medio espín o espinores de Weyl) a través de
Cuando dim( V ) es impar, V = W ⊕ U ⊕ W ′ , donde U está abarcado por un vector 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 de (múltiplos de) u se define por Como antes, se verifica que c respeta las relaciones de Clifford y, por lo tanto, induce un homomorfismo.
Si el espacio vectorial V tiene una estructura adicional que proporciona una descomposición de su complejización en dos subespacios isótropos máximos, entonces la definición de espinores (por cualquier método) se vuelve natural.
El ejemplo principal es el caso en que el espacio vectorial real V es un espacio vectorial hermítico ( V , h ) , es decir, V está equipado con una estructura compleja J que es una transformación ortogonal con respecto al producto interno g en V . Luego se divide en los ± i espacios propios de J . Estos espacios propios son isótropos para la complejización de g y se pueden identificar con el espacio vectorial complejo ( V , J ) y su conjugado complejo ( V , − J ) . Por lo tanto, para un espacio vectorial hermítico ( V , h ) el espacio vectorial (así como su conjugado complejo es un espacio de espinores para el espacio vectorial euclidiano real subyacente.
Con la acción de Clifford como la anterior pero con contracción usando la forma hermítica, esta construcción da un espacio de espinor en cada punto de una variedad casi hermítica y es la razón por la cual cada variedad casi compleja (en particular cada variedad simpléctica ) tiene una estructura de espín c . Del mismo modo, cada fibrado vectorial complejo en una variedad tiene una estructura de espín c . [27]
Son posibles varias descomposiciones de Clebsch-Gordan en el producto tensorial de una representación de espín con otra. [28] 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
Además, para los grupos ortogonales reales, hay tres caracteres (representaciones unidimensionales)
La descomposición de Clebsch-Gordan permite definir, entre otras cosas:
Si n = 2 k es par, entonces el producto tensorial de Δ con la representación contragrediente se descompone como lo que se puede ver explícitamente considerando (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 desprende de las propiedades de transformación del operador de estrella de Hodge . Nótese que, al restringirse al álgebra de Clifford par, los sumandos pareados Γ p ⊕ σ Γ p son isomorfos, pero bajo el álgebra de Clifford completa no lo son.
Existe una identificación natural de Δ con su representación contragrediente a través de la conjugación en el álgebra de Clifford: Por lo tanto , Δ ⊗ Δ también se descompone de la manera anterior. Además, bajo el álgebra de Clifford par, las representaciones de medio espín se descomponen
Para las representaciones complejas de las álgebras de Clifford reales, la estructura de realidad asociada en el álgebra compleja de Clifford desciende al espacio de espinores (a través de la construcción explícita en términos de ideales mínimos, por ejemplo). De esta manera, obtenemos el conjugado complejo Δ de la representación Δ, y se observa que se cumple el siguiente isomorfismo:
En particular, nótese que la representación Δ del grupo de espín ortócrono es una representación unitaria . En general, existen descomposiciones de Clebsch-Gordan
En la firma métrica ( p , q ) , los siguientes isomorfismos se cumplen para las representaciones de medio espín conjugado
Usando estos isomorfismos, se pueden deducir descomposiciones análogas para los productos tensoriales de las representaciones de medio espín Δ ± ⊗ Δ ± .
Si n = 2 k + 1 es impar, entonces En el caso real, una vez más se cumple el isomorfismo Por lo tanto, hay una descomposición de Clebsch-Gordan (nuevamente usando la estrella de Hodge para dualizar) dada por
Las descomposiciones de Clebsch-Gordan de los espacios de espinores tienen muchas consecuencias de gran alcance. Las más fundamentales de ellas se refieren a la teoría del electrón de Dirac, entre cuyos requisitos básicos se encuentran: