En matemáticas , la derivada covariante exterior es un análogo de una derivada exterior que tiene en cuenta la presencia de una conexión .
Definición
Deje G un grupo de Lie y P → M sea un director G -bundle en un múltiple liso M . Suponga que hay una conexión en P ; esto produce una descomposición de suma directa naturalde cada espacio tangente en los subespacios horizontal y vertical . Dejar ser la proyección al subespacio horizontal.
Si φ es una k -forma en P con valores en un espacio vectorial V , entonces su covariante exterior derivado Dφ es una forma definida por
donde v i son vectores tangentes a P en u .
Supongamos que ρ : G → GL ( V ) es una representación de G en un espacio vectorial V . Si ϕ es equivariante en el sentido de que
dónde , A continuación, Dφ es un tensorial ( k + 1) -forma en P del tipo ρ : es equivariante y horizontal (una forma ψ es horizontal si ψ ( v 0 , ..., v k ) = ψ ( hv 0 , ..., hv k ) .)
Por abuso de notación , el diferencial de ρ en el elemento de identidad se puede denotar nuevamente por ρ :
Dejar ser la conexión de una forma y la representación de la conexión en Es decir, es un -forma valorada , desapareciendo en el subespacio horizontal. Si ϕ es una forma k tensorial de tipo ρ , entonces
donde, siguiendo la notación en la forma diferencial con valores de álgebra de Lie § Operaciones , escribimos
A diferencia de la derivada exterior habitual , que cuadra a 0, la derivada covariante exterior no lo hace. En general, uno tiene, para una forma cero tensorial ϕ ,
donde F = ρ (Ω) es la representación [ aclaración necesaria ] ende la curvatura de dos formas Ω. La forma F a veces se denomina tensor de intensidad de campo , en analogía con el papel que desempeña en el electromagnetismo . Tenga en cuenta que D 2 desaparece para una conexión plana (es decir, cuando Ω = 0 ).
Si ρ : G → GL ( R n ) , entonces se puede escribir
dónde es la matriz con 1 en la entrada ( i , j ) -ésima y cero en las otras entradas. La matrizcuyas entradas son 2 formas en P se llama matriz de curvatura .
Derivada covariante exterior para paquetes de vectores
Cuando ρ : G → GL ( V ) es una representación , se puede formar el asociado haz E = P × ρ V . Luego, la derivada covariante exterior D dada por una conexión en P induce una derivada covariante exterior (a veces llamada conexión exterior ) en el paquete asociado, esta vez usando el símbolo nabla :
Aquí, Γ denota el espacio de las secciones locales del paquete de vectores. La extensión se realiza a través de la correspondencia entre formas valoradas en E y formas tensoriales de tipo ρ (ver Formas diferenciales de valor vectorial § Formas básicas o tensoriales en haces principales ).
Al exigir que ∇ satisfaga la regla de Leibniz, ∇ también actúa en cualquier forma con valor E ; así, se da sobre elementos descomponibles del espacio de -valued k -formas por
- .
Para una sección s de E , también establecemos
dónde es la contracción por X .
Por el contrario, dado un paquete de vectores E , uno puede tomar su paquete de tramas , que es un paquete principal, y así obtener una diferenciación covariante exterior en E (dependiendo de una conexión). Identificando formas tensoriales y formas valoradas en E , se puede mostrar que
que se puede reconocer fácilmente como la definición del tensor de curvatura de Riemann en variedades de Riemann .
Ejemplo
- La segunda identidad de Bianchi , que dice que la derivada covariante exterior de Ω es cero (es decir, D Ω = 0 ) se puede establecer como:.
Notas
- ^ Si k = 0 , entonces, escribiendopara el campo vectorial fundamental (es decir, campo vectorial vertical) generado por X enen P , tenemos:
- ,
- ,
- ^ Prueba: Dado que ρ actúa sobre la parte constante de ω , conmuta con d y por lo tanto
- .
Referencias
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996). Fundamentos de la geometría diferencial , vol. 1 (Nueva ed.). Wiley-Interscience. ISBN 0-471-15733-3.