Processing math: 100%

Sunday, October 29, 2017

The electromagnetic field


Continuing from last time, today I will talk about the electromagnetic field as a gauge theory.

1. The gauge group

In this case the gauge group is U(1) - the phase rotations. This group is commutative. This can be determined if we start from Dirac's equation and we demand that the group leaves the Dirac current of probability density:

jμ=Ψγ0γμΨ

invariant.

2. The covariant derivative giving rise to the gauge group

Here the covariant derivative takes the form:

Dμ=μiAμ

To determine the gauge connection Aμ we can substitute this expression in Dirac's equation:

iγμDμΨ=mΨ

and require the equation to be invariant under a gauge transformation:

Ψ=eiχΨ

which yields:

Aμ=Aμ+μχ

This shows that:
- the general gauge field for Dirac's equation is an arbitrary vector field Aμ(x)
-The part of the gauge field which compensates for an arbitrary gauge transformation of the Dirac field Ψ(x) is the gradient of on an arbitrary scalar field.


3. The integrability condition

Here we want to extract a physically observable object out of a given vector field Aμ(x). From above it follows that there is no external potential if Aμ=μχ and this is the case if and only if:

μAννAμ=0

4. The curvature

The curvature measures the amount of failure for the integrability condition and by definition is the left-hand side of the equation from above:

Fμν=μAννAμ

and this is the electromagnetic field tensor.

5. The algebraic identities

There is only one algebraic identity in this case stemming from the curvature tensor antisymmetry:

Fμν+Fνμ=0

6. The homogeneous differential equations

If we take the derivative of Fμν and we do a cyclic sum we obtain:

Fμν,λ+Fλμ,ν+Fνλ,μ=0

which is analogous with the Bianchi identity in general relativity.

This identity can be expressed using the Hodge dual as follows:

ρFρμ=0

and this is nothing but two of the Maxwell's equations:

B=0
×E+tB=0

7. The inhomogeneous differential equations

If we take the derivative of βFαβ we get zero because the F is antisymetric and αβ=βα. and so the vector  βFαβ is divergenless. We interpret this as a current of a conserved quantity: the source for the electromagnetic field and we write:

ρFμρ=4πJμ

where the constant of proportionality comes from recovering Maxwell's theory (recall that last time 8πG came from similar arguments.

From this we now get the other two Maxwell's equations:

E=4πρ
×BtE=4πj

Now we can compare general relativity with electromagnetism:

Coordinate transformation - Gauge transformation
Affine connection Γαρσ - Gauge connection iAμ
Gravitational potential Γαρσ - electromagnetic potential Aμ
Curvature tensor Rαβγδ - electromagnetic field Fμν
No gravitation Rαβγδ=0 - no electromagnetic field Fμν=0


No comments:

Post a Comment