Classification of electromagnetic fields
In differential geometry and theoretical physics, the classification of electromagnetic fields is a pointwise classification of bivectors at each point of a Lorentzian manifold. It is used in the study of solutions of Maxwell's equations and has applications in Einstein's theory of general relativity.
The classification theorem
A (real) bivector field may be viewed, at any given event in a spacetime, as a skew-symmetric linear operator on a four-dimensional (real) vector space, ra → Fabrb. Here, the vector space is the tangent space at the given event, and thus isomorphic as a (real) inner product space to E1,3. That is, it has the same notion of vector magnitude and angle (or inner product) as Minkowski spacetime.
In the remainder of this section (and in the next section), we'll assume our spacetime is Minkowski spacetime. This simplifies the mathematics (but tends to blur the distinction between the tangent space at an event and the underlying manifold). Fortunately, nothing will be lost by this apparently drastic specialization, for reasons we discuss as the end of the article.
The skew-symmetry of the operator we are interested in now implies that one of the following must hold:
- r is a null vector belonging to a nonzero eigenvalue
- r is a nonnull eigenvector belonging to the eigenvalue zero
- r is a null eigenvector belonging to the eigenvalue zero
The linearly independent null eigenspaces are called the principal null directions of the bivector.
The classification theorem characterizes the possible principal null directions of a bivector. It states that one of the following must hold for any nonzero bivector:
- one repeated principal null direction, in this case, the bivector is said to be null,
- two distinct principal null directions, in this case, the bivector is said to be non-null.
Furthermore, for any non-null bivector, the two eigenvalues associated with the two distinct principal null directions have the same magnitude but opposite sign, λ = ±ν, so we have three subclasses of non-null bivectors:
- spacelike: ν = 0
- timelike : ν ≠ 0 and rank F = 2
- non-simple: ν ≠ 0 and rank F = 4
where the rank refers to the rank of the linear operator F. Every nonsimple bivector can be written as a sum of at most two simple ones.
The algebraic classification of bivectors given above has an important application in relativistic physics: the electromagnetic field is represented by a skew-symmetric second rank tensor (the electromagnetic field tensor) so we immediately obtain an algebraic classification of electromagnetic fields.
Recall that for in a cartesian chart on Minkowski spacetime, the electromagnetic field tensor has components
where and denote respectively the components of the electric and magnetic fields, as measured by an inertial observer (at rest in our coordinates). As usual in relativistic physics, we will find it convenient to work with geometrised units in which . In the "tensor gymanastics" formalism of special relativity, the Minkowski metric is used to raise and lower indices.
The fundamental invariants of the electromagnetic field are:
(Fundamental means that every other invariant can be expressed in terms of these two.)
A null electromagnetic field is characterised by . In this case, the invariants reveal that the electric and magnetic fields are perpendicular and that they are of the same magnitude (in geometrised units). An example of a null field is a plane electromagnetic wave in Minkowski space.
A non-null field is characterised by . If , there exists an inertial frame for which either the electric or magnetic field vanishes. (These correspond respectively to magnetostatic and electrostatic fields.) If , there exists an inertial frame in which electric and magnetic fields are proportional.
Curved Lorentzian manifolds
So far we have discussed only flat spacetime, i.e. the Minkowski vacuum. Fortunately, according to the (strong) equivalence principle, if we simply replace "inertial frame" above with a frame field, everything works out exactly the same way on curved manifolds.