Go to previous page Go up Go to next page

B.2 Survey of background field formalisms

In the above brief recap on the standard effective action we considered for simplicity only theories without gauge or field reparameterization symmetries. The standard effective action formalism can also be used for theories with symmetries, but then has several drawbacks. Most importantly the standard effective action is not a (gauge or field reparameterization) invariant functional of its argument. The background field method is designed to produce a modified “background” effective action which is an invariant functional of its argument. This feature is instrumental for the renormalization process. We first illustrate the role of the background field configuration in the scalar case and then discuss the two variants needed to cope with gauge and field reparameterization symmetries consecutively. The variant used to address gauge and field reparameterization symmetries in combination (Vilkowisky–deWitt) will not be needed here, but we shall mention it briefly for the sake of comparison.

Before turning to the formalism let us briefly comment on the status of the background field configuration. First one should stress that the term “background field” in this context does not refer to a solution of the classical field equations. It is an auxiliary device used to formulate covariance properties that constrain the renormalization flow. The dependence on the background configuration is controlled by splitting Ward identities that, roughly, ensure that nothing depends on the way how the integration variable in the functional integral is decomposed into a reference configuration and a fluctuation field. Once a source free condition is imposed the “background” gets related to the expectation value of the fluctuation field through a consistency condition involving the full quantum effective action (see Equations (2.51View Equation) and (B.53View Equation) below).

When applied to quantum gravity, the background field formalism can be viewed as giving rise to a formulation with a state-dependent dynamically adjusted reference metric. The bare manifold is initially equipped with a reference geometry, but rather than being external it eventually gets related to the average of the quantum metric in a self-consistent manner. As an incomplete classical analogy one may take the variational principles for general relativity which in addition to the dynamical metric invoke a fiducial background metric (see e.g. [74] and references therein). The latter only provides the desired covariance properties and in the presence of generic boundary conditions serves to define conserved quantities relative to the background.

As a further clarification one should add that in the case of gauge theories the on-shell projections of the Green’s functions (e.g. S-matrix elements) computed from the background effective action are not assumed to be physical quantities from the outset. In particular in the case of gravity the precise role of the on-shell projections remains to be understood. The main reason for focusing on the background effective action here are its ‘benign’ properties under UV renormalization. The background covariance constrains the renormalization flow, both on the level of a Wilsonian action and on the the level of an effective average action.

The background field formalism comes in two main variants: one based on a linear background-fluctuation split and the other based on a geodesic background-fluctuation split. The latter is used to cope with field reparameterization symmetries. Both variants can be applied to non-gauge theories (regular Lagrangians) and gauge theories (singular Lagrangians). We briefly discuss these variants consecutively, later on the variants in Sections B.2.2 and B.2.3 will be used.

B.2.1 Linear split, non-gauge theories

In this simple case the use of a background field formalism is ‘overkill’. However it is a convenient way to introduce the relevant structures. The starting point is again the generating functional for the connected Green’s functions, but with a modified coupling to the source J. Specifically, one linearly decomposes the quantum field, i.e. the integration variable χ, according to χ(x) = ¯χ(x ) + f (x ), where ¯χ is a background configuration to be adjusted later and f is the fluctuation field, i.e. the new integration variable. In the corresponding generating functional only f not the complete field χ is coupled to the source. For the sake of illustration we allow the action to depend explicitly on the background field χ, i.e. S = S[χ;χ¯]. One introduces

