Abstract
We examine various methods of constructing conserved quantities in the Teleparallel Equivalent of General Relativity (TEGR). We demonstrate that in the covariant formulation the preferred method are the Noether charges that are true invariant quantities. The Noether charges depend on the vector field \(\xi \) and we consider two different options where \(\xi \) is chosen as either a Killing vector or a four-velocity of the observer. We discuss the physical meaning of each choice on the example of the Schwarzschild solution in different frames: static, freely falling Lemaitre frame, and a newly obtained generalised freely falling frame with an arbitrary initial velocity. We also demonstrate how to determine an inertial spin connection for various tetrads used in our calculations, and find a certain ambiguity in the “switching-off” gravity method where different tetrads can share the same inertial spin connection.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Teleparallel theories of gravity became increasingly popular subject in recent years. This includes the case of reformulation of general relativity itself, known as the teleparallel equivalent of general relativity (TEGR) [1,2,3], as well as various modified gravity models like the f(T) gravity [4,5,6,7,8] and other models [9,10,11,12,13]. One of the most attractive features of TEGR is the possibility of constructing various new conserved quantities and address the problem of definition of energy–momentum known to be difficult in the standard general relativity [14, 15].
Our primary goal is to clarify the situation with conserved quantities in teleparallel gravity where two distinct approaches to their definition exist. The first approach follows from direct integration of the field equations that yield the quantity \(P_a\) identified as the total energy–momentum [1, 16, 17]. The second approach is based on the application of the Noether theorem that lead to the Noether conserved charges [18, 19]. The total energy–momentum \(P_a\) is not an invariant quantity, and there exists, at least in principle, an ambiguity whether to consider its Lorentz or spacetime indexed version. The Noether conserved charges \(P(\xi )\), on the other hand, are true invariant quantities but depend on the additional vector field \(\xi \) characterizing the observer that needs to be specified.
We demonstrate that the first approach can be understood as a special case of the Noether approach where the vector field \(\xi \) is chosen to coincide with a certain tetrad vector and obtain the physical interpretation of this result. However, to our surprise, we find that \(P_a\) defines the energy–momentum uniquely only in the case of the non-covariant formulation of TEGR where the spin connection is assumed to be zero. This follows from the fact that in the non-covariant formulation, we can uniquely identify the vector field \(\xi \) characterizing the observer with the tetrad variable in the field equations. In the covariant formulation, on the other hand, the freedom to use an arbitrary tetrad in the field equations forces us to treat the vector field \(\xi \) independently and hence use the Noether conserved charges in order to obtain meaningful results.
We apply both approaches on the example of the Schwarzschild solution, where we consider both the static and the free-falling observers. This follows the logic of previous works by Maluf et al. [16] and Lucas et al. [17], where the conserved quantities for the free-falling observer were considered. However, both [16, 17], calculated only the zeroth component of \(P_a\) identified as the energy, in the non-covariant and covariant formulations, respectively. The Noether conserved charges, on the other hand, were introduced in works of Obukhov et al. [18,19,20], but, in the case of the Schwarzschild solution, these were calculated only in the case of the static observer. We argue that while in the static case both notions of the conserved quantities coincide, the free-falling case clearly reveals important differences.
Our second goal is to illustrate the problem of determining the inertial spin connection in the covariant formulation of teleparallel gravity that we encounter in our calculations. In the covariant formulation, both the tetrad and inertial spin connection are fundamental variables. While the field equations determine the tetrad up to a local Lorentz transformation, the purely inertial spin connection is not determined by any field equations. Nevertheless, the choice of a spin connection and the local Lorentz degrees of freedom in the tetrad do influence some physically relevant quantities, including the conserved charges that we are interested in here.
The idea of the covariant formulation is that the inertial spin connection must be chosen according to the tetrad to remove divergences of the relevant physical quantities. This was first introduced as an ansatz in [21] and later it was argued to be equivalent to “switching-off” gravity by taking the \(r\rightarrow \infty \) limit of the Levi-Civita connection corresponding to the tetrad ansatz [17,18,19,20]. It was then advocated that the underlying principle can be altered to choosing the spin connection in a such way that the teleparallel Lagrangian vanishes asymptotically [3, 22, 23]. In [24, 25], the idea of “switching-off” gravity was further formalized in order to be less dependent on the asymptotic behaviour. Nevertheless, at least for the asymptotically Minkowski spacetimes, all these various approaches reduce to the original principle of “switching-off” gravity, and the inertial spin connection is determined from the Levi-Civita spin connection by taking a parameter that controls the strength of gravity to zero or considering the limit \(r\rightarrow \infty \).
However, we encounter a problem with this approach when we try to apply it in the case of both the static and free-falling observers. Our starting points are spacetime metrics for the Schwarzschild solution written in both the static and Lemaitre coordinate systems. In each case, we choose the diagonal tetrad and determine the spin connection by “switching-off” gravity. Despite these tetrads representing two different physical observers, i.e. the static one and the free-falling one, we obtain the same expression for the inertial spin connection. This demonstrates an ambiguity of the above procedure and we argue that it is related to the problem of the so-called remnant symmetries discovered initially in f(T) gravity [26,27,28].
Our third result is a generalization of the situation with free-falling observers to the case of observers with an arbitrary initial velocity. This leads us to define a new gauge that we name the generalized Lemaitre gauge or e-gauge. We demonstrate that in the case when the vector field \(\xi \) is identified with the observer velocity, we find the vanishing Noether current and charge, analogously to the ordinary Lemaitre gauge. However, in the case when we identify the vector field \(\xi \) with the time-like Killing field, we find curiously the same Noether charge as in the Schwarzschild static gauge. This is in contrast with the ordinary Lemaitre gauge where an analogous calculation leads to an unphysical result.
As the last point, we consider the most popular modified teleparallel model known as the f(T) gravity model [4,5,6,7,8]. Here we face a similar situation as in TEGR since we have to determine the spin connection corresponding to the tetrads in the covariant formulation [3, 29], or find the special class of tetrads, nick-named as good tetrads, with corresponding vanishing inertial spin connection [30]. The problem of determining the spin connection is then even more pressing than in TEGR since it affects the field equations and hence becomes the problem of the dynamics. We show that the analogous construction of the Lemaitre gauge does not work for a general spherically symmetric spacetime as it does not yield a new good tetrad. However, we show that it is possible to find a specific boost that makes the torsion scalar vanish. While this does not lead to any new f(T) gravity solutions since the theory reduces to TEGR, these vanishing torsion scalar solutions are interesting since they can be used to demonstrate that GR solutions stay solutions in the f(T) gravity as well [31,32,33].
The paper is organized as follows. In Sect. 2, we briefly review some basic elements of teleparallel gravity. In Sect. 3, we introduce various conserved currents introduced in the literature previously and we discuss their relations.
In Sect. 4, we apply these definitions to the Schwarzschild case, where our starting point is the Schwarzschild metric in the spherical coordinate system and we choose the static tetrad. We illustrate the principle of determining the inertial spin connection and find the so-called proper tetrad, and introduce a notion of the Schwarzschild static gauge, where different combinations of tetrads and corresponding spin connections represent the same physical situation. We calculate the conserved charges and obtain the physically expected result for the Noether charge that can be identified with the total energy of the black hole.
In Sect. 5, we follow the same logic and calculate the same conserved quantities but we start with the metric written in the free-falling Lemaitre coordinates and the free-falling tetrad. This leads us to define in the analogous fashion the so-called Lemaitre gauge. We show that we obtain naturally the zero energy density measured by the freely falling observer in this case.
In Sect. 6, we express all quantities from the Lemaitre gauge in the standard static Schwarzschild coordinates. Then we compare them with quantities in the Schwarzschild static gauge and analyse how the conserved charges depend on the gauge. On the one hand, in the framework of the Schwarzschild static gauge we obtain the correct total mass, but we have a problem with a description of the freely falling observer. On the other hand, we demonstrate that while the Lemaitre gauge offers a correct description of the freely falling observer, if we try to recover calculation of the total energy by choosing \(\xi \) to be the time-like Killing vector, we obtain a problematic result. We provide the detailed comparison of our results with the previous results by other authors as well.
In Sect. 7, we generalize the Lemaitre gauge by considering an arbitrary initial velocity, leading us to the generalized Lemaitre gauge that we call the e-gauge. We demonstrate that the generalized e-gauge leads to either vanishing conserved currents and charges or the result corresponding to the total black hole mass, depending on the choice of the field \(\xi \). These results are compared with the result from the Lemaitre gauge.
In Sect. 8, we consider accelerated tetrads in f(T) gravity. We demonstrate that the analogue of the Lemaitre gauge does not lead to any new good tetrads and we show how to construct a solution with a vanishing torsion scalar.
In Sect. 9, we summarize our results and draw some final conclusions. All the lengthy expressions for the inertial spin connections corresponding to various tetrads are summarized in Appendix A. In appendix B, we solve the symmetric field equations in f(T) gravity for the case \(A=1\) that appeared in Sect. 8 and demonstrate that it is indeed trivial, i.e. equivalent to the Minkowski case.
Notation: We mostly follow here the notation used in the book [1], but we work in the mostly positive convention \((-,+,+,+)\). By Latin indices we denote the tangent space coordinates and Greek indices represent the spacetime coordinates. When we work with the particular components we distinguish tangent indices by a hat, e.g. in \({{\mathop {A}\limits ^{\circ }}}{}{}^{\hat{1}}_{\ \hat{2}1}\) two first indices are tangent space components and 1 is a spacetime component. Teleparallel quantities are denoted with “\(\bullet \)” over them and those with “\(\circ \)” are related to the Levi-Civita connection. For example, \({{\mathop {T}\limits ^{\bullet }}}{}^a{}_{\mu \nu }\) and \({{\mathop {T}\limits ^{\circ }}}{}^a{}_{\mu \nu }\), represent the torsion tensors of the teleparallel and Levi-Civita connections, respectively. For the sake of simplicity, we do omit “\(\bullet \)” when we make reference to f(T) gravity in the text, although according to our notation it should be \(f({{\mathop {T}\limits ^{\bullet }}}{})\) gravity.
2 Overview of teleparallel gravity
In this section, we briefly introduce the teleparallel equivalent of general relativity (TEGR). The Lagrangian of TEGR is given by [1]
where \({{\mathop {T}\limits ^{\bullet }}}{}\) is the torsion scalar and \({{{\mathop {T}\limits ^{\bullet }}}{}}{}^a{}_{\mu \nu }\) is the torsion tensor defined as
with the tetrad components \(h^a{}_\nu \), \(h = \det h^a{}_\nu \), \(\kappa =8 \pi G\) (in \(c=1\) units), and the inertial spin connection \({{{\mathop {A}\limits ^{\bullet }}}{}}{}^a{}_{c\nu }\) given by
where \(\Lambda ^a_{\ c}\) is a matrix of a local Lorentz transformation.
We can define the contortion tensor
that directly relates the inertial spin connection (2.3) with the Levi-Civita spin connection of general relativity
where \({{\mathop {A}\limits ^{\circ }}}{}^a{}_{b\rho } \) is the usual Levi-Civita spin connection defined by
In addition, we define the superpotential
which is antisymmetric in the last two indices and is used to define the torsion scalar in (2.1) as
All tensors \({{{\mathop {T}\limits ^{\bullet }}}{}}{}^a{}_{\mu \nu }\), \({{\mathop {K}\limits ^{\bullet }}}{}^{\rho \sigma }{}_{a}\), and \({{{\mathop {S}\limits ^{\bullet }}}{}}_a{}^{\rho \sigma }\), are true tensors with respect to both coordinate transformations and local Lorentz transformations, while the torsion scalar \({{\mathop {T}\limits ^{\bullet }}}{}\) is a scalar. Note that working in the covariant formulation of teleparallel gravity, the local Lorentz covariance means that the tensorial quantities transform covariantly under the simultaneous transformation of both the tetrad \(h'{}^a {}_{\mu } = \Lambda {}^a {}_b h^b{}_\mu \) and the inertial spin connection
The inertial spin connection \({{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b \rho }\) is not determined by the field equations but, as we have discussed in Introduction, it can be chosen by the principle of “switching-off” gravity [3, 17, 22, 23]. According to [24, 25], this means that for the tetrad \(h^a{}_\mu \) we calculate the Levi-Civita connection (2.6) and the Riemann tensor \({\mathop {R}\limits ^{\circ }}{}^a{}_{b\mu \nu }\). Then, we find some parameters that allow us to continuously “switch off” gravity, i.e. to obtain
In practice, for the asymptotically Minkowski spacetimes, this means that we consider either \(r\rightarrow \infty \) or \(M\rightarrow 0\) limit of the Levi-Civita connection that leads to (2.10).
Applying the variational principle one obtains the field equations in the form
where on the LHS we have defined the Euler-Lagrange expression
where
is the gravitational energy–momentum current, and on the RHS we have defined the matter energy–momentum tensor corresponding to the matter Lagrangian \({\mathcal{L}}_m\) as
3 Total energy–momentum and Noether conserved charges
The central point of this paper is calculation of the conserved quantities in TEGR, and as we have mentioned in Introduction, there are two distinct definitions of the conserved charges that we will introduce now and discuss in detail.
The first definition is based on the field equations (2.11), since, as we can observe, they naturally define the conserved quantities by taking an ordinary derivative
on the account of the superpotential being antisymmetric in the last two indices and partial derivatives commuting. The term in the bracket defines a conserved quantity
where \(\Sigma \) is a hypersurface of \(t=\text {const}\) and the sign is chosen to produce a positive \(P_{\hat{0}}\) in order to be identified with the energy.
Using the Stokes theorem and the field equations (2.11), it can be written in the standard spherical coordinates as
This is the definition discussed in the book [1], or references [16] or [17], where it is identified as the total energy–momentum, and hence in the absence of matter as the gravitational energy–momentum.
However, there are two subtle points that we would like to highlight here. The first one is that it does not behave as a vector under local Lorentz transformations. As it was noted in [20], this quantity is invariant only under global Lorentz transformations and local Lorentz transformations that vanish at the infinity. However, this is not enough to make it a true invariant conserved charge.
The second point is that there is an ambiguity in this definition that stems from which form of the field equations we start with. We can write the field equations (2.11) in a fully spacetime form, and, analogously to the procedure above, define the spacetime indexed total energy–momentum as [22]
While being superficially similar to (3.3), this quantity is different. Most obviously, it is invariant with respect to all local Lorentz transformations (in our covariant formulation).
We will demonstrate that both of these points can be understood by considering the second definition based on the diffeomorphism invariance and the Noether theorem. This is the definition first introduced by Obukhov et al. [18,19,20] in the language of differential forms and derived in a more common tensorial language in the recent papers [24, 25]. Here we will only refer to the main result and briefly outline the general idea, while all the details can be found in [24, 25].
We start by considering the invariance under diffeomorphisms induced by an arbitrary smooth vector field \(\xi \) from where one can derive the Noether current
where
is the Noether current superpotential for the TEGR.
By construction, the current is a vector density, the superpotential is an antisymmetric tensor density, and both and are locally Lorentz invariant. The Noether current is conserved in both the ordinary and covariant sense, i.e.
where \({\mathop {\nabla }\limits ^{\circ }}_\alpha \) is the Levi-Civita covariant derivative, what allows us to define the Noether conserved charge as
which can be written in the spherical coordinate system explicitly as
In particular case when \(\xi \) is time-like, we would like to identify the corresponding conserved charge with the energy measured by a set of observers at spatial infinity with their four-vectors \(\xi \)
Unlike the previous quantities (3.3) and (3.4), the Noether charges (3.9) are invariant under local Lorentz transformations and behave as a scalar with respect to diffeomorphisms.
The price for this invariance is that the Noether charges (3.9) depend on the vector field \(\xi \) that is not fixed a priori and needs to be determined. In principle, we have many possible ways to choose \(\xi \), but naturally some of these choices are more physically meaningful. In the standard metric formulation of GR, it was argued that the physically preferred choice is to choose \(\xi \) to be a Killing field of the reference geometry [34].
However, in the case of a tetrad theory, as is the case of TEGR, we have additional freedom due to the fact that the tetrad is not fully determined by the field equations. This naturally provides us with another possibility to choose \(\xi \) to be identified with the tetrad itself that allows us to understand the energy–momentum (3.3) within the context of the Noether charges. To illustrate this, let us first identify the time-like vector \(\xi ^\mu \) with the zeroth tetrad vector, i.e. \(\xi ^\mu =-h_{\hat{0}}{}^\mu \), which naturally leads to \({\mathcal {P}}(\xi )=P_{\hat{0}}\). We can then generalize this to four vector fields labelled as \(\xi _{(a)}\) and identify them with the tetrad as \(\xi _{(a)}=h_a{}^\mu \) to obtain
Therefore, the total energy–momentum \(P_a\) defined by (3.3) indeed represents a physically interesting quantity, i.e. these are the Noether charges for the diffeomorphisms generated by the tetrad vectors themselves. We can then understand \(P_a\) as the total energy–momentum of the whole spacetime as measured by the observer represented by the tetrad.
It is interesting to observe that applying the same logic to (3.4), we find that \(P_\mu \) are the Noether charges for the set of vector fields \(\xi _{(\mu )} =\delta _{(\mu )}{}^\nu \partial _\nu \), i.e. diffeomorphisms generated by the coordinates. This makes the physical meaning of \(P_\mu \) rather unclear, unless one provides a further information how to attach some meaning to the coordinates. One could in principle argue that \(P_\mu \) represents the energy–momentum of the spacetime itself since the quantity is Lorentz scalar in the covariant formulation. However, as we demonstrate shortly, the problem is that there exist various gauges and hence the superpotential can have different values for different observers.
4 Black hole mass and Schwarzschild static gauge
Let us demonstrate calculation of some of these quantities related to determining the mass of the Schwarzschild black hole. The standard metric for the Schwarzschild black hole is
where
The tetrad is not defined by the field equations [1], so we can choose the most convenient diagonal tetrad as
The Levi-Civita spin connection for the tetrad (4.3), defined by (2.6), has non-zero components
We find that all components of the Riemannian curvature are proportional to M and hence the limit \(M\rightarrow 0\) of (4.4) defines the inertial spin connection \({\mathop {A}\limits ^{\bullet }} {}^{a} {}_{c\mu }\) related to (4.3), non-zero components of which are
Using (2.7) we find that the non-vanishing components of the superpotential are
In the limit \(r\rightarrow \infty \), the only non-vanishing components of the corresponding superpotential density are given by
Then, choosing the \(\xi \) vector to be the time-like Killing vector
and using the expressions (3.9), (3.10), and (3.6), we find the Noether charge to be equal to the total mass of the black hole
Applying the Lorentz rotation
to diagonal tetrad (4.3) one finds that the tetrad components become
and the inertial spin connection vanishes. This special class of tetrads is called the proper tetrads, see [17].
We denote the static diagonal tetrad (4.3) and the related inertial spin connection (4.5) as the Schwarzschild static gauge. Any tetrad with the related inertial spin connection obtained from (4.3) and (4.5) by arbitrary coordinate transformations or arbitrary local Lorentz rotations represents the Schwarzschild static gauge as well. Therefore, the proper tetrad (4.11) with vanishing inertial spin connection is in the Schwarzschild static gauge as well.
5 Free-falling observers and Lemaitre gauge
In the present section we study conserved charges in the frame of a freely and radially falling observer into the Schwarzschild black hole. It is natural and reasonable to start the study in the coordinates of the freely falling observer. The most known and popular such coordinates are the Lemaitre ones [35].
After applying the coordinate transformations from the Schwarzschild static coordinates \((t,r,\theta , \varphi )\) to Lemaitre freely falling coordinates \((\tau ,\rho ,\theta , \varphi )\)
with f(r) defined in (4.2), the Schwarzschild metric (4.1) transforms to
where
Now, it is convenient to take the diagonal tetrad related to the metric (5.2):
The non-zero Levi-Civita spin connection components (2.6), corresponding to the tetrad (5.3), are given by
All components of the Riemann tensor \({\mathop {R}\limits ^{\circ }}{}^a{}_{b \mu \nu }\) calculated from (5.4) are proportional to M and hence vanish in the limit \(M\rightarrow 0\). Then the inertial spin connection \({{\mathop {A}\limits ^{\bullet }}}{}{} {}^a{}_{b \mu }\) can be taken as the \(M\rightarrow 0\) limit of the Lemaitre Levi-Civita spin connection (5.4), i.e.
Now we have to address the issue of choosing the vector \(\xi \) generating the Noether charge. We can consider \(\xi \) as a four-velocity of a freely falling observer in the form
which corresponds to identification of \(\xi \) with the zeroth component of the tetrad, i.e. \({\tilde{\xi }=-{\mathop {h}\limits ^{C}}_{\hat{0}}}\). While this is formally the same as (4.8), we must be cautious here since this vector is in the Lemaitre coordinates and hence it is not a Killing vector.
We then proceed to calculate the superpotential for the tetrad (5.3) and the inertial spin connection (5.5). Based on (5.6) it is sufficient to calculate \({{\mathop {S}\limits ^{\bullet }}}{}{}_{0} {}^{\mu \nu }\) and we find that \({{\mathop {S}\limits ^{\bullet }}}{}{}_{0} {}^{\mu \nu }=0\), and hence we obtain a vanishing Noether current
This result can be understood as a consequence of the equivalence principle, i.e. the free-falling observer measures a vanishing Noether energy–momentum current. Consequently we obtain a zero Noether conserved charge
i.e. the free-falling observer measures a vanishing total mass of the black hole, which is the same result as obtained in references [16] and [17].
We can also define a new proper frame from (5.3) by applying a local Lorentz transformation (4.10). The inertial spin connection becomes zero and the corresponding proper tetrad takes the form
Because our formalism is Lorentz covariant, applying it in the framework of the proper tetrad (5.9), we obtain again the vanishing current (5.7).
Following the logic of the previous section we denote the diagonal tetrad (5.3) corresponding the Lemaitre metric (5.2) with the inertial spin connection (5.5) as the Lemaitre gauge. After any coordinate transformations or local Lorentz transformations applied simultaneously to (5.3) and (5.5), the resulting tetrad and the related inertial spin connection will represent the Lemaitre gauge as well.
6 Comparison of Schwarzschild static and Lemaitre gauges
The tetrads (5.3) and (5.9) obtained in the Lemaitre gauge are written in the Lemaitre coordinates. In order to make a direct comparison with the tetrads (4.3) and (4.11) obtained in the Schwarzschild static gauge, let us write all formulae from the Lemaitre gauge in the same Schwarzschild static coordinates. Applying the transformations (5.1) to the tetrad (5.3), we can write (5.3) in the Schwarzschild coordinates as
The related inertial spin connection (5.5) is not changed because the transformations (5.1) affect 0 and 1 coordinates only. Moreover, we can write the Lemaitre proper tetrad (5.9) in the Schwarzschild coordinates as
Of course, the vanishing inertial spin connection related to (6.2) in the Lemaitre gauge is zero as well.
Thus, we have now all four tetrads \({\mathop {h}\limits ^{A}}\) (4.11), \({\mathop {h}\limits ^{B}}\) (4.3), \({\mathop {h}\limits ^{C}}\) (6.1) and \({\mathop {h}\limits ^{D}}\) (6.2), written in the same Schwarzschild coordinates. It turns out that all of these tetrads are connected directly. The tetrad \({\mathop {h}\limits ^{B}}\) in (4.3) can be transformed to the tetrad \({\mathop {h}\limits ^{C}}\) in (6.1)
by making a radial boost
where \(\gamma =1/ \sqrt{1-\beta ^2}\) and \(\beta \) is a rapidity given by
Finally, we conclude that the tetrads in Schwarzschild coordinates named as \({\mathop {h}\limits ^{A}}\), \({\mathop {h}\limits ^{B}}\), \( {\mathop {h}\limits ^{C}}\), \( {\mathop {h}\limits ^{D}}\) are connected by a series of local Lorentz transformations
or written explicitly
Inverse relations are given by the scheme
Moreover, we can consider a velocity of the free-falling observer to the black hole. In the Lemaitre coordinates it was \(\tilde{\xi }^\mu =(-1,0,0,0)\). In the Schwarzschild coordinates, using (5.1), it becomes
6.1 Different forms of the Schwarzschild static gauge
We could see that all four considered tetrads are related as (6.6). Starting with a tetrad and the corresponding spin connection in the Schwarzschild static gauge, i.e. (4.3) and (4.5), and transforming simultaneously both variables we can obtain different representations of the Schwarzschild static gauge. We can schematically represent this as in the Fig. 1, where the dots represent the tetrads and arrows mean the Lorentz rotations applied to both the tetrad and the spin connection, the bold dot represents the initial tetrad in which we “switch off” gravity.
Thus, the pairs of tetrads and their related inertial spin connections in the Schwarzschild static gauge are as follows:
-
(a)
The tetrad \({\mathop {h}\limits ^{A}}\) is a proper tetrad with zero inertial spin connection.
-
(b)
The tetrad \({\mathop {h}\limits ^{B}}\) and the inertial spin connection (4.5).
-
(c)
The tetrad \({\mathop {h}\limits ^{C}}\) and the inertial spin connection obtained by a composite local Lorentz transformation consisting of the rotation (4.10) and boost (6.4), i.e.
$$\begin{aligned} {{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b\mu }= & {} (\Lambda _{(AC)}){}^a {}_c \partial _\mu (\Lambda ^{-1}_{(AC)}){}^c {}_b, \\ (\Lambda _{(AC)}){}^a {}_b\equiv & {} ({\Lambda }_{(boost)}){}^a {}_c (\Lambda _{(Sch)}){}^c {}_b. \nonumber \end{aligned}$$(6.10)Non-zero components of (6.10) are given in Appendix A, see (A.1).
-
(d)
The tetrad \({\mathop {h}\limits ^{D}}\) and inertial spin connection obtained from the composite local Lorentz transformation consisting of the boost (6.4), the rotation (4.10) and its inverse, i.e.
$$\begin{aligned} {{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b\mu }= & {} (\Lambda _{(AD)}){}^a {}_c \partial _\mu (\Lambda ^{-1}_{(AD)}){}^c {}_b;\nonumber \\ (\Lambda _{(AD)}){}^a {}_b\equiv & {} (\Lambda ^{-1}_{(Sch)}){}^a {}_c (\Lambda _{(boost)}){}^c {}_d (\Lambda _{(Sch)}){}^d {}_b . \end{aligned}$$(6.11)Non-zero components of (6.11) are given in Appendix A, see (A.2).
For all pairs of the tetrads \({\mathop {h}\limits ^{A}},{\mathop {h}\limits ^{B}},{\mathop {h}\limits ^{C}},{\mathop {h}\limits ^{D}}\), and their corresponding inertial spin connections in the Schwarzschild static gauge (see Fig. 1) the corresponding superpotential is given by the same expression (4.6) due to Lorentz invariance. Using the time-like Killing vector (4.8) in (3.10), we find the Noether charge that can be identified as the total black hole mass is given by (4.9), i.e.
Interestingly, if we consider \(\xi \) to be the velocity vector of the free-falling observer (6.9) and use it to calculate the total energy in the Schwarzschild static gauge, we still obtain the same result \({\mathcal {P}}=M\). However, this is just a coincidence on the account of Schwarzschild static gauge being very unique and highly symmetric, where the asymptotic expansion of the superpotential takes the simple form (4.7). We will discuss this in Sect. 6.3.
6.2 Different forms of the Lemaitre gauge
In a similar fashion, we can obtain different forms of the Lemaitre gauge. We start with one form of the Lemaitre gauge, i.e. (6.1) and (5.5), and apply transformations in (6.6) simultaneously to both the tetrad and inertial spin connection. This can be represented schematically by Fig. 2, where again the dots mean the tetrads and arrows mean the Lorentz rotations, the bold dot means the initial tetrad in which we “switch off” gravity:
In the Fig. 2, the pairs of tetrads and their related inertial spin connections in the Lemaitre gauge are as follows:
-
(a)
The tetrad \({\mathop {h}\limits ^{D}}\) is a proper one with the vanishing inertial spin connection.
-
(b)
The tetrad \({\mathop {h}\limits ^{C}}\) and the inertial spin connection given by (5.5).
-
(c)
The tetrad \({\mathop {h}\limits ^{B}}\) and the inertial spin connection calculated from a composite local Lorentz transformation consisting of the rotation (4.10) and the inverse boost (6.4), i.e.
$$\begin{aligned} {{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b\mu }= & {} (\Lambda _{(DB)}){}^a {}_c \partial _\mu (\Lambda ^{-1}_{(DB)}){}^c {}_b, \nonumber \\ (\Lambda _{(DB)}){}^a {}_b\equiv & {} ({\Lambda }^{-1}_{(boost)}){}^a {}_c (\Lambda _{(Sch)}){}^c {}_b. \end{aligned}$$(6.13)Non-zero components of (6.13) are given in Appendix A, see (A.3).
-
(d)
The tetrad \({\mathop {h}\limits ^{A}}\) and the inertial spin connection obtained from a composite local Lorentz transformation consisting of the rotation (4.10), boost (6.4), and the inverse rotation (4.10), i.e.
$$\begin{aligned} {{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b\mu }= & {} (\Lambda _{(DA)}){}^a {}_c \partial _\mu (\Lambda ^{-1}_{(DA)}){}^c {}_b,\nonumber \\ (\Lambda _{(DA)}){}^a {}_b\equiv & {} (\Lambda ^{-1}_{(Sch)}){}^a {}_c (\Lambda ^{-1}_{(boost)}){}^c {}_d (\Lambda _{(Sch)}){}^d {}_b . \end{aligned}$$(6.14)Non-zero components of (6.14) are given in Appendix A, see (A.4).
All pairs of the tetrads \({\mathop {h}\limits ^{D}},{\mathop {h}\limits ^{C}},{\mathop {h}\limits ^{B}},{\mathop {h}\limits ^{A}}\) with their related inertial spin connections, as listed a) to d) above, represent the Lemaitre gauge and hence lead to the same superpotential that in the static coordinates reads
Let us now discuss the choice of the vector \(\xi \) and calculation of the Noether charges. If we choose \(\xi \) to be given by (6.9) we find that both the Noether current (5.7) and conserved charge (5.8) vanish for all combinations of tetrads and inertial spin connections in points a) to d) above.
All of the tetrads listed above correspond to the same Schwarzschild metric (4.1), despite being in the Lemaitre gauge. Therefore, we can also consider a time-like Killing vector of the metric (4.1) given by (4.8) and calculate the corresponding Noether charge
Surprisingly, we obtain a finite value, which is twice of the result in the Schwarzschild static gauge (4.9). We discuss this result in the following section.
6.3 Discussion
Let us first compare our results with the previous works by Maluf et al. [16] and Lucas et al. [17] in which the same situation with free-falling observers was considered. Both these works have calculated the total energy \(P_{\hat{0}}=0\) rather than the Noether charges. However, as we have discussed at the end of Sect. 3, these coincide under certain conditions. In [16], the authors work in the non-covariant formulation of TEGR where the spin connection is assumed to be identically zero and hence they work only with what we call the proper tetrads. Their tetrad (27) in [16] is identical to our tetrad (6.2) and they find \(P_{\hat{0}}=0\) for the zeroth component of the energy–momentum (3.3) and identify this correctly as a consequence of the equivalence principle. In [17], the same situation is considered in the framework of the covariant formulation and the authors show that the spin connection “regularizes”, i.e. leads to the finite, total energy using arbitrary tetrads. While in [16], the authors claim that in the case of a freely falling frame a possibility to calculate the total mass is lost, the paper [17] shows that it is possible to obtain M using the free-falling tetrads in the covariant formulation. In our formalism, this is equivalent to using a spin connection corresponding to the tetrad \({\mathop {h}\limits ^{D}}\) in the Schwarzschild static gauge, i.e. the case d) in Sect. 6.1. On the other hand, references [18,19,20] calculate the Noether charges, but for the Schwarzschild solution, only in the Schwarzschild static gauge, leading always to the same answer M.
We have calculated the Noether charges for both the Schwarzschild static and Lemaitre gauges and considered various choices for the vector field \(\xi \). Our results can be summarized in Table 1.
Let us now explain the meaning of each result in the table above. The Schwarzschild static gauge represents the physical configuration of the physical fields corresponding to the static observers. The choice of the vector \(\xi \) as (4.8) is a very special one due to the fact that (4.8) is both a Killing vector as well as a velocity of the static observer at infinity
and hence we obtain the same \({\mathcal {P}}(\xi ) = M\). Therefore, based on this example, we cannot decide whether \(\xi \) should be chosen as a Killing vector or as a velocity of the observer.
On the other hand, the Lemaitre gauge represents the physical configuration of the physical fields corresponding to the free-falling observers. The choice of the vector \(\tilde{\xi }\) as (6.9) represents the velocity of the observer associated with the tetrad (6.1), i.e. \(\tilde{\xi }=-{\mathop {h}\limits ^{C}}_{\hat{0}}\), but it is not a Killing vector. In this case, we obtain the physically expected result that the free-falling observer measures the vanishing Noether current and charge. This supports the suggestion to choose \(\xi \) to coincide with the observer velocity and hence to associate it with the zeroth component of the tetrad. Therefore, we highlight these two results in the bold face in the table above, in order to stress this fact.
What about the other two results in the table? We can now understand the calculation of \({\mathcal {P}}(\xi )\) in the Lemaitre gauge as the case when we choose \(\xi \) to be a Killing vector of the spacetime metric (4.8) and not a velocity of the observer. As we have shown, this leads to a rather strange result where we obtain the value to be twice of the physical one. This motivates us to conclude that the preferred choice for the vector field \(\xi \) is to be a velocity of the observer and not a Killing vector of the spacetime. However, as we show in the following section, it is possible to recover a correct physical value when we introduce a non-vanishing initial velocity for the observer.
For the sake of completeness, we have also considered \({\mathcal {P}}(\tilde{\xi })\) in the Schwarzschild static gauge as well. However, here we should be very cautious because \(\tilde{\xi }\) is not a Killing vector of the metric (4.1), nor it represent the velocity of the static observer. It is rather an example of an inconsistent choice of the vector \(\xi \) where we attempt to calculate the Noether charge in the static gauge using the velocity of the free-falling observer. While this is obviously not a meaningful choice, it still leads to the “correct” answer for the conserved charge. However, this is only a coincidence and produces the correct result only accidentally.
To understand these results from the mathematical viewpoint, let us recall that all conserved quantities are given by the \(r\rightarrow \infty \) limit of the superpotential density. In the case of the Schwarzschild static gauge, this has a very special form (4.7) that explains why we uniquely obtain the result M, even in the case when we choose the vector field \(\xi \) inconsistently, as we have discussed above. On the other hand, in the Lemaitre gauge the leading term expansion of the superpotential (6.15) is given by
and hence we have more freedom to contract the superpotential with the components of the vector field \(\xi \) and obtain different values for the Noether charges.
The consequence of the problem above is the difficulty of interpreting the total energy–momentum \(P_a\) in the covariant formulation. Let us recall that in the Lemaitre gauge both the proper tetrad (6.2) and the tetrad (6.1) with the corresponding inertial spin connection (5.5) should represent the same physical situation, and hence we would naively expect the same answer for the energy–momentum. This turns out to be not the case. For example, in our case of the Lemaitre gauge, we do obtain the same vanishing zeroth component of \(P_{a}\), but if we consider all components of \(P_{a}\), we obtain different results for the other components, i.e.
We can understand this result as a consequence of identifying the vector field \(\xi \) with the tetrad in the definitions of \(P_a\) discussed at the end of Sect. 3. While \(\xi \) is a priori arbitrary vector field, in order the Noether charge (3.9) to represent a physically meaningful quantity, we need to identify it with the motion of the observer. In the covariant formulation, this poses a problem since the physical configuration of the fields (our gauge) is determined by both the tetrad and the corresponding inertial spin connection, but the motion of the observer is fully given by the tetrad only. Therefore, when we consider different representations of the Lemaitre gauge discussed in Sect. 6.2, each tetrad represents a different observer. We then encounter the situations where the vector \(\xi \) and the tetrad represent two different observers in the same expression for \(P_a\), what makes the whole expression unphysical. This is analogous to our unphysical calculation of \({\mathcal {P}}(\tilde{\xi })\) in the Schwarzschild static gauge discussed above.
Therefore, for the covariant formulation of the theory, it is more meaningful to consider the Noether charges with the vector field \(\xi \) and the tetrad kept independent. In such a setting, the tetrad and inertial spin connection represent the physical configuration of the gravitational field, while the vector field \(\xi \) represents an observer measuring the gravitational energy–momentum. We can argue that physically meaningful results are obtained when both the physical configuration of physical fields and the vector field \(\xi \) representing the observer correspond to the same situation. For example, in our case, we choose \(\xi \) to be a velocity of the static observer when working in the static gauge, or \(\xi \) to be a velocity of the free-falling observer when working in the free-falling Lemaitre gauge.
Note that this is not a problem in the non-covariant formulation where the tetrad used in the field equations represents the same observer as the vector field \(\xi \) in the Noether conserved charge. These can be identified uniquely with each other and there is no freedom to transform them independently. Therefore, in the non-covariant formulation \(P_a\) indeed represents energy–momentum in a meaningful way.
7 A generalized free-falling observer
So far we have considered only the case of observers falling to the Schwarzschild black hole from the infinity with the zero initial velocity. So far, at least to our best knowledge, this was the only case considered in the previous works, e.g. [16] and [17]. In this section, we generalize this scheme to the case of an arbitrarily free-falling observer, i.e. an observer that starts his/her fall to the black hole not from infinity or with a non-vanishing initial velocity.
Solving the geodesic equation in general form for a radially freely falling observer towards the Schwarzschild black hole in the Schwarzschild coordinates (4.1), one obtains
where e is some number characterizing the initial state of the in-falling particle. The case when \(e>1\) corresponds to a nonzero velocity directed to the black hole at \(r\rightarrow \infty \), whereas \(e<1\) corresponds to a zero velocity at any finite \(r_0\). The observer with \(e=1\) has a zero velocity at \(r\rightarrow \infty \), and the expression (7.1) reduces to the (6.9) considered previously.
7.1 The case \(e >1\)
In this subsection, considering a generalized free-falling observer, we restrict ourselves to the case \(e>1\). We construct the new proper coordinates that are the generalisation of the Lemaitre coordinates (5.2). We then consider a diagonal tetrad and turn off gravity, like in the previous sections, and find the corresponding inertial spin connection. We then create a new gauge and calculate the corresponding conserved charges.
Keeping in mind (7.1), let us introduce the coordinate transformation
using which, one transforms the Schwarzschild metric (4.1) to the form
where \(r = r(\tau _e,\rho _e)\). Using (7.2), the 4-velocity (7.1) transforms to the form
in the new coordinates (7.2). Formally it is the same as (5.6) in the coordinates (5.2), but, of course, in the Schwarzschild static coordinates the form of (7.4) changes to (7.1).
The most natural choice for the tetrad corresponding to the metric (7.3) is to take the simplest diagonal tetrad
To derive the inertial spin connection corresponding to (7.5) we follow the Lemaitre case discussed in Sect. 5, i.e. we calculate the Levi-Civita spin connection and “switch off” gravity by \(M\rightarrow 0\). We find the non-vanishing components of the inertial spin connection to be
Analogously to the situation in the Lemaitre case, the tetrad (7.5) and the inertial spin connection (7.6) are in the new coordinates (7.2). We can transform them to the Schwarzschild coordinates that allows us more convenient comparison with the previous results.
We can observe that since the inertial spin connection (7.6) has 2,3-vector components only, it will have the same form, i.e. (7.6), in the Schwarzschild coordinates. Applying the coordinate transformation (7.2) to the diagonal tetrad (7.5) we find that in the Schwarzschild coordinates it will take the form
We can also derive a proper tetrad that we denote \({\mathop {h}\limits ^{F}}\) by finding a local Lorentz transformation that transforms (7.6) to zero. We find that this is achieved by
where
Applying the Lorentz transformation (7.8) to (7.7), \( {{\mathop {h}\limits ^{F}}}{}^a {}_\mu ={\Lambda _{(E F)}}{}^a {}_b ( {\mathop {h}\limits ^{E}} ){}^b {}_\mu \), we find the proper tetrad to be
where we have introduced
In the spirit of our previous results, we call the tetrad (7.7) and the corresponding inertial spin connection (7.6), or alternatively the new proper tetrad (7.10), a generalized Lemaitre gauge, or e-gauge. Moreover, analogously to (6.6), we can relate new tetrads \({\mathop {h}\limits ^{E}}\) and \({\mathop {h}\limits ^{F}}\) with the tetrads \({\mathop {h}\limits ^{B}}\) and \({\mathop {h}\limits ^{A}}\) as
where we have introduced the boost
Taking the tetrad (7.7) and the corresponding inertial spin connection (7.6), and simultaneously transforming both the tetrad and inertial spin connection using the above transformations, we obtain different forms of the e-gauge. This can be illustrated by the following scheme (Fig. 3).
Or, explicitly we can write that the e-gauge is given by following combinations of the tetrad and inertial spin connection:
-
(a)
The tetrad \({\mathop {h}\limits ^{F}}\) is a proper tetrad, i.e. with a zero inertial spin connection.
-
(b)
The tetrad \({\mathop {h}\limits ^{E}}\) and the inertial spin connection (7.6).
-
(c)
The tetrad \({\mathop {h}\limits ^{B}}\) and the inertial spin connection obtained by
$$\begin{aligned} {{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b\mu }&= (\Lambda _{(FB)}){}^a {}_c \partial _\mu (\Lambda ^{-1}_{(FB)}){}^c {}_b;\nonumber \\ (\Lambda _{(FB)}){}^a {}_b&\equiv (\Lambda ^{-1}_{(boost_e)}){}^a {}_c (\Lambda ^{-1}_{(boost')}){}^c {}_d (\Lambda _{(Sch)}){}^d {}_b . \end{aligned}$$(7.15)The non-zero components of (7.15) are listed in Appendix A, see (A.5).
-
(d)
The tetrad \({\mathop {h}\limits ^{A}}\) and the inertial spin connection
$$\begin{aligned} {{\mathop {A}\limits ^{\bullet }}}{}{}^a{}_{b\mu }&= (\Lambda _{(FA)}){}^a {}_c \partial _\mu (\Lambda ^{-1}_{(FA)}){}^c {}_b;\nonumber \\ (\Lambda _{(FA)}){}^a {}_b&\equiv (\Lambda ^{-1}_{(Sch)}){}^a {}_e (\Lambda ^{-1}_{(boost_e)}){}^e {}_c (\Lambda ^{-1}_{(boost')}){}^c {}_d (\Lambda _{(Sch)}){}^d {}_b . \end{aligned}$$(7.16)The non-zero components of (7.16) are listed in Appendix A, see (A.6).
Due to the Lorentz invariance, all the pairs \({\mathop {h}\limits ^{F}},{\mathop {h}\limits ^{E}},{\mathop {h}\limits ^{B}},{\mathop {h}\limits ^{A}}\) with their related inertial spin connections listed above as a)-d) lead to the same result for the superpotential
where \(\mathcal{A}_e\) and \(\mathcal{B}_e\) are defined in (7.11) and (7.12), respectively.
Let us now calculate the Noether current (3.5) and the corresponding Noether charges (3.9) for different vector fields \(\xi \). For the vector field \(\tilde{\tilde{\xi }}\) chosen to represent the generalized free-falling observer (7.1) we find the vanishing Noether current
and hence naturally leads to the vanishing Noether conserved charge
what is analogous to the situation in the Lemaitre case and is consistent with the expectations based on the equivalence principle. However, an interesting new result is that if we choose the vector \(\xi \) as the time-like Killing vector of the metric (4.1) given by (4.8), we obtain
We can summarize our results in the following tableFootnote 1:
This is indeed a surprising result since, unlike the Lemaitre case where we found (6.16), we have now the same physical outcome as in the Schwarzschild static gauge. This means that introducing an initial velocity for the observer changes the result from the curious 2M to a physically meaningful value M. We will discuss this result in the following section.
7.2 Discussion
The generalized Lemaitre gauge or e-gauge is a new result of this paper that was not considered before. In the case when we choose the vector field \(\xi \) to be associated with the velocity of the observer, i.e. \(\xi =-{\mathop {h}\limits ^{E}}_{\hat{0}}\), we find the vanishing Noether current and charge. This is analogous to the ordinary Lemaitre gauge and can be understood as a consequence of the equivalence principle.
However, an interesting new result is that if we choose the vector \(\xi \) to be the time-like Killing vector (4.8), we find the same result as in the case of the Schwarzschild static gauge. This means that introducing an initial velocity for the observer regularizes the corresponding conserved charge from (6.16) to (7.20). Even more intriguing is that the change from (6.16) to (7.20) is discontinuous and occurs for an arbitrary small e.
While from the physical perspective it is rather unclear how an inclusion of an arbitrary small velocity can regularize the total energy, on the purely mathematical level this can be understood as a consequence of the regularizing property of the initial velocity e. Here we mean the fact that for the standard Lemaitre gauge, the metric (5.2) and the corresponding tetrad (5.3) are singular in the limit \(M\rightarrow 0\) (or \(r\rightarrow \infty \)) that is used to determine the inertial spin connection (5.5). On the other hand, the metric (7.3) and the corresponding tetrad (7.5) are regular in this limit.
The result above is even more curious if we notice an important role of the constant boost (7.9). Let us consider the chain of transformations (7.13) from \({\mathop {h}\limits ^{A}}\), which is the proper tetrad in the Schwarzschild static gauge, to \({\mathop {h}\limits ^{F}}\), which is the proper tetrad in the e-gauge. The constant boost (7.9) is contained in the last transformation in the term \(\Lambda _{(E F)}\) given by (7.8), and, as it turns out, is crucial for obtaining the conserved charges discussed above.
The reason why we find this curious is that the constant boost (7.9) is a global Lorentz transformation that we would not expect to influence any relevant scalar conserved quantities. We remark that this is not a question of using the covariant or non-covariant formulations, because the whole question of covariance traditionally concerns local Lorentz transformations only, not the global ones.
For the sake of completeness, let us briefly discuss the case \(e<1\) when freely falling observers have “orbits” constrained by the finite radius \(r_0={2M}/({1-e^2})\). The problem here is that our formula for the Noether charges (3.9) relies on taking the asymptotic limit and hence it is not possible to straightforwardly apply it to this case where we have the maximum radius. It is formally possible to do an analytic continuation to \(r>r_0\), leading to complex quantities \({{\mathop {T}\limits ^{\bullet }}}{}{}^\alpha {}_{\mu \nu }\) and \({{\mathop {S}\limits ^{\bullet }}}{}{}^\alpha {}_{\mu \nu }\). It turns out that the \({{\mathop {S}\limits ^{\bullet }}}{}{}_{{0}} {}^{{0} 1}\) component of the superpotential is real at \(r>r_0\) and hence we obtain the real Noether charge \({\mathcal {P}}=M\). However, despite the fact that one obtains formally acceptable real result in this particular case, the occurrence of complex parameters in intermediate calculations makes the physical interpretation of the whole calculation rather unclear [24]. Nevertheless, note that complex quantities in tetrad calculus do appear in the literature, e.g., in [24, 36] in the case of cosmological models.
8 Free-falling tetrads in f(T) gravity
While the primary objective of this paper was to understand conserved charges in TEGR, it is interesting to make analogous calculations in the framework of f(T) gravity. The f(T) gravity model is one of the most popular modified gravity models where we take the Lagrangian to be an arbitrary function of the torsion scalar (2.8) from the TEGR Lagrangian (2.1) [4,5,6,7]
Much of the attention was dedicated to finding the solutions of the antisymmetric part of the field equations. Those tetrads that solve the antisymmetric field equations with a vanishing spin connection are known as good tetrads [30] or alternatively we can always calculate the corresponding spin connection to arbitrary tetrads in the covariant formulation [3, 29].
To understand the importance of the antisymmetric part of the field equations, let us consider the fully Lorentz-indexed version of the field equations (2.11) in the f(T) case, and write the corresponding Euler-Lagrange expressions \(E_{ab}=\eta _{bc}h^c{}_\rho E_a{}^\rho \) as [3]
where \({\mathop {G}\limits ^{\circ }}_{ab}\) is the Levi-Civita Einstein tensor. From this form of the field equations it is clear that the first term is crucial for understanding the difference of the dynamics of the theory compared to GR. It is also the only term that contributes to the antisymmetric part of the field equations
Therefore, the antisymmetric field equation (8.3) contain the essential information about the genuine f(T) dynamics what motivates our interest in them. Moreover, it can be shown in the covariant formulation that the variation with respect to spin connection lead exactly to this antisymmetric part of the tetrad field equations and hence contains the same information [37].
We can observe that \(f_{TT}=0\) trivially satisfies these equations, but this is on the account of reducing the theory to the TEGR case. In a similar fashion, the case \({{\mathop {T}\limits ^{\bullet }}}{}=\text {const}\) reduces the theory to GR with an effective cosmological constant [31, 32]. We are primarily interested in the non-trivial solutions of these antisymmetric equations since these represent the potentially genuinely new solutions in f(T) gravity.
The general spherically symmetric spacetime is given by the metric ansatz
where A, B are some functions of r that in the case of TEGR reduce to (4.1).
We can define various tetrads analogously to TEGR tetrads discussed previously where we keep the same notation but we add a bar above the quantity to distinguish it from the TEGR case, i.e. the diagonal tetrad we denote as
While in the case of TEGR the diagonal tetrad lead to divergent conserved charges, in the f(T) case we face the problem of non-vanishing antisymmetric field equations that can be satisfied only when \(f_{TT}=0\) and hence reduce trivially to TEGR, i.e. (8.5) is a bad tetrad [30].
The solution to this problem is that we have to either consider a good tetrad [30]
where \((\Lambda _{(Sch)}^{-1}) ^{a} {}_{b}\) is given by (4.10) or use the tetrad (8.5) with the corresponding spin connection, which turns out to be given by (4.5) [3, 29].
We can observe that in this particular case the solution of the problem of the antisymmetric field equations in f(T) gravity seem to be equivalent to the problem of finding conserved charges in TEGR.Footnote 2 It is therefore interesting to consider analogues of accelerated tetrads from the previous sections to demonstrate the differences between these two concepts.
In particular, let us focus on a free-falling tetrad for a general spherically symmetric spacetime (8.4). In the TEGR case, we could consider a radial boost (6.4) with the rapidity given by (6.5), but this requires knowledge of the solution of the field equations \(A=1/B=f^{\frac{1}{2}}\), which is a priori unknown.
Therefore, in the f(T) case, we must consider a free-falling tetrad for the general spherically symmetric spacetime (8.4). To find it, let us define the generalized acceleration object \(\phi ^a{}_b={{\mathop {A}\limits ^{\circ }}}{}{}^{\hat{a}}{}_{\hat{b}\hat{0}}\) [17]. For the diagonal tetrad (8.5), we find that the only non-vanishing component is \(\phi ^0{}_1=A'/(AB)\) and hence this diagonal tetrad represents a static observer. We can then consider a boost in r-direction (6.4) with a general rapidity \(\bar{\beta }\) and find the non-vanishing generalized acceleration object is transformed as
where the prime denotes the derivative with respect to the radial coordinate.
Setting this to zero we find that the generalized acceleration vanishes for the rapidity \(\beta =\pm \sqrt{1-c_1 A^2}\). Without loss of generality we can choose the solution with a plus sign and choose \(c_1=1\), i.e.
We can define a free-falling tetrad for the spherically symmetric spacetime (8.4) by
where the \(\bar{\Lambda }_{(boost)} {}^a {}_b\) is the radial boost (6.4) with the rapidity (8.8).
Let us then attempt to define a f(T) analogue of the proper Lemaitre tetrad (5.9) by combining this radial boost and the proper local Lorentz transformation (4.10), i.e
We can then proceed to calculate the field equations for (8.10) and the zero inertial spin connection and we find that their antisymmetric part (8.3) is given by
from where we can immediately identify the problem and see why this construction does not work in the case of f(T) gravity. These equations are satisfied only if \(f_{TT}=0\), \(\bar{\beta }=0\) implying \(A=1\), or \({{\mathop {T}\limits ^{\bullet }}}{}'=0\), each case reducing the theory to its TEGR limit.Footnote 3
To understand the origins of this result, let us consider the torsion scalar for both the TEGR solution (5.9) and the generalized analogue (8.10). While in the former case we have
in the latter case we find that
which is generally non-zero and reduces to (8.14) only in the case of the TEGR solution \(A=1/B=f^{\frac{1}{2}}\).
From here we can see that the radial boost (6.4) with (6.5) in the TEGR case has a special role as it makes the tetrad both free-falling and corresponding torsion scalar vanishing. On the other hand, in the case of a general tetrad (8.5) the radial boost with the rapidity (8.8) makes only the observer free-falling but does not make the corresponding torsion scalar vanishing, what makes the tetrad (8.10) a bad tetrad at the end.
Let us now explain why this deserves our attention. In the TEGR case, the free-falling tetrad (5.9) gives us a finite conserved charge, either (5.8) or (6.16), and hence can be considered a proper tetrad. However, as we have just demonstrated, an analogous construction of a generalized free-falling tetrad (8.10) is not a good tetrad in f(T) gravity. Therefore, this is an interesting illustration of the fact that good tetrads in f(T) gravity are different from proper tetrads in TEGR, and they cannot be always constructed as simple generalizations of the TEGR situation.
For the sake of completeness of our analysis, we can consider a boost that makes the torsion scalar to vanish by generalizing the approach introduced in [31, 32]. We consider a time-dependent radial boost with rapidity
and define
for which the torsion scalar vanishes
While we have not obtained here any new good tetrad, we have demonstrated how to find the most general vanishing torsion scalar solution for the general spherically symmetric spacetime (8.4). In this sense, our result (8.17) is an interesting new result in the line of previous works [31,32,33].
9 Concluding remarks
In the present paper we have considered several questions related to the problem of local Lorentz degrees of freedom and the concept of proper and good tetrads in TEGR and f(T) gravity. The main results concerning various definitions of conserved charges for the static and variously free-falling observers were discussed in length in Sects. 6.3 and 7.2, where we have demonstrated how to obtain some physical results and compared our calculations with the previous results [16, 17]. In particular, we would like to call attention to our discussion of the relation between Noether charges and other energy–momentum definitions used previously, and generalization of the Lemaitre observers to the case with arbitrary initial velocity named e-gauge introduced in Sect. 7.
In these concluding remarks, let us focus on other consequences of our calculations. We recall that there are two formulations of teleparallel theories: non-covariant and covariant. In the non-covariant formulation of TEGR, the field equations are locally Lorentz invariant but various quantities such as the conserved charges and energy–momentum are not. There is then a class of “preferred” tetrads called proper tetrads that lead to finite conserved charges. In the covariant formulation, on the other hand, considering an inertial spin connection, we are allowed to use an arbitrarily Lorentz transformed tetrad and make the theory covariant. However, we need to calculate the corresponding spin connection and hence essentially we need to determine the same local Lorentz degrees of freedom as when determining the proper tetrad.
In f(T) gravity, these local Lorentz degrees of freedom play even more important role since they affect the field equations. In the original non-covariant formulation of f(T) gravity, the field equations are consistent only for the peculiar class of tetrads known as good tetrads [30]. For the Schwarzschild and FRWL geometries we find that good tetrads coincides with proper tetrad from TEGR. In the covariant formulation, we consider a non-vanishing spin connection that allows us to use arbitrarily Lorentz rotated tetrad in the field equations and hence we can “restore” the local Lorentz symmetry. However, this local Lorentz symmetry is restored only after we determine the correct spin connection corresponding to the tetrad. Therefore, same as in the case of TEGR, there is need to determine the Lorentz degrees of freedom in both formulations.
There are various approaches to determining these preferred tetrads, or alternatively the corresponding spin connections [30, 36, 38, 39]. We have considered here the approach of “switching-off” gravity introduced in [17] and further developed in [22,23,24,25, 29]. While this was known to work very well when starting with the standard static form of the spherically symmetric metric, we have considered the situation where the starting point is the metric in the Lemaitre coordinate system. Note that this is reasonable since the coordinate system is not determined and hence we should be able to obtain meaningful results using arbitrary coordinate systems as a starting point.
An interesting observation from our calculations is the coincidence between the spin connections calculated starting from the Schwarzschild static coordinates (4.5) and the spin connection calculated in the Lemaitre coordinates (5.5). Both spin connections were constructed in the same way by starting with the metric, taking the simplest diagonal tetrad, and “switching off” gravity. The difference was that the starting points were the metrics in different coordinate systems. So, despite the obvious fact that in order to transform from the diagonal Schwarzschild static tetrad to the diagonal Lemaitre tetrad, it is necessary to apply a Lorentz boost, the spin connection remain unchanged. The fact that both spin connections (4.5) and (5.5) are the same demonstrates that the process of determination of the spin connection is not unique.
We can understand the origin of this situation in two ways. First it can be viewed as a deficiency of the “switching-off” gravity method used to determine the spin connection. Indeed this method is completely insensitive to any local Lorentz transformation that is proportional to the parameter that controls the strength of gravity since it gets “switched off”. In our case, the boost (6.5) is proportional to M and then we take the limit \(M\rightarrow 0\) to determine the inertial spin connection. Therefore, it is not a surprise that the resulting spin connection is insensitive to this boost.
However, we would like to argue that this could be viewed as a simple demonstration of the problem of the so-called remnant symmetries discovered in f(T) gravity. These were first encountered in the FRWL spacetime in f(T) gravity, where it was noticed that there exists a class of local Lorentz symmetries that transform a good tetrad into another good tetrad [26, 27]. This means that despite a manifest violation of local Lorentz invariance in the non-covariant formulation, not all symmetries are violated and some of them remain. This means that good tetrads, and analogously proper tetrads in TEGR, are not unique and are indeed an equivalence class of tetrads related by remnant symmetries. In the covariant formulation, this means that there can exist two tetrads related by a remnant symmetry, and to both of them corresponds the same spin connection, which is the situation we have encountered here. See the recent discussion of Kerr solution [40], where it was demonstrated that two Kerr tetrads share the same connection. For the use of these symmetries in analysis of the problem of degrees of freedom in f(T) gravity see [41].Footnote 4
From this follows that we need to pay closer attention to the problem of local Lorentz degrees of freedom in TEGR and the search for a more precise definition of a proper tetrad should be continued. We should also try to understand the relation between the concepts of a proper tetrad in TEGR and a good tetrad in f(T) theory. We have demonstrated that when we attempt to construct a good tetrad in analogy with the free-falling proper tetrad, we fail, indicating that proper and good tetrads are in fact different.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There are no data associated with this work due to its theoretical nature.]
Notes
If we consider the vector field \(\xi \) to be the Lemaitre free-falling vector (6.9), we obtain naively a good result \({\mathcal {P}}(\tilde{\xi })=M\) as well. However, this suffers from the same problem as the previous calculation of \({\mathcal {P}}(\tilde{\xi })=M\) in the static gauge discussed in Sect. 6.3, i.e. the vector \(\tilde{\xi }\) is neither a Killing vector nor a velocity of the observer in the e-gauge, what makes the physical interpretation of this result rather unclear. Therefore, we consider this result to be unphysical. We highlight the physical results in the bold face in the Table 2.
Another interesting case where this happens is the case of spatially-flat FRWL spacetime where the diagonal Cartesian tetrad is both the proper and good tetrad.
In principle, we could also consider the case \(A=1\) with arbitrary B. However, as we show in Appendix B, the symmetric field equations imply then \(B=1\) as well. Therefore, this case is indeed trivial and does not produce any new sensible good tetrad for f(T) gravity.
For the detailed discussion see our upcoming paper [28].
References
R. Aldrovandi, J.G. Pereira, Teleparallel Gravity: An Introduction (Springer, Dordrecht, 2012)
J.W. Maluf, The teleparallel equivalent of general relativity. Ann. Phys. 525, 339–357 (2013). arXiv:1303.3897
M. Krššák, R. van den Hoogen, J. Pereira, C. Böhmer, A. Coley, Teleparallel theories of gravity: illuminating a fully invariant approach. Class. Quantum Gravity 36(18), 183001 (2019). arXiv:1810.12932
R. Ferraro, F. Fiorini, Modified teleparallel gravity: inflation without inflaton. Phys. Rev. D 75, 084031 (2007). arXiv:gr-qc/0610067
G.R. Bengochea, R. Ferraro, Dark torsion as the cosmic speed-up. Phys. Rev. D 79, 124019 (2009). arXiv:0812.1205
R. Ferraro, F. Fiorini, On Born–Infeld gravity in Weitzenbock spacetime. Phys. Rev. D 78, 124019 (2008). arXiv:0812.1981
E.V. Linder, Einstein’s other gravity and the acceleration of the Universe. Phys. Rev. D 81, 127301 (2010). arXiv:1005.3039 [Erratum: Phys. Rev. D 82, 109902 (2010)]
Y.-F. Cai, S. Capozziello, M. De Laurentis, E.N. Saridakis, f(T) teleparallel gravity and cosmology. Rep. Prog. Phys. 79(10), 106901 (2016). arXiv:1511.07586
K. Hayashi, T. Shirafuji, New general relativity. Phys. Rev. D 19, 3524–3553 (1979) [Addendum: Phys. Rev. D 24, 3312–3314 (1982)]
C.-Q. Geng, C.-C. Lee, E.N. Saridakis, Y.-P. Wu, “Teleparallel’’ dark energy. Phys. Lett. B 704, 384–387 (2011). arXiv:1109.1092
J.W. Maluf, F.F. Faria, Conformally invariant teleparallel theories of gravity. Phys. Rev. D 85, 027502 (2012). arXiv:1110.3095
S. Bahamonde, C.G. Böhmer, M. Krššák, New classes of modified teleparallel gravity models. Phys. Lett. B 775, 37–43 (2017). arXiv:1706.04920
M. Hohmann, L. Järv, M. Krššák, C. Pfeifer, Teleparallel theories of gravity as analogue of nonlinear electrodynamics. Phys. Rev. D 97(10), 104042 (2018). arXiv:1711.09930
L.B. Szabados, Quasi-local energy–momentum and angular momentum in general relativity. Living Rev. Rel. 12, 4 (2009)
A.N. Petrov, S.M. Kopeikin, R.R. Lompay, B. Tekin, Metric Theories of Gravity: Perturbations and Conservation Laws, vol. 38. De Gruyter Studies in Mathematical Physics. De Gruyter, Berlin (2017)
J.W. Maluf, F.F. Faria, S.C. Ulhoa, On reference frames in spacetime and gravitational energy in freely falling frames. Class. Quantum Gravity 24, 2743–2754 (2007). arXiv:0704.0986
T.G. Lucas, Y.N. Obukhov, J.G. Pereira, Regularizing role of teleparallelism. Phys. Rev. D 80, 064043 (2009). arXiv:0909.2418
Y.N. Obukhov, G.F. Rubilar, Invariant conserved currents in gravity theories with local Lorentz and diffeomorphism symmetry. Phys. Rev. D 74, 064002 (2006). arXiv:gr-qc/0608064
Y.N. Obukhov, G.F. Rubilar, J.G. Pereira, Conserved currents in gravitational models with quasi-invariant Lagrangians: application to teleparallel gravity. Phys. Rev. D 74, 104007 (2006). arXiv:gr-qc/0610092
Y.N. Obukhov, G.F. Rubilar, Covariance properties and regularization of conserved currents in tetrad gravity. Phys. Rev. D 73, 124017 (2006). arXiv:gr-qc/0605045
Y.N. Obukhov, J.G. Pereira, Metric affine approach to teleparallel gravity. Phys. Rev. D 67, 044016 (2003). arXiv:gr-qc/0212080
M. Krššák, J.G. Pereira, Spin connection and renormalization of teleparallel action. Eur. Phys. J. C 75(11), 519 (2015). arXiv:1504.07683
M. Krššák, Holographic renormalization in teleparallel gravity. Eur. Phys. J. C 77(1), 44 (2017). arXiv:1510.06676
E.D. Emtsova, A.N. Petrov, A.V. Toporensky, Conserved currents and superpotentials in teleparallel equivalent of GR. Class. Quantum Gravity 37(9), 095006 (2020). arXiv:1910.08960
E.D. Emtsova, A.N. Petrov, A.V. Toporensky, On conservation laws in teleparallel gravity. J. Phys. Conf. Ser. 1557(1), 012017 (2020)
R. Ferraro, F. Fiorini, Remnant group of local Lorentz transformations in \((T)\) theories. Phys. Rev. D 91(6), 064019 (2015). arXiv:1412.3424
P. Chen, K. Izumi, J.M. Nester, Y.C. Ong, Remnant symmetry, propagation and evolution in \(f\)(T) gravity. Phys. Rev. D 91(6), 064003 (2015). arXiv:1412.8383
M. Krššák, Teleparallel Gravity: Role of Inertia, Remnant Symmetries, and Uniqueness of Formulation, Work in progress
M. Krššák, E.N. Saridakis, The covariant formulation of f(T) gravity. Class. Quantum Gravity 33(11), 115009 (2016). arXiv:1510.08432
N. Tamanini, C.G. Boehmer, Good and bad tetrads in f(T) gravity. Phys. Rev. D 86, 044009 (2012). arXiv:1204.4593
R. Ferraro, F. Fiorini, Spherically symmetric static spacetimes in vacuum f(T) gravity. Phys. Rev. D 84, 083518 (2011). arXiv:1109.4209
C. Bejarano, R. Ferraro, M.J. Guzmán, Kerr geometry in f(T) gravity. Eur. Phys. J. C 75, 77 (2015). arXiv:1412.0641
C. Bejarano, R. Ferraro, M.J. Guzmán, McVittie solution in f(T) gravity. Eur. Phys. J. C 77(12), 825 (2017). arXiv:1707.06637
C.-M. Chen, J.M. Nester, Quasilocal quantities for GR and other gravity theories. Class. Quantum Gravity 16, 1279–1304 (1999). arXiv:gr-qc/9809020
L.D. Landau, E.M. Lifschits, The Classical Theory of Fields (Pergamon Press, Oxford, 1975)
M. Hohmann, L. Järv, M. Krššák, C. Pfeifer, Modified teleparallel theories of gravity in symmetric spacetimes. Phys. Rev. D 100(8), 084002 (2019). arXiv:1901.05472
A. Golovnev, T. Koivisto, M. Sandstad, On the covariance of teleparallel gravity theories. Class. Quantum Gravity 34(14), 145013 (2017). arXiv:1701.06271
A. Toporensky, P. Tretyakov, Spin connection and cosmological perturbations in \(f(T)\) gravity. Phys. Rev. D 102(4), 044049 (2020). arXiv:1911.06064
L. Järv, M. Hohmann, M. Krššák, C. Pfeifer, Flat connection for rotating spacetimes in extended teleparallel gravity theories. Universe 5, 142 (2019). arXiv:1905.03305
J.W. Maluf, S.C. Ulhoa, J.F. da Rocha-Neto, F.L. Carneiro, Difficulties of teleparallel theories of gravity with local Lorentz symmetry. Class. Quantum Gravity 37(6), 067003 (2020). arXiv:1811.06876
A. Golovnev, M.-J. Guzman, Nontrivial Minkowski backgrounds in \(f(T)\) gravity. Phys. Rev. D 103(4), 044009 (2021). arXiv:2012.00696
Acknowledgements
AP has been supported by the Interdisciplinary Scientific and Educational School of Moscow University “Fundamental and Applied Space Research”; EE and AT are supported by RSF Grant 21-12-00130; MK is supported by the CUniverse research promotion initiative (CUAASC) of the Chulalongkorn University.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Inertial spin connections in various gauges
In this Appendix we derive components of inertial spin connections in various gauges considered in the paper which are rather lengthy and cumbersome.
1.1 A.1 The Schwarzschild static gauge
-
(1)
The inertial spin connection corresponding to \({\mathop {h}\limits ^{C}}\) has non-zero components
$$\begin{aligned}&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 1} = \frac{1}{2rf}\sqrt{\frac{2M}{r}}, \quad {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2}\nonumber \\&\quad = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2} = - \frac{1}{f}\sqrt{\frac{2M}{r}}\sin \theta , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{1} 2}= - \frac{\sin \theta }{f^{\frac{1}{2}}}, \nonumber \\&\quad {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 3} = -{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 3} = -\cos \theta . \end{aligned}$$(A.1) -
(2)
To the tetrad \({\mathop {h}\limits ^{D}}\) corresponds an inertial spin connection with the following non-zero components:
$$\begin{aligned}&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 1} = -{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 3} = -{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 3} \nonumber \\&\quad = \frac{1}{2rf} \sqrt{\frac{2M}{r}} \sin \theta \cos \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 2} = - \frac{1}{2rf} \sqrt{\frac{2M}{r}} \cos \theta \cos \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 3} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 3} ={{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2}\nonumber \\&\quad = \frac{1}{2rf} \sqrt{\frac{2M}{r}} \sin \theta \sin \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2} = -\frac{1}{2rf} \sqrt{\frac{2M}{r}} \cos \theta \sin \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 1} = \frac{1}{2rf} \sqrt{\frac{2M}{r}} \cos \theta , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 2} = \frac{1}{2rf} \sqrt{\frac{2M}{r}} \sin \theta , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{2} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{1} 3} = \left( 1- \frac{1}{f}\right) \sin ^2\theta , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 2} =- {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 2} = - \left( 1- \frac{1}{f}\right) \cos \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 3} = \left( 1- \frac{1}{f}\right) \sin \theta \cos \theta \sin \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 2}= - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 2} = - \left( 1- \frac{1}{f}\right) \sin \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 3} = -\left( 1- \frac{1}{f}\right) \sin \theta \cos \theta \cos \varphi . \end{aligned}$$(A.2)
1.2 A.2 The Lemaitre gauge
-
(1)
To the tetrad \({\mathop {h}\limits ^{B}}\) corresponds an inertial spin connection with the following non-zero components:
$$\begin{aligned}&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 1} =- \frac{1}{2rf}\sqrt{\frac{2M}{r}}, \quad {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2} \nonumber \\&\quad = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2} = \frac{1}{f}\sqrt{\frac{2M}{r}}\sin \theta , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{1} 2} \nonumber \\&\quad = - \frac{\sin \theta }{f^{\frac{1}{2}}}, \quad {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 3} = -{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 3} = -\cos \theta , \end{aligned}$$(A.3)which we can recognize to be almost identical to (A.1), but the components with \(\hat{0}\) have a minus sign.
-
(2)
To the tetrad \({\mathop {h}\limits ^{A }}\) corresponds an inertial spin connection with the following non-zero components:
$$\begin{aligned}&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 1} = -{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 3} = -{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 3} \nonumber \\&\quad = -\frac{1}{2rf} \sqrt{\frac{2M}{r}} \sin \theta \cos \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 2}= {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 2} = \frac{1}{2rf} \sqrt{\frac{2M}{r}} \cos \theta \cos \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 3} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 3} ={{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2}\nonumber \\&\quad = -\frac{1}{2rf} \sqrt{\frac{2M}{r}} \sin \theta \sin \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2}= {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2} = \frac{1}{2rf} \sqrt{\frac{2M}{r}} \cos \theta \sin \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 1} =- \frac{1}{2rf} \sqrt{\frac{2M}{r}} \cos \theta , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 2} = - \frac{1}{2rf} \sqrt{\frac{2M}{r}} \sin \theta , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{2} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{1} 3} = \left( 1- \frac{1}{f}\right) \sin ^2\theta , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 2}=- {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 2} = - \left( 1- \frac{1}{f}\right) \cos \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 3} = \left( 1- \frac{1}{f}\right) \sin \theta \cos \theta \sin \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 2} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 2} = - \left( 1- \frac{1}{f}\right) \sin \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 3}\nonumber \\&\quad = -\left( 1- \frac{1}{f}\right) \sin \theta \cos \theta \cos \varphi . \end{aligned}$$(A.4)
which we can again recognize to be almost identical to (A.2), but the components with \(\hat{0}\) have a minus sign.
1.3 A.3 The e-gauge
We use here the shorthand notation (7.11) and (7.12) for \(\mathcal{A}_e\) and \(\mathcal{B}_e\), respectively.
-
(1)
To the tetrad \({\mathop {h}\limits ^{B}}\) corresponds an inertial spin connection with the following non-zero components:
$$\begin{aligned}&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 1} = -\frac{e M}{f r^2} \left( e^2-f\right) ^{-\frac{1}{2}}, \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2} = \mathcal{B}_e f^{-\frac{1}{2}} \sin \theta \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 3} = \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{2} 2} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 3} = - \sin \theta {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{1} 2} \nonumber \\&\quad = - \mathcal{A}_e f^{-\frac{1}{2}} \sin \theta , \quad {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 3} = -\cos \theta .\nonumber \\ \end{aligned}$$(A.5) -
(2)
To the tetrad \({\mathop {h}\limits ^{A }}\) corresponds an inertial spin connection with the following non-zero components:
$$\begin{aligned}&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 1} = -\frac{e M}{f r^2} \left( e^2-f\right) ^{-\frac{1}{2}}\sin \theta \cos \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 1} = -\frac{e M}{f r^2}\left( e^2-f\right) ^{-\frac{1}{2}}\sin \theta \sin \varphi ,\nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 1} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 1} = -\frac{e M}{f r^2}\left( e^2-f\right) ^{-\frac{1}{2}}\cos \theta , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 2} = \mathcal{B}_e f^{-\frac{1}{2}}\cos \theta \cos \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{1} 3} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{0} 3} = - \mathcal{B}_e f^{-\frac{1}{2}}\sin \theta \sin \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 2}= \mathcal{B}_e f^{-\frac{1}{2}}\cos \theta \sin \varphi ,\nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{2} 3} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{0} 3} = \mathcal{B}_e f^{-\frac{1}{2}}\sin \theta \cos \varphi ,\quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{0}} {}_{\hat{3} 2} = {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{0} 2} = -\mathcal{B}_e f^{-\frac{1}{2}}\sin \theta , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{2} 3} =- {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{1} 3} = - \left( \mathcal{A}_e f^{-\frac{1}{2}}-1 \right) \sin ^2 \theta , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 2} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 2} = \left( \mathcal{A}_e f^{-\frac{1}{2}}-1 \right) \cos \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 2} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 2} =\left( \mathcal{A}_e f^{-\frac{1}{2}}-1 \right) \sin \varphi , \quad \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{1}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{1} 3} = -\left( \mathcal{A}_e f^{-\frac{1}{2}}-1 \right) \sin \theta \cos \theta \sin \varphi , \nonumber \\&{{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{2}} {}_{\hat{3} 3} = - {{\mathop {A}\limits ^{\bullet }}}{}{}^{\hat{3}} {}_{\hat{2} 3} \nonumber \\&\quad = \left( \mathcal{A}_e f^{-\frac{1}{2}}-1 \right) \sin \theta \cos \theta \cos \varphi . \end{aligned}$$(A.6)
B Triviality of \(\bar{\beta }=0\) free-falling tetrad in f(T) gravity
In Sect. 8, we have found that the antisymmetric field equations for the tetrad (8.10), which was constructed in analogy with the Lemaitre case (6.2) as a Lorentz boosted free-falling tetrad in the general spherically symmetric spacetime, are given by (8.11)–(8.13). These antisymmetric field equations are satisfied only in three cases: \(f_{TT}=0\), \({{\mathop {T}\limits ^{\bullet }}}{}'=0\), and \(\bar{\beta }=0\). While the first case restrict the theory to TEGR identically, the second case reduces to TEGR with an effective cosmological constant. The last case of \(\bar{\beta }=0\) implies \(A=1\), but in principle leaves us with an option of having a nontrivial B. Let us show that this not the case, and the remaining symmetric field equations enforce \(B=1\) as well, and hence make this case trivial.
We consider a tetrad (8.10), find the antisymmetric field equations (8.11)–(8.13), and consider the case \(\bar{\beta }=1\) that implies \(A=1\). We then find that the remaining field equations in their mixed form to be
We can then subtract the first and third equations to find
Comparing this with the second equation we see that we must have
Therefore, the case \(\bar{\beta }=0\) is indeed trivial and there is no “hidden” non-trivial solution. Naturally we could have guessed this right away since \(\bar{\beta }=0\) corresponds to no boost at all and is just a special case of the good tetrad (8.6) with \(A=1\). However, we are not aware of demonstrating the triviality of \(A=1\) solution in the f(T) literature.
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/.
Funded by SCOAP3
About this article
Cite this article
Emtsova, E.D., Krššák, M., Petrov, A.N. et al. On conserved quantities for the Schwarzschild black hole in teleparallel gravity. Eur. Phys. J. C 81, 743 (2021). https://doi.org/10.1140/epjc/s10052-021-09505-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09505-x