Massive stealth scalar fields from deformation method

We propose an uni-parametric deformation method of action principles of scalar fields coupled to gravity which generates new models with massive stealth field configurations, i.e. with vanishing energy-momentum tensor. The method applies to a wide class of models and we provide three examples. In particular we observe that in the case of the standard massive scalar action principle, the respective deformed action contains the stealth configurations and it preserves the massive ones of the undeformed model. We also observe that, in this latter example, the effect of the energy-momentum tensor of the massive (non-stealth) field can be amplified or damped by the deformation parameter, alternatively the mass of the stealth field.

It is generally believed that matter curves the space, a consequence of the interpretation of the equations of gravitymatter systems, which tells that the energy-momentum tensor of matter fields feedback the curvature of the geometry equations. However, it seems mathematically possible the existence of non-trivial matter-field configurations with vanishing energy-momentum tensor, such that the first statement will not be always truth. Indeed, there are examples of systems where this happens. In the references [1][2][3][4][5][6][7][8][9] the authors impose separately the vanishing Einstein tensor equation, the vanishing energy-momentum tensor equation (obtained from some scalar theory), and the matter-field equations of motion. If these three sets of equations are satisfied the scalar field would exist but it will not be detected by the background geometry, since it will not deform it. This is what a "stealth field" means. It is worth to mention that stealth solutions appeared also in the references [10][11][12][13], and that an analogous result, for a Dirac fermion field was found in [14]. Though this behavior of matter may seem strange, the mathematical possibility on the existence of stealth fields encourage their study. The non-trivial effect of matter on the a e-mail: valenzuela.u@gmail.com gravitational background is also suggested by the observation on galaxies, which have led to the conjecture on the existence of "dark matter".
The purpose of this paper is to present a method to construct models with massive stealth fields. This is, the method takes a given (original) action-principle and produces a related (deformed) one which contains massive stealth configurations. Just one restriction on the original action principle is needed, that the trivial vacuum (with vanishing VEV) must exist. We shall provide three non-trivial examples of application of our method. Advancing one interesting result, we shall observe that stealth field mass produces a re-scaling of the the energy-momentum tensor of a (non-stealth) massive configuration. Hence the stealth field, though undetectable by the background space-time geometry, can amplify (or reduce) the gravitational effect of regular matter fields, which may be interesting from a cosmological point of view. This paper is organized as follow. In Sect. 1 we introduce the notation and define what a stealth field is. In Sect. 2 we define the deformation of the action principle and obtain the respective equations of motion, as deformations of the original equations of motion. We prove that the deformed theories contain massive fields with mass inversely proportional to the deformation parameter. This is done on full generality, without reference to any particular model. In Sect. 3 we construct some examples and characterize their solutions, and in Sect. 4 we present some conclusions.

Stealth scalar field definition
In generic space-time background metric g μν , μ = 0, ..., D− 1, with diagonal components signature (−, +, +, ...), consider the gravity-matter system, where S G [g] is the gravitational action principle for a given theory of gravity (e.g. general relativity or modified models) and S M [g, φ] is the action principle for a scalar matter field φ coupled to the g μν . The variation with respect to the (inverse) metric tensor g μν yields, where are respectively the generalized Einstein tensor, H μν [g], and the Hilbert energy-momentum tensor, Ξ μν [g, φ], up to constant coefficients. From the variation of the action with respect to the scalar fields φ we define, The equations of motion of the theory (1) are given by, respectively for the variation of the metric and the matter field, and for a non-degenerated metric tensor √ −g = 0. By definition, a stealth scalar field is a non trivial field which satisfies the equations of motion and its energymomentum tensor vanishes, respectively, As consequence of (5), the generalized Einstein tensor must also vanish, so that in presence of a stealth φ the metric tensor must satisfy identical equations of motion than in the vacuum φ = 0. The stealth scalar field does not feedback the metric background.

θ -deformation of scalar field theories
The idea to be developed here can be spelled as follows.
Given an action principle with a saddle point with vanishing expectation value of a scalar field (trivial vacua) we can construct a new (deformed-) one, with saddle points at the trivial and at a massive configurations. As a consequence of the construction, the deformed action principle, which is an extension of the original one, will have also vanishing energy momentum tensor. Surprisingly enough, the details of the original theory are not important, so that we can construct full class of models sharing these features. Let us illustrate this with a simple example. Let f (x) be any function of x ∈ R with a saddle point at x = 0, and let y(x) another function which possess, for definiteness, two zeros at x = 0 and x = 1, We define the composition of functions F(x) := f (y(x)), which inherits from the parent functions f and y the properties, such that it has two saddle points, at x = 0, 1. It is straightforward to prove this. We can use the chain rule to evaluate Here the d f (y)/dy| y=0 vanishes because from (9) y takes zero-value and from (8) the derivative of f vanishes when the argument is zero. Hence from an arbitrary function f (x) with saddle point at x = 0 (8) we can construct another arbitrary function F(x) with saddle points at the kernel of the map y : R → R, in this example x = 0, 1. We can promote the latter statements to functionals, i.e. to action principles and the solutions of the equations of motion. f is the analogous of an action principle for a scalar field represented by the variable x, of which x = 0 represents its trivial vacua and x = 1 will represent a non-trivial (massive) configuration. F is the analogous of a new action constructed from a transformed scalar field, y(x), i.e. which is a map from x to y in the class of differentiable functions. Now if x = 0 is a saddle point of the action f , then the new action principle F must have saddle points at the trivial vacuum (x = 0) and at the non-trivial configuration (represented by x = 1). Note that F(x) takes the same values at x = 0 and x = 1 since F(1) = F(0) = f (0). Hence both configurations, trivial and non-trivial, are at the same foot. Now let us introduce a second variable, g, such that now y = y(x, g) is two-parametric and, consequently F := f (y(x, g)) is also two-parametric. We can easily prove that, since ∂ f (y(x, g))/∂ y| y=0 = 0 whenever (8) and y(x, g)| y=0 = 0 (in correspondence with (9)) hold. Hence, the functional F := f (y(x, g)) has saddle points at x = 0, 1, no matter what the value of g is. Continuing our analogy, g will represent a metric tensor, and the implication of (11) is that the energy momentum tensor provided by the new action principle will vanish for either configuration. We shall apply now the same logic in the language of functional calculus in order to construct new classes of (generic) action principles which have saddle points at massive configurations and which are also stealth.
The field transformation to be considered is: where θ is a real-valued parameter and is the Laplace-Beltrami operator acting upon φ. The kernel of the deformation map (12) is degenerated, consisting of the trivial vacuum φ = 0 and the massive configuration φ = φ m with mass m = θ −1 . Indeed, is equivalent to the Klein-Gordon equation in curved space. (12) is a map between the class of differentiable functions in R D (the analogous of y(x, g)) which will be used to map a generic action principle of a scalar field into a new action principle with saddle points at φ = 0, φ m . The latter will posses vanishing energy momentum tensor. Though we shall prove this in full generality, for the convenience of the reader, we shall advance here one example.

Quick example
In order to illustrate the non-trivial effects of the deformation map (12) let us construct the simplest example we can imagine, the deformation of the "mass term" action, where M is the mass-coupling constant. The equation of motion for the scalar field is, Hence (14) has a saddle point at φ = 0. Now let us construct the deformed action, where we replaced the original field φ by φ θ . This action can be regarded as a degenerated (single-parameter) case of the two-parametric fourth-order action principle analyzed in [15]. The equation of motion for φ yields, It is clear from (17) that the equation of motion is satisfied by the solutions of the Klein-Gordon equation (13). Now let us verify that the gravitational energy-momentum tensor vanishes. A direct calculation of the energy momentum tensor produces, which is evidently zero for the massive φ = φ m . Hence, in spite of it mass the configuration φ m possesses a trivial energy momentum tensor. We shall stress here the non-triviality of the action (16) no-matter of what its origin was, and that we derived the equation of motion and the energy momentum tensor in a standard way. The reader may also wish to give a quick look to two more examples in Sect. 3.

