---
title: 'Maxwell Algebra: Extensions & Applications'
url: https://www.emergentmind.com/topics/maxwell-algebra
type: topic
---

# Maxwell Algebra: Extensions & Applications

Searching arXiv for recent and foundational papers on Maxwell algebra and related applications.
The Maxwell algebra is a Lie algebra obtained by extending the Poincaré algebra with additional tensorial generators so that translations cease to commute. In its standard four-dimensional form, the defining relation is \( [P_a,P_b]=\Lambda Z_{ab} \), with \(Z_{ab}=-Z_{ba}\) transforming as an antisymmetric Lorentz tensor; in three dimensions it is often written in dualized form, with vector generators \(Z_a\) and \( [P_a,P_b]=\epsilon_{abc}Z^c \) [1012.4402]. Historically, this algebra was shown to be the symmetry of a relativistic particle moving in a constant, homogeneous electromagnetic background, and it has since become a recurrent structure in gauge gravity, Chern–Simons theories, supersymmetric extensions, asymptotic symmetry analysis, topological phases of matter, and cosmological model building [2208.06641].

## 1. Algebraic definition and dimensional realizations

In \(D=4\), the Maxwell algebra enlarges the Poincaré generators \(P_a\) and \(M_{ab}=-M_{ba}\) by six antisymmetric tensorial generators \(Z_{ab}\), so that the four-dimensional algebra has 16 generators [1201.2850]. Its defining commutators are
\[
[P_a,P_b]=\Lambda Z_{ab},\qquad [P_a,Z_{cd}]=0,\qquad [Z_{ab},Z_{cd}]=0,
\]
together with the standard Lorentz brackets and the Lorentz action on \(P_a\) and \(Z_{ab}\),
\[
[M_{ab},P_c]=\eta_{bc}P_a-\eta_{ac}P_b,\qquad
[M_{ab},Z_{cd}]=-\left(\eta_{c[a}Z_{b]d}-\eta_{d[a}Z_{b]c}\right).
\]
Because \(Z_{ab}\) commute with translations and among themselves but transform nontrivially under Lorentz, the extension is non-central rather than central [1012.4402].

In structural terms, one convenient description is
\[
\mathcal M = I \rtimes \mathfrak{so}(1,3),\qquad I=\{P_a,Z_{ab}\},
\]
with \(I\) an Abelian extension of the translation algebra by tensorial charges [1012.4402]. The physical meaning attached to \(Z_{ab}\) in the literature is that they encode a constant electromagnetic background directly in the spacetime symmetry algebra rather than as an independent internal \(U(1)\) factor [1201.2850].

In \(2+1\) dimensions, dualization replaces \(Z_{ab}\) by a Lorentz vector \(Z_a\), and the algebra is commonly written as
\[
[J_a,J_b]=\epsilon_{abc}J^c,\quad
[J_a,P_b]=\epsilon_{abc}P^c,\quad
[J_a,Z_b]=\epsilon_{abc}Z^c,\quad
[P_a,P_b]=\epsilon_{abc}Z^c,
\]
with \([P_a,Z_b]=[Z_a,Z_b]=0\) [1610.04734]. This form is especially useful in Chern–Simons gravity and in condensed-matter applications, where the non-commutativity of translations can be identified with magnetic translations.

A compact comparison of the most frequently used realizations is as follows.

| Setting | Extra generators | Hallmark relation |
|---|---|---|
| \(D=4\) Maxwell algebra | \(Z_{ab}=-Z_{ba}\) | \([P_a,P_b]=\Lambda Z_{ab}\) |
| \(D=3\) dual form | \(Z_a\) | \([P_a,P_b]=\epsilon_{abc}Z^c\) |
| Semi-simple deformation | non-Abelian \(Z_{ab}\) sector | \([Z_{ab},Z_{cd}]\propto Z\), \([Z_{ab},P_c]\propto P\) |

The semi-simple deformation, often described as a generalized AdS algebra or \(\mathrm{AdS}\mathcal L_4\), preserves the same generator content \(\{M_{ab},P_a,Z_{ab}\}\) but makes the \(Z_{ab}\) sector non-Abelian and introduces \([Z_{ab},P_c]\neq 0\) [2208.06641].

## 2. Origins, contractions, deformations, and hierarchies

The original physical origin of the Maxwell algebra is the relativistic particle in a constant electromagnetic field. In that setting, the commutator of momenta encodes the constant field strength, and the algebra provides a covariant replacement for a symmetry algebra that would otherwise depend explicitly on a fixed background tensor [0906.4464]. A standard Maxwell-invariant particle model on an extended space with coordinates \((x^a,\theta^{ab})\) reproduces the Lorentz force law, with the auxiliary tensor \(f_{ab}\) becoming constant on shell [0906.4464].

Algebraically, the Maxwell algebra can be obtained by contraction of \(O(D-1,1)\oplus O(D-1,2)\), or in \(D=4\) of \(O(3,1)\oplus O(3,2)\), by suitable linear combinations and rescalings of Lorentz and AdS generators followed by an \(R\to\infty\) limit [1111.3598]. An equivalent constructive route uses abelian semigroup expansion: the \(S\)-expansion of \(\mathfrak{so}(3,2)\) leads directly to the Maxwell algebra \(\mathcal M\), and the same method extends naturally to Maxwell superalgebras [1405.1334].

Deformation theory gives a sharp dimensional distinction. In \(D=d+1\neq 3\) there is only a one-parameter deformation, with deformed algebra isomorphic to \(so(d+1,1)\oplus so(d,1)\) or \(so(d,2)\oplus so(d,1)\) depending on the sign of the deformation parameter. In \(D=2+1\), by contrast, deformations depend on two parameters \(b\) and \(k\), and the \((b,k)\)-plane splits into regions isomorphic to \(so(3,1)\oplus so(2,1)\), \(so(2,2)\oplus so(2,1)\), and a critical curve isomorphic to \(Iso(2,1)\oplus so(2,1)\) [0906.4464].

A distinct family of Maxwell-like algebras, denoted \(D_m\), is obtained by an alternative choice of closing relations. Through a suitable change of basis, these algebras become direct sums
\[
D_m \cong so(d-1,2)\oplus B_{m-2},
\]
so that, for example, \(D_5\cong \mathrm{AdS}\oplus\) Poincaré and \(D_6\cong \mathrm{AdS}\oplus\) Maxwell [1601.06443].

Beyond finite extensions, the free-Lie-algebra perspective identifies an infinite hierarchy. The algebra called Maxwell\(_\infty\) is
\[
\mathrm{Maxwell}_\infty=\mathfrak{so}(1,D-1)\ltimes f,
\]
with \(f\) the free Lie algebra generated by translations \(P_a\). In this description, the ordinary Maxwell algebra is just the first nontrivial truncation, and higher levels contain mixed-symmetry generators such as \(Y_{ab,c}\) and higher tensors relevant for electromagnetic gradients and multipole backreaction [1705.05854]. A recent semigroup-expansion treatment extends this logic to the Bacry–Lévy-Leblond kinematical cube and produces a Maxwellian kinematical cube together with an infinite hierarchy of generalized kinematical algebras \(\mathfrak B_k\) [2602.21038].

## 3. Gauging the algebra and gravitational theories

Gauging the Maxwell algebra introduces a Lie-algebra-valued connection
\[
h=e^a P_a+\tfrac12\,\omega^{ab}M_{ab}+\tfrac12\,A^{ab}Z_{ab},
\]
where \(e^a\) is the vierbein, \(\omega^{ab}\) the spin connection, and \(A^{ab}\) six new Abelian gauge fields associated with the tensorial charges [1012.4402]. The curvature decomposes into torsion \(T^a\), Lorentz curvature \(R^{ab}\), and Maxwell curvature
\[
F^{ab}=DA^{ab}+\Lambda e^a\wedge e^b,
\]
so the term \(\Lambda e^a\wedge e^b\) is the direct geometric imprint of the non-commuting translations [1012.4402].

A Maxwell-invariant gravitational action can then be built from invariant four-forms involving \(R^{ab}\) and \(F^{ab}\). In the simplest model, the Einstein–Hilbert term arises from \(R\wedge F\), while a generalized cosmological term arises from \(F\wedge F\); the latter contains the standard cosmological term plus additional contributions involving \(A^{ab}\) and \(DA^{ab}\) [1012.4402]. In the shifted-connection formulation, \(\omega^{ab}_e=\omega^{ab}-\mu A^{ab}\), Maxwell gravity can be recast as Einstein–Cartan gravity with a non-Riemannian connection, zero non-metricity, and torsion induced by the Maxwell gauge fields [1012.4402].

In the AdS-Maxwell case, gauging the negative-cosmological-constant counterpart of the Maxwell algebra and formulating the theory as a constrained BF model leads instead to Einstein–Cartan gravity with Holst term, while the gauge fields \(h^{ab}\) associated with the Maxwell generators enter only through topological invariants and do not affect the local dynamical equations [1107.4728]. This result contrasts with the generalized-cosmological-term construction and shows that the dynamical role of Maxwell gauge fields depends sensitively on the choice of action principle.

