Derivada covariante exterior

En el campo de la geometría diferencial, la derivada covariante exterior es una extensión de la noción de derivada exterior al establecimiento de un fibrado principal o fibrado vectorial diferenciable con una conexión.

Definición

Sea G un grupo de Lie y Plantilla:Nowrap sea un fibrado principal sobre G en una variedad diferenciable M. Supóngase que hay una conexión en P; esto produce una descomposición de suma directa natural $T_{u} P = H_{u} \oplus V_{u}$ de cada espacio tangente en los subespacios horizontal y vertical. Sea $h : T_{u} P \to H_{u}$ la proyección al subespacio horizontal.

Si ϕ es una k-forma en P con valores en un espacio vectorial V, entonces su derivada covariante exterior Dϕ es una forma definida por

D ϕ (v_{0}, v_{1}, \dots, v_{k}) = d ϕ (h v_{0}, h v_{1}, \dots, h v_{k})

donde los v_i son vectores tangentes a P en u.

Supóngase que Plantilla:Nowrap es una representación de G en un espacio vectorial V. Si ϕ es equivariante en el sentido de que

R_{g}^{*} ϕ = ρ (g)^{- 1} ϕ

donde $R_{g} (u) = u g$ , entonces Dϕ es una [[forma tensorial|Plantilla:Nowrap forma tensorial]] sobre P del tipo ρ: es equivariante y horizontal (una forma ψ es horizontal si Plantilla:Nowrap.)

En lo que constituye un abuso de notación, el diferencial de ρ en el elemento identidad puede nuevamente denotarse por ρ:

ρ : 𝔤 \to 𝔤 𝔩 (V) .

Sea $ω$ la uno forma conexión y $ρ (ω)$ la representación de la conexión en $𝔤 𝔩 (V) .$ . Es decir, $ρ (ω)$ es un $𝔤 𝔩 (V)$ forma valorada que desaparece en el subespacio horizontal. Si ϕ es una forma tensorial k de tipo ρ, entonces

D ϕ = d ϕ + ρ (ω) \cdot ϕ,

^[1]

donde, siguiendo la notación empleada en las operaciones sobre una forma diferencial valorada en un álgebra de Lie, se escribe

(ρ (ω) \cdot ϕ) (v_{1}, \dots, v_{k + 1}) = \frac{1}{(1 + k)!} \sum_{σ} sgn (σ) ρ (ω (v_{σ (1)})) ϕ (v_{σ (2)}, \dots, v_{σ (k + 1)}) .

A diferencia de la derivada exterior habitual, que eleva el cuadrado a 0, la derivada covariante exterior no lo hace. En general, se tiene, para una forma cero tensorial ϕ,

D^{2} ϕ = F \cdot ϕ .

^[2]

donde Plantilla:Nowrap es la representación sobre $𝔤 𝔩 (V)$ de la forma de curvatura de orden 2 Ω. La forma F a veces se denomina tensor de campo electromagnético, en analogía con el papel que desempeña en electromagnetismo. Téngase en cuenta que D² desaparece para una conexión plana (es decir, cuando Plantilla:Nowrap).

Si Plantilla:Nowrap, entonces se puede escribir

ρ (Ω) = F = \sum {F^{i}}_{j} {e^{j}}_{i}

donde ${e^{i}}_{j}$ es la matriz con 1 en la entrada Plantilla:Nowrap y cero en las otras entradas. La matriz ${F^{i}}_{j}$ cuyas entradas son 2-formas en P se llama matriz de curvatura.

Para haces de vectores

Dado un haz de vectores reales suaves Plantilla:Math con conexión Plantilla:Math y rango Plantilla:Mvar, la derivada covariante exterior es una aplicación lineal real en formas diferenciales con valores vectoriales que se valora en Plantilla:Mvar:

d^{\nabla} : Ω^{k} (M, E) \to Ω^{k + 1} (M, E) .

La derivada covariante es una aplicación de este tipo para Plantilla:Math. Las derivadas covariantes exteriores extienden esta aplicación al caso de Plantilla:Mvar general. Hay varias formas equivalentes de definir este objeto:

Plantilla:Sfnm Supóngase que se considera que una forma 2 diferencial con valores vectoriales asigna a cada Plantilla:Mvar una aplicación multilineal Plantilla:Math que es completamente antisimétrica. Entonces, la derivada covariante exterior Plantilla:Math asigna a cada Plantilla:Mvar una aplicación multilineal Plantilla:Math dada por la fórmula

\begin{matrix} \nabla_{x_{1}} (s (X_{2}, X_{3})) & - \nabla_{x_{2}} (s (X_{1}, X_{3})) + \nabla_{x_{3}} (s (X_{1}, X_{2})) \\ - s ([X_{1}, X_{2}], x_{3}) + s ([X_{1}, X_{3}], x_{2}) - s ([X_{2}, X_{3}], x_{1}) . \end{matrix}

donde Plantilla:Math son vectores tangentes arbitrarios en Plantilla:Mvar que se extienden para suavizar los campos vectoriales Plantilla:Math definidos localmente. La legitimidad de esta definición depende del hecho de que la expresión anterior depende únicamente de Plantilla:Math y no de la elección de la extensión. Esto puede verificarse mediante la regla de Leibniz para la diferenciación covariante y para los corchetes de Lie en campos vectoriales. El patrón establecido en la fórmula anterior en el caso Plantilla:Math se puede extender directamente para definir la derivada covariante exterior para Plantilla:Mvar arbitrario.

Plantilla:Sfnm La derivada covariante exterior puede caracterizarse por la propiedad axiomática de definir para cada Plantilla:Mvar una aplicación lineal real Plantilla:Math que para Plantilla:Math es la derivada covariante y en general satisface la regla de Leibniz.

d^{\nabla} (ω \land s) = (d ω) \land s + (- 1)^{k} ω \land (d^{\nabla} s)

para cualquier forma Plantilla:Mvar diferencial Plantilla:Math y cualquier forma Plantilla:Mvar con valor vectorial. Esto también puede verse como una definición inductiva directa. Por ejemplo, para cualquier Plantilla:Mvar de 1-forma diferencial con valor vectorial y cualquier marco local Plantilla:Math del haz de vectores, las coordenadas de Plantilla:Mvar son Plantilla:Math de 1 forma diferencial definidas localmente. La fórmula inductiva anterior dice entonces quePlantilla:Sfnm

\begin{matrix} d^{\nabla} s & = d^{\nabla} (ω_{1} \land e_{1} + \dots + ω_{r} \land e_{r}) \\ = d ω_{1} \land e_{1} + \dots + d ω_{r} \land e_{r} - ω_{1} \land \nabla e_{1} - \dots - ω_{r} \land \nabla e_{r} . \end{matrix}

Para que ésta sea una definición legítima de Plantilla:Math, se debe verificar que la elección del marco local sea irrelevante. Esto puede comprobarse considerando un segundo marco local obtenido mediante una matriz de cambio de base arbitraria. Una matriz invertible proporciona la matriz de cambio de base para Plantilla:Math de 1-forma. Cuando se sustituye en la fórmula anterior, la regla de Leibniz aplicada a la derivada exterior estándar y a la derivada covariante Plantilla:Math anula la elección arbitraria.

Plantilla:Sfnm Un Plantilla:Mvar de 2-formas diferenciales con valores vectoriales puede considerarse como una determinada colección de funciones Plantilla:Math asignadas a un marco local arbitrario de Plantilla:Mvar sobre un grafo de coordenadas local de Plantilla:Mvar. La derivada covariante exterior se define entonces como dada por las funciones

(d^{\nabla} s)^{α}_{i j k} = \nabla_{i} s^{α}_{j k} - \nabla_{j} s^{α}_{i k} + \nabla_{k} s^{α}_{i j} .

El hecho de que esto defina un campo tensorial valorado en Plantilla:Mvar es una consecuencia directa del mismo hecho para la derivada covariante. El hecho adicional de que sea una 3-forma diferencial valorada en Plantilla:Mvar afirma la antisimetría completa en Plantilla:Math y se verifica directamente a partir de la fórmula anterior y la suposición contextual de que Plantilla:Mvar es una 2-forma diferencial valorada por un vector, de modo que Plantilla:Math. El patrón en esta definición de la derivada covariante exterior para Plantilla:Math se puede extender directamente a valores mayores de Plantilla:Mvar.
Esta definición puede expresarse alternativamente en términos de un marco local arbitrario de Plantilla:Mvar, pero sin considerar coordenadas en Plantilla:Mvar. Entonces, una 2-forma diferencial con valores vectoriales se expresa mediante 2-formas diferenciales Plantilla:Math y la conexión se expresa mediante la 1-forma de conexión, una matriz de orden Plantilla:Math simétrica sesgada de 1-formas diferenciales Plantilla:Math. La derivada covariante exterior de Plantilla:Mvar, como una 3-forma diferencial valorada por un vector, se expresa en relación con el marco local mediante Plantilla:Mvar muchas 3-formas diferenciales, definidas por

(d^{\nabla} s)^{α} = d (s^{α}) + θ_{β}^{α} \land s^{β} .

En el caso del haz de rectas reales trivial Plantilla:Math con su conexión estándar, las formas diferenciales con valores vectoriales y las formas diferenciales se pueden identificar naturalmente entre sí, y cada una de las definiciones anteriores coincide con la derivada exterior estándar.

Dado un paquete principal, cualquier representación lineal del grupo de estructuras define un fibrado asociado, y cualquier conexión en el paquete principal induce una conexión en el paquete de vectores asociado. Las formas diferenciales valoradas en el paquete de vectores pueden identificarse naturalmente con las formas tensoriales completamente antisimétricas en el espacio total del paquete principal. Bajo esta identificación, las nociones de derivada covariante exterior para el fibrado principal y para el fibrado vectorial coinciden entre sí.Plantilla:Sfnm

La curvatura de una conexión en un haz de vectores se puede definir como la composición de las dos derivadas covariantes exteriores Plantilla:Math y Plantilla:Math, de modo que se define como una aplicación lineal real Plantilla:Math. Es un hecho fundamental, pero no inmediatamente evidente, que Plantilla:Math solo depende de Plantilla:Math y lo hace de forma lineal. Como tal, la curvatura puede considerarse como un elemento de Plantilla:Math. Dependiendo de cómo se formule la derivada covariante exterior, se pueden obtener varias definiciones de curvatura alternativas pero equivalentes (algunas sin el lenguaje de diferenciación exterior).

Es un hecho bien conocido que la composición de la derivada exterior estándar consigo misma es cero: Plantilla:Math. En el contexto actual, se puede considerar que esto dice que la conexión estándar en el haz de líneas trivial Plantilla:Math tiene curvatura cero.

Ejemplo

La segunda identidad de Bianchi, que dice que la derivada covariante exterior de Ω es cero (es decir, Plantilla:Nowrap) se puede enunciar como: $d Ω + ad (ω) \cdot Ω = d Ω + [ω \land Ω] = 0$ .

Referencias

Plantilla:Listaref

Bibliografía

Plantilla:Control de autoridades

