En geometría y física, los espinores ( / s p ɪ n ər / ) son elementos de un espacio vectorial complejo basado en números que puede asociarse con el espacio euclidiano . [b] Un espinor se transforma linealmente cuando el espacio euclidiano se somete a una ligera rotación ( infinitésimo ), [c] pero a diferencia de los vectores y tensores geométricos , 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 vectores (aunque esto es inexacto y puede inducir a error; se ven mejor como "raíces cuadradas" de secciones de haces de vectores , en el caso del haz de álgebra exterior del paquete cotangente , se convierten así en "raíces cuadradas" de formas diferenciales ).
También es posible asociar una noción de espinor sustancialmente similar al espacio de Minkowski , en cuyo caso las transformaciones de Lorentz de la relatividad especial desempeñan el papel de 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. [mi]
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 también de los detalles de cómo se logró esa rotación (mediante una ruta continua en el grupo de rotación ). Hay dos clases topológicamente distinguibles ( clases de homotopía ) de caminos a través de rotaciones que resultan en la misma rotación general, como lo ilustra el rompecabezas del truco del cinturón . Estas dos clases no equivalentes producen transformaciones de espinor de signo opuesto. El grupo de giro es el grupo de todas las rotaciones que realizan un seguimiento de la clase. [f] Cubre doblemente el grupo de rotación, ya que cada rotación se puede obtener de dos formas no equivalentes como 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 espines (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 se puede construir a partir del espacio euclidiano y su producto interno de forma independiente de las bases. Tanto el grupo de espín como su álgebra de Lie están integrados dentro del álgebra de Clifford de forma natural y, en las aplicaciones, el álgebra de Clifford suele ser la más fácil de trabajar. [h] Un espacio de Clifford opera en un espacio de espinor, y los elementos de un espacio de espinor 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 canónicas anti-conmutación. 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, de ahí 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 de columna (complejos [j] ) será irreducible si la dimensión es impar, o se descompondrá en un par de los llamados "medio giro" o representaciones 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. Considere aplicar una rotación a las coordenadas de un sistema. Ningún objeto en el sistema se ha movido, solo las coordenadas, por lo que siempre habrá un cambio compensador en esos valores de coordenadas cuando se aplican a cualquier objeto del sistema. Los vectores geométricos, por ejemplo, tienen componentes que sufrirá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 descripción de un sistema físico, cuando sólo nos preocupamos por las propiedades de una única rotación aislada de las coordenadas. Más bien, los espinores aparecen cuando imaginamos que, en lugar de una sola rotación, el sistema de coordenadas gira 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 llegaron las coordenadas a su configuración final. Los espinores, por 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 de la trayectoria. Resulta que, para cualquier configuración final de las coordenadas, en realidad hay dos rotaciones graduales (continuas) (" topológicamente ") desiguales del sistema de coordenadas que dan como resultado esta misma configuración. Esta ambigüedad se denomina clase de homotopía de la rotación gradual. El truco del cinturón (que se muestra, en el que ambos extremos del objeto girado están físicamente atados a una referencia externa) demuestra dos rotaciones diferentes, una en un ángulo de 2 π y la otra en un ángulo de 4 π , que tienen las mismas configuraciones finales pero diferentes clases. Los espinores en realidad exhiben una inversión de signos 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 se pueden exhibir como objetos concretos utilizando una selección de coordenadas cartesianas . En tres dimensiones euclidianas, por ejemplo, los espinores se pueden construir eligiendo matrices de espín de Pauli correspondientes a ( momentos angulares alrededor de) los tres ejes de coordenadas. Se trata de matrices de 2 × 2 con entradas complejas , y los vectores columna complejos de dos componentes sobre los que actúan estas matrices mediante la multiplicación de matrices son los espinores. En este caso, el grupo de espín es isomorfo al grupo de matrices unitarias de 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, se puede construir un álgebra de Clifford 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 contenidos (canónicamente) 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 el grupo de espín. . [o] Dependiendo de la dimensión y la firma métrica , esta realización de espinores como vectores de columna puede ser irreducible o puede descomponerse en un par de las llamadas representaciones de "medio giro" 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 factorizan a través de representaciones lineales. De manera equivalente, un espinor es un elemento de una representación de grupo de dimensión finita del grupo de espín sobre el cual el centro actúa de manera no trivial.
Básicamente, existen dos marcos para ver la noción de espinor: el punto de vista teórico de la representación y el punto de vista geométrico .
Desde el punto de vista de la teoría de la representación , se 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 denominan entonces representaciones de espín y sus constituyentes 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 un firma métrica de ( p , q ) . Estas cubiertas dobles son grupos de Lie , llamados grupos de espín Spin( n ) o Spin( p , q ) . Todas las propiedades de los espinores, sus aplicaciones y objetos derivados, se manifiestan primero en el grupo de espines. 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 vectores en el espacio cuántico de Hilbert solo se define 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 qué es un espinor. Sin embargo, tal 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 espines 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, se abusa de esta notación de manera más general si dim ( V ) = n . Si n = 2 k es par, Cℓ n ( ) es isomorfo como álgebra (de forma no única) al álgebra Mat(2 k , ) de matrices complejas de 2 k × 2 k (según el teorema de Artin-Wedderburn y el hecho fácil de demostrar de que el álgebra de Clifford es central 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 (hasta isomorfismo) (también llamada módulo de Clifford simple ), comúnmente denotada por Δ, de dimensión 2 [ n /2] . Dado que el álgebra de Lie ( 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 Δ también es 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 [ se necesita aclaración ] en dos representaciones irreducibles Δ = Δ + ⊕ Δ − llamadas representaciones de Weyl o de medio giro .
Las representaciones irreducibles sobre los reales en el caso de que V sea un espacio vectorial real son mucho más complejas, y se remite al lector al artículo de álgebra de Clifford para obtener más detalles.
Los espinores forman un espacio vectorial , generalmente sobre números complejos , equipado con una representación de grupo lineal del grupo de espín que no factoriza a través de una representación del grupo de rotaciones (ver diagrama). El grupo de giro es el grupo de rotaciones que realiza un seguimiento 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 giro que la representan. Los vectores geométricos y otros tensores no pueden sentir la diferencia entre estos dos elementos, pero producen signos opuestos cuando afectan 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 solo parámetro se visualiza como una cinta en el espacio, siendo el parámetro la longitud del arco de esa cinta (su marco tangente, normal y binormal en realidad da la rotación), entonces estas dos clases distintas de homotopía se visualizan en los dos estados del rompecabezas del truco del cinturón (arriba). El espacio de espinores es un espacio vectorial auxiliar que se puede construir explícitamente en coordenadas, pero en última instancia sólo existe hasta el isomorfismo en el sentido de que no existe una construcción "natural" de ellos que no dependa de elecciones arbitrarias, como los sistemas de coordenadas. Una noción de espinores puede asociarse, como 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 necesaria ]
Se puede considerar que las construcciones dadas anteriormente, en términos del álgebra de Clifford o teoría de la representación, definen 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 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 sobre el haz de fibras. Estas ecuaciones (Dirac o Weyl) tienen soluciones que son ondas planas , que tienen simetrías características de las fibras, es decir, que tienen simetrías de espinores, tal como se obtienen a partir de la teoría de representación de espín/álgebra de Clifford (de dimensión cero) descrita anteriormente. Estas soluciones de ondas planas (u otras soluciones) de las ecuaciones diferenciales pueden denominarse propiamente fermiones ; Los fermiones tienen las cualidades algebraicas de los espinores. Por convención general, los términos "fermión" y "espinor" se utilizan a menudo indistintamente en física, como sinónimos entre sí. [ cita necesaria ]
Parece que todas las partículas fundamentales de la naturaleza que tienen espín 1/2 están descritas por la ecuación de Dirac, con la posible excepción del neutrino . No parece haber ninguna razón a priori por la que esto sería así. Una elecció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 de 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 puede dilucidarse 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 da masa a los electrones; el neutrino clásico permaneció sin masa y, por tanto, era 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 "espacio-tiempos" bidimensionales y tridimensionales con 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 encontrado una cuasipartícula que se comporta como un fermión de Weyl. [9]
Una aplicación matemática importante 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 mediante 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 representación de giros .
El espinor puede describirse, en términos simples, como "vectores de un espacio cuyas transformaciones están relacionadas de manera particular con las 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 .
No obstante, el concepto generalmente se considera notoriamente difícil de entender, como lo ilustra la declaración de Michael Atiyah relatada por el biógrafo de Dirac, Graham Farmelo:
Nadie comprende 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 comprender la raíz cuadrada de −1 llevó siglos, lo mismo podría aplicarse a los espinores. [11]
La forma matemática más general de 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 totalmente 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 los Tangloides para enseñar y modelar el cálculo de espinores.
Los espacios de espinor 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 de columna 2D de valores complejos como lo había hecho Pauli, los representaron como matrices 2 × 2 de valores complejos en las que solo los elementos de la columna de la izquierda son distintos de cero. De esta manera, el espacio espinor se convirtió en un ideal mínimo izquierdo en Mat(2, ) . [r] [20]
En 1947, Marcel Riesz construyó espacios de espinores como elementos de un ideal mínimo izquierdo de las álgebras de Clifford . En 1966/1967, David Hestenes [21] [22] reemplazó los espacios de espinor por la subálgebra par Cℓ 0 1,3 ( ) del álgebra espacio-temporal Cℓ 1,3 ( ). [18] [20] A partir de la década de 1980, el grupo de física teórica del Birkbeck College en torno a 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 mínimos de izquierda.
Algunos ejemplos simples de espinores en dimensiones bajas surgen al considerar las subálgebras pares 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 suma y multiplicación, de los cuales p tienen norma +1 y q 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 básicos de grado par de Cℓ 2,0 ( ), determina el espacio de espinores a través de sus representaciones. Está formado por combinaciones lineales reales de 1 y σ 1 σ 2 . Como álgebra real, Cℓ 0 2,0 ( ) es isomorfa al campo de números complejos . Como resultado, admite una operación de conjugación (análoga a la conjugación compleja ), a veces denominada reversa de un elemento de Clifford, definida por la cual, mediante las relaciones de Clifford, se puede escribir
La acción de un elemento Clifford par γ ∈ Cℓ 0 2,0 ( ) sobre vectores, considerados como elementos de 1 grado de Cℓ 2,0 ( ), se determina mapeando un vector general u = a 1 σ 1 + a 2 σ 2 al vector donde está 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 una 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 pares actúan sobre cada uno de ellos de diferentes maneras. En general, una comprobación rápida de las relaciones de Clifford revela que los elementos pares se conjugan-conmutan con vectores ordinarios:
Por otro lado, 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, las implicaciones que esto tiene para las rotaciones de los planos. Girar un vector en 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 forma consistente. Por tanto, la representación de rotaciones planas en espinores tiene dos valores.
En aplicaciones de espinores en dos dimensiones, es común explotar el hecho de que el álgebra de elementos pares (es decir, el anillo de números complejos) es idéntico al espacio de espinores. Entonces, por abuso del lenguaje , los dos a menudo se combinan. Entonces se puede hablar de "la acción de un espinor sobre un vector". En un contexto general, tales declaraciones no tienen sentido. Pero en las dimensiones 2 y 3 (aplicadas, por ejemplo, a los gráficos por ordenador ) 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 .
La subálgebra de elementos pares se compone de dilataciones escalares y rotaciones vectoriales donde
corresponde a una rotación del vector 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 tal 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 en realidad los cuaterniones i , j y k de Hamilton , descubiertos en 1843:
Con la identificación de los elementos pares con el álgebra de cuaterniones, como en el caso de dos dimensiones, la única representación del álgebra de elementos pares 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 viene dada por la multiplicación cuaterniónica ordinaria.
Tenga en cuenta 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 del espinor γ ( ψ ) = γψ (multiplicación cuaterniónica ordinaria) hará girar el espinor ψ en un ángulo la mitad de la medida del ángulo de la rotación del vector 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 del espinor.
La representación espinor/cuaternión de rotaciones en 3D se está volviendo cada vez más frecuente en geometría informática y otras aplicaciones, debido a la notable brevedad de la matriz de espín correspondiente y a la simplicidad con la que se pueden multiplicar 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 consecuencia de la unicidad de la representación espinorial del álgebra compleja de Clifford. Para ver un ejemplo completo en la dimensión 3, consulte 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 sobre el que actúan las matrices gamma es ahora un espacio de espinores. Sin embargo, es necesario construir tales matrices explícitamente. En la dimensión 3, definir las matrices gamma como matrices sigma de Pauli da lugar a los familiares espinores de dos componentes utilizados en la mecánica cuántica no relativista . Del mismo modo, el uso de matrices gamma de Dirac de 4 × 4 da lugar a los espinores de Dirac de 4 componentes utilizados en la teoría cuántica de campos relativista 3+1 dimensional . 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 Spin Spin( V , g ) dependen 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 las invariantes como las trazas son independientes de las elecciones. En particular, todas las cantidades físicamente observables deben ser independientes de tales elecciones. En esta construcción, un espinor se puede representar como un vector de 2 k números complejos y se denota con índices de espinor (normalmente α , β , γ ). En la literatura de física, estos índices se utilizan a menudo para indicar espinores incluso cuando se utiliza una construcción abstracta de espinores.
Hay al menos dos formas diferentes, pero esencialmente equivalentes, de definir los 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 por la izquierda: c : xω → cxω . Hay dos variaciones sobre este tema: se puede encontrar un elemento primitivo ω que sea un elemento nilpotente del álgebra de Clifford, o uno que sea idempotente . La construcción mediante elementos nilpotentes es más fundamental en el sentido de que a partir de ella se puede producir un idempotente. [23] De esta manera, las representaciones de espinores se identifican con ciertos subespacios del propio álgebra de Clifford. El segundo enfoque consiste en 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 cualquier enfoque, 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 existe ningún 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, dejamos que ( V , g ) sea un espacio vectorial complejo de n dimensiones equipado con una forma bilineal no degenerada. Si V es un espacio vectorial real, entonces reemplazamos V por su complejización y dejamos que g denote la forma bilineal inducida en . Sea W un subespacio isotrópico máximo, es decir, un subespacio máximo de V tal que g | W = 0 . Si n = 2 k es par, entonces sea W ′ un subespacio isotrópico complementario de W . Si n = 2 k + 1 es impar, sea W ′ un subespacio isotrópico máximo con W ∩ W ′ = 0 , y sea U el complemento ortogonal de W ⊕ W ′ . Tanto en el caso de dimensión par como en el de dimensión impar, W y W ′ tienen dimensión k . En el caso de dimensión impar, U es unidimensional, abarcado por un vector unitario u .
Dado que W ′ es isotrópico, la multiplicación de elementos de W ′ dentro de Cℓ( V , g ) es sesgada . Por lo tanto, los vectores en W ′ anti-conmutación, y Cℓ( W ′ , g | W ′ ) = Cℓ( W ′ , 0) es solo el álgebra exterior Λ ∗ W ′ . En consecuencia, el producto k veces mayor 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
Tenga en cuenta que ω 2 = 0 (es decir, ω es nilpotente de orden 2) y, además, w ′ ω = 0 para todo w ′ ∈ W ′ . Los siguientes hechos se pueden probar 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 ω .
Fijar una base w i de W y una base complementaria w i ′ de W ′ de modo que
Tenga en cuenta 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 a distinto de cero en la expansión de α con grado homogéneo máximo en los elementos w i : (no implica sumatoria), entonces es un múltiplo escalar distinto de cero de ω , como se requiere.
Tenga en cuenta que para n par, este cálculo también lo muestra como un espacio vectorial. En la última igualdad 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 anti-conmutación en W que actúan sobre un vacío ω .
Los cálculos con la construcción ideal mínima sugieren que una representación de espinor también se puede definir directamente usando el álgebra exterior Λ ∗ W = ⊕ j Λ j W del subespacio isotrópico W. Sea Δ = Λ ∗ W el álgebra exterior de W considerado únicamente como espacio vectorial. Esta será la representación del 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 endomorfismo Fin( Δ) 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 isotrópico elegido. Por lo tanto, cualquier v ∈ V se descompone únicamente como v = w + w ′ con w ∈ W y w ′ ∈ W ′ . La acción de v sobre un espinor viene 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 Clifford . Se puede verificar que y así c respeta las relaciones de Clifford y se extiende a un homomorfismo del álgebra de Clifford hasta End(Δ).
La representación de espín Δ se descompone aún más en un par de representaciones complejas irreducibles del grupo Spin [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 isotrópicos máximos, entonces la definición de espinores (por cualquier método) se vuelve natural.
El ejemplo principal es el caso de que el espacio vectorial real V es un espacio vectorial hermitiano ( 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 espacios propios ± i de J . Estos espacios propios son isotrópicos para la complejización de g y pueden identificarse con el espacio vectorial complejo ( V , J ) y su conjugado complejo ( V , − J ) . Por lo tanto, para un espacio vectorial hermitiano ( V , h ), el espacio vectorial (así como su conjugado complejo es un espacio de espinor para el espacio vectorial euclidiano real subyacente.
Con la acción de Clifford como arriba pero con contracción usando la forma hermitiana, esta construcción da un espacio de espinor en cada punto de una variedad casi hermitiana y es la razón por la cual cada variedad casi compleja (en particular cada variedad simpléctica ) tiene una estructura Spin c . Asimismo, todo paquete de vectores complejo en una variedad lleva una estructura de Spin c . [27]
Son posibles varias descomposiciones de Clebsch-Gordan en el producto tensorial de una representación de espín por 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 se puede ver explícitamente al considerar (en la construcción explícita) la acción del álgebra de Clifford sobre elementos descomponibles αω ⊗ βω ′ . La formulación más a la derecha se deriva de las propiedades de transformación del operador estrella de Hodge . Tenga en cuenta que en la restricción al álgebra par de Clifford, 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 mediante la conjugación en el álgebra de Clifford: Entonces Δ ⊗ Δ también se descompone de la manera anterior. Además, bajo el álgebra par de Clifford, las representaciones de medio giro se descomponen
Para las representaciones complejas de las álgebras de Clifford reales, la estructura de realidad asociada en el álgebra de Clifford compleja 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 cumple el siguiente isomorfismo:
En particular, tenga en cuenta que la representación Δ del grupo de espín ortocrónico es una representación unitaria . En general, existen descomposiciones de Clebsch-Gordan.
En la firma métrica ( p , q ) , los siguientes isomorfismos son válidos para las representaciones conjugadas de medio giro
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
Hay muchas consecuencias de gran alcance de las descomposiciones de Clebsch-Gordan de los espacios de espinor. Los más fundamentales pertenecen a la teoría del electrón de Dirac, entre cuyos requisitos básicos se encuentran