∫ { ∫ } exp W [J ; ¯χ] = 𝒟f exp − S[¯χ + f;χ¯] + dx f(x)J(x ) , (B.13 )
and for a given φ its Legendre transform
{ ∫ } Γ [φ; ¯χ ] := sup dxφJ − W [J ; ¯χ] . (B.14 ) J
Assuming for simplicity that W [J;χ¯] is differentiable everywhere, for an extremizing configuration J∗ = J ∗[φ;χ¯] one has
δW [J ; ¯χ] δ Γ [φ; ¯χ] φ = ⟨f⟩J∗ = ------∗---, -------- = J∗[φ,χ¯], (B.15 ) δJ ∗ δφ
i.e. φ can be interpreted as the normalized expectation value ⟨f⟩J∗ of the fluctuation field. The counterpart of Equation (B.8View Equation) is
∫ { ∫ } exp{− Γ [φ;χ¯]} = 𝒟 χ exp − S [χ; ¯χ] + dx (χ − χ¯− φ)(x)δΓ [φ;χ¯] . (B.16 ) δφ(x )
Differentiating with respect to ¯χ gives
⟨ ⟩ δΓ δ Γ δS δ¯χ-− δ-φ − δ¯χ- . (B.17 ) J∗
We shall refer to identities of this form as “splitting Ward identities”. Here Equation (B.17View Equation) expresses the fact that that the “linear splitting” symmetry δ⟨f⟩ = η, δ¯χ = − η is violated only by the explicit background dependence of the action.

The condition that the source J ∗ in Equation (B.15View Equation) vanishes is usually solved by formal power series inversion and then gives φ = 0 as the only solution, J ∗[φ = 0; ¯χ] = 0. More generally the vanishing of J∗[φ;χ¯] defines locally ¯χ as a function of φ, say, ¯χ = χ¯∗(φ). For such configurations Γ becomes a functional of a single field

¯Γ [φ] := Γ [φ;χ¯∗(φ)], (B.18 )
which obeys
¯ ⟨ ⟩ δΓ [φ]-= δS- δχ-∗. (B.19 ) δφ δ¯χ J∗ δφ

We briefly mention two applications of the relations (B.65View Equation), both for actions S [χ ] without explicit background dependence. The relation (B.17View Equation) is often used for constant background field configurations χ¯. It then implies that vertex functions with vanishing external momenta can be written as χ¯ derivatives of vertex functions with a smaller number of legs

∂ ∫ ---Γ (n)(x1, ...,xn; ¯χ) = dy Γ (n)(x1,...,xn,y; ¯χ), ∂¯χ | (B.20 ) (n) -----δΓ [φ; ¯χ-]--|| with Γ (x1, ...,xn; ¯χ) = δ φ(x )...δφ (x )| . 1 n φ=0
In the context of renormalization theory the following discussion (taken from Howe et al. [110Jump To The Next Citation Point]) illustrates the point of the identity (B.17View Equation). Expanding an interaction monomial like χ4 one gets
4 4 3 2 2 3 4 χ = ¯χ + 4f ¯χ + 6f ¯χ + 4fχ¯ + f , (B.21 )
where in principle all interaction vertices could be renormalized differently. However, because of Equation (B.17View Equation) this does not happen, the wave function renormalization constants for ¯χ and f are actually the same:
Z¯χ = Zf . (B.22 )
This entails that the counterterms are functionals of the full field χ = ¯χ + f, not of ¯χ and f separately. Relations like Equations (B.17View Equation) – referred to as “linear splitting Ward identities” in [110Jump To The Next Citation Point] – thus provide a crucial simplification in the descrition of the renormalization flow, once the background-fluctuation split has been adopted for other reasons.

Good reasons to adopt such a split exist in theories with symmetries, which can be local gauge symmetries, or field reparameterization symmetries, or both. In all situations the background field method offers key advantages in that it can produce an effective action which is an invariant functional of its argument. Via the above splitting principle this then greatly restricts the form of the (Wilsonian) renormalized action. In a non-background field formalism these symmetries in contrast have to be imposed by relating possibly noninvariant terms or pieces of the renormalized action via conventional Ward identities, like Equation (A.9View Equation) in the case of field reparameterizations.

We first describe the background field technique for a non-gauge theory where reparameterization invariance in field space is aimed at, and then for a diffeomorphism gauge theory (the case of Yang–Mills theories runs completely parallel). Finally we mention the setting where both gauge and field reparameterization invariance is aimed at. General references are [68Jump To The Next Citation Point49223Jump To The Next Citation Point224129Jump To The Next Citation Point178Jump To The Next Citation Point].

