nLab electromagnetic field

Redirected from "Faraday tensor".
Contents

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Fields and quanta

fields and particles in particle physics

and in the standard model of particle physics:

force field gauge bosons

scalar bosons

matter field fermions (spinors, Dirac fields)

flavors of fundamental fermions in the
standard model of particle physics:
generation of fermions1st generation2nd generation3d generation
quarks (qq)
up-typeup quark (uu)charm quark (cc)top quark (tt)
down-typedown quark (dd)strange quark (ss)bottom quark (bb)
leptons
chargedelectronmuontauon
neutralelectron neutrinomuon neutrinotau neutrino
bound states:
mesonslight mesons:
pion (udu d)
ρ-meson (udu d)
ω-meson (udu d)
f1-meson
a1-meson
strange-mesons:
ϕ-meson (ss¯s \bar s),
kaon, K*-meson (usu s, dsd s)
eta-meson (uu+dd+ssu u + d d + s s)

charmed heavy mesons:
D-meson (uc u c, dcd c, scs c)
J/ψ-meson (cc¯c \bar c)
bottom heavy mesons:
B-meson (qbq b)
ϒ-meson (bb¯b \bar b)
baryonsnucleons:
proton (uud)(u u d)
neutron (udd)(u d d)

(also: antiparticles)

effective particles

hadrons (bound states of the above quarks)

solitons

in grand unified theory

minimally extended supersymmetric standard model

superpartners

bosinos:

sfermions:

dark matter candidates

Exotica

auxiliary fields

Differential cohomology

Contents

Idea

The electromagnetic field is is a gauge field which unifies the electric field and the magnetic field. A configuration of the electromagnetic field on a space XX in the absence of magnetic charge is modeled by a cocycle F^\hat F in degree 2 ordinary differential cohomology.

This may be realized in particular equivalently by

In the presence of magnetic charge the electromagnetic field is modeled by a cocycle in differential twisted cohomology, where the twist is given by the differential 3-cocycle that models the magnetic current.

The analogous field modeled by a degree 3 Deligne cocycle is the Kalb-Ramond field.

History

…historical section eventually goes here..

…electricity and magnetism were discovered independently, Maxwell's equations in classical vector analysis which allows the formulation as a tensor FF as below, and “magnetism is a consequence of electrostatics and covariance, hence the composite noun electromagnetism”…

(…)

Mathematical model from physical input

The electromagnetic field is modeled by a circle bundle with connection.

We describe how this identification arises from experimental input.

The input is two-fold

  1. Maxwell’s equations say that (using the experimentally observed absence of net magnetic charge) the field strength of electromagnetism is a closed differential 2-form on spacetime;

  2. The Dirac charge quantization argument shows that in order for the electromagnetic field to serve as the background gauge field to which a charged quantum mechanical particle couples (for instance an electron), it must be true that this 2-form is the curvature 2-form of a circle bundle with connection.

We say this now in more detail.

Maxwell’s equations

We first discuss in Field strength as a closed 2-form how Maxwell's equations state that the electromagnetic field strength is a closed differential 2-form on spacetime

Field strength is a closed 2-form

In modern language, the insight of (Maxwell, 1865) is that locally, when physical spacetime is well approximated by a patch of its tangent space, i.e. by a patch of 4-dimensional Minkowski space U( 4,g=diag(1,1,1,1))U \subset (\mathbb{R}^4, g = diag(-1,1,1,1)), the electric field E=[E 1 E 2 E 3]\vec E = \left[ \array{E_1 \\ E_2 \\ E_3} \right] and magnetic field B=[B 1 B 2 B 3]\vec B = \left[ \array{B_1 \\ B_2 \\ B_3} \right] combine into a differential 2-form – the Faraday tensor

F Edt+B E 1dx 1dt+E 2dx 2dt+E 3dx 3dt +B 1dx 2dx 3+B 2dx 3dx 1+B 3dx 1dx 2 \begin{aligned} F & \coloneqq E \wedge d t + B \\ & \coloneqq E_1 d x^1 \wedge d t + E_2 d x^2 \wedge d t + E_3 d x^3 \wedge d t \\ & + B_1 d x^2 \wedge d x^3 + B_2 d x^3 \wedge d x^1 + B_3 d x^1 \wedge d x^2 \end{aligned}

in Ω 2(U)\Omega^2(U) and the electric charge density and current density combine to a differential 3-form

j el jdtρdx 1dx 2dx 3 j 1dx 2dx 3dt+j 2dx 3dx 1dt+j 3dx 1dx 2dtρdx 1dx 2dx 3 \begin{aligned} j_{el} & \coloneqq j\wedge dt - \rho d x^1 \wedge d x^2 \wedge d x^3 \\ & \coloneqq j_1 d x^2 \wedge d x^3 \wedge d t + j_2 d x^3 \wedge d x^1 \wedge d t + j_3 d x^1 \wedge d x^2 \wedge d t - \rho \; d x^1 \wedge d x^2 \wedge d x^3 \end{aligned}

in Ω 3(U)\Omega^3(U) such that the following two equations of differential forms are satisfied

dF=0 dF=j el, \begin{aligned} d F = 0 \\ d \star F = j_{el} \end{aligned} \,,

where dd is the de Rham differential operator and \star the Hodge star operator. If we decompose F\star F into its components as before as

F =D+Hdt =D 1dx 2dx 3D 2dx 3dx 1D 3dx 1dx 2 +H 1dx 1dt+H 2dx 2dt+H 3dx 3dt \begin{aligned} \star F &= -D + H\wedge dt \\ &= -D_1 \; d x^2 \wedge d x^3 -D_2 \; d x^3 \wedge d x^1 -D_3 \; d x^1 \wedge d x^2 \\ & + H_1 \; d x^1 \wedge d t + H_2 \; d x^2 \wedge d t + H_3 \; d x^3 \wedge d t \end{aligned}

then in terms of these components the field equations – called Maxwell’s equations – read as follows.

dF=0d F = 0

  • magnetic Gauss law: divB=0div B = 0

  • Faraday’s law: ddtB+rotE=0\frac{d}{d t} B + rot E = 0

dF=0d \star F = 0

  • Gauss’ law: divD=ρdiv D = \rho

  • Ampère’s law ddtD+rotH=j el- \frac{d}{d t} D + rot H = j_{el}

Vector potential – as a Cech-Deligne 2-cocycle

By the above, the electromagnetic field strength (in the absence of net magnetic charge) on spacetime XX is given by a 2-form FΩ 2(X)F \in \Omega^2(X) and an electric current 3-form j elΩ 3(X)j_{el} \in \Omega^3(X) satisfying Maxwell’s equations

dF=0 d F = 0
dF=j el d \star F = j_{el}

The first equation with the Poincare lemma implies that one may find

  • on a good open cover of XX by open subsets {U iX}\{U_i \to X\}

  • a collection (A iΩ 1(U)) i(A_i \in \Omega^1(U))_i of differential 1-forms, such that

    dA i=F| U i d A_i = F|_{U_i}
  • and a collection (λ ijC (U iU j),) i,j(\lambda_{i j} \in C^\infty(U_i \cap U_j), \mathbb{R})_{i,j} of real valued functions on double overlaps such that

    A j| U iU jA i| U iU j=dλ ij. A_j|_{U_i \cap U_j} - A_i|_{U_i \cap U_j} = d \lambda_{i j} \,.

The forms {A i}\{A_i\} are called a vector potential or the electromagnetic potential for the electromagnetic field.

Notice that it follows that on triple overlaps U iU jU kU_i \cap U_j \cap U_k we have

dλ ij+dλ jk=dλ ik d \lambda_{i j} + d \lambda_{j k} = d \lambda_{i k}

which means that on that overlap the function

λ ij+λ kjλ ik:U iU jU k \lambda_{i j} + \lambda_{k j} - \lambda_{i k} : U_i \cap U_j \cap U_k \to \mathbb{R}

is constant. If one requires these constants all to be inside a discrete subgroup Γ\Gamma \hookrightarrow \mathbb{R}, then the data ({A i},{λ ijmodΓ})(\{A_i\}, \{\lambda_{i j} mod \Gamma\}) defines a degree 2-cocycle in Cech-Deligne cohomology on XX with coefficients in /Γ\mathbb{R}/\Gamma. Below we see that experiment demands that such a subgroup exists and is given by the additive group of integers.

Kirchhoff’s laws

Kirchhoff's laws are a kind of coarse graining of Maxwell’s equations, where instead of infinitesimal quantities one considers actual macroscopic current and voltage?.

Background gauge field for charge quantum

The exponentiated action functional for the sigma model describing a particle on target space XX charged under an electromagnetic background gauge field has to satisfy two properties:

  1. It must be given by the holonomy of the 1-forms AA (this encodes, via variational calculus, the Lorentz force exerted by the electromagnetic field on the particle ):

    exp(iS()):(S 1γX)exp(iS kin(γ))hol(γ) \exp(i S(-)) : (S^1 \stackrel{\gamma}{\to} X) \mapsto \exp(i S_{kin}(\gamma)) hol(\gamma)
  2. It must take values in the circle group U(1)U(1) (this is a basic rule of the quantum mechanics describing the particle):

    exp(iS):C (S 1,X)U(1). \exp( i S ) : C^\infty(S^1, X) \to U(1) \,.

Therefore the above data is subject to the additional constraint that it induces well-defined U(1)U(1)-valued holonomy – this is Dirac’s quantization condition, a necessary requirement for the existence of quantum mechanical particles on XX that are charged under the background electromagnetic field.

Concretely: for any smooth curve γ:S 1X\gamma : S^1 \to X and any cover {V iS 1}\{V_i \to S^1\} of S 1S^1 refining the pullback of the cover UU to S 1S^1, and for every triangulation {v,e}\{v, e\} of S 1S^1 subordinate to {U iX}\{U_i \to X\}, i.e. such that there is an index map ρ\rho such that γ(e)U ρ(e)\gamma(e) \subset U_{\rho(e)} and γ(v)U ρ(v)\gamma(v) \subset U_{\rho(v)}

the expression

hol(γ) vexp(i vγ *A ρ(v)) eexp(i(1) σ e,vγ *λ ρ(e)ρ(v)(v) hol(\gamma) \coloneqq \prod_v \exp(i \int_{v} \gamma^* A_{\rho(v)}) \prod_{e} \exp(i (-1)^{\sigma_{e,v}} \gamma^*\lambda_{\rho(e) \rho(v)} (v)

(where σ e,v=1\sigma_{e,v} = 1 if vv is the final vertex of ee and 1-1 otherwise)

has to be a well defined element in U(1)U(1) (independent of all the choices made).

This implies in particular that cancelling from the triangulation an edge e ie_i of vanishing length must have no effect on the formula, which in turn means that for all i,j,ki,j,k we have

exp(iγ *λ ij(v ij))exp(iγ *λ jk(v jk))=exp(iγ *λ ik(v ik)) \exp(i \gamma^*\lambda_{i j}(v_{i j})) \exp(i \gamma^*\lambda_{j k}(v_{j k})) = \exp(i \gamma^*\lambda_{i k}(v_{i k}))

and hence

λ ij+λ jk=λ ikmod2π. \lambda_{i j} + \lambda_{j k} = \lambda_{i k} mod 2\pi \,.

In short: the holonomy of the constant path on a point xXx \in X must be 1U(1)1 \in U(1), but if that path sits in a triple intersection U iU jU kU_i \cap U_j \cap U_k then the holonomy is equivalently given as the exponentiated sum of the three transition functions. This forces the sum λ ij+λ jkλ ik\lambda_{i j} + \lambda_{j k} - \lambda_{i k} to land in \mathbb{Z} \hookrightarrow \mathbb{R}.

In total this says precisely that the data

(A i,λ ijmod) (A_i, \lambda_{i j} mod \mathbb{Z})

is a Čech cocycle with coefficients in the degree 2 Deligne complex whose curvature2-form is the given Maxwell curvature 2-form.

Charge quantization

See at Dirac charge quantization.

Dirac’s original argument

under construction

Dirac originally presented the following reasoning, which captures the main point of the above considerations.

He considered XX to be 3\mathbb{R}^3 without the origin,

X 3\{0}, X \coloneqq \mathbb{R}^3 \backslash \{0\} \,,

which is a manifold of the topology of (weakly homotopy equivalent to) the 2-sphere S 2S^2.

He imagined a situation with a magnetic charge supported on the point located at the origin and removed that point in order to keep the field strength FF to be a closed 2-form on all of XX.

(Indeed, if one does not remove the support of magnetic charge, the argument becomes much more sophisticated and involves higher differential cocycles given by bundle gerbes. This was not understood before Dan Freed’s Dirac charge quantization and generalized differential cohomology.)

Then he considered a single coordinate patch

U 3\{x 10}X U \coloneqq \mathbb{R}^3 \backslash \{x^1 \geq 0\} \subset X

given by XX minus the right half of the first coordinate axis.

Traditionally physicist try to give that half-line a physical interpretation by imagining that it is the body of an idealized infinitely-thin and to one side infinitely-long solenoid. Indeed, such a solenoid would have a magnetic monopole charge on each of its ends, so if the one end is imagined to have disappeared to infinity, then the other one is the magnetic charge that Dirac imagines to sit at the origin of our setup.

In this context the half-line {x 10}\{x^1 \geq 0\} is called a Dirac string. While there is the possibility to sensibly discuss the idea that this Dirac string actually models a physical entity like an idealized solenoid, its main purpose historically is to confuse physics students and keep them from understanding the theory of fiber bundles (see at fiber bundles in physics). Therefore here we shall refrain from talking about Dirac strings and consider U 3\{x 10}XU \coloneqq \mathbb{R}^3 \backslash \{x^1 \geq 0\} \subset X as exactly what it is, by itself: an open subset that is part of a cover of XX. Unfortunately, of course, Dirac didn’t mention the other open subsets in that cover (at least one more is needed for a decent discussion), so that the Dirac string keeps haunting physicists.

…running out of time…just quickly now…

…Dirac effectively considered the overlap cocycle condition A jA i=somethingA_j - A_i = something, found that by the requirement that AA has well defined holonomy it follows that there must be g ijg_{ij} a function with values in U(1)U(1) such that A jA i=dlogg ijA_j - A_i = d log g_{ij}, then did away with the jj-patch (considering a kind of limit as we encircle the half axis) and concluded that AA must be the log-differential of a U(1)U(1)-valued function, whose winding number around the half-axis he identified with the magnetic charge, which in terms of bundles one identifies with the Chern-class of the bundle in question …

…have to run…

In modern terms:

The clutching construction gives U(1)U(1)-principal bundle ob S 2S^2 by covering with two hemispheres U 0U_0 and U 1U_1 and picking a transition function g:S 1U(1)g \colon S^1 \to U(1) on the overlap U 0U 1S 1×(0,ϵ)U_0 \cap U_1 \simeq S^1\times (0,\epsilon). The integral winding number of gg represents the first Chern class of the line bundle.

By the standard formula for existence of principal connections on given principal bundles, given a choice of partition of unity {ρ i}\{\rho_i\} then the connection on U 0U_0 is given by

A 0=ρ 1dlogg A_0 = \rho_1 \mathbf{d} log g

If we think (as we may) of U 0=S 2{*}U_0 = S^2 - \{\ast\} as covering most of the 2-sphere except one point and of U 1U_1 the ϵ\epsilon-open neighbourhood of that point, then this A 0A_0 vanishes on most of the sphere and close to the point taken out (“the Dirac string”) it becomes non-vanishing and equal to g 1dgg^{-1}\mathbf{d}g.

Electric-magnetic charge quantization

Suppose we had a circle bundle with connection on a bundle representing an electromagnetic field with net magnetic charge QQ given by some magnetic current j magj_{mag}

dF=j mag d F = j_{mag}

that is supported in some compact spatial region U×XU \times \mathbb{R} \subset X with boundary sphere US 2\partial U \simeq S^2.

q= Uj mag= UdF= UF= S 2F q = \int_U j_{mag} = \int_U dF =\int_{\partial U} F = \int_{S^2} F

by the Stokes theorem. It follows from the fact that FF is the curvature 2-form on a circle bundle that qq is integral: it is given by the first Chern class of the bundle.

(…)

For γ:S 1X\gamma : S^1 \to X a closed but contractible trajectory of an electrically charged particle, the action functional is

exp(ie S 1γ *A)=exp(ie D 2γ *F) \exp(i e \int_{S^1} \gamma^* A ) = \exp(i e \int_{D^2} \gamma^* F)

by the Stokes theorem, for some 2-disk cobounding the circle. If now γ\gamma approaches a constant path and the 2-disk is taken to wrap the 2-cycle U\partial U, then this becomes

1=exp(ie S 2F)=exp(ieq). 1 = \exp(i e \int_{S^2} F) = \exp(i e q) \,.

Which implies that with the magnetic charge being quantized, also the electric charge is.

(…)

References

Maxwell's equations originate in

Dirac's charge quantization argument appeared in

  • P.A.M. Dirac, Quantized Singularities in the Electromagnetic Field, Proceedings of the Royal Society, A133 (1931) pp 60–72.

Review is for instance in

Discussions of the basic geometry behind Maxwell equations can be found in

For undergraduate lectures including experimental material see

The Lorentz-invariants of the electromagnetic field:

  • C. A. Escobar, L. F. Urrutia, The invariants of the electromagnetic field, Journal of Mathematical Physics 55, 032902 (2014) (arXiv:1309.4185)

Last revised on August 31, 2022 at 17:50:31. See the history of this page for a list of all contributions to it.