Open Access
This article is

- freely available
- re-usable

*Universe*
**2019**,
*5*(4),
88;
https://doi.org/10.3390/universe5040088

Article

The Gravitational Magnetoelectric Effect

^{1}

Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilberforce Road, Cambridge CB3 0WA, UK

^{2}

Center for Gravitational Physics, Yukawa Institute for Theoretical Physics, Kyoto University, Kitashirakawa Oiwakecho Sakyoku, Kyoto 606-8502, Japan

*

Correspondence: [email protected] (G.W.G.); [email protected] (M.C.W.)

^{†}

These authors contributed equally to this work.

Received: 6 March 2019 / Accepted: 27 March 2019 / Published: 1 April 2019

## Abstract

**:**

Electromagnetism in spacetime can be treated in terms of an analogue linear dielectric medium. In this paper, we discuss the gravitational analogue of the linear magnetoelectric effect, which can be found in multiferroic materials. While this is known to occur for metrics with non-zero mixed components, we show how it depends on the choice of spatial formalism for the electromagnetic fields, including differences in tensor weight, and also on the choice of coordinate chart. This is illustrated for Langevin–Minkowski, four charts of Schwarzschild spacetime, and two charts of pp gravitational waves.

Keywords:

magnetoelectric effect; general relativity; analogue models## 1. Introduction

In a linear dielectric medium, polarisation and magnetisation depend linearly on electric and magnetic fields, respectively. However, it is also possible for a magnetic field to induce polarisation, and for an electric field to induce magnetisation. In the following form, this is known as the linear magnetoelectric effect (cf. Landau and Lifshitz [1]),
where the standard electric and magnetic susceptibilities are denoted by ${\chi}_{e}^{ij}$ and ${\chi}_{m}^{ij}$, respectively, and the magnetoelectric effect is described by ${\alpha}^{ij}$. The first example of a material with an intrinsic magnetoelectric effect, Cr${}_{2}$O${}_{3}$, was found by Dzyaloshinskii [2] and Astrov [3]. More recently, multiferroics such as GaFeO${}_{3}$ were found to exhibit a much stronger magnetoelectric effect. In particular, Sawada and Nagaosa [4] showed that this gives rise to a Lorentz-type force acting on light, which yields an optical magnetoelectric effect that can produce polarisation-independent birefringence of light. For a review of the magnetoelectric material science and energy conditions, see, e.g., [5].

$$\begin{array}{cc}\hfill {P}^{i}& ={\epsilon}_{0}{\chi}_{e}^{ij}{E}_{j}+{\alpha}^{ij}{H}_{j}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\mu}_{0}{M}^{i}& ={\mu}_{0}{\chi}_{m}^{ij}{H}_{j}+{\alpha}^{ji}{E}_{j}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

In this article, we discuss the analogue of the linear magnetoelectric effect for electromagnetism in curved spacetimes. It is well-known that such an effect occurs for metrics with non-zero mixed time-space components ${g}_{0i}$ (e.g., [6,7]), and that this corresponds to a magnetoelectric or moving medium (see, e.g., [8] for a recent review, and [9] for the metric approach to transformation optics). Resulting optical effects, such as rotation of the plane of polarisation for rotating spacetimes, have been studied already in the early literature (e.g., [6,10]), even before the Kerr solution was found (cf. [7]; for a more recent discussion of the gravitational Faraday effect see, e.g., [11,12]). However, since the electric and magnetic susceptibilities and the magnetoelectric effect in Equations (1) and (2) are spatial, they depend on the definition of the spatial electromagnetic fields. However, this definition can be done in several ways, resulting in a subtle difference between tensor fields and tensor density fields.

Thus, the main purpose of the present article is to clarify this dependence by explicitly computing and comparing the gravitational magnetoelectric effects ${\alpha}^{ij}$ for different choices of spatial electromagnetic fields, and coordinate charts, which can, of course, capture a moving medium as well. We begin by reviewing two choices of spatial formalism in Section 2, followed by the identification of the corresponding gravitational magnetoelectric effects, in addition to the relative permittivities and permeabilities, in Section 3. This shows that, irrespective of the formalism considered, the relative permittivities equal the relative permeabilities.

Moreover, while the gravitational magnetoelectric effect is well-known for rotating spacetimes such as the Kerr, as mentioned above, it is perhaps surprising that it also occurs for suitable charts of the static Schwarzschild, and even Minkowski spacetime. Thus, we discuss the implications for the rotating Langevin form of Minkowski, four coordinate charts of the Schwarzschild spacetime, and two charts of pp gravitational waves in Section 4, to exhibit explicitly the dependence of these quantities on the choice of spatial formalism and of chart. Finally, we conclude in Section 5.

Throughout the paper, we use Greek indices for spacetime and Latin indices for space, apply Einstein’s convention for summing over repeated indices, and employ the metric signature $(-,+,+,+)$. We also use Levi–Civita symbols in three-space, as totally antisymmetric tensor densities with ${\u03f5}^{123}=1,\phantom{\rule{4pt}{0ex}}{\u03f5}_{123}=1$ as usual. Regarding units, we set Rømer’s constant (the speed of light) $c={\left({\epsilon}_{0}{\mu}_{0}\right)}^{-\frac{1}{2}}=1$. With this choice, it may be noted that the components of the magnetoelectric effect ${\alpha}^{ij}$, having dimension $T{L}^{-1}$ in SI units, are dimensionless similar to the susceptibilities. Moreover, $\left[E\right]=\left[B\right]$ and $\left[D\right]=\left[H\right]$.

## 2. Spacetime as a Medium

#### 2.1. Constitutive Tensor Density

Electromagnetism in a linear medium can be described by the field tensor ${F}_{\mu \nu}$ and
where ${\chi}^{\alpha \beta \gamma \delta}$ is called the constitutive tensor density (e.g., Post [13], Chapter 6), which characterises the properties of the medium and has area metric symmetries
Constitutive relations of the form in Equation (3) have a long history, occurring already in Bateman’s discussion of Kummer’s quartic surface [14], and are the subject of premetric electrodynamics (e.g., [15]). For a discussion of area metric electromagnetism and more general tensorial backgrounds, see, e.g., [16]. Note also that the symmetries in Equation (4) imply that
Then Maxwell’s equations in the absence of charges and currents are
Now, if the medium is simply a vacuum spacetime with Lorentzian metric ${g}_{\mu \nu}$, as we assume from now on, the constitutive tensor density is (cf. Post [13], Chapter 9)
where $g=det{g}_{\mu \nu}$. Since ${F}_{\mu \nu}$ and ${G}^{\mu \nu}$ are antisymmetric, in four spacetime dimensions they have six independent components each, corresponding to the ${E}_{i}$, ${B}^{i}$ fields, and the ${D}^{i}$ and ${H}_{i}$ fields, respectively, in space. However, there are different choices for this spatial slicing, yielding eventually different identifications of the analogue model properties. In the following, we consider two important examples.

$${G}^{\alpha \beta}=\frac{1}{2}{\chi}^{\alpha \beta \gamma \delta}{F}_{\gamma \delta}\phantom{\rule{0.166667em}{0ex}},$$