B.2.2 Geodesic split, non-gauge theories

Here reparameterization invariance in field space is aimed at; the original construction is due to Honerkamp et al. [107109]. Since invariance under local field redefinitions is a hallmark of physical quantities this field reparameterization invariant effective action is an object much more intrinsic to the field theory under consideration. Morally speaking in this technique the field reparameterization Ward identity (A.9View Equation) is built in, and does not have be imposed along with the solution/definition of the functional integral. For the construction of the covariant effective action the field configuration space is equipped with a metric and the associated metric connection. The Lagrangian is assumed to be reparameterization in variant in the sense that

2 L 𝔥(χ + v) = L𝔥+ℒv𝔥(χ ) + O (v ), (B.23 ) − ∂ μ𝒞 + (ℒ 𝔥) ∂L-𝔥= viδS𝔥. (B.24 ) μ v ij∂𝔥ij δχi
Here v = vi(χ )∂∕∂χi is a vector field on the configuration space ℳ and ∫ -- S 𝔥 = dx √ 𝔥L 𝔥 is the action associated with L 𝔥. The second equation is a consequence of the first; the quantity 𝒞 μ can be viewed as a “diffeomorphism current”. For example i μ i 𝒞μ = v ∂L 𝔥∕(∂ (∂ χ )), if L𝔥 depends algebraically on χi and ∂χi, and with obvious generalizations to higher derivative theories. Formally such a reparameterization invariance can always be achieved. Naturally it arises for a scalar field theory when the metric in field space enters via the kinetic term in the Lagrangian
1- μ i j L𝔥(χ ) = 2𝔥ij(χ )∂ χ ∂μχ + ..., (B.25 )
where the other terms are supposed to preserve Equations (B.23View Equation, B.24View Equation) The prototype example of such systems are Riemannian sigma-models, for which the resulting “covariant background field method” is summarized in Appendix B.3. From a Wilsonian perspective it is natural to allow for higher derivative interactions and to use only the invariance (B.23View Equation, B.24View Equation) for the formulation of the framework.

One now describes the configurations χ in terms of an arbitrary (off-shell) background configuration and geodesic normal coordinates ξ, which are new dynamical fields. That is, a nonlinear background-fluctuation split χi = χi𝔥(¯χ,ξ) is used. Here χ 𝔥 is the function on ℳ × Tℳ such that its value χi(¯χ, ξ) 𝔥 gives the endpoint of the (locally unique) geodesic in (ℳ, 𝔥 ) connecting ¯χ to χ and having ξ = ξi∂ ∕∂χi as the tangent vector at ¯χ. The normal coordinate expansion of χ 𝔥 is a power series in ξ with coefficients built from the Christoffel symbols i Γjk(¯χ) of 𝔥ij evaluated at ¯χ. We shall also need the inverse series ξi𝔥(¯χ,χ ), defined by χi = χi𝔥(χ¯, ξ𝔥(χ¯, χ)). To quadratic order one has