The same extension mechanism also applies to larger spacetime symmetry groups. The Maxwell-affine algebra extends \(A(4,\mathbb R)=GL(4,\mathbb R)\ltimes T_4\) by antisymmetric generators \(Z_{ab}\), retains \([P_a,P_b]=iZ_{ab}\), and allows both first-order and second-order gauge-invariant actions. For the action second order in affine curvature, the equations of motion lead to the generalized Bianchi identities on the choice of appropriate coefficients for a particular solution of the constraint equation [1503.09003].

## 4. Supersymmetric and infinite extensions

The minimal \(N=1\), \(D=4\) superMaxwell algebra enlarges super-Poincaré by adjoining the Maxwell tensorial charges \(Z_{\mu\nu}\) and an additional Majorana spinor \(\Sigma_\alpha\). Its characteristic relations are
\[
\{Q_\alpha,Q_\beta\}=2(C\gamma^\mu)_{\alpha\beta}P_\mu,\qquad
[P_\mu,Q_\alpha]=-i(\gamma_\mu)_\alpha{}^\beta\Sigma_\beta,
\]
and
\[
\{Q_\alpha,\Sigma_\beta\}
=\tfrac12(C\gamma^{\mu\nu})_{\alpha\beta}Z_{\mu\nu}
+(C\gamma_5)_{\alpha\beta}B,
\]
with possible additional scalar and chiral generators \(B\) and \(B_5\) [0911.5072]. This superalgebra describes the symmetries of generalized \(N=1\), \(D=4\) superspace in the presence of a constant Abelian SUSY field-strength background, and it admits a \(\kappa\)-invariant massless superparticle realization [0911.5072].

A systematic classification of \(D=4\) \(N\)-extended Maxwell superalgebras follows from contractions of
\[
OSp_{\mathbb R}(2N-k;2|\mathbb C)\oplus OSp(k;4),\qquad k=1,\dots,2N.
\]
For fixed \(N\), this produces \(2N\) distinct superextensions of the Maxwell algebra, with \(n\)-extended Poincaré superalgebras for \(1\le n\le N\) and internal symmetry sectors obtained by suitable contractions of \(O_{\mathbb R}(2N-k|\mathbb C)\oplus O(k)\) [1111.3598]. In particular, for \(N=1\) the cases \(k=1,2\) yield two different versions of the simple Maxwell superalgebra [1111.3598].

The same structures admit an \(S\)-expansion derivation. Different choices of abelian semigroups \(S\) applied to \(\mathfrak{osp}(4|N)\) reproduce the minimal Maxwell superalgebra \(s\mathcal M\), its \(N\)-extended counterpart \(s\mathcal M^{(N)}\), and an infinite family \(s\mathcal M_{m+2}\) with corresponding \(N\)-extended generalizations [1405.1334]. This route is useful because the \(S\)-expansion framework also provides invariant tensors needed in Chern–Simons and Born–Infeld constructions [1405.1334].

At the opposite end of the extension spectrum, Maxwell\(_\infty\) organizes all tensorial higher-level commutators of translations into a free Lie algebra generated by \(P_a\). Truncations of this infinite algebra give Maxwell\(_\ell\), while other quotients encode unfolded Maxwell fields or multipole corrections to particle motion in electromagnetic backgrounds [1705.05854].

## 5. Three-dimensional Chern–Simons theories and asymptotic symmetry

In three dimensions, the Maxwell algebra is especially natural as a Chern–Simons gauge algebra. The gauge connection
\[
A=e^aP_a+\omega^aJ_a+\sigma^aZ_a
\]
contains the dreibein \(e^a\), spin connection \(\omega^a\), and a gravitational Maxwell field \(\sigma^a\) [1805.08834]. With an invariant tensor determined by three couplings \(\alpha_0,\alpha_1,\alpha_2\), the Chern–Simons action contains a Lorentz Chern–Simons term, the Einstein–Hilbert term, a torsional interaction, and a coupling \(2\alpha_2 R^a\sigma_a\) between curvature and the Maxwell field [1805.08834]. For \(\alpha_2\neq 0\), the equations of motion reduce to
\[
T^a=0,\qquad R^a=0,\qquad D\sigma^a+\tfrac12\epsilon^{abc}e_be_c=0,
\]
so the geometry is torsionless and locally flat, but the Maxwell field remains nontrivial [1805.08834].

The asymptotic symmetry algebra of this theory is an enlargement and deformation of \(\mathfrak{bms}_3\). In Fourier modes it is generated by \(\mathcal J_m,\mathcal P_m,\mathcal Z_m\) and obeys
\[
i\{\mathcal P_m,\mathcal P_n\}=(m-n)\mathcal Z_{m+n}+\frac{c_3}{12}m^3\delta_{m+n,0},
\]
together with the usual \(\mathfrak{bms}_3\)-type brackets involving \(\mathcal J_m\), and three independent central charges
\[
c_1=12k\alpha_0,\qquad c_2=12k,\qquad c_3=12k\alpha_2
\]
[1805.08834]. The finite Maxwell algebra is recovered as the subalgebra generated by modes \(m=0,\pm1\) [1805.08834].

