The geometry of induced electromagnetic fields in moving media C. S. Lopez-Monsalvoa, D. Garcia-Pelaezb,c, A. Rubio-Ponceb, R. Escarela-Perezb aConacyt-Universidad Aut´onoma Metropolitana Azcapotzalco Avenida San Pablo Xalpa 180, Azcapotzalco, Reynosa Tamaulipas, 02200 Ciudad de M´exico, M´exico bUniversidad Aut´onoma Metropolitana Azcapotzalco Avenida San Pablo Xalpa 180, Azcapotzalco, Reynosa Tamaulipas, 02200 Ciudad de M´exico, M´exico cUniversidad Panamericana, Tecoyotitla 366. Col. Ex Hacienda Guadalupe Chimalistac, C.P. 01050 Ciudad de Mexico, Mexico Abstract In this manuscript we provide a fully geometric formulation for the induced electromagnetic fields and their corresponding constitutive relations in moving media. To this end, we present the reader with a brief geometric summary to show how vector calculus electromagnetic theory is embedded in the more general language of differential forms. Then, we consider the class of metric constitutive relations describing the medium in which electromagnetic fields propagate. We explicitly obtain the components of the induced fields in a moving medium, as seen in the the lab rest frame. This allows us to read the expressions for the permitivity, permeability and magnetoelectric matrices for the moving medium which, in turn, can be interpreted as a different physical material from the lab point of view. Keywords: Electromagnetism, Riemannian geometry, Magnetoelectric effect 1. Introduction It has been since the early days of General Relativity that we have seen that the “influence of matter on electromagnetic phenomena is equivalent to the influence of a gravitational field” [1, 2]. That is, in the same manner light rays obey Fermat’s principle while propagating across media, in General Relativity light follows null geodesics on a curved spacetime. Thus, it has been argued that spacetime acts like a medium with a particular refractive index, where all the information is encoded in its metric tensor [3, 4, 5, 6]. Thus, we can reverse the argument and note that optical media can be treated geometrically by means of differentiable manifolds where light follows the corresponding curvature [7, 8]. Such intuition has been exploited in the recent development of material science and engineering [9, 10, 8, 11, 12, 13, 14]. The formulation of a field theory in the language of differential geometry has been thoroughly exploited during the last century. However, most of the work done so far has been developed to pursue goals in fundamental areas of theoretical physics [15, 16]. It has only been in recent arXiv:2003.13452v2 [physics.class-ph] 25 Jul 2020 times that these tools have begun to be used in more applied areas [17, 18, 19, 20]. For instance, in material science, all information regarding the macroscopic response of a medium to electromagnetic Email addresses: [email protected] (C. S. Lopez-Monsalvo), [email protected] (D. Garcia-Pelaez), [email protected] (A. Rubio-Ponce), [email protected] (R. Escarela-Perez) Preprint submitted to Elsevier July 28, 2020 stimuli is encoded in its constitutive tensor, which has been related to a metric or a curvature of the geometric space represented by the medium. [8, 1]. The constitutive relations are usually expressed in terms of the permittivity, permeability and magnetoelectric matrices. These, however, are usually written and interpreted in terms of a single set of coordinates within the vector calculus formulation of electromagnetism. Thus, one of our aims is to explicitly bridge such a formulation with the coordinate and frame independent differential form language. We do this constructively, exhibiting the fact that Maxwell’s equations are conservation laws in spacetime while constitutive relations are maps linking the differential forms associated with these conservation laws. It is of pedagogical value to see how vector calculus electromagnetic theory is embedded in the more general differential form language. Such details are, more often than not, omitted in the modern literature based on differential geometry. Therefore, in section 2 we recall the traditional formulation of electromagnetic theory starting from the integral form of Maxwell’s equations in domains of R3 followed, in section 3, of their generalization to a general differentiable manifold . Notoriously, in formulating Maxwell’s equations, there is no need to equip the manifold withM a metric tensor. However, it is clear that there is no link between the sources and the fields. SuchM a link could take various guises, yet it is specially convenient if it is through an intrinsic geometric structure associated with the manifold. In this way, one can guarantee that the formulation is independent of the choice of coordinates and observers. Moreover, it comes as an additional postulate that such a structure contains all the relevant macroscopic electromagnetic information of the material where the fields are propagating [7]. Here, we adhere to the view that different materials are described by different geometries. That is, we assume that constitutive relations are expressed in terms of the Hodge dual operator associated with each material metric tensor. Therefore, we consider a metric for the ambient space and a metric for the medium. It is worth noting that this is not the most general way to geometrize constitutive relations but it is the certainly one of the simplest. As a result, we obtain a general and coordinate free expression to explicitly compute the components of the induced electromagnetic vector fields as seen by an arbitrary observer. This is done in section 4. In section 5 we consider the effect of external electromagnetic fields on a moving medium which is homogeneous and isotropic when it is at rest in the lab frame. The corresponding induced fields are described by a metric tensor adapted to the motion of the medium. Such motion, defines a coordinate transformation which maps the material metric into its moving version. Here, we study various types of transformations. First, we consider a medium moving at constant velocity with respect to the static laboratory frame. Then, we analyze the case of non-inertial motion. In particular, when the medium is undergoing uniform acceleration and the case when it is rotating. In all cases we make both analysis, Galilean and relativistic 1. Interestingly, the transformation describing rotating objects consistent with the principles of special relativity remain a timely subject [21, 22, 23]. We obtain the corresponding metric for the moving medium and explicitly obtain the permittivity, permeability and magnetoelectric matrices. As noted originally by R¨ontgen [24], a medium immersed in a purely electric field, as measured by a static observer, appears to be magnetized when it moves with respect the static frame. Similarly, there is the corresponding apparent polarization when we replace the electric by a magnetic field. 1Galilean and relativistic analysis are so called in terms of the coordinate transformations of the moving media. In the Galilean case, we do not intend to do a low velocity limit. 2 In all cases, the resulting constitutive relations for the moving medium couple the electric and magnetic fields . This is known as the magnetoelectric effect (see [25] and reference therein for a timely description) and it has become a very active research area in material science, e.g. due to the possibility of controlling the magnetization of a ferromagnet rotated by means of purely electric field [26]. In this work, we explicitly extract the magnetoelectric matrices of a simple medium for each type of elementary motion. Moreover, due to the generality of the geometric framework, the same analysis can be readily exported to more complicated materias, described by curved geometries, in arbitrary motion. This is done in section 6, where we consider a non-trivial medium associated with a curved metric and a non-inertial transformation. Finally, in section 7 we provide some closing remarks and provide some further directions for exploration. Throughout the manuscript, we decline the use of the Einstein sum convention and refrain of using a designated letter for the speed of light in vacuum as well as in the medium. This served as bookkeeping of all the geometric factors involved in the transformations. Thus, albeit our expressions are slightly longer, they provide a clearer notion of scales and units. 2. Vector calculus electromagnetism The empirical character of electromagnetism lies on the fact that in nature there is a distin- guished property of matter that certain objects posses and which can be perceived by means of its motion and interaction. Such property is observed to be conserved and it is called electric charge. Accordingly, we infer the existence of a field responsible for the inertial change of the charges and, in turn, as charges move around a new field configuration arises. The field itself obeys its own conservation law and this lead us to a dynamical theory of fields and charges. This is expressed as a series of observed relations between fields and sources, namely, B~ nˆ ds =0, (1) · I∂Ω d E~ d~ℓ = B~ nˆ ds, (2) · −dt · I∂Σ ZΣ D~ nˆ ds = ρ dv (3) · ext I∂Ω ZΩ and d H~ d~ℓ = D~ nˆ ds + ~j nˆ ds. (4) · dt · ext · I∂Σ ZΣ ZΣ Here, we refer to B~ and E~ as the fundamental magnetic and electric fields, respectively, while H~ and D~ represent the corresponding induced fields in a given medium. The terms ρext and ~jext are the external electric charge density and current density flux, respectively and represent the sources of the fields. Notice that the induced fields are the ones linked to the sources while the fundamental fields seem to be independent. The symbol ∂ is known as the boundary operator, in this case acting on domains of R3. Thus ∂Ω is the 2-dimensional boundary of a 3-dimensional open region Ω R3, while ∂Σ is the 1-dimensional curve bounding an open surface Σ R3.