i i i i 1- i j k χ = χ 𝔥(χ¯, ξ) = ¯χ + ξ − 2 Γjk(¯χ)ξ ξ + ... (B.26 ) ξi = ξi(¯χ,χ ) = − (χ¯− χ)i + 1-Γ i (¯χ)(¯χ − χ )j(¯χ − χ )k + ... 𝔥 2 jk
One sees that ξ𝔥 transforms like a vector with respect to local reparameterizations of the background field ¯χ and like a scalar with respect to reparameterizations of χ. Later on we shall need to relate functional derivatives with respect to the different fields. The relevant relations are
( ) δ δ δξj ----= Dji(¯χ,ξ )---, Dji(¯χ,ξ) := --𝔥-+ Γ jik(¯χ)ξk𝔥 (χ¯, χ𝔥(¯χ,ξ )), δχi δξj δχi j (B.27 ) -δ-- j -δ-- j δξ𝔥- δχ¯i = C i(¯χ,ξ)δ ξj, C i(¯χ,ξ) := δχ¯i (¯χ,χ𝔥(¯χ, ξ)).
One can also verify that for a function F(χ¯, ξ) an n-th ordinary derivative with respect to ξ’s becomess a symmetrized covariant derivative with respect to χ’s with F (¯χ,ξ) = F (¯χ,ξ𝔥(¯χ,χ )) viewed as a function of ¯χ, χ. Finally the invariant measures are related by
∏ ∘ -------- ∏ ∘ --------( ) 𝒟 χ := dχi det 𝔥(χ) = d ξi det𝔥(¯χ ) 1 − 1Rij(¯χ)ξiξj + ... =: 𝒟ξ. (B.28 ) x x 6
With these geometrical properties at hand it is now straightforward to construct generating functionals which are reparameterization invariant functionals of their arguments. Starting with W [J, ¯χ] in Equation (B.13View Equation) (with S being not explicitly background dependent) one simply replaces the linear but noncovariant source coupling (χ − ¯χ)J by the covariant but nonlinear one ξi𝔥(¯χ,χ )Ji(χ¯), where Ji(¯χ) is a co-vector with respect to background field reparameterizations. This gives
∫ { ∫ } ∫ { ∫ } expW [J ; ¯χ] = 𝒟χ exp − S 𝔥[χ] + dxξi(¯χ, χ)Ji(¯χ) = 𝒟 ξexp − S𝔥[ξ, ¯χ] + dx ξiJi(¯χ()B.2.9 ) 𝔥
The first expression shows that the dependence on the background configuration ¯χ enters only through the source term; in the second expression we changed variables according to χ = χ 𝔥(¯χ,ξ). Correspondingly there are two ways to introduce a mean fluctuation field
δW [J; ¯χ] ⟨ξi⟩J = ---------= ⟨ξi𝔥(¯χ, ⋅)⟩J =: ξi𝔥(¯χ,⟨χ ⟩J ), (B.30 ) δJi
which treat ξ and χ as the dynamical field, respectively, with mean fields ⟨ξ⟩J and ⟨χ⟩J. Both are functions of χ¯, and ⟨χ⟩J is implicitly defined by Equation (B.30View Equation). The Legendre transforms are
{ ∫ } Γ [⟨χ ⟩;χ¯] = sup dxξi𝔥(¯χ, ⟨χ ⟩)Ji(¯χ) − W [J, ¯χ] , J { ∫ } (B.31 ) Γ [⟨ξ ⟩,χ¯] = sup dxξiJi(¯χ) − W [J, ¯χ ] , J
respectively, which gives for the extremizing configurations
−1 j δΓ [⟨χ⟩,χ¯] δ Γ [⟨ξ ⟩,χ¯] J∗,i(⟨χ⟩, ¯χ) = (D )i (χ¯, ⟨χ⟩)------j---, J∗,i(⟨ξ⟩, ¯χ) =------i-- . (B.32 ) δ⟨χ ⟩ δ⟨ξ⟩
The Legendre transforms satisfy the functional integro-differential equations
∫ { ∫ } [ i i ] −1 j-δΓ--- exp − Γ [⟨χ⟩; ¯χ] = 𝒟χ exp − S𝔥[χ] + dx ξ𝔥(¯χ,χ ) − ξ𝔥(¯χ,⟨χ ⟩) (D )iδ⟨χj⟩ , (B.33 ) ∫ { ∫ [ ] } exp − Γ [⟨ξ⟩; ¯χ] = 𝒟ξ exp − S𝔥[ξ, ¯χ] + dx ξi − ⟨ξi⟩-δ-Γ- , (B.34 ) δ⟨ξi⟩
with the arguments of the source terms as in Equation (B.32View Equation). The reason for carrying both variants along is to highlight that the effective action based on a geodesic split is at least formally a coordinate independent concept, where patches in field space around a reference configuration are invariantly described. Technically the use of the normal coordinate field ξ as a dynamical variable is simpler but presumably not indispensible. The n-point functions are related by [50Jump To The Next Citation Point]
Γ ;(i ...i)[⟨χ⟩, ¯χ] = ⟨ξi1 ...ξin⟩, (B.35 ) 1 n
where the left-hand-side is the symmetrized covariant derivative with respect to ⟨χ⟩ (as in D in Equation (B.27View Equation) for n = 1) and the right-hand-side is the vertex (“1-particle irreducible”) function of the normal coordinate fields.

For later reference let us also note that once in Γ [⟨ξ⟩; ¯χ] the source-free condition J∗[⟨ξ⟩;χ¯] = 0 is imposed, with ⟨ξ⟩J = 0 as the only solution within formal power series inversion, one has

¯Γ [¯χ] := Γ [0,χ¯] = − W [0,χ¯], (B.36 )
which is the counterpart of Equation (B.17View Equation). Comparing with Equation (B.29View Equation), one sees that the functional integral for ¯Γ [¯χ] reads
∫ { ∫ } exp − ¯Γ [¯χ] = 𝒟ξ exp − S𝔥[ξ, ¯χ] + dx ξi(x )Ji(χ¯)(x ) , (B.37 )
where the source Ji(¯χ ) is constrained by the requirement that ⟨ξi⟩J (given by the same functional integral with a ξi insertion) vanishes. For generalized Riemannian sigma-models the perturbative renormalization of this generating functional is summarized in Appendix B.3.

We now describe two types of Ward identities for these systems: diffeomorphism type Ward identities and the nonlinear splitting Ward identities mentioned earlier. The former are really generalized Ward identites relating different theories in the sense that a compensating change in the metric tensor 𝔥ij is needed. On the classical level an example is Equation (B.24View Equation); only if 𝔥ij admits Killing vectors and one takes for i v one of the Killing vectors does Equation (B.24View Equation) reduce to a conservation equation proper, with 𝒞 μ being the associated Noether current. In fact, Equation (B.24View Equation) can be promoted to a “Diffeomorphism Ward identity” in the quantum theory, at least perturbatively [201Jump To The Next Citation Point162Jump To The Next Citation Point] and presumably also in a non-perturbative formulation. In perturbation theory the “equations of motion operator” appearing on the right hand side of Equation (B.24View Equation) is a finite operator, i.e. it is the same when viewed as a functional of the bare fields and couplings, and when viewed as a function of the renormalized fields and couplings. Once the second term on the left-hand-side has been defined in terms of normal products, the diffeomorphism current 𝒞μ must be finite as well.

For the background effective action Γ [⟨ξ⟩, ¯χ] a similar diffeomorphism Ward identity arises as follows. Since a geodesic is a coordinate independent concept, transforming all of the ingredients in the definition of χi = χi𝔥(¯χ,ξ) by an infinitesimal diffeomorphism V : ℳ → ℳ, V = id + v + O (v2), gives

( ) χi + vi(χ) = χi𝔥−ℒ 𝔥 ¯χj + vj(¯χ),ξj + ∂kvj(¯χ)ξk . (B.38 ) v
Assuming that the functional integral in Equation (B.29View Equation) has been invariantly regularized, and noting that the quantum field in the symmetry variation δv¯χi = vi(¯χ), δv𝔥ij = − (ℒv𝔥)ij, δξi = ∂jviξj enters linearly, one is lead to the following diffeomorphism Ward identity for Γ [⟨ξ⟩, ¯χ ] [110Jump To The Next Citation Point]:
∂Γ i δΓ i j δΓ (ℒv 𝔥)ij---- − v ---i − ∂jv ⟨ξ ⟩--i- = 0. (B.39 ) ∂ 𝔥ij δχ¯ δ⟨ξ ⟩
The ‘price’ for the linearity here is that the metric tensor changes as well.

This is different in the nonlinear splitting Ward identities, which control the dependence on the background field configuration. If the metric in Equation (B.38View Equation) is kept fixed the splitting symmetry i i δv¯χ = v, i i j δvξ = C j(χ¯, ξ)v becomes nonlinear (see Equation (B.27View Equation)). The corresponding “nonlinear splitting Ward identity” reads as follows:

δΓ [⟨ξ⟩; ¯χ]+ ⟨Cj (¯χ, ⋅)⟩ δΓ [⟨ξ⟩; ¯χ]= 0. (B.40 ) δ¯χi i δ⟨ξj⟩
Here j ⟨C i(¯χ,ξ)⟩ is the average of the matrix field C (¯χ,ξ) in Equation (B.27View Equation) defined as a renormalized composite operator and the variations are at fixed ⟨χ⟩. Conceptually Equation (B.40View Equation) expresses the fact that in Equation (B.33View Equation) the dependence on the background ¯χ enters only through the source term. Differentiating this equation with respect to the background at fixed ⟨χ ⟩ and switching to the normal coordinate field as dynamical variable one finds Equation (B.40View Equation), if somewhat formally. A technically cleaner way of arriving at Equation (B.40View Equation) is by working with the normal coordinate field throughout, promoting the splitting invariance to a nilpotent operation and defining ⟨Cji(¯χ, ⋅)⟩ by variation with respect to a source. For details be refer to Howe et al. [110Jump To The Next Citation Point]. Further nonlinear renormalizations of ξ itself have to be taken into account (see Appendix B.3 for a summary). Note that for a flat geometry on field space the equation reduces to Equation (B.17View Equation). In a perturbative construction the nonlinear splitting Ward identity (B.40View Equation) has the important consequence that the counterterms depend on the full field χ = χ𝔥(¯χ, ξ) only and not on χ¯, ξ individually. The use of normal coordinates in Equation (B.40View Equation) has technical advantages, in principle however a counterpart for the Γ [⟨χ ⟩, ¯χ] effective action exists as well [50].

B.2.3 Linear split, gauge theories

Since we are interested here in diffeomorphism invariant theories we consider this type of gauge invariance. The case of Yang–Mills fields is largely parallel (see [1081Jump To The Next Citation Point25Jump To The Next Citation Point] for the latter). Let S [g] be any diffeomorphism invariant action of a Riemannian metric g = (gαβ)1≤α,β≤d. Infinitesimally the invariance reads S [g + ℒvg ] = S [g] + O (v2), where

ℒvgαβ = vγ∂ γgαβ + ∂αvγgγβ + ∂βvγgγα (B.41 )
is the Lie derivative of g with respect to the vector field vγ∂γ. As before we decompose the metric g (later the integration variable in the functional integral) into a background ¯g and a fluctuation f, i.e. gαβ = g¯αβ + f αβ. Note that f αβ is not assumed to be small in some sense, no expansion in powers of f is implied by the split. Note however that this linear split does not have a geometrical meaning in the space of geometries.

The symmetry variation gαβ ↦→ gαβ + ℒvg αβ can be decomposed in two different ways,

fαβ ↦→ fαβ + ℒv(¯g + f)αβ, ¯gαβ ↦→ ¯gαβ, (B.42 ) fαβ ↦→ fαβ + ℒvfαβ, ¯gαβ ↦→ ¯gαβ + ℒv ¯gαβ. (B.43 )
We shall refer to the first one as “genuine gauge transformations” and to the second one as the “background gauge transformations”. The background effective action Γ [⟨gαβ⟩,¯gαβ,ghosts evs.] to be constructed will be a functional of the averaged metric ⟨gαβ⟩, the background metric ¯gαβ, and sources, which is invariant under the background field transformations (B.43View Equation). We quickly run through the relevant steps.

The background generating functional W [J,j,¯j; ¯g] is formally defined by