$${\chi}^{\alpha \beta \gamma \delta}={\chi}^{\gamma \delta \alpha \beta}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{\chi}^{\alpha \beta \gamma \delta}=-{\chi}^{\beta \alpha \gamma \delta}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{\chi}^{\alpha \beta \gamma \delta}=-{\chi}^{\alpha \beta \delta \gamma}\phantom{\rule{0.166667em}{0ex}}.$$

$${G}^{\mu \nu}=2\frac{\delta}{\delta {F}_{\mu \nu}}\int {\mathrm{d}}^{4}x\phantom{\rule{4pt}{0ex}}\mathcal{L}\phantom{\rule{1.em}{0ex}}\mathrm{where}\phantom{\rule{1.em}{0ex}}\mathcal{L}=\frac{1}{8}{\chi}^{\alpha \beta \gamma \delta}{F}_{\alpha \beta}{F}_{\gamma \delta}\phantom{\rule{0.166667em}{0ex}}.$$

$$\begin{array}{cc}\hfill {\partial}_{[\alpha}{F}_{\beta \gamma ]}& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{\beta}{G}^{\alpha \beta}& =0\phantom{\rule{0.166667em}{0ex}}.\hfill \end{array}$$

$${\chi}^{\alpha \beta \gamma \delta}=\sqrt{-g}\left({g}^{\alpha \gamma}{g}^{\beta \delta}-{g}^{\alpha \delta}{g}^{\beta \gamma}\right)\phantom{\rule{0.166667em}{0ex}},$$

#### 2.2. Zero Weight Formalism

First, we review the formalism used by Frolov and Shoom [17] in the context of spinoptics, drawing on earlier work by Torres del Castillo and Mercado-Pérez [18]. In this case, the metric of three-space is defined according to
where
and the spacetime line element takes the form
For static spacetimes with ${g}_{0i}=0$, the spatial metric ${\gamma}_{ij}$ reduces to the optical metric. This optical metric is defined as the Riemannian metric in three-dimensional space whose geodesics are spatial light rays, by Fermat’s principle. In the case of stationary metrics with ${g}_{0i}\ne 0$, spatial light rays obeying Fermat’s principle are not geodesics of the Riemannian metric ${\gamma}_{ij}$, but of a Randers–Finsler optical geometry. Indeed, the Randers data can be read off immediately from Equation (11) as ${\gamma}_{ij}$ and ${a}_{i}$, and can be converted to the data defining the corresponding Zermelo problem. For a detailed description of this optical geometry see, e.g., [19]. It may also be noted that the metric in Equation (9) is invariant under both signature change and conformal transformation ${g}_{\mu \nu}\mapsto {\mathsf{\Omega}}^{2}{g}_{\mu \nu}$. Furthermore, given that ${g}_{ij}{g}^{jk}={\delta}_{i}^{k}$ and defining ${\gamma}^{ij}$ such that
as well, one finds that components of the inverse spacetime metric in terms of the spatial metric are given by
Furthermore, note that,
by applying a standard rule for block matrices. Note also that the three-dimensional Levi–Civita symbols are tensor densities, which are related to the totally antisymmetric tensors according to
where $\gamma =det{\gamma}_{ij}$. Now, the spatial components of the electromagnetic fields are defined as
Spatial duals are defined with respect to $\gamma $, thus ${H}^{i}={\gamma}^{ij}{H}_{j}$ and
With these definitions, Maxwell’s equations take the following form: from Equation (6), one obtains,
where ${\nabla}_{i}$ refers to the covariant derivative with respect to ${\gamma}_{ij}$, and we have used that fact that
The other set (Equation (7)) of Maxwell’s equations yields,
using Equation (14) and
Notice that, with these definitions, the standard form of the spatial Maxwell’s equations is recovered for stationary spacetimes where ${\partial}_{0}(ln\sqrt{\gamma})=0$. Moreover, one finds the following constitutive relations,
since, of course, ${\epsilon}_{0}{\mu}_{0}=1$ in our choice of units. In addition,
To summarise, all spatial electromagnetic fields are defined as vector or covector fields, that is, having zero tensor weight, and the constitutive relations in Equations (27) and (28) are vector field equations. We now consider a somewhat different prescription.

$${\gamma}_{ij}=-\frac{{g}_{ij}}{{g}_{00}}+{a}_{i}{a}_{j}\phantom{\rule{0.166667em}{0ex}},$$

$${a}_{i}=-\frac{{g}_{0i}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},$$

$$\mathrm{d}{s}^{2}=-{g}_{00}\left(-{(\mathrm{d}t-{a}_{i}\mathrm{d}{x}^{i})}^{2}+{\gamma}_{ij}\mathrm{d}{x}^{i}\mathrm{d}{x}^{j}\right)\phantom{\rule{0.166667em}{0ex}}.$$

$${\gamma}_{ij}{\gamma}^{jk}={\delta}_{i}^{k}$$

$${g}^{00}=-\frac{{\gamma}^{ij}{a}_{i}{a}_{j}-1}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{g}^{0i}=-\frac{{\gamma}^{ij}{a}_{j}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{g}^{ij}=-\frac{{\gamma}^{ij}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}}.$$

$$g=det{g}_{\mu \nu}={g}_{00}det({g}_{ij}-{g}_{i0}{g}_{00}^{-1}{g}_{0j})=-{g}_{00}^{4}\gamma \phantom{\rule{0.166667em}{0ex}},$$

$${\u03f5}_{ijk}=\frac{{e}_{ijk}}{\sqrt{\gamma}}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{\u03f5}^{ijk}=\sqrt{\gamma}{e}^{ijk}\phantom{\rule{0.166667em}{0ex}},$$

$$\begin{array}{cc}\hfill {E}_{i}& ={F}_{i0}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a covector field},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {B}^{i}& =\frac{1}{2}{e}^{ijk}{F}_{jk}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a vector field},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {D}^{i}& ={\epsilon}_{0}{(-{g}_{00})}^{2}{F}^{0i}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a vector field},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {H}_{i}& =\frac{1}{2}{e}_{ijk}{H}^{jk}=\frac{1}{2}{\mu}_{0}^{-1}{(-{g}_{00})}^{2}{e}_{ijk}{F}^{jk},\phantom{\rule{1.em}{0ex}}\text{a covector field}.\hfill \end{array}$$

$$\begin{array}{cc}\hfill {H}_{ij}& ={\gamma}_{ia}{\gamma}_{jb}{H}^{ab}={\mu}_{0}^{-1}{\gamma}_{ia}{\gamma}_{jb}{(-{g}_{00})}^{2}{F}^{ab}\hfill \\ & ={\mu}_{0}^{-1}({F}_{ij}+{E}_{i}{a}_{j}-{E}_{j}{a}_{i})\phantom{\rule{0.166667em}{0ex}}.\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{i}\left(\sqrt{\gamma}{B}^{i}\right)& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{0}(ln\sqrt{\gamma}){B}^{i}+{\partial}_{0}{B}^{i}+{e}^{ijk}{\nabla}_{j}{E}_{k}& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$${e}^{ijk}{\nabla}_{j}{E}_{k}=\frac{{\u03f5}^{ijk}}{\sqrt{\gamma}}{\partial}_{j}{E}_{k}\phantom{\rule{0.166667em}{0ex}}.$$

