Go to previous page Go up Go to next page

4.1 Influence action for semiclassical gravity

Let us formulate semiclassical gravity in this functional framework. Adopting the usual procedure of effective field theories [28929078Jump To The Next Citation Point77Jump To The Next Citation Point79Jump To The Next Citation Point80Jump To The Next Citation Point48], one has to take the effective action for the metric and the scalar field of the most general local form compatible with general covariance: S [g, φ] ≡ Sg[g ] + Sm [g, φ] + ..., where Sg[g] and Sm [g,φ] are given by Equations (8View Equation) and (1View Equation), respectively, and the dots stand for terms of order higher than two in the curvature and in the number of derivatives of the scalar field. Here, we shall neglect the higher order terms as well as self-interaction terms for the scalar field. The second order terms are necessary to renormalize one-loop ultraviolet divergences of the scalar field stress-energy tensor, as we have already seen. Since ℳ is a globally hyperbolic manifold, we can foliate it by a family of t = const. Cauchy hypersurfaces Σt, and we will indicate the initial and final times by ti and tf, respectively.

The influence functional corresponding to the action (1View Equation) describing a scalar field in a spacetime (coupled to a metric field) may be introduced as a functional of two copies of the metric, denoted by + gab and − gab, which coincide at some final time t = tf. Let us assume that, in the quantum effective theory, the state of the full system (the scalar and the metric fields) in the Schrödinger picture at the initial time t = ti can be described by a density operator which can be written as the tensor product of two operators on the Hilbert spaces of the metric and of the scalar field. Let ρi(ti) ≡ ρi[φ+ (ti),φ− (ti)] be the matrix element of the density operator S ˆρ (ti) describing the initial state of the scalar field. The Feynman–Vernon influence functional is defined as the following path integral over the two copies of the scalar field:

∫ i S [g+,φ ]− S [g−,φ ] ℱIF[g± ] ≡ 𝒟 φ+ 𝒟 φ− ρi(ti)δ [φ+(tf) − φ − (tf)]e ( m + m −). (15 )
Alternatively, the above double path integral can be rewritten as a CTP integral, namely, as a single path integral in a complex time contour with two different time branches, one going forward in time from ti to t f, and the other going backward in time from t f to t i (in practice one usually takes t → − ∞ i). From this influence functional, the influence action + − SIF[g ,g ], or ± SIF[g ] for short, defined by
± iSIF[g± ] ℱIF[g ] ≡ e , (16 )
carries all the information about the environment (the matter fields) relevant to the system (the gravitational field). Then we can define the CTP effective action for the gravitational field, Seff[g±], as
Se ff[g± ] ≡ Sg [g+ ] − Sg [g− ] + SIF[g±]. (17 )
This is the effective action for the classical gravitational field in the CTP formalism. However, since the gravitational field is treated only at the tree level, this is also the effective classical action from which the classical equations of motion can be derived.

Expression (15View Equation) contains ultraviolet divergences and must be regularized. We shall assume that dimensional regularization can be applied, that is, it makes sense to dimensionally continue all the quantities that appear in Equation (15View Equation). For this we need to work with the n-dimensional actions corresponding to S m in Equation (15View Equation) and S g in Equation (8View Equation). For example, the parameters G, Λ, α, and β of Equation (8View Equation) are the bare parameters GB, ΛB, αB, and βB, and in Sg [g ], instead of the square of the Weyl tensor in Equation (8View Equation), one must use 23(RabcdRabcd − RabRab ), which by the Gauss–Bonnet theorem leads to the same equations of motion as the action (8View Equation) when n = 4. The form of Sg in n dimensions is suggested by the Schwinger–DeWitt analysis of the ultraviolet divergences in the matter stress-energy tensor using dimensional regularization. One can then write the Feynman–Vernon effective action ± Se ff[g ] in Equation (17View Equation) in a form suitable for dimensional regularization. Since both Sm and Sg contain second order derivatives of the metric, one should also add some boundary terms [284167Jump To The Next Citation Point]. The effect of these terms is to cancel out the boundary terms which appear when taking variations of S [g± ] eff keeping the value of + gab and − g ab fixed at Σti and Σtf. Alternatively, in order to obtain the equations of motion for the metric in the semiclassical regime, we can work with the action terms without boundary terms and neglect all boundary terms when taking variations with respect to ga±b. From now on, all the functional derivatives with respect to the metric will be understood in this sense.

The semiclassical Einstein equation (7View Equation) can now be derived. Using the definition of the stress-energy tensor ab √ --- T (x) = (2∕ − g)δSm ∕δgab and the definition of the influence functional, Equations (15View Equation) and (16View Equation), we see that

| ˆab ----2----δSIF[g±-]|| ⟨T [g;x)⟩ = ∘ ------ δg+ (x)||, (18 ) − g(x ) ab g±=g
where the expectation value is taken in the n-dimensional spacetime generalization of the state described by S ρˆ (ti). Therefore, differentiating ± Se ff[g ] in Equation (17View Equation) with respect to + g ab, and then setting + − gab = gab = gab, we get the semiclassical Einstein equation in n dimensions. This equation is then renormalized by absorbing the divergences in the regularized ⟨Tˆab[g]⟩ into the bare parameters. Taking the limit n → 4 we obtain the physical semiclassical Einstein equation (7View Equation).
  Go to previous page Go up Go to next page