∫ { ∫ } √ -- αβ W [J, j,¯j; ¯g] = 𝒟 μj,¯j[f] exp − S[¯g + f] + dx ¯gJ fαβ . (B.44 )
The measure 𝒟μj,¯j[f] differs from the naive measure 𝒟f αβ by gauge-fixing and ghost contributions, as well as sources jα, ¯jα for the ghosts:
{ ∫ α 1 ∫ √ --αβ 1 ∫ αβ∂Q β 𝒟 μj,¯j[f] = 𝒟f αβ 𝒟C 𝒟 ¯Cα exp − --- dx ¯g¯g Q αQ β + -- dx ¯Cα¯g ----ℒC (¯g + f)γδ 2∫α }κ ∂fγδ √ -- α α ¯ + dx ¯g[¯jαC + j C α] . (B.45 )
Here Qα = Q α[¯g;f] ≈ 0 is the gauge fixing condition, which must be invariant under Equation (B.43View Equation), but which we may leave unspecified here. A widely used gauge condition is the background harmonic gauge (see Section 4.1). We shall ignore the problem of global existence of gauge slizes in accordance with the formal nature of the construction. The second term in the exponent is the ghost part; it is obtained along the same as lines in Yang–Mills theory: One applies a genuine gauge transformation (B.42View Equation) to Q α and replaces the parameters vα by the ghost field C α. The integral over the ghosts C α and C¯α exponentiates the Faddeev–Popov determinant det[δQ α∕ δvβ] then. It is crucial that the ghost and gauge fixing terms are invariant under the background field transformations (B.43View Equation) together with
δC α = ℒvC α, δ ¯Cα = ℒv ¯C α. (B.46 )
Finally we coupled in Equation (B.45View Equation) the ghosts to sources α j, ¯jα, for later use. The key fact now is the invariance
: { αβ α } W [𝒥 + ℒv𝒥 ] = W [𝒥 ], 𝒥 = J , j , ¯jα, ¯gαβ , (B.47 )
where ℒv is the Lie derivative of the respective tensor type. This invariance property follows from Equation (B.45View Equation) if one performs a compensating transformation (B.43View Equation, B.46View Equation) on the integration variables fαβ, α C, ¯ Cα, and uses the invariance of all but the source terms. Importantly, at this point one must assume that the formal measure 𝒟f αβ is diffeomorphism invariant.

The background effective action now is defined by

{∫ √ -( ) } Γ [f¯,σ,¯σ;¯g] = sup dx ¯g f¯αβJ αβ + σα¯jα + ¯σαjα − W [J, j,¯j;¯g ] . (B.48 ) J,j,j¯
The extremizing source configurations αβ J∗, ¯j∗,α, α j∗ are characterized by
δ --¯--Γ [¯f,σ,¯σ; ¯g] = Jα∗β[¯f,σ,¯σ; ¯g], δfαβ δ --α-Γ [¯f,σ,¯σ; ¯g] = jα∗ [f¯,σ, ¯σ;¯g], (B.49 ) δ¯σ -δ-- ¯ ¯ δσα Γ [f,σ,¯σ; ¯g] = ¯j∗,α[f ,σ,¯σ;¯g].
As usual, if W is differentiable everywhere with respect to the sources one can interpret ¯ fαβ, α σ, ¯σ α as the source dependent expectation values of fαβ, α C, ¯Cα via
¯fαβ = ⟨fαβ⟩ = √1--δW---, σα = ⟨C α⟩ = √1--δW--, ¯σα = ⟨C¯α⟩ = √1--δW-, (B.50 ) ¯g δJα∗β ¯g δj∗,α ¯g δjα∗
and Equations (B.49View Equation, B.50View Equation) are related by formal inversion. Indeed, the extremizing sources are usually constructed by assuming that Wk has a series expansion in powers of the sources with ¯g-dependent coefficients; formal inversion of the series then gives a Jα∗β[f¯,σ, ¯σ;¯g] with the property that J∗αβ[0, σ,¯σ;¯g] = 0, and similarly for the ghost sources.

It is convenient to regard Γ as a functional of ¯g αβ and g := ¯g + ¯f αβ αβ αβ instead of g¯ αβ and ¯ fαβ. We thus set

