In
theoretical physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain, and predict List of natural phenomena, natural phenomena. This is in contrast to experimental p ...
, -form electrodynamics is a generalization of Maxwell's theory of
electromagnetism
In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...
.
Ordinary (via. one-form) Abelian electrodynamics
We have a 1-form
, a
gauge symmetry
:
where
is any arbitrary fixed
0-form and
is the
exterior derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The re ...
, and a gauge-invariant
vector current with
density
Density (volumetric mass density or specific mass) is the ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be u ...
1 satisfying the
continuity equation
:
where
is the
Hodge star operator
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a Dimension (vector space), finite-dimensional orientation (vector space), oriented vector space endowed with a Degenerate bilinear form, nonde ...
.
Alternatively, we may express
as a
closed -form, but we do not consider that case here.
is a
gauge-invariant 2-form defined as the exterior derivative
.
satisfies the equation of motion
:
(this equation obviously implies the continuity equation).
This can be derived from the
action
:
where
is the
spacetime
In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...
.
''p''-form Abelian electrodynamics
We have a -form
, a
gauge symmetry
:
where
is any arbitrary fixed -form and
is the
exterior derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The re ...
, and a gauge-invariant
-vector with
density
Density (volumetric mass density or specific mass) is the ratio of a substance's mass to its volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' (or ''d'') can also be u ...
1 satisfying the
continuity equation
:
where
is the
Hodge star operator
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a Dimension (vector space), finite-dimensional orientation (vector space), oriented vector space endowed with a Degenerate bilinear form, nonde ...
.
Alternatively, we may express
as a
closed -form.
is a
gauge-invariant -form defined as the exterior derivative
.
satisfies the equation of motion
:
(this equation obviously implies the continuity equation).
This can be derived from the
action
: