Abstract
Scalar fields play an important role in constructing modified gravity theories. In the case of a single scalar field with timelike gradient, the corresponding Lagrangian in the unitary gauge takes the form of spatially covariant gravity (SCG), which is proved useful in analyzing and extending the generally covariant theories. In this work, we apply the SCG method to the scalar-nonmetricity theory, of which the Lagrangian is built of the nonmetricity tensor and a scalar field. We derive the 3+1 decomposition of the geometric quantities and especially covariant derivatives of the scalar field up to the third order in the presence of a nonvanishing nonmetricity tensor. By fixing the unitary gauge, the resulting Lagrangian takes the form of a SCG with nonmetricity, in which all the ingredients are spatial tensors. We then exhaust the scalar monomials of SCG with nonmetricity up to \(d=3\) with d the total number of derivatives. Since the disformation tensor plays as an auxiliary variable, we take the Lagrangian with \(d=2\) as an example to show that after solving the disformation tensor, we can get an effective SCG theory for the metric variables but with modified coefficients. Our results provides a novel approach to extending the scalar-nonmetricity theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Theories of modified gravity typically involve extra degrees of freedom in addition to the two tensorial degrees of freedom of General Relativity. The simplest and most efficient approach is to introduce extra scalar field(s). A successful example is the construction of higher derivative scalar-tensor theory with a single scalar degree of freedom, which includes the rediscovery of Horndeski theory [1,2,3,4], as well as the development of degenerate higher-order scalar-tensor theory [5,6,7].
An alternative approach to introducing scalar degree(s) of freedom is to break the full spacetime diffeomorphism, particularly by breaking temporal symmetry while retaining only spatial diffeomorphism. This idea can be traced back to ghost condensation [8] and was extensively developed in the effective field theory of inflation [9,10,11] and Hořava gravity [12]. In [13, 14], a class of spatially covariant gravity (SCG) theories that propagate a single scalar degree of freedom was constructed, which was further extended by introducing the velocity of lapse function [15, 16]. A large class of SCG Lagrangians without any scalar degree of freedom has been investigated in [17, 18] and applied in the study of cosmology and black holes [19,20,21,22].Footnote 1 Additionally, constraints from gravitational waves on SCG have been explored in [28,29,30,31], from which one can see that SCG provides a broad framework to study various modified gravity theories in a unifying manner.
In the case of a single scalar field, generally covariant scalar-tensor theory (GST) and SCG have a one-to-one correspondence with each other. Indeed, when the gradient of the scalar field is timelike, it is possible to choose the time coordinate to be a function of the scalar field, which is dubbed the unitary gauge in the literature. Since the scalar field is chosen to be the time coordinate, the GST theory appears to be a theory with only variables from the gravity side respecting spatial diffeomorphism, i.e., an SCG theory. Conversely, a SCG theory can be recast as a GST theory by the gauge recovering procedure (Stückelberg trick). Such a correspondence between SCG and GST theories has been discussed in detail in [32,33,34] (see also [35, 36]).
In recent years, gravity theories based on non-Riemannian geometry [37,38,39], which assume nonvanishing torsion and/or nonmetricity tensors, have attracted much attention. Generally, the affine connection \(\varGamma _{\,ab}^{c}\) is treated as an independent variable, which extends the geometric description of gravitation. The theory with a general affine connection is thus dubbed metric-affine gravity (MAG), which has been studied extensively [40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55]. By coupling MAG to scalar field(s), one gets the so-called “metric-affine scalar-tensor theory” [56,57,58,59,60], which can be seen as an analogue of the scalar-tensor theory in Riemannian geometry. In [61,62,63], propagation of gravitational waves has been discussed, which gives constraints on the relevant theory. MAG also generates “gauge theories of gravity” by applying the Yang-Mills theory to gravity (see [64] for a review).
One subclass of the general MAG that is extensively studied is teleparallel gravity (TG) (see [65] for a review), which assumes absolute teleparallelism, i.e., vanishing curvature. By assuming further a vanishing torsion, one gets the so-called symmetric teleparallel gravity (STG), which is based on the nonmetricity tensor and is proved to be equivalent to general relativity up to a boundary term [66]. STG has been extensively studied in the literature [66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89]. Similarly, with torsion tensor only, the (torsional) teleparallel equivalent of general relativity [90] is also studied in [91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109].
One lesson from the study of the SCG correspondence of GST is that the former has much simpler form and in particular, it is more straightforward to extend the theory in the SCG form instead of the original GST form. Can we take advantage of SCG in studying MAG coupled to a scalar field? This work is devoted to applying this idea to the scalar-nonmetricity theory.
To this end, we first need to identify the basic building blocks in the unitary gauge of a general scalar-nonmetricity theory. On the gravity side, besides the curvature quantities, the basic variables are the decomposition of the nonmetricity tensor (or equivalently the disformation tensor) on the spatial hypersurfaces. On the scalar field side, the essential quantities are the decompositions of the generally covariant derivatives of the scalar field \(\nabla \phi ,\nabla \nabla \phi ,\nabla \nabla \nabla \phi ,\dots \) parallel and orthogonal to the spatial hypersurfaces. In the unitary gauge, since all the decomposed quantities are spatial tensors, we can use them as the basic building blocks to construct the general SCG with metric and nonmetricity variables. In this work, we concentrate only on the polynomial type Lagrangians, and exhaust and classify all the scalar monomials up to \(d=3\) with d the total number of derivatives.
In this work, we assume the nonmetricity tensor and equivalently the disformation tensor to be auxiliary variables with no temporal derivative. In principle, we may solve the nonmetricity tensor in terms of the metric variables. The resulting Lagrangian is nothing but a subclass of SCG with pure metric variables. In this work, we employ the polynomial type Lagrangian with \(d=2\) as an example.
This paper is organized as follows. In Sect. 2, we analyze the basic building blocks by making the 3+1 decomposition without the metric compatible condition. In Sect. 3, we build and exhaust all the scalar monomials up to \(d=3\). In Sect. 4, we take Lagrangian with \(d=2\) as an example and show the effective SCG Lagrangian after solving the disformation tensor. In Sect. 5, we summarize our discussion. Throughout this paper we choose the unit \(8\pi G=1\) and the convention for the metric \(\{-,+,+,+\}\). The indices \(\{a,b,c,\dots \}\) stand for the 4-dimension covariant coordinates and the indices \(\{i,j,k,\ldots \}\) stand for spatial coordinates, respectively.
2 Preliminary
In this section, we briefly review some basic concepts concerning the nonmetricity and derive the 3+1 decomposition of derivatives of the scalar fields.
2.1 Geometry
In Riemannian geometry, the connection is assumed to be metric-compatible and torsionless, thus uniquely determined by the metric, i.e., the Levi-Civita connection. In this work, we consider the non-Riemannian geometry, where the affine connection is assumed to be independent of the metric. Such a theory is dubbed metric-affine gravity (MAG) in the literature.
In our work, we consider a subclass of MAG theory in which the connection is not metric-compatible but is still free of torsion, i.e., \(T_{\,ba}^{c}:=\varGamma _{\,ab}^{c}-\varGamma _{\,ba}^{c}=0\). The nonmetricity tensor is defined as
where \(g_{ab}\) is the spacetime metric and \(\varGamma _{\,ab}^{c}\) is the affine connection. Once we consider such torsionless non-Riemannian geometry, the difference between the affine connection \(\varGamma _{\,ba}^{c}\) and the metric-compatible Levi-Civita connection \(\mathring{\varGamma }_{\,ba}^{c}\) is encoded in the disformation tensor,
Throughout this paper, an overcircle “\(\circ \)” denotes quantities adapted to the Levi-Civita connection. The disformation tensor can be written as a function of the nonmetricity tensor
or inversely we have
Note that the disformation tensor is symmetric with respect to its last two indices, i.e., \(L_{abc}\equiv L_{acb}\).
In this work, we will apply the method of spatially covariant gravity to the scalar-nonmetricity theory. To this end, we have to introduce a proper foliation structure of the spacetime and decompose all geometric quantities, including the metric, nonmetricity tensor as well as derivatives of the scalar field, into their temporal and spatial parts. As usual, we choose \(n^{a}\) as the normal vector to the spatial hypersurfaces, which is normalized and timelike, i.e., \(n^{a}n_{a}=-1\). The induced metric on the hypersurface is defined by
The acceleration and the extrinsic curvature are defined as usual by the Lie derivatives
where \(\pounds _{\varvec{n}}\) is the Lie derivative with respect to \(n^{a}\). We emphasize that since the Lie derivative is irrelevant to any specific connection, \(a_{a}\) and \(K_{ab}\) defined in (2.6) in terms of Lie derivatives are thus universal, which in particular, are exactly the same as in the Levi-Civita case.
With the normal vector \(n^{a}\) and the induced metric \(h_{ab}\), any spacetime tensor can be decomposed into the temporal and spatial parts. In particular, the disformation tensor is decomposed as
Throughout this paper we follow the notation in [110] such that an index replaced by “\(\varvec{n}\)” denotes contraction with the normal vector, and an index with a hat denotes projection by the induced metric, e.g., \(L_{\varvec{n}\varvec{n}\hat{a}}\equiv n^{b}n^{c}h_{a}^{a'}L_{bca'}\) etc. For the sake of simplicity, we define a set of six spatial tensors
which are the independent projections of the disformation tensor on the spatial hypersurface. Similarly, we can also define the projected tensors for the nonmetricity tensors, which can be related by \(L^{(1)},\cdots ,L^{(6)}\) through the relation (2.4).
Since the affine connection is torsion-free, the spatial curvature tensor is defined by
where \(A_{a}\) is an arbitrary spatial tensor, and \(\textrm{D}_{a}\) is the spatial derivative defined by (e.g.) \(\textrm{D}_{a} A_{b} = h_{a}^{a'} h_{b}^{b'} \nabla _{a'} A_{b'}\). Please note \(^{3}\!R_{abcd}\) is different from \(R_{\hat{a}\hat{b}\hat{c}\hat{d}}\) or other decompositions of the spacetime curvature tensor \(R_{abcd}\). In particular, the spacetime curvature tensor \(R_{abcd}\) has different symmetry from that of \(\mathring{R}_{abcd}\), which is the Riemann tensor constructed by the Levi-Civita connection, i.e.,
with \(\mathring{\textrm{D}}_{a}\) the spatial derivative compatible with the spatial metric \(h_{ab}\). We define the spatial Ricci tensors to be
and similarly
Note generally \(^{3}\!R_{ab}\) is not symmetric anymore, which is related to \(^{3}\!\mathring{R}_{ab}\) by (B.11) (in terms of spatial tensors including the disformation tensors and spatial derivatives of them). At this point, note with a non-trivial connection, there could be some alternative contractions, e.g. \(h^{cd}R_{\hat{a}\hat{c}\hat{d}\hat{b}}\), which we do not consider in this work.Footnote 2
By definition, the extrinsic curvature is the Lie derivative of the spatial metric, which has nothing to do with any specific connection. In fact we have the following relation
where \(\tilde{\pounds }_{\varvec{t}}h_{ab}\equiv h_{a}^{a'}h_{b}^{b'}\pounds _{\varvec{t}}h_{a'b'}\) with \(t^{a}\) the time flow vector, and \(N^{a}\) is the shift vector.
2.2 Decomposition of derivatives of the scalar field
When considering metric-affine gravity coupled with a scalar field, we must also decompose the derivatives of the scalar field. In the case of a Levi-Civita connection, the relevant decomposition can be found in [33]. Here, we perform the decomposition in the presence of a nonvanishing nonmetricity tensor. We emphasize that this decomposition is performed with respect to an arbitrary foliation with a timelike normal vector \(n^{a}\). In particular, we have not fixed any specific coordinates.
For the first-order derivative of the scalar field, we have
where \(\text {D}_{a}\) is the projected derivative defined by \(\text {D}_{a}\phi :=h_{a}^{b}\nabla _{b}\phi \). Clearly, (2.14) is the same as that in the metric theory. For the second-order derivative of the scalar field, we have
with
where \(B_{b}\) and \(\varDelta _{ab}\) are spatial tensors. At this point, note that by definition
which has nothing to do with the connection and thus the nonmetricity tensor. On the other hand, the second-order derivatives \(\text {D}_{a}\text {D}_{b}\phi \) implicitly include the nonmetricity tensor. By making use of the relation
as well as (2.19), we find
with \(\mathring{\textrm{D}}_{a}\) being the spatial derivative compatible with the induced metric \(h_{ab}\). As a result, we can also replace \(\textrm{D}_{a}\textrm{D}_{b}\phi \) by \(\mathring{\textrm{D}}_{a}\mathring{\textrm{D}}_{b}\phi \) with an additional term involving \(L_{cab}^{(6)}\).
For completeness, we also show the decomposition of the third-order derivative, given by
with
By plugging (2.16)–(2.18) into the above, we can obtain the explicit expressions for the coefficients U, \(V_{b}\), etc., which are shown in Appendix A.
It is interesting to note that when expressed in terms of \(\textrm{D}_{a}\), \(L_{cab}^{(6)}\) does not manifestly arise in the decomposition of derivatives of the scalar field. However, \(L_{cab}^{(6)}\) is actually present implicitly in the spatial derivative \(\textrm{D}_{a}\), which manifests itself explicitly by splitting \(\textrm{D}_{a}\) into \(\mathring{\textrm{D}}_{a}\) and additional nonmetricity terms. This can be seen transparently in (2.21) and similarly for other terms involving \(\textrm{D}_{a}\).
As a consistency check, when the nonmetricity tensor is vanishing (or equivalently by setting \(L_{cab}=0\)), all the decompositions above reduce to those in the case of the Levi-Civita connection [33]. It is also interesting to note that, up to the second-order derivative of the scalar field, the Lie derivative of the disformation tensor \(\pounds _{\varvec{n}}L\) does not arise. As a result, the nonmetricity tensor (or equivalently, the disformation tensor) is nondynamical and acts as an auxiliary field up to the second order in derivatives of the scalar field. However, \(\pounds _{\varvec{n}}L\) will arise in the decomposition for the third derivative of the scalar field, which implies that if we consider metric-affine gravity coupled to a scalar field with third-order derivatives, the number of degrees of freedom will drastically increase compared to the case up to the second order in derivatives.
2.3 Unitary gauge
One of the original motivations for considering spatially covariant gravity is its equivalence to the scalar-tensor theory when the scalar field \(\phi \) possesses a timelike gradient. In this case, when performing the 3+1 decomposition, the spacelike hypersurfaces can be chosen as the \(\phi =\mathrm {const.}\) hypersurfaces themselves. The same procedure can also be applied when considering a general metric-affine gravity coupled to a scalar field.
Precisely, we choose the normal vector field \(n_{a}\) used for the 3+1 decomposition to be the gradient of the scalar field itself, i.e.,
This corresponds to the so-called “unitary gauge” in the literature.Footnote 3 In the unitary gauge, since the value of the scalar field is constant on each hypersurface, all the spatial derivatives of the scalar field vanish
where a hat “u” stands for quantities defined in the “unitary gauge”, i.e., with \(u_{a}\propto \nabla _{a}\phi \). With this setting, the expressions of decomposition in the previous subsection are significantly simplified. In the rest of this paper, since we always work in the unitary gauge, we will omit the hat “u” for simplicity.
As an illustration of our formalism, let us consider the Horndeski Lagrangian \(\mathcal {L}_{4}^{\text {H}}\) [1,2,3,4],
We will make use of the relations
and (2.20), where \(L_{\,bc}^{a}\) is the disformation tensor, \(^{4}\!\mathring{R}\) and \(\mathring{\nabla }_{a}\) are the Ricci scalar and covariant derivative adapted to the Levi-Civita connection, respectively. (2.31) can be split into two parts
where
involves only the Levi-Civita connection, and terms involving the nonmetricity tensor are
According to (2.14), in the unitary gauge, \(\nabla _{a}\phi =-\frac{1}{N}u_{a}\) with \(\frac{1}{N}\equiv \sqrt{2X}\). Thus \(\pounds _{\varvec{n}}\phi \rightarrow \pounds _{\varvec{u}}\phi =\frac{1}{N}\). The decomposition of the second derivative of the scalar field is given in (2.15), from which we get
in the unitary gauge. After some manipulations, we arrive at
and
In the above \(G_{4}\) is understood as a function of \(\phi \) and N. Due to the presence of
in \(\tilde{\mathcal {L}}_{4}^{\text {H(u.g.)}}\), after integrating out the nonmetricity tensor (or equivalently, the disformation tensor), the resulting Lagrangian involves \(\left( \pounds _{\varvec{u}}\ln N\right) ^{2}\), signaling the existence of extra degrees of freedom. This is also consistent with the analysis in [57, 60].
3 Spatially covariant monomials
According to the above discussion and especially the decomposition of derivatives of the scalar field, the basic building blocks of the nonmetricity theory coupled with a scalar field respecting the spatial covariance are the usual quantities in the 3 + 1 decomposition, i.e., the lapse function N and the spatial metric \(h_{ab}\), the intrinsic and extrinsic curvature \(^{3}\!R_{ab}\) and \(K_{ab}\) respectively, as well as the projections of the disformation tensor \(L^{(1)},\ldots ,L_{cab}^{(6)}\) defined in (2.8). Thus a general Lagrangian takes the form
where \(L^{(i)},i=1,\ldots ,5\) are introduced as a result of decomposition of derivatives on the scalar fields in (2.15). According to (2.21), the spatial derivative \(\textrm{D}_{a}\) can also be split into \(\mathring{\textrm{D}}_{a}\) that is adapted with the spatial metric \(h_{ab}\) as well as contributions from the nonmetricity tensor (or equivalently the disformation tensor). Similarly, \(^{3}\!R_{ab}\) can be further split into \(^{3}\!\mathring{R}_{ab}\) and terms involving the disformation tensor (see Appendix B for details). It is thus equivalent to consider the Lagrangian
which is more convenient when comparing with the usual SCG theory without the nonmetricity tensor.
In the following, we will classify the spatially covariant scalar-nonmetricity monomials. In particular, we will exhaust the monomials up to \(d=3\) with d the total number of derivatives in the unitary gauge.
Since the number of monomials dramatically increases when d goes large. it is convenient to make a classification of these monomials. To this end, we follow the approach developed in [33, 113], by classifying the SCG monomials according to their corresponding generally covariant scalar-tensor (GST) expressions. The correspondence between the SCG and GST monomials has been discussed in [32,33,34]. Schematically, we have
etc. Each GST monomial takes the general structure [33, 113]
We label such a monomial with a set of integers \((c_{0},c_{1},c_{2},\ldots ;d_{1},d_{2},d_{3},\ldots )\), where \(c_{i}\) is the number of the ith order derivatives of the curvature tensor and \(d_{i}\) is the number of the ith order derivatives of the scalar field. Since the first-order derivative would not affect the degeneracy structure of the theory, we suppress \(d_{1}\) and use the integer set \((c_{0},c_{1},c_{2},\ldots ;d_{2},d_{3},d_{4},\ldots )\). According to (3.3), in the GST correspondence each higher derivative of the scalar field must be divided by \(\nabla \phi \), we define
which is the total number of derivatives in the corresponding SCG monomials.
The appearance of the Lie derivative in the Lagrangian could alter the dynamics of the theory and possibly cause non-physical ghosts. For example, as we have discussed above, the first-order Lie derivatives of the disformation tensor will result in the higher derivatives of the scalar field (see (2.22)). For this reason, in this work we do not consider the Lie derivatives explicitly in the Lagrangian in order to avoid ghostlike degrees of freedom. In other words, the Lie derivative only enters implicitly in the extrinsic curvature \(\pounds _{\varvec{n}}h_{ab}=2K_{ab}\). Hence the Lagrangian takes the general formFootnote 4
In Table 1, we list all the building blocks in their schematic form of SCG with nonmetricity.
In the following, we provide the explicit expressions for all the scalar monomials up to \(d=3\). We note that only \(c_{0}\), \(d_{2}\) and \(d_{3}\) are needed for our purpose and thus suppress \(c_{1}\), \(c_{2}\) and \(d_{4}\) for simplicity. For \(d=1\), there are 4 monomials, which are listed in Table 2.
For \(d=2\), the number of monomials dramatically increases. For the sake of brevity, we follow the formalism developed in [32] and concentrate on the unfactorizable and irreducible monomials, which are listed in Table 3. That is, these monomials are not products of more than one scalar monomial and cannot be reduced by integrations by parts, i.e., not total derivatives nor linear combinations of other irreducible ones. Terms in the form \(\mathring{\textrm{D}}a\) and \(\mathring{\textrm{D}}L\) are clearly total derivatives. There are two special categories with \(\left( c_{0};d_{2},d_{3}\right) =\left( 0;0,1\right) \) in the form \(\mathring{\textrm{D}}a\) and \(\mathring{\textrm{D}}L\), which we do not list in Table 3 and are total derivatives at order \(d=2\), but will contribute to the factorizable monomials with \(d=3\).Footnote 5 There is only one monomial in the form \(\mathring{\textrm{D}}a\),
and 4 monomials in the form \(\mathring{\textrm{D}}L\),
The unfactorizable and irreducible monomials with \(d=3\) are listed in Table 4. Terms in the form \(\mathring{\textrm{D}}\mathring{\textrm{D}}K\), \(\mathring{\textrm{D}}\mathring{\textrm{D}}L\), \(\mathring{\textrm{D}}aK\), \(\mathring{\textrm{D}}LK\), \(\mathring{\textrm{D}}La\) are clearly reducible.
In this work, since we do not consider the Lie derivatives of the disformation tensor, the disformation tensor enters the Lagrangian as an auxiliary variable. After solving the disformation tensor in terms of the metric variables (i.e., the lapse function, extrinsic curvature and their spatial derivatives), we are left with an effective SCG Lagrangian with modified coefficients. For \(d=2\), since the disformation tensor arises without any derivatives, the resulting effective SCG Lagrangian can be obtained straightforwardly, which will be shown explicitly in Sect. 4. For \(d\ge 3\), the appearance of spatial derivatives of the disformation tensor makes solving the disformation tensor involved. In particular, reversing the spatial derivatives would introduce nonlocal-type operators, which are not included in the original polynomial-type SCG Lagrangian.
In principle, the Lie derivatives of the disformation tensor (or some of its components) can be taken into account as the basic building blocks of the theory. In this case the disformation tensor is no longer an auxiliary field and the number of degrees of freedom will drastically increases. Nevertheless, this case will be of interest since in the framework of metric-affine gravity, one can treat the metric and the affine connection on an equal footing and thus introduce a kinetic term for the connection (e.g., the disformation tensor).
4 The quadratic theory
In this section, we focus on the theory with \(d=2\) as a concrete example, where the Lagrangian is quadratic in the extrinsic curvature, the acceleration and the disformation tensor. The general Lagrangian is a linear combination of all the monomials with \(d=2\):
where \(c_{i},i=1,...,5\), \(d_{i},i=1,...,22\) and \(f_{i},i=1,...,4\) are arbitrary functions of t and N. The first three terms in (4.1) correspond to the 3+1 decomposition of general relativity, while the remaining terms are contributions from the disformation tensor.
As mentioned before, the disformation tensor does not contain any time derivatives, and thus \(L^{(i)},i=1,...,6\) are auxiliary variables and can be solved by their equations of motion. Since the Lagrangian is quadratic in the disformation tensor, the extrinsic curvature and the acceleration, the solutions for \(L^{(i)}\) must be linear in the extrinsic curvature and the acceleration. We make the ansatz for the solutions as follows
where \(m^{(1)},m^{(2)},m^{(3)},m_{1}^{(4)},m_{2}^{(4)},m_{1}^{(5)},m_{2}^{(5)},m_{1}^{(6)}\) and \(m_{2}^{(6)}\) are coefficients to be determined. The detailed solutions for m’s can be found in Appendix C, which are functions of \(c_{i}\), \(d_{i}\) and \(f_{i}\).
After plugging the solutions of m’s into the Lagrangian (4.1), we arrive at an effective SCG Lagrangian for \(d=2\):
where the coefficients are given by
and
The coefficients p, q, r imply that even starting from standard general relativity, the existence of an independent affine connection (in terms of the disformation tensor) would inevitably make the effective Lagrangian for the metric variables take the form of a general SCG theory.
5 Conclusion
The spatially covariant gravity (SCG), which corresponds to the generally covariant scalar-tensor theory in the unitary gauge, has been proved useful in analyzing and extending the original covariant theory. In this work, we generalize the SCG method to the scalar-nonmetricity theory, in which the covariant derivatives are not metric compatible while still torsionless.
The starting point is the 3+1 decomposition of 4-dimensional generally covariant quantities. In Sect. 2, we discuss the 3+1 decomposition of the disformation tensor, the curvature tensor, and especially the covariant derivatives of the scalar field up to the third order, given in (2.14), (2.15) and (2.22). The results show explicitly how spatially covariant quantities arise after taking the unitary gauge. Following the SCG method, since all the quantities after the 3+1 decomposition are spatial tensors, we may use them as basic building blocks to construct the SCG Lagrangian. In particular, we find that the main distinction of a non-Riemannian theory from a Riemannian one originates from couplings with the disformation tensor \(L_{abc}\). As a result, we treat the projections of the disformation tensor (2.8) as basic building blocks in constructing the Lagrangian (3.6). In Sect. 2.3, we discuss the unitary gauge. We also derive the decomposition of the Horndeski Lagrangian \(\mathcal {L}_{4}^{\text {H}}\), in which the covariant derivative is not metric compatible. The resulting Lagrangian in (2.37)–(2.39) is nothing but an SCG with nonmetricity, or more precisely with projections of the disformation tensor.
In Sect. 3, we exhaust and classify all the SCG scalar monomials up to \(d=3\) with d the total number of derivatives. The results are given in Tables 2, 3 and 4. Up to \(d=3\), the affine connection and thus the nonmetricity tensor act as auxiliary variables. We also follow the original construction of SCG and assume a nondynamical lapse function. Therefore, the resulting theory is guaranteed to be ghostfree and propagate only one scalar degree of freedom.
In Sect. 4, we considered the Lagrangian with \(d=2\) (4.1) as an example, which is a polynomial built of linear combinations of all the scalar monomials of \(d=2\). The projections of the disformation tensor are auxiliary variables, which can be solved in terms of the metric variables and result in an effective Lagrangian for the metric variables only. The resulting Lagrangian (4.8) is nothing but an SCG theory of \(d=2\) in the Riemannian case, with modified coefficients.
There are several possible extensions of the results presented in this work. First, in Sect. 4 we consider only monomials up to \(d=2\), in which the disformation tensor arises without derivatives. Generally, e.g., in the case of \(d\ge 3\), there are spatial derivatives acting on the disformation tensor, which not only cause difficulties in solving the disformation tensor but also may introduce nonlocal operators on the metric variables. Second, in this work, we concentrated on the case with nonmetricity, while it is interesting to consider the SCG with a general affine connection following the same procedure in this work. Third, following [32, 33], it is interesting to derive the generally covariant correspondence of the SCG Lagrangians constructed in this work. One may expect to get more general scalar-nonmetricity theories with a single scalar degree of freedom. Finally, as we have mentioned at the end of Sect. 3, the Lie derivatives of the disformation tensor or more general affine connection can be introduced in principle. It is interesting to explore such a possibility and construct consistent theories that are well-behaved and propagate the desired degrees of freedom. We would like to investigate these extensions in the future.
Data Availability Statement
This manuscript has no associated data. [Authors’ comment: This is a theoretical study and no experimental data.]
Code Availability Statement
The manuscript has no associated code/software. [Author’s comment: Code/Software sharing not applicable to this article as no code/software was generated or analysed during the current study.]
Notes
In principle such more general contractions of the curvature tensor can be introduced.
Some authors define the “unitary gauge” as a specific choice of time coordinate, i.e., fixing \(t=\phi \). Although this can always be done, it is actually unnecessary. We emphasize that we refer to the “unitary gauge” merely as choosing a specific foliation or, equivalently, fixing the normal vector \(n_{a}\), which itself has nothing to do with any specific coordinate. The advantage of defining the unitary gauge in this way is that all the expressions of decomposition can be written in a generally covariant manner.
In principle, in spatially covariant gravity, the lapse function, spatial metric as well as the nonmetricity tensor should be treated on equal footing. Therefore, it is natural to investigate how to build the theory with Lie derivatives such as \(\pounds _{\varvec{n}}N\), \(\pounds _{\varvec{n}}L\) etc. The case without the nonmetricity tensor has been discussed in [15].
This is similar to the case in [32] (see eq. (2.56)).
References
G.W. Horndeski, Second-order scalar-tensor field equations in a four-dimensional space. Int. J. Theor. Phys. 10, 363–384 (1974)
A. Nicolis, R. Rattazzi, E. Trincherini, The Galileon as a local modification of gravity. Phys. Rev. D 79, 064036 (2009). arXiv:0811.2197
C. Deffayet, X. Gao, D. Steer, G. Zahariade, From k-essence to generalised Galileons. Phys. Rev. D 84, 064039 (2011). arXiv:1103.3260
T. Kobayashi, M. Yamaguchi, J. Yokoyama, Generalized G-inflation: inflation with the most general second-order field equations. Prog. Theor. Phys. 126, 511–529 (2011). arXiv:1105.5723
D. Langlois, K. Noui, Degenerate higher derivative theories beyond Horndeski: evading the Ostrogradski instability. JCAP 1602(02), 034 (2016). arXiv:1510.06930
M. Crisostomi, K. Koyama, G. Tasinato, Extended scalar-tensor theories of gravity. JCAP 1604(04), 044 (2016). arXiv:1602.03119
J Ben Achour, M. Crisostomi, K. Koyama, D. Langlois, K. Noui, G. Tasinato, Degenerate higher order scalar-tensor theories beyond Horndeski up to cubic order. JHEP 12, 100 (2016). arXiv:1608.08135
N. Arkani-Hamed, H.-C. Cheng, M.A. Luty, S. Mukohyama, Ghost condensation and a consistent infrared modification of gravity. JHEP 05, 074 (2004). arXiv:hep-th/0312099
C. Cheung, P. Creminelli, A.L. Fitzpatrick, J. Kaplan, L. Senatore, The effective field theory of inflation. JHEP 0803, 014 (2008). arXiv:0709.0293
G. Gubitosi, F. Piazza, F. Vernizzi, The effective field theory of dark energy. JCAP 1302, 032 (2013). arXiv:1210.0201
A. Ashoorioon, R. Casadio, M. Cicoli, G. Geshnizjani, H.J. Kim, Extended effective field theory of inflation. JHEP 02, 172 (2018). arXiv:1802.03040
P. Horava, Quantum gravity at a Lifshitz point. Phys. Rev. D 79, 084008 (2009). arXiv:0901.3775
X. Gao, Unifying framework for scalar-tensor theories of gravity. Phys. Rev. D 90, 081501 (2014). arXiv:1406.0822
X. Gao, Hamiltonian analysis of spatially covariant gravity. Phys. Rev. D 90(10), 104033 (2014). arXiv:1409.6708
X. Gao, Z.-B. Yao, Spatially covariant gravity with velocity of the lapse function: the Hamiltonian analysis. JCAP 1905, 024 (2019). arXiv:1806.02811
X. Gao, C. Kang, Z.-B. Yao, Spatially covariant gravity: perturbative analysis and field transformations. Phys. Rev. D 99(10), 104015 (2019). arXiv:1902.07702
X. Gao, Z.-B. Yao, Spatially covariant gravity theories with two tensorial degrees of freedom: the formalism. Phys. Rev. D 101(6), 064018 (2020). arXiv:1910.13995
Y.-M. Hu, X. Gao, Spatially covariant gravity with 2 degrees of freedom: perturbative analysis. Phys. Rev. D 104(10), 104007 (2021). arXiv:2104.07615
A. Iyonaga, T. Kobayashi, Distinguishing modified gravity with just two tensorial degrees of freedom from general relativity: black holes, cosmology, and matter coupling. Phys. Rev. D 104(12), 124020 (2021). arXiv:2109.10615
T. Hiramatsu, T. Kobayashi, Testing gravity with the cosmic microwave background: constraints on modified gravity with two tensorial degrees of freedom. JCAP 07(07), 040 (2022). arXiv:2205.04688
J. Saito, T. Kobayashi, Black hole perturbations in spatially covariant gravity with just two tensorial degrees of freedom. Phys. Rev. D 108(10), 104063 (2023). arXiv:2308.00267
S. Chakraborty, K. Karwan, J. Sangtawee, Observational predictions of inflationary model in spatially covariant gravity with two tensorial degrees of freedom for gravity. arXiv:2308.09508
T. Zhu, Q. Wu, A. Wang, F.-W. Shu, U(1) symmetry and elimination of spin-0 gravitons in Horava–Lifshitz gravity without the projectability condition. Phys. Rev. D 84, 101502 (2011). arXiv:1108.1237
T. Zhu, F.-W. Shu, Q. Wu, A. Wang, General covariant Horava–Lifshitz gravity without projectability condition and its applications to cosmology. Phys. Rev. D 85, 044053 (2012). arXiv:1110.5106
J. Lin, Y. Gong, Y. Lu, F. Zhang, Spatially covariant gravity with a dynamic lapse function. Phys. Rev. D 103(6), 064020 (2021). arXiv:2011.05739
Z.-B. Yao, M. Oliosi, X. Gao, S. Mukohyama, Minimally modified gravity with an auxiliary constraint: a Hamiltonian construction. Phys. Rev. D 103(2), 024032 (2021). arXiv:2011.00805
Z.-B. Yao, M. Oliosi, X. Gao, S. Mukohyama, Minimally modified gravity with auxiliary constraints formalism. Phys. Rev. D 107(10), 104052 (2023). arXiv:2302.02090
X. Gao, X.-Y. Hong, Propagation of gravitational waves in a cosmological background. Phys. Rev. D 101(6), 064057 (2020). arXiv:1906.07131
T. Zhu, W. Zhao, A. Wang, Polarized primordial gravitational waves in spatial covariant gravities. Phys. Rev. D 107(2), 024031 (2023). arXiv:2210.05259
T. Zhu, W. Zhao, A. Wang, Gravitational wave constraints on spatial covariant gravities. Phys. Rev. D 107(4), 044051 (2023). arXiv:2211.04711
T. Zhu, W. Zhao, J.-M. Yan, C. Gong, A. Wang, Tests of modified gravitational wave propagations with gravitational waves. arXiv:2304.09025
X. Gao, Higher derivative scalar-tensor theory from the spatially covariant gravity: a linear algebraic analysis. JCAP 11, 004 (2020). arXiv:2006.15633
X. Gao, Y.-M. Hu, Higher derivative scalar-tensor theory and spatially covariant gravity: the correspondence. Phys. Rev. D 102(8), 084006 (2020). arXiv:2004.07752
Y.-M. Hu, X. Gao, Covariant 3+1 correspondence of the spatially covariant gravity and the degeneracy conditions. Phys. Rev. D 105(4), 044023 (2022). arXiv:2111.08652
P. Joshi, S. Panda, Higher derivative scalar tensor theory in unitary gauge. JCAP 03(03), 022 (2022). arXiv:2111.11791
P. Joshi, S. Panda, A. Vidyarthi, Ghost free theory in unitary gauge: a new candidate. JCAP 07, 051 (2023). arXiv:2303.12464
H. Weyl, Gravitation and electricity. Sitzungsber. Preuss. Akad. Wiss. Berlin (Math. Phys. ) 1918, 465 (1918)
E. Cartan, Sur les variétés à connexion affine et la théorie de la relativité généralisée. (première partie). Ann. Sci. Ecole Norm. Sup. 40, 325–412 (1923)
F.W. 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. Rep. 258, 1–171 (1995). arXiv:gr-qc/9402012
T.P. Sotiriou, S. Liberati, Metric-affine f(R) theories of gravity. Ann. Phys. 322, 935–966 (2007). arXiv:gr-qc/0604006
S. Capozziello, S. Vignolo, Metric-affine f(R)-gravity with torsion: an overview. Ann. Phys. 19, 238–248 (2010). arXiv:0910.5230
V. Vitagliano, T.P. Sotiriou, S. Liberati, The dynamics of metric-affine gravity. Ann. Phys. 326, 1259–1273 (2011) (Erratum: Annals Phys. 329, 186–187 (2013)). arXiv:1008.0171
D. Iosifidis, C.G. Tsagas, A.C. Petkou, Raychaudhuri equation in spacetimes with torsion and nonmetricity. Phys. Rev. D 98(10), 104037 (2018). arXiv:1809.04992
D. Iosifidis, T. Koivisto, Scale transformations in metric-affine geometry. Universe 5, 82 (2019). arXiv:1810.12276
D. Iosifidis, Exactly solvable connections in metric-affine gravity. Class. Quantum Gravity 36(8), 085001 (2019). arXiv:1812.04031
J. Beltrán Jiménez, A. Delhom, Ghosts in metric-affine higher order curvature gravity. Eur. Phys. J. C 79(8), 656 (2019). arXiv:1901.08988
R. Percacci, E. Sezgin, New class of ghost- and tachyon-free metric affine gravities. Phys. Rev. D 101(8), 084040 (2020). arXiv:1912.01023
J. Beltrán Jiménez, A. Delhom, Instabilities in metric-affine theories of gravity with higher order curvature terms. Eur. Phys. J. C 80(6), 585 (2020). arXiv:2004.11357
F. Cabral, F.S.N. Lobo, D. Rubiera-Garcia, Fundamental symmetries and spacetime geometries in gauge theories of gravity—prospects for unified field theories. Universe 6(12), 238 (2020). arXiv:2012.06356
D. Iosifidis, Quadratic metric-affine gravity: solving for the affine-connection. Eur. Phys. J. C 82(7), 577 (2022). arXiv:2109.13293
D. Iosifidis, L. Ravera, Cosmology of quadratic metric-affine gravity. Phys. Rev. D 105(2), 024007 (2022). arXiv:2109.06167
D. Iosifidis, The full quadratic metric-affine gravity (including parity odd terms): exact solutions for the affine-connection. arXiv:2112.09154
A. Baldazzi, O. Melichev, R. Percacci, Metric-affine gravity as an effective field theory. Ann. Phys. 438, 168757 (2022). arXiv:2112.10193
G. Pradisi, A. Salvio, (In)equivalence of metric-affine and metric effective field theories. Eur. Phys. J. C 82(9), 840 (2022). arXiv:2206.15041
S. Capozziello, V. De Falco, C. Ferrara, Comparing equivalent gravities: common features and differences. Eur. Phys. J. C 82(10), 865 (2022). arXiv:2208.03011
K. Aoki, K. Shimada, Galileon and generalized Galileon with projective invariance in a metric-affine formalism. Phys. Rev. D 98(4), 044038 (2018). arXiv:1806.02589
T. Helpin, M.S. Volkov, Varying the Horndeski Lagrangian within the Palatini approach. JCAP 01, 044 (2020). arXiv:1906.07607
T. Helpin, M.S. Volkov, A metric-affine version of the Horndeski theory. Int. J. Mod. Phys. A 35(02n03), 2040010 (2020). arXiv:1911.12768
K. Aoki, K. Shimada, Scalar-metric-affine theories: can we get ghost-free theories from symmetry? arXiv:1904.10175
M. Kubota, K.-Y. Oda, K. Shimada, M. Yamaguchi, Cosmological perturbations in palatini formalism. JCAP 03, 006 (2021). arXiv:2010.07867
Y.-Q. Dong, Y.-X. Liu, Polarization modes of gravitational waves in Palatini-Horndeski theory. Phys. Rev. D 105(6), 064035 (2022). arXiv:2111.07352
A. Jiménez-Cano, Review of gravitational wave solutions in quadratic metric-affine gauge gravity. Int. J. Geom. Methods Mod. Phys. 19(Supp01), 2240004 (2022). arXiv:2203.03936
Y.-Q. Dong, Y.-Q. Liu, Y.-X. Liu, Constraining Palatini-Horndeski theory with gravitational waves after GW170817. Eur. Phys. J. C 83(8), 702 (2023). arXiv:2211.12056
M. Blagojevic, F.W. Hehl, Gauge theories of gravitation. arXiv:1210.3775
S. Bahamonde, K.F. Dialektopoulos, C. Escamilla-Rivera, G. Farrugia, V. Gakis, M. Hendry, M. Hohmann, J. Levi Said, J. Mifsud, E. Di Valentino, Teleparallel gravity: from theory to cosmology. Rep. Prog. Phys. 86(2), 026901 (2023). arXiv:2106.13793
J.M. Nester, H.-J. Yo, Symmetric teleparallel general relativity. Chin. J. Phys. 37, 113 (1999). arXiv:gr-qc/9809049
M. Adak, M. Kalay, O. Sert, Lagrange formulation of the symmetric teleparallel gravity. Int. J. Mod. Phys. D 15, 619–634 (2006). arXiv:gr-qc/0505025
M. Adak, The symmetric teleparallel gravity. Turk. J. Phys. 30, 379–390 (2006). arXiv:gr-qc/0611077
M. Adak, O. Sert, M. Kalay, M. Sari, Symmetric teleparallel gravity: some exact solutions and spinor couplings. Int. J. Mod. Phys. A 28, 1350167 (2013). arXiv:0810.2388
I. Mol, The non-metricity formulation of general relativity. Adv. Appl. Clifford Algebras 27(3), 2607–2638 (2017). arXiv:1406.0737
J. Beltrán Jiménez, L. Heisenberg, T. Koivisto, Coincident general relativity. Phys. Rev. D 98(4), 044048 (2018). arXiv:1710.03116
L. Järv, M. Rünkla, M. Saal, O. Vilson, Nonmetricity formulation of general relativity and its scalar-tensor extension. Phys. Rev. D 97(12), 124025 (2018). arXiv:1802.00492
M. Rünkla, O. Vilson, Family of scalar-nonmetricity theories of gravity. Phys. Rev. D 98(8), 084034 (2018). arXiv:1805.12197
M. Hohmann, C. Pfeifer, J. Levi Said, U. Ualikhanova, Propagation of gravitational waves in symmetric teleparallel gravity theories. Phys. Rev. D 99(2), 024009 (2019). arXiv:1808.02894
M. Adak, Gauge approach to the symmetric teleparallel gravity. Int. J. Geom. Methods Mod. Phys. 15(12), 1850198 (2018). arXiv:1809.01385
J. Lu, X. Zhao, G. Chee, Cosmology in symmetric teleparallel gravity and its dynamical system. Eur. Phys. J. C 79(6), 530 (2019). arXiv:1906.08920
J. Beltrán Jiménez, L. Heisenberg, T.S. Koivisto, S. Pekar, Cosmology in \(f(Q)\) geometry. Phys. Rev. D 101(10), 103507 (2020). arXiv:1906.10027
R. Lazkoz, F.S.N. Lobo, M. Ortiz-Baños, V. Salzano, Observational constraints of \(f(Q)\) gravity. Phys. Rev. D 100(10), 104027 (2019). arXiv:1907.13219
T. Koivisto, M. Hohmann, L. Marzola, Axiomatic derivation of coincident general relativity and its premetric extension. Phys. Rev. D 103(6), 064041 (2021). arXiv:1909.10415
Y. Xu, T. Harko, S. Shahidi, S.-D. Liang, Weyl type \(f(Q, T)\) gravity, and its cosmological implications. Eur. Phys. J. C 80(5), 449 (2020). arXiv:2005.04025
F. D’Ambrosio, M. Garg, L. Heisenberg, S. Zentarra, ADM formulation and Hamiltonian analysis of coincident general relativity. arXiv:2007.03261
K. Flathmann, M. Hohmann, Post-Newtonian limit of generalized symmetric teleparallel gravity. Phys. Rev. D 103(4), 044030 (2021). arXiv:2012.12875
D. Zhao, Covariant formulation of f(Q) theory. Eur. Phys. J. C 82(4), 303 (2022). arXiv:2104.02483
J. Beltrán Jiménez, T.S. Koivisto, Lost in translation: the Abelian affine connection (in the coincident gauge). Int. J. Geom. Methods Mod. Phys. 19(07), 2250108 (2022). arXiv:2202.01701
I.S. Albuquerque, N. Frusciante, A designer approach to f(Q) gravity and cosmological implications. Phys. Dark Univ. 35, 100980 (2022). arXiv:2202.04637
N. Dimakis, A. Paliathanasis, M. Roumeliotis, T. Christodoulakis, FLRW solutions in f(Q) theory: the effect of using different connections. Phys. Rev. D 106(4), 043509 (2022). arXiv:2205.04680
Z. Chen, Y. Yu, X. Gao, Polarized gravitational waves in the parity violating scalar-nonmetricity theory. JCAP 06, 001 (2023). arXiv:2212.14362
F. Zhang, J.-X. Feng, X. Gao, Scalar induced gravitational waves in symmetric teleparallel gravity with a parity-violating term. Phys. Rev. D 108(6), 063513 (2023). arXiv:2307.00330
K. Hu, T. Paul, T. Qiu, Tensor perturbations from bounce inflation scenario in f(Q) gravity. Sci. China Phys. Mech. Astron. 67(2), 220413 (2024). arXiv:2308.00647
J.W. Maluf, The teleparallel equivalent of general relativity. Ann. Phys. 525, 339–357 (2013). arXiv:1303.3897
R. Ferraro, F. Fiorini, Modified teleparallel gravity: inflation without inflaton. Phys. Rev. D 75, 084031 (2007). arXiv:gr-qc/0610067
S.-H. Chen, J.B. Dent, S. Dutta, E.N. Saridakis, Cosmological perturbations in f(T) gravity. Phys. Rev. D 83, 023508 (2011). arXiv:1008.1250
R. Zheng, Q.-G. Huang, Growth factor in \(f(T)\) gravity. JCAP 03, 002 (2011). arXiv:1010.3512
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
K. Bamba, S.D. Odintsov, D. Sáez-Gómez, Conformal symmetry and accelerating cosmology in teleparallel gravity. Phys. Rev. D 88, 084042 (2013). arXiv:1308.5789
G. Kofinas, E.N. Saridakis, Teleparallel equivalent of Gauss–Bonnet gravity and its modifications. Phys. Rev. D 90, 084044 (2014). arXiv:1404.2249
C. Li, Y. Cai, Y.-F. Cai, E.N. Saridakis, The effective field theory approach of teleparallel gravity, \(f(T)\) gravity and beyond. JCAP 1810(10), 001 (2018). arXiv:1803.09818
U. Ualikhanova, M. Hohmann, Parametrized post-Newtonian limit of general teleparallel gravity theories. Phys. Rev. D 100(10), 104011 (2019). arXiv:1907.08178
M. Li, H. Rao, D. Zhao, A simple parity violating gravity model without ghost instability. JCAP 11, 023 (2020). arXiv:2007.08038
A. Bose, S. Chakraborty, Cosmic evolution in f(T) gravity theory. Mod. Phys. Lett. A 35(36), 2050296 (2020). arXiv:2010.16247
M. Li, H. Rao, Y. Tong, Revisiting a parity violating gravity model without ghost instability: local Lorentz covariance. Phys. Rev. D 104(8), 084077 (2021). arXiv:2104.05917
M. Li, Y. Tong, D. Zhao, Possible consistent model of parity violations in the symmetric teleparallel gravity. Phys. Rev. D 105(10), 104002 (2022). arXiv:2203.06912
F. Zhang, J.-X. Feng, X. Gao, Circularly polarized scalar induced gravitational waves from the Chern–Simons modified gravity. JCAP 10, 054 (2022). arXiv:2205.12045
M. Li, H. Rao, Irregular universe in the Nieh-Yan modified teleparallel gravity. Phys. Lett. B 841, 137929 (2023). arXiv:2301.02847
J.-X. Feng, F. Zhang, X. Gao, Scalar induced gravitational waves from Chern–Simons gravity during inflation era. JCAP 07, 047 (2023). arXiv:2302.00950
Y.-M. Hu, Y. Zhao, X. Ren, B. Wang, E.N. Saridakis, Y.-F. Cai, The effective field theory approach to the strong coupling issue in f(T) gravity. JCAP 07, 060 (2023). arXiv:2302.03545
H. Rao, D. Zhao, Parity violating scalar-tensor model in teleparallel gravity and its cosmological application. JHEP 08, 070 (2023). arXiv:2304.07138
F. Bajardi, D. Blixt, S. Capozziello, The Gauss–Bonnet topological scalar in the geometric trinity of gravity. arXiv:2308.03632
S. Capozziello, M. Caruana, G. Farrugia, J. Levi Said, J. Sultana, Cosmic growth in \(f(T)\) teleparallel gravity. arXiv:2308.15995
N. Deruelle, M. Sasaki, Y. Sendouda, D. Yamauchi, Hamiltonian formulation of f(Riemann) theories of gravity. Prog. Theor. Phys. 123, 169–185 (2010). arXiv:0908.0679
J. Gleyzes, D. Langlois, F. Piazza, F. Vernizzi, Essential building blocks of dark energy. JCAP 1308, 025 (2013). arXiv:1304.4840
T. Fujita, X. Gao, J. Yokoyama, Spatially covariant theories of gravity: disformal transformation, cosmological perturbations and the Einstein frame. JCAP 1602(02), 014 (2016). arXiv:1511.04324
X. Gao, Higher derivative scalar-tensor monomials and their classification. Sci. China Phys. Mech. Astron. 64(1), 210012 (2021). arXiv:2003.11978
Acknowledgements
This work was partly supported by the National Natural Science Foundation of China (NSFC) under the grant No. 11975020.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Explicit expressions for the coefficients in the decomposition of \(\nabla _{c}\nabla _{a}\nabla _{b}\phi \)
In this appendix we show the explicit expressions for the coefficients in decomposition of the third-order derivative of the scalar field \(\nabla _{c}\nabla _{a}\nabla _{b}\phi \) (2.22). We have
and
Appendix B: Relations and decomposition of the curvature tensor
In this appendix we show the relation between the spacetime curvature tensor \(R_{\,bcd}^{a}\) and the curvature tensor adapted to the Levi-Civita connection \(\mathring{R}_{\,bcd}^{a}\) as well as their decomposition. The Riemann tensors \(R_{\,bcd}^{a}\) and \(\mathring{R}_{\,bcd}^{a}\) are related by
By taking into account of the antisymmetry of the last two indices of the curvature tensors, there will be 8 independent decomposition of (B.1), which are given by
and
Keep in mind that in the above the disformation tensor is also included implicitly in the spatial covariant derivative \(\textrm{D}_{a}\).
By contracting indices of (B.1), we get the relation between Ricci tensors
Note that \(R_{ab}\) is not symmetric. The above relation implies that the spatial Ricci tensors \(^{3}\!R_{ab}\) and \(^{3}\!\mathring{R}_{ab}\) (defined in (2.11) and (2.12), respectively) are not independent
which are related to each other by the disformation tensor and its spatial derivative.
Note that in (B.11) there is no temporal derivative on the disformation tensor. Therefore, it is equivalent to use either \(^{3}\!R_{ab}\) or \(^{3}\!\mathring{R}_{ab}\) as the basic variable (together with the disformation tensor) to build the Lagrangian. However, if we consider a more general Lagrangian as a function of \(R_{abcd}\), the Lie derivative of the disformation tensor \(\pounds _{\varvec{n}}L\) has to be taken into account, as a result of the decomposition of Eq. (B.1).
Appendix C: The solution for the disformation tensor
Varying the Lagrangian (4.1) with respect to \(L^{(i)}\)’s yields the following equations of motion
For later convenience, we rewrite the above equations to be
Plugging the ansatz (4.2)–(4.7) into (C.7)–(C.12) yields
The above equations are satisfied only if the coefficients of each monomials (such as K, \(a_{i}\) etc.) are vanishing. This yields a set of linear algebraic equations for the coefficients \(m^{(1)},m^{(2)},\ldots \), which can be written as
and
with
If the matrix \(\varvec{A}\) and \(\varvec{B}\) are not degenerated, the solutions for the coefficients take the form
and
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
Yu, Y., Chen, Z. & Gao, X. Spatially covariant gravity with nonmetricity. Eur. Phys. J. C 84, 549 (2024). https://doi.org/10.1140/epjc/s10052-024-12893-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12893-5