$$\begin{array}{cc}\hfill {\partial}_{i}\left(\sqrt{\gamma}{D}^{i}\right)& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{0}(ln\sqrt{\gamma}){D}^{i}+{\partial}_{0}{D}^{i}-{e}^{ijk}{\nabla}_{j}{H}_{k}& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$${\partial}_{j}\left(\sqrt{\gamma}{(-{g}_{00})}^{2}{F}^{ij}\right)={\nabla}_{j}\left(\sqrt{\gamma}{(-{g}_{00})}^{2}{F}^{ij}\right)=\sqrt{\gamma}{\nabla}_{j}\left({(-{g}_{00})}^{2}{F}^{ij}\right)={\mu}_{0}\sqrt{\gamma}{e}^{ijk}{\nabla}_{j}{H}_{k}.$$

$$\begin{array}{cc}\hfill {E}^{i}& ={\gamma}^{ij}{E}_{j}={\gamma}^{ij}{g}_{j\mu}{g}_{0\nu}{F}^{\mu \nu}\hfill \\ & =-{\left({g}_{00}\right)}^{2}{F}^{0i}-{g}_{00}{g}_{0j}{F}^{ij}={\epsilon}_{0}^{-1}{D}^{i}+{\mu}_{0}{e}^{ijk}{a}_{j}{H}_{k}\hfill \\ \hfill & ={\epsilon}_{0}^{-1}({D}^{i}+{e}^{ijk}{a}_{j}{H}_{k})\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$${H}^{i}={\mu}_{0}^{-1}({B}^{i}-{e}^{ijk}{a}_{j}{E}_{k})\phantom{\rule{0.166667em}{0ex}}.$$

#### 2.3. Unit Weight Formalism

The second spatial formalism reviewed here was used, e.g., by Plebanski [6] and Volkov, Izmest’ev and Skrotskii [20], defining a spatial metric ${\tilde{\gamma}}_{ij}$ which is conformally related to ${\gamma}_{ij}$ of Equation (9),
with its inverse denoted by ${\tilde{\gamma}}^{ij}$. As with Equation (9), this metric is invariant under sign change and conformal transformation of the spacetime metric. By the same token as above, we find the following components of the inverse metric,
where ${a}_{i}=-{\textstyle \frac{{g}_{0i}}{{g}_{00}}}$ as before, but we also define
Furthermore, note that,
The electromagnetic field components are now defined as follows,
Now, given these definitions, Maxwell’s Equation (6) becomes
and Equation (7) is given by,
Comparing with the standard spatial Maxwell’s equations as well as the definitions of Section 2.2, it may be noted that divergences here are not with respect to the spatial metric ${\tilde{\gamma}}_{ij}$. Nevertheless, they are appealing for their formal identity with the standard flat space set of Maxwell’s equations in vector notation.

$${\tilde{\gamma}}_{ij}=-{g}_{00}{\gamma}_{ij}={g}_{ij}-\frac{{g}_{0i}{g}_{0j}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},$$

$${g}^{00}={\tilde{\gamma}}^{ij}{a}_{i}{a}_{j}+\frac{1}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{g}^{0i}={\tilde{\gamma}}^{ij}{a}_{j}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}{g}^{ij}={\tilde{\gamma}}^{ij}\phantom{\rule{0.166667em}{0ex}},$$

$${g}^{i}=-{g}^{0i}=-{\tilde{\gamma}}^{ij}{a}_{j}\phantom{\rule{0.166667em}{0ex}}.$$

$$g={g}_{00}\tilde{\gamma}\phantom{\rule{0.166667em}{0ex}}.$$

$$\begin{array}{cc}\hfill {\tilde{E}}_{i}& ={F}_{i0}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a covector field},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\tilde{B}}^{i}& =\frac{1}{2}{\u03f5}^{ijk}{F}_{jk}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a vector density field},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\tilde{D}}^{i}& ={\epsilon}_{0}{G}^{0i}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a vector density field},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\tilde{H}}_{i}& =\frac{1}{2}{\mu}_{0}^{-1}{\u03f5}_{ijk}{G}^{jk}\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}\text{a covector field}\left(\mathrm{the}\sqrt{\tilde{\gamma}}\mathrm{cancel}\right).\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{i}{\tilde{B}}^{i}& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{0}{\tilde{B}}^{i}+{\u03f5}^{ijk}{\partial}_{j}{\tilde{E}}_{k}& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{i}{\tilde{D}}^{i}& =0\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\partial}_{0}{\tilde{D}}^{i}-{\u03f5}^{ijk}{\partial}_{j}{\tilde{H}}_{k}& =0\phantom{\rule{0.166667em}{0ex}}.\hfill \end{array}$$

Regarding the constitutive relations, one obtains the following relationships whose more detailed derivation can be found in Appendix A,
and also
To summarise, unlike the previous case, only some of the spatial electromagnetic fields are defined as tensors (electric and magnetic covector fields) but some as tensor densities (electric displacement and magnetic induction vector density fields). The constitutive relations in Equations (41) and (42) are thus equations of vector density fields of weight $+1$. Thus, we call this the unit weight formalism in contrast to the zero weight formalism of Section 2.2.

$${\epsilon}_{0}^{-1}{\tilde{D}}^{i}+{\mu}_{0}{\u03f5}^{ijk}{a}_{j}{\tilde{H}}_{k}=-\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ik}{\tilde{E}}_{k}\phantom{\rule{0.166667em}{0ex}},$$

$$-{\mu}_{0}\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ia}{\tilde{H}}_{a}=-{\u03f5}^{ijk}{a}_{j}{\tilde{E}}_{k}+{\tilde{B}}^{i}\phantom{\rule{0.166667em}{0ex}}.$$

Given the definitions of these two formalisms, we are now ready to state and compare the corresponding gravitational magnetoelectric effects.

## 3. Gravitational Magnetoelectric Effect

Using the spatial electromagnetic fields, one can rewrite Equations (1) and (2) as follows,
and take this to define the relative permittivity ${\epsilon}^{ij}$, the relative permeability ${\mu}^{ij}$, and the linear magnetoelectric effect ${\alpha}^{ij}$. Now, turning first to zero weight formalism of Section 2.2 and comparing Equation (43) with a recast Equation (27), that is,
and Equation (44) with a recast Equation (28), that is,
one finds, using Equation (13),
or, in other words, electric and magnetic susceptibilities that are vanishing and are position-independent,
The magnetoelectric effect can now also be read off, using Equation (10),
which, in this case, is found to be an antisymmetric tensor with zero tensor weight.

$$\begin{array}{cc}\hfill {D}^{i}& ={\epsilon}_{0}{\epsilon}^{ij}{E}_{j}+{\alpha}^{ij}{H}_{j}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {B}^{i}& ={\mu}_{0}{\mu}^{ij}{H}_{j}+{\alpha}^{ji}{E}_{j}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$${D}^{i}={\epsilon}_{0}{\gamma}^{ij}{E}_{j}-{e}^{ikj}{a}_{k}{H}_{j}\phantom{\rule{0.166667em}{0ex}},$$

$${B}^{i}={\mu}_{0}{\gamma}^{ij}{H}_{j}+{e}^{ikj}{a}_{k}{E}_{j}\phantom{\rule{0.166667em}{0ex}},$$

$${\epsilon}^{ij}={\mu}^{ij}={\gamma}^{ij}=-{g}_{00}{g}^{ij}$$

$${\chi}_{e}^{ij}=0={\chi}_{m}^{ij}\phantom{\rule{0.166667em}{0ex}}.$$

$${\alpha}^{ij}={e}^{ijk}{a}_{k}=-{e}^{ijk}\frac{{g}_{0k}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},$$

Next, consider the unit weight formalism discussed in Section 2.3, again using tildes to distinguish fields from the first case. Now, by comparing Equation (43) with a rewritten Equation (41), that is,
where we have used again that ${\epsilon}_{0}{\mu}_{0}=1$, and Equation (44) with a rewritten Equation (42), that is,
we see that, using Equation (30),
Thus, compared with Equation (47), the medium is still impedance-matched, with relative permittivity and permeability being equal. However, these are now tensor densities of weight $+1$. Finally, the corresponding magnetoelectric effect is
which now becomes an antisymmetric tensor density of weight $+1$, in contrast to Equation (49).

$${\tilde{D}}^{i}=-{\epsilon}_{0}\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ij}{\tilde{E}}_{j}-{\u03f5}^{ikj}{a}_{k}{\tilde{H}}_{j}\phantom{\rule{0.166667em}{0ex}},$$

$${\tilde{B}}^{i}=-{\mu}_{0}\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ij}{\tilde{H}}_{j}+{\u03f5}^{ikj}{a}_{k}{\tilde{E}}_{j}\phantom{\rule{0.166667em}{0ex}},$$

$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=-\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ij}=-\sqrt{-g}\frac{{g}^{ij}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}}.$$

$${\tilde{\alpha}}^{ij}={\u03f5}^{ijk}{a}_{k}=-{\u03f5}^{ijk}\frac{{g}_{0k}}{{g}_{00}}\phantom{\rule{0.166667em}{0ex}},$$

Before moving on to applications, we close this section with some general remarks. First, notice that the relative permittivities and permeabilities defined by Equation (47) as well as Equation (52) are invariant under change of spacetime signature, that is invariant under ${g}_{\mu \nu}\mapsto -{g}_{\mu \nu}$. They are also invariant under Weyl rescalings of the metric, that is ${g}_{\mu \nu}\mapsto {\mathsf{\Omega}}^{2}{g}_{\mu \nu}$. Both symmetries also hold for the magnetoelectric effect as defined by Equation (49), but for Equation (53) we only have invariance under signature change.

## 4. Applications

#### 4.1. Minkowski-Langevin

Our first example is the Minkowski spacetime in Langevin form, that is, in a rotating frame as used to derive the Sagnac effect. Starting from Minkowski in cylindrical polar coordinates,
then with $\phi =\tilde{\phi}+\omega t$, where $\omega $ is an angular speed, one obtains the Langevin form
In this frame, the zero weight formalism yields
for the relative permittivity and permeability, using Equation (47), and
for the magnetoelectric effect, from Equation (49). By contrast, the unit weight formalism gives
and
by applying Equations (52) and (53), respectively, to Equation (55). These non-vanishing magnetoelectric effects even for a flat spacetime illustrate the importance of the choice of frame. This will be seen even more clearly in the following, by considering four different charts for Schwarzschild.

$$\mathrm{d}{s}^{2}=-\mathrm{d}{t}^{2}+\mathrm{d}{\rho}^{2}+{\rho}^{2}\mathrm{d}{\phi}^{2}+\mathrm{d}{z}^{2}\phantom{\rule{0.166667em}{0ex}},$$

$$\mathrm{d}{s}^{2}=-\left(1-{\rho}^{2}{\omega}^{2}\right){\left(\mathrm{d}t-\frac{{\rho}^{2}\omega}{1-{\rho}^{2}{\omega}^{2}}\mathrm{d}\tilde{\phi}\right)}^{2}+\mathrm{d}{\rho}^{2}+\frac{{\rho}^{2}}{1-{\rho}^{2}{\omega}^{2}}\mathrm{d}{\tilde{\phi}}^{2}+\mathrm{d}{z}^{2}\phantom{\rule{0.166667em}{0ex}}.$$

$${\epsilon}^{ij}={\mu}^{ij}=\left(1-{\rho}^{2}{\omega}^{2}\right)\left[\begin{array}{ccc}1& 0& 0\\ 0& {\textstyle \frac{1-{\rho}^{2}{\omega}^{2}}{{\rho}^{2}}}& 0\\ 0& 0& 1\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

$${\alpha}^{ij}=\rho \omega \left(1-{\rho}^{2}{\omega}^{2}\right)\left[\begin{array}{ccc}0& 0& -1\\ 0& 0& 0\\ 1& 0& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\frac{\rho}{1-{\rho}^{2}{\omega}^{2}}\left[\begin{array}{ccc}1& 0& 0\\ 0& {\textstyle \frac{1-{\rho}^{2}{\omega}^{2}}{{\rho}^{2}}}& 0\\ 0& 0& 1\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

$${\tilde{\alpha}}^{ij}=\frac{{\rho}^{2}\omega}{1-{\rho}^{2}{\omega}^{2}}\left[\begin{array}{ccc}0& 0& -1\\ 0& 0& 0\\ 1& 0& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

#### 4.2. Schwarzschild Spacetime

#### 4.2.1. Schwarzschild Coordinates

Since the Schwarzschild metric ${g}_{ij}$ in Schwarzschild coordinates with line element
is manifestly static, ${g}_{0i}=0$, we find immediately from Equations (49) and (53) that the gravitational magnetoelectric effect vanishes for both spatial formalisms, ${\alpha}^{ij}=0={\tilde{\alpha}}^{ij}$. In the case of the former with zero weight, the relative permittivity and permeability given by Equation (47) are
and, in the latter case with unit weight, Equation (52) yields
Comparison of Equations (61) and (62) shows that the two spatial formalisms give rise to different relative permittivities and permeabilities, even in the asymptotic Minkowski regime.

$$\mathrm{d}{s}^{2}=-\left(1-\frac{2m}{r}\right)\mathrm{d}{t}^{2}+\frac{\mathrm{d}{r}^{2}}{1-\frac{2m}{r}}+{r}^{2}\left(\mathrm{d}{\theta}^{2}+{sin}^{2}\theta \mathrm{d}{\varphi}^{2}\right)$$

$${\epsilon}^{ij}={\mu}^{ij}=\left(1-\frac{2m}{r}\right)\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\frac{{r}^{2}|sin\theta |}{1-\frac{2m}{r}}\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

#### 4.2.2. Null Cone Coordinates

Next, we turn to null cone coordinates, focusing on advanced Eddington–Finkelstein coordinates in which Schwarzschild is, of course, no longer manifestly static. Given the coordinate transformation,
the line element in Equation (60) now takes the form
and we can apply the two formalisms in this chart, with ${x}^{0}=v$. Then, the zero weight spatial formalism yields the following expressions for the relative permittivity and permeability according to Equation (47),
and the corresponding gravitational magnetoelectric effect in Equation (49) is
By contrast, for unit weight, Equation (52) implies that the relative permittivity and permeability is
while the gravitational magnetoelectric effect (Equation (53)) now becomes
Thus, comparing Equation (61) with Equation (65) and Equation (62) with Equation (67), we conclude that the relative permittivities and permeabilities of the two spatial formalisms are identical for Schwarzschild coordinates and advanced Eddington–Finkelstein coordinates. Moreover, it is interesting that the gravitational magnetoelectric field, which vanishes in Schwarzschild coordinates, is non-vanishing for advanced Eddington–Finkelstein. However, the expressions differ in the two formalisms: for zero weight, Equation (66), the effect vanishes for $r\to \infty $; by contrast, for unit weight, Equation (68), the effect tends to a constant at radial infinity.

$$\mathrm{d}t=\mathrm{d}v-\frac{\mathrm{d}r}{1-\frac{2m}{r}}\phantom{\rule{0.166667em}{0ex}},$$

$$\mathrm{d}{s}^{2}=-\left(1-\frac{2m}{r}\right)\mathrm{d}{v}^{2}+2\mathrm{d}r\mathrm{d}v+{r}^{2}(\mathrm{d}{\theta}^{2}+{sin}^{2}\theta \mathrm{d}{\varphi}^{2})\phantom{\rule{0.166667em}{0ex}},$$

$${\epsilon}^{ij}={\mu}^{ij}=\left(1-\frac{2m}{r}\right)\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

$${\alpha}^{ij}=\frac{{\left(1-\frac{2m}{r}\right)}^{2}}{{r}^{2}|sin\theta |}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& {\textstyle \frac{1}{1-{\textstyle \frac{2m}{r}}}}\\ 0& -{\textstyle \frac{1}{1-{\textstyle \frac{2m}{r}}}}& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\frac{{r}^{2}|sin\theta |}{1-\frac{2m}{r}}\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

$${\tilde{\alpha}}^{ij}=\frac{1}{1-\frac{2m}{r}}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 1\\ 0& -1& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$

We conclude this section with a remark on Kruskal coordinates. Introducing both advanced and retarded null coordinates $v,w$, then instead of Equation (64) we have
and recasting this line element with $t=\frac{1}{2}(v+w)$ and $x=\frac{1}{2}(v+w)$, we see that the 2-space $\theta =\mathrm{const}.,\phantom{\rule{4pt}{0ex}}\varphi =\mathrm{const}.$ is conformally Minkowski. Thus, the metric is diagonal in the chart $(t,x,\theta ,\varphi )$, and consequently no magnetoelectric effect occurs.

$$\mathrm{d}{s}^{2}=-\left(1-\frac{2m}{r}\right)\mathrm{d}v\mathrm{d}w+{r}^{2}(\mathrm{d}{\theta}^{2}+{sin}^{2}\theta \mathrm{d}{\varphi}^{2})\phantom{\rule{0.166667em}{0ex}},$$

#### 4.2.3. Painlevé–Gullstrand Coordinates

Let us now consider Schwarzschild in Painlevé–Gullstrand coordinates, which are defined for a freely falling observer such that Equation (60) takes the form
Now, on the one hand, the relative permittivities and permeabilities in the zero weight case with Equation (47) yielding
$${\epsilon}^{ij}={\mu}^{ij}=\left(1-\frac{2m}{r}\right)\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$
and the unit weight case with Equation (52) giving
$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\frac{{r}^{2}|sin\theta |}{1-\frac{2m}{r}}\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$
are again the same as for Schwarzschild coordinates and for advanced Eddington–Finkelstein coordinates, respectively. On the other hand, the gravitational magnetoelectric effects for Painlevé–Gullstrand are
in the zero weight formalism (Equation (49)), and
in the unit weight formalism (Equation (53)). While Equations (73) and (74) are again non-zero, unlike in Schwarzschild coordinates, they differ from the corresponding effects in advanced Eddington–Finkelstein coordinates. However, it may be noted that the gravitational magnetoelectric effect vanishes for both spatial formalisms, Equations (73) and (74), in the Minkowski limit $r\to \infty $, unlike the previous case.

$$\mathrm{d}{s}^{2}=-\left(1-\frac{2m}{r}\right)\mathrm{d}{\tilde{t}}^{2}+2\sqrt{\frac{2m}{r}}\mathrm{d}\tilde{t}\mathrm{d}r+\mathrm{d}{r}^{2}+{r}^{2}\left(\mathrm{d}{\theta}^{2}+{sin}^{2}\theta \mathrm{d}{\varphi}^{2}\right)\phantom{\rule{0.166667em}{0ex}}.$$

$${\alpha}^{ij}=\frac{{\left(1-\frac{2m}{r}\right)}^{2}}{{r}^{2}|sin\theta |}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& {\textstyle \frac{1}{1-{\textstyle \frac{2m}{r}}}}\sqrt{{\textstyle \frac{2m}{r}}}\\ 0& -{\textstyle \frac{1}{1-{\textstyle \frac{2m}{r}}}}\sqrt{{\textstyle \frac{2m}{r}}}& 0\end{array}\right]$$

$${\tilde{\alpha}}^{ij}=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& {\textstyle \frac{1}{1-{\textstyle \frac{2m}{r}}}}\sqrt{{\textstyle \frac{2m}{r}}}\\ 0& -{\textstyle \frac{1}{1-{\textstyle \frac{2m}{r}}}}\sqrt{{\textstyle \frac{2m}{r}}}& 0\end{array}\right]$$

#### 4.2.4. Kerr–Schild Coordinates

In Kerr–Schild coordinates, the spacetime metric is expressed as
where ${l}_{\mu}$ is null with respect to the Minkowski metric ${\eta}_{\mu \nu}$. Defining ${l}^{\mu}={\eta}^{\mu \nu}{l}_{\nu}$, the inverse of the metric is
so that ${l}_{\mu}$ is also null with respect to ${g}^{\mu \nu}$. It also follows that $det{g}_{\mu \nu}=-1$ in Kerr–Schild coordinates. Thus, they are a form of Cartesian coordinates for spacetime in which the metric equals its linear approximation1.

$${g}_{\mu \nu}={\eta}_{\mu \nu}+{l}_{\mu}{l}_{\nu}\phantom{\rule{0.166667em}{0ex}},$$

$${g}^{\mu \nu}={\eta}^{\mu \nu}-{l}^{\mu}{l}^{\nu}\phantom{\rule{0.166667em}{0ex}},$$

In fact, if we define $T=v-r$ with v from the advanced Eddington–Finkelstein coordinates, then the Schwarzschild metric in Equation (60) is expressed in Kerr–Schild form in Equation (75) with
where ${r}^{2}={x}^{2}+{y}^{2}+{z}^{2}$, and, changing to polar coordinates, the line element becomes
One can now derive the relative permittivity and permeability in the zero weight formalism, to find
$${\epsilon}^{ij}={\mu}^{ij}=\left(1-\frac{2m}{r}\right)\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$
from Equation (47), and in the unit weight formalism,
$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\frac{{r}^{2}|sin\theta |}{1-\frac{2m}{r}}\left[\begin{array}{ccc}1-{\textstyle \frac{2m}{r}}& 0& 0\\ 0& {\textstyle \frac{1}{{r}^{2}}}& 0\\ 0& 0& {\textstyle \frac{1}{{r}^{2}{sin}^{2}\theta}}\end{array}\right]\phantom{\rule{0.166667em}{0ex}}.$$
from Equation (52). The magnetoelectric effects in Equations (49) and (53) are
and
respectively. Once again, we see that the relative permittivities and permeabilities in this chart are identical to their counterparts in the charts discussed before, but the corresponding magnetoelectric effects are different. In the case of Painlevé–Gullstrand coordinates, the magnetoelectric effect may be attributed to the fact that one is using a coordinate system adapted to an ingoing congruence of time-like geodesics, each of zero kinetic energy. By contrast, in the case of Kerr–Schild coordinates, the congruence is null and aligned along the ingoing principal null direction of the Weyl tensor.

$${l}_{\mu}=\sqrt{\frac{2m}{r}}\left(1,\frac{x}{r},\frac{y}{r},\frac{z}{r}\right)\phantom{\rule{0.166667em}{0ex}},$$

$$\mathrm{d}{s}^{2}=-\mathrm{d}{T}^{2}+\mathrm{d}{r}^{2}+{r}^{2}(\mathrm{d}{\theta}^{2}+{sin}^{2}\theta \mathrm{d}{\varphi}^{2})+\frac{2m}{r}{(\mathrm{d}T+\mathrm{d}r)}^{2}\phantom{\rule{0.166667em}{0ex}}.$$

$${\alpha}^{ij}=\frac{{\left(1-\frac{2m}{r}\right)}^{2}}{{r}^{2}|sin\theta |}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& {\textstyle \frac{2m}{r}}\\ 0& -{\textstyle \frac{2m}{r}}& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

$${\tilde{\alpha}}^{ij}=\frac{1}{1-\frac{2m}{r}}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& {\textstyle \frac{2m}{r}}\\ 0& -{\textstyle \frac{2m}{r}}& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

#### 4.3. Gravitational Waves

#### 4.3.1. Baldwin–Jeffery-Rosen Coordinates

As final application, we consider linearly polarised plane (pp) gravitational waves, first in Baldwin–Jeffery–Rosen2 coordinates. These are defined by a chart ${x}^{\mu}=(u,v,{x}^{I})$, with $I=1,2$, where $u,v$ are null coordinates with respect to the Minkowski metric, such that the spacetime line element is given by
Considering gravitational waves travelling in the x-direction, with ${x}^{I}=(y,z)$ say, we can write
such that Equation (83) becomes
and use this to compute the relative permittivities and permeabilities in the zero weight and unit weight formalisms, that is,
from Equation (47), where ${\left({A}^{-1}\right)}^{IJ}$ is the inverse of ${A}_{IJ}$, and
from Equation (52). It is interesting to note that the corresponding magnetoelectric effects vanish in both formalisms,
again from Equations (49) and (53), although the metric in Equation (83) has a mixed term. (The results in the unit weight formalism, Equations (87) and (89), have already been pointed out in [23].) We now change chart and find a rather different situation.

$$\mathrm{d}{s}^{2}=2\mathrm{d}u\mathrm{d}v+{A}_{IJ}\left(u\right)\mathrm{d}{x}^{I}\mathrm{d}{x}^{J}\phantom{\rule{0.166667em}{0ex}}.$$

$$u=\frac{1}{\sqrt{2}}(x-t)\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}v=\frac{1}{\sqrt{2}}(x+t)\phantom{\rule{0.166667em}{0ex}},$$

$$\mathrm{d}{s}^{2}=-\mathrm{d}{t}^{2}+\mathrm{d}{x}^{2}+{A}_{IJ}\left(u\right)\mathrm{d}{x}^{I}\mathrm{d}{x}^{J}\phantom{\rule{0.166667em}{0ex}},$$

$${\epsilon}^{ij}={\mu}^{ij}=\left[\begin{array}{ccc}1& 0& 0\\ 0& {\left({A}^{-1}\right)}^{11}& {\left({A}^{-1}\right)}^{12}\\ 0& {\left({A}^{-1}\right)}^{21}& {\left({A}^{-1}\right)}^{22}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\sqrt{detA}\left[\begin{array}{ccc}1& 0& 0\\ 0& {\left({A}^{-1}\right)}^{11}& {\left({A}^{-1}\right)}^{12}\\ 0& {\left({A}^{-1}\right)}^{21}& {\left({A}^{-1}\right)}^{22}\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

$$\begin{array}{cc}\hfill {\alpha}^{ij}& =0\phantom{\rule{0.166667em}{0ex}},\end{array}$$

$$\begin{array}{cc}\hfill {\tilde{\alpha}}^{ij}& =0\phantom{\rule{0.166667em}{0ex}},\end{array}$$

#### 4.3.2. Brinkmann Coordinates

In Brinkmann coordinates, ${x}^{\mu}=(U,V,{X}^{I})$, with $I=1,2$, where $U,V$ are null with respect to Minkowski, the line element of a pp gravitational wave is
and ${K}_{IJ}$ is symmetric, trace-free and an arbitrary function of its argument U. Again, considering gravitational waves in the X-direction, with ${X}^{I}=(Y,Z)$, we put
and write
for short. Then, Equation (90) becomes
Comparing Equations (93) and (78), one recognises that in Brinkmann coordinates the metric is of Kerr–Schild form, and hence equal to its own linearised approximation, a classic result by Xanthopoulos [24]. For a discussion of the implications of this fact for graviton stability and vacuum polarisation, as well as the connection with the Carroll group, the reader may wish to consult [23] and references therein. Here, we note the relative permittivities and permeabilities of a gravitational wave in Brinkmann coordinates, which are found to be
in the zero weight formalism, and
in the unit weight formalism, using Equations (47) and (52) as before. The corresponding magnetoelectric effects are given by
and
using Equations (49) and (53), respectively. First, we note that the magnetoelectric effects are non-zero for Brinkmann coordinates, unlike Baldwin–Jeffery–Rosen. Moreover, the relative permittivities and permeabilities in both formalisms reduce to the identity in the Minkowski limit, where $K\to 0$, in keeping with the Kerr–Schild-type property of Brinkmann coordinates. Similarly, the magnetoelectric effects tend to zero in this limit, as expected.

$$\mathrm{d}{s}^{2}=2\mathrm{d}U\mathrm{d}V+{K}_{IJ}\left(U\right){X}^{I}{X}^{J}\mathrm{d}{U}^{2}+{\delta}_{IJ}\mathrm{d}{X}^{I}\mathrm{d}{X}^{J}\phantom{\rule{0.166667em}{0ex}},$$

$$U=\frac{1}{\sqrt{2}}(X-T)\phantom{\rule{0.166667em}{0ex}},\phantom{\rule{1.em}{0ex}}V=\frac{1}{\sqrt{2}}(X+T)\phantom{\rule{0.166667em}{0ex}},$$

$$K=\frac{1}{2}{K}_{IJ}\left(U\right){X}^{I}{X}^{J}$$

$$\begin{array}{cc}\hfill \mathrm{d}{s}^{2}& =-\mathrm{d}{T}^{2}+\mathrm{d}{X}^{2}+\mathrm{d}{Y}^{2}+\mathrm{d}{Z}^{2}+K{(\mathrm{d}X-\mathrm{d}T)}^{2}\hfill \end{array}$$

$$\begin{array}{cc}& =-(1-K)\mathrm{d}{T}^{2}-2K\mathrm{d}T\mathrm{d}X+(1+K)\mathrm{d}{X}^{2}+\mathrm{d}{Y}^{2}+\mathrm{d}{Z}^{2}\phantom{\rule{0.166667em}{0ex}}.\hfill \end{array}$$

$${\epsilon}^{ij}={\mu}^{ij}=(1-K)\left[\begin{array}{ccc}1-K& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]$$

$${\tilde{\epsilon}}^{ij}={\tilde{\mu}}^{ij}=\frac{1}{1-K}\left[\begin{array}{ccc}1-K& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right]$$

$${\alpha}^{ij}=(1-K)\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& -K\\ 0& K& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

$${\tilde{\alpha}}^{ij}=\frac{1}{1-K}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& -K\\ 0& K& 0\end{array}\right]\phantom{\rule{0.166667em}{0ex}},$$

## 5. Concluding Remarks

The gravitational magnetoelectric effect occurs for metrics with non-zero mixed components ${g}_{0i}$, but, since it is spatial, it depends crucially on both the coordinates used, and the definitions of the spatial electromagnetic fields.

Here, we have demonstrated explicitly that, depending on these choices, the gravitational magnetoelectric effect can arise as a tensor (Equation (49)) as well as a tensor density (Equation (53)). Moreover, although the effect is well-known for rotating spacetimes such as the Kerr, we have shown that it is also apparent in coordinate charts where the Schwarzschild spacetime is not manifestly static, such as advanced Eddington–Finkelstein (Equations (66) and (68)), Painlevé–Gullstrand (Equations (73) and (74)), and Kerr–Schild ( Equations (81) and (82)) coordinates, and even for Minkowski spacetime in the rotating Langevin frame (that is, Equations (57) and (59)). In addition, for pp gravitational waves, we have seen that the gravitational magnetoelectric effect can be either vanishing, namely for Baldwin–Jeffery–Rosen coordinates (Equations (88) and (89)), or non-vanishing, for Brinkmann coordinates (Equations (97) and (98)). At first glance, this is surprising since there are mixed null terms in the spacetime line elements of both charts.

We hope that these observations on the gravitational magnetoelectric effect will help to provide a different perspective, as well as another basis for concrete computations, regarding the rotation of polarisation under gravity (see, e.g., [25]). Moreover, increasing interest in the optical properties of gravitational waves (cf. [26]) may benefit from this description as an effective optical medium. Finally, if suitable translucent multiferroics could be constructed whose permittivities, permeabilities and magnetoelectric effects mimic their gravitational analogues, they would provide interesting gravitational lens models (on constructing metamaterials, see, e.g., [27]). These could model not only lensing by Kerr black holes but potentially also, as mentioned above, the Schwarzschild lens in non-static slicings.

## Author Contributions

Writing—original draft, G.W.G. and M.C.W.

## Funding

This research received no external funding.

## Acknowledgments

G.W.G. thanks David Khmelnitskii for helpful conversations. M.C.W. gratefully acknowledges the hospitality of DAMTP and Trinity College, Cambridge.

## Conflicts of Interest

The authors declare no conflict of interest.

## Appendix A

The constitutive relations for the zero weight formalism of Section 2.3 can be derived as follows. For the displacement, we have
and the magnetic field is given by
since, using Equation (32),

$$\begin{array}{cc}\hfill {\epsilon}_{0}^{-1}{\tilde{D}}^{i}& =\sqrt{-g}{g}^{0\mu}{g}^{i\nu}{F}_{\mu \nu}\hfill \\ & =\sqrt{-g}\left({g}^{00}{g}^{ij}{F}_{0j}+{g}^{0j}{g}^{i0}{F}_{j0}+{g}^{0j}{g}^{ik}{F}_{jk}\right)\hfill \\ \hfill & =\sqrt{-g}\left(-{g}^{00}{\tilde{\gamma}}^{ij}{\tilde{E}}_{j}+{g}^{i}{g}^{j}{\tilde{E}}_{j}+{\tilde{\gamma}}^{ij}{\u03f5}_{jkl}{g}^{k}{\tilde{B}}^{l}\right)\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill {\mu}_{0}{\tilde{H}}_{i}& =\frac{1}{2}\sqrt{-g}{\u03f5}_{ijk}{g}^{j\mu}{g}^{k\nu}{F}_{\mu \nu}\hfill \\ & =\frac{1}{2}\sqrt{-g}{\u03f5}_{ijk}\left({g}^{j0}{g}^{kl}{F}_{0l}+{g}^{jl}{g}^{k0}{F}_{l0}+{g}^{jm}{g}^{kn}{F}_{mn}\right)=-\sqrt{-g}{\u03f5}_{ijk}{\tilde{\gamma}}^{jl}{g}^{k}{\tilde{E}}_{l}+\frac{1}{2}\sqrt{-g}{\u03f5}_{ijk}{g}^{jm}{g}^{kn}{F}_{mn}\hfill \\ \hfill & =-\sqrt{-g}{\u03f5}_{ijk}{\tilde{\gamma}}^{jl}{g}^{k}{\tilde{E}}_{l}-\frac{{g}_{00}}{\sqrt{-g}}{\tilde{\gamma}}_{ij}{\tilde{B}}^{j}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$$\begin{array}{cc}\hfill -\frac{{g}_{00}}{\sqrt{-g}}{\tilde{\gamma}}_{ij}{\tilde{B}}^{j}& =-\frac{1}{2}\frac{{g}_{00}}{\sqrt{-g}}{\tilde{\gamma}}_{ij}{\u03f5}^{jmn}{F}_{mn}=-\frac{1}{2}\frac{{g}_{00}\sqrt{\tilde{\gamma}}}{\sqrt{-g}}{\tilde{\gamma}}_{ij}{e}^{jmn}{F}_{mn}\hfill \\ & =\frac{1}{2}\sqrt{-{g}_{00}}{e}_{ijk}{\tilde{\gamma}}^{jm}{\tilde{\gamma}}^{kn}{F}_{mn}\hfill \\ & =\frac{1}{2}\underset{\sqrt{-g}}{\underbrace{\sqrt{-{g}_{00}}\sqrt{\tilde{\gamma}}}}{\u03f5}_{ijk}{g}^{jm}{g}^{kn}{F}_{mn}\phantom{\rule{0.166667em}{0ex}}.\hfill \end{array}$$

Thus, combining Equations (A1) and (A2),
again using Equation (32), which yields Equation (41),

$$\begin{array}{cc}\hfill {\epsilon}_{0}^{-1}{\tilde{D}}^{i}+{\mu}_{0}{\u03f5}^{ijk}{a}_{j}{\tilde{H}}_{k}& =\sqrt{-g}{\tilde{E}}_{k}\left(\underset{=0}{\underbrace{{\tilde{-\gamma}}^{ik}{g}^{j}{a}_{j}+{\tilde{\gamma}}^{jk}{g}^{i}{a}_{j}+{g}^{i}{g}^{k}-{\tilde{\gamma}}^{ik}{\tilde{\gamma}}^{mn}{a}_{m}{a}_{n}}}-\frac{{\tilde{\gamma}}^{ik}}{{g}_{00}}\right)\hfill \\ & -{\u03f5}^{ijk}{\tilde{\gamma}}_{kl}{a}_{j}{\tilde{B}}^{l}\underset{=0}{\underbrace{\left(-\frac{\sqrt{-g}}{\sqrt{\tilde{\gamma}}}+\frac{{g}_{00}\sqrt{\tilde{\gamma}}}{\sqrt{-g}}\right)}}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

$${\epsilon}_{0}^{-1}{\tilde{D}}^{i}+{\mu}_{0}{\u03f5}^{ijk}{a}_{j}{\tilde{H}}_{k}=-\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ik}{\tilde{E}}_{k}\phantom{\rule{0.166667em}{0ex}}.$$

Moreover, Equation (A2) gives rise to Equation (42),
as required.

$$\begin{array}{cc}\hfill -{\mu}_{0}\frac{\sqrt{-g}}{{g}_{00}}{\tilde{\gamma}}^{ia}{\tilde{H}}_{a}& =\frac{-g}{{g}_{00}\sqrt{\tilde{\gamma}}}{e}_{abc}{\tilde{\gamma}}^{ia}{\tilde{\gamma}}^{kb}{\tilde{\gamma}}^{jc}{a}_{j}{\tilde{E}}_{k}+{\tilde{\gamma}}^{ia}{\tilde{\gamma}}_{aj}{\tilde{B}}^{j}\hfill \\ & =-{\u03f5}^{ijk}{a}_{j}{\tilde{E}}_{k}+{\tilde{B}}^{i}\phantom{\rule{0.166667em}{0ex}},\hfill \end{array}$$

## References

- Landau, L.D.; Lifshitz, E.M. Electrodynamics of Continuous Media; Pergamon Press: Oxford, UK, 1984. [Google Scholar]
- Dzyaloshinskii, I.E. On the magneto-electrical effect in antiferromagnets. J. Exp. Theor. Phys.
**1960**, 37, 881–882. [Google Scholar] - Astrov, D. The magnetoelectric effect in antiferromagnetics. Soviet Phys. JETP
**1960**, 11, 708–709. [Google Scholar] - Sawada, K.; Nagaosa, N. Optical magnetoelectric effect in multiferroic materials: Evidence for a Lorentz force acting on a ray of light. Phys. Rev. Lett.
**2005**, 95, 237402. [Google Scholar] [CrossRef] [PubMed] - Eerenstein, W.; Mathur, N.D.; Scott, J.F. Multiferroic and magnetoelectric materials. Nature
**2006**, 442, 759–765. [Google Scholar] [CrossRef] [PubMed] - Plebanski, J. Electromagnetic waves in gravitational fields. Phys. Rev.
**1960**, 118, 1396–1408. [Google Scholar] [CrossRef] - Skrotskii, G.V. The influence of gravitation on the propagation of light. Soviet Phys. Doklady
**1957**, 2, 226–229. [Google Scholar] - Leonhardt, U.; Philbin, T.G. General relativity in electrical engineering. New J. Phys.
**2006**, 8, 247. [Google Scholar] [CrossRef] - Crudo, R.A.; O’Brien, J.G. Metric approach to transformation optics. Phys. Rev. A
**2009**, 80, 033824. [Google Scholar] [CrossRef] - Mashhoon, B. Can Einstein’s theory of gravitation be tested beyond the geometrical optics limit? Nature
**1974**, 250, 316–317. [Google Scholar] [CrossRef] - Nouri-Zonoz, M. Gravoelectromagnetic approach to the gravitational Faraday rotation in stationary space-times. Phys. Rev. D
**1999**, 60, 024013. [Google Scholar] [CrossRef] - Sereno, M. Gravitational Faraday rotation in a weak gravitational field. Phys. Rev. D
**2004**, 69, 087501. [Google Scholar] [CrossRef] - Post, E.J. Formal Structure of Electromagnetics: General Covariance and Electromagnetics; North Holland: Amsterdam, The Netherlands, 1962. [Google Scholar]
- Bateman, H. Kummer’s quartic surface as a wave surface. Proc. Lond. Math. Soc.
**1910**, 8, 375–382. [Google Scholar] [CrossRef] - Hehl, F.W.; Obukhov, Y.N. Foundations of Classical Electrodynamics; Birkhäuser: Boston, MA, USA, 2003. [Google Scholar]
- Rätzel, D.; Rivera, S.; Schuller, F.P. Geometry of physical dispersion relations. Phys. Rev. D
**2011**, 83, 044047. [Google Scholar] [CrossRef] - Frolov, V.P.; Shoom, A.A. Spinoptics in a stationary spacetime. Phys. Rev. D
**2011**, 84, 044026. [Google Scholar] [CrossRef] - Torres del Castillo, G.F.; Mercado-Pérez, J. Three-dimensional formulation of the Maxwell equations for stationary spacetimes. J. Math. Phys.
**1999**, 40, 2882–2890. [Google Scholar] [CrossRef] - Gibbons, G.W.; Herdeiro, C.A.R.; Warnick, C.M.; Werner, M.C. Stationary metrics and optical Zermelo-Randers-Finsler geometry. Phys. Rev. D
**2009**, 79, 044022. [Google Scholar] [CrossRef] - Volkov, A.M.; Izmest’ev, A.A.; Skrotskii, G.V. The propagation of electromagnetic waves in a Riemannian space. Sov. Phys. JETP
**1971**, 32, 686–689. [Google Scholar] - Duff, M.J. Quantum tree graphs and the Schwarzschild solution. Phys. Rev. D
**1973**, 7, 2317–2326. [Google Scholar] [CrossRef] - Baldwin, O.R.; Jeffery, G.B. The relativity theory of plane waves. Proc. R. Soc. Lond. A
**1926**, 111, 95–104. [Google Scholar] [CrossRef] - Duval, C.; Gibbons, G.W.; Horvathy, P.A.; Zhang, P.-M. Carroll symmetry of plane gravitational waves. Class. Quantum Grav.
**2017**, 34, 175003. [Google Scholar] [CrossRef] - Xanthopoulos, B.C. Exact vacuum solutions of Einstein’s equations from linearlised solutions. J. Math. Phys.
**1978**, 19, 1607–1609. [Google Scholar] [CrossRef] - Brodutch, A.; Demarie, T.F.; Terno, D.R. Photon polarization and geometric phase in general relativity. Phys. Rev. D
**2011**, 84, 104043. [Google Scholar] [CrossRef] - Harte, A.I. Optics in a nonlinear gravitational plane wave. Class. Quantum Grav.
**2015**, 32, 175017. [Google Scholar] [CrossRef] - Shalaev, V.M. Transforming light. Science
**2008**, 322, 384–386. [Google Scholar] [CrossRef] [PubMed]

1 | In the language of Feynmann graphs [21] in this gauge, there is just a single non-vanishing tree graph. |

2 | Usually referred to as Rosen coordinates, however, cf. [22]. |

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).