General models with stealth configurations
In this subsection we shall prove that the results of the example (2.1) can be extended to a wide class of action principles, i.e. which will possess solutions of the equations of motion with non-trivial mass and with vanishing energy momentum tensor.
We define the matter field θ -deformed action principle, consisting on the replacement of φ by φ θ (12). The deformation of the gravity plus matter field is defined similarly, Note that the pure gravity sector S G [g] is not affected by the deformation, and that the deformed action will be of higher order in derivatives with respect to the original action. Let us assume that the minimal degree of the matter field action as a functional of φ is > 1, such that the respective equations of motion admit the vacuum solution φ = 0 and S M [g, 0] = 0. This implies that S M [g, φ θ = 0] = 0 also vanishes for both, trivial φ = 0 and for the massive configuration of mass θ −1 , i.e. for solutions of (13).
Morally speaking, this means that the massive stealth field φ = φ m (13) and the vacuum φ = 0 are at the same foot.
The equations of motion of deformed theory are given by: which yield respectively, where H μν [g] was defined in (3) and Note that in (23) (12) does not affect the metric tensor.

Variation of the action with respect to φ
The variation with respect to φ should be carried out taking into account that the action depends on φ implicitly by means of φ θ [g, φ], so that we should consider the chain rule for functional derivation (see e.g. Appendix A in [16] Applying this in the computation of (25), in the point y, we obtain the variation of the deformed action, where we have used the definition (19) in r.h.s. The latter expression is equivalent to, where, and it is understood that and therefore equivalent to the original operator (4) Replacing, in (28), integrating by parts and adopting the notation (25), we finally obtain the equation of motion for the matter field of the deformed system (23),

Variation of the action with respect to g μν
Let L M [g, φ] the Lagrangian density, such that, In correspondence with the substitution (19), the θ -deformed action principle is given by Considering again the functional chain rule (26), and that the deformed action functional (34) depends on g μν explicitly and also implicitly, by means of the functional φ θ = φ θ [g, φ], we obtain that the variation of the deformed action principle (19) is equivalent to, Here, the first term on the r.h.s. corresponds to the variation with respect to the explicit dependence of the action, while the second encodes its implicit dependence. Alternatively, (35) can be written also as, where we have defined and considered (3), and (29)-(30). From (36) and (24), the energy-momentum tensor provided by the deformed matter action is given by, To complete the calculation, we need to replace the functional in (37), which after integration by parts yields,

Stealth theorem
Let us prove now that the massive field φ = φ m (13) is a stealth field. The core of the proof is based in the fact that for this configuration φ θ [g, φ m ] = 0. Let us replace φ m in the equations of motion of the deformed theory (23), in an arbitrary background metric tensor g μν . The second equation is equivalent to, As we have argued, if the original theory (5) admits a vacuum solution φ = 0, then Υ [g, 0] = 0, which implies (40). Now, let us evaluate the energy-momentum tensor in φ = φ m , or equivalent in φ θ = 0, Again, since Υ [g, 0] = 0, the second and third term on the r.h.s. vanish, while the first term Ξ μν [g, 0] = 0 must also vanish as we argued that the vacuum solution φ = 0 of the original theory must exist and it has to have, naturally, a vanishing energy-momentum tensor. Hence, the equations of motion (39) are reduced to which corresponds to the equation of motion of the pure gravity theory given by S G [g]. Hence, φ m is stealth, since in its presence the gravity background must satisfy identical equations than in the vacuum φ = 0.

Examples
Here we shall present two more examples. The reader may analyze these cases in independence of the general results of Sect. 2.

Deformation of the massless field action
Consider now the action of a massless scalar field, whose equation of motion for φ is, According to the deformation recipe, the deformed action is given now by, A direct calculation of the equation of motion for φ yields, which turns out to have the general form (32). As it can be seen in the line (44), the equation of motion is satisfied by the solutions of the Klein-Gordon equation (13). Now let us obtain the gravitational energy-momentum tensor directly from the action (43), Again, the energy-momentum tensor vanishes for the solutions of the Klein-Gordon equation (13). The action (43) describes massive stealth configurations of mass m = θ −1 , among others non-stealth configurations. On the one hand, the original matter field equation (42) admits massless solutions, including the trivial one φ = 0. On the other hand, the θ -deformed system admits a extension of original space of solutions with stealth fields. Indeed, from the Eq. (44), written also as, we find that the solutions are given by the trivial one, φ = 0, the massless one, φ = 0, and the double-degeneracy massive stealth φ = φ m . Let us evaluate the massless solutions in the energy-momentum tensor (45). We obtain, i.e., the deformed energy-momentum takes the same value than the undeformed energy-momentum tensor. Therefore, the space of solutions of the gravitational sector remains invariant with respect to the original theory (41). This means that, in terms of gravity effects, after deformation the stealth field yields the same results than the trivial matter vacuum, while for the massless configurations the geometry is sourced by the same energy-momentum tensor than in the original theory.

Deformation of the massive field action
In the case of the scalar field φ, with mass M the matter action principle is given by, which corresponds to the sum of the massless field action (41) with the square potential action (14), and whose equation of motion for φ is proportional to the Klein-Gordon equation, Following the θ -deformation recipe of the action (48), which produces a linear combination of (16) and (43), we obtain the equation of motion, which has the general form (32), as expected. As for the energy momentum-tensor, the θ -deformed action yields again a linear combination of (18) and (45), i.e. respectively where φ θ := (1 − θ 2 )φ as it has been already defined in (12). Among the solutions of the equation of motion (50), we have φ = φ m of mass m = θ −1 , which are the stealth solutions. The other massive solutions, say φ = φ M , which satisfy have mass M. As we observe, the massive solutions of the undeformed theory remain after the deformation. Now we analyze the energy-momentum tensor for these fields. First we replace φ M in the definition of φ θ which yields to, so that their energy-momentum tensor (51) is given by, which means that the energy-momentum tensor of the original gravity-matter system is rescaled by factor λ 2 in the deformed theory. Hence, the space of solutions for the scalar field in the undeformed theory consist of the trivial solution φ = 0 and the massive solution φ M . In the deformed theory this space is extended by the massive stealth fields φ m . The energymomentum tensor (54) vanishes for the trivial solution and for the massive stealth fields but for the solutions φ = φ M the deformed theory yields a rescaled energy-momentum tensor. Note that this can be interpreted also as a rescaling of the Newton coupling constant by a factor, G N → λ 2 G N , in the standard nomenclature. Hence, the mass of the stealth field (equivalently the deformation parameter) can be used to smooth or amplify the effects of the massive field of mass M on the gravitational background.

Overview and remarks
In this paper we show that for a wide class of scalar field action principles in curved space we can construct a deformation which admits massive stealth configurations. The theory here presented consists of a method for the construction of action principles which insures the existence of massive stealth fields, independently of the solutions of the gravity field equations. In the proof, we just need to assume that the Klein-Gordon equation admits non-trivial solutions.
As for new developments, it would be interesting to extend our construction to gauge theories. For example, one possible way is to couple the scalar fields to (non-)abelian gauge fields, in a curved background, and use the correspondent generalization of the field transformation (12) to obtain stealth solutions with non-trivial gauge charges. Also, in a similar spirit but in absence of scalar fields, we can consider redefinitions of gauge fields to produce deformation of gauge theories with non-trivial propagating degrees of freedom, in spite of which they will not feedback the gravitational background. Indeed, non-linear electrodynamics can produce stealth configurations [8]. In this direction, an example was found in 2 + 1 dimensions [17], where it was shown that the correspondent (deformed) gauge theory contains self-dual fields in 2 + 1 dimensions [18] which are stealth. It is worth mentioning that further analogies between stealth matter sources and self-duality can be found in [19].
As for the stability of stealth fields, in our framework, since they do not depend on any specific background, they must be robust under background perturbations, so we expect they must be stable. This should be corroborated by means of the appropriated methods (see e.g. [20]).
Let us comment that though stealth fields do not curve space, they may give rise to new cosmological effects, for example by means of the energy-momentum tensor rescaling of regular matter fields, which depends on the stealth field mass parameter observed in (54). It would be interesting to check whether this may help with the cosmological constant problem or the amplification of the gravitational effects of the visible matter in galaxies. See e.g. [21,22] for other possible cosmological implications of stealth fields.
Finally, as the reader must have noticed, the theories obtained by means of our method are in general of higher order (see examples (16) and (43)). The consistency of these theories in the quantum level requires the analysis of specific models in deeper detail, using similar techniques than in [15,23,24] and reference therein. This problem should be studied elsewhere.