Teorema de Noether en formas diferenciales

Perla Medina y Daniela Narbona

Departamento de Fsica, Universidad de Concepcin

Teorema de Noether Materia + Geometra

Simetra en el Lagrangeano = Cantidad conservada Lagrangeano del universo Consideremos ahora el lagrangeano completo,
En fsica encontramos dos tipos de simetras: para la geometra y la materia en d = 4
I Simetra de Difeomorfismos.
I Simetras de Gauge. L (e , ω, ∂ω, ϕ, ∂ϕ) = LG (e , ω, ∂ω) + LM (e , ω, ϕ, ∂ϕ)
(4) (4) (4)

Las cuales dan origen a dos formas del teorema de Noether. y describimos el comportamiento del lagrangeano de materia a travs de

Simetra de Difeomorfismos L (4)

δe M = − ∗ τ d ∧ δ d e
Un difeomorfismo infinitesimal genera una variacin funcional difeomrfica, 2
L(4) 1 ab
δω M = − δω ∧ ∗σab
Para aplicar el teorema de Noether al lagrangeano del universo agregaremos
δf p (x ) = −Lζ p (x ) un trmino regularizador al lagrangeano para la geometra, que no afecte las
Definiendo una d-forma Lagrangeana L(d )(ϕ, ∂ϕ) sobre una variedad ecuaciones de campos pero que cambiar las condiciones de borde, luego
M (d ), se encuentra que L(d )(ϕ, ∂ϕ) responde a una perturbacin
δe L R e e e e e
 
1 1 ab c 1
− Λabcd a ∧ b ∧ c − κ4 ∗ Td ∧δ d
infinitesimal arbitraria ϕ → ϕ + δϕ de la forma: (4)
= abcd ∧
κ4 2 3!
δϕ L (d )
E d
= δϕA ∧ ∗ A + B A
[δϕA ∧ ∗ ]
Para configuraciones ”on − shell ”, es decir, que satisfacen, δω L T e d B
(4) 1 ab c∧ d −κ ∗σ )+
h
ab (G)
i
= δω ∧ (abcd 4 ab δω ∧ ∗ ab
∗E a|M (d ) = 0 obtenemos: 2κ4
δϕ L E d (4)
= δϕ ∧ ∗ A + A
[δϕ ∧ ∗ (M)] B
δϕL(d ) = d [δϕA ∧ ∗B A]
Donde el trmino de borde geomtrico corresponde a
Luego, para nuestro Lagrangeano d-dimensional,
∗Bab = − R e e
(G ) 3 cd Λ c d
Lζ L = d B
(d ) abcd { − ∧ }
[Lζ ϕA ∧ ∗ A] (1) 4Λκ4 3
Podemos reescribir (1) como y cumple con la relacin

[ζdIL (d )
− Lζ ϕA ∧ ∗ A] = 0 B (2) D ∗ Bab (G ) 1
∗ σab
2c
= (6)
Vemos que Iζ L (d )
B
− Lζ ϕA ∧ ∗ A es una (d-1)-forma. As, podemos Corriente de Gauge para el Lagrangeano del Universo Tenemos
definir la 1-forma J tal que que la corriente de Gauge para el Lagrangeano del Universo ser:

∗J = Iζ L (d ) A B
− Lζ ϕ ∧ ∗ A (3)
J
Univ . 1 ab
∗ (g ) = λ ∗ [σab − ab ]
2
S
El cul nos lleva a una ley de conservacn:
I Pero λab es arbitrario
d ∗J =0 (4) Y el Teorema de Noether nos dice que
Es posible expresar esta corriente de manera ms cmoda, y eliminar as
trminos triviales de ella. d ∗ J(Univ .
g) = 0
Espn de todo el universo
∗J¯ = Iζ L (d ) p
− (−1) ζ ϕ AI d ∧∗ AB− Iζ d A
ϕ ∧∗BA
la cual tambin corresponde a una les de conservacin: J(Univ .
g ) = 0,
d ∗ J¯ = 0
σab = Sab.
Esto significa que el tensor de espn de todo el Universo(materia +
Simetra de Gauge
geometra) es cero
Para una transformacin infinitesimal de simetra Corriente Difeomrfica Tenamos que la corriente Difeomrfica para el
Lagrangeano de Geometra
δg ϕB = λa[ a]AB ϕA g J
on
∗ (G)−di
= Iζ L(d ) − Lζ ϕA ∧ ∗BA (7)
Si el Lagrangeano es invariante bajo esta transformacin, es decir, I No es invariante de Lorentz
L(d )(ϕ̄, ∂ ϕ̄) = L(d )(ϕ, ∂ϕ), entonces tenemos una simetra. I Ocurrir lo mismo para el Lagrangeano Materia + Geometra?
Luego,
La mega-corriente para la geometra+materia viene dada por
δϕL(d ) = δϕA ∧ ∗E A + d (δϕA ∧ ∗B A) = 0
Para configuraciones ”on − shell ”:
Jon −di .
∗ Total = ζ IL materia − L̄ζ ϕA ∧ ∗
A a
ab b
− ∗ Tab ζ −G
[ ζ ω ∧ ∗ ab ] B e dI B
Definiendo el tensor de momentum-energa de Noether Nab a travs de
δϕL(d ) = d (δ(g )ϕA ∧ ∗B A) = 0
Definimos la 1-forma Jgaug como ae b
∗ Nab ζ = Iζ L (d ) p A
− (−1) ζ ϕ ∧ I D ∗ BA (M)
− Iζ D B A
ϕA ∧ ∗ (M)
Tensor energa-momentum del Universo La corriente conservada para
∗J(g ) = δ(g )ϕA ∧ ∗B A (5) la energa la materia + la energa es
vemos que esta corriente se conserva,
J
on −di .
∗ Total a b
= ∗ (Nab − Tab )ζ − e dI [ ζ ϕA ∧ ∗ A − B I
ζω
ab B
G
∧ ∗ ab ].
d ∗ J(g ) = 0 Y nuevamente,

d ∗ J = d [∗e a(Nab − Tab)ζ b]

I ζ~ completamente arbitrario
Tensor energa-momentum del universo Por lo tanto, el
momentum-energa de todo el sistema, geometra+materia

Σab = Nab − Tab = 0