1. Introduction
General Relativity (GR) is widely accepted as the best theory of gravity. At the scale of star systems GR provides the excellent fit for observational data [
1,
2,
3]. At the cosmological scale GR consistently describes a vast array of phenomena [
4,
5,
6]; however, phenomena of dark matter and the late-time accelerated expansion (dark energy) challenge GR applicability at this scale [
7,
8,
9,
10,
11]. Although they can be described within GR, their true physical nature remains unknown. A consistent cosmological model also requires an inflationary phase of expansion which lies beyond GR’s applicability [
12,
13,
14]. These facts provide a ground to consider GR as an effective gravity model relevant for small spatial and energy scales. Therefore, it is required to study alternative gravity models that modify GR and may be relevant for all spatial and energy scales.
Classical (non-quantum) gravity models can be classified via the Lovelock theorem [
15,
16]. The theorem states that the left-hand side of the Einstein equations is defined uniquely, if certain conditions are met. These conditions are related to the number of spacetime dimensions, the differential order of the field equations, and the use of a symmetric rank-2 tensor as a dynamic variable. To obtain an alternative gravity model one should violate any of these conditions. Therefore, classical gravity models can be classified in accordance with the Lovelock theorem conditions which they violate [
2,
17]. For instance,
gravity models violate the theorem conditions as they have higher order field equations; scalar-tensor gravity models violate the conditions as they use an additional scalar field that is not related with the metric tensor.
The main disadvantage of such a classification is the fact that it deals with a mathematical way to construct a Lagrangian, but does not account for its physical features. At the same time, models which violate different conditions of the Lovelock theorem may share some physical features. The best example is given by
gravity and scalar-tensor models, as these models introduce one additional scalar gravitational degree of freedom. To be exact,
gravity models can be mapped onto a particular class of scalar-tensor models [
18,
19,
20]. Therefore, one can classify gravity models with respect to their perturbation spectra.
Study of gravity models based on their perturbation spectra goes in line with the recent development of the effective field theory (EFT) for gravity [
21,
22,
23,
24,
25]. The EFT approach is aimed at creation of a quantum gravity model relevant for the low-energy regime. Within EFT small gravitational field perturbations are quantized and treated as a low-energy manifestation of the true quantum gravitational field. In such a way an EFT gravity model requires data on the perturbation spectrum of the correspondent classical gravity model. In this context, classification of gravity models via their perturbation spectra is more suitable, as it complements the EFT approach.
The other major advantage of such an approach is the fact that it provides a way to study symmetry of the gravity sector. There are two ways to introduce additional symmetry to a gravity model. First one is to introduce an additional symmetry at the coordinate level; second one is to introduce an additional symmetry at the level of physical fields, such as metric (or vierbein), vectors, fermions, and scalars. These opportunities are heavily constrained by multiple factors which we discuss further. However, the later opportunity is less constrained and proven to be more fruitful in gravity study. A simple example of such a model is given by the so-called (generalized) Galileans [
26,
27]. Originally Galilean models describe a scalar field with the so-called generalized Galilean symmetry in a flat spacetime. Later these models were generalized for a curved spacetime and it was proven that they form a class of the most general scalar-tensor gravity models with second order field equations (they are also known as Horndeski models) [
28,
29]. Therefore, (generalized) Galilean models prove that introduction of a new symmetry can significantly affect a gravity model.
Opportunity to introduce new symmetries in the gravity sector are heavily constraint. At the level of coordinates only infinite-dimensional representations of Lorentz group can take place [
30]. Otherwise, a correspondent quantum field theory lacks unitarity and cannot be considered relevant. At the level of physical fields Lorentz group can have a finite-dimensional representation, as it does not affect an underlying quantum theory (as pointed out in [
30]). However, physical fields must be subjected to a realization of Poincare algebra. Poincare algebra allows one to define mass and spin operators consistently [
31], as they are related with correspondent Casimir operators.
If a new symmetry is introduced at the coordinate level, it may not be possible to construct a suitable infinite-dimensional Lorentz group representation and reproduce required tools of Riemannian geometry. If a new symmetry is introduced at the level of fields, it may not be possible to define mass and spin operators. This, in turn, makes it impossible to define states with definite mass and spin and ruins a possibility to justify the standard quantum field theory formalism. An explicit example of such a phenomenon is given by the conformal symmetry, as the conformal group has a different number of Casimir operators [
32]. Therefore, to preserve the conventional quantum field theory, one must preserve a linear realization of the Poincare group in the gravitational sector.
The only possible way to extend symmetry of the gravity sector is to introduce a new symmetry realized in a nonlinear way. The physical reasons behind that assumption are related to the EFT approach. As we mentioned before, EFT deals with a low-energy manifestation of gravity. It is known that some physical systems can experience a spontaneous symmetry-breaking in the low-energy regime. Specifically, the Higgs sector of the standard model of particle physics provides the best-known example. The Higgs field admits the
symmetry, but in the low-energy regime it develops a ground state that spontaneously breaks this symmetry [
33,
34,
35].
In full analogy with the Higgs field, a gravity field may experience spontaneous breaking of a bigger symmetry down to the Poincare group in the low-energy regime. Because of this all physical states respect only the Poincare symmetry alongside with the correspondent Casimir operators. Various string inspired models support that idea, for instance, AdS/CFT correspondence provides an explicit way to relate a conformal particle model to a higher dimensional gravity model [
36,
37,
38].
In this paper, we discuss one particular way to introduce a new symmetry at the level of physical fields in the gravity sector via the nonlinear symmetry realization technique. This technique was developed in papers [
39,
40,
41] and widely applied for various physical problems. In particular, the following fundamental results were obtained via this technique. First, Ogievetsky theorem [
42] established that infinite-dimensional algebra of coordinate transformation can be obtained as a closure of two finite-dimensional algebras. Second, it was shown that nonlinear realization technique allows one to restore the whole framework of Riemannian geometry [
43].
In other words, results [
42,
43] show that a nonlinear realization of particular symmetries already takes place at the level of coordinates. This gives one a ground to expect a nonlinear realization of the same symmetries at the level of physical fields. The aim of our paper is to investigate, if an implementation of nonlinear symmetry realization at the level of physical fields may produce any modification of GR suitable for further study. For our purposes we use a technique that realizes a symmetry group on a quotient space. Then we use the Ogievetsky theorem [
42] to define the simplest modifications of the Poincare group which can be used with the nonlinear symmetry realization technique. We discuss possible implications of the nonlinear symmetry realization for gravity models and find direct physical corollaries of these implications. This study allows us to highlight the most perspective directions of further research and possible consequences of an implication of nonlinear symmetry realization technique.
This paper is organized as follows. In
Section 2 we discuss relations between nonlinear symmetry realization and spontaneous symmetry-breaking. This discussion is due, as it allows us to justify applications of nonlinear symmetry realization and the usage of the Goldstone theorem. In
Section 3 we briefly present the mathematical theory of nonlinear group realization on a quotient. In
Section 4 we implement this technique and discuss its physical corollaries. We also compare our approach to the classical results [
43] and discuss their relations. In
Section 5 we summarize our results and present conclusions on the possibility to implement the nonlinear symmetry realization technique.
Appendix A contains data on the Lie algebras that were used in the paper.
2. Many Faces of Nonlinear Symmetry Realisation
Nonlinear symmetry realisation and spontaneous symmetry-breaking refer to the same class of physical phenomena may be except for a few special cases, such as spontaneous symmetry-breaking of linear groups. When these notions refer to the same class of phenomena, they simply highlight different features of the same phenomena.
Traditionally, it is said that a symmetry group
G of a physical system is spontaneously broken down to a group
H if the system enters a state that is invariant with respect to
H, but not invariant with respect to
G [
44,
45,
46]. A simple example of such a phenomenon is given by the Higgs sector of the standard model. The potential of the Higgs field is invariant with respect to
group, but any particular ground state is not.
It is crucial to highlight that the bigger symmetry group
G is a property of a system as a whole and it cannot be changed or affected by matter. For instance, the potential of the Higgs field always respect the global
symmetry as this symmetry is a fundamental property of the Higgs field itself [
47,
48]. On the other hand, the smaller symmetry group
H is a property of a particular matter configuration, so it cannot be considered to be fundamental. In accord with this logic the smaller (custodial) symmetry of the Higgs sector manifests itself at the level of perturbation phenomena. The perturbation theory of the Higgs field is based around a ground state which is not invariant with respect to
. In such a way the global symmetry is broken due to the existence of a particular matter configuration around which the perturbation theory is constructed. Therefore, when a symmetry
G is broken down to
H, the bigger symmetry
G remains a fundamental property of the system. However, a manifestation of the bigger symmetry is nonlinear, as matter must respect the smaller symmetry group
H.
As noted, there are a few special cases, when spontaneous symmetry-breaking lies beyond nonlinear symmetry realizations. There are models with spontaneously breaking of Abelian group of constant field shifts, which cannot be treated as nonlinear symmetry realization (see [
49] and references therein). This is due to the fact that one requires a nontrivial subgroup to construct a nonlinear symmetry realization. In case of linear (one-dimensional) Abelian groups there are none such groups, so one cannot apply nonlinear symmetry realization technique. Nonetheless, this case present one particular exception irrelevant for the study presented in this paper. Therefore, we do not discuss it further.
This proves the original claim that spontaneous symmetry-breaking and nonlinear symmetry realization are different names of the same phenomenon, except for a few special cases. The notion of spontaneous symmetry-breaking is used when it is required to highlight the fact that the matter respects only a smaller symmetry group. The notion of nonlinear symmetry realization is used when it is required to highlight the fact that the original bigger symmetry group still manifests itself.
Such a relation between these notions can be illustrated with the so-called inverse Higgs effect [
50] (see also [
51] for a more detailed review). This effect takes place when a
D brane is embedded in a multidimensional space. The multidimensional Lorentz group is broken down due to the existence of the brane. However, at the same time the multidimensional Lorentz symmetry manifests itself on the brane in a nonlinear way.
The simplest case of the inverse Higgs effect corresponds to a one-dimensional world line of a single massive particle in a two-dimensional spacetime. The existence of a massive particle breaks the boost component of the correspondent Lorentz group. It is shown in [
52] that implications of nonlinear symmetry realization methods allow one to restore the Lagrangian of a free massive particle. At the same time, the same physical system can be treated as a system with spontaneously broken symmetry. The system admits a continuous manifold of free massive particle world lines and each world line is invariant under a certain subgroup of the two-dimensional spacetime Lorentz group. Therefore, the correspondent Lorentz group is spontaneously broken.
The fact that nonlinear symmetry realizations and spontaneous symmetry-breaking refer to the same phenomenon allows one to use the Goldstone theorem. Specifically, if a bigger symmetry group
G is realized on a smaller group
H and a quotient
, then the correspondent model has
massless degrees of freedom [
45]. This allows one to conjecture that gravitational degrees of freedom are massless due to the Goldstone theorem. In other words, we conjecture that gravitons are Goldstone bosons and the gravity itself appears due to a nonlinear manifestation of some symmetry. The same conjecture was used to justify certain gravity models earlier [
43].
3. Nonlinear Symmetry Realization via Group Action on a Quotient
From the mathematical point of view any
n-dimensional real Lie group
G is a real continuous
n-dimensional manifold. Therefore, any element
g of such a group
G can be parameterized by
n real numbers
:
Numbers
form coordinates on the group manifold
G. Generators of the Lie group
G should be treated as vectors tangent to the group
G at the point corresponding to the identical transformations. It is always possible to set the frame origin at the point of the identical transformation and define the group generators as follows:
Generators of a Lie group G form a linear space called the Lie algebra.
In such a way, generators
are vectors collinear to the coordinate lines in a certain point. This feature allows one to use generators to define an exponential map on a group [
53,
54]. The exponential map is a special coordinate frame on
G constructed as a projection the algebra onto the group. Element
g of the group
G with exponential (normal) coordinates
is given by the following expression:
This expression means that an element of algebra
is projected on the group
G, the right hand side of (
3) provides an explicit way to calculate
g.
It should be highlighted that normal coordinates
generated by
which are defined via coordinate frame
do not match the coordinate frame
. In other words, if generators
are defined within frame
by
then the correspondent normal coordinates
do not match the original frame:
This is because are first derivatives of , so the normal coordinates match coordinates only in the linear order. Because of this in the most general case the normal coordinates may not cover the whole group G, but only a small neighborhood around the identical transformations.
To break group G spontaneously down to H the following actions should be performed. First, the algebra of H should be separated within algebra of G. Second, as generators of H are vectors on the manifold G, they should be used to split G into a series of layers. Specifically, generators of H should be treated as vectors tangent to a series of surfaces. This splits group G in a series of layers with H being a typical layer. Finally, generators of G that do not belong to H define directions orthogonal to these layers. Consequently, one can introduce a special coordinate frame that respect such a structure on G.
On the practical ground that coordinate frame is given by the following. We denote generators of
H as
; generators of
G which are orthogonal to
we denote as
. An arbitrary element
g in such a coordinate frame is given by the following expression:
Functions and set a coordinate frame on G; functions define coordinate on layers, while coordinates parameterize directions orthogonal to these layers. This allows one to study a structure of a smooth manifold which is covered with coordinates and called a quotient of G with respect to H.
An arbitrary element
C of the quotient
reads
It should be noted that in such a definition all elements of
belong to
G, because
still belongs to the algebra of
G. A nonlinear action of group
G on its quotient
is given by the following formula:
The geometrical meaning of formula (
8) should be understood as follows. On the left-hand side of (
8) we have a multiplication of two group elements. This multiplication defines the action of an arbitrary element
g on an element
C from
. The result of this multiplication is another element of
G given in terms of normal coordinates (
6). In other words, one shifts element
C via left multiplication on
g to a new position on the group manifold and evaluate its new coordinates.
Formula (
8) allows one to define two nonlinear realizations of
G. First one is a direct action of
G on
which is given in terms of
and
:
where
and
are given by (
8). For the purpose of our study we treat
as
physical fields
that are transformed under a direct nonlinear action of
G. The second realization is a nonlinear action of
G on its subgroup
H. It is defined on physical fields
that are already subjected to the group
H:
Here
are generators of
H in a suitable representation and
are transformation parameters. Group
G acts on physical fields
in a nonlinear way through the linear action of
H as follows:
In this expression transformation parameters
are given by formula (
8), so they depend both on the bigger group element
g and physical fields
. It should be noted that to construct such a nonlinear realization of
G on
H it is required to have a nonlinear realization of
G on
. At the same time, a nonlinear realization of
G on
can be constructed without specifying a particular action of
G on
H. Therefore, we consider a nonlinear action of
G on
H as an auxiliary construction which may be included in a model.
The last thing required for a proper symmetry realization are covariant derivatives. Introduction of covariant derivatives is necessary because of the nonlinear nature of transformations. In the most general case, the standard kinetic term
is not invariant with respect to
G and cannot be used. Expressions for the covariant derivatives are given by the Cartan forms [
39,
40,
55]:
Formula (
12) provides the explicit way to obtain covariant derivatives which should be used to construct invariant Lagrangians.
The following feature of this technique should be highlighted. The nonlinear realization is given by the corresponding transformations (
8), but the explicit form of the transformation is not required to construct an invariant Lagrangian. Formulae (
12) allow one to define kinetic terms for fields
and
and to obtain an explicit form of an invariant Lagrangian. This feature is due as the structure of the derivatives respect the nonlinear symmetry realization thereby it implicitly contains information on the transformations. For the sake of briefness, we limit ourselves only to a discussion of covariant derivatives.
There are a few direct corollaries of this nonlinear realization technique which we would like to highlight. The first one is the fact that the Goldstone theorem holds for such models (in full agreement with the logic presented in the previous section). Fields
are transformed in a nonlinear way, so in the most general case there is no ground to believe that
is invariant with respect to
G. Therefore, in the most general case mass terms
must be excluded and fields
can be only massless. At the same time, fields
can only be bosons, which is also due to the nonlinear structure of the group action
G. If
are fermion fields, then the standard kinetic term must be invariant with respect to
G:
However
and
are transformed differently with respect to
G, so such a term cannot be invariant
1. These two statements form the Goldstone theorem and fields
are true massless Goldstone bosons.
The other physical corollary is related to the structure of the quotient
algebra. If algebra of
is closed (i.e., all commutators of any two elements from the algebra lie in the algebra), then covariant derivatives of
are trivial, i.e., they match the regular derivatives. This is because the Cartan form is expressed in terms of commutators as follows:
Here is the adjoint action of the correspondent algebra. Therefore fields obtain a nontrivial covariant derivative if and only if algebra is not closed.
Finally, we would like to note that such a nonlinear realization is related to a gauge field theory. We defined as the propagating degrees of freedom and express forms P and in terms of these fields. If we treat as the propagating degrees of freedom, then we no longer can use forms to define invariant quantities. At the same time, we can define the standard Yang-Mills field tensor which can be used to define the standard Yang-Mills kinetic term which is also invariant with respect to G. In such a way one can treat a nonlinear symmetry realization as a generalization of the standard gauge field theory. This generalization replaces gauge vector bosons with a more fundamental degrees of freedom which carry an additional symmetry.
In this section, we presented one particular framework of nonlinear symmetry realization. We implement this framework in the next sections and discuss physical features of gravity models with nonlinear realized symmetry.
4. Nonlinear Symmetry Realization for Gravity
As highlighted in the introduction, there are two ways to implement nonlinear symmetry realization in a gravity model. First one is to implement it at the level of coordinates, second one is to implement it at the level of physical fields. Classical results [
42,
43] completely cover an opportunity of nonlinear symmetry realization at the level of coordinates. Therefore, this brunch of study lies beyond the scope of this article and further we address only an opportunity to introduce new symmetry at the level of physical fields.
To implement nonlinear symmetry realization for gravity it is required to define a bigger group G and a smaller group H. The logic presented in the previous section allows one to draw a few significant conclusions on physical properties of gravity models obtained in such a way.
First, in the previous sections it was proven that the Goldstone theorem holds for the nonlinear symmetry realization, so the model must contain a certain number of massless Goldstone bosons. In accordance with the empirical data [
56] we treat (low-energy effective) gravitons as these Goldstone modes.
Second, gravitons are described within GR by the metric tensor which has ten independent components. To have the same number of components it is required to use ten-dimensional Poincare group as the small group H. Another reason to consider the Poincare group is the aforementioned Casimir operators, which allows one to consistently define mass and spin operators. Thus, the choice of the smaller group H is fixed uniquely.
Third, the choice of the bigger group G is also heavily constrained. The simplest choice would be to take the bigger group G as a direct product of the Poincare group and an arbitrary Lie group such as , but such a model cannot be considered satisfactory. In full agreement with the logic presented in the previous section the quotient is the group. Because of this the quotient has a closed algebra, so matter fields which are subjected to a nonlinear action of G on H obtain trivial covariant derivatives. To put it otherwise, in such a model Goldstone bosons that should be associated with the gravitational degrees of freedom do not interact with matter degrees of freedom that are subjected to . This is the reason such a choice cannot be considered interesting.
Finally, it is crucial to address the well-known theorem considering infinite-dimensional realizations of the Lorentz group. It is well-known that only infinite-dimensional representations of Lorentz group are unitary [
30]. It may appear that this result constraints all possible nonlinear realizations at the level of field, but this is not the case. As pointed out, for instance, in [
30], any theory must be unitary with respect to coordinate transformations. Therefore, coordinate transformations must be subjected to an infinite-dimensional realization of the Lorentz group. However, author of [
30] also points out that “There is no problem in working with non-unitary representations, because the objects we are now concerned with are fields, not wave functions, and do not need to have a Lorentz-invariant positive norm.”. Therefore, one is free to consider any finite-dimensional nonlinear realization of the Lorentz (or any bigger) group.
A proper way to define the bigger group
G is given by the Ogievetsky theorem [
42]. The theorem states that any generator of coordinate frame transformations can be obtained via commutation of generators from algebras of
and
. Therefore, it is natural to consider either
or
as perspective candidates for the bigger group
G. We present algebras of
and
in
Appendix A.
Results of [
43] serve as additional justification of usage of
and
algebras. In paper [
43] it was shown that the whole Riemannian geometry is reproduced via a combined nonlinear realization of
and
algebras at the level of coordinates. It is natural to expect a nonlinear realization of the same symmetries at the level of physical fields. Therefore, paper [
43] provides a result fundamental for all further studies of nonlinear symmetry realization in gravity. The cornerstone of this result is the usage of two groups which algebras cannot be merged in a closed algebra. The goal we pursue is to establish whether models with the standard nonlinear realization (at the level of physical fields) of these closed algebras are relevant for gravity studies. Further in this paper we constrain ourselves only to models with closed algebras.
It should also be noted that similar attempts to construct a model with a nonlinearly realized conformal symmetry took place before [
57,
58,
59]. Specifically, paper [
58] partially reproduces results presented in [
43]. Model presented in [
57] uses a different nonlinear realization technique. Finally, paper [
59] address a combined realization of conformal and chiral symmetries. These results can hardly be considered relevant for our study, as they either deal with non-minimal models, or address issues lying beyond the scope of this paper.
Accounting for this line of argumentation we proceed with a construction of a nonlinear symmetry realization. Algebras of
and
can extend the Poincare algebra with three families of operators:
,
, and
D. However, some of these extensions are irrelevant for our study. It should be highlighted that we put generators indices in brackets to distinguish them from the Lorentz indices. It is impossible to include both
and
in an extended algebra since, as pointed out in [
42], an algebra that contains both of these operators is not closed. Even though it is possible to study a nonlinear realization of such an algebra [
43], such a study lies beyond the area of applicability of the method presented in the previous section. Moreover, if we only add either operators
or operator
D, then we create a model with trivial covariant derivatives. This is due to the fact that algebras of
D and
are closed and, in full analogy with the previous case, Goldstone bosons that should be associated with the gravitational degrees of freedom are decoupled from the regular matter.
This logic allows us to find three extension of the Poincare group that could not be immediately dismissed. These extensions are:
extension of the Poincare algebra with operators D and ,
extension of the Poincare algebra with operators ,
extension of the Poincare algebra with operators and D.
Another important feature of models with such a nonlinear realization of symmetry is related to a special role of scalar fields. Covariant derivatives of matter fields (which are subjected to the linear Poincare group action) are given by the general Formula (
12):
In this formula corresponds to the Poincare group generators. In the case of scalar fields, the correspondent Poincare generators vanish, and scalar fields always have trivial covariant derivatives. At the same time, it is possible to introduce scalar fields that are subjected to a nonlinear action of G on . These fields can obtain a nontrivial covariant derivative. Therefore, such models do have a room for scalar fields interacting with gravity, but the role of scalar fields is significantly different from the standard treatment.
The simplest expansion of the Poincare algebra is given by the extension with operators
D and
. This model serves as, perhaps, the simplest modification of GR induced via nonlinear symmetry realization. The correspondent quotient algebra is closed, and the matter fields have trivial covariant derivatives. Because of this the Lorentz group is realized in a linear way that matches GR exactly and no modification to the Einstein sector of gravity can be made. Nonetheless, nonlinear realization introduces five additional scalar degrees of freedom with nontrivial interactions. Wide phenomenology of scalar-tensor models allows one to conjecture that their existence can result in a natural appearance of inflation [
60]. A more detailed study of this model lies beyond the scope of this paper and will be discussed elsewhere. We discuss this model for the sake of illustration, as it has a few properties common to all models with nonlinear symmetry realization. New operators
D and
generate five new physical fields
and
. It should be highlighted that the index
is not a Lorentz index, so fields
are four scalar fields subjected to nonlinear transformations.
The correspondent covariant derivatives read:
Nonlinear transformations of these fields are given by the following expression:
Here , , and are the transformation parameters; , and , are fields before and after the transformations; are parameters defining the nonlinear group action on the standard field subjected to Lorentz transformations.
In these expressions, fields
can have a canonical mass dimension, while field
should be dimensionless. To use variables with the canonical mass dimension we introduce an energy scale
and define a field
with the canonical mass dimension:
The energy scale
should be treated as a symmetry-breaking scale. Such a construction allows one to write the Lagrangian of the system:
This Lagrangian contains an infinite number of interaction terms; however, higher interaction terms are suppressed by higher powers of the symmetry-breaking scale. As we about to see, such a behavior is typical for models of that kind. This feature of models under consideration goes in line with the assumption that the Planck mass should be treated as the proper symmetry-breaking scale.
It should be noted that even such a simple model can have nontrivial implications for gravity theory, namely the amount of new degrees of freedom introduced in this model is sufficient to define the metric-independent volume element constructed in [
61]. Consequently, even within such a simple model it may be possible to associate the Goldstone degrees of freedom appearing due to the nonlinear symmetry realization with the physical volume and, therefore, with the spacetime geometry. A more detailed discussion of this opportunity lies beyond the scope of this paper and are to be pursued elsewhere.
A more sophisticated model is based on the extension of the Poincare algebra with operators
. In this paper, we follow the standard approach [
39,
40,
41] and associate coset coordinated
conjugated with
with small metric perturbations. It should be highlighted that the classical paper [
43] follows a different approach. As we highlighted before, the approach of [
43] pursues the goal to restore GR, so it is justified for this particular problem, but it should not be used in the context of our paper, as we pursue to study an alternative approach to the same problem lying beyond the one taken in [
43]. The structure of the Cartan form provides a simple way to study the structure of interaction in this model:
The first important feature of this model is the fact that matter fields do obtain nontrivial covariant derivatives and do interact with the gravitational degrees of freedom. However, this interaction has a specific form which can be seen from the correspondent part of the Cartan form:
This expression defines the structure of the matter field covariant derivatives and the leading interaction term is quadratic in h. Moreover, this expression contains only even powers of h. Therefore, within this model there is only room for interaction of an even number of fields h with the matter fields.
To understand this feature it is required to analyze self-interaction of
h. It can be seen that fields
h are dimensionless, so in full analogy with the previous case we introduce a mass parameter
m that plays a role of the symmetry-breaking scale and define a field variable with the canonical mass dimension
The Lagrangian of the Goldstone modes
h reads
As was highlighted before, the model has an infinite number of self-interaction terms, but higher interaction terms are suppressed by higher powers of the symmetry-breaking scale. The other thing that should be noted is the fact that such a Lagrangian also contains only even powers of fields h.
These results should be understood as follows. We define fields h as degrees of freedom carrying nonlinear symmetry realization of the bigger group. The correspondent invariant Lagrangian of these degrees of freedom is subjected to the Goldstone theorem and provides a consistent description of self-interaction of these fields. Introduction of the new symmetry resulted in the fact that only even number of fields h can interact either with each other or with the regular matter.
This feature of the model is exotic since within GR gravity manifests other features. First, as we highlighted before, all matter scalar fields do not interact with gravity within this model. This feature is due to the structure of the covariant derivative (
12). The interaction with field
is contained in form
. This form is coupled to an arbitrary field via a Lorentz group generator
. In case of a scalar field the generator vanishes identically, thus the covariant derivative matches the standard derivative. Consequently, any scalar field cannot be coupled to tensor field
via the covariant derivative. Nonetheless, a scalar field can be coupled to
in the same way it is coupled to the standard small metric perturbations within GR. Because of this a furthermore detailed investigation of interaction between
and scalar field is required. Second, standard gauge vector (massless) fields interact with gravity in a manner similar to GR. Specifically, the standard gauge field kinetic term
is quadratic in gravitational interaction in the lowest order, although it contains interaction terms with an odd number of gravitons. Finally, within GR gravitational interaction between fermions can only be given in terms of the vierbein (tetrad) formalism. The method of nonlinear symmetry realization presented in this paper has no obvious analogy of the vierbein formalism. Therefore, gravitational interaction between fermions within this model requires more fine tools of analysis.
Such a behavior of the Goldstone modes may be interpreted as follows. One should establish a distinction between states with a well-defined symmetry and well-defined interactions. The standard GR gravitons that administrate linear interaction with matter should be considered to be states with well-defined interaction properties. States described by fields h should be considered to be states with well-defined symmetry properties, but lacking a simple form of interaction. Such a treatment is similar to the one used for neutrino mixing. In a similar way one defines neutrino states with well-defined mass which are states with well-defined Poincare symmetry and complement them with states with well-defined interaction which are states with the well-defined symmetry.
The last model that is relevant to us is an extension of the Poincare algebra with operators
and
D. This model is reduced to the previous one almost completely. The reason behind this is the fact that the operator
D commutes with
and
. Because of this the Cartan form is simplified:
Therefore, the introduction of D together with simply introduces an additional scalar field that is completely decoupled from gravitational degrees of freedom.
Finally, it should be highlighted that there is no obvious way to show that variable contains only spin 2 components. In the most general case, a tensor field can contain spin 1 and spin 0 components alongside spin 2 modes. These modes are to affect gravitational phenomena at all spatial and energy scales. Consequently, existence (or non-existence) of auxiliary gravity modes in the model serves as an important test of the model. Within GR the auxiliary modes are excluded due to the gauge symmetry. In the proposed model the symmetry is more sophisticated, therefore there is no simple way to exclude the new modes. This feature of the model is to be studied elsewhere.
This array of results is summarized in the next section together with conclusions.
5. Summary and Conclusions
The results presented in the previous sections can be summarized as follows.
The known classical results were discussed in
Section 1 and
Section 2 to setup the problem and the approaches to solve it. The search for modified models of gravity is mainly performed via modification of GR Lagrangian. Despite the fruitfulness of that approach it is not suitable for studying the role of model symmetries. We pursue the idea to study opportunities to create modified gravity models via introduction of a new symmetry to the gravitational sector.
The opportunity to introduce a new symmetry is constrained by the fact that gravitational field defines properties of the spacetime. Because of this the only valuable option is a nonlinear realization of an additional symmetry. Specifically, we pursue nonlinear realization of additional symmetry at the level of physical field, as we discuss in
Section 1. As we discussed in
Section 2 nonlinear symmetry realization is the same phenomenon as spontaneous symmetry-breaking. Therefore, the Goldstone theorem holds, and massless Goldstone bosons can be identified with gravitons.
The idea of spontaneous symmetry-breaking for gravity is natural in the following context. There is several theoretical obstacles preventing one from a construction of a quantum theory of gravity. Despite this fact a consistent quantum treatment of gravity in the low-energy regime is possible within the effective field theory formalism. This formalism describes all observed phenomena in terms of low-energy effective gravitons and their interactions. The consistent treatment of GR as an effective theory provides a ground to conjecture that the low-energy gravity behavior is due to a spontaneous breaking of some symmetry. Therefore, low-energy effective gravitons which are massless Goldstone bosons can appear due to the Goldstone theorem. GR has a single mass parameter, namely the Planck mass which in this case should be considered to be the symmetry-breaking scale (or directly related to it). Therefore, it is reasonable to search for an opportunity to implement nonlinear realisation of some symmetry in the gravitational sector.
The next important issue discussed in this paper is related to the opportunity to create a valuable model of gravity with a spontaneously broken symmetry and it is presented in
Section 3 and
Section 4. It is possible to define states with well-defined mass and spin in the observable universe, which is due to the Poincare symmetry of the observed spacetime. In addition, it is possible to preserve that feature, if a gravity model experiences spontaneous symmetry-breaking down to the Poincare group. Therefore, it is only possible to choose a bigger symmetry group which is broken spontaneously. The choice of the bigger group is also constrained, as models with nonlinear symmetry realisation share a few important features.
Finally, the role of classical results [
43] is discussed in
Section 4. The classical result is based on a combined realizations of groups
and
. It provides one with framework of Riemannian geometry restored via nonlinear symmetry realization technique. This result is central for nonlinear symmetry realization studies and its role should not be overlooked. In the context of our study it proves two important features of nonlinear symmetry realization. First, nonlinear symmetry realization does take place at the level of coordinate transformations. Second, it is required to use a combined nonlinear realization of groups
and
to restore Riemannian geometry. This provides one with a ground to expect existence of a nonlinear realization of the same symmetries at the level of physical fields. Combination of
and
algebras does not form a closed algebra, so the standard nonlinear symmetry realization technique (implemented at the level of physical fields) cannot be used. Because of this we use the standard nonlinear realization technique which is, in some sense, complimentary to the one presented in the classical paper. Specifically, we only consider extensions of Poincare algebra that are closed, so the standard nonlinear symmetry realization formalism can be applied. Therefore, we do not expect to restore general relativity, but to obtain alternative gravity models that may be relevant for further studies.
An important result presented in this paper is the fact that gravity models with the particular implementation of nonlinear symmetry-breaking cannot describe interaction of the standard scalar particles (the one subjected to a linear action of the Poincare group) with the Goldstone modes. At the same time, scalar particles subjected to a nonlinear action of the bigger group may participate in gravitational interactions.
We obtained two minimal gravity models based on principles presented above. The first model is given by Lagrangian (
20) and belongs to scalar-tensor models of gravity. Models of these type have a wide phenomenology. For instance, the new scalar degrees of freedom may drive inflation [
60] thereby describing it as an effect induced by spontaneous symmetry-breaking.
The second model is based on a nonlinear realization of the Poincare algebra extended with operators from . This model has a symmetric matrix that describes massless Goldstone bosons that appear due to the spontaneous symmetry-breaking. The model contains an infinite number of interaction terms, but higher order interaction terms are suppressed by higher powers of the symmetry-breaking scale (the Planck mass). At the same time, due to the existence of a new symmetry the model only contains interaction of even number of the Goldstone fields. As all models of that class the model cannot describe interaction between the Goldstone modes and the scalar particles. Interaction between spinor and vector particles require at least two Goldstone particles. Such an interaction is exotic since within GR fermions can interact with a single graviton.
We propose the following interpretation of that phenomenon. We treat states describe by as states with a well-defined symmetry. The standard GR gravitons, i.e., states that interact with matter particles, should be treated as states with well-defined interactions. In such a way the proposed model may describe gravity in terms of states with a well-defined symmetry, which are related to states with well-defined interactions in a nonlinear way. Such a mechanism is analogous to the well-known mechanism of neutrino mixing. Gravitational states with a well-defined symmetry and well-defined interactions should be distinguished in the same way one distinguishes neutrino with a well-defined mass (well-defined Poincare symmetry) and well-defined interactions (well-defined symmetry).
In conclusion, we would like to highlight that a further study of the proposed model is required. The fact that gravitational states with a well-defined symmetry and well-defined interactions are connected in a nonlinear way makes treatment of the model more complicated. Aforementioned relationships between graviton states might complexify perturbative treatment of the model.