Spacetime symmetries and topology in bimetric relativity Francesco Torsello,1, ∗ Mikica Kocic,1, y Marcus H¨og˚as,1, z and Edvard M¨ortsell1, x 1Department of Physics & The Oskar Klein Centre, Stockholm University, AlbaNova University Centre, SE-106 91 Stockholm, Sweden We explore spacetime symmetries and topologies of the two metric sectors in Hassan{Rosen bimetric theory. We show that, in vacuum, the two sectors can either share or have separate spacetime symmetries. If stress{energy tensors are present, a third case can arise, with different spacetime symmetries within the same sector. This raises the question of the best definition of spacetime symmetry in Hassan{Rosen bimetric theory. We emphasize the possibility of imposing ansatzes and looking for solutions having different Killing vector fields or different isometries in the two sectors, which has gained little attention so far. We also point out that the topology of spacetime imposes a constraint on possible metric combinations. Keywords: Modified gravity, ghost-free bimetric theory, bimetric relativity, spacetime symmetries, isometries, Killing vector fields, topology I. INTRODUCTION In this case, it is straightforward to talk about a space- time symmetry, since the whole system is invariant under Symmetries are fundamental in physics. The invari- the transformation. If this is not the case, however, the ance of physical quantities under a given transformation definition of a spacetime symmetry is ambiguous. Solu- allows physicists to simplify their models of Nature and tions having different KVFs and showing this ambiguity, to better understand them. in the context of the HR bimetric theory, are presented The first computed exact solution in general relativity in section II B. (GR) is the Schwarzschild solution [1], which was de- When finding particular solutions, the most common termined by assuming a static and spherically symmet- ansatzes presume the same isometries in both sectors ric spacetime. Schwarzschild's approach has been widely (some exceptions can be found in [4,5]). This study and fruitfully used until our days. Indeed, the standard investigates when this is the most general ansatz, and if way for finding particular solutions of certain field equa- there are other possible ansatzes which can, in principle, tions is to impose some symmetries to the system, and lead to new solutions of the bimetric field equations. This deduce the appropriate ansatz for the dynamical fields. turns out to be the case. In (pseudo-)Riemannian geometry, spacetime symme- We also answer to the question if there are any con- tries are characterized by Killing vector fields (KVFs), straints on the solutions of HR bimetric theory, based on whose integral curves define paths along which the phys- the underlying topology of the spacetime. The answer ical quantities can be invariant. When this happens, the turns out to be yes, as we will discuss in section II A. standard terminology is that the physical quantity pos- The paper is organized in two main sections. In sec- sesses a symmetry along that path (or that the path de- tion II, we focus on HR bimetric theory, reviewed in sec- fines a \collineation" for the physical quantity). In the tion II A. We start by discussing explicit examples hav- case of a symmetry of the metric tensor, they coincide ing the described properties in section II B. These exam- with its isometries. We refer the reader to [2] for a basic ples should be thought of as a selection of cases showing treatment of spacetime symmetries and to [3] for a more different possible configurations of spacetime symmetries advanced approach. in HR theory. In principle, they may or may not pro- In this paper we explore the relation between the KVFs vide any other physical information. In section II C we of two metrics defined on the same differentiable man- arXiv:1710.06434v2 [gr-qc] 19 Apr 2018 study spacetime symmetries and we fit the examples into ifold. The motivation for this study comes from the a more general framework. We determine a conserved Hassan{Rosen (HR) bimetric theory (introduced in sec- vector current and state two propositions helpful for un- tion II), where this geometrical framework naturally ap- derstanding the structure of spacetime symmetries in the pears. When two metrics are concerned, the question of theory. We define the concepts of \bimetric spacetime whether an isometry of one metric is a spacetime sym- symmetry", \sectoral spacetime symmetry" and \narrow metry for the whole system arises. We will see that, if spacetime symmetry" in bimetric relativity, as symme- the two metrics share their isometries, then the latter tries shared by all tensors, by the tensors in one metric will be spacetime symmetries for all other tensor fields. sector only and by some generic tensors, respectively. In AppendixA, we provide some strategies for constructing bimetric ansatzes having different KVFs. In section III, ∗ [email protected] we fit the results of section II into a wider perspective. y [email protected] In particular, we summarize the main geometric concepts z [email protected] and results we have used in studying spacetime symme- x [email protected] tries. We explore the topic in a generic setup, i.e., we do 2 µ ρ µρ not assume any relation between the two metrics, other or, in index notation, S ρS ν := g fρν . The βn pa- than they are defined on the same differentiable manifold. rameters are generic real numbers and the en(S) are the µ After that, we state our conclusions. elementary symmetric polynomials of S ν , The reader specifically interested in HR bimetric the- ory can find all the related results in section II and Ap- e0 (S) = 1; pendixA. The paper being quite technical|especially e1 (S) = λ1 + λ2 + λ3 + λ4; section III|the reader interested mainly in the results e2 (S) = λ1λ2 + λ1λ3 + λ1λ4 + λ2λ3 + λ2λ4 + λ3λ4; and their discussion is invited to read the brief summaries at the end of section II and the beginning of section III, e3 (S) = λ1λ2λ3 + λ1λ2λ4 + λ1λ3λ4 + λ2λ3λ4; and the conclusions. e4 (S) = λ1λ2λ3λ4; (4) µ where the λn are the eigenvalues of S ν . II. ISOMETRIES IN THE HASSAN-ROSEN Varying (1) with respect to gµν and fµν , we get the BIMETRIC THEORY bimetric field equations, m4 1 Recently, there has been a noteworthy interest in con- µ µ µ Gg ν + 2 Vg ν = 2 Tg ν ; (5a) structing a classical nonlinear theory of interacting spin- Mg Mg 2 fields. This interest culminated in the discovery of m4 1 G µ + V µ = T µ ; (5b) two such theories which are free from the pathologi- f ν M 2 f ν M 2 f ν cal Boulware{Deser ghost [6], thanks to the particular f f µ form of the interaction potential between the spin-2 ten- with Gg;f ν being the Einstein tensors for gµν and fµν , µ sor fields. These theories are the de Rham{Gabadadze{ Tg;f ν being the stress{energy tensors for the two inde- µ Tolley (dRGT) massive gravity [7,8], which was proven pendent matter sources and Vg;f ν , here referred to as to be ghost-free in [9], and the Hassan{Rosen (HR) bi- the \tensor potentials." being equal to, metric theory [10, 11], whose unambiguous definition and spacetime interpretation are provided in [12]. 3 n µ X X n+k n−k We focus on the HR bimetric theory, describing two Vg ν = βn (−1) ek(S) S ; (6a) interacting, dynamical and symmetric spin-2 fields, gµν n=0 k=0 3 n and fµν . It has seven degrees of freedom propagating µ X X n+k −1 −n+k five massive and two massless mode around proportional Vf ν = β4−n (−1) ek(S ) S : (6b) backgrounds [13{15]. One possible interpretation of this n=0 k=0 theory is to consider both the symmetric spin-2 fields Combining (5) with their own traces we obtain, as metrics defined on the same differentiable manifold. Here, we follow this interpretation and, therefore, aim to 1 1 1 understand the relations between the KVFs of the two R µ = m4 V δµ − V µ + T µ − T δµ ; g ν M 2 2 g ν g ν g ν 2 g ν metrics and, consequently, between their isometries. g (7a) A. Review of the theory, and topological constraint µ 1 4 1 µ µ µ 1 µ Rf ν = 2 m Vf δ ν − Vf ν + Tf ν − Tf δ ν ; Mf 2 2 The action of HR bimetric theory is [10], (7b) Z p 1 4 2 4 αβ αβ αβ S = d x −g M Rg + Lg − m V (S) where T = g T , T = f T , V = g V and 2 g g αβ g f αβ f g αβ g V = f V αβ. 1 f αβ f 2 Noting that the stress{energy tensors T µ and + det (S) Mf Rf + Lf (1) g ν 2 µ Tf ν are divergence-less due to diffeomorphism in- R 4 p where two Einstein{Hilbert actions constitute kinetic variance of the matter actions d x −g Lg and R 4 p terms for both metrics, minimally coupled to two inde- d x −g det (S) Lf , the Bianchi constraints follows pendent matter sources described by the lagrangian den- from taking the divergence of (5), sities L , L (see, e.g., [16] regarding ghost-free matter g f ν ~ ν couplings). The \bimetric potential" is defined as, rν Vg µ = 0; rν Vf µ = 0; (8) 4 where r is the compatible covariant derivative of g X µ µν V (S) := βnen (S) : (2) and r~ µ is the compatible covariant derivative of fµν .