Notes - University of Florida

advertisement
Notes from phz 6607, Special and General Relativity
University of Florida, Fall 2004, Detweiler
Notes on Differential Geometry
These notes are not a substitute in any manner for class lectures. Please
let me know if you find errors.
I.
CHRISTOFFEL SYMBOLS
A covariant derivative operator which is compatible with a metric necessarily satisfies
∇a gbc = 0 = ∂a gbc − Γdab gdc − Γdac gbd ,
(1)
so that
∂a gbc = Γdab gdc + Γdac gbd ,
∂b gca = Γdbc gda + Γdba gcd ,
∂c gab = Γdca gdb + Γdcb gad .
(2)
The second two of these follow from the first with cyclic permutations of the indices. Add
the first two and subtract the third to obtain
∂a gbc + ∂b gca − ∂c gab = 2Γdab gdc ,
(3)
where the symmetry of the Christoffel symbols is used. Now, raising the c index results in
1
Γdab = g dc (∂a gbc + ∂b gca − ∂c gab ) .
2
A.
(4)
Identities involving the Christoffel symbols and covariant derivatives
1 ∂ √
Γaab = √
−g
−g ∂xb
1 ∂ √
a
∇a ξ a = √
−gξ
−g ∂xa
∂
ξb]
∂x[a
√
1 ∂
a
ab ∂ψ
∇a ∇ ψ = √
−gg
−g ∂xa
∂xb
1 ∂ √
∇a F [ab] = √
−gF [ab]
a
−g ∂x
∇[a ξb] =
for Aab = Aba :
g bc ∂gad ad
g ba ∂ √
c
∇a Aab = √
−gA
−
A
a
−g ∂xc
2 ∂xc
1
(5)
(6)
(7)
(8)
(9)
(10)
In a generic coordinate system
√
1
∇2 φ = ∇a ∇a φ = g ab ∂a ∂b φ − g ab Γc ab ∂b φ = √ ∂a
−gg ab ∂b φ .
−g
(11)
It is often convenient to define
√
1
Γc ≡ g ab Γc ab = − √ ∂a
−gg ab ,
−g
(12)
∇2 φ = g ab ∂a ∂b φ − Γc ∂c φ.
(13)
so that
II.
THE RICCI IDENTITY AND THE RIEMANN TENSOR
Let ξa be an arbitrary vector field, and consider
∇a ∇b ξc − ∇b ∇a ξc = ∂a ∂b ξc − Γdbc ξd − Γeab ∂e ξc − Γdec ξd − Γeac ∂b ξe − Γdbe ξd
− ∂b ∂a ξc − Γdac ξd + Γeba ∂e ξc − Γdec ξd + Γebc ∂a ξe − Γdae ξd
= −∂a Γdbc ξd − Γeab ∂e ξc − Γdec ξd − Γeac ∂b ξe − Γdbe ξd
+ ∂b Γdac ξd + Γeba ∂e ξc − Γdec ξd + Γebc ∂a ξe − Γdae ξd
= −∂a Γdbc ξd − Γeac ∂b ξe − Γdbe ξd
+ ∂b Γdac ξd + Γebc ∂a ξe − Γdae ξd
= −∂a Γdbc ξd + Γeac Γdbe ξd
+ ∂b Γdac ξd − Γebc Γdae ξd
= −∂a Γdbc ξd + ∂b Γdac ξd − Γebc Γdae ξd + Γeac Γdbe ξd ,
(14)
where the first equality follows from the description of the covariant derivative in terms of the
Christoffel symbols, the second from the commutation of partial derivatives, the third from
the symmetry of the Christoffel symbol, the fourth from the Libnitz rule for differentiation,
and the fifth by rearranging terms. From the Ricci identity we also have
∇a ∇b ξc − ∇b ∇a ξc = Rabc d ξd .
(15)
With ξa being arbitrary, it is necessary that
Rabc d = −∂a Γdbc + ∂b Γdac − Γdea Γebc + Γdeb Γeac ,
(16)
after a rearrangement of terms and indices.
A.
Algebraic identities of the Riemann tensor
Consider ∇[a ∇b ∇c] ψ for an arbitrary scalar field ψ. From the Ricci identity
1
∇[a ∇b] ∇c ψ = Rabc d ∇d ψ
2
2
(17)
Antisymmetrizing over a, b, and c gives
1
∇[a ∇b ∇c] ψ = R[abc] d ∇d ψ
2
(18)
but ∇[b ∇c] ψ = 0 because the connection Γd bc is symmetric. Because ψ is arbitrary, it follows
that
R[abc] d = 0,
(19)
for any Riemann tensor. A second way of stating this same identity relies upon the antisymmetry of the first two indices of the Riemann tensor and is
Rabc d + Rcab d + Rbca d = 0.
(20)
Consider ∇a ∇b (ξ c λc ), for arbitrary vector fields ξ c and λc . It follows that
∇a ∇b (ξ c λc ) = ∇a (λc ∇b ξ c + ξ c ∇b λc )
= λc (∇a ∇b ξ c ) + (∇a λc ) (∇b ξ c ) + ξ c (∇a ∇b λc ) + (∇a ξ c ) (∇b λc ) .
(21)
Antisymmetrize over a and b: the left hand side is zero because the connection Γd ab is
symmetric; the second and fourth terms on the right hand side cancel each other. Use the
Ricci identity on the third term on the right to obtain
0 = λc ∇[a ∇b] ξ c + ξ c Rabc d λd .
(22)
The vector λc is arbitrary, and we conclude that
∇[a ∇b] ξ c = −Rabc d ξ c .
(23)
Officially, this is the Ricci identity for contravariant vectors. Our interest is usually on a
derivative operator which is compatible with the spacetime metric gab , in which case we can
raise and lower indices on either side of a derivative operator. Thus, it also follows that
∇[a ∇b] ξc = −Rab c d ξc .
(24)
From a straight application of the Ricci identity
∇[a ∇b] ξc = Rabd c ξc .
(25)
Rabcd = Rab[cd] .
(26)
Rabcd = R[ab][cd]
(27)
Rabcd + Rcabd + Rbcad = 0.
(28)
We conclude that
At this point we have shown that
and that
We may now conclude that
Rabcd =
=
=
=
=
−Rcabd − Rbcad
Rcadb + Rbcda
−Rdcab − Radcb − Rdbca − Rcdba
Rdcba + Radbc + Rdbac + Rcdab
Rdcba − Rbadc − Rdbac + Rdbac + Rcdab
3
(29)
where we use Eq. (28) in the first equality, interchange the first two indices of every term
to obtain the second equality, use Eq. (28) on both terms to obtain the third equality,
interchange the last two indices of every term to obtain the fourth equality, and use Eq. (28)
on only the second term to obtain the fifth equality. In the fifth line the third and fourth
terms cancel, and we are left with
Rabcd = Rdcba − Rbadc + Rcdab
= Rcdab − Rabcd + Rcdab ;
(30)
the second line follows from interchanging each pair of indices on the right hand side. This
easily simplifies, and we finally have
R[ab][cd] = Rabcd = Rcdab = R[cd][ab] .
(31)
To simplify the understanding of the independence of these algebraic identities, assume
that Eq. (31) holds for a 4-indexed covariant tensor, Rabcd , and see how much additional
information is learned if Eq. (28) also holds. Eq. (31) immediately implies that Eq. (28)
holds if any two of the indices a, b or c are equal. So nothing new is learned from Eq. (28)
unless a, b and c are all different. But, Eq. (31) also immediately implies that Eq. (28) holds
if d is equal to any of a, b or c. We may conclude that Eq. (28) gives new information,
beyond that contained in Eq. (31), only if a, b, c and d are all distinct.
Now we are in position to count up the number of algebraically independent components
of the Riemann tensor of a four dimensional manifold. An antisymmetric pair of indices [ab]
may be chosen in 6 different ways, so there are 6 ways to chose the [ab] in Rabcd and 6 ways to
pick the [cd]. Also, Rabcd = R[cd][ab] , so Rabcd looks like a 6×6 symmetric matrix, which has 21
algebraically independent components. Eq. (28) provides precisely one more algebraically
independent relationship (when all four indices are distinct), and we conclude that the
Riemann tensor has twenty algebraically independent components on a four dimensional
manifold.
B.
Differential identities of the Riemann tensor
The Bianchi identity is a differential identity of the Riemann tensor. Start with
1
∇a (Rbcd m µm )
2
1
1
= µm ∇a Rbcd m + Rbcd m ∇a µm ,
2
2
∇a ∇[b ∇c] µd =
(32)
and
∇[a ∇b] ∇c µd =
1
1
Rabc m ∇m µd + Rabd m ∇c µm .
2
2
(33)
Now, antisymmetrize each of these over [abc]. The righthand sides of the antisymmetrized
versions each of these equations are equal,
µm ∇[a Rbc]d m + R[bc|d| m ∇a] µm = R[abc] m ∇m µd + R[ab|d| m ∇c] µm
4
(34)
The algebraic identities of the Riemann tensor implies that the first term on the right hand
side is zero and that two of the other terms cancel with the result that
µm ∇[a Rbc]d m = −R[bc|d| m ∇a] µm + R[ab|d| m ∇c] µm
= 0.
(35)
Because µm is arbitrary, we conclude that
∇[a Rbc]d m = 0,
(36)
which is the Bianchi identity.
The contracted form of the Bianchi identity follows from first contracting over a and m,
0 = 3∇[a Rbc]d a = ∇a Rbcd a + ∇c Rabd a + ∇b Rcad a
= ∇a Rbcd a − ∇c Rbd + ∇b Rcd .
(37)
Now contract over b and d,
0 = ∇a Rbc ba − ∇c Rb d + ∇b Rc d
= ∇a Rc a − ∇c R + ∇a Rc a ,
(38)
which may be written as
1
(39)
∇a (Rc a − gc a R) = 0.
2
This last result is also referred to as the Bianchi identity, or sometimes the contracted
Bianchi identity.
III.
THE ALTERNATING TENSOR
In four dimensional space-time
√
abcd = [abcd] = (±1, 0) −g
(40)
depending upon whether (a, b, c, d) is an even, odd or no permutation of (t, x, y, z). Also
1
abcd = [abcd] = −(±1, 0) √ .
−g
(41)
The contractions of the product of the two ’s have simple expressions. First, with no
contractions
4! e [f g h]
[f
h]
[f
e]
h]
[e
h]
abcd ef gh = −4!δa[e δbf δcg δd = −
δa δb δc δd − δaf δb δcg δd − δag δb δce δd − δah δb δcg δd . (42)
4
For the second equality, note that the right hand side is explicitly antisymmetric in [e, f, g, h];
the factor of 14 is the required “normalization.” A similar step is performed at the end of
the following equations.
5
For one contraction,
[f
h]
[a
h]
[f
h]
[f
a]
abcd af gh = −3! δaa δb δcg δd − δaf δb δcg δd − δag δb δca δd − δah δb δcg δd
[f
h]
[f
h]
= −3! × (4 − 3) × δb δcg δd = −3! × 1! × δb δcg δd
h]
f]
h]
= −2! × 1! × δbf δc[g δd − δbg δc[f δd − δbh δc[g δd
(43)
For two contractions,
abcd abgh
= −2! × 1! ×
h]
δbb δc[g δd
−
h]
δbg δc[b δd
−
b]
δbh δc[g δd
h]
h]
= −2! × 1! × (4 − 2)δc[g δd = −2! × 2! × δc[g δd = −1! × 2! × δcg δdh − δch δdg .(44)
For three contractions,
abcd abch = −1! × 2! × δcc δdh − δch δdc = −1! × 2! × (4 − 1)δdh = −1! × 3! × δdh .
(45)
Finally for all four pairs of indices contracted,
abcd abcd = −3! × δdd = −4!
(46)
Summarizing these formulae, with different labeling of the indices, we have
h]
abcd ef gh = −4!δa[e δbf δcg δd
(47)
abcd ef gd = −3! × 1! × δa[e δbf δcg]
(48)
f]
abcd ef cd = −2! × 2! × δa[e δb
abcd ebcd
= −1! × 3! ×
(49)
δae .
(50)
and
abcd abcd = −4!.
IV.
(51)
THE PROJECTION OPERATOR
An observer with four-velocity ua may construct a special spatial alternating tensor
√
(52)
abc = [abc] ≡ abcd ud = (±1, 0)(ut or ut ) −g
And an observer may use a projection operator ha b to project tensor indices perpendicular
to his four-velocity,
ha b ≡ g a b + ua ub .
(53)
Note that
ha b ub = (g a b + ua ub )ub = ub − ub = 0,
(54)
b
where the second equality follows from the normalization of the four-velocity, ub u = −1. It
easily follows that
ha b hb c = ha c ,
(55)
as would be expected for a projection operator.
Any tensor index which is perpendicular to ua may be raised or lowered by either gab and
g ab or by hab and hab .
If a normalized, timelike vector field ua is hypersurface orthogonal, then the projection
operator hab also plays the role of the metric of the three dimensional, spatial hyper-surface
which is perpendicular to ua .
6
V.
ELECTRICITY AND MAGNETISM
Maxwell’s equations for the electromagnetic field F ab = F [ab] with a source J a :
∇[a F bc] = 0
(56)
∇b F ab = 4πJ a .
(57)
and
For a given observer with four-velocity ua , the electromagnetic field may be decomposed
into its electric E a and magnetic B a parts by projecting F ab parallel and perpendicular to
ua ,
E a = F ab ub
(58)
and
1
(59)
Ba = abcd F bc ud .
2
It is easy to show that E a ua = 0 and that B a ua = 0 so the electric and magnetic fields are
spatial vectors to the observer, ua .
We may directly write Fab in terms of its components as
Fab = 2u[a Eb] + abcd B c ud ;
(60)
this may be verified by substituting this expression into the above equations for E a and B a .
The force on a charged particle of charge q and mass m moving with four-velocity v a is
the right hand side of
mv b ∇b v a = qF ab vb ,
(61)
which is the equation of motion of a charged particle in “free-fall” through an electromagnetic
field.
VI.
MAXWELL’S EQUATIONS
Maxwell’s equations for the electromagnetic field F ab = F [ab] with a source J a :
∇[a F bc] = 0
(62)
∇b F ab = 4πJ a .
(63)
and
Imagine a cloud of charged dust moving through spacetime with four-velocity v a and
co-moving number density n. Each bit of dust has a mass m and charge q. The conservation
of dust implies that
∇a (nv a ) = 0.
(64)
An observer with four-velocity ua sees a charge density −qnua v a and current density qnha b v b .
To see that Maxwell’s equations require the conservation of charge, evaluate
∇a ∇b Fcd − ∇b ∇a Fcd = Rabc e Fed + Rabd e Fce
7
(65)
from the Ricci identity. Now contract Eq. (65) with g ac and g bd and use the antisymmetry
of Fab to see that the left hand side of the contracted Eq. (65) is
∇a ∇b F ab − ∇b ∇a F ab = 2∇a ∇b F ab .
(66)
The right hand side of the contracted Eq. (65) is
g ac g bd Rabc e Fed + g ac g bd Rabd e Fce = Rbe F eb − Rae F ae = 0
(67)
where the first equality follows from the definition of the Ricci tensor, Rbd ≡ Ra bad , and the
second follows from the symmetry of Rab and the anti-symmetry of F ab . Thus, from Eq. (63)
4π∇a J a = ∇a ∇b F ab = 0,
(68)
and the four-current density must be conserved for the consistency of Maxwell’s equations.
Eq. (62), ∇[a F bc] = 0, is the integrability condition for the local existence of a vector
potential Aa , such that
∇a Ab − ∇b Aa = Fab .
(69)
~ · F~ = 0 then there exists
This is very similar to the Euclidean geometry theorem that if ∇
~
~
~
~
a vector A such that F = ∇ × A.
Let us find the equation governing the vector potential. From Eq. (69)
∇c Fab = ∇c (∇a Ab − ∇b Aa )
= Rcab d Ad + ∇a ∇c Ab − ∇c ∇b Aa ,
(70)
from the Ricci identity. After contraction with g bc , this becomes
∇b Fab = 4πJa
= R a d A d + ∇ a ∇ b A b − ∇ b ∇ b Aa .
(71)
∇b ∇b Aa − ∇a ∇b Ab − Ra d Ad = −4πJa .
(72)
This is equivalent to
In the Lorentz gauge, where ∇b Ab = 0, this simplifies to
∇b ∇b Aa − Ra d Ad = −4πJa .
A.
(73)
Alternative E&M
Generally, when we consider an area of physics which is well understood in special relativity, such as electricity and magnetism, and try to find the generalization of the relevant
equations to curved spacetime, we do as little as possible to the equations and typically just
replace ordinary derivatives with respect to Minkowski coordinates by covariant derivatives
with respect to an arbitrary coordinate system. However, this process is not unambiguous.
With this in mind consider the vector potential Aa defined in terms of the electromagnetic
field by
∇a Ab − ∇b Aa = Fab .
(74)
In flat spacetime the vector potential satisfies
∇b ∇b Aa − ∇a ∇b Ab = −4πJa .
8
(75)
It might appear reasonable to develop curved-spacetime electricity and magnetism, by starting directly with these equations for Aa and Fab while considering the derivatives to be
covariant derivatives of curved spacetime.
Show that this version of curved-spacetime electricity and magnetism has an unpleasant
feature. Hint: Look at the notes to see the accepted version of curved-spacetime electricity
and magnetism.
From Eq. (75), we can evaluate the divergence of J a . Specifically,
−4π∇a J a = ∇a ∇b ∇b Aa − ∇a ∇a ∇b Ab
(76)
Focus on the first term on the right hand side.
∇ a ∇ b ∇ b Aa =
=
=
=
∇b ∇a ∇b Aa + Ra b b d ∇d Aa + Ra ba d ∇b Ad
∇ b ∇ a ∇ b Aa − R a d ∇ d Aa + R b d ∇ b A d
∇ b ∇ a ∇ b Aa
∇b ∇b ∇a Aa + Rab a d Ad
= ∇b ∇b ∇a Aa + ∇b Rbd Ad
(77)
where the first equality follows from the Ricci identity after interchanging the order of the
covariant derivatives, the second follows from the definition of the Ricci tensor in terms of
the Riemann tensor, the third follows from the symmetry of the Ricci tensor, the fourth
follows from again interchanging derivatives and using the Ricci identity, and the fifth from
again using the definition of the Ricci tensor in terms of the Riemann tensor. Now substitute
this final result back into Eq. (76) to obtain
−4π∇a J a = ∇b ∇b ∇a Aa + ∇b Rbd Ad − ∇a ∇a ∇b Ab
= ∇b Rbd Ad .
(78)
Generally, the right hand side of this last expression is not zero, and we see that in this
“other version” of electricity and magnetism in curved spacetime charge is not conserved.
This is considered an “unpleasant feature”.
VII.
STRESS-ENERGY TENSOR
The stress-energy tensor for the electromagnetic field is
1
4πTab = Fa c Fbc − gab F cd Fcd .
4
(79)
The conservation of stress-energy then implies
1
4π∇a Tab = (∇a Fa c )Fbc + F ac ∇a Fbc − F cd ∇b Fcd
2
1
= (∇a Fa c )Fbc + (F ac ∇a Fbc − F ac ∇c Fba − F ac ∇b Fac )
2
1
a
c
= (∇ Fa )Fbc − f ac (∇a Fcb + ∇c Fba + ∇b Fac )
2
= (∇a Fa c )Fbc ,
= −4πJ a Fba = 4πJ a Fab
9
(80)
where the penultimate line follows from Eq. (62) and the last line from Eq. (63).
Express Tab in terms of the vector potential as
1
4πTab = (∇a Ac − ∇c Aa )(∇b Ac − ∇c Ab ) − gab (∇c Ad − ∇d Ac )(∇c Ad − ∇d Ac )
4
1
= (∇a Ac − ∇c Aa )(∇b Ac − ∇c Ab ) − gab (∇c Ad ) (∇c Ad − ∇d Ac ) .
(81)
2
10
Download