El formalismo de la tétrada es un enfoque de la relatividad general que generaliza la elección de la base para el conjunto tangente desde una base de coordenadas a la elección menos restrictiva de una base local, es decir, un conjunto definido localmente de cuatro [a] campos vectoriales linealmente independientes llamados tétrada. o vierbein . [1] Es un caso especial de la idea más general de un formalismo vielbein , que se establece en la geometría (pseudo) riemanniana. Este artículo, tal como está escrito actualmente, hace mención frecuente de la relatividad general; sin embargo, casi todo lo que dice es igualmente aplicable a las variedades (pseudo) riemannianas en general, e incluso a las variedades de espín . La mayoría de las declaraciones se mantienen simplemente sustituyendo arbitrarias por . En alemán, "vier" se traduce como "cuatro" y "viel" como "muchos".
La idea general es escribir el tensor métrico como el producto de dos vielbeins , uno a la izquierda y otro a la derecha. El efecto de los vielbeins es cambiar el sistema de coordenadas utilizado en la variedad tangente a uno que sea más simple o más adecuado para los cálculos. Con frecuencia ocurre que el sistema de coordenadas de vielbein es ortonormal, ya que generalmente es el más fácil de usar. La mayoría de los tensores se vuelven simples o incluso triviales en este sistema de coordenadas; así, la complejidad de la mayoría de las expresiones se revela como un artefacto de la elección de coordenadas, más que una propiedad innata o un efecto físico. Es decir, como formalismo , no altera las predicciones; es más bien una técnica de cálculo.
La ventaja del formalismo de la tétrada sobre el enfoque estándar basado en coordenadas de la relatividad general radica en la capacidad de elegir la base de la tétrada para reflejar aspectos físicos importantes del espacio-tiempo. La notación de índice abstracto denota tensores como si estuvieran representados por sus coeficientes con respecto a una tétrada local fija. En comparación con una notación libre completamente coordinada , que a menudo es conceptualmente más clara, permite una forma fácil y computacionalmente explícita de denotar contracciones.
La importancia del formalismo tetrádico aparece en la formulación de Einstein-Cartan de la relatividad general. El formalismo tetrádico de la teoría es más fundamental que su formulación métrica ya que no se puede convertir entre las formulaciones tetrádica y métrica de las acciones fermiónicas a pesar de que esto es posible para las acciones bosónicas. Esto se debe efectivamente a que los espinores de Weyl pueden definirse de forma muy natural en una variedad de Riemann [2] y su entorno natural conduce a la conexión de espín . Estos espinores toman forma en el sistema de coordenadas vielbein y no en el sistema de coordenadas múltiple.
El formalismo tetrádico privilegiado también aparece en la deconstrucción de las teorías de la gravedad de Kaluza-Klein de dimensiones superiores [3] y las teorías de la gravedad masiva , en las que la (s) dimensión (es) extra (s) es / son reemplazadas por una serie de N sitios de celosía de manera que se reemplaza por un conjunto de métricas interactivas que dependen únicamente de los componentes 4D. [4] Los vielbeins aparecen comúnmente en otros entornos generales en física y matemáticas. Los vielbeins pueden entenderse como formas de soldadura .
Formulación matemática
En el formalismo de la tétrada, [5] se elige una base de tétrada: un conjunto decampos vectoriales independientes
por que juntos abarcan el - haz tangente dimensional en cada punto de la variedad espacio-tiempo. Dualmente, una vielbein (o tétrada en 4 dimensiones) determina (y está determinada por) una co-vielbein dual (co-tétrada) - un conjunto de1-formas independientes .
tal que
dónde es el delta de Kronecker . Un vielbein generalmente se especifica por sus coeficientes con respecto a una base de coordenadas, a pesar de la elección de un conjunto de coordenadas (locales) siendo innecesario para la especificación de una tétrada. Cada covector es una forma de soldadura .
Desde el punto de vista de la geometría diferencial de los haces de fibras , los cuatro campos vectorialesdefinir una sección del paquete de marcos, es decir, una paralelización de que es equivalente a un isomorfismo . Dado que no todas las variedades son paralelizables, un vielbein generalmente solo se puede elegir localmente ( es decir, solo en un gráfico de coordenadas y no todos .)
Todos los tensores de la teoría pueden expresarse en la base del vector y el covector, expresándolos como combinaciones lineales de miembros del (co) vielbein. Por ejemplo, el tensor métrico del espacio-tiempo puede transformarse de una base de coordenadas con la tétrada base .
Las bases de tétradas populares en la relatividad general incluyen tétradas ortonormales y tétradas nulas. Las tétradas nulas se componen de cuatro vectores nulos , por lo que se utilizan con frecuencia en problemas relacionados con la radiación y son la base del formalismo de Newman-Penrose y del formalismo de GHP .
Relación con el formalismo estándar
El formalismo estándar de la geometría diferencial (y la relatividad general) consiste simplemente en usar la tétrada de coordenadas en el formalismo de la tétrada. La tétrada de coordenadas es el conjunto canónico de vectores asociados con el gráfico de coordenadas . La tétrada de coordenadas se denota comúnmente mientras que el cotetrad dual se denota . Estos vectores tangentes generalmente se definen como operadores de derivadas direccionales : dado un gráficoque mapea un subconjunto de la variedad en el espacio de coordenadas, y cualquier campo escalar , los vectores de coordenadas son tales que:
La definición de cotetrad utiliza el abuso habitual de notación para definir covectors (1-formas) en . La participación de la tétrada coordinada no suele hacerse explícita en el formalismo estándar. En el formalismo de la tétrada, en lugar de escribir las ecuaciones tensoriales por completo (incluidos los elementos de la tétrada y los productos tensoriales como arriba) solo se mencionan los componentes de los tensores. Por ejemplo, la métrica se escribe como "Cuando la tétrada no está especificada, se trata de especificar el tipo de tensor llamado notación de índice abstracto . Permite especificar fácilmente la contracción entre tensores repitiendo índices como en la convención de suma de Einstein.
Cambiar tétradas es una operación de rutina en el formalismo estándar, ya que está involucrado en cada transformación de coordenadas (es decir, cambiar de una base de tétrada de coordenadas a otra). Es necesario cambiar entre varios gráficos de coordenadas porque, excepto en casos triviales, no es posible que un solo gráfico de coordenadas cubra toda la variedad. El cambio ay entre tétradas generales es muy similar e igualmente necesario (excepto para las variedades paralelizables ). Cualquier tensor puede escribirse localmente en términos de esta tétrada coordinada o una (co) tétrada general.
Por ejemplo, el tensor métrico se puede expresar como:
(Aquí usamos la convención de suma de Einstein ). Asimismo, la métrica se puede expresar con respecto a una (co) tétrada arbitraria como
Aquí, utilizamos la elección del alfabeto ( latín y griego ) para las variables de índice para distinguir la base aplicable.
Podemos traducir de una co-tétrada general a la co-tétrada de coordenadas expandiendo el covector . Entonces obtenemos
de lo que se sigue que . Igualmente expandiendo con respecto a la tétrada general, obtenemos
que muestra que .
Manipulación de índices
La manipulación con coeficientes de tétrada muestra que las fórmulas de índices abstractos pueden, en principio, obtenerse a partir de fórmulas de tensores con respecto a una tétrada de coordenadas "reemplazando el griego por índices latinos". Sin embargo, se debe tener cuidado de que una fórmula de tétrada coordinada defina un tensor genuino cuando se trata de diferenciación. Dado que los campos de vectores de coordenadas tienen corchetes de Lie que desaparecen (es decir, conmutar), las sustituciones ingenuas de fórmulas que calculan correctamente los coeficientes tensoriales con respecto a una tétrada coordinada pueden no definir correctamente un tensor con respecto a una tétrada general porque el corchete de Lie no desaparece: . Por tanto, a veces se dice que las coordenadas de la tétrada proporcionan una base no holonómica .
Por ejemplo, el tensor de curvatura de Riemann se define para campos vectoriales generales por
- .
En una tétrada de coordenadas esto da coeficientes tensoriales
La ingenua sustitución del "griego al latín" de esta última expresión
es incorrecta porque para c y d fijos ,es, en general, un operador diferencial de primer orden en lugar de un operador de orden cero que define un coeficiente tensorial. Sustituyendo una base de tétrada general en la fórmula abstracta, encontramos la definición adecuada de la curvatura en notación de índice abstracto, sin embargo:
dónde . Tenga en cuenta que la expresiónes de hecho un operador de orden cero, por lo tanto (el componente ( c d ) de) un tensor. Dado que concuerda con la expresión de coordenadas para la curvatura cuando se especializa en una tétrada de coordenadas, está claro, incluso sin usar la definición abstracta de curvatura, que define el mismo tensor que la expresión de base de coordenadas.
Ejemplo: grupos de mentiras
Dado un vector (o covector) en la variedad tangente (o cotangente), el mapa exponencial describe la geodésica correspondiente de ese vector tangente. Escritura, el transporte paralelo de un diferencial corresponde a
Lo anterior se puede verificar fácilmente simplemente tomando ser una matriz.
Para el caso especial de un álgebra de Lie , elpuede tomarse como un elemento del álgebra, el exponencial es el mapa exponencial de un grupo de Lie , y los elementos del grupo corresponden a las geodésicas del vector tangente. Elegir una base para el álgebra de Lie y la escritura para algunas funciones los conmutadores se pueden escribir explícitamente. Uno calcula fácilmente que
por las constantes de estructura del álgebra de Lie. La serie se puede escribir de forma más compacta como
con la serie infinita
Aquí, es una matriz cuyos elementos de la matriz son . La matrizes entonces el vielbein; expresa el diferencial en términos de las "coordenadas planas" (ortonormal, en eso) .
Dado un mapa de alguna variedad a algún grupo de mentiras , el tensor métrico en el colector se convierte en el retroceso del tensor métrico en el grupo Lie :
El tensor métrico en el grupo de Lie está la métrica de Cartan, también conocida como la forma de Matar . Tenga en cuenta que, como matriz, la segunda W es la transposición. Parauna variedad (pseudo) riemanniana , la métrica es una métrica (pseudo) riemanniana . Lo anterior se generaliza al caso de espacios simétricos . [6] Estos vielbeins se utilizan para realizar cálculos en modelos sigma , de los cuales las teorías de supergravedad son un caso especial. [7]
Ver también
- Paquete de marcos
- Paquete de armazón ortonormal
- Paquete principal
- Paquete giratorio
- Conexión (matemáticas)
- Estructura G
- Colector de centrifugado
- Estructura de giro
- Ecuación de Dirac en el espacio-tiempo curvo
Notas
- ^ El mismo enfoque se puede utilizar para un espacio-tiempo de dimensión arbitraria, donde el marco del paquete de marcos se denomina n-bein o vielbein .
Citas
- ^ De Felice, F .; Clarke, CJS (1990), Relatividad sobre colectores curvos , p. 133
- ^ Jurgen Jost (1991) Riemanninan Geometría y análisis geométrico, Springer
- ^ Arkani-Hamed, Nima; Cohen, Andrew G .; Georgi, Howard (mayo de 2001). "(Des) Construir Dimensiones" . Cartas de revisión física . 86 (21): 4757–4761. arXiv : hep-th / 0104005 . doi : 10.1103 / PhysRevLett.86.4757 . ISSN 0031-9007 . PMID 11384341 . S2CID 4540121 .
- ^ de Rham, Claudia (diciembre de 2014). "Gravedad masiva" . Reseñas vivientes en relatividad . 17 (1): 7. doi : 10.12942 / lrr-2014-7 . ISSN 2367-3613 . PMC 5256007 . PMID 28179850 .
- ^ Tohru Eguchi, Peter B. Gilkey y Andrew J. Hanson, " Gravitación, teorías de calibre y geometría diferencial ", Physics Reports 66 (1980) pp 213-393.
- ^ Nejat Tevfik Yilmaz, (2007) "En la cinemática del modelo sigma del espacio simétrico" arXiv: 0707.2150 [hep-th]
- ^ Arjan Keurentjes (2003) "La teoría grupal de la oxidación", arXiv: 0210178 [hep-th]
Referencias
- De Felice, F .; Clarke, CJS (1990), Relativity on Curved Manifolds (publicado por primera vez en 1990 ed.), Cambridge University Press, ISBN 0-521-26639-4
- Benn, MI; Tucker, RW (1987), Una introducción a los espinores y la geometría con aplicaciones en física (publicado por primera vez en 1987 ed.), Adam Hilger, ISBN 0-85274-169-3
enlaces externos
- Relatividad general con tétradas