Γ [g ,¯g ,σα,¯σ ] := Γ [g − ¯g ,σα,¯σ ;¯g ]. (B.51 ) αβ αβ α α β α β α αβ
The crucial invariance property can then be summarized as
α Γ [Φ + ℒv Φ] = Γ [Φ], Φ := {g αβ,¯gαβ,σ ,¯σα}, (B.52 )
where all its arguments transform as tensors of the corresponding rank. Equation (B.52View Equation) is a direct consequence of Equation (B.47View Equation).

Finally we have to switch off the sources. Since Γ has ghost number zero α σ = 0, σ¯α = 0 is always a solution of Equation (B.49View Equation). For the metric source αβ J ∗ this is different. Within the realm of formal power series inversions ¯fαβ ≡ 0 is always a solution of J α∗β ≡ 0. Combined with the usual uniqueness assumption it is the only solution, and the “self-consistent background determination” at which the background field method aims at degenerates. Indeed, note that in ⟨f ⟩ ∗ αβ J∗,j∗,¯j the ¯g dependence drops out, as ¯ fαβ is prescribed. The expectation value of the full quantum metric, qαβ := fαβ + ¯gαβ, say, just gives back the prescribed background ⟨qαβ ⟩J∗,j∗,j¯∗ = ¯gαβ. This evidently has a somewhat perturbative flavor, although no direct reference to perturbation theory is made.

To go beyond that, we directly impose

--δ--Γ [g,¯g,0,0] = 0 iff ¯gαβ = ¯g∗[g]αβ, (B.53 ) δgαβ
as the source-free condition. It adjusts the background ¯gαβ used as a reference in the functional integral self-consistently to the dynamical gαβ, which is the average ⟨qαβ⟩ of the quantum metric. Equation (B.53View Equation) can be viewed as the vanishing of the one-point function for all g. The multi-point functions are defined by
| Γ (n)(x ,...,x ;g) =---δ---...---δ---Γ [g,¯g,0,0 ]|| . (B.54 ) 1 n δg (x1) δg (xn) ¯g=¯g∗[g]
They should contain the complete information about the system, including the state (see Section 2.3). Their precise physics meaning however remains to be understood. In the case of gauge theories which allow for a perturbative definition of scattering states, the background effective action is known to produce the same perturbative S-matrix as the standard effective action [125].

In view of Equation (B.53View Equation, B.54View Equation) one would like to introduce a functional ¯ Γ of a single metric only, whose one-point functions have stationary points. This can be done as follows. We define the final “background effective action” [156] by

¯ : Γ [g] = Γ [g,¯g∗[g],σ = 0,¯σ = 0]. (B.55 )
For the solutions of Equation (B.53View Equation) obtained by formal power series inversion one has ¯g∗[g]αβ = gα β and thus recovers the usual definition. Generally Equation (B.55View Equation) is invariant under gαβ ↦→ gαβ + ℒvgαβ, as desired, and obeys
δ¯Γ [g] ----- = 0. (B.56 ) δgαβ

B.2.4 Geodesic split, gauge theories

The background gauge invariant effective action in Section B.2.3 depend parametrically on the choice of the background gauge condition Qa. This dependence is a consequence of the field parameterization dependence of the effective actions based on a linear fluctuation background split. The geometrical approach of Vilkovisky and deWitt [68Jump To The Next Citation Point223Jump To The Next Citation Point] is designed to overcome this drawback and at least formally it produces an off-shell effective action with all the desirable properties: It is gauge invariant with respect to the background field, gauge invariant with respect to the mean of the fluctuation field, and independent of the choice of the gauge fixing surface. In brief, the strategy is to project locally onto the gauge invariant subspace and then apply the techniques of Section B.2.2. Since we shall not use this formulation here it may suffice to refer to [129] for a brief survey and to [17868223] for detailed expositions.

With these remarks we conclude our brief introduction to the background field formalism. In the context of the asymptotic safety scenario the variant from Section B.2.2 has been used in [154155] (see Section 3) and the variant from Section B.2.4 in [179Jump To The Next Citation Point133131] (see Section 4).

  Go to previous page Go up Go to next page