¿Cómo la curvatura y la intensidad de campo son exactamente iguales?

Estoy viendo esta serie de conferencias de Fredric Schuller:

En esta parte, analiza el álgebra de Lie valorada en una y dos formas en el paquete principal que se retiran a la variedad base.

Muestra la relación entre la relatividad general y el electromagnetismo en la teoría clásica.

Enfatiza que, por ejemplo, que la curvatura del espacio-tiempo es exactamente la misma que la intensidad del campo Yang-Mills no abeliano.

No me queda claro en qué sentido son "exactamente" lo mismo.

¿No es el tensor de fuerza del campo electromagnético físico un objeto de valor real y abeliano?

¿Está familiarizado con la noción general de la curvatura de una conexión, tomando valores en el paquete de endomorfismo?
Sí, lo soy, la pregunta es que la intensidad del campo físico no se valora en álgebra de Lie, es un tensor de valor real.

Respuestas (3)

Simplemente, el tensor de intensidad de campo de un Yang-Mills no abeliano dice lo siguiente:

F m v [ D m , D v ]
dónde D m es la derivada covariante con respecto al potencial de una forma, A m A m i T i , y T son los generadores del grupo de Lie en sujeto, mientras que en gravedad el tensor de curvatura de Riemann se lee como:
R m v [ m , v ]
dónde m es la derivada covariante con respecto a la conexión, ω m ω m a b Λ a b , y Λ es el generador del grupo asociado al fibrado principal (el grupo es el grupo lineal general, GRAMO L ( R metro ) en el caso afín). Por cierto aquí, R m v R m v a b Λ a b es el tensor de Riemann (que no debe confundirse con el tensor de Ricci).

De hecho, el tensor de torsión también es lo mismo pero para la forma de soldadura:

T m v [ D m , D v ]
dónde D m es la derivada covariante con respecto al campo de la tétrada (vielbein, soldadura), θ m θ m a PAG a , y PAG es el generador de traslación (es decir, cuatro impulsos).

Como puede ver, son exactamente lo mismo, es decir, el conmutador de la derivada covariante, excepto por el hecho de que viven con un grupo diferente. Pero el mismo objeto matemático.

Entonces, ¿es correcto decir que en el caso del electromagnetismo el grupo de Lie U(1) es diferente del caso del grupo de Lie de la relatividad general que es GL? De lo contrario, ¿la curvatura y la intensidad del campo son exactamente iguales?
Sí exactamente. (En realidad, en la Relatividad General de Einstein, el grupo es el grupo de Lorentz, S O ( 1 , 3 ) , pero es solo un subgrupo de GL (1,3), por lo que es cierto lo que dijiste).

En electromagnetismo, el grupo de calibre es tu ( 1 ) , cuyo álgebra de Lie se puede identificar con i R , p.ej. el conjunto de todos los números imaginarios.

La conexión del calibre A es un i R -valorado en 1 forma, por lo que podemos escribirlo como

A = i q A ,
dónde q es una constante de acoplamiento (carga), y A ahora es una forma ordinaria de 1.

Calculando la curvatura, obtenemos

F = d A + A A = d A = i q d A = i q F ,
dónde F es la intensidad de campo habitual. Como se puede ver, F es una forma 2 de valor real, mientras que F es un imaginario, por lo tanto tu ( 1 ) i R -valorado en 2 formas.

Esto responde a la pregunta en los comentarios.


Sin embargo, me gustaría señalar que la curvatura del espacio-tiempo y la intensidad del campo de Yang-Mills no son "absolutamente iguales". Son objetos de un tipo similar, pero la curvatura del espacio-tiempo es la curvatura de la conexión Levi-Civita en F ( METRO ) (o O ( METRO ) , o T METRO , como le gustaría) y la intensidad de campo de Yang Mills es proporcional a la curvatura de una conexión en un principal SU ( norte ) manojo.

Creo que quieres decir " F es una [...] forma 2"
@Uldreth Entonces, ¿es correcto decir que en el caso del electromagnetismo, el grupo de mentira U (1) es diferente del caso del grupo de mentira de la relatividad general, que es GL? De lo contrario, ¿la curvatura y la intensidad del campo son exactamente iguales?

No he visto el video pero...

Las diferencias físicas en la realidad clásica son tan importantes como las similitudes matemáticas.

La curvatura del espacio-tiempo NO es un campo de fuerza, como en el electromagnetismo. El símbolo de Christoffel, o coeficiente de conexión, crea fuerza sobre las partículas de prueba en la teoría clásica. Esto siempre ha sido un problema y una de las cosas que llevan a los primeros intentos de unificación para agregar campos a la métrica. Coincidentemente, los términos de conexión adicionales se transforman como un tensor de curvatura.

La mecánica cuántica es, para bien o para mal, algo que le hacemos a un sistema clásico (con la posible excepción del espín no relativista, pero en la teoría de Dirac y en QFT el campo se ve como una estructura clásica en la variedad). Hay más diferencias para discutir, pero creo que esta es la más grande. La naturaleza misma de la fuerza es diferente a un nivel clásico (y empírico).

En cuanto a que EM es abeliano, esto se debe a la naturaleza de la simetría de calibre, U(1) es un grupo abeliano, SU(2), SU(3), etc. son grupos no abelianos. El hecho de que la curvatura sea un tensor no significa que no sea valorada en álgebra de mentira (lo es). Lleva 2 índices de espacio-tiempo y dos índices de álgebra de mentiras. Para U(1) los índices internos son triviales. La acción del grupo está en un "grado de libertad interno" como carga, fase, iso-spin, etc. Esa característica no interfiere en la forma de ver la similitud. En GR, los "índices internos" son direcciones espacio-temporales o direcciones vielbien en el espacio tangente local en cada punto de la variedad.

Para unificar GR y SM, los investigadores han estado tratando de sacar provecho de cualquier similitud que puedan encontrar (y este es un movimiento inteligente, no está inventado), pero para aceptar realmente esto, es necesario cambiar la forma en que vemos F = ma en GR.

Otra diferencia es que la acción del campo es de primer orden en la curvatura, mientras que las teorías de calibre son de segundo orden, nuevamente para la teoría clásica de primer orden R --> Conexión de segundo orden, que es el campo de fuerza. Una teoría GR de orden superior haría que las cosas se parecieran más pero produciría nuevos problemas.

La curvatura en GR produce un gradiente de fuerza dF/dx, que se relaciona con las perturbaciones en el movimiento orbital de las partículas de prueba.