Generadores del álgebra de Clifford para la mecánica cuántica relativista
En física matemática , las matrices gamma , también llamadas matrices de Dirac , son un conjunto de matrices convencionales con relaciones anticonmutación específicas que aseguran que generen una representación matricial del álgebra de Clifford. También es posible definir matrices gamma de dimensiones superiores . Cuando se interpretan como las matrices de acción de un conjunto de vectores de base ortogonales para vectores contravariantes en el espacio de Minkowski , los vectores columna sobre los que actúan las matrices se convierten en un espacio de espinores , sobre el que actúa el álgebra de Clifford del espacio-tiempo . Esto a su vez hace posible representar rotaciones espaciales infinitesimales y impulsos de Lorentz . Los espinores facilitan los cálculos del espacio-tiempo en general y, en particular, son fundamentales para la ecuación de Dirac para partículas de espín relativistas . Las matrices gamma fueron introducidas por Paul Dirac en 1928.
En la representación de Dirac, las cuatro matrices gamma contravariantes son
es la matriz hermitiana similar al tiempo . Las otras tres son matrices antihermitianas de tipo espacial . De manera más compacta, y donde denota el producto de Kronecker y (para j = 1, 2, 3 ) denota las matrices de Pauli .
Además, para las discusiones sobre teoría de grupos, la matriz identidad ( I ) a veces se incluye con las cuatro matrices gamma, y hay una "quinta" matriz auxiliar sin rastro que se utiliza junto con las matrices gamma regulares.
La "quinta matriz" no es un miembro adecuado del conjunto principal de cuatro; se utiliza para separar representaciones quirales nominales izquierda y derecha .
Las matrices gamma tienen una estructura de grupo, el grupo gamma , que es compartida por todas las representaciones matriciales del grupo, en cualquier dimensión, para cualquier firma de la métrica. Por ejemplo, las matrices de Pauli 2 × 2 son un conjunto de matrices "gamma" en un espacio tridimensional con métrica de firma euclidiana (3, 0). En cinco dimensiones del espacio-tiempo , las cuatro gammas anteriores, junto con la quinta matriz gamma que se presentará a continuación, generan el álgebra de Clifford.
Estructura matemática
La propiedad definitoria de las matrices gamma para generar un álgebra de Clifford es la relación de anticonmutación.
donde las llaves representan el anticonmutador , es la métrica de Minkowski con firma (+ − − −) , y es la matriz identidad 4 × 4 .
Esta propiedad definitoria es más fundamental que los valores numéricos utilizados en la representación específica de las matrices gamma. Las matrices gamma covariantes se definen por
y se supone la notación de Einstein .
Tenga en cuenta que la otra convención de signos para la métrica, (− + + +), requiere un cambio en la ecuación que la define:
o una multiplicación de todas las matrices gamma por , que por supuesto cambia sus propiedades de hermiticidad que se detallan a continuación. Según la convención de signos alternativa para la métrica, las matrices gamma covariantes se definen por
Estructura física
El álgebra de Clifford sobre el espacio-tiempo V puede considerarse como el conjunto de operadores lineales reales desde V hacia sí mismo, End( V ) , o más generalmente, cuando se complejiza como el conjunto de operadores lineales desde cualquier espacio vectorial complejo de cuatro dimensiones hacia sí mismo. Más simplemente, dada una base para V , es solo el conjunto de todas las matrices complejas de 4 × 4 , pero dotadas de una estructura de álgebra de Clifford. Se supone que el espacio-tiempo está dotado de la métrica de Minkowski η μν . También se supone un espacio de bispinores, Ux , en cada punto del espacio-tiempo, dotado de la representación de bispinores del grupo de Lorentz . Los campos de bispinor Ψ de las ecuaciones de Dirac, evaluados en cualquier punto x en el espacio-tiempo, son elementos de U x (ver más abajo). Se supone que el álgebra de Clifford también actúa sobre U x (mediante multiplicación de matrices con vectores columna Ψ( x ) en U x para todo x ). Esta será la vista principal de los elementos de esta sección.
Para cada transformación lineal S de U x , existe una transformación de End( U x ) dada por SES −1 para E en Si S pertenece a una representación del grupo de Lorentz, entonces la acción inducida E ↦ SES −1 también pertenecerá para una representación del grupo de Lorentz, véase Teoría de la representación del grupo de Lorentz .
Si S(Λ) es la representación bispinor que actúa sobre U x de una transformación de Lorentz arbitraria Λ en la representación estándar (4 vectores) que actúa sobre V , entonces hay un operador correspondiente dado por la ecuación:
mostrando que la cantidad de γ μ puede verse como la base de un espacio de representación de la representación de 4 vectores del grupo de Lorentz que se encuentra dentro del álgebra de Clifford. La última identidad puede reconocerse como la relación definitoria para matrices que pertenecen a un grupo ortogonal indefinido , que está escrita en notación indexada. Esto significa que cantidades de la forma
debe tratarse como 4 vectores en las manipulaciones. También significa que los índices se pueden subir y bajar en γ usando la métrica η μν como con cualquier 4 vector. La notación se llama notación de barra diagonal de Feynman . La operación de barra diagonal asigna la base e μ de V , o cualquier espacio vectorial de 4 dimensiones, a los vectores de base γ μ . La regla de transformación para cantidades reducidas es simplemente
Cabe señalar que esto es diferente de la regla de transformación para γ μ , que ahora se tratan como vectores de base (fijos). La designación de la tupla 4 como un vector 4 que a veces se encuentra en la literatura es, por tanto, un nombre ligeramente inapropiado. La última transformación corresponde a una transformación activa de los componentes de una cantidad reducida en términos de la base γ μ , y la primera a una transformación pasiva de la propia base γ μ .
Los elementos forman una representación del álgebra de Lie del grupo de Lorentz. Esta es una representación de giro. Cuando estas matrices, y combinaciones lineales de ellas, se exponen, son representaciones bispinores del grupo de Lorentz; por ejemplo, las S(Λ) de arriba tienen esta forma. El espacio de 6 dimensiones, el tramo σ μν , es el espacio de representación de una representación tensorial del grupo de Lorentz. Para conocer los elementos de orden superior del álgebra de Clifford en general y sus reglas de transformación, consulte el artículo Álgebra de Dirac . La representación de espín del grupo de Lorentz está codificada en el grupo de espín Spin(1, 3) (para espinores reales sin carga) y en el grupo de espín complejado Spin(1, 3) para espinores cargados (Dirac).
Expresando la ecuación de Dirac
En unidades naturales , la ecuación de Dirac se puede escribir como
¿Dónde hay un espinor de Dirac?
Cambiando a la notación de Feynman , la ecuación de Dirac es
La quinta matriz "gamma",.mw-parser-output .var-serif{font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:118%;line-height:1}γ5
Es útil definir un producto de las cuatro matrices gamma como , de modo que
- (en la base de Dirac).
Aunque utiliza la letra gamma, no es una de las matrices gamma de El número índice 5 es una reliquia de la notación antigua: solía llamarse " ".
tiene también una forma alternativa:
usando la convención o
usando la convención
Prueba:
Esto se puede ver aprovechando el hecho de que las cuatro matrices gamma se anticonmutan, por lo que
donde está el delta de Kronecker generalizado tipo (4,4) en 4 dimensiones, en plena antisimetrización . Si denota el símbolo de Levi-Civita en n dimensiones, podemos usar la identidad . Entonces obtenemos, usando la convención
Esta matriz es útil en discusiones sobre quiralidad de la mecánica cuántica . Por ejemplo, un campo Dirac se puede proyectar sobre sus componentes diestros y zurdos mediante:
Algunas propiedades son:
- Es hermitiano:
- Sus valores propios son ±1, porque:
- Anticonmuta con las cuatro matrices gamma:
De hecho, y son vectores propios de desde
- y
Cinco dimensiones
El álgebra de Clifford en dimensiones impares se comporta como dos copias del álgebra de Clifford de una dimensión menos, una copia izquierda y una copia derecha. : 68 Por lo tanto, se puede emplear un pequeño truco para reutilizar i γ 5 como uno de los generadores del álgebra de Clifford en cinco dimensiones. En este caso, el conjunto { γ 0 , γ 1 , γ 2 , γ 3 , i γ 5 } por lo tanto, por las dos últimas propiedades (teniendo en cuenta que i 2 ≡ −1 ) y las de las 'antiguas' gammas, forma la base del álgebra de Clifford en 5 dimensiones espacio-temporales para la firma métrica (1,4) . [a] . : 97
En la firma métrica (4,1) , se utiliza el conjunto { γ 0 , γ 1 , γ 2 , γ 3 , γ 5 } , donde los γ μ son los apropiados para (3,1) firma. Este patrón se repite para la dimensión del espacio-tiempo 2 n par y la siguiente dimensión impar 2 n + 1 para todo n ≥ 1 . : 457 Para obtener más detalles, consulte matrices gamma de dimensiones superiores .
Identidades
Las siguientes identidades se derivan de la relación fundamental de anticonmutación, por lo que se mantienen en cualquier base (aunque la última depende de la elección del signo para ).
Identidades varias
1.
2.
3.
4.
5.
6. donde
Rastrear identidades
Las matrices gamma obedecen a las siguientes identidades de traza :
- La traza de cualquier producto de un número impar de es cero.
- La traza de veces que un producto de un número impar de sigue siendo cero
Demostrar lo anterior implica el uso de tres propiedades principales del operador de seguimiento :
- tr( A + B ) = tr( A ) + tr( B )
- tr( rA ) = r tr( A )
- tr( ABC ) = tr( CAB ) = tr( BCA )
Normalización
Sin embargo, las matrices gamma se pueden elegir con condiciones de hermiticidad adicionales que están restringidas por las relaciones anticonmutación anteriores. podemos imponer
- , compatible con
y para las otras matrices gamma (para k = 1, 2, 3 )
- , compatible con
Se comprueba inmediatamente que estas relaciones de hermiticidad son válidas para la representación de Dirac.
Las condiciones anteriores se pueden combinar en la relación
Las condiciones de hermiticidad no son invariantes bajo la acción de una transformación de Lorentz porque no es necesariamente una transformación unitaria debido a la no compacidad del grupo de Lorentz. [ cita necesaria ]
Conjugación de carga
El operador de conjugación de carga , en cualquier base, puede definirse como
donde denota la transposición de la matriz . La forma explícita que adopta depende de la representación específica elegida para las matrices gamma, hasta un factor de fase arbitrario. Esto se debe a que aunque la conjugación de carga es un automorfismo del grupo gamma , no es un automorfismo interno (del grupo). Se pueden encontrar matrices conjugantes, pero dependen de la representación.
Las identidades independientes de la representación incluyen:
El operador de conjugación de carga también es unitario , mientras que for también lo es para cualquier representación. Dada una representación de matrices gamma, el factor de fase arbitrario para el operador de conjugación de carga también se puede elegir de manera que , como es el caso de las cuatro representaciones que se dan a continuación (Dirac, Majorana y ambas variantes quirales).
Notación de barra de Feynman
La notación de barra diagonal de Feynman se define por
para cualquier 4 vectores .
A continuación se muestran algunas identidades similares a las anteriores, pero con notación de barra diagonal:
- [7]
- [7]
- [7]
- ¿Dónde está el símbolo de Levi-Civita y en realidad las trazas de productos de número impar son cero y por lo tanto
- para n impar.
Muchos se derivan directamente de expandir la notación de barra y contraer expresiones de la forma con la identidad apropiada en términos de matrices gamma.
Otras representaciones
Las matrices a veces también se escriben usando la matriz identidad de 2×2 , y
donde k va de 1 a 3 y las σ k son matrices de Pauli .
base de dirac
Las matrices gamma que hemos escrito hasta ahora son apropiadas para actuar sobre espinores de Dirac escritos en la base de Dirac ; de hecho, la base de Dirac está definida por estas matrices. Para resumir, en la base de Dirac:
En la base de Dirac, el operador de conjugación de carga es antisimétrico real, : 691–700
Base de Weyl (quiral)
Otra opción habitual es la base de Weyl o quiral , en la que sigue siendo la misma pero es diferente, y por eso también es diferente, y la diagonal,
o en notación más compacta:
La base de Weyl tiene la ventaja de que sus proyecciones quirales toman una forma simple,
La idempotencia de las proyecciones quirales es manifiesta.
Abusando ligeramente de la notación y reutilizando los símbolos podemos identificar
donde ahora y son espinores de Weyl de dos componentes zurdos y diestros.
El operador de conjugación de carga en esta base es antisimétrico real,
La base de Dirac se puede obtener a partir de la base de Weyl como
a través de la transformada unitaria
Base Weyl (quiral) (forma alternativa)
Otra posible elección de la base de Weyl tiene
Las proyecciones quirales toman una forma ligeramente diferente a la otra elección de Weyl,
En otras palabras,
donde y son los espinores de Weyl de dos componentes zurdos y diestros, como antes.
El operador de conjugación de carga en esta base es
Esta base se puede obtener a partir de la base de Dirac anterior mediante la transformada unitaria
base majorana
También existe la base de Majorana , en la que todas las matrices de Dirac son imaginarias y los espinores y la ecuación de Dirac son reales. Respecto a las matrices de Pauli , la base se puede escribir como
donde está la matriz de conjugación de carga, que coincide con la versión de Dirac definida anteriormente.
La razón para hacer imaginarias todas las matrices gamma es únicamente para obtener la métrica de la física de partículas (+, −, −, −) , en la que las masas al cuadrado son positivas. La representación de Majorana, sin embargo, es real. Se puede factorizar para obtener una representación diferente con espinores reales de cuatro componentes y matrices gamma reales. La consecuencia de eliminar es que la única métrica posible con matrices gamma reales es (−, +, +, +) .
La base de Majorana se puede obtener a partir de la base de Dirac anterior mediante la transformada unitaria
CL1,3(C) y Cl1,3(R)
El álgebra de Dirac puede considerarse como una complejización del álgebra real Cl 1,3 ( ), llamada álgebra del espacio-tiempo :
Cl 1,3 ( ) difiere de Cl 1,3 ( ): en Cl 1,3 ( ) sólo se permiten combinaciones lineales reales de las matrices gamma y sus productos.
Dos cosas merecen señalarse. Como las álgebras de Clifford , Cl 1,3 ( ) y Cl 4 ( ) son isomorfas, véase clasificación de las álgebras de Clifford . La razón es que la firma subyacente de la métrica del espacio-tiempo pierde su firma (1,3) al pasar a la complejización. Sin embargo, la transformación requerida para llevar la forma bilineal a la forma canónica compleja no es una transformación de Lorentz y, por lo tanto, no es "permisible" (al menos, poco práctica), ya que toda la física está estrechamente ligada a la simetría de Lorentz y es preferible mantenerla. manifiesto.
Los defensores del álgebra geométrica se esfuerzan por trabajar con álgebras reales siempre que sea posible. Argumentan que generalmente es posible (y normalmente esclarecedor) identificar la presencia de una unidad imaginaria en una ecuación física. Tales unidades surgen de una de las muchas cantidades en un álgebra de Clifford real que eleva al cuadrado -1, y tienen significado geométrico debido a las propiedades del álgebra y la interacción de sus diversos subespacios. Algunos de estos defensores también cuestionan si es necesario o incluso útil introducir una unidad imaginaria adicional en el contexto de la ecuación de Dirac. : x-xi
En las matemáticas de la geometría de Riemann , es convencional definir el álgebra de Clifford Cl p,q ( ) para dimensiones arbitrarias p,q . Los espinores de Weyl se transforman bajo la acción del grupo de espín . La complejización del grupo de espín, llamado grupo de espín , es un producto del grupo de espín con el círculo. El producto es solo un dispositivo de notación con el que identificarse . El punto geométrico de esto es que desenreda el espinor real, que es covariante bajo transformaciones de Lorentz. , del componente, que se puede identificar con la fibra de la interacción electromagnética. Está entrelazando la paridad y la conjugación de carga de una manera adecuada para relacionar los estados de partícula/antipartícula de Dirac (de manera equivalente, los estados quirales en la base de Weyl). El bispinor , en la medida en que tiene componentes izquierda y derecha linealmente independientes, puede interactuar con el campo electromagnético. Esto contrasta con el espinor de Majorana y el espinor ELKO (Eigenspinoren des Ladungskonjugationsoperators), que no pueden ( es decir, son eléctricamente neutros), ya que limitan explícitamente al espinor para no interactuar con la parte procedente de la complejización. El espinor ELKO es un espinor Lounesto clase 5. : 84
Sin embargo, en la práctica contemporánea de la física, el álgebra de Dirac, en lugar del álgebra espacio-temporal, sigue siendo el entorno estándar en el que "viven" los espinores de la ecuación de Dirac.
Otras propiedades libres de representación
Las matrices gamma son diagonalizables con valores propios para y valores propios para .
En particular, esto implica que es simultáneamente hermitiano y unitario, mientras que son simultáneamente antihermitianos y unitarios.
Además, la multiplicidad de cada valor propio es dos.
De manera más general, si no es nulo, se cumple un resultado similar. Para ser más concretos, nos restringimos al caso de norma positiva. El caso negativo sigue de manera similar.
De ello se deduce que el espacio de solución de (es decir, el núcleo del lado izquierdo) tiene dimensión 2. Esto significa que el espacio de solución para soluciones de onda plana de la ecuación de Dirac tiene dimensión 2.
Este resultado sigue siendo válido para la ecuación de Dirac sin masa. En otras palabras, si es nulo, entonces tiene nulidad 2.
Matrices euclidianas de Dirac
En la teoría cuántica de campos, Wick puede rotar el eje del tiempo para transitar del espacio de Minkowski al espacio euclidiano . Esto es particularmente útil en algunos procedimientos de renormalización , así como en la teoría del calibre de red . En el espacio euclidiano, hay dos representaciones de matrices de Dirac de uso común:
representación quiral
Observe que los factores de se han insertado en las matrices gamma espaciales de modo que el álgebra euclidiana de Clifford
Emergerá. También vale la pena señalar que existen variantes de esto que se insertan en una de las matrices, como en los códigos QCD de celosía que utilizan la base quiral.
En el espacio euclidiano,
Usando el anticonmutador y observando que en el espacio euclidiano , se muestra que
En base quiral en el espacio euclidiano,
que no ha cambiado con respecto a su versión Minkowski.
Representación no relativista
Notas a pie de página
- ^
El conjunto de matrices (Γ a ) = ( γ μ , i γ 5 ) con a = (0, 1, 2, 3, 4) satisfacen el álgebra de Clifford de cinco dimensiones {Γ a , Γ b } = 2 η ab
Ver también
Citas
- ^ abc Feynman, Richard P. (1949). "Enfoque espacio-temporal de la electrodinámica cuántica". Revisión física . 76 (6): 769–789 - vía APS.
Referencias
- de Wit, B.; Smith, J. (2 de diciembre de 2012). Teoría de campos en física de partículas, volumen 1. Elsevier. ISBN 978-0-444-59622-2.[1]
- Halzen, Francisco; Martín, Alan D. (17 de mayo de 2008). Quarks y leptones: un curso de introducción a la física de partículas moderna. Wiley India Pvt. Ltd. Limitado. ISBN 978-81-265-1656-8.
- Hestenes, David (2015). Álgebra espacio-temporal. Publicaciones internacionales Springer. ISBN 978-3-319-18412-8.
- Itzykson, Claude; Zuber, Jean-Bernard (20 de septiembre de 2012). Teoría cuántica de campos. Corporación de mensajería. Apéndice A. ISBN 978-0-486-13469-7.
- Jost, Jürgen (2002). Geometría riemanniana y análisis geométrico. Saltador. pag. 68, Corolario 1.8.1. ISBN 978-3-540-42627-1.
- Kaku, Michio (1993). Teoría cuántica de campos: una introducción moderna. Prensa de la Universidad de Oxford. ISBN 978-0-19-509158-8.
- Kaplunovsky, Vadim (2008). «Traceología» (PDF) . Teoría Cuántica de Campos (tarea del curso/apuntes de clase). Departamento de Física. Universidad de Texas en Austin . Archivado desde el original (PDF) el 13 de noviembre de 2019.
- Kukin, VD (2016). "Matrices de Dirac - Enciclopedia de Matemáticas". encyclopediaofmath.org . Consultado el 2 de noviembre de 2023 .
- Lonigro, Davide (2023). "Reducción dimensional de la ecuación de Dirac en dimensiones espaciales arbitrarias". La revista física europea Plus . 138 (4): 324. arXiv : 2212.11965 . Código Bib : 2023EPJP..138..324L. doi :10.1140/epjp/s13360-023-03919-0.
- Pauli, W. (1936). "Contribuciones matemáticas a la teoría de matrices de Dirac". Anales del Instituto Henri Poincaré . 6 : 109.
- Peskin, M.; Schroeder, D. (1995). Una introducción a la teoría cuántica de campos. Prensa de Westview. capítulo 3.2. ISBN 0-201-50397-2.
- Rodrigues, Waldyr A.; Oliveira, Edmundo C. de (2007). Las muchas caras de las ecuaciones de Maxwell, Dirac y Einstein: un enfoque de paquete de Clifford. Medios de ciencia y negocios de Springer. ISBN 978-3-540-71292-3.
- Tong, David (2007). Conferencias sobre teoría cuántica de campos (notas del curso). David Tong en la Universidad de Cambridge . pag. 93 . Consultado el 7 de marzo de 2015 .
- Zee, A. (2003). La teoría cuántica de campos en pocas palabras. Princeton, Nueva Jersey: Princeton University Press. capítulo II.1. ISBN 0-691-01019-6.
enlaces externos
- Matrices de Dirac en mathworld, incluidas sus propiedades de grupo
- Matrices de Dirac como grupo abstracto en GroupNames
- "Matrices de Dirac", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]