Abstract
This paper studies the relativistic angular momentum for the generalized electromagnetic field, described by r-vectors in (k, n) space-time dimensions, with exterior-algebraic methods. First, the angular-momentum tensor is derived from the invariance of the Lagrangian to space-time rotations (Lorentz transformations), avoiding the explicit need of the canonical tensor in Noether’s theorem. The derivation proves the conservation law of angular momentum for generic values of r, k, and n. Second, an integral expression for the flux of the tensor across a \((k+n-1)\)-dimensional surface of constant \(\ell \)-th space-time coordinate is provided in terms of the normal modes of the field; this analysis is a natural generalization of the standard analysis of electromagnetism, i. e. a three-dimensional space integral at constant time. Third, a brief discussion on the orbital angular momentum and the spin of the generalized electromagnetic field, including their expression in complex-valued circular polarizations, is provided for generic values of r, k, and n.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction: preliminaries, notation, and main results
1.1 Generalized Maxwell equations
For a given natural number r, the generalized Maxwell field \(\mathbf{F }({{\mathbf {x}}})\) and source density \({\mathbf{J}}({{\mathbf {x}}})\) are characterized by multivector fields of respective grades r and \(r-1\) at every point \({{\mathbf {x}}}\) of a flat (k, n)-space-time with k temporal and n spatial dimensions [1, Sect. 3]. For any \(0 \le s \le k+n\), grade-s multivectors belong to a vector space with basis elements \({{\mathbf {e}}}_I\), where I is an ordered list of s non-repeated space-time indices; we represent space-time indices by Latin letters. We denote by \(\mathcal {I}_s\) the set of all such ordered lists of s space-time indices; we let \(I_0 = \emptyset \) and we write \({\mathcal {I}}\) for \({\mathcal {I}}_1\). Let \(\varDelta _{II} = {{\mathbf {e}}}_I\cdot {{\mathbf {e}}}_I\) for \(I\in \mathcal {I}_s\) be the space-time metric, where \(\cdot \) denotes the dot product [1, Eqs. (12)–(13)]. The temporal (resp. spatial) basis elements are \({{\mathbf {e}}}_0\) to \({{\mathbf {e}}}_{k-1}\) (resp. \({{\mathbf {e}}}_k\) to \({{\mathbf {e}}}_{k+n-1}\)) and have metric \(-1\) (resp. \(+1\)). The generalized Maxwell equations for arbitrary r, k, and n are the following pair of coupled differential equations:
in units such that \(c = 1\). The interior derivative (or divergence), expressed with the left interior product ( ) in (1), and the exterior derivative, expressed in terms of the wedge product ( \(\wedge \)) in (2), are both defined in [1, Sect. 2] or [2, Sect. 2] and the operator \({\varvec{\partial }}\) is given by \(\smash {{\varvec{\partial }}= \sum _{i\in \mathcal {I}}\varDelta _{ii}\partial _i}\). For \(r = 2\), \(k = 1\), and \(n = 3\), Eqs. (1)–(2) coincide with the standard Maxwell equations, with the identification of \(\mathbf{F }\) as the (antisymmetric) Faraday tensor of the electromagnetic field, in contravariant form and \({\varvec{\partial }}\) the four-gradient [3, Ch. 4], [4, Ch. 11].
The Maxwell equations can be derived by an application of the principle of stationary action [5, Ch. 19], [3, Sect. 8]. For a field theory, the action is a quantity given by the integral over a \((k+n)\)-dimensional space-time of a scalar Lagrangian density \({\mathcal {L}}({{\mathbf {x}}})\). For generalized electromagnetism, the basic field in this formulation is taken to be the vector potential \({\mathbf{A}}({{\mathbf {x}}})\), a multivector field of grade \(r-1\), such that
The Lagrangian density \({\mathcal {L}}\) is expressed in terms of the multivector dot (scalar) product [1, Sect. 2] as the sum of two terms: a free-field density, \({\mathcal {L}}_\text {em} = \frac{(-1)^{r-1}}{2}\mathbf{F }\cdot \mathbf{F }\), and an interaction term, \( {\mathcal {L}}_\text {int} = {\mathbf{J}}\cdot {\mathbf{A}}\), that is
The Euler–Lagrange equations for the Lagrangian density \({\mathcal {L}}\) in (4) give indeed the Maxwell equation (1) as vector derivatives of \({\mathcal {L}}\) with respect to the potential \({\mathbf{A}}\) and its exterior derivative , namely [6, Sect. 3.2]
If we replace the potential \({\mathbf{A}}\) by a new field \({\mathbf{A}}' = {\mathbf{A}}+ {\bar{{\mathbf{A}}}} + {\varvec{\partial }}\wedge {\mathbf{G}}\), where \({\bar{{\mathbf{A}}}}\) is a constant \((r-1)\)-vector and \({\mathbf{G}}\) is an \((r-2)\)-vector gauge field, the homogenous Maxwell equation (2) is unchanged [1, Sect. 3]. For a given Maxwell field, there is therefore some unavoidable (gauge) ambiguity on the value of the vector potential if \(r \ge 2\). Of special interest for this work are the Coulomb-\(\ell \) gauge and the Lorenz gauge. For a space-time index \(\ell \), let us define the differential operator \(\smash {{\varvec{\partial }}_{{\bar{\ell }}} = \sum _{i\in \mathcal {I}}\varDelta _{ii}\partial _i}\). In the Coulomb-\(\ell \)-gauge, the following two conditions are imposed:
In classical electromagnetism, setting \(\ell = 0\) recovers the Coulomb or radiation gauge. In the Coulomb-\(\ell \) gauge, it also holds that . In the less restrictive Lorenz gauge, it simply holds that
The multivectorial equation in (8) has \(\smash {\left( {\begin{array}{c}k+n\\ r-2\end{array}}\right) }\) components, i. e. a scalar equation for \(r = 2\).
1.2 Energy–momentum tensor and Lorentz force
Energy–momentum can be transferred from the field to the source through a process modelled as a force acting on the source. The generalized Lorentz force density \({{\mathbf {f}}}\) is a grade-1 vector with \(k+n\) components given by [1, Sect. 4]
The volume integral of the Lorentz force density \({{\mathbf {f}}}\) over a \((k+n)\)-dimensional hypervolume \(\mathcal {V}^{k+n}\) quantifies the transfer of energy–momentum to the source in that volume. The conservation law relating the Lorentz force (9) and the stress–energy–momentum tensor \(\mathbf {T}_\text {em}\) of the free Maxwell field \(\mathbf{F }\) is given by [1, Sect. 4], [7, Sect. 4.3],
where \(\mathbf {T}_\text {em}\) is a symmetric rank-2 tensor for all values of r, k, and n. In analogy to the (antisymmetric) multivector basis elements \({{\mathbf {e}}}_{I}\), we denote the rank-s symmetric-tensor basis elements by \({{\mathbf {u}}}_I\), where \(I\in \mathcal {J}_s\) is an ordered list of s, possibly repeated, space-time indices and \(\mathcal {J}_s\) denotes the set of all such lists. The interior derivative (divergence) is computed according to the interior product [7, Eq. (25)], and indeed satisfies (10), cf. [7, Eq. (40)].
The tensor \(\mathbf {T}_\text {em}\) is expressed in terms of the \(\odot \) and tensor products [7, Sect. 2.4]. Given two multivectors \(\mathbf {a}\) and \(\mathbf {b}\) of the same grade s, the \(\mathbf {a}\odot \mathbf {b}\) and are two rank-2 tensors [7, Sect. 2.4] with basis elements \(\mathbf {w}_{ij} = {{\mathbf {e}}}_i\otimes {{\mathbf {e}}}_j\) and respective (i, j)-th components given by
where \(\varDelta _{ii}\) and \(\varDelta _{jj}\) are the space-time metric defined previously. In general, neither \(\mathbf {a}\odot \mathbf {b}\) nor are symmetric; however, the sum is symmetric in its components [7, Sect. 2.4]. For all values of r, k, and n, the tensor \(\mathbf {T}_\text {em}\) is expressed in terms of the \(\odot \) and tensor products [1, Sect. 4.2], [7, Sect. 4.3], as
The diagonal, \(T^\text {em}_{ii}\), and off-diagonal, \(T^\text {em}_{ij}\) with \(i < j\), components of \(\mathbf {T}_\text {em}\) are explicitly given by [7, Eqs (38)–(39)]
where for two disjoint lists I and J of non-repeated space-time indices, \(\sigma (I,J)\) is the signature of the permutation that sorts the concatenated list (I, J), and \(\varepsilon (I,J)\) is the sorted concatenated list (I, J). If the lists I and J are not disjoint, we adopt the convention that \(\sigma (I,J) = 0\).
For later use, let us define the product between basis elements \({{\mathbf {e}}}_i\) and \({{\mathbf {u}}}_{I}\), \(I = (i_1,i_2)\in \mathcal {J}_2\) as
Here, I! denotes the set of all permutations (not necessarily ordered) of I, and \(I^\pi = (i_1^\pi ,i_2^\pi )\) denotes one such permuted list. The condition \(i_2^\pi \ne i\) is implicitly enforced by the permutation signature \(\sigma (i,i_2^\pi )\).
Both the conservation law (10) and the formula for the symmetric tensor \(\mathbf {T}_\text {em}\) (13) can be derived by exterior-algebraic methods from the invariance of the free-field action with density \({\mathcal {L}}_\text {em}\) to infinitesimal space-time translations [7]. This exterior-algebraic derivation directly gives a symmetric tensor, without recurring to the Belinfante–Rosenfeld procedure to symmetrize the canonical tensor that appears in a standard application of Noether’s theorem to the invariance of the action [8,9,10, Sect. 3.2], [11, Sect. 2.5]. In Sect. 2 of this paper, we show how a formula for the relativistic angular-momentum tensor can be derived by exterior-algebraic methods from the invariance of the action for the free field with density \({\mathcal {L}}_\text {em}\) to infinitesimal space-time rotations.
Generalizing the usual electromagnetic analysis of flux as a three-dimensional space integral at constant time, the energy–momentum flux \(\smash {\varvec{\varPi }^{\ell }}\) across the \((k+n)\)-dimensional half space-time \(\mathcal {V}_\ell ^{k+n}\) of fixed \(\ell \)-th space-time coordinate \(x_\ell \), for \(\ell \in \{0,\dotsc ,k+n-1\}\), can be expressed in terms of the transverse normal modes of the field [1, Eq. (86)] as a multidimensional integral over \({\varvec{\varXi }}_\ell \), the set of values of \({\varvec{\xi }}_{{\bar{\ell }}}\) for which \(\varDelta _{\ell \ell } {\varvec{\xi }}_{{\bar{\ell }}}\cdot {\varvec{\xi }}_{{\bar{\ell }}} \le 0\), where \({\varvec{\xi }}_{{\bar{\ell }}} = {\varvec{\xi }}- \xi _\ell {{\mathbf {e}}}_\ell \), namely
where \(\,\mathrm {d}\xi _{\ell ^c}\) is an infinitesimal element [2, Sect. 3.1] along all coordinates except the \(\ell \)-th, the frequency \(\chi _\ell \) is given by \(\chi _\ell = +\sqrt{-\varDelta _{\ell \ell } {\varvec{\xi }}_{{\bar{\ell }}}\cdot {\varvec{\xi }}_{{\bar{\ell }}}}\), and \({\varvec{\xi }}_{{\bar{\ell }},+}= {\varvec{\xi }}_{{\bar{\ell }}} + \chi _\ell {{\mathbf {e}}}_\ell \); the complex-valued normal field components are denoted by \(\smash {{\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},+})}\). In Sect. 3 of this paper, we provide an analogous formula for the angular-momentum flux and its split into center-of-motion, orbital angular momentum, and spin components, as described in the next section.
1.3 Relativistic angular momentum: background and summary of main results
In classical mechanics, the angular momentum \({{\mathbf {L}}}\) is an axial vector (or pseudovector) with three spatial components. The relativistic angular momentum \({\varvec{\varOmega }}\) is an antisymmetric tensor of rank 2, or a bivector, that combines the angular momentum \({{\mathbf {L}}}\) and the polar vector \({\mathbf {N}}\) for the velocity of the center-of-mass (also known as moment of energy). In fact, the way \({\varvec{\varOmega }}\) is constructed is the same as the way the electromagnetic field bivector \(\mathbf{F }\) is constructed from the axial magnetic field and the polar electric field, that is \({\varvec{\varOmega }}= {{\mathbf {e}}}_0\wedge {\mathbf {N}}+ {{\mathbf {L}}}^{\mathcal {H}}\) [1, Sect. 3.1], where \({{\mathbf {L}}}^{\mathcal {H}}\) is the spatial Hodge dual of \({{\mathbf {L}}}\) [1, Eq. (18)], i. e. the bivector corresponding to the axial vector. In (k, n)-space-time, relativistic angular momentum \({\varvec{\varOmega }}\) is a grade-2 multivector with \(\smash {\left( {\begin{array}{c}k+n\\ 2\end{array}}\right) }\) components.
In analogy to energy–momentum, a conservation law relates the transfer of angular momentum over a \((k+n)\)-dimensional hypervolume \(\mathcal {V}^{k+n}\) to the divergence of an angular-momentum tensor \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) with rotation center \(\varvec{\alpha }\). In contrast to \(\mathbf {T}_\text {em}\), the basis elements of \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) are of the form \(\mathbf {w}_{i,I} = {{\mathbf {e}}}_{i}\otimes {{\mathbf {e}}}_{I}\), where \(i \in \mathcal {I}\) and \(I \in \mathcal {I}_2\). For classical electromagnetism, with \(r = 2\), \(k = 1\), and \(n = 3\), this tensor is given in contravariant form as [4, Sect. 12.10.B]
where \(T^{\alpha \beta }\) are the components of the symmetric stress–energy–momentum tensor. In our notation, \(T^{\alpha \beta } = T^\text {em}_{\varepsilon (\alpha ,\beta )}\). The vectors \({{\mathbf {L}}}\) and \({\mathbf {N}}\) are given by volume integrals of some appropriate functions of \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\). For instance, for \(\varvec{\alpha }= 0\), the spatial angular momentum vector \({{\mathbf {L}}}\) of the electromagnetic field is given [4, Prob. 7.27] in terms of the standard cross-product of the spatial position vector \({{\mathbf {x}}}\) and electric and magnetic fields \({{\mathbf {E}}}\) and \({{\mathbf {B}}}\) by:
Since the spatial relativistic angular momentum bivector is the space-Hodge-dual \({{\mathbf {L}}}^{\mathcal {H}}\), using [1, Eq. (36)] we have
Moreover, the j-th component of the Poynting vector \({{\mathbf {E}}}\times {{\mathbf {B}}}\) coincides with \(T^\text {em}_{ij}\) in (15), with \(i = 0\),
where we have used that \(r = 2\) to rewrite L as \(m \in \mathcal {I}\), that \(\varDelta _{mm} = 1\) for the spatial indices, and that \(\sigma (m,0) = -1\) for any spatial m, as well as the definition of the cross-product \({{\mathbf {E}}}\times {{\mathbf {B}}}\). The (i, j)-th component of \({{\mathbf {L}}}^{\mathcal {H}}\) in (19) is thus given by the volume integral of the quantity
which in turn can be identified with the component in \(\mathbf {w}_{0,ij}\) of the product defined in (16). In Sect. 2, we prove that this is no coincidence, and that in general it holds that
The proof is built on the principle of invariance of the action to infinitesimal space-time rotations around \(\varvec{\alpha }\).
In Sect. 3, we provide a formula for the relativistic angular momentum \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }\) of the generalized electromagnetic field, including \({{\mathbf {L}}}\) and the center-of-mass velocity \({\mathbf {N}}\), for any values of k, n, and r, as the flux of the tensor \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) across a \((k+n-1)\)-dimensional surface of constant \(\ell \)-th space-time coordinate (Eqs (58) and (63)), for any \(\ell \),
where the flux integral is carried out with respect to the inverse Hodge of the infinitesimal element \(\,\mathrm {d}{{\mathbf {x}}}^{{\scriptscriptstyle \mathcal {H}^{-1}}}\) [2, Eq. (19]. The total angular momentum \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }\) can be decomposed as \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }= {\mathbf {N}}^{\ell }+ {\mathbf {L}}^{\ell }+ {\mathbf {S}}^{\ell }-\varvec{\alpha }\wedge \varvec{\varPi }^{\ell }\), i. e. the center-of-mass component \({\mathbf {N}}^{\ell }\), the orbital angular momentum \({\mathbf {L}}^{\ell }\), and the spin \({\mathbf {S}}^{\ell }\). In terms of the transverse normal modes of the field, evaluated in the Coulomb-\(\ell \) gauge, these three terms are, respectively, expressed (cf. Eqs (74)–(76)), as
where cc stands for the complex conjugate. Expressions for the bivector components of \({\mathbf {L}}^{\ell }\) and \({\mathbf {S}}^{\ell }\) are given in (77) and (80). Of special interest are the circular-polarization-basis formulas for the orbital angular momentum and the spin, respectively given in (87) and (85). For the standard electromagnetic field, the spatial components of the orbital angular momentum and spin in (28)–(29), computed for \(\ell = 0\), \(r = 2\), \(k = 1\), and \(n = 3\), coincide with the well-known values [12, Eq. (16) in B\(_\text {I}\).2], respectively given in vector notation, rather than as a bivector, by
By construction, the components of the angular momentum and spin bivectors that include the index \(\ell \) are zero.
The feasibility of the separation of angular momentum into orbital and spin parts in a gauge-invariant manner, as well as its possible operational meaning, have been subject to some discussion, particularly in a quantum context [13,14,15]. Since the consideration of quantum aspects is beyond the scope of this work, and it seems unlikely that statements about the generalized electromagnetic field can be supported by experimental observations to settle the issue, we do not dwell on this matter in this paper, apart from noting that we carry out our analysis in the Coulomb-\(\ell \) gauge (or equivalently for the transverse normal modes of the field [12, Sect. B\(_\text {I}\)]), the condition that has been found to be in best empirical agreement with observations for the standard electromagnetic field [15].
2 Angular-momentum conservation law for the free generalized electromagnetic field
In this section, we exploit the invariance of the action with Lagrangian density \({\mathcal {L}}_\text {em}\) to infinitesimal space-time rotations, e. g. Lorentz transformations, to derive a conservation law and an expression for the relativistic angular-momentum tensor by direct exterior-algebraic methods, avoiding the non-symmetric canonical tensor and the related currents in Noether’s theorem. For the sake of notational compactness, we remove the subscript \(\text {em}\) in the tensor.
2.1 Conservation law for angular momentum
Let us shift the origin of coordinates by an infinitesimal perturbation \(\pmb {\varepsilon }\). For a translation, each of the \(k+n\) components is an independent function of space-time \(\pmb {\varepsilon }_\text {t}\). For a space-time rotation (Lorentz transformation) around a center point \(\varvec{\alpha }\), and given an infinitesimal bivector \(\pmb {\varepsilon }_\text {r}\) with \(\left( {\begin{array}{c}k+n\\ 2\end{array}}\right) \) components, it holds that
Let \(\smash {\{{{\mathbf {e}}}'\}}\) denote the rotated (perturbed) basis elements, expressed in the original basis \(\smash {\{{{\mathbf {e}}}\}}\). Along the i-th coordinate, the basis element \({{\mathbf {e}}}_i\) is perturbed to first order by an infinitesimal amount
where \({\mathbf {1}} = \sum _{i\in \mathcal {I}}\varDelta _{ii}\mathbf {w}_{ii}\) is the identity matrix and the Jacobian partial-derivative matrix \({\varvec{\partial }}\otimes \pmb {\varepsilon }\) is given by
The j-th column of the Jacobian matrix contains the exterior derivative, i. e. gradient, of the j-th component of the perturbation in the coordinates, \(\varepsilon _{j}\). As proved in [7, Sect. 3.3], a similar general expression holds for the transformation of multivector basis elements of grade s,
where \({\mathbf {1}}_s = \sum _{I\in \mathcal {I}_s}\varDelta _{II}\mathbf {w}_{I,I}\) is the grade-s identity matrix and the matrix is given by [7, Eq. (70)]
Writing the action functional over a closed region \(\mathcal {R}\) in the new perturbed coordinates involves changing the integrand and the differentials according to (33) and (35). For the Lagrangian density \({\mathcal {L}}_\text {em}\), given by a scalar product of two multivectors, the full details are given in [7, Sects. 3.4–3.5]. Let us assume that the fields vanish at infinity sufficiently fast, e. g. the integral of at infinity (the boundary of the volume in the action) vanishes. Then, the change of action is expressed in terms of the rank–2–manifestly symmetric tensor \({{\mathbf {T}}}\), the stress–energy–momentum tensor (13) of the free generalized electromagnetic field, as
having assumed that the integration region \(\mathcal {R}\) is large enough to make the physical system closed, and that the fields decay fast enough over \(\mathcal {R}\) so that the flux of the fields over the boundary of \(\mathcal {R}\) is negligible. This formula for the change of action (38) holds for arbitrary grades of the generalized electromagnetic field \(\mathbf{F }\).
The integrand in (38) can be rewritten using (32) and [1, Eq. (27)] as
Assuming that infinitesimal space-time rotations are a symmetry of the system and that the fields decay sufficiently fast, the fact that the variation of the action must be zero for all infinitesimal perturbations \(\pmb {\varepsilon }_\text {r}\) implies that
This expression characterizes the conservation law related to angular momentum, in the absence of external currents. Differently from the condition that appears in the context of invariance to translations and gives a the conservation law for the energy–momentum, invariance to infinitesimal rotations requires the interior derivative (divergence) of the stress–energy tensor to be radial, or equivalently parallel to the relative-position vector \({{\mathbf {x}}}- \varvec{\alpha }\).
In the following section, we provide an expression for a rank-3 angular-momentum tensor, valid for any number of space-time dimensions and grade of the electromagnetic field.
2.2 Relativistic angular-momentum tensor
In this section, we prove that (40) can be expressed as the matrix derivative (divergence) of a rank-3 tensor, which we will identify with the relativistic angular-momentum tensor of the generalized electromagnetic field.
To start, we expand the bivector equation (40) in components as
Consider now a bivector of a similar form, where \((x_i-\alpha _i)\) and \(T_{\varepsilon (j,\ell )}\) are swapped, i. e. \((x_i-\alpha _i)\partial _j T_{\varepsilon (j,\ell )}\) is replaced by \(T_{\varepsilon (j,\ell )}\partial _j (x_i-\alpha _i)\). Since \(\partial _j (x_i-\alpha _i) = \delta _{ji}\), this bivector can be evaluated as the zero bivector,
where we have used that \(\sigma (i,i) = 0\) to keep only the terms with \(i\ne \ell \) and then split the summation into the disjoint cases \(i < \ell \) and \(\ell < i\) and interchanged the roles of i and \(\ell \) in the latter case. Since \(\sigma (i,\ell ) = -\sigma (\ell ,i)\), we verify that Eq. (45) is zero. Adding this zero bivector to (42) and applying the Leibniz rule for the derivative gives
It remains to prove that (47) is the divergence of a suitably defined tensor field. Let be the angular-momentum tensor field, where the product is defined in (16). The tensor field \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) is antisymmetric in the second and third components, as its basis elements are given by \(\mathbf {w}_{i,I} = {{\mathbf {e}}}_{i} \otimes {{\mathbf {e}}}_{I}\). Expanding the product with the definition in (16), the tensor field \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) is given by
where we have split the summation over lists \(I\in \mathcal {J}_2\) into two, the first one for the lists I of the form (j, j) and the second one for the lists of the form \((j,\ell )\), with \(j < \ell \). Splitting further the second summation into two, and renaming j and \(\ell \) as \(\ell \) and j, respectively, we obtain
where we have combined in (52) the separate summations over \(j < \ell \) and \(j > \ell \) into one single summation over \(j \ne \ell \), and then in (53) combined this result with the first summand, expressed as a double summation over j and \(\ell \) such that \(j = \ell \), into a triple summation over indices i, j, and \(\ell \).
Computing the matrix derivative [7, Eq. (34)] of \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\), denoted by \({\varvec{\partial }}\times \varvec{{\mathbf {M}}}_{\varvec{\alpha }}\), we recover (47), that is
Substituting this expression in (39) and the result back in (38), we find that the change of action is given by
The invariance of the action to rotations, , implies (40) and equivalently that \({\varvec{\partial }}\times \varvec{{\mathbf {M}}}_{\varvec{\alpha }} = 0\). In the presence of sources, the divergence \({\varvec{\partial }}\times \varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) can be seen as an angular-momentum density, and the volume integral of \({\varvec{\partial }}\times \varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) across an \((k+n)\)-dimensional hypervolume \(\mathcal {V}^{k+n}\) gives the transfer of relativistic angular momentum from the field to the sources in the volume. In the next section, we characterize this transfer of angular momentum in terms of the flux of \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\), and provide an expression for the flux in terms of the normal modes of the field.
3 Flux of the angular-momentum tensor: spin and orbital angular momentum of the generalized electromagnetic field
3.1 Integral form of the conservation law and angular-momentum flux
The angular-momentum conservation law admits an integral form, which we derive next. First, the volume integral of the divergence \({\varvec{\partial }}\times \varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) over an \((k+n)\)-dimensional hypervolume \(\mathcal {V}^{k+n}\) gives the transfer of angular momentum from the field to the sources. This volume integral is the flux of the divergence over \(\mathcal {V}^{k+n}\) [1, Eq. (40)],
where the flux integral is carried out with respect to the inverse Hodge of the infinitesimal element \(\,\mathrm {d}^{k+n}{{\mathbf {x}}}^{{\scriptscriptstyle \mathcal {H}^{-1}}}\) [2, Eq. (19]. A short adaptation of the analysis in [2, Sect. 3.5], included in Appendix A, proves a Stokes theorem for the angular-momentum tensor: the flux of \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) across the boundary \(\partial \mathcal {V}^{m}\) of an m-dimensional hypersurface \(\mathcal {V}^{m}\) is equal to the flux of the divergence of \(\varvec{{\mathbf {M}}}_{\varvec{\alpha }}\) across \(\mathcal {V}^{m}\) for any \(m \le k+n\). For \(m = k+n\), this Stokes theorem thus gives
As an example, and for some fixed \(x_\ell \) and \(\ell \in \mathcal {I}\), consider the \((k+n)\)-dimensional half space-time region
The boundary of this region is a surface of constant space-time coordinate \(\ell \) of value \(x_\ell \), given by
Let \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }\) denote the flux of the tensor field across the boundary \(\partial \mathcal {V}_\ell ^{k+n}\). In this case, the Hodge-dual infinitesimal vector element in the r. h. s. of (58) is given by [1, Eq. (83)]
where the factor \(\sigma (\ell ,\ell ^c)\) arises from the orientation such that the normal vector \({{\mathbf {e}}}_\ell \) points outside the integration region. Using (53) in (58) and using (61), carrying out the matrix product, and rearranging the expression, yields
An alternative, slightly more explicit, expression for (63) is the following
3.2 Normal modes of the field
Substituting in (62) the stress–energy–momentum tensor \({{\mathbf {T}}}\) by its expression in (13), the flux \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }\) of the angular-momentum tensor a surface of constant space-time coordinate \(\ell \) of value \(x_\ell \) is given by the integral
The r. h. s. of (65) is computed w. r .t. \(x_{\ell ^c}\), being \(\ell ^c\) the set of indices excluding \(\ell \). We let \({{\mathbf {x}}}_{{\bar{\ell }}} = {{\mathbf {x}}}-x_\ell {{\mathbf {e}}}_\ell \) and similarly \({\varvec{\xi }}_{{\bar{\ell }}} = {\varvec{\xi }}- \xi _\ell {{\mathbf {e}}}_\ell \) for the frequency vector defined below. We also let \(\kappa _\ell = -\frac{1}{2}\varDelta _{\ell \ell }\sigma (\ell , \ell ^c)\).
In the absence of charges, the free field \(\mathbf{F }\) satisfies the homogeneous wave equation and can be expressed as a linear superposition of complex exponentials \(e^{j2\pi {\varvec{\xi }}\cdot {{\mathbf {x}}}}\) such that \({\varvec{\xi }}\cdot {\varvec{\xi }}=0\). Note that here \(j = \sqrt{-1}\); the context will make it clear whether j refers to a coordinate label or to the imaginary number. Denoting the coefficient of each complex exponential by \({\hat{\mathbf{F }}}\), the Fourier transform of \(\mathbf{F }\), and with the definition \(\,\mathrm {d}^{k+n} = \,\mathrm {d}\xi _0\cdots \,\mathrm {d}\xi _{k+n-1}\), we have
We resolve the Dirac delta by rewriting the condition \({\varvec{\xi }}\cdot {\varvec{\xi }}= 0\) in terms of \({\varvec{\xi }}_{{\bar{\ell }}}\) as \(\varDelta _{\ell \ell }\xi _\ell ^2 + {\varvec{\xi }}_{{\bar{\ell }}}\cdot {\varvec{\xi }}_{{\bar{\ell }}} = 0\). This equation has real solutions for \(\xi _\ell \) only if \(\varDelta _{\ell \ell } {\varvec{\xi }}_{{\bar{\ell }}}\cdot {\varvec{\xi }}_{{\bar{\ell }}} \le 0\), namely the two possible values \(\xi _\ell = \pm \chi _\ell \), where \(\chi _\ell \) is given by
Let \({\varvec{\varXi }}_\ell \) be the set of values of \({\varvec{\xi }}_{{\bar{\ell }}}\) for which \(\varDelta _{\ell \ell } {\varvec{\xi }}_{{\bar{\ell }}}\cdot {\varvec{\xi }}_{{\bar{\ell }}} \le 0\). We define the pair of frequency vectors \(\smash {{\varvec{\xi }}_{{\bar{\ell }},\sigma }}\) as
for \(\sigma \in \mathcal {S} = \{+1,-1\}\), respectively, shortened to \(+\) and −. Using [16, p. 184], we can write the inverse Fourier transform (66) w. r. t. the integration variables \(\xi _{\ell ^c}\), now with the appropriate constraints on the integration range so that \(\chi _\ell \) exists, in various equivalent forms as
where we have factored out a common factor \(e^{j2\pi {\varvec{\xi }}_{{\bar{\ell }}}\cdot {{\mathbf {x}}}_{{\bar{\ell }}}}\) and defined the function \({\hat{\mathbf{F }}}^\ell ({\varvec{\xi }}_{{\bar{\ell }}})\) as
We may rewrite the flux \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }\) in terms of \({\hat{\mathbf{F }}}^\ell \) by substituting (70) in (65) as
3.3 Spin and angular momentum of the generalized electromagnetic field
In Appendix B.1, we carry out the rather tedious evaluation of this integral in terms of the transverse normal modes in the Coulomb-\(\ell \) gauge. Under the assumption that the various field components commute, we obtain the following formula for the angular momentum as a sum of four components, cf. Eq. (151),
namely the center-of-mass velocity \({\mathbf {N}}^{\ell }\), the orbital angular momentum \({\mathbf {L}}^{\ell }\), and the spin \({\mathbf {S}}^{\ell }\), respectively, given by
where \(\smash {\varvec{\varPi }^{\ell }}\) is the energy–momentum flux across the region in (17) and contributes to the angular momentum with a term dependent of the origin of coordinates \(\varvec{\alpha }\). The product \(\odot \) could be replaced by in (76) with an overall change of sign, since the off-diagonal transposed components of both products coincide [1, Eq. (22)], and the diagonal components vanish in the Coulomb-\(\ell \) gauge defined in (6)–(7).
Using the various product definitions, the I-th component, where \(I = (i,j) \in \mathcal {I}_2\) and \(\ell \notin I\), of the orbital angular momentum and spin are, respectively, given by
and
By construction, the subspace of vector potential components in (79) is restricted to those lists disjoint from I, with components different from \(\ell \) (from the Coulomb-\(\ell \) gauge condition in (6)), and orthogonal to \({\varvec{\xi }}_{{\bar{\ell }},+}\) (from (7)). This leaves a total of \(k+n-4\) space-time indices, to be distributed in lists of \(r-2\) different elements. The dimension of this subspace is thus \(\smash {\left( {\begin{array}{c}k+n-4\\ r-2\end{array}}\right) }\). This dimension might be related to the classification of distinct pairs of spin-1 particles linked to the direction \({\varvec{\xi }}_{{\bar{\ell }},+}\), a possibility to be studied elsewhere.
The feasibility of the separation of angular momentum into orbital and spin parts in a gauge-invariant manner, as well as its operational meaning, have long been subject to some level of discussion, particularly in a quantum context [13,14,15, 17,18,19]. As stated earlier in the paper, quantum aspects lie beyond the scope of this work and we do not dwell further on this matter, apart from noting that our analysis is done in the Coulomb-\(\ell \) gauge (or equivalently for the transverse normal modes of the field [12, Sect. B\(_\text {I}\)]), the condition that has been found to be in best empirical agreement with observations for the standard electromagnetic field [15].
As a complement, we include in Appendix C a “canonical” derivation of the spin components extended to the generalized multivectorial electromagnetic field. Ignoring the quantum aspects, we have used as a basis Sects. 12 and 16 of Wentzel’s treatise on quantum field theory [20], one of the first book treatments of the subject. Our analysis bypasses the canonical tensor that Wentzel makes use of, so the appropriate adaptations have been made. As expected, the final formulas obtained with this extended analysis coincide with (76) and (79).
3.4 Spin and orbital angular momentum in a complex-valued circular polarization basis
From the definition of the \(\odot \) product in (11), the I-th component \(S_I^\ell \) of the spin bivector \({\mathbf {S}}^{\ell }\) in (76) is given by
where \(I = (i,j)\). The component \(S_I^\ell \) adopts a particularly transparent form in the complex-valued circular-polarization basis. For any \(\varphi \), let the right- and left-handed basis elements, respectively, denoted by \({{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}\) and \({{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}\), be given by
Note that the symbol j is used to represent both the imaginary unit and one of the components of I, a possible source of confusion in expressions as (81) and others below. These vectors satisfy the orthonormality relations \(\smash {{{{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}}^*\cdot {{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}= \cos ^2\varphi \varDelta _{ii} + \sin ^2\varphi \varDelta _{jj}}\), \(\smash {{{{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}}^*\cdot {{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}= \sin ^2\varphi \varDelta _{ii} + \cos ^2\varphi \varDelta _{jj}}\) and \(\smash {{{{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}}^*\cdot {{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}= \sin \varphi \cos \varphi (\varDelta _{jj}-\varDelta _{ii})}\), as well as the relationships \({{{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}}\wedge {{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}= {{{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}}\wedge {{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}= 0\) and \(j{{{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}}\wedge {{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}= \varDelta _{II}{{\mathbf {e}}}_I\). The transformation in (81) has determinant \(\varDelta _{ii}\varDelta _{jj}\) and the inverse transformation is given by
The basis elements for \(\varphi = \frac{\pi }{4}\) appears in the analysis of helicity and circular polarization [4, Problem 7.27]; for \(\varphi = 0\), and apart from a factor \(-j\), we recover the standard basis, i. e. linear polarization.
When we substitute these expressions for \({{\mathbf {e}}}_i\) and \({{\mathbf {e}}}_j\) in (80) we have to take into account that the complex-conjugate operation acting on the potential also affects the basis elements. For the standard space-time basis, this observation is irrelevant since the basis elements are real-valued. However, the polarization vectors are complex-valued and we need to use \({{\mathbf {e}}}_i^*\) rather than \({{\mathbf {e}}}_i\) in (82a). With this observation, the component \(\smash {S_I^\ell }\) is given by
where we have grouped common terms under the assumption that the fields \({\hat{{\mathbf{A}}}}^*({\varvec{\xi }}_{{\bar{\ell }},+})\) and \({\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},+})\) commute, as it corresponds to a classical theory. For the choice \(\varphi = \pi /4\), the basis elements satisfy \(\smash {{{{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}}^*\cdot {{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}= {{{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}}^*\cdot {{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}= \frac{1}{2}(\varDelta _{ii} + \varDelta _{jj})}\) and \(\smash {{{{\mathbf {e}}}_{+}^{\scriptscriptstyle {I}}}^*\cdot {{\mathbf {e}}}_{-}^{\scriptscriptstyle {I}}= \frac{1}{2}(\varDelta _{jj}-\varDelta _{ii})}\), and the components \(\smash {S_I^\ell }\) adopt a particularly simple form,
This formula extends a similar result for the standard electromagnetic field [4, Problem 7.27], and expresses the spin as the sum of independent right- and left-handed components. For other values of \(\varphi \), the basis components are mixed.
The I-th component \(L_I^\ell \), with \(\ell \notin I\), of the orbital angular momentum bivector \({\mathbf {L}}^{\ell }\) is given by (77). For the basis change in (81) with \(\varphi = \pi /4\), the frequency vector components transform are expressed as a function of \(\xi _{+}^{\scriptscriptstyle {I}}\) and \(\xi _{-}^{\scriptscriptstyle {I}}\) in terms of the Hermitian inverse of the transformation matrix, i. e.
and similarly for \(\smash {\partial _{\xi _i}}\) and \(\smash {\partial _{\xi _j}}\). Again, the symbol j doubly represents a coordinate label in the left-hand side and the imaginary unit in the right-hand side of (86b). We therefore can express the orbital angular momentum component \(L_I^\ell \) in (77) in terms of the coefficients in the circular-polarization basis in (86) as
a formula reminiscent of that of the spin for the standard electromagnetic field [4, Problem 7.27]. As we have seen throughout the previous pages, a large number of standard results in the analysis of angular momentum for free electromagnetic fields naturally extend to arbitrary number of space-time dimensions and multivector field grade. This brief discussion on the orbital angular momentum and the spin of the generalized electromagnetic field and their relationship to complex-valued circular polarizations, for generic values of r, k, and n, concludes the paper. The remainder is devoted to appendices with details or proofs of several results mentioned earlier in the paper.
References
I. Colombaro, J. Font-Segura, A. Martinez, Eur. Phys. J. Plus 135, 305 (2020). https://doi.org/10.1140/epjp/s13360-020-00305-y
I. Colombaro, J. Font-Segura, A. Martinez, Mathematics 7, 564 (2019)
L.D. Landau, E.M. Lifshitz, The Classical Theory of Fields, Course of Theoretical Physics, vol. 2, 4th edn. (Butterworth-Heinemann, 1987)
J.D. Jackson, Classical Electrodynamics (Wiley, New York, 1999)
R.P. Feynman, R.B. Leighton, M. Sands, The Feynman Lectures on Physics, Vol. II: Mainly Electromagnetism and Matter (Addison-Wesley, Boston, 1977)
I. Colombaro, J. Font-Segura, A. Martinez, Mathematics (18), 2178 (2021)
A. Martinez, J. Font-Segura, I. Colombaro, Eur. Phys. J. Plus 136, 212 (2021). https://doi.org/10.1140/epjp/s13360-021-01192-7
M. Forger, H. Römer, Ann. Phys. 309(2), 306 (2004). https://doi.org/10.1016/j.aop.2003.08.011
D.N. Blaschke, F. Gieres, M. Reboud, M. Schweda, Nucl. Phys. B 912, 192 (2016). https://doi.org/10.1016/j.nuclphysb.2016.07.001
M. Maggiore, Modern Introduction to Quantum Field Theory. Oxford Master Series in Statistical, Computational, and Theoretical Physics (Oxford University Press, Oxford, 2005)
P. Di Francesco, P. Mathieu, D. Sénéchal, Conformal Field Theory Graduate texts in contemporary physics. (Springer, New York, 1997)
C. Cohen-Tannoudji, J. Dupont-Roc, G. Grynberg, Photons and Atoms: Introduction to Quantum Electrodynamics (Wiley, New York, 1997)
C.G. Darwin, Proc. Royal Soc. London Series A 136, 36 (1932)
S.J. van Enk, G. Nienhuis, EPL (Europhys. Lett.) 25, 497 (1994)
E. Leader, Phys. Lett. B 779, 385 (2018)
I.M. Gel’fand, G.E. Shilov, Generalized Functions, vol. 1 (Academic Press Inc., Cambridge, 1964)
I. Bialynicki-Birula, Z. Bialynicka-Birula, J. Opt. (IOPscience) 13, 064014 (2011)
S. van Enk, G. Nienhuis, J. Modern Opt. 41, 963 (1994)
E. Leader, C. Lorcé, Phys. Rep. 541, 163 (2014)
G. Wentzel, Quantum Theory of Fields (Interscience Publishers, 1949)
E. Cartan, Les Systemes Differentiels Exterieurs Et Leurs Applications Geometriques (Hermann & Cie, 1945)
Acknowledgements
This work has been funded in part by the Spanish Ministry of Science, Innovation and Universities under grants TEC2016-78434-C3-1-R, BES-2017-081360, and PID2020-116683GB-C22. Alfonso Martinez is a Serra–Húnter Fellow.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Proof of the Stokes theorem
In this appendix, we prove the following statement: the flux of a tensor field \(\varvec{{\mathbf {M}}}\), antisymmetric in the second and third components and with basis elements given by \(\mathbf {w}_{i,I} = {{\mathbf {e}}}_{i} \otimes {{\mathbf {e}}}_{I}\), across the boundary \(\partial \mathcal {V}^{m}\) of an m-dimensional hypersurface \(\mathcal {V}^{m}\) is equal to the flux of the divergence of \(\varvec{{\mathbf {M}}}\) across \(\mathcal {V}^{m}\) for any \(m \le k+n\), and in particular for \(m = k+n\). This Stokes theorem thus gives
We prove (89) thanks to the generalized Stokes theorem for differential forms [21, pp. 80],
where \(\omega \) is a differential form and \(\,\mathrm {d}\omega \) is its exterior derivative, corresponding to the operator
The procedure we follow is almost identical to what was done in [2, Sects. 3.4–3.5], and it starts by identifying \(\omega \) with the integrand on the right-hand side of (89). Using (53) with \(\varvec{{\mathbf {M}}}= \varvec{{\mathbf {M}}}_{\varvec{\alpha }}\), we have
having applied \({{\mathbf {e}}}_m \times \mathbf {w}_{j, \varepsilon (i,\ell )} = \varDelta _{mj} {{\mathbf {e}}}_{\varepsilon (i,\ell )}\). We then let the exterior derivative in (91) act on (93) to obtain
Since \({j}^c \in \mathcal {I}_{k+n-1}\), we can identify m with j and write \(\,\mathrm {d}x_{\varepsilon (j, {j}^c)} = \,\mathrm {d}x_{j} \,\mathrm {d}x_{{j}^c} \sigma (j,{j}^c)\) to obtain
In parallel, we identify \(\,\mathrm {d}\omega \) in (90) with the integrand of the left-hand side of (89), which can be expanded as
namely the same expression as (95), therefore proving (89).
B Flux of the angular-momentum tensor
1.1 B.1 Computation of the angular-momentum flux
Writing \({{\mathbf {x}}}- \varvec{\alpha }= (x_\ell - \alpha _\ell ){{\mathbf {e}}}_\ell + {{\mathbf {x}}}_{{\bar{\ell }}} - \varvec{\alpha }_{{\bar{\ell }}}\), we may split the flux in (72) as a weighted sum, namely
where the bivector-valued integrals \(\varvec{\mathcal {I}}_{\ell }\), \(\varvec{\mathcal {I}}_{{\bar{\ell }},+}\), and \(\varvec{\mathcal {I}}_{{\bar{\ell }},-}\) are, respectively, given by
We next evaluate these integrals, starting with \(\varvec{\mathcal {I}}_\ell \). Interchanging the integration order of frequency and space-time, we evaluate the integral of \(e^{j2\pi ({\varvec{\xi }}_{{\bar{\ell }}}+{\varvec{\xi }}'_{{\bar{\ell }}})\cdot {{\mathbf {x}}}_{{\bar{\ell }}}}\) over space-time \({\mathbf {R}}^{k+n-1}\) as the \((k+n-1)\)-multidimensional Dirac delta. After integration over \(\xi '_{\ell ^c}\) to remove this Dirac delta, we directly obtain
It will prove convenient to define an integral \(\varvec{\mathcal {I}}_{m}\) for \(m\in \mathcal {I}\), replacing \({{\mathbf {e}}}_\ell \) inside the parentheses in (101) by \({{\mathbf {e}}}_m\),
The integral \(\varvec{\mathcal {I}}_{{\bar{\ell }},-}\) in (100) can now be evaluated in a similar way to \(\varvec{\mathcal {I}}_\ell \) to obtain
where \(\varvec{\mathcal {I}}_{t}\) is given by (102) setting \(m = t\).
As for the integral \(\varvec{\mathcal {I}}_{{\bar{\ell }},+}\) in (99), we first rewrite the formula for \(\varvec{\mathcal {I}}_{{\bar{\ell }},+}\) by interchanging the integration order of frequency and space-time, using linearity and making some minor rearrangements and algebraic manipulations, as
Under the usual assumptions that the fields vanish sufficiently fast at infinity, the space-time integral in (104) can be evaluated by integration by parts in terms of a derivative of the Dirac delta as
where the vector-derivative operator \({\varvec{\partial }}_{{\varvec{\xi }}_{{\bar{\ell }}}}\) is given by
Now, an extension of the proof in [16, p. 26] to our multidimensional bivector-valued integrals in (104) shows that the derivative of the Dirac delta can be evaluated as
Using the definition in (106), we can express (108) as
where the bivector-valued integrals \(\varvec{\mathcal {I}}_{t,+}\) are given by
Finally, we evaluate the derivative of \({\hat{\mathbf{F }}}^\ell ({\varvec{\xi }}_{{\bar{\ell }}})/(2\chi _\ell )\) as
Using this expression, we may therefore rewrite (110) as
where \(\varvec{\mathcal {I}}_{t,1}\) and \(\varvec{\mathcal {I}}_{t,0}\) are, respectively, given by
Substituting (101), (109), (112), and (103) back into (97), we obtain
where \(\varvec{\mathcal {I}}_m\), for \(m \in \mathcal {I}\) is given in (102), and \(\varvec{\mathcal {I}}_{t,1}\) and \(\varvec{\mathcal {I}}_{t,0}\) are, respectively, given by (113) and (114).
The three bivector-valued integrands in (102), (113) and (114) are of the form , for some index m and some symmetric rank-2 tensor \({\mathbf {B}}\). As for some indices \(\smash {I = (i_1,i_2) \in \mathcal {J}_2}\) it holds that , only some components of the tensor \({\mathbf {B}}\) contribute to the integral. To determine which components of \({\mathbf {B}}\) contribute to the integral, we compute the double product with the definition of the product in (16),
where we have used that I and its permutation \(I^\pi \) must be such that \(i_1^\pi = \ell \), i. e. that I must be of the form \(\varepsilon (\ell ,j)\) for some \(j\in \mathcal {I}\). This observation fixes also the permutation \(I^\pi = (\ell ,j)\). Besides, we can remove \(j = m\) from the summation as \(\sigma (m,m) = 0\). For each m, we need thus consider only the components \(B_{\varepsilon (\ell ,j)}\), where \(j \ne m\).
Computation of \(\varvec{\mathcal {I}}_m\). In (101), the tensor \({\mathbf {B}}\) mentioned in the previous paragraph is given by
In Sect. B.2 we evaluate its components \(B_{\varepsilon (\ell ,j)}\) needed in (116). Substituting (181) in (116) gives
where \(\beta _r\) is given by
and with some abuse of notation, \(\sigma \) denotes in this equation both the signature of a permutation and a sign. Substituting (120) back in (101) gives
Assume that \(j \ne \ell \), so that \(\xi _{{\bar{\ell }},\sigma ,j}= \xi _j\), regardless of the value of \(\sigma \). Then, splitting the integral in two, and making a change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) in the integral with \({\varvec{\xi }}_{{\bar{\ell }},-}\) yields
since \(-{\varvec{\zeta }}_{{\bar{\ell }}} - \chi _\ell {{\mathbf {e}}}_\ell = - {\varvec{\zeta }}_{{\bar{\ell }},+}\), and \(|{\hat{{\mathbf{A}}}}({\varvec{\zeta }}_{{\bar{\ell }},+})|^2 = {\hat{{\mathbf{A}}}}({\varvec{\zeta }}_{{\bar{\ell }},+}){\hat{{\mathbf{A}}}}^*({\varvec{\zeta }}_{{\bar{\ell }},+}) = {\hat{{\mathbf{A}}}}^*(-{\varvec{\zeta }}_{{\bar{\ell }},+}){\hat{{\mathbf{A}}}}(-{\varvec{\zeta }}_{{\bar{\ell }},+}) = |{\hat{{\mathbf{A}}}}(-{\varvec{\zeta }}_{{\bar{\ell }},+})|^2\) thanks to the hermiticity of \({\hat{{\mathbf{A}}}}({\varvec{\zeta }}_{{\bar{\ell }},+})\). The second summand in the integral in (122) coincides with the first.
If \(j = \ell \), then \(\xi _{{\bar{\ell }},\sigma ,j}= \sigma \chi _\ell \), and the integral in (122) is given by
Splitting the integral in two, and making a change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) in the integral with \({\varvec{\xi }}_{{\bar{\ell }},-}\) shows that the second integral in (125) coincides with the first one, as it happened in (124).
Substituting (124) and (125) back in (122) gives the final expression for \(\varvec{\mathcal {I}}_m\), namely
where we have used that \({{\mathbf {e}}}_{\varepsilon (m,j)} = \sigma (m,j){{\mathbf {e}}}_m\wedge {{\mathbf {e}}}_j\), that \({{\mathbf {e}}}_m \wedge {{\mathbf {e}}}_m = 0\), and the decomposition \({\varvec{\xi }}_{{\bar{\ell }},+}= {\varvec{\xi }}_{{\bar{\ell }}} + \chi _\ell {{\mathbf {e}}}_\ell \).
With the definition \(\kappa _\ell = -\frac{1}{2}\varDelta _{\ell \ell }\sigma (\ell , \ell ^c)\), the bivector-valued integral \(\varvec{\mathcal {I}}_m\) can be expressed in terms of the energy–momentum flux \(\smash {\varvec{\varPi }^{\ell }}\) in (17) across the \((k+n)\)-dimensional half space-time \(\mathcal {V}_\ell ^{k+n}\) of fixed \(x_\ell \), for \(\ell \in \{0,\dotsc ,k+n-1\}\), in (59) as
Computation of \(\varvec{\mathcal {I}}_{t,0}\). In (114), \(m =t\) while the tensor \({\mathbf {B}}\) is again given by (119). Substituting the components \(B_{\varepsilon (\ell ,j)}\) in (181) into (116) with \(m = t\), and then back in (114) yields an analogous equation to (122), namely
It proves convenient to split the integral in two and separate the cases \(j \ne \ell \) and \(j = \ell \). In the first case, i. e. \(j \ne \ell \), noting first that \(\smash {\xi _{{\bar{\ell }},-,j}= \xi _{{\bar{\ell }},+,j}= \xi _j}\), making a change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) in the integral with \({\varvec{\xi }}_{{\bar{\ell }},-}\) gives
which cancels out with the integral \({\varvec{\xi }}_{{\bar{\ell }},+}\) and the integral in (129) vanishes for \(j \ne \ell \). If \(j = \ell \), \(\smash {\xi _{{\bar{\ell }},-,\ell }= -\xi _{{\bar{\ell }},+,\ell }= -\chi _\ell }\), unaffected by the change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\). The integral with \({\varvec{\xi }}_{{\bar{\ell }},-}\) gives thus
and the total integral in (129) vanishes too. Therefore,
Computation of \(\varvec{\mathcal {I}}_{t,1}\). In (113), the index m is again \(m =t\), while the tensor \({\mathbf {B}}\) is now given by
Substituting the double product (116) in (113) gives
In Sect. B.3 we evaluate the components \(B_{\varepsilon (\ell ,j)}\) needed in (116), namely \(\ell = j\) and \(\ell \ne j\). Substituting the expression of \(B_{\ell \ell }\) in (211) into the first integral in (135), and expanding the sum over \(\sigma \) gives
We split the integrand in (136) into three terms, respectively, indexed by 1, 2, and 3, each with consecutive pairs of summands labelled by a and b. In the integrand with label 1b, the change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) has opposite sign to the contribution from 1a, so the first integral is zero. Then, each of the integrands with labels 3a and 3b is an odd function of the integration variable \({\varvec{\xi }}_{{\bar{\ell }}}\), as can be verified with the change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\). Indeed, \(\smash {{{\hat{{\mathbf{A}}}}} ({\varvec{\xi }}_{{\bar{\ell }},+})}\) transforms into \(\smash {{{\hat{{\mathbf{A}}}}}^* ({\varvec{\xi }}_{{\bar{\ell }},-})}\) and (resp. \(\smash {{{\hat{{\mathbf{A}}}}} ({\varvec{\xi }}_{{\bar{\ell }},-})}\)) into \(\smash {{{\hat{{\mathbf{A}}}}}^* ({\varvec{\xi }}_{{\bar{\ell }},+})}\)) and therefore the third integral is zero too. It only remains the second integral, which can be expressed with the usual change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) in 2b as
where \(\text {cc}\) denotes the complex conjugate.
Proceeding in a similar manner, substituting the expression for \({B}_{\varepsilon (\ell ,j)}\) in (212) into the second integral in (135), and splitting the integrand into three terms, respectively, indexed by 1, 2, and 3, each with consecutive pairs of summands labelled by a and b, gives
As before, we consider separately the integrands. If the quantities \(\smash {{\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},+})}\) and \(\smash {{\hat{{\mathbf{A}}}}^*({\varvec{\xi }}_{{\bar{\ell }},+})}\) commute, the change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) in the integrand 1b gives the integrand 1a with an opposite sign; this sign cancels the minus sign in front. Besides, for commuting quantities, the second summand of 1a (and of 1b) is the complex conjugate of the first summand. The same change of variables \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) shows that the integrand 2b (resp. 3b) is the complex conjugate of 2a (resp. 3a). Similarly, the same change of variables and commutativity assumption applied in the second integrand of 3b shows that the second summand coincides with the first one. We therefore have
Note that the rank-2 tensors with components \(\smash {\bigl ({\hat{{\mathbf{A}}}}^*({\varvec{\xi }}_{{\bar{\ell }},\sigma _1}) \odot {\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},\sigma _2}) \bigr )\bigl |_{tj} - \text { cc}}\) are actually antisymmetric in the indices t and j and can thus be seen as a bivector component with element basis \({{\mathbf {e}}}_{tj}\).
Combining (137) and (139) back into (135) gives
Let us denote by \(\smash {\varvec{\mathcal {I}}_{t,1}^{1}}\) the first summand in (140); the second and third terms in (140) can be grouped into a single summation, denoted by \(\smash {\varvec{\mathcal {I}}_{t,1}^{2}}\), over \(j \in \mathcal {I}\setminus {t}\). We denote by \(\smash {\varvec{\mathcal {I}}_{t,1}^{3}}\) the remaining summand in (140). As \({{\mathbf {e}}}_{\varepsilon (t,j)} = -\sigma (t,j){{\mathbf {e}}}_j\wedge {{\mathbf {e}}}_t\) and \({{\mathbf {e}}}_t\wedge {{\mathbf {e}}}_t = 0\), the contribution of \(\varvec{\mathcal {I}}_{t,1}^1\) to the flux is given by
where we have extended the summations to \(t = \ell \) and \(j = \ell \) since these added terms are zero in the Coulomb-\(\ell \) gauge in (142) and noted that every ordered list of non-repeated index pairs appears twice in the summation in (143). Interpreting \({\hat{{\mathbf{A}}}}^*({\varvec{\xi }}_{{\bar{\ell }},+}) \odot {\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},+}) - \text {cc}\) as a bivector, we obtain
Proceeding in a similar manner, we can rewrite \(\smash {\varvec{\mathcal {I}}_{t,1}^{2}}\) as
where we have also used that \({{\mathbf {e}}}_t\bigl (\partial _{\xi _{t}}{{\hat{{\mathbf{A}}}}}^*({\varvec{\xi }}_{{\bar{\ell }},+})\bigr )\cdot {\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},+}) = \bigl ({{\mathbf {e}}}_t\partial _{\xi _{t}}\otimes {{\hat{{\mathbf{A}}}}}^*({\varvec{\xi }}_{{\bar{\ell }},+})\bigr )\times {\hat{{\mathbf{A}}}}({\varvec{\xi }}_{{\bar{\ell }},+})\), as can be seen by direct computation. Getting back to (115), and summing over \(t\in \mathcal {I}\setminus \ell \), this first term of (140) contributes to the flux as
It is straightforward to verify that this expression is indeed a bivector, regardless of the value of r.
Analogously, the contribution of \(\varvec{\mathcal {I}}_{t,1}^3\) is given by
Under the change of variable \({\varvec{\zeta }}_{{\bar{\ell }}} = -{\varvec{\xi }}_{{\bar{\ell }}}\) and the commutativity assumption, this equation becomes
Renaming now t as \(j'\) and j as \(t'\), this equation coincides with (148), except that \(\sigma (t,j)\) picks a minus sign. The integrand is thus an odd function of \({\varvec{\xi }}_{{\bar{\ell }}}\) and the integral in (148) is zero, and therefore
Combining \(\varvec{\mathcal {I}}_m\) in (127) with (133), (147), (142), and (148) into (115) gives
where \(\smash {\varvec{\varPi }^{\ell }}\) is the energy–momentum flux across the region in (17).
1.2 B.2 Evaluation of the tensor components \(B_\varepsilon (\ell ,j)\) for \(\varvec{\mathcal {I}}_m\) and \(\varvec{\mathcal {I}}_{t,0}\) (Lorenz Gauge)
We start by listing some useful identities relating interior and wedge products [1, Sect. 2.2]. Given two vectors \({{\mathbf {u}}}\) and \({{\mathbf {v}}}\) and a r-vector \({{\mathbf {w}}}\), the following expressions hold
and
In addition, given two vectors \({{\mathbf {v}}}\) and \({{\mathbf {v}}}'\) and two r-vectors \({{\mathbf {w}}}\) and \({{\mathbf {w}}}'\), then it holds that
Also, for a vector \({{\mathbf {u}}}\), an \((r-1)\)-vector \({{\mathbf {v}}}\) and an r-vector \({{\mathbf {w}}}\), it holds that
In the tensor definition in (119) we need both \({\hat{\mathbf{F }}}^\ell ({\varvec{\xi }}_{{\bar{\ell }}})\), given in (71), and \({\hat{\mathbf{F }}}^\ell (-{\varvec{\xi }}_{{\bar{\ell }}})\). The latter is evaluated noting that the real-valuedness of the field implies that \({\hat{\mathbf{F }}} (-{\varvec{\xi }}) ={\hat{\mathbf{F }}}^* ({\varvec{\xi }})\) as follows,
Substituting the definition of \({\hat{\mathbf{F }}}^\ell \) given in (71) together with (158) in the tensor definition (119), we obtain
Let us define \({\mathbf {B}}^{\sigma _1\sigma _2}\) as ; we need to evaluate the components \(\smash {{B}_{\varepsilon (\ell ,j)}^{\sigma _1\sigma _2}}\). Using the definition of the products \(\odot \) and in (11) and (12), the ij-th component \(\smash {{B}_{ij}^{\sigma _1\sigma _2}}\) is given by
where we have applied (154) in (161) and the identity [1, Eq. (21)] in (161) and (162), and have defined the quantities \(\alpha _{ij}^{\sigma _1\sigma _2}\) for ease of presentation.
Substituting the potential in the Fourier domain, \({\hat{\mathbf{F }}}({\varvec{\xi }}) = j2\pi {\varvec{\xi }}\wedge {\hat{{\mathbf{A}}}}({\varvec{\xi }})\), and subsequently using (154) yields
We note that the wave-equation condition \({\varvec{\xi }}_{{\bar{\ell }},\sigma }\cdot {\varvec{\xi }}_{{\bar{\ell }},\sigma }= 0\), together with the identity \({\varvec{\xi }}_{{\bar{\ell }},\sigma _1}= {\varvec{\xi }}_{{\bar{\ell }},\sigma _2}+ (\sigma _1-\sigma _2) \chi _\ell {{\mathbf {e}}}_\ell \), with \(\sigma _1,\sigma _2\in \{+1,-1\}\), implies that
Also, the Lorenz-gauge condition in the Fourier domain, namely , implies that
Substituting (165)–(167) back into (164) yields
Turning back our attention to \(\smash {\alpha _{ij}^{\sigma _1\sigma _2}}\), substitution of the potential in the Fourier domain, \(\smash {{\hat{\mathbf{F }}}({\varvec{\xi }}) = j2\pi {\varvec{\xi }}\wedge {\hat{{\mathbf{A}}}}({\varvec{\xi }})}\), followed by the use of (153), gives
We therefore have for \(\smash {\alpha _{ij}^{\sigma _1\sigma _2}}\) (and similarly for \(\smash {\alpha _{ji}^{\sigma _1\sigma _2}}\)), apart from a factor \(4\pi ^2\)
Using (155) in the second and third summands and (154) in the fourth summand, we have apart from a factor \(4\pi ^2\)
where we have used (152) to swap the product order between \({\varvec{\xi }}_{{\bar{\ell }},\sigma _2}\) and \({{\mathbf {e}}}_i\) and between \({\varvec{\xi }}_{{\bar{\ell }},\sigma _1}\) and \({{\mathbf {e}}}_j\). Finally, substituting the identities (165)–(167) into (174) gives
We continue our evaluation of \(\smash {B^{\sigma _1\sigma _2}_{ij}}\) by considering separately the cases \(\sigma _1 = \sigma _2\) and \(\sigma _1 \ne \sigma _2\). First, for \(\sigma _1 = \sigma _2 = \sigma \), and combining (175), both for \(\smash {\alpha _{ij}^{\sigma _1\sigma _2}}\) and \(\smash {\alpha _{ji}^{\sigma _1\sigma _2}}\), and (168), we express \({B}_{ij}^{\sigma \sigma }\) in (162) as
For \({\sigma }_1 = \sigma \), and \(\sigma _2 = -\sigma = {\bar{\sigma }}\), combining (175) and (168) apart from a factor \(4\pi ^2(-1)^{r-1}\varDelta _{ii}\varDelta _{jj}\), we express \({B}_{ij}^{\sigma {\bar{\sigma }}}\) in (162) as
We now set \(i = \ell \), and note that , \(\xi _{{\bar{\ell }},\sigma ,\ell }= \sigma \chi _\ell \), and \(\xi _{{\bar{\ell }},{\bar{\sigma }},\ell }= -\sigma \chi _\ell \), to simplify (178) as
Now, cancelling several common terms, Eq. (179) becomes
At this point, we need to distinguish two separate possibilities: \(j \ne \ell \) and \(j = \ell \). If \(j \ne \ell \), it holds that \(\smash {\xi _{{\bar{\ell }},\sigma ,j}= \xi _{{\bar{\ell }},{\bar{\sigma }},j}}\) and \(\varDelta _{\ell j} = 0\), and therefore (180) vanishes. When \(j = \ell \), then \(\smash {\xi _{{\bar{\ell }},\sigma ,j}= -\xi _{{\bar{\ell }},{\bar{\sigma }},j}= \sigma \chi _\ell }\), and \(\varDelta _{\ell j} = \varDelta _{\ell \ell }\) and (180) vanishes too. We conclude that \(\smash {{B}_{\varepsilon (\ell ,j)}^{\sigma {\bar{\sigma }}} = 0}\) if \(\sigma \ne {\bar{\sigma }}\), regardless of the value of j. Moreover, the same steps (179)–(180) similarly prove that \({B}_{\varepsilon (\ell ,i)}^{\sigma {\bar{\sigma }}} = 0\) if \(\sigma \ne {\bar{\sigma }}\) for any i.
Since the only nonzero contribution is given by \({B}_{ij}^{\sigma \sigma }\) in (177), substituting this latter equation in (159) yields
1.3 B.3 Evaluation of the tensor components \(B_\varepsilon (\ell ,j)\) for \(\varvec{\mathcal {I}}_{t,1}\) (Coulomb-\(\ell \) Gauge)
As this section follows similar steps to those in the previous one, the presentation is streamlined somewhat.
Substituting the expressions for \({\hat{\mathbf{F }}}^\ell ({\varvec{\xi }}_{{\bar{\ell }},\sigma })\) and \({\hat{\mathbf{F }}}^\ell (-{\varvec{\xi }}_{{\bar{\ell }},\sigma })\), respectively, given in (71) and (158) in the tensor definition (134), we obtain
where the rank-2 symmetric tensor \({\mathbf {B}}^{\sigma _1\sigma _2}\) is defined as
Following the same steps as in (161)–(162), the ij-th component \(\smash {{B}_{ij}^{\sigma _1\sigma _2}}\) is given by
where \(\smash {\alpha _{ij}^{\sigma _1\sigma _2}}\), and similarly \(\smash {\alpha _{ji}^{\sigma _1\sigma _2}}\), is given by
Substituting the potential in the Fourier domain, we obtain
Using this identity together with (154) allows us to write the last term in (184), apart from a factor \(4\pi ^2\), as
In the Coulomb-\(\ell \)-gauge, for which , the conditions (166) and (167) become
Substituting the wave equation condition (165) together with (189)–(190) into (187) gives, apart from a factor \(4\pi ^2\),
With a similar substitution of the potential in the Fourier domain followed by (153), we write
Combining (194) with (170), we therefore have for \(\alpha _{ij}^{\sigma _1\sigma _2}\) (and similarly for \(\alpha _{ji}^{\sigma _1\sigma _2}\)), apart from a factor \(4\pi ^2\),
Using (155) in the second, third, sixth, and seventh summands and (154) in the fourth and eighth ones, together with (152) to swap the order of the interior products between \({\varvec{\xi }}_{{\bar{\ell }},\sigma _2}\) and \({{\mathbf {e}}}_i\), \({\varvec{\xi }}_{{\bar{\ell }},\sigma _1}\) and \({{\mathbf {e}}}_j\), and \({{\mathbf {e}}}_t\) and \({{\mathbf {e}}}_j\), we obtain
By taking the derivative of (189) with respect to \(\xi _t\), with \(t \ne \ell \), we have
Substituting (165), (198), and (189)–(190) back into (197), this equation simplifies to
As in the analysis of the tensor components for \(I_\ell \) and \(\varvec{\mathcal {I}}_{t,0}\) in B.2, we continue our evaluation of \(\smash {B^{\sigma _1\sigma _2}_{ij}}\) by considering separately the cases \(\sigma _1 = \sigma _2\) and \(\sigma _1 \ne \sigma _2\). First, for \(\sigma _1 = \sigma _2 = \sigma \), combining (199) for \(\smash {\alpha _{ij}^{\sigma _1\sigma _2}}\) and \(\smash {\alpha _{ji}^{\sigma _1\sigma _2}}\) with (191) and (198), we write the tensor component \({B}_{ij}^{\sigma \sigma }\) in (184) apart from a factor \(4\pi ^2(-1)^{r-1}\varDelta _{ii}\varDelta _{jj}\) as
Evaluating (200) for \(i = j = \ell \), and noting that \(t \ne \ell \), gives
Similarly, evaluating (200) for \(i = \ell \) and \(j \ne \ell \), and noting that \(t \ne \ell \) and \(j \ne t\), gives
where we have used the definition of the \(\odot \) product in (11) and the identity [1, Eq. (21)].
For \(-\sigma _2 = \sigma _1 = \sigma \), combining (199) for \(\smash {\alpha _{ij}^{\sigma {\bar{\sigma }}}}\) and \(\smash {\alpha _{ji}^{\sigma {\bar{\sigma }}}}\) with (191), we can write the tensor component \({B}_{ij}^{\sigma {\bar{\sigma }}}\) in (184) apart from a factor \(4\pi ^2(-1)^{r-1}\varDelta _{ii}\varDelta _{jj}\) as
For \(i =\ell \), using that \(t \ne \ell \), the Coulomb-\(\ell \)-gauge condition and its consequence , yield
If we also consider \(j = \ell \), using again the Coulomb-\(\ell \)-gauge condition and that \(t \ne \ell \) in (205) gives
For \(j \ne \ell \), noting that \(t \ne \ell \) and \(j \ne t\), we evaluate (205) as
where we have used the definition of the \(\odot \) product in (11) and the identity [1, Eq. (21)]. Note that the product \(\odot \) could be replaced by in (76) with an overall change of sign, since the off-diagonal transposed components of both products coincide [1, Eq. (22)].
Finally, using (159) and, respectively, combining (201) and (207), and (203) and (209), we obtain
and
C Spin components: “canonical” analysis
For the standard electromagnetic field, the intrinsic angular momentum is defined only for the spatial components of the angular momentum bivector \(\varvec{\varOmega }_{\varvec{\alpha }}^{\ell }\). For the sake of simplicity, let \(\varvec{\alpha }= 0\). For generic \(\ell \), we study thus the components \(\varOmega ^{\ell }_I\), with \(I\in \mathcal {I}_2\), that do not include \(\ell \), i. e. \(\ell \notin I\). From (64), and writing \(I = (i,j)\), with \(i,j\notin \ell \), we have to evaluate the following integral:
The following analysis is inspired by Sects. 12 and 16 of Wentzel’s book [20], which describe how to obtain the spin components from the canonical stress–energy–momentum tensor. Our analysis bypasses, however, the canonical tensor, and the appropriate adaptations have been made. Using the expression of the non-diagonal components of the stress–energy–momentum tensor in (15) in the integrand in (213) gives
Let us split the summations over \({\bar{L}}\) into the cases where i (resp. j) belongs to \({\bar{L}}\) and those where it does not, and focus of the former. When i (resp. j) belongs to \({\bar{L}}\), we may define L as a set in \(\mathcal {I}_{r-2}\) such that \(\ell ,i,j\notin L\), so that the original set \({\bar{L}}\) is now given by \(L \cup i\) (resp. \(L \cup j\)). We rewrite (214) accordingly as
From the definition of the field from the potential, we have
Ignoring the terms in the dots, which do not contribute to the spin, and, respectively, substituting these two expressions in the two appearances of \(F_{\varepsilon (i,j,L)}\) in (216) gives the following expression for each summand
We continue with the following manipulations,
A similar expression holds for the second summand in (219). If we now neglect the third summand, as unrelated to the spin, and argue that the first is zero after integration in (220), substituting these back in (219) yields
In the Coulomb-\(\ell \)-gauge, we also have that
and substituting these expressions in (221), and using that \(\sigma \bigl (\varepsilon (i,L),\ell \bigr )\sigma \bigl (\ell ,\varepsilon (i,L)\bigr ) = (-1)^{r-1}\), gives
where we have used that \(-(-1)^{r}\sigma \bigl (j,\varepsilon (i,L)\bigr )\sigma \bigl (i,\varepsilon (j,L)\bigr ) = \sigma (L,i)\sigma (j,L)\). Indeed, using [7, Appendix A], we have \(\sigma (L,i)\sigma (j,L) = \sigma \bigl (i,\varepsilon (j,L)\bigr )\sigma \bigl (\varepsilon (i,L),j\bigr )\) and it also holds that \((-1)^{r-1}\sigma \bigl (j,\varepsilon (i,L)\bigr ) = \sigma \bigl (\varepsilon (i,L),j\bigr )\).
Getting back to the integral in (213), the \(\ell \)-spin component \(S_{ij}^\ell \) is then given by
For classical electromagnetism with \(r = 2\), \(k = 1\), \(n = 3\), and \(\ell = 0\), we have \(L = \emptyset \), \(\sigma (i,j)\sigma (j,i) = -1\), and the spin components are given by the standard formula (e.g. [10, Eq. (4.83)])
Continuing with the integral in (227), we express the potentials in terms of their normal-mode decomposition:
where \({\varvec{\xi }}_{{\bar{\ell }}} = {\varvec{\xi }}-{\varvec{\xi }}_\ell {{\mathbf {e}}}_\ell \) and similarly \({{\mathbf {x}}}_{{\bar{\ell }}} = {{\mathbf {x}}}-{{\mathbf {x}}}_\ell {{\mathbf {e}}}_\ell \), \(\chi _\ell = +\sqrt{-\varDelta _{\ell \ell } {\varvec{\xi }}_{{\bar{\ell }}}\cdot {\varvec{\xi }}_{{\bar{\ell }}}}\) and \({\varvec{\xi }}_{{\bar{\ell }},\pm }= {\varvec{\xi }}_{\bar{\ell }} \pm \chi _\ell {{\mathbf {e}}}_\ell \). Writing
we may thus evaluate the integral by using a multidimensional Dirac function as
Expanding the Fourier components of the potential in (234) yields
and similarly
Taking the product of (235) and (237) yields
Proceeding analogously with the second summand in (234), \({A}_{\varepsilon (j,L)}\partial _\ell {A}_{\varepsilon (i,L)}\), gives
With the change of variable \({\varvec{\xi }}_{{\bar{\ell }}} \rightarrow -{\varvec{\xi }}_{{\bar{\ell }}}\), and noting that \(-{\varvec{\xi }}_{{\bar{\ell }},\pm }= -({\varvec{\xi }}_{{\bar{\ell }}}\pm \chi _\ell {{\mathbf {e}}}_\ell ) = -{\varvec{\xi }}_{{\bar{\ell }}}\mp \chi _\ell {{\mathbf {e}}}_\ell \rightarrow +{\varvec{\xi }}_{{\bar{\ell }},\mp }\), we thus have
Combining (238) and (240) with its corresponding \(-1\) sign, cancelling common terms (assuming that the relevant quantities commute), and grouping common terms yields the following,
With the change of variable \({\varvec{\xi }}_{{\bar{\ell }}} \rightarrow -{\varvec{\xi }}_{{\bar{\ell }}}\), and noting again that \({\varvec{\xi }}_{{\bar{\ell }},\pm }\rightarrow -{\varvec{\xi }}_{{\bar{\ell }},\mp }\), we thus have as final result
Putting this equation back into (234) and then into (227) gives
The ij-th spin component \(S_{ij}^\ell \) coincides with the corresponding bivector component (79).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Martinez, A., Colombaro, I. & Font-Segura, J. On the angular momentum and spin of generalized electromagnetic field for r-vectors in (k, n) space-time dimensions. Eur. Phys. J. Plus 136, 1047 (2021). https://doi.org/10.1140/epjp/s13360-021-02023-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjp/s13360-021-02023-5