↑ If Plantilla:Nowrap, entonces, escribiendo $X^{#}$ para el campo vectorial fundamental (es decir, el campo vectorial vertical) generado por X en $𝔤$ sobre P, se tiene que:
$d ϕ (X_{u}^{#}) = {\frac{d}{d t} |}_{0} ϕ (u \exp (t X)) = - ρ (X) ϕ (u) = - ρ (ω (X_{u}^{#})) ϕ (u)$ ,
dado que Plantilla:Nowrap. Por otro lado, Plantilla:Nowrap. Si X es un vector tangente horizontal, entonces $D ϕ (X) = d ϕ (X)$ y $ω (X) = 0$ . Para el caso general, sean X_i vectores tangentes a P en algún punto tal que algunos de los X_i sean horizontales y el resto verticales. Si X_i es vertical, se considera un elemento del álgebra de Lie y entonces se identifica con el campo vectorial fundamental generado por él. Si X_i es horizontal, se reemplaza con la elevación horizontal del campo vectorial que extiende el avance πX_i. De esta manera, se extienden las X_i a campos vectoriales. Tenga en cuenta que la extensión es tal que tenemos: [X_i, X_j]= 0 si X_i es horizontal y X_j es vertical. Finalmente, por derivada exterior, tenemos:
$D ϕ (X_{0}, \dots, X_{k}) - d ϕ (X_{0}, \dots, X_{k}) = \frac{1}{k + 1} \sum_{0}^{k} (- 1)^{i} ρ (ω (X_{i})) ϕ (X_{0}, \dots, \hat{X_{i}}, \dots, X_{k})$ ,
que es $(ρ (ω) \cdot ϕ) (X_{0}, \dots, X_{k})$ .
↑ Demostración: dado que ρ actúa sobre la parte constante de ω, conmuta con d y por lo tanto
$d (ρ (ω) \cdot ϕ) = d (ρ (ω)) \cdot ϕ - ρ (ω) \cdot d ϕ = ρ (d ω) \cdot ϕ - ρ (ω) \cdot d ϕ$ .
Entonces, según la notación empleada con las operaciones,
$D^{2} ϕ = ρ (d ω) \cdot ϕ + ρ (ω) \cdot (ρ (ω) \cdot ϕ) = ρ (d ω) \cdot ϕ + \frac{1}{2} ρ ([ω \land ω]) \cdot ϕ,$
que es $ρ (Ω) \cdot ϕ$ según la ecuación de la estructura de Cartan.

[1] If Plantilla:Nowrap, entonces, escribiendo $X^{#}$ para el campo vectorial fundamental (es decir, el campo vectorial vertical) generado por X en $𝔤$ sobre P, se tiene que:
$d ϕ (X_{u}^{#}) = {\frac{d}{d t} |}_{0} ϕ (u \exp (t X)) = - ρ (X) ϕ (u) = - ρ (ω (X_{u}^{#})) ϕ (u)$ ,
dado que Plantilla:Nowrap. Por otro lado, Plantilla:Nowrap. Si X es un vector tangente horizontal, entonces $D ϕ (X) = d ϕ (X)$ y $ω (X) = 0$ . Para el caso general, sean X_i vectores tangentes a P en algún punto tal que algunos de los X_i sean horizontales y el resto verticales. Si X_i es vertical, se considera un elemento del álgebra de Lie y entonces se identifica con el campo vectorial fundamental generado por él. Si X_i es horizontal, se reemplaza con la elevación horizontal del campo vectorial que extiende el avance πX_i. De esta manera, se extienden las X_i a campos vectoriales. Tenga en cuenta que la extensión es tal que tenemos: [X_i, X_j]= 0 si X_i es horizontal y X_j es vertical. Finalmente, por derivada exterior, tenemos:
$D ϕ (X_{0}, \dots, X_{k}) - d ϕ (X_{0}, \dots, X_{k}) = \frac{1}{k + 1} \sum_{0}^{k} (- 1)^{i} ρ (ω (X_{i})) ϕ (X_{0}, \dots, \hat{X_{i}}, \dots, X_{k})$ ,
que es $(ρ (ω) \cdot ϕ) (X_{0}, \dots, X_{k})$ .

[2] Demostración: dado que ρ actúa sobre la parte constante de ω, conmuta con d y por lo tanto
$d (ρ (ω) \cdot ϕ) = d (ρ (ω)) \cdot ϕ - ρ (ω) \cdot d ϕ = ρ (d ω) \cdot ϕ - ρ (ω) \cdot d ϕ$ .
Entonces, según la notación empleada con las operaciones,
$D^{2} ϕ = ρ (d ω) \cdot ϕ + ρ (ω) \cdot (ρ (ω) \cdot ϕ) = ρ (d ω) \cdot ϕ + \frac{1}{2} ρ ([ω \land ω]) \cdot ϕ,$
que es $ρ (Ω) \cdot ϕ$ según la ecuación de la estructura de Cartan.

[1]

[2]

Derivada covariante exterior

Sumario

Definición

Para haces de vectores

Ejemplo

Referencias

Bibliografía

Menú de navegación

Derivada covariante exterior

Definición

Para haces de vectores

Ejemplo

Referencias

Bibliografía

Menú de navegación

Buscar