An Hamilton-Jacobi formulation of anisotropic inflation
Francesco Cicciarella, Joel Mabillard, Mauro Pieroni, Angelo, Ricciardone

TL;DR
This paper extends the beta-function formalism to classify anisotropic inflation models with gauge fields, providing a unified framework to understand their scaling properties and statistical anisotropy.
Contribution
It introduces a Hamilton-Jacobi approach to define universality classes for anisotropic inflation models with gauge field couplings.
Findings
Formalism captures features of anisotropic inflation
Provides consistency conditions for model building
Extends classification to gauge field interactions
Abstract
Classifying inflationary scenarios according to their scaling properties is a powerful way to connect theory with observations. A useful tool to make such a classification is the beta-function formalism. By describing inflation in terms of renormalization group equations, within this framework, it is possible to define universality classes, which can be considered as sets of theories that share a common scale invariant limit. In this paper we apply the formalism to define such classes of universality for models of inflation where the inflaton is coupled to gauge fields. We show that the formalism may consistently be extended to capture the peculiar features of these models such as statistical anisotropy. We also obtain some consistency conditions which serve as useful guidelines for model building.
Click any figure to enlarge with its caption.
Figure 1
Figure 2
Figure 3Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
**An Hamilton-Jacobi formulation
of anisotropic inflation**
Francesco Cicciarella, Joel Mabillard*a,*111Corresponding author: [email protected],
Mauro Pieroni*b,[email protected], Angelo Ricciardonec,*[email protected]
a Higgs Centre for Theoretical Physics, School of Physics and Astronomy, University of Edinburgh, Edinburgh, EH9 3JZ, United Kingdom
b Instituto de Física Teórica UAM/CSIC C/ Nicolás Cabrera 13-15 Universidad Autónoma de Madrid Cantoblanco, Madrid 28049, Spain
c INFN, Sezione di Padova, via Marzolo 8, I-35131, Padova, Italy*
Abstract
Classifying inflationary scenarios according to their scaling properties is a powerful way to connect theory with observations. A useful tool to make such a classification is the -function formalism. By describing inflation in terms of renormalization group equations, within this framework, it is possible to define universality classes, which can be considered as sets of theories that share a common scale invariant limit. In this paper we apply the formalism to define such classes of universality for models of inflation where the inflaton is coupled to gauge fields. We show that the formalism may consistently be extended to capture the peculiar features of these models such as statistical anisotropy. We also obtain some consistency conditions which serve as useful guidelines for model building.
Contents
1 Introduction
Symmetries have always played an important role in theoretical physics. In the context of early time cosmology, symmetry arguments may provide a powerful guideline to grasp some details on the physics that occurred during inflation. In particular, it is interesting to understand whether they could be used to infer some of the properties of the perturbations imprinted in the Cosmic Microwave Background (CMB). Following this logic, it becomes natural to classify inflationary models on the basis of scaling/symmetry properties in the deep inflationary phase (where the dynamics features an attractor). In this classification scheme, the -function formalism [1] has shown to be a powerful tool. This framework, which is based on the application of Hamilton-Jacobi (HJ) formalism to cosmology [2], is based on a formal analogy between the Renormalization Group Equation (RGE) in quantum field theory (QFT) and the equations describing the evolution of the inflaton field in a cosmological background. The behavior of the Universe during inflation is well described, in term of the -function formalism, as a departure of the corresponding RGE from a de Sitter (dS) fixed point. The characterization of the -function in the neighborhood of such a point defines a universality class of models. In this way the plethora of inflationary potentials [3], which are the discriminator of inflationary models, are classified in a small set of classes according to the -function behavior close to the dS fixed point. It is worth mentioning that beyond the formal resemblance between inflation and RGE, more solid arguments in support of this analogy arise from the application of holography [4] to cosmological setups [5, 6, 7]444For other application of holographic techniques to cosmology see for example [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]..
Up to now such a formalism has been applied to inflationary scenarios with scalar field(s) evolving in isotropic space-time, typically Friedman-Lemaitre-Robertson-Walker (FRLW), which is in very good agreement with CMB [20, 21, 22, 23, 24, 25] and Large Scale Structure (LSS) observations [26, 27, 28]. However, since the role of new degrees of freedom during inflation is an extremely interesting and actual topic [29, 30, 31], in this paper we discuss its application to scenarios where, besides the inflaton, vector fields are present during inflation. There are many models in the literature involving vector fields: the first concrete proposal was realized in [32, 33] where inflation was driven by massive vector fields (see also [34]). However, since there must be an equilibrium between the rapid dilution of energy density due to the expansion of the Universe and the amount of generated anisotropy, the dynamics of vector fields during inflation happens to be non-trivial. Moreover, it was shown in [35, 36, 37] that these two original models suffer from instabilities. In particular the longitudinal degree of freedom, which appears since the symmetry is broken, turns out to be a ghost.
After the first proposals, several models where the dynamics of the vectors does not present pathology (and energy density and anisotropy are under control) were introduced: for example this can happen when gauge field(s) are coupled to a scalar inflaton as in [38], to an axion as in [39, 40, 41] or with non-Abelian gauge fields [42, 43, 44]. In this work we focus on the first of these cases and in particular we consider two (sub)cases: one where a triad of gauge fields is evolving isotropizing the Universe and one where the gauge field, evolving in a Bianchi type I universe, leaves particular imprints on the dynamics and on CMB observables. In particular the power spectrum (and the bispectrum) acquires a direction dependent contribution which is a measure of the degree of anisotropy [45, 46, 47, 48, 49, 50, 51].
In this work we apply the -function tools to such scenarios developing a consistent framework for the formalism in non isotropic space-time and we show how to build universality class for this kind of models. We first extend the formalism to what we call ‘isotropic ansatz’, where a triad of gauge fields is evolving in an isotropic FLRW metric, and we extract information on the dynamics studying the space of trajectories in terms of the -function. Then we move to the central part of our paper, where the formalism is extended to the ‘anisotropic ansatz’, where the gauge-field is expanding along one particular direction in a Bianchi type I space-time. In this case we introduce a ‘second’ superpotential (and a new function which we call ) to describe the growth of the anisotropies. Such a gauge field configuration leaves very peculiar signatures in the observables both on scalar and tensor perturbations. We show how the constraints, mainly arising from CMB observations, may help to characterize the HJ variables and we finally apply the techniques to some specific models of inflation.
The structure of the paper is the following: in Sec. 2 we present the model and the two ansatz used for the HJ analysis. In Sec. 3 we firstly review the -function formalism and then we apply it to both the isotropic case and the anisotropic case. We then discuss the implications of the formalism on CMB observables like statistical anisotropy in the power spectra. We finally apply the techniques to a specific class of inflationary models. Our conclusions are given in Sec. 4. In the Appendices we report some useful formulae and other concrete applications of our formalism.
2 Inflation in presence of classical gauge field backgrounds
Models where there is a coupling between the inflaton and gauge fields have been extensively studied in literature (see for example [39, 52, 40, 41, 38, 42, 43, 44, 49, 53, 54, 55, 56, 57]). In particular, when the coupling balances the dilution due to the expansion, this may result in non-trivial signatures in the primordial fluctuations such as primordial statistical anisotropy or amplification of the scalar and tensor fluctuations. In this work we consider a scalar inflaton coupled to a certain number of abelian () gauge fields (labeled by the index ) described by the action555The metric has signature, GeV denotes the reduced Planck mass (in the following we set ) and denotes the cosmic time (conformal time is defined as ).:
[TABLE]
where is the usual (abelian) field strength tensor for the gauge fields, and are two generic functions of and . Notice that according to this definition we have , where is the pressure associated with the scalar field (which in the simplest realization of inflation 666By ‘simplest realization of inflation’ we mean single field inflation with a standard kinetic term, minimally coupled with gravity and no interactions with other particles. reads ). It is known that in the case of a minimal coupling (i.e. for ), gauge fields quickly decay during the Hubble expansion [44]. However, it has been shown that the presence of a non-minimal coupling between the inflaton and the gauge fields may sustain gauge field fluctuations during inflation (for a review of some of the possibilities see [53]). While in most of the existing literature it is common to assume a standard Lagrangian for the inflaton (i.e ) and a non-minimal coupling depending on only, generalizations of this framework have been discussed (see for example [58, 59, 60] for and [61] for both and a derivative coupling777Motivations for this choice arise from string theory models of inflation where the parameterizations of and are specified from a Dirac-Born-Infeld (DBI) action [62].).
In this work we discuss homogeneous configurations for both the inflaton and the gauge fields (meaning that both and depend on only) and quantum perturbations around these backgrounds. In particular, we will focus on two different cases:
Anisotropic ansatz: as discussed in [38], by imposing temporal gauge (i.e. ) a homogeneous gauge field can always be expressed as:
[TABLE]
where, without loss of generality, we have chosen the gauge field to be aligned along the axis. In this case a consistent choice of the metric is:
[TABLE]
where and are the isotropic and anisotropic scale factor respectively. 2. 2.
Isotropic ansatz: similarly to the anisotropic case, is set to zero by gauge choice, and we can proceed by considering the homogeneous background:
[TABLE]
which, together with the inflaton, evolves in a homogeneous and isotropic spacetime with metric:
[TABLE]
which is the usual FRLW background.
In the remaining of this section we give a brief explanation 888More details on the derivation of the equations shown in this section are given in Appendix A. of the general characteristics of the isotropic and anisotropic ansatz respectively.
2.1 The isotropic ansatz
Two different mechanisms to realize an isotropic gauge field background are already present in the literature:
- •
As discussed in [33], from the superposition of a large number of homogeneous gauge fields (described by the ansatz of Eq. (2.2)) with random directions, it is possible to obtain an approximately isotropic configuration (anisotropy scales like ). Moreover, phase-space analysis shows that the trajectories converge towards a universal isotropic attractor [63].
- •
As in the cases of Gauge-flation [42, 43] (see also [64, 65, 66]) or Chromo Natural Inflation (CNI)999For the analysis of perturbations (which presents a quite reach and interesting phenomenology) see for example [67, 68, 69, 70, 57]. [71], by considering non-abelian gauge fields it is possible to perform a global gauge transformation together with a coordinate transformation to align the three gauge fields along the three axes, obtaining an isotropic vacuum expectation value for the gauge fields101010It is worth pointing out that both in CNI and Gauge-flation, the inflaton is assumed to be an axion which is coupled to the gauge fields through a term ( being the dual field strength). However, the same procedure can analogously be performed with a scalar inflaton coupled to gauge fields as .. In the limit of a sufficiently small gauge coupling, non-abelian interactions are suppressed and the three gauge fields effectively evolve as three abelian () fields which preserve isotropy.
While different theoretical constructions are possible, in this work we focus our interest on phenomenology, and we do not discuss this point in detail. Such an analysis can be a interesting starting point for future works on topic. Assuming the isotropic ansatz specified by Eq. (2.4) and Eq. (2.5), and the equation of motion for inflaton and for the gauge fields read:
[TABLE]
and it is clear that Eq. (2.7) is solved by:
[TABLE]
where is a constant. This result can be substituted in the first equation and in particular, by defining the function , we can express the only non-zero components of Einstein equations as:
[TABLE]
Once parameterizations for the scalar potential and for are specified, the system can be solved and the behavior of the solutions can be studied. In particular from the first slow-roll parameter :
[TABLE]
it is possible to understand whether inflation (i.e. ) is realized. As a matter of fact, inflation can only take place if the two conditions (recalling that ):
[TABLE]
are simultaneously satisfied. For later convenience it is also useful to introduce the two quantities:
[TABLE]
where can be seen as the slow-roll parameter related to the inflaton field and is the gauge fields energy density.
2.1.1 Isotropic power spectra
Even if the gauge fields have a non-vanishing energy density, at the level of classical background this would be indistinguishable from the single-field model111111To the best of our knowledge, most (or all) of the typical gauge field induced backreaction can be mimicked by the introduction of particular features in the scalar potential.. In order to extract information about the gauge field contribution, it is necessary to investigate its linear perturbation and its contribution to the scalar and tensor power spectra (higher order correlators, like the bispectrum, would give a further way to distinguish them). Similarly to [72], it is possible to express the power spectrum of curvature perturbations as a sum of two contributions coming from the inflaton field and from the (triad of) gauge fields:
[TABLE]
where is the usual vacuum contribution to the scalar power spectrum and denotes the number of e-foldings defined as:
[TABLE]
In Eq. (2.14) denotes the number of e-foldings before the end of inflation at which the (gauge) modes with the wave number left the horizon. Since in absence of multiple crossing121212For the treatment of cases in which multiple crosses take place see [73]. this is uniquely determined by , from now on we drop the subscript (and also the ) and every time we present the scalar and tensor power spectra and derived quantities, we always intend them to be evaluated at horizon crossing. Notice that for we consistently recover the usual expression for the scalar power spectrum. In order to compare with CMB observables it is customary to introduce the scalar spectral index defined as:
[TABLE]
where ,N denotes a derivative with respect to and where we define:
[TABLE]
The first two terms appearing in the parenthesis in Eq. (2.16) are given by the usual vacuum contribution, the other terms are the modifications due to the presence of the inflaton-gauge field coupling. measures the tilt of the scalar power spectrum at a given scale and typically it is evaluated at CMB scales (corresponding to ) where the most recent observations by Planck [74] constrain its value to be at CL.
Analogously to the scalar case, the tensor power spectrum gets modified by the presence of the gauge fields, and it is equal to:
[TABLE]
where in analogy with the scalar case, we introduce to denote the vacuum contribution to the tensor power spectrum. In order to compare theoretical predictions with observations it is customary to introduce the tensor to scalar ratio as:
[TABLE]
which shows that the tensor-to-scalar ratio is suppressed compared to the single-field slow roll inflation. When the gauge field does not contribute to the dynamics then and the tensor-to-scalar ratio reduces to .
2.2 The anisotropic ansatz
Assuming the anisotropic ansatz specified by Eq. (2.2) and Eq. (2.3), and , the eom for the gauge fields reduces to (for details see Appendix A):
[TABLE]
which is clearly solved by:
[TABLE]
where is a constant. At this point, in analogy with the procedure carried out in the isotropic case, by defining the only non-zero components of Einstein equations read:
[TABLE]
where and . Notice that for (which corresponds to i.e. no gauge fields), we recover the usual case of the simplest realization of inflation. By combining Eq. (2.22) and Eq. (2.24) we can obtain the analogous of the parameter defined in the isotropic case:
[TABLE]
Since for this is a sum of positive terms, the condition to realize inflation is that all of the terms on the r.h.s. are much smaller than one. For later convenience we define:
[TABLE]
which respectively correspond to the first slow-roll parameter in the isotropic case and to gauge field energy density.
2.2.1 Anisotropic power spectra
In the anisotropic case a privileged axis (here the axis) exists and the scalar and tensor power spectra are both characterized by a non-isotropic contribution [46, 47, 48, 49, 50] depending on the angle between the wave vector and the privileged direction . In particular, for the scalar power spectrum we have:
[TABLE]
where is the isotropic power spectrum. The extra contribution, compared to the vacuum case, is usually parameterized in terms of the anisotropic parameter introduced in [45] and defined as:
[TABLE]
which make explicit that also a negligible contribution of the gauge field energy density generates anisotropic signatures in the spectra. encodes the level of anisotropy and it is well constrained to be [21, 22, 23]. Even if observations strongly indicate a level of anisotropy compatible with zero, it is interesting to derive information about HJ variables from this constrain. This will be further developed in Sec. 3.2. For completeness, we report the expression of the scalar spectral index, given by131313After averaging over all the angles:
[TABLE]
where we introduced (more on this is said in Sec. 3.2). Once again the first two terms in the bracket correspond to the usual vacuum contribution and the other terms are the gauge field-induced modifications.
Also the tensor power spectrum gets modified by a contribution that will be direction dependent [48]. In particular, we find that the power spectrum of tensor perturbations, considering both polarizations, is:
[TABLE]
Using Eq. (2.27) and Eq. (2.30) we can compute the tensor-to-scalar ratio and relate it to the anisotropic parameter :
[TABLE]
which, averaging over all the angles, becomes:
[TABLE]
As a consequence, the coupling between the inflaton and the gauge fields modifies the value of . In particular, for larger values of at CMB scales, we expect smaller values of .
Finally, it is worth pointing out that, as shown in [50], models with the interaction , are characterized by a ‘consistency relation’ which relates the power spectrum to higher order correlation functions, like the bispectrum (i.e the Fourier transform of the three-point correlation function). In particular, for the model analyzed in this paper, the anisotropy in the power spectrum () is related to the bispectrum amplitude () (see for example [50] for more details).
3 -function formalism: definition and applications
The -function formalism is an alternative formulation of inflation which relies on the application of the HJ approach to cosmology [2]. Inspired by holographic arguments [5, 6, 7], the -function formalism was introduced in [1] with the aim of defining a systematic (and theoretically well-motivated) classification of inflationary models. Interestingly, in a series of subsequent works [75, 76, 77, 78, 79] it has been shown that the formalism provides a powerful tool to achieve a (semi-)analytical understanding of generalized models of inflation. In order to illustrate the method, we start this section with a brief review of its definition in the case of the simplest realization of inflation. The generalization to the isotropic and anisotropic ansatzes of Sec. 2 is then described in subsections 3.1 and 3.2 respectively.
In the simplest realization of inflation the dynamics is completely specified by the equation of motion for the inflaton field:
[TABLE]
and by (one of) the two non-zero component of Einstein equations:
[TABLE]
where and are the pressure and energy density of the inflaton. Within the HJ formalism, under the reasonable assumptions that a solution of this system exists and that the time evolution of as function of is piecewise monotonic, it is possible to invert to get and use the field as a clock to describe the evolution of the system. At this point we introduce the so-called superpotential141414 The formal analogy between the parameterization of the scalar potential in SUSY (for a review, see for example [80]) and in the formalism [1], justifies the name. and using Raychauduri’s equation (3.3) we directly find:
[TABLE]
implying that it is possible to express (and therefore all physical quantities) as a function of only. It is worth stressing that this is a crucial step for the definition of the formalism and, as a matter of fact, this can be non-trivial for generic (and/or ). Indeed, this motivates our choice of avoiding unnecessary complications by assuming and . However, we point out that it was shown in [76] that for single field models of inflation the formalism can successfully incorporate models with . By following a similar procedure, a further generalization of the formalism which includes the cases neglected in the present work could be defined.
By following a formal analogy with the definition of the RGE describing the evolution of the renormalized coupling constant (whose role here is played by the inflaton) in terms of the renormalization scale (here the scale factor ) we introduce the cosmological -function as:
[TABLE]
From this definition and using Eq. (3.4), Eq. (3.2) and Eq. (3.3) it is easy to show that:
[TABLE]
This expression for the equation of state shows that a phase of nearly exponential expansion of the Universe (such as inflation) corresponds to the neighborhood of a zero of . In particular, a de Sitter phase of expansion corresponds to a fixed point of the associated RG flow (i.e. a point where ). The leading order characterization of around the fixed point uniquely defines a class of models of inflation. Higher order contributions to the -function, which are not playing any role in the neighborhood of fixed point, may become important along the RG flow and break the universality at different scales. This clarifies the power of this formalism since all the information on the inflationary phase is enclosed in the parameterization of .
Clearly, the presence of a gauge field contribution requires some modifications in the definition of the formalism (for example Eq. (3.4) have different solutions). However, as shown in the following sections, until the evolution of the inflaton is piecewise-monotonic in time, all the relevant quantities can still be expressed as functions of the field only. As an instructive example, we first consider the simpler case of the isotropic configuration (2.4). After that the formalism for the system inflaton-gauge fields is established we finally proceed to the extension to the anisotropic ansatz (2.2)-(2.3).
3.1 -function formalism for the isotropic ansatz
Following an analogous of the procedure used for single-field inflation, we introduce the superpotential and we express Eq. (2.10) as:
[TABLE]
We can now solve this equation for to get:
[TABLE]
which, by definition, is a function of the scalar field only. Notice that when the second term in the square root vanishes we recover the usual . By defining the -function as in Eq. (3.5) and using Eq. (3.8) we get:
[TABLE]
where, in analogy with the procedure of [79], we have introduced:
[TABLE]
Notice that for Eq. (3.9) gives the usual . At this point it is interesting to stress that Eq. (3.8) (and as a consequence Eq. (3.9)) only makes sense if the condition:
[TABLE]
is satisfied. Such a constraint, which is not present in the standard formalism, naturally emerges in this framework. Indeed, by solving Eq. (2.10) for , the formalism automatically contains information on the dynamics of the system. Since specifying an inflationary model consists in fixing the parameterisation of (or of ) and plus some initial conditions (i.e. and ), Eq. (3.11) can be seen as a straightforward sanity check for the model. This clearly shows that the formalism provides a powerful tool for model building.
In order to have a better understanding of the link between the present case and simplest realization of inflation, it is useful to notice that, if the condition in Eq. (3.11) is satisfied, we have:
[TABLE]
At this point, by computing the expression of the first slow-roll parameter:
[TABLE]
it becomes manifest that, until Eq. (3.11) is satisfied, inflation can only be realized for (and thus ). Notice that if , inflation ends for , on the other hand, if the square root is zero, inflation ends for implying that, similarly to [81, 82, 55], the gauge field production is effectively modifying the last part of the evolution. Moreover, it is also interesting to consider the expression of the scalar potential:
[TABLE]
As Eq. (3.11) implies that the last term in the bracket is (at least) of order (or higher), and is of the same order of (see Eq. (3.9)), the parameterization of (which sets through Eq. (3.10)) directly specifies . As a consequence, even in the presence of gauge fields, can still be used to specify (classes of) single-field models of inflation.
Similarly to the case of [79], the formalism offers a natural representation of the system in a two-dimensional plot capturing the deviation from the simplest realization of inflation for different parameterization of the coupling constant. This becomes clear if, using the last equality in Eq. (3.7), we recast Eq. (3.13) as:
[TABLE]
Concretely, setting the square root of the two terms on the r.h.s. of this equation as the axis of the plot, we represent inflation as a curve going from the dS fixed point (corresponding to ) to a point of the unit-circle (corresponding to the end of inflation) in the quadrant of the plane. For example, if the contribution of the gauge field is zero, we expect an horizontal trajectory and as soon as the contribution of the gauge field start to be non-negligible we expect curves departing from this horizontal line. The shape of the different trajectories will be mostly defined by the coupling function . For more details on such analyses we refer the reader to [79].
While in this section we have mainly focused on the evolution of the background, the formalism also provides a powerful tool to characterize perturbations. In particular, as we will see for the anisotropic case, the equations provided in Sec. (2.2.1) will be expressed in terms of the typical quantities of the formalism.
3.2 -function formalism for the anisotropic ansatz
In this section we discuss the extension of the -function formalism to include the anisotropic ansatz introduced in the bullet point (1) of Sec. 2. This is achieved by following a procedure similar to the one carried out in the previous section. However, it is interesting to point out that a crucial difference with respect to such a case is the presence of a second scale factor (the function ), which requires the definition of a second superpotential. For better convenience, we connect the evolution of the two superpotentials via a new function , which measures the deviation between the isotropic and anisotropic components. Some comments on the interpretation of such function in the context of holography are given.
Considering the metric (2.3), in this case there are two different scale factors so we introduce two superpotential:
[TABLE]
i.e., in addition to the usual superpotential (here called ), we introduce the ‘anisotropic’ superpotential . The next step towards the formulation of the problem in terms of the HJ formalism, is to express as a function of only. Starting from the system in Eqs. (2.22)-(2.24), and using the definitions of Eq. (3.16), with some algebra we get:
[TABLE]
This is a polynomial equation for which is solved by:
[TABLE]
where we have picked the plus solution in order to ensure consistency with the standard single-field case (i.e. and ). Also in this case we can state that can be expressed as a function of only, which ensures that the HJ formalism can be applied even in the case where there is an anisotropic contribution to the dynamics of the system.
When anisotropic model of inflation, like the one in Eq. (2.1), are considered, they are uniquely specified by a choice for the scalar potential and for the coupling function , that in principle is function of . The evolution of the system is completely fixed as soon as these two functions are specified. Since the behaviour of the coupling function defines the fate of the anisotropic expansion, we can think in the -function framework, that we trade the potential for the -function introduced in Eq. (3.5) and the coupling function for the new -function:
[TABLE]
which grasps the grows of the anisotropies. To the best of our knowledge, this is the first time that such a function, whose introduction is a minimum requirement to study non-isotropic fields within the HJ formalism, is introduced for studying the evolution of anisotropies during inflation. It is however fair to point out that such a procedure is already been developed in the exploration of gauge/gravity correspondence [4] (see for example [83]). In such a framework an analogous151515In this context the action of Eq. (2.1) (with and ) is typically referred to as a Einstein-Maxwell-Dilaton theory. Notice however that in the corresponding analyses this action is not used to consider anisotropic cosmologies but rather black hole solutions. of the action in Eq. (2.1) is typically used for the holographic modeling of strongly interacting condensed matter systems [84, 85, 86, 87, 88]. In terms of the gauge/gravity correspondence the models described by the action in Eq. (2.1) can thus be seen as the dual of a theory with Lifshitz scaling in the space components [89, 90, 91]. As a consequence, the -function captures the evolution of the isotropic scale factor which in the context of holography is connected to the renormalization scale in the dual theory. Conversely, the -function is related to the growth of anisotropies which traces back to the introduction of a non-zero temperature and of a finite charge density in the dual QFT (and more in general to the breaking of Lorentz symmetry into Lifshitz [92, 93]).
Following the procedure of the previous section (in particular Eq. (3.10)) we introduce the function :
[TABLE]
This choice allows to directly compute and moreover it will become evident later that this function allows to directly generalize the classes of universality introduced for single field inflation to anisotropic scenario. Let us show that it is sufficient to specify and to completely fix the model. Using Eq. (3.18) (and also Eq. (A.28)) it is possible to show that can be re-expressed as:
[TABLE]
where we have introduced the definition:
[TABLE]
Notice that corresponds to the square root appearing in Eq. (3.18). At this point it becomes easy to notice that the condition for inflation in term of and simply reads:
[TABLE]
which shows explicitly that the different parametrisation of (and therefore the corresponding classes of universality found in the standard case) can be directly studied in the anisotropic scenario.
We are now in a position to express the conditions for the anisotropic system to describe an inflating universe in terms of our formalism. From Eq. (2.25) this automatically translates in the following conditions (for details see Appendix A.2.1):
[TABLE]
Moreover, another condition which must be satisfied for our model to be consistent is that the square root in Eq. (3.18) is well defined, meaning that:
[TABLE]
Since and have the same sign, is positive, the second term of the previous equation is negative and thus is always smaller than one. Interestingly, there are three possibilities to get sensible inflationary solutions:
so that the condition Eq. (3.25) reduces to . 2. 2.
which again requires , and thus it can be seen as a particularly case of the previous condition. 3. 3.
so that the condition Eq. (3.25) reduces to .
The first of these possibilities corresponds to the case in which (and correspondingly the anisotropies) grows fast along the inflationary trajectory. As must be smaller than one throughout the evolution, this implies that the initial amount of anisotropies must be strongly suppressed. Moreover, some problems might arise from the second condition in Eq. (3.24). This requires further checks on the allowed parameterizations for . Similar problems may potentially arise for the second possibility as well. Conversely, the third possibility correspond to small anisotropies (at least second order in ) in the deep inflationary phase (near the dS fixed point) which however may grow sufficiently fast during the last part of the evolution. Since solutions of the first two kinds may be more involved than the latter, in the following we only restrict our analysis to this case.
As discussed in Sec. 2.2.1, the presence of an anisotropic field induces statistical anisotropy in scalar and tensor power spectra. The information from CMB and LSS observations about anisotropy can then be used to set constrains on the HJ variables. Using expressions for the gauge field energy density and for the slow-roll parameter (see Eq. (A.30) and Eq. (3.23) respectively), the scalar power spectrum reads:
[TABLE]
where the parameter of Eq. (2.28) in term of the new variables and reads:
[TABLE]
Following a similar procedure all the other quantities given in Sec. 2.2.1 can be expressed in terms of the formalism. Some of these equations are reported in Appendix A (see in particular Sec. A.2.1). A similar treatment can also be applied to higher order correlation functions (i.e. non-Gaussianity), whose discussion is given in [50]. The information brought by non-Gaussianity could be used to get a further characterization of the HJ variables. Since these topics are beyond the scope of the present work, we conclude this section by considering an explicit example to show the effectiveness of the method.
3.2.1 An explicit example - Anisotropic chaotic inflation
As explained in the previous sections, in the context of the -function formalism a model is completely specified by fixing a choice for (or alternatively ) and for . In order to generalize the classes of universality defined in the standard case, without any scalar-gauge interaction, we proceed by specifying . For this example we choose a function of the form:
[TABLE]
which corresponds to chaotic models of inflation with scalar potential . The possible choices for the -function are then constrained by the conditions in Eq. (3.24) and in Eq. (3.25). A possible parametrization which respects this constraints is:
[TABLE]
where and are two positive constants. In particular, this choice ensures during inflation. Notice that once the constants in and in have been fixed (i.e. a class of models is specified), a variation in the third constant would directly correspond to a variation of the anisotropic parameter .
Fig. 3.1 shows the variation in the predictions for the scalar spectral index and the tensor to scalar ratio in correspondence to the variation of for different choices of parameters and . The corresponding values of and are compared with the one and two sigma regions obtained by the Planck data [74]. The constant in Eq. (3.29) has been chosen such that the is never larger than five standard deviations from its best-fit value . The predictions at with [23] have been explicitly indicated on the plots. We observe that the interaction between the scalar and gauge fields produce a very small variation, in particular a decrease, in both the scalar spectral index and the tensor to scalar ratio.
4 Conclusions
In this paper we have applied the -formalism of [76] to inflationary scenarios where the inflaton is coupled to homogeneous gauge fields [38]. Such a formalism relies on a formal resemblance between the equations describing the evolution of the homogeneous inflaton in cosmology and RGE in QFT. This method turns out to be extremely efficient to define set of universality classes for inflationary models based on their scaling properties of the system. In concrete, we have considered the presence of gauge field(s) and we studied the corresponding modifications in the definition of the formalism. We have considered both the case where the interplay of (three) gauge fields can generate isotropic configurations and, more interestingly, the case where the gauge field expands in a Bianchi type I metric leaving distinctive features in the spectrum of both scalar and tensor perturbations. In particular, for the anisotropic ansatz described in Sec. 3.1, the presence of a preferred direction (and thus of a second scale factor, besides the isotropic one), imprinted by the spin-1 nature of the field, requires the introduction of a second superpotential. The evolution of the two superpotentials are related by a new function which measures the growth of anisotropies. This is the first time that such a function is introduced for studying the evolution of anisotropies during inflation. It is worth mentioning that an extensive treatment of models similar to the one considered in this paper can be found in the context of holography applied to condense matter physics (see for example [84, 85, 86, 87, 88]).
We have derived the conditions for both the isotropic and anisotropic configurations to describe an inflating universe, and we have translated such conditions in term of the -function formalism. Moreover, we have shown that dynamical constraints, which provide a useful guideline for model building, naturally arise within the formalism. The formalism easily allows to study the influence of the gauge field on the inflaton dynamics. In particular, it can be used to identify the regions in the space of parameters where the coupling function can change the inflationary trajectories and consequently the (CMB) observables. In fact, models which are characterized by non-isotropic evolution, leave particular signature in the CMB, like a well know quadrupolar modulation in the spectrum of temperature fluctuations. CMB and LSS experiments gave stringent constraints on such a level of anisotropy, which we have used in this paper to derive information on the HJ variables.
In order to study the role of the gauge fields during inflation, in this work we assumed the inflaton sector to be as minimal as possible i.e. we assumed a single scalar field, a standard kinetic term and a minimal coupling to gravity. In building a fully realistic model for inflation one, or possibly all, of these assumptions may be relaxed. While some generalizations of the -function formalism to more realistic landscapes have already been discussed161616See [75] for non-minimal couplings to gravity and [76] for non-standard kinetic terms., a vast amount of work still needs to be carried out in this direction. For example, the exploration of multi-field models of inflation171717The discussions of [94, 12, 95] could provide useful guidelines for this purpose. or more general kinetic couplings between the inflaton and gravity181818Like in Horndeski’s theories [96] such as ‘New Higgs’ models [97, 98].. Another interesting possibility would be to apply the HJ formalism to scenarios where different background symmetry pattern are considered during inflation, like Solid Inflation and its extensions [99, 100, 101, 102, 103]. Even if, in this class of models, the background fields are space-dependent, it is still possible to find combinations of quantities that are time dependent on the background, which is a necessary condition for the formalism to be applied. This could be an interesting topic for future investigations.
Acknowledgements
We thank E. Kiritsis and L. Silva Pimenta for discussion and valuable comments. J.M. is supported by Principals Career Development Scholarship and Edinburgh Global Research Scholarship. J.M. would like to thank the Instituto de Fisica Teorica (IFT UAM-CSIC) in Madrid for its support and hospitality. J.M. and M.P. acknowledge the support of the Spanish MINECOs “Centro de Excelencia Severo Ocho” Programme under grant SEV-2016-059. This project has received funding from the European Unions Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 713366.
Appendix A General equations
In this appendix we provide some of the details of the computations presented in Sec. 2 and in Sec. 3. Let us start by computing the equations of motion for the inflaton field and for the gauge field described by the action of Eq. (2.1):
[TABLE]
Moreover, the stress-energy tensor associated with the system reads:
[TABLE]
Assuming both the inflaton field and the metric to be homogeneous the e.o.m. for the inflaton reads:
[TABLE]
Reducing to the case of a standard Lagrangian for the inflation field (i.e. ) the system further simplifies to:
[TABLE]
together with Eq. (A.2) which clearly is not modified by the choice we imposed on . While these equations hold for both isotropic and anisotropic configurations, in the rest of this appendix we specialize our equations to these two cases respectively.
A.1 The isotropic case
Using the ansatz described in the bullet point 2 of Sec. 2 specified by Eq. (2.5) and Eq. (2.4) we can express the components of the Field Strength tensor as:
[TABLE]
where dots denote derivatives with respect to the cosmic time . These equations can be used to show that:
[TABLE]
where, in order to ease the notation, we defined . At this point we can express the e.o.m. for the inflaton and for the gauge fields as:
[TABLE]
Moreover, it is possible to show that the only non-vanishing components of the Einstein equations are:
[TABLE]
From the last two equations we can immediately compute the first slow-roll parameter:
[TABLE]
from which we can immediately conclude that, if (implying a positive kinetic term for the gauge fields) and (recall that ), a small (and thus inflation) can only be obtained if the three conditions:
[TABLE]
are simultaneously satisfied.
A.2 The anisotropic case
Using the ansatz described in the bullet point 1 of Sec. 2 specified by Eq. (2.2) and Eq. (2.3) we can express the components of the Field Strength tensor as:
[TABLE]
Analogously to the isotropic case this can be used to show that:
[TABLE]
where we have introduced and . The e.o.m. for the inflaton field, for the gauge field and the stress-energy tensor become:
[TABLE]
Moreover, it is possible to show that the only non-zero components of the Einstein equations in the anisotropic case are:
[TABLE]
This system can be rearranged to:
[TABLE]
Plugging the first of these equations into the last one and dividing by we can obtain the analogous of the first slow-roll parameter:
[TABLE]
since (to avoid a negative kinetic term for the gauge fields) and this is a sum of positive terms. As a consequence, in order for inflation to be realized, all of this contributions must be much smaller than one.
A.2.1 Anisotropic superpotential and useful quantities
In this section we report some additional equations which are useful in order to study inflationary models in terms of the -function formalism. First of all, from the definition of and we can immediately compute the expression of the two superpotentials and :
[TABLE]
where , and denote the values of , and at the end of inflation respectively. From the definition of (and again using the definition of ) we can then compute the expression of the two scale factors and :
[TABLE]
where and are the values of , at the end of inflation.
From the definition of it is then possible to show that:
[TABLE]
which, together with Eq. (2.23) and Eq. (2.24), can be used to compute the expression of the inflaton potential:
[TABLE]
Substituting into Eq. (2.22) and the gauge field energy contribution:
[TABLE]
which can directly be used to compute defined in Eq. (2.26).
Appendix B Specific examples
We present some explicit and worked out examples of the use of the -function formalism on both isotropic and anisotropic cases. In particular we illustrate how the consistency conditions derived for both cases are helpful in model building. Note that these examples have been chosen for illustrating purpose. We are not focusing in their phenomenological prediction and consider them as toy models.
B.1 Isotropic inflation - Chaotic example
The model being completely defined by and , we first pick a -function and then show how does constrain the possible parametrization of . The usual choices for are defined in [1]. For this example we decide to work with the chaotic class:
[TABLE]
where is a positive constant. By definition, the end of inflation occurs at and we obtain an equation the value of at the end of inflation, :
[TABLE]
The superpotential and potential for this kind of model are:
[TABLE]
The parametrization for consistent with starting with a nearly dS universe (which is realized for ) are constrained by the condition Eq. (3.11). In this case, the condition reads:
[TABLE]
Two simple parametrizations are
- •
A strict proportionality in (B.4):
[TABLE]
with . In this case the square root in (3.8) is simply constant and the most of the computation are analytical.
- •
A more general choice:
[TABLE]
where is a generic function of .
Since isotropic inflation is not the main focus of this work we do not include the full analytical study of these toy models. Note that we could also have started with a choice of and deduced the allowed -function from the consistency condition.
B.2 Anisotropic examples
To describe other concrete applications of the formalism, we present a few possible parametrizations for the function (alternative to the one used in Sec. 3.2.1) that satisfy all the consistency conditions for the anisotropic case (i.e. Eq. (3.24) and Eq. (3.25) ).
B.2.1 Power-law inflation
Let consider the simplest choice for and where both of them are constant:
[TABLE]
with , positive constants. It is easy to show that in this case is a constant:
[TABLE]
and the conditions (3.24) and (3.25) constraining the parameters and are trivially satisfied by any choice with and . This very simple parametrization corresponds to the anisotropic power-law model of inflation discussed in [104]. This is made explicit considering the potential:
[TABLE]
where is combination of , and , and the coupling :
[TABLE]
where is combination of , and . In particular, by comparing with the model of [104] we easily find that:
[TABLE]
and the condition found on the parameters and (i.e. Eq. 32 of [104]) corresponds to:
[TABLE]
implying for example for , which is automatically satisfied here. In this simple case, since and are constant, so it is and the period of inflation will never end. However this formalism is well suited to construct a better defined model, by adding a correction to the function, as in [78]. A choice of (where is a generic function which goes to zero for large values of ) and will have most of the features of the strictly anisotropic power-law model but will allow inflation to end.
B.2.2 Logarithmic parameterization
Another elegant Ansatz for and is:
[TABLE]
which gives:
[TABLE]
where is a dimensionful constant. Note that by definition of , we find to be constant. The other relevant quantities are given by simple expressions:
[TABLE]
The conditions to realize inflation in the model simply reduce to and and for the square root to be well defined we obtain:
[TABLE]
This model can be directly computed for any of the known class of universality upon some validity check given by the above consistency conditions. To proceed further and illustrate the mechanism in greater details, let us pick a explicit choice for , namely the function of the chaotic class , where is a constant. This choice directly gives:
[TABLE]
where is a constant and the condition from the square root gives:
[TABLE]
implying that and an appropriate choice of should satisfy this condition. We can not proceed further without fixing . For example, the case with gives where is a constant. We can compute the coupling between the gauge and the scalar fields:
[TABLE]
where is a constant factor. As a consequence has to decrease exponentially during inflation (i.e. as decreases towards ).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] P. Binetruy, E. Kiritsis, J. Mabillard, M. Pieroni, and C. Rosset. Universality classes for models of inflation. JCAP , 1504(04):033, 2015, 1407.0820.
- 2[2] D. S. Salopek and J. R. Bond. Nonlinear evolution of long wavelength metric fluctuations in inflationary models. Phys. Rev. , D 42:3936–3962, 1990.
- 3[3] Jerome Martin, Christophe Ringeval, and Vincent Vennin. Encyclopædia Inflationaris. Phys. Dark Univ. , 5-6:75–235, 2014, 1303.3787.
- 4[4] Juan Martin Maldacena. The Large N limit of superconformal field theories and supergravity. Int. J. Theor. Phys. , 38:1113–1133, 1999, hep-th/9711200. [Adv. Theor. Math. Phys.2,231(1998)].
- 5[5] Kostas Skenderis and Paul K. Townsend. Hidden supersymmetry of domain walls and cosmologies. Phys. Rev. Lett. , 96:191301, 2006, hep-th/0602260.
- 6[6] Paul Mc Fadden and Kostas Skenderis. Holography for Cosmology. Phys. Rev. , D 81:021301, 2010, 0907.5542.
- 7[7] Paul Mc Fadden and Kostas Skenderis. The Holographic Universe. J. Phys. Conf. Ser. , 222:012007, 2010, 1001.2007.
- 8[8] Paul Mc Fadden and Kostas Skenderis. Holographic Non-Gaussianity. JCAP , 1105:013, 2011, 1011.0452.
