En geometría diferencial , la forma de curvatura describe la curvatura de una conexión en un haz principal . El tensor de curvatura de Riemann en la geometría de Riemann puede considerarse como un caso especial.
Sea G un grupo de Lie con álgebra de Lie y P → B sea un paquete G principal . Sea ω una conexión de Ehresmann en P (que es una forma univaluada en P ).
Entonces la forma de curvatura es la forma de 2 valores en P definida por
(En otra convención, 1/2 no aparece). Aquí significa derivada exterior , se define en el artículo " Forma valorada en álgebra de Lie " y D denota la derivada covariante exterior . En otros términos, [1]
donde X , Y son vectores tangentes a P .
También hay otra expresión para Ω: si X , Y son campos vectoriales horizontales en P , entonces [2]
donde hZ significa el componente horizontal de Z , a la derecha identificamos un campo vectorial vertical y un elemento de álgebra de Lie que lo genera ( campo vectorial fundamental ), y es el inverso del factor de normalización usado por convención en la fórmula para la derivada exterior .
Se dice que una conexión es plana si su curvatura desaparece: Ω = 0. De manera equivalente, una conexión es plana si el grupo de estructuras se puede reducir al mismo grupo subyacente pero con la topología discreta.
Si E → B es un paquete de vectores, entonces también se puede pensar en ω como una matriz de 1 formas y la fórmula anterior se convierte en la ecuación estructural de E. Cartan:
¿Dónde está el producto cuña ? Más precisamente, si y denota componentes de ω y Ω correspondientemente (por lo que cada uno es una forma 1 habitual y cada uno es una forma 2 habitual), entonces
Por ejemplo, para el paquete tangente de una variedad de Riemann , el grupo de estructura es O( n ) y Ω es una forma 2 con valores en el álgebra de Lie de O( n ), es decir, las matrices antisimétricas . En este caso, la forma Ω es una descripción alternativa del tensor de curvatura , es decir
usando la notación estándar para el tensor de curvatura de Riemann.
Si es la forma 1 canónica con valor vectorial en el paquete de cuadros, la torsión de la forma de conexión es la forma 2 con valor vectorial definida por la ecuación de estructura
donde como arriba D denota la derivada covariante exterior .
La primera identidad de Bianchi toma la forma
La segunda identidad de Bianchi toma la forma
y es válido de manera más general para cualquier conexión en un paquete principal .
Las identidades de Bianchi se pueden escribir en notación tensorial como:
Las identidades contraídas de Bianchi se utilizan para derivar el tensor de Einstein en las ecuaciones de campo de Einstein , la mayor parte de la teoría general de la relatividad . [ se necesita aclaración ]