Abstract
A construction of conservation laws and conserved quantities for perturbations in arbitrary metric theories of gravity is developed. In an arbitrary field theory, with the use of incorporating an auxiliary metric into the initial Lagrangian covariantized Nœther identities are carried out. Identically conserved currents with corresponding superpotentials are united into a family. Such a generalized formalism of the covariantized identities gives a natural basis for constructing conserved quantities for perturbations. A new family of conserved currents and correspondent superpotentials for perturbations on arbitrary curved backgrounds in metric theories is suggested. The conserved quantities are both of pure canonical Nœther and of Belinfante corrected types. To test the results each of the superpotentials of the family is applied to calculate the mass of the Schwarzschild-anti-de Sitter black hole in the Einstein–Gauss–Bonnet gravity. Using all the superpotentials of the family gives the standard accepted mass.
Similar content being viewed by others
References
Petrov, A.N.: In: Christiansen, M.N., Rasmussen, T.K. (eds.) Classical and Quantum Gravity, chap. 2, pp. 79–160. Nova Science Publishers, New York, (2008), Preprint arXiv:0705.0019 [gr-qc]
Szabados, L.B.: Living Rev. Relativity 12(4), 4 (2009). Online version: http://www.livingreviews.org/lrr-2009-4
Pitts, J.B., Schieve, W.C.: Null cones in lorentz-covariant general relativity (2001). Preprint arXiv:gr-qc/0111004.
Bergmann, P.G.: Phys. Rev. 112(1), 287 (1958)
Komar, A.: Phys. Rev. 113(3), 934 (1959)
Trautman, A.: In: Witten, L. (ed.) Gravitation: An Introduction to Current Research, chap. 5, pp. 169–198. John Wiley and Sons, New York–London, (1962)
Deser, S.: Gen. Relativ. Gravit. 1(1), 9 (1970). Preprint gr-qc/0411023
Grishchuk, L.P., Petrov, A.N., Popova, A.D.: Commun. Math. Phys. 94(3), 379 (1984)
Katz, J., Bičák, J., Lynden-Bell, D.: Phys. Rev. D 55(10), 5957 (1997). Preprint arXiv:gr-qc/0504041
Chen, C.M., Nester, J.M.: Class. Quant. Grav. 16(4), 1279 (1999). Preprint arXiv:gr-qc/9809020
Chen, C.M., Nester, J.M.: Grav. Cosmol. 6(4), 257 (2000). Preprint arXiv:gr-qc/0001088.
Fatibene, L., Ferraris, M., Francaviglia, M., Raiteri, M.: J. Math. Phys. 42(3), 1173 (2001). Preprint arXiv:gr-qc/0003019
Petrov, A.N., Katz, J.: Proc. R. Soc. A London 458(2018), 319 (2002). Preprint arXiv:gr-qc/9911025
Deser, S., Tekin, B.: Phys. Rev. D 67(8), 084009 (2003). Preprint arXiv:hep-th/0212292
Lovelock, D.: J. Math. Phys. 12(3), 498 (1971)
Sotiriou, T.P., Faraoni, V.: Rev. Mod. Phys. 82(1), 451 (2010)
Deruelle, N., Katz, J., Ogushi, S.: Class. Quant. Grav. 21(8), 1971 (2004). Preprint arXiv:gr-qc/0310098
Fatibene, L., Ferraris, M., Francaviglia, M.: Int. J. Geom. Meth. Mod. Phys. 2(3), 373 (2005). Preprint arXiv:math-ph/0411029
Katz, J., Livshits, G.I.: Class. Quant. Grav. 25(17), 175024 (2008). Preprint arXiv:0807.3079 [gr-qc]
Petrov, A.N.: Class. Quant. Grav. 26(7), 135010 (2009). Corrigendum in: [21]; Preprint arXiv:0905.3622 [gr-qc]
Petrov, A.N.: Class. Quant. Grav. 27(6), 069801 (2010). Corrigendum to the ref. [20]
Petrov, A.N.: Grav. Cosmol. 16(1), 34 (2010). Preprint arXiv:0911.5419 [gr-qc]
Petrov, A.N.: Class. Quant. Grav. 28(7), 215021 (2011). Preprint arXiv:1102.5636 [gr-qc]
Mitzkevich, N.V.: Physical Fields in General Theory of Relativity. Nauka, Moscow, (1969). In Russian
Ray, J.R.: Nuovo Cim. A 56(1), 189 (1968)
Belinfante, F.J.: Physica 6(9), 887 (1939)
Boulware, D.G., Deser, S.: Phys. Rev. Lett. 55(24), 2656 (1985)
Klein, F.: Nachr. d. Konig. Gesellsch. d. Wiss. zu Göttingen, Math-phys. Klasse, s. 171–189 (1918). Reprinted in: [29], s. 568–585
Klein, F.: Gesammelte Mathematische Abhandlungen. Band 1. Springer, Berlin (1921)
Kosmann-Schwarzbach, Y.: The Noether Theorems. Sources and studies in the history of mathematics and physics. Springer, New York–Dordrecht–Heidelberg–London, (2011). Translated by Bertram E. Schwarzbach
Konopleva, N.P., Popov, V.N.: Gauge Fields. Harwood Academic Publishers, New York, (1981)
Byers, N.: E. Noether’s discovery of the deep connection between symmetries and conservation laws (1998). Preprint arXiv:physics/9807044 [physics.hist-ph]
Brading, K., Brown, H.R.: Noether’s theorems and gauge symmetries (2000). Preprint arXiv:hep-th/0009058
Brading, K., Brown, H.R.: In: Brading, K., Castellani, E. (eds.) Symmetries in Physics. Philosophical reflections, pp. 89–109. CUP, Cambridge, (2003)
Sardanashvily, G.: Int. J. Geom. Methods Mod. Phys. 6(6), 1047 (2009). Preprint arXiv:0906.1732 [math-ph]
Noether, E.: Nachr. d. Konig. Gesellsch. d. Wiss. zu Göttingen, Math-phys. Klasse, s. 235–257 (1918). In German. English translation in: [30], 3–19
Freud, P.: Ann. Math. 40(2), 417 (1939). In German
Papapetrou, A.: Proc. R. Ir. Acad. A 52(2), 11 (1948)
Paddila, A.: Class. Quant. Grav. 20(14), 3129 (2003). Preprint arXiv:gr-qc/0303082
Allemandi, G., Francaviglia, M., Raiteri, M.: Class. Quant. Grav. 20(23), 5103 (2003). Preprint arXiv:gr-qc/0308019
Okuyama, N., Koga, J.I.: Phys. Rev. D 71(8), 084009 (2005). Preprint arXiv:hep-th/0501044
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Auxiliary algebraic expressions
Here, we give useful for calculations algebraic properties of the operator presented by the notation \({\left. Q^A \right|}^\alpha _\beta \) included in (3):
In general, we follow to [24], however our treating \({\left. Q^A \right|}^\alpha _\beta \) is more simple and more effective, as we imagine. We define the operator for covariant quantities only: tensor densities or sets of tensor densities. For example, for a tensor density of the weight \(+\) \(n\) one has
Thus, for the metric one has \(\left. g_{\mu \nu } \right|^\alpha _\beta = -\delta ^\alpha _\mu g_{\beta \nu }-\delta ^\alpha _\nu g_{\mu \beta }\), or for the scalar density: \(\left. {\hat{\mathcal{{L}}}}\right|^\alpha _\beta =-\delta ^\alpha _\beta {\hat{\mathcal{{L}}}}\). One can see that calculations with expressions, like (151), could be very cumbersome. Whereas the use of the abstract form \({\left. Q^A \right|}^\alpha _\beta \) is, indeed, more economical, this is a main reason why we suggest to apply it here. Only to show a final result after calculations the form (151) could be represented. Below we describe properties of the definition \( \left. Q^A \right|^\alpha _\beta \), which are necessary in the present paper.
The right hand side of the Eq. (151) shows that the quantities \({\left. Q^A \right|}^\alpha _\beta \) are tensor densities of the same weight as the tensor densities \(Q^A\). Therefore, the covariant derivative \(\left({\left. Q^A \right|}^\alpha _\beta \right)_{;\gamma }\) of tensor densities \({\left. Q^A \right|}^\alpha _\beta \) is defined in a usual manner as applied to a covariant quantity. Thus, the evident property
follows after covariant differentiation of (151). Also an action of a double vertical line is defined by a natural way:
where ‘\({}^B\)’ is a new generalized index. More important properties follow from the usual properties of the Lie derivative. Thus from
where \([\zeta \xi ]=\xi ^\rho \zeta ^\alpha {}_{,\rho }-\zeta ^\rho \xi ^\alpha {}_{,\rho }\), the next relations are derived:
Among these the second property (158) is more useful. Thus, in our calculations frequently we use the transformations, like this
The first term at the right hand side, to which the vertical line is applied, is a vector density, therefore it is useful also
The above properties are enough to derive the useful relation:
The definition \( \left. Q^A \right|^\alpha _\beta \) in (150) corresponds to the presentation of the covariant derivative by the way:
Namely this presentation is used to represent a partial derivative through a covariant one. Recall that for the vector density \( \hat{Q}^\alpha \): \(\overline{D}_\alpha \hat{Q}^\alpha = \partial _\alpha \hat{Q}^\alpha \), and for the antisymmetric tensor density \(\hat{Q}^{\alpha \beta }\): \(\overline{D}_\beta \hat{Q}^{\alpha \beta } = \partial _\beta \hat{Q}^{\alpha \beta }\). Then, the definition (163) evidently gives
Then (161), as an example of the vector density, gives:
At last, we note that the notation \( \left. Q^A \right|^\alpha _\beta \) can be used also in antisymmetrization of the covariant derivatives:
Calculations in the text of the paper are very prolonged and it is impossible to note in each the case what formulae in this “Appendix” have been used. Therefore, we do not do it, explaining only a general direction of calculations. The information in this “Appendix” is quite enough to repeat our calculations without principal obstacles.
Appendix B: Necessary formulae in the Einstein–Gauss–Bonnet gravity
The action of the Einstein \(D\)-dimensional theory with a bare cosmological term \(\Lambda _0\) corrected by the Gauss–Bonnet term (see, for example, [14]) is
where \(\kappa _D = 2\varOmega _{D-2}G_D> 0\) and \(\alpha >0\); \(G_D\) is the \(D\)-dimension Newton’s constant, \(\varOmega _{D-2}\) is the area of a unit \((D-2)\)-dimensional sphere, and we restrict ourselves by \(\Lambda _0 \le 0\). The subscript ‘\({}_{E}\)’ is related to the pure Einstein part of the action (168), and the subscript ‘\({}_{GB}\)’ is related to the Gauss-Bonnet part connected with \(\alpha \)-coefficient.
To present the metric Lagrangian \(\hat{L}_{EGB}\) in an explicitly covariant form \({\hat{\mathcal{{L}}}}_{EGB}\) one has to change partial derivatives \(\partial _\mu \) of the dynamic metric \(g_{\mu \nu }\) in the Riemannian tensor by the covariant derivatives \(\overline{D}_\mu \). We use next useful formulae:
where
is the difference between the Christoffel symbols related to the dynamic \(g_{\mu \nu }\) and the background \(\overline{g}_{\mu \nu }\) metrics. It is useful the next relations also. Analogously to (163) one defines the covariant derivative related to the dynamic metric:
Then, comparing (172) and (163) one obtains
The coefficients \({n^*}\) and \({m^*}\) [see formulae (176) and (177) below], corresponding to the Lagrangian \({\hat{\mathcal{{L}}}}_{EGB}\) in (168), are necessary for calculating superpotentials. However, at the first it is useful to present the next derivatives:
Substituting (174) and (175) into (61) and (62) one obtains
Using the coefficients (176) and (177) in (71) one obtains for a pure Nœther canonical starred superpotential in EGB gravity
To finalize forming a pure canonical superpotential one needs to choose the divergence. We prefer the choice induced by the Katz-Lifshits approach [19] instead of the choice in [17] (see discussions in [20–22]). Thus, we choose in (115)–(117)
Using the coefficients (176) and (177) in (95) one obtains the Belinfante corrected starred superpotential in EGB gravity
Rights and permissions
About this article
Cite this article
Petrov, A.N., Lompay, R.R. Covariantized Nœther identities and conservation laws for perturbations in metric theories of gravity. Gen Relativ Gravit 45, 545–579 (2013). https://doi.org/10.1007/s10714-012-1487-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10714-012-1487-4