Counting components in the Lagrange multiplier formulation of teleparallel theories
- 232 Downloads
- 2 Citations
Abstract
We investigate the Lagrange multiplier formulation of teleparallel theories, including f(T) gravity, in which the connection is not set to zero a priori and compare it with the pure frame theory. We show explicitly that the two formulations are equivalent, in the sense that the dynamical equations have the same content. One consequence is that the manifestly local Lorentz invariant f(T) theory cannot be expected to be free of pathologies, which were previously found to plague f(T) gravity formulated in the usual pure frame approach.
1 Introduction: gravity as torsion instead of curvature
Einstein’s theory of general relativity recently celebrated its centenary in 2015, and has so far passed all experimental and observational solar system tests with flying colors. Nevertheless, there remain a few mysteries in astrophysics and cosmology that could be a sign that general relativity might need to be modified on larger scales. On the one hand for galaxies and clusters there are discrepancies that could be explained by large amounts of dark matter or some alternative theory [1, 2]. Another issue is the observation that apparently the expansion of our Universe is currently accelerating [3, 4]. A simple explanation is the presence of a positive cosmological constant \(\Lambda \), so that the Universe is asymptotically de Sitter in the far future, not asymptotically flat, but other possibilities cannot yet be excluded.
These problems motivated the search for a modified theory of gravity, which would agree with general relativity in the regimes where the latter had been well-tested, but would nevertheless better account for the larger scale observations, maybe giving a more “natural” explanation for the cosmic acceleration, without the need for \(\Lambda \).
The literature has no shortage for various gravity theories, many of which modify general relativity at the level of the action. The most straightforward example is f(R) gravity, in which the scalar curvature R in the Hilbert-Einstein action is replaced by a function f(R). Another class of gravity theories, known as teleparallel gravity, stands out among the rest, for it considers a connection that is curvatureless but torsionful.1 Recall that in general relativity (GR), the metric compatible Levi-Civita connection has nonzero curvature but vanishing torsion. Gravity is therefore modeled entirely by the effect of spacetime curvature. It may therefore seem rather surprising that there exists a teleparallel equivalent of general relativity (TEGR, or simply GR\(_\parallel \)), which by construction has zero curvature. For a detailed discussion see [6]. TEGR models gravity as a torsional effect, but is otherwise completely equivalent to general relativity, at least at the action level [7, 8, 9, 10]. Since curvature is identically zero in a teleparallel theory, there is a global absolute parallelism.
Here, let us emphasize some aspects of teleparallel gravity theories. As explained above, a teleparallel theory is one which is described by a connection which is flat, i.e., curvature vanishes. On the other hand, one can also formulate a theory described purely in terms of the frame (or the co-frame), with no mention of any connection. In 4-dimensions this is known as a tetrad theory. It turns out that frame theories and teleparallel theories are essentially equivalent. People have long understood this to be the case, but we found that there are a couple of subtleties that have not been addressed in the literature. Firmly establishing this equivalence is the main objective of the present work.
If one has a teleparallel geometry, starting at any point, one can choose there a basis for the tangent space. Then one could parallel transport it along any path to every other point in the space. Since the curvature vanishes, the transport is unique, independent of the path. This constructs a smooth global “preferred” frame field,3 in which the connection coefficients vanish, thus one gets a pure frame description – unique up to an overall constant linear transformation. Conversely, if one has a “preferred” smooth frame field, it allows one to introduce a specific parallel transport rule: namely that vectors are transported along paths by keeping their components constant in this frame. This transport rule is path independent. The associated curvature vanishes. The resulting connection will have vanishing coefficients in this preferred frame. (This is what is meant by having a connection which is zero.) Note that geometrically these concepts make sense without any need for a metric tensor (the torsion tensor, as well as the curvature tensor, can be defined for any connection without using any metric).
Let us suppose we also have a Lorentzian metric (this gives the spacetime a local causal structure), then there is a distinguished subset of possible teleparallel connections which are metric compatible. With such a connection, if one chooses at one point an orthonormal frame its parallel transport to all other points will give a global orthonormal frame field. Conversely, given a global orthonormal frame field it determines a metric compatible teleparallel connection. Furthermore any global frame field determines a metric by defining the frame to be orthonormal.
One crucial aspect that one has to check for any theory of gravity is the number of degrees of freedom it contains. The number is two for general relativity in 4-dimensions.4
Although TEGR has the same degrees of freedom as general relativity,5 a generic teleparallel theory does not. In the case of f(T) gravity, Miao Li et al. [18] – by utilizing the Dirac constraint technique along with Maluf’s Hamiltonian formulation [19] – concluded that in 4-dimensions there are generically 5 degrees of freedom: namely, in addition to the usual 2 degrees of freedom in the metric, the tetrad would have 3 degrees of freedom. For a more intuitive understanding of why 5 degrees of freedom could be expected in such a theory, see Sect. 2 of [20]. (Recently, a Hamiltonian analysis of f(T) gravity was carried out by Ferraro and Guzmán [21]. They claimed that f(T) gravity only contains 3 degrees of freedom, not 5. According to our understanding their analysis has some problems, but clarifying these issues is beyond the scope of the present work.)
The extra degrees of freedom in f(T) gravity are highly nonlinear, as they do not manifest even at the level of second order perturbation in a FLRW background [22]. In fact, it is expected that they will give rise to problems such as superluminal propagation and the ill-posedness of the Cauchy problem in f(T) gravity, i.e., given an initial condition the evolution equations could not uniquely determine the future state of the system. This would be a disaster because it means that physics has lost its predictive power. For comprehensive discussions of this issue, see [20, 23, 24]. In view of said issue, it is important to further understand the degrees of freedom in f(T) gravity and other teleparallel theories.
As mentioned, this class of physical theories can be regarded in (at least) two different ways: as a theory formulated purely in terms of an (orthonormal) frame, or as a theory with both a frame and a flat connection. One could dynamically achieved the flat connection condition by using a Lagrangian multiplier to enforce vanishing curvature. The frame-connection-multiplier formulation is a particular subclass of the general metric-affine gravity theories, see §5.9 in [25]. As we remarked, it has generally been understood that one can achieve the desired result using this Lagrange multiplier approach. Upon examination we found that there are some subtle aspects, which have not all been addressed in the existing literature, including [17, 25, 26, 27]. We note that the issue is not trivial. The vanishing curvature constraint depends on the connection coefficient and its first partial derivative. In Classical Mechanics, it is well known that one cannot in general achieve the desired result by introducing into the action with Lagrange multipliers a constraint which depends on the time derivatives of the dynamical variables. The standard counter-example of such a non-holonomic constraint is “rolling without slipping” (for discussions see [28] pp 14–16 and [29]). Likewise in field theory, one cannot in general introduce via Lagrange multipliers constraints which depend on the derivatives of the field, however sometimes this does produce the desired result. We do not know of any general results, so we need to check each case carefully.
2 The Lagrange multiplier approach
The representation in terms of a non-vanishing teleparallel connection may give some insights. Enforcing vanishing curvature via a Lagrange multiplier has been treated in many sources including Kopczyński [30], Hehl et al. [25] and Blagojević [31]. See also [26] and [32]. This can be done even for the most general metric-affine gravity theory or for the a priori metric compatible case such as f(T) gravity. Our formulation here will essentially be like that of the Obukhov-Pereira metric-affine formulation [17].
It is straightforward to restrict that approach to our needs by completely eliminating the metric using orthonormal frames. There are interesting technical details about how the number of independent components of the dynamical equations work out so that this approach is equivalent to the approach with a priori vanishing connection. The equivalence has been, until now, not explicitly shown at this level of detail, although most of the underlying ideas were implicit in the earlier foundational works of Blagojević and Nikolić [26], as well as those of Blagojević and Vasilić [27], and Obukhov-Pereira [17]. The Lagrange multiplier formulation was also mentioned in a more recent work by Golovnev, Koivisto, and Sandstad [33], but the counting of the number of components was not carried out. We will demonstrate the equivalence in this section. However, let us first clarify what it means to not set the connection to be zero.
To see this, let us first consider a general Lagrangian density (i.e., a 4-form in 4-dimensions) of the form6The amount of information in any teleparallel theory of gravity in which curvature is constrained to vanish via a Lagrange multiplier is the same as that in the formulation in which the connection is set to zero a priori.
3 Counting the components
As mentioned, the variation with respect to \(\lambda ^A_{~B}\) implies flatness \(R^A_{~B}=0\). Then there exists a frame in which \(D=d\), in which we no longer have local gauge freedom. However, while it is generally believed that imposing flatness via a Lagrange multiplier is equivalent to imposing flatness a priori, it is not obvious how the counting of independent components works out to match so well, especially since in the Lagrange multiplier approach there are gauge degrees of freedom. This is what we shall elaborate on now.
Thus the Lagrange multiplier approach yields the same number of independent components as the usual approach in which the curvature-free condition is imposed a priori.
There still remains a slight possibility that the first term on the right hand side of Eq. (24) might, in n-dimensions, contain a closed but not exact \((n-1)\)-form. Then it might include an extra global condition for the connection-multiplier representation that is not required in the coframe version. To us this seems unlikely, but we have not yet been able to rule it out for spaces that have a non-vanishing \((n-1)\)-cohomology.9
Thus generically a teleparallel theory has effectively \(n^2\) physical dynamical equations \(0=E^{AB}=E^{(AB)}+E^{[AB]}\). Only for the special case of the teleparallel equivalent of GR the anti-symmetric part vanishes identically: \(E^{[AB]}\equiv 0\), leaving \(n(n+1)/2\) dynamical equations.
- (1)
Transforming the frame along with the standard induced connection transformation leaves the action invariant.
- (2)
Transforming the frame while keeping the connection fixed changes the action by a total differential.
4 Conclusion
One major advantage of the Lagrange multiplier formulation is that it permits us to use any orthonormal frame that corresponds to a metric, since it manifestly preserves local Lorentz invariance. This avoids the important and practical problem of identifying the correct frame compatible with the zero-connection in the usual approach.
Although it has long been argued that this approach is equivalent to the usual frame approach which sets the connection to zero a priori, we found that there are some subtleties in the counting of the number of components in the Lagrange multiplier approach, which until now have not been fully discussed in detail. In this work we showed that indeed the number of physically significant components for the equations in the Lagrange multiplier formulation agrees with that obtained using the frame approach.
Consequently, a manifestly local Lorentz invariant f(T) theory cannot be expected to be free of the pathologies which were previously found to plague f(T) gravity formulated in the usual pure frame approach. Nevertheless, the Lagrange multiplier teleparallel formulation might shed some light on the properties of the extra degrees of freedom and the “remnant symmetry” discovered in [37] (which was further discussed in [20]).
Footnotes
- 1.
We emphasize that torsion, like curvature, is a property of a given connection. Even in a theory with both curvature and torsion, such as the Einstein-Cartan theory, torsion has a clear geometric meaning, and it is best to treat it as such (from the point of view of well-posedness of the evolution equations [5]), rather than “just another field” coupled to standard general relativity.
- 2.
- 3.
Hence, when trying to solve the equations, one cannot hope to get any sensible results by choosing an ansatz frame that is singular, for example the spherical frame (unless one introduces suitably flat connection coefficients, which cancel the singularity in the frame, so that the torsion tensor is smooth. For a concrete example of this see Section VII in Obkuhov and Pereira [17]).
- 4.
The number of degrees of freedom for GR in n-dimensions is \(n(n-3)/2\). In the language of waves, this is the number of polarizations. It is well-known that in 3-dimensions general relativity becomes a topological theory, in which there is no propagating degrees of freedom, and thus also no gravitational waves.
- 5.
There are subtleties even in the TEGR case – in TEGR one physical system is represented by a whole gauge equivalence class: an infinite set of geometries, each with its own torsion and distinct teleparallel connection. In the pure frame representation, the gauge freedom representation looks simply like local Lorentz gauge freedom, however it really corresponds to a whole equivalence class of teleparallel geometries, with gauge equivalent torsions.
- 6.
For simplicity we do not discuss any matter source fields; they do not play an essential role in the issue we are addressing.
- 7.
Here we are considering the metric compatible case using orthonormal frames. In other teleparallel theories for the frame gauge group \({\text {GL}}(n)\) one would have \(N=n^2\) and for \({\text {SL}}(n)\) \(N=n^2-1\).
- 8.
According to the Hodge-Kodaira-de Rham generalization of the Helmholtz decomposition (see, e.g., [35, 36]), locally a differential form can be decomposed into a sum of terms which are in the kernel and the co-kernel of the differential operator d, and can be expressed as the differential and codifferential of certain potentials. For a k-form in n-dimensions, the sizes of these terms are determined by the binomial coefficients \(\left( {\begin{array}{c}n\\ k\end{array}}\right) =\left( {\begin{array}{c}n-1\\ k-1\end{array}}\right) +\left( {\begin{array}{c}n-1\\ k\end{array}}\right) \).
- 9.
Future works considering explicit examples of 4-dimensional spacetimes with nontrivial 3-cohomology might shed some light on this issue. We propose to study class A Bianchi models (types I, II, VIII, IX), which can all be compactified. In particular, Bianchi type I model can have a 3-torus topology, and type IX can have an \(S^3\) topology. Both of these spacetimes have spatial volume 3-forms that are closed but not exact.
Notes
Acknowledgements
YCO acknowledges the support from National Natural Science Foundation of China (No.11705162), and Natural Science Foundation of Jiangsu Province (No.BK20170479). The authors thank Manos Saridakis, Martin Krššák, and Huan-Hsin Tseng for related discussions. YCO also thanks Martin Krššák for his hospitality during the “Geometric Foundations of Gravity” conference in Tartu, Estonia, during which this work was finalized. He acknowledges the China Postdoctoral Science Foundation (grant No.17Z102060070), which supported this travel.
References
- 1.J.W. Moffat, Modified gravity or dark matter?. arXiv:1101.1935 [astro-ph.CO]
- 2.E.P. Verlinde, Emergent gravity and the dark universe. SciPost Phys. 2, 016 (2017). arXiv:1611.02269 [hep-th]
- 3.S. Perlmutter et al., (The Supernova Cosmology Project), Measurements of \(\Omega \) and \(\Lambda \) from 42 High-Redshift Supernovae. Astrophys. J. 517, 565 (1999). arXiv:astro-ph/9812133
- 4.A.G. Riess et al., Observational evidence from supernovae for an accelerating universe and a cosmological constant. Astron. J. 116, 1009 (1998). arXiv:astro-ph/9805201 ADSCrossRefGoogle Scholar
- 5.J.M. Nester, C.-H. Wang, Can torsion be treated as just another tensor field? Int. J. Mod. Phys. Conf. Ser. 07, 158 (2012)CrossRefGoogle Scholar
- 6.R. Aldrovandi, J.G. Pereira, Teleparallel Gravity: An Introduction (Springer, Dordrecht, 2013)CrossRefGoogle Scholar
- 7.K. Hayashi, T. Shirafuji, New general relativity. Phys. Rev. D 19, 3524 (1979)ADSMathSciNetCrossRefGoogle Scholar
- 8.H.I. Arcos, J.G. Pereira, Torsion gravity: a reappraisal. Int. J. Mod. Phys. D 13, 2240 (2004)ADSMathSciNetzbMATHGoogle Scholar
- 9.H. Kleinert, New Gauge symmetry in gravity and the evanescent role of torsion. Electron. J. Theor. Phys. 24, 287 (2010). arXiv:1005.1460v2 [gr-qc]Google Scholar
- 10.L.L. So, J.M. Nester, On source coupling and the teleparallel equivalent to GR. Proceedings of the Tenth Marcel Grossman Meeting on General Relativity (2003), p.1498. arXiv:gr-qc/0612062v1
- 11.J.M. Nester, H.-J. Yo, Symmetric teleparallel general relativity. Chin. J. Phys. 37, 113 (1999). arXiv:gr-qc/9809049 MathSciNetGoogle Scholar
- 12.M. Adak, M. Kalay, Ö. Sert, Lagrange formulation of the symmetric teleparallel gravity. Int. J. Mod. Phys. D 15, 619 (2006). arXiv:gr-qc/0505025 ADSMathSciNetCrossRefGoogle Scholar
- 13.M. Adak, Ö. Sert, M. Kalay, M. Sarı, Symmetric teleparallel gravity: some exact solutions and spinor couplings. Int. J. Mod. Phys. A 28, 1350167 (2013). arXiv:0810.2388 [gr-qc]ADSCrossRefGoogle Scholar
- 14.G. Bengochea, R. Ferraro, Dark torsion as the cosmic speed-up. Phys. Rev. D 79, 124019 (2009). rXiv:0812.1205 [astro-phADSCrossRefGoogle Scholar
- 15.E.V. Linder, Einstein’s other gravity and the acceleration of the universe. Phys. Rev. D 81, 127301 (2010). arXiv:1005.3039 [astro-ph.CO]ADSCrossRefGoogle Scholar
- 16.Y.-F. Cai, S. Capozziello, M. De Laurentis, E.N. Saridakis, \(f(T)\) teleparallel gravity and cosmology. Rept. Prog. Phys. 79, 106901 (2016). arXiv:1511.07586 [gr-qc]ADSCrossRefGoogle Scholar
- 17.Y.N. Obukhov, J.G. Pereira, Metric-affine approach to teleparallel gravity. Phys. Rev. D 67, 044016 (2003). arXiv:gr-qc/0212080 ADSMathSciNetCrossRefGoogle Scholar
- 18.M. Li, R.-X. Miao, Y.-G. Miao, Degrees of freedom of \(f(T)\) gravity. JHEP 1107, 108 (2011). arXiv:1105.5934 [hep-th]ADSMathSciNetCrossRefGoogle Scholar
- 19.J.W. Maluf, J.F. da Rocha-Neto, General Relativity and Quantum Cosmology Hamiltonian Formulation of General Relativity in the Teleparallel Geometry. Phys. Rev. D 64, 084014 (2001). arXiv:gr-qc/0002059
- 20.P. Chen, K. Izumi, J.M. Nester, Y.C. Ong, Remnant symmetry, propagation and evolution in \(f(T)\) gravity. Phys. Rev. D 91, 064003 (2015). arXiv:1412.8383 [gr-qc]
- 21.R. Ferraro, M.J. Guzmán, Hamiltonian formalism for \(f(T)\) gravity. arXiv:1802.02130 [gr-qc]
- 22.K. Izumi, Y.C. Ong, Cosmological perturbation in \(f(T)\) gravity revisited. JCAP 06, 029 (2013). arXiv:1212.5774 [gr-qc]
- 23.Y.C. Ong, K. Izumi, J.M. Nester, P. Chen, Problems with propagation and time evolution in \(f(T)\) gravity. Phys. Rev. D 88, 024019 (2013). arXiv:1303.0993 [gr-qc]
- 24.K. Izumi, J.A. Gu, Y.C. Ong, Acausality and nonunique evolution in generalized teleparallel gravity. Phys. Rev. D 89, 084025 (2014). arXiv:1309.6461 [gr-qc]
- 25.F. Hehl, J.D. McCrea, E.W. Mielke, Y. Ne’eman, Metric affine gauge theory of gravity: field equations, noether identities, world spinors, and breaking of dilation invariance. Phys. Rept. 258, 1 (1995). arXiv:gr-qc/9402012 ADSMathSciNetCrossRefGoogle Scholar
- 26.M. Blagojević, I.A. Nikolić, Hamiltonian structure of the teleparallel formulation of GR. Phys. Rev. D 62, 024021 (2000). arXiv:hep-th/0002022 ADSMathSciNetCrossRefGoogle Scholar
- 27.M. Blagojević, M. Vasilić, Gauge symmetries of the teleparallel theory of gravity. Class. Quant. Grav. 17, 3785 (2000). arXiv:hep-th/0006080 ADSMathSciNetCrossRefGoogle Scholar
- 28.H. Goldstein, C.P. Poole, J.L. Safko, Classical Mechanics, 3rd edn. (Addison-Wesley, New York, 2001)zbMATHGoogle Scholar
- 29.L.M. Bates, J.M. Nester, On D’Alembert’s principle. Commun. Math. 19, 57 (2011)MathSciNetzbMATHGoogle Scholar
- 30.W. Kopczyński, Problems with metric-teleparallel theories of gravitation. J. Phys. A: Math. Gen. 15, 493 (1982)ADSMathSciNetCrossRefGoogle Scholar
- 31.M. Blagojević, Gravitation and Gauge Symmetries, Series in High Energy Physics, Cosmology and Gravitation, 1st edn. (CRC Press, Boca Raton, 2001)Google Scholar
- 32.Z. Haghani, T. Harko, H.R. Sepangi, S. Shahidi, Weyl-Cartan-Weitzenböck Gravity Through Lagrange Multiplier. Phys. Rev. D 88, 044024 (2013). arXiv:1307.2229 [gr-qc]
- 33.A. Golovnev, T. Koivisto, M. Sandstad, On the covariance of teleparallel gravity theories. Class. Quantum Grav. 34, 145013 (2017). arXiv:1701.06271 [gr-qc]ADSMathSciNetCrossRefGoogle Scholar
- 34.M. Krššák, E.N. Saridakis, The covariant formulation of \(f(T)\) gravity. Class. Quantum Grav. 33, 115009 (2016). arXiv:1510.08432 [gr-qc]ADSMathSciNetCrossRefGoogle Scholar
- 35.R. Aldrovandi, J.G. Pereira, An Introduction to Geometrical Physics (World Scientific, Singapore, 1995)CrossRefGoogle Scholar
- 36.T. Frankel, The Geometry of Physics: An Introduction, 3rd edn. (Cambridge University Press, Cambridge, 2011)CrossRefGoogle Scholar
- 37.R. Ferraro, F. Fiorini, Remnant group of local lorentz transformations in \(f(T)\) theories. Phys. Rev. D 91, 064019 (2015). arXiv:1412.3424 [gr-qc]ADSMathSciNetCrossRefGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3