The infinite-dimensional extension, denoted \(\mathfrak{Max}_3\), was later studied from the viewpoint of rigidity and stability. Its formal deformations include \( \mathfrak{bms}_3\oplus \mathrm{witt}\), \( \mathrm{witt}\oplus \mathrm{witt}\oplus \mathrm{witt}\), and two continuous families \(M(a,b;c,d)\) and \(M(\bar\alpha,\bar\beta;\bar\nu)\); at the special point \(M(0,-\tfrac12;0,0)\), the resulting algebra is the twisted Schrödinger–Virasoro algebra [1909.12827]. This identifies the Maxwell algebra as a finite-dimensional anchor in a broader web of asymptotic and nonrelativistic symmetry algebras.

## 6. Applications in topological phases and cosmology

A condensed-matter application appears in the geometric description of the gapped boundary of a three-dimensional topological insulator in an external magnetic field. In that setting, the boundary supports relativistic quantum Hall states and is described by a Chern–Simons theory whose gauge connection takes values in the Maxwell algebra [1610.04734]. The reason is that the relevant symmetry is not ordinary translation invariance but magnetic translation invariance. For a constant magnetic field \(B\), the magnetic-translation generators satisfy
\[
[K_a,K_b]=\frac{i}{\ell^2}\epsilon_{ab},
\]
and this structure is reproduced by the spatial Maxwell commutator
\[
[P_a,P_b]=\epsilon_{ab}Z^0
\]
through the identifications \(P_a\equiv \ell K_a\) and \(Z^0\equiv i\) [1610.04734].

Gauging the Maxwell algebra in this \(2+1\)-dimensional setting leads to a connection
\[
\mathcal A_\mu=\frac1\beta e_\mu{}^aP_a+\omega_\mu{}^aJ_a+\widehat A_\mu{}^a Z_a,
\]
and to a Chern–Simons action containing a term
\[
\widehat A\wedge (R+\varrho_4 e\wedge e),
\]
which provides a relativistic Wen–Zee–type coupling between the electromagnetic sector and geometry [1610.04734]. After identifying \(\widehat A_\mu^0\equiv A_\mu\), the model reproduces the standard Hall law
\[
\mathcal J^i=\frac{1}{2\pi}\epsilon^{ik}E_k,
\]
while \(\mathcal J^0=\frac1{2\pi}(B+B_0)\) with \(B_0=-1/(24\pi\eta^2)\), relating the effective constant background field to torsional Hall viscosity [1610.04734]. The same construction is compatible with AdS\(_3\)/CFT\(_2\) holography and yields a dual chiral CFT with chiral central charge \(c=1\) [1610.04734].

Cosmological applications arise when the semi-simple extended Poincaré algebra is gauged as a Maxwell gravity theory. In a spatially flat FLRW universe, the Maxwell gauge field \(B_\mu^{ab}\) can be parametrized by two time-dependent scalars \(\psi(t)\) and \(\zeta(t)\) through
\[
B_\mu^{0s}=(0,\delta_i^s\psi(t)),\qquad
B_\mu^{rs}=(0,\epsilon_i^{rs}\zeta(t)),
\]
which preserves homogeneity and isotropy [2208.06641]. The resulting Friedmann equations contain new contributions, and the acceleration equation becomes
\[
\frac{\ddot a}{a}=\frac{\mu\,\dot\psi}{a}+\Lambda.
\]
Thus the Maxwell sector behaves as an effective fluid whose equation of state is determined dynamically by \(\psi\) and \(\zeta\), while the cosmological constant is fixed algebraically by \(\Lambda=\lambda\mu\) [2208.06641]. For exponential expansion \(a(t)=a_0 e^{ht}\), exact expressions for \(\psi(t)\) and \(\zeta(t)\) can be written explicitly, and in the minimal Maxwell case \((\alpha=0)\) the homogeneous and isotropic solutions reduce to either \(a(t)=e^{\pm\sqrt{\Lambda}(t-C_1)}\) or \(a(t)=C_1 t+C_2\), so the model yields only (anti) de Sitter or non-accelerated universes in that sector [2208.06641].

Taken together, these applications show that the Maxwell algebra serves as a symmetry principle for constant electromagnetic backgrounds, but also as a device for geometrizing magnetic translations, organizing tensorial extensions of spacetime symmetry, and constructing gauge theories in which geometry, background fields, and response coefficients are encoded in a single enlarged algebraic structure.

Source: https://www.emergentmind.com/topics/maxwell-algebra