nLab Gauss law

Redirected from "electric Gauss law".
Contents

Context

Physics

physics, mathematical physics, philosophy of physics

Surveys, textbooks and lecture notes


theory (physics), model (physics)

experiment, measurement, computable physics

Differential cohomology

Contents

Idea

The Gauss law is, originally, one of the equations of motion of electromagnetism, specifically of its electric field-sector, relating the divergence of the electric field to the electric charge density at each point of space. But the name has come to be commonly used also more generally for the corresponding equation of Yang-Mills theory and also for higher gauge theories, all of which are closely similar equations when formulated via differential forms in exterior calculus.

In the Hamiltonian formulation of these theories, the Gauss law appears as a first class constraint on the canonical phase space whose Hamiltonian vector field is that which generates the gauge transformations.

In form analogous to the Gauss law is a dual statement for the magnetic field, accordingly also known as the magnetic Gauss law and as such also part of Maxwell's equations. However, in traditional Hamiltonian phase space-formulation of electromagnetism, where the magnetic but not the electric field is assumed to have a gauge potential, the symmetry between these two laws is broken (the magnetic Gauss law is not a phase space constraint but a differential Bianchi identity implied by the existence of a gauge potential).

Statement

In electromagnetism

In its original form (named after Gauß 1877), the Gauß law of electromagnetism asserts that the total flux of the electric field through any closed surface (in physical space) is proportional to the total electric charge enclosed by that surface, otherwise irrespective of the charge distribution. In its differential form, the Gauss law is part of what later became Maxwell's equations of electromagnetism.

In terms of modern differential geometry, with

the Gauss law in its original integral form states that the last two quantities are proportional to each other:

(1) Σ 2EQ, \textstyle{\int_{\Sigma^2}} E \;\;\propto\;\; Q \,,

with the constant of proportionality depending on conventions but typically being the inverse of the permittivity of the vacuum.

By the Stokes theorem and with

  • ρΩ dR 3(X 3)\rho \,\in\, \Omega^3_{dR}(X^3) denoting a differential 3-form representing the electric charge density, i.e. such that

  • Σ 3ρ=Q\int_{\Sigma^3} \rho \,=\, Q,

  • dE\mathrm{d} E denoting the de Rham differential of the electric flux density, representing its divergence,

the integral law (1) is equivalent to the following differential form of the Gauss law:

(2)dE=ρ. \mathrm{d} E \,=\, \rho \,.

It is in this differential form that the Gauss law is part of the modern form of Maxwell's equations (see their formulation in exterior calculus here).

In Yang-Mills theory

The differential form of the Gauss law (2) generalizes immediately to Yang-Mills theory with gauge Lie algebra mathfrakgmathfrak{g} by enhancing the de Rham differential to the corresponding covariant differential with respect to the given gauge potential.

(…)

In higher gauge theory

The generalization of Gauss laws to higher gauge theory may transparently be understood, in broad generality, by casting the corresponding higher Maxwell-type equations of motion into “duality-symmetric” form (we follow SS23):

Consider:

  • D=1+d 2D = 1 + d \in \mathbb{N}_{\geq 2} the spacetime dimension,

  • X DX^D a DD-dimensional spacetime manifold,

  • with Hodge star-operator on differential forms

    :Ω dR p(X D)Ω dR Dp(X D) \star \,\colon\, \Omega^p_{dR}(X^D) \to \Omega^{D-p}_{dR}(X^D)

    satisfying (see there)

    =(1) p(Dp), \star \, \star = - (-1)^{p(D-p)} \,,
  • ISetI \,\in\, Set an index set of flux species

    (subsuming both electric fluxes and magnetic fluxes, both now allowed of further different species),

  • (deg i 1) iI\big( deg_i \,\in\, \mathbb{N}_{\geq 1} \big)_{i \in I} an indexed set of degrees,

  • F(F (i)Ω dR deg i(X D)) iI\vec F \,\equiv\,\big( F^{(i)} \,\in\, \Omega^{deg_i}_{dR}(X^D) \big)_{i \in I} an indexed set of flux densities

  • P=(P (i)) iI\vec P = \big( P^{(i)} \big)_{i \in I} an indexed set of graded-symmetric polynomials in II variables,

  • μ\vec \mu an invertible I×II \times I-matrix

then:

Definition

The corresponding higher Maxwell-type equations on these differential forms/flux densities are, in duality-symmetric form:

  1. the system of Bianchi identity differential equations

    (3)dF=P(F) \mathrm{d}\,\vec F \,=\, \vec P\big( \vec F \big)
  2. the self-Hodge duality condition

    (4)F=μ(F). \star \, \vec F \,=\, \vec \mu\big(\vec F\big) \,.

To extract a Gauss law from such a system of equations, consider the case that the spacetime X DX^D is globally hyperbolic with associated (by this Prop.) smooth foliation by spacelike Cauchy surfaces X dX^d exhibited by a diffeomorphism:

X D×X d. X^D \,\simeq\, \mathbb{R} \times X^d \,.

This identifies the de Rham differential with the total differential of a double complex of differential forms, bigraded by spatial and by temporal degree:

d=d t+d s,d td t=0,d sd s=0,d sd t=d td s. \mathrm{d} \,=\, \mathrm{d}_t + \mathrm{d}_s \,, \;\;\;\;\; \mathrm{d}_t \circ \mathrm{d}_t \,=\, 0 \,, \;\;\;\;\; \mathrm{d}_s \circ \mathrm{d}_s \,=\, 0 \,, \;\;\;\;\; \mathrm{d}_s \circ \mathrm{d}_t \,=\, - \mathrm{d}_t \circ \mathrm{d}_s \,.

Denoting by

Ω dR p(X D) ι tΩ dR p(X D) ι t \Omega^p_{dR}\big( X^D \big)_{\iota_{\partial_t}} \hookrightarrow \Omega^p_{dR}\big( X^D \big)_{\iota_{\partial_t}}

the kernel of the contraction with the corresponding timelike vector field t\partial_t, every flux density now has a unique decomposition into a summand that has none and a summand that has one factor of dt\mathrm{d}t:

F=B+E,for{B(B (i)Ω dR deg i(X D) ι t=0) E(E (i)Ω dR deg i(X D) ι t=0). \vec F \;=\; \vec B \,+\, \star \vec E \,, \;\;\;\; \text{for} \; \left\{ \, \begin{array}{l} \vec B \,\equiv\, \big( B^{(i)} \in \Omega^{deg_i}_{dR}(X^D)_{\iota_{\partial_t} = 0} \big) \\ \vec E \,\equiv\, \big( E^{(i)} \in \Omega^{deg_i}_{dR}(X^D)_{\iota_{\partial_t} = 0} \big) \,. \end{array} \right.

In terms of these components, the higher Bianchi identities (3) are equivalent to the following system of differential equations:

  • higher Gauss laws

    (5)d sB=P(B) \mathrm{d}_s \, \vec B \;=\; \vec P\big( \vec B \big)
  • higher Faraday-Ampère laws

    (6)d tB=d sE+d s(E (i))δδB (i)P(B). \mathrm{d}_t \, \vec B \;=\; - \mathrm{d}_s \, \star \vec E \,+\, \mathrm{d}_s \, \big(\star E^{(i)}\big) \wedge \frac{\delta}{\delta B^{(i)}} \vec P\big( \vec B \big) \,.

Hence in the duality-symmetric formulation of higher gauge theory, the Gauss law is just the spatial component of the Bianchi identity.

Moreover, one finds that the higher Gauss law (5) is a first class constraint in that it is preserved by the time evolution presribed by the higher Faraday-Ampère law (5), so that the solution space of the higher Maxwell equations is identified with the space of flux densities on any Cauchy surface

ι:X dX D \iota \,\colon\, X^d \hookrightarrow X^D

that satisfy (just) the higher Gauss law:

In examples relevant in practice, the functorial assignment of these canonical solution spaces is representable by the formal dual of a dgc-algebra which embodies the Bianchi identities as abstract dg-algebraic relations:

(7)CE(𝔞)[b(b deg i (i))]/(db=P(b)), CE(\mathfrak{a}) \;\coloneqq\; \mathbb{R}\Big[ \vec b \,\equiv\, \big( b^{(i)}_{deg_i} \big) \Big] \Big/ \Big( \mathrm{d} \vec b \,=\, \vec P(\vec b) \Big) \,,

as

{B(B (i)Ω dR deg i()) iI|dB=P(B)}Hom dgAlg(CE(𝔞),Ω dR ()). \Big\{ \vec B \,\in\, \big( B^{(i)} \,\in\, \Omega^{deg_i}_{dR}(-) \big)_{i \in I} \,\Big\vert\, \mathrm{d}\, \vec B \,=\, \vec P\big(\vec B\big) \Big\} \;\;\; \simeq \;\;\; Hom_{dgAlg}\big( CE(\mathfrak{a}) ,\, \Omega^{\bullet}_{dR}(-) \big) \,.

This is equivalently the Chevalley-Eilenberg algebra of a characteristic L L_\infty -algebra 𝔞\mathfrak{a} (by the discussion there), making the right hand side the flat L L_\infty -algebra valued differential forms:

SolSpaceΩ dR(X d;𝔞) flat, SolSpace \;\simeq\; \Omega_{dR}\big( X^d ;\, \mathfrak{a} \big)_{flat} \,,

with the higher Gauss law being exactly the flatness condition.

Example

(ordinary Gauss law as special case of higher Gauss law)
The ordinary case (above) of the Gauss law in vacuum electromagnetism (ie. with vanishing electric charge density) is obtained from Def. by setting

  • D4D \equiv 4

  • I{el,mag}I \equiv \{el, mag\}

  • P0\vec P \equiv 0

  • μ[0 1 1 0]\vec \mu \equiv \left[\array{ 0 & -1 \\ 1 & 0 }\right].

This gives the electric and magnetic Gauss laws as

  • dB (el)=0\mathrm{d} B^{(el)} \,=\, 0

  • dB (mag)=0\mathrm{d} B^{(mag)} \,=\, 0

where self-duality constraint identifies the elctric flux density equivalently as B (el)=E (mag)B^{(el)} \,=\, E^{(mag)}.

Example

(chiral boson in 2d)
(…)

Example

(RR-fields in D=10 supergravity)
(…)

Example

(C-field in D=11 supergravity)
(…)

References

General

Named after:

  • Carl F. Gauß, Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum, methodo nova tractata, Commentationes Societatis Regiae Scientiarum Göttingensis Recentiores. Comm. Class. Math. 2 (1813) 1–24 [PPN35283028X_0002_2NS]

    reprinted in: Carl Friedrich Gauss – Werke 5, Springer (1877) 2-22 [doi:10.1007/978-3-642-49319-5_1]

For more see any of the references at Maxwell's equations, such as:

See also:

As a phase space constraint

Discussion of the Gauss law as a first-class constraint on phase space:

In Maxwell theory:

In Yang-Mills theory:

In higher gauge theory:

In relation to locality

The Gauss law in relation to non-locality of charged states in quantum field theory:

see also in relation to infraparticles:

Last revised on January 27, 2024 at 15:18:58. See the history of this page for a list of all contributions to it.