Original Research ARTICLE
Foliation, Jet Bundle and Quantization of Einstein Gravity
- 1Department of Physics, Hanyang University, Seoul, South Korea
- 2Department of Applied Mathematics, Philander Smith College, Little Rock, AR, USA
In Park  we proposed a way of quantizing gravity with the Hamiltonian and Lagrangian analyses in the ADM setup. One of the key observations was that the physical configuration space of the 4D Einstein-Hilbert action admits a three-dimensional description, thereby making gravity renormalization possible through a metric field redefinition. Subsequently, a more mathematical and complementary picture of the reduction based on foliation theory was presented in Park . With the setup of foliation the physical degrees of freedom have been identified with a certain leaf. Here we expand the work of Park  by adding another mathematical ingredient—an element of jet bundle theory. With the introduction of the jet bundle, the procedure of identifying the true degrees of freedom outlined therein is made precise and the whole picture of the reduction is put on firm mathematical ground.
There have been two main approaches in tackling the quantization of Einstein gravity; namely, canonical and covariant (see, e.g.,[3–5] for reviews1). At an early stage, the canonical approach was pursued within the Hamiltonian formulation, and led to the Wheeler-DeWitt equation. Later, its main theme became the so-called configuration space reduction [7, 8] that employs the machinery of differential geometry, in particular, symplectic geometry and jet bundle. Meanwhile the covariant approach followed a path within a more conventional physics framework. The main endeavors along this line were enumeration of the counter terms in the effective action [9–13] and the progress made in the asymptotically safe gravity [14–18]. It was established for 4D Einstein action that the divergences do not cancel except for one-loop; one faces proliferation of counter terms as the order of loop increases—which turns out to be typical of other gravity theories, and the theory loses its predictability.
A question has recently been raised  regarding the conventional framework of the Feynman diagram computation in which the non-dynamical fields contribute, under the umbrella of the covariant approach, to loop diagrams and appear as external states as well. The number of degrees of freedom (i.e., the number of a metric components) of a 4D metric is ten to start. One gauge-fixes the 4D gauge symmetry thereby effectively removing four degrees of freedom. This means that six metric components run around the loop diagrams. In quantization and diagrammatic analysis, one first examines the physical states of the theory (usually) through the canonical Hamiltonian analysis. In the canonical Hamiltonian analysis carried out in the ADM setup (which had been introduced with the goal of separating out the dynamical degrees of freedom), it was revealed that some of the metric components, named the lapse function and shift vector, are non-dynamical, a result that is well known by now. Therefore, only two out of ten components are dynamical. An approach in which all of the unphysical degrees of freedom are removed has been proposed with the observation [1, 2, 19] that the non-dynamism of the shift vector and lapse function leads to effective reduction of 4D gravity when expanded around relatively simple vacuua (A more precise characterization of these vacuua will be discussed below).
The approach of Park [1, 2, 19] has features of both the canonical and covariant approaches: it employs the 3+1 splitting as does the canonical approach and a fixed background is considered as in the covariant approach. The analysis in Park  was carried out in the ADM formalism. After starting with the ADM Lagrangian, the (more or less standard) Dirac's Hamiltonian formulation was employed, and the Lagrangian setup was revisited afterwards. Based on the fact that the lapse function and shift vector are non-dynamical, it was proposed in Park [1, 19] that the shift vector be gauge-fixed by using the 3D residual symmetry that remains after the 4D bulk gauge-fixing through the de Donder gauge. The shift vector gauge-fixing introduces a constraint—analogous to the momentum constraint in the Hamiltonian quantization—in the ADM Lagrangian setup (The method of Park  is applicable to a class of relatively simple backgrounds. A more precise characterization will be given in Section 4 below). The relevance of foliation theory (reviews on foliation theory can be found, e.g., in Molino , Moerdijk and Mrčun , Gromoll and Walschap, Rovenskii , Candel and Conlon , and Montano ) was recognized while examining possible implications of the shift vector constraint; it was realized that the shift vector constraint implies that the foliation of the spacetime should be of a special type known as Riemannian in foliation theory. Interestingly, Riemannian foliation admits another special foliation, dual totally geodesic foliation, a result relatively recent in the timeframe of mathematics . One of the facts that makes these special foliations interesting is the presence of the so-called parallelism , and in the context of the totally geodesic foliation under consideration the parallelism is “tangential”  and has the associated abelian Lie algebra.
The proposal in Park  has a complementary, more mathematical version  that relies crucially on this duality between Riemannian foliation and totally geodesic foliation of a manifold (see Figure 1). In particular, a totally geodesic foliation has the so-called tangential parallelism and the corresponding Lie algebra (the duals of the transverse parallelism and its Lie algebra of the Riemannian foliation ). In the case under consideration the Lie algebra is abelian, and it was proposed in Park  that the abelian symmetry be associated with the gauge symmetry that allows the gauge-fixing of the lapse and shift. In other words, the lapse and shift gauge symmetry should somehow be related to the action of group fibration that generates the “time” direction (i.e., the tangential parallelism; see below). The gauge-fixing then corresponds to taking the quotient of the bundle by the group, bringing us to the holographic reduction2.
Figure 1. Duality in foliations: the solid lines in (B) and (C) represent the base (i.e., the space of the leaves) in each case. (A) The original manifold, (B) Riemannian foliation, (C) dual totally geodesic foliation.
The potential significance of this abelian algebra for the physics context becomes much clearer once the whole mathematical setup is reconstructed in the framework of jet bundle theory (see, e.g., [27–29] for reviews of jet bundle theory). For example, the jet bundle setup brings to light that the abelian symmetry is a gauge symmetry. Here, we expand the work of Park 3 and elaborate on the mathematical picture by adding another ingredient, a jet bundle. The key result is that the proposal in Park  that the abelian symmetry be associated with the gauge symmetry now is on firmer ground, and we have a refined confirmation of the mathematical picture of the reduction presented in Park . In particular, the modding-out procedure, which is central for the mathematical reduction picture but only qualitatively outlined in Park , is made quantitative and precise.
The rest of the paper is organized as follows
In the next section we start with an overview. We first compare the present approach with some of the existing approaches. Because the present work employs the mathematical machinery of advanced differential geometry, we also present a pictorial (but logical) account before engaging with the formal mathematics. The review of necessary elements of differential geometry in Section 3 covers the theory of foliation (that has been fruitful ) and jet bundle. The role of the jet bundle theory will be mostly conceptual in this work. The relevance of the jet bundle is that it is the object, as we will see below, whose group quotient yields the degrees of freedom of the first order Lagrangian4, and this is crucial for justifying the proposal in Park  of the abelian algebra as the gauge symmetry. Conceptual though it may be, the addition of the jet bundle theory will make the whole mathematical picture far more geometric and clearer than otherwise. The addition of the jet bundle theory will also have several interesting implications that we will discuss in the final section. In Section 4, which is the main part of the present work, we refine and expand the analysis of Park [1, 2] with the combined setup of foliation and jet bundle theories. We first review the reduction by following a path slightly different from Park  in Section 4.1. The accounts in Section 4.1 and Park  are both within the conventional physics framework. The complementary and more mathematical account is given in Section 4.2 where we explain precisely how the quotient by the abelian group associated with the totally geodesic foliation should be performed. Taking the quotient is the step that corresponds to defining the physical states by a lapse function constraint in the physical analysis, a central step that led to reduction and renormalizability. The quotient was first suggested in Park  in a qualitative, less explicit manner. With the addition of the jet bundle, the meaning of the quotient becomes much clearer and quantitative. We conclude with discussions of several issues and future directions in Section 5. In particular, we present a preliminary discussion of quantization around a Schwarzschild background as one of the future directions. Appendix A and B contain a concise review of the result in the jet bundle and derivation of Equation (23) needed in the main body.
Since the claim of renormalizability in Park  is quite non-trivial we recapitulate some of the efforts made to substantiate the claim. To that end we first compare and contrast the approach of Park  with the standard canonical quantization. As stated in the introduction the approach of Park  has ingredients of the covariant quantization as well; we highlight what allows one to draw a conclusion different from the covariant method when it comes to renormalizability. We also comment on perspectives related to loop quantum gravity .
In Park , the abelian Lie algebra associated with the totally geodesic foliation was envisaged as the gauge symmetry of the system, which was essential for the mathematical picture of the reduction. The main goal of the present more systematic and refined account of Park  is to set the view of the abelian Lie algebra as the gauge symmetry (and thereby the reduction picture itself) on firm mathematical ground. As we will see in Section 4, the modding-out procedure outlined in Park  can be made precise with the setup of the jet bundle. However, the required element of jet bundle theory is abstract and perhaps not too familiar to physicists. For this reason it will be desirable to have a more informal way of understanding the mathematical picture: we present a pictorial account in the second subsection below.
2.1. Comparison with Existing Approaches
Various reductions in degrees of freedom were reported in the past in York , Moncrief , Fischer and Moncrief , Gay-Balmaz and Ratiu , and Gerhardt , with which the works of Park [1, 2, 19] share certain features. All of these works employed the usual 3+1 splitting in which the genuine time coordinate was separated out. After expanding on the fact that the hypersurface can serve as a transverse and traceless spin-two representation of gravity, a conclusion was drawn in York  that the spacelike hypersurface specified up to a conformal factor can be taken as the true degrees of freedom. In Moncrief , Fischer and Moncrief Fischer:1996qg Hamiltonian reduction was carried out on a class of 4D manifolds with certain topological restrictions and it was shown that the reduced Hamiltonian was given by the volume of the hypersurface. Intensive and extensive use was made of jet bundle theory in Gay-Balmaz and Ratiu . Reduction of a 4D Lagrangian to 3D was established with a certain crucial assumption in a general field theory context. These works concern the issue of the true degrees of freedom but did not directly address quantization of gravity. To address quantization, one should deal with the constraints, the so-called spatial diffeomorphism and Hamiltonian constraints (We have called these constraints the shift vector and lapse function constraints, respectively, in the context of the Lagrangian analysis). In our recent works [1, 2], we employed a 3+1 splitting with one of the spatial directions separated out. The strategy for reduction was clearly spelled out: removal of all of the unphysical degrees of freedom from the external states. We have addressed the quantization issue by solving the constraints (A solution of the diffeomorphism constraint—which has been one of the major obstacles in gravity quantization—was previously attempted in Gerhardt ). The implication of the solution of the shift vector constraint has been brought out in Park  by foliation theory. An explicit (and slightly different) procedure of quantization has been presented in subsequent works [19, 36, 38].
Let us recall the obstacle to renormalizability in the conventional covariant approach. To avoid unnecessary complications we mostly restrict to the pure gravity (i.e., no matter) in a flat background. Cancellation of various loop divergences requires counter-terms constructed out of the Ricci scalar, Ricci tensor and Riemann tensor. Suppose that somehow only the Ricci scalar and tensor but not the Riemann tensor were required. One can then introduce a metric field redefinition to absorb the counter-terms  (this is possible because the Ricci scalar and tensor are proportional to the field equation; as well known, counter-terms proportional to the field equations can be absorbed by field redefinitions in general) and make the theory renormalizable (The renormalizability is more complicated than usual cases in the sense that it requires a field redefinition unnecessary in a simply renormalizable theory in which only shifts in the parameters are required). Although the Riemann-tensor-containing terms do appear among the counter-terms, the reduction to 3D makes it possible to reexpress it in terms of the Ricci scalar and tensor. One may say, therefore, that the reduction is crucial to renormalizability. The reduction was originally proposed in Park  and is reviewed in Section 4.2 in its slightly modified form. The key observation for the reduction was the fact that the residual 3D gauge symmetry can be employed to gauge away the non-dynamical fields such as the lapse function and shift vector (or the matter fields when present). This is in additon to the standard bulk gauge-fixing. A detailed discussion of the 3D residual symmetry can be found in Park . The actual procedure of renormalization was also initiated in Park  where the importance of using the traceless propagator obtained by gauge-fixing of the trace piece was noted. The gauge-fixing of the tracepiece, which is one of the unphysical modes, was more systematically addressed in Park  for a flat background and is generalized in Park  to a black hole background. A refined background field method was introduced in Park  and further applied in Park  to compute various one-loop counter-terms5.
The method of Park  has an undesirable feature: it has only 3D covariance (at the final stage once the physical state condition is enforced in, say, the 1PI effective action). However, what the approach is to the (future 4D) covariant approach should be what the lightcone quantization is to the BRST quantization, e.g., in string theory. In addition, the physical states have not been constructed in terms of gauge-invariant operators, unlike in loop quantum gravity. Dealing with gauge-invariant objects has certain advantages (For example, gauge choice independence is guaranteed; pathology associated with incomplete gauge-fixing could be avoided, at least in principle) Again the approach of Park  seems analogous to the lightcone quantization of string theory: while it should be a quickest way to obtain the physical spectrum it may be less elegant than more sophisticated methods.
It should presumably be possible to translate the reduction observed in Park  into the language of loop quantum gravity (which may add additional insights to, e.g., the task of unraveling the identity of the states constrained by diffeomorphism and Hamiltonian constraints within the formalism of loop quantum gravity). Once this is done the present approach may benefit (and thereby acquire higher level of elegancy) from the gauge-invariant ingredient of loop quantum gravity. Also, at some point in the development of the present approach, the formalism of the boundary state of loop quantum gravity  may be useful. Eventually it would be desirable to quantize gravity in a gauge invariant and fully covariant manner.
2.2. Reduction: Pictorial Account
It was shown in Park  that the physical states relevant for quantization around a flat background can be described by the 3 by 3 “spatial” part of the original 4D metric with only 3D-coordinate dependence (The reduced theory is not a genuine 3D theory in the sense that, unlike a genuine 3D theory, there are two surviving degrees of freedom inherited from the 4D theory). The result was obtained through the field theoretic techniques. One can have a complementary view of the reduction by combining the foliation and jet bundle theories.
Jet bundle theory has been extensively used in the configuration reduction approach. The concept of a jet is a generalization of a tangent vector. A vector tangent to a manifold can be defined as an equivalence class of curves passing through a point. A first order jet, which we will mostly consider in this work, is defined as an equivalence class of sections that have the same first order Taylor expansion at the point under consideration.
We point out two facts about a jet bundle to motivate its use6. Consideration of tangent vectors is sufficient for the quantum mechanical variational calculus of particle dynamics. Once one considers a (quantum) field theoretic system, the jet bundle provides a naturally generalized setup for the variational calculus. The second fact for the relevance of jet bundle theory is gauge symmetry-related. For a reason that will become clear, we employ the Palatini formalism of general relativity which is also called the first order formalism. The degrees of freedom of the Palatini formalism are the connection fields (and the metric). The connection in mathematics is usually defined as a map that projects the tangent space of the principal bundle onto the horizontal (or vertical) subspace of the tangent space. There is another way of realizing the connection and that is in terms of the jet bundle: a connection can be viewed as a section of the first order jet bundle. Consider the jet bundle J1P (a formal introduction will be given in one of the appendices; for now it is sufficient to view it as a certain bundle over the base P, the total space of a principal bundle). The connections that we need belong to a special class of connections called the principal connections. The principal bundle relevant for us is the linear frame bundle of the 4D manifold M4D, i.e., P = LM4D. As we will review below, one gets a principal connection (and the connection fields, the degrees of freedom of the Palatini formalism) once J1P is modded out by the gauge group G, which is GL(4) in the present case. More generally, the configuration space for an arbitrary principal bundle is given by modding the jet bundle by the gauge group, J1P∕G. It is well known in the mathematical literature that the resulting space is the space of connections, P, namely,
In other words, the bundle J1P is the object whose group quotient yields the degrees of freedom of the first order Lagrangian (Of course, a gauge-fixing—which corresponds to choosing a local trivialization—is to be performed on these degrees of freedom).
The Riemannian foliation condition obtained in Park  implies that the original 4D manifold itself—which is the base for the frame bundle—can be viewed as an abelian principal bundle over a 3D base B3D with geodesic fibers. In other words, the original 4D manifold M4D can be seen as the total space of a U(1) principal bundle. The central issue then is what to do with this abelian gauge symmetry.
The extra abelian gauge symmetry has arisen from constraining the configuration space. Motivated by the physical analysis in Park  and the fact that the U(1) symmetry should be a gauge symmetry, it was proposed in Park  that the configuration space be modded out by the U(1) symmetry. Given that the unconstrained configuration space corresponds to , we propose in Section 4 that the quotient by U(1) should be such that it reduces the 4D bundle M4D to its 3D base B3D7. Then the whole jet bundle will reduce to , as shown in Figure 2.
3. Foliation and Jet Bundle
In this section, we review necessary elements of differential geometry [45–49] and significantly strengthen the mathematical foundations laid out in Park  in support of the observation in Park . The needed elements of differential geometry are foliation and jet bundle theories. Below, we will make some efforts to relate various mathematical content to the physics contexts.
One of the things that we will need in the analysis below is a commutator of the Lie derivative and covariant derivative. By using the definitions of the Lie and covariant derivatives, one can show the following relation :
where X, Y are vector fields and T is a tensor field. The bold-faced letters represent the coordinate-free quantities. As commented in Kobayashi and Nomizu  it is only necessary to prove Equation (2) when T is a scalar or vector: the general tensor case follows. We illustrate the proof by taking T to be another vector field T = Z:
where we have used the identity XY = [X, Y] in the last equality; φt denotes a one-parameter group of diffeomorphisms.
3.1. Riemannian vs. Totally Geodesic Foliation
We highlight in this section that there are two special types of foliation that are dual (General aspects of foliation theory can be found in, e.g., [20–24]). They are the so-called Riemannian foliation (also called metric foliation) and totally geodesic foliation. We will see that the condition obtained in Park  by examining the shift vector constraint can be interpreted as the condition for the foliation of M4D to be Riemannian. A Riemannian foliation admits the totally geodesic foliation and vice versa. The connection between gauge-fixing and reduction becomes clearer in the context of the totally geodesic foliation.
A globally hyperbolic spacetime that we focus on in this work8 admits a foliation of a family of hypersurfaces with the base manifold parameterized by a “time” coordinate x3. Let us choose a coordinate system such that a vector X takes
The vector can be decomposed according to
where is the unit vector normal to the hypersurface and ∂m is a vector tangent to (see Figure 3). The fields n and Nm are called the lapse function and the shift vector, respectively. The components of the metric tensor gμν≡g(∂μ, ∂ν) are given in the conventional notation by
where the far right-hand side is the ADM parameterization of the metric components. The foliation has 3D leaves with metric denoted by γmn. The space of the leaves (i.e., the base manifold) is parameterized by x3.
Intuitively, a Riemannian foliation is such that the metric on a leaf does not change as one moves along the transverse direction(s), a property called the transverse parallelism. A precise definition of Riemannian foliation can be introduced in terms of the horizontal component of the metric tensor, gh: given X, Y∈𝔛(M) (𝔛(M) denotes the set of all vector fields on a manifold M),
where Xh, Yh denote the horizontal component of X, Y. The necessary and sufficient condition for the foliation to be Riemannian is
This condition is a statement about invariance of the horizontal metric under the flow of vertical vector fields.
It is known in the mathematical literature that the Riemannian foliation admits the dual totally geodesic foliation. A totally geodesic foliation is characterized in terms of the second fundamental form. The second fundamental form K, also called the extrinsic curvature, of a given hypersurface is defined by
where A, B represent the vectors tangent to the hypersurface. In a local coordinate system, this takes
in terms of the bulk coordinates xμ and hypersurface coordinate ym. After a series of manipulations, one can show that Kmn can be expressed in the form given in Equation (17) below in terms of the lapse function and shift vector.
The aspect of foliation theory most relevant for the present work is the parallelism(s) of the totally geodesic (and Riemannian) foliation(s). Basically, the parallelism of a totally geodesic foliation is a set of vector fields of , the leaves. The number of the vector fields is equal to the dimensions of a leaf; it is one for the foliation under present consideration.
3.2. Connection as Section of Jet Bundle
The usual definition of a connection as a projection map on the tangent bundle TP is useful for certain purposes. However, the realization of a connection as a section of a jet bundle is more convenient for certain other purposes. The first order jet, which we will focus on, is a generalization of a tangent vector (recall that a vector tangent to a manifold can be defined as an equivalence class of curves passing through a point): it is defined as an equivalence class of sections that have the same first order Taylor expansion at the point under consideration. The first jet bundle of a principal bundle yields, upon being modded out by the gauge group, the bundle of the principal connections. Here we present a short introduction to a jet bundle and how a connection is realized in the jet bundle context.
A second order jet bundle might be more suitable for describing the usual form of the Einstein-Hilbert action. Instead of turning to the second jet bundle, we will consider, for the mathematical analysis in Section 4.2, the Palatini formulation of general relativity in conjunction with the first order jet bundle. The Palatini formulation is also called the first order formulation, and consideration of the first order jet bundle is sufficient. The degrees of freedom of the Palatini action are the metric components and the connection fields that become identified with the Christoffel symbol after use of their field equations.
The result in jet bundle theory that will be used to build the geometric picture in Section 4 is the well-known fact:
where J1P∕G represents the quotient by the group G of the first order jet bundle of the principal bundle under consideration, J1P. The right-hand side, P, stands for the bundle of the principal connections. In Appendix A the relation above will be derived by mostly following ; the relation Equation (12) will be applied to the reduction scheme that we propose in the next section.
4. Reduction: Analytic Account
In this section, we put together all the ingredients reviewed in the previous sections, and present the way in which the reduction takes place in the resulting setup9. More precisely speaking, we reinforce and make precise the mathematical picture of Park  by the jet bundle theory. This is done by providing a mathematical foundation to the view in Park  of the abelian parallelism as the gauge symmetry.
In Section 4.1, we present an analysis of the ADM Lagrangian that is slightly different from that of Park  in that here the γmn field equation is utilized. The ADM formalism employs the 3+1 splitting of the coordinates, and it is usually the time coordinate that is separated from the rest. The focus of Park  and the present work is separation of one of the spatial coordinates . If one considers the genuine time direction (as opposed to, say, a radial coordinate) to be a split direction, then it is physical to consider a globally hyperbolic spacetime since a globally hyperbolic spacetime has causally nice properties (Since most of the interesting spacetimes are globally hyperbolic and the restriction to a globally hyperbolic spacetime is of a topological nature from a mathematical point of view, it will be a very mild restriction). However, the meaning of a “globally hyperbolic spacetime” is only an analogy if the split direction is spatial although the techniques that we will employ apply regardless. As a matter of fact, the condition of a “globally hyperbolic spacetime” is not strictly necessary10. All we need is the condition that the spacetime is of Riemannian foliation; then the dual totally geodesic foliation will follow.
Although quantization of gravity in a flat background was considered in Park , it should be possible to apply the method to a class of relatively simple backgrounds such as stationary black holes. The method should also be applicable to a de Sitter spacetime in the static coordinates (It might be applicable to an anti-de Sitter spacetime as well, as a preliminary analysis indicates. However, the usual issue of whether or not a S-matrix exists is expected to cause complications). The method may not be applicable (at least not in a straightforward manner), e.g., to a generic time-dependent background for the reason that we will comment on below. The ADM formulation may not be convenient and/or suitable for such a manifold anyway (see, e.g.,  for a related discussion).
In Section 4.2, we will explore where the combined inputs of physics and mathematics take us once the totally geodesic foliation is utilized in the jet bundle setup. As first commented in Park , the extra abelian gauge symmetry arises from constraining the configuration space through the shift vector constraint. Motivated by the physical analysis in Park  and the fact that the U(1) symmetry should be a gauge symmetry, it was proposed in Park  that the configuration space be “modded out” by the U(1) symmetry as well as the usual quotient by the symmetry group. Compared with Park , a new ingredient is the jet bundle. We propose the precise way in which the quotient by U(1) is to be performed and explain the new insights offered by the jet bundle.
4.1. Analysis in the ADM Setup
In this section, we review the quantization procedure in a flat background . Consider the 4D Einstein-Hilbert action
and quantization in the operator formalism. We split the coordinates into
where μ = 0, .., 3 and m = 0, 1, 2 (One can choose the Cartesian coordinate system xμ = (t, x, y, z) with x3≡z for a flat background). By parameterizing the 4D metric [53, 54] in the the 3+1 split form, one gets
where n and Nm denote the lapse function and shift vector, respectively. For a flat background, which we are considering, the background part of the lapse function, n0, takes n0 = 1. As we will show the fluctuation part is absent in the gauge chosen below. The action takes
with the second fundamental form given by
where ∂3 denotes the Lie derivative along the vector field and ∇m is the 3D covariant derivative constructed out of γmn. The shift vector and lapse function are non-dynamical and their field equations are
These should be imposed as constraints that are the analogs of the spatial diffeomorphism and Hamiltonian constraints of the Hamiltonian analysis. Although we have a perturbative analysis in mind in the later stage11, most of the equations below will be kept at the full non-linear level (Physical significance of some of the equation will be clearer in the non-linear form). Nevertheless, one should envisage in several places the splitting of a field Φ (≡ n, Nn, γmn) into the background and fluctuation:
The 4D bulk gauge symmetry can be fixed by imposing the de Donder gauge. The bulk gauge fixing leaves 3D residual gauge symmetry (see the discussion in Park ); by using this 3D symmetry, the shift vector can be gauged away
As far as the perturbative scattering analysis, say, in Park  is concerned, this gauge-fixing means that the fluctuation part of Nm is removed (Note that the flat spacetime is such that the background part of Nm is absent). Substitution of Nm = 0 into Equation (18) leads to
Its derivation has been quoted in the appendix for convenience (This with the non-dynamism of n implies that one can set n = n0 = 1 (this corresponds to the gauge-fixing of the fluctuation part, ñ, of n≡n0+ñ with the background part n0 set to its flat background value, n0 = 1). The condition Equation (23) can be rewritten as
This is precisely the condition Equation (8) for the foliation of M4D to be Riemannian (Note that the lapse function n corresponds to the (x3, x3) component of gh).
We will come back to this below but for now let us consider the form of the action (Equation (16)) and re-derive, by using a slightly different method, one of the equations obtained in Park :
which implies reduction of the 3 by 3 sector of the 4D metric components to 3D. In the next subsection, we will compare the way in which this reduction has taken place with the corresponding reduction in the mathematical analysis based on the jet bundle setup.
Let us first recall that the full non-linear bulk de Donder gauge  reads, in terms of the ADM fields,
On account of the first equation, the constraint Equation (23) implies
The γmn field equation of Equation (16) can be obtained by taking the variation with respect to γmn (we have set n = 1, Nm = 0)13:
where the second line and third line come from and , respectively. By using
and a similar expression for , the field Equation (28) simplifies to
Multiplication of γmn yields
Combining this with the n-field constraint Equation (19) implies
One of the de Donder gauge conditions yields K = 0, hence we arrive at Equation (25) through a different route:
To paraphrase, we have combined the lapse function constraint with a field equation and a gauge-fixing condition; this step is a part of the legitimate procedure of determining physical states. This way of reaching the reduction is complementary to that of Park  and reassures the analysis therein. An issue that concerns the full non-linear form of the de Donder gauge Equation (26) is worth noting. The form Equation (26) was imposed for quantization around a flat background, which was the focus of Park . The gauge condition should be modified once one considers quantization around a Schwarzschild black hole background. This can be seen from the fact that a Schwarzschild black hole background does not satisfy Equation (26) (whereas a flat background does). One should investigate whether it is possible, say, to modify the de Donder gauge appropriately in order to establish the reduction in the case of a Schwarzschild black hole. We will have more on this in Discussion.
4.2. Reduction Via Totally Geodesic Foliation
The analysis of the previous subsection, most of which was first presented in Park , was carried out in the framework of the conventional techniques of (quantum) field theory, and did not employ the mathematical duality between the Riemannian and totally geodesic foliations. A more mathematically oriented viewpoint was taken in Park . The addition of the jet bundle element not only furnish the view of the abelian algebra as the gauge symmetry with a methematical foundation but also gives enlightening geometric insights to the whole picture as we will now discuss.
Let us start with a 4D manifold M4D, and consider a GL(4) principal bundle LM4D, the bundle of linear frames14. Consider the first jet bundle of this bundle; taking a quotient by G will lead to the principal connection as reviewed in Section 3. The connection fields will be four-dimensional; i.e., they will depend on the 4D coordinates at this point. In the analysis of the previous subsection we did not make use of the U(1) gauge symmetry, but rather relied on various constraints to reach the reduction. It should be possible to repeat the analysis of Park  that was reviewed above in the setup of a jet bundle in a more mathematically sophisticated manner, regardless of whether or not an advantage is taken of the existing totally geodesic foliation.
Regarding the approach in which the duality is not taken advantage of, one would start with the jet bundle and consider
One would then proceed and gauge-fix some of the metric components. Although the abelian transverse parallelism is present after imposing the shift vector constraint, its presence is not a conspicuous feature of the system in this approach simply because one does not make use of it. The final outcome will be the same: the physical configuration space will be reduced to the 3D base manifold.
It is through the approach in which the dual totally geodesic foliation is taken advantage of that the virtue of the jet bundle can really be appreciated. Let us now see how the dual totally geodesic foliation figures into the picture and leads to reduction of the connection fields to 3D.
In the dual picture, the original Riemannian foliation of codimension-1 can be viewed as the totally geodesic foliation of codimension-3. In other words, the manifold can be viewed as 1D fibration over the 3D base, and the 1D fibration will be totally geodesic. A totally geodesic foliation carries Lie algebra , which is the so-called tangential Lie algebra (or the dual of the transverse Lie algebra); in the present case, the Lie algebra is abelian.
Before we spell out the precise quotient procedure, let us note that there exists a subtlety in conducting the procedure. The subtlety lies in the fact that we are using the Palatini formalism, which in turn is due to our preference for employing the first (instead of the second) order jet bundle. The point is that the Riemannian foliation condition was obtained from the usual (i.e., second order) Lagrangian in the ADM form. Therefore, the step of modding out by U(1) seems justified only after making the Lagrangian partially on-shell by substituting the field equation of the connection field. But with this, the Lagrangian becomes second-order and seems potentially in conflict with the use of the first-order jet bundle. This seems to be a delicate issue15 and we will have more comments on this subtlety in the discussion section; for now, we set it aside and focus on the precise manner in which the procedure of the quotient should be performed on the first-order jet bundle.
The symmetry associated with U(1) tangential parallelism is a gauge symmetry of the constrained space, therefore, the constrained configuration should be modded out by the symmetry. In other words, once the space is constrained by the shift vector constraint, one should consider (say, in the path integral) only the 4D manifolds M4Ds that are bundles of a U(1) fibration over the 3D base. The flow of the U(1) Lie algebra should be associated with the “time” and viewing the U(1) symmetry as a gauge symmetry is consistent, from this standpoint as well, with the well-known fact in general relativity that time-evolution is a gauge artifact.
Finally the central task: how the quotient procedure of the jet bundle is to be performed. Once one considers the constrained space, the modding-out by U(1) should be carried out on the 4D manifold M4D itself. This will reduce M4D to its base B3D (We have used the fact that the quotient of M4D by U(1) will be such that it reduces the 4D bundle M4D to its 3D base B3D since M4D itself can be viewed as a U(1) principal bundle in the dual totally geodesic picture). Now with the original jet bundle reduced to the jet bundle over the 3D base, one gets the principal connection that is defined over the 3D base by taking the quotient by GL(3) (see Figure 2).
In this work, we have expanded and refined the work of Park  by introducing jet bundle theory. The connection—defined as a map from the tangent space of the principal bundle to the horizontal (or vertical) space—can also be realized as a section of the first order jet bundle. The first order jet bundle has been considered in conjunction with the Palatini formalism of general relativity. The U(1) symmetry should be modded out because it is now evident that it is a gauge symmetry of the reduced configuration (i.e., reduced by the shift vector constraint). We have presented an enlarged geometric picture of the reduction: the reduced physical configuration space is obtained by considering M4D∕U(1) = B3D as the base space and considering the principle bundle, LB3D and the jet bundle, .
With the present mathematical version of the reduction, one may say that the reduction phenomena is not limited to a configuration governed by the Einstein's equation but is a more general phenomenon occurring to a Riemannian manifold with a special foliation, the Riemannian foliation.
In the main body, we have often referred to the analysis in Park  as a physical approach and the one in Park  as a more mathematically oriented approach. In fact, it may not be a matter of a physical vs. mathematical approach; a more proper view should be that they are the dual approaches in how one handles the quotient by U(1). It should be possible to repeat the analysis in Park  in a jet bundle setup. One would start with and consider
Gauge-fixing the lapse function and shift vector amounts, in effect, to carrying out the quotient by U(1).
In the Palatini formalism, use of the the connection field equation yields the usual second order action. Therefore, modding out by U(1) should be viewed as going on-shell (on-shell in the sense that the connection field equation is used). There should be a sense (on which our analysis in the main body has relied) in which using Palatini formalism and modding out by U(1) can be taken as to “commute.” This is also indicated by the following fact. Instead of using the field equation to relate the Christoffel to the metric, rely on the metric compatibility condition which one imposes anyway.
There are several future directions16:
It should be possible to achieve the reduction within the usual second order formalism that has been avoided for minimal formalism in this work. The setup based on the second jet bundle will not have the subtlety present in the setup of the first order jet. In that setup, one would consider . Presumably, this space will not form a new space but rather correspond, in the physical terms, to an extra derivative acting on the Christoffel symbols17. Here again the quotient procedure will reduce M4D to B3D. Making this procedure more precise with an introduction of the second jet would be of some interest.
It should be of some interest to identify the U(1) symmetry within the conventional Lagrangian field theoretic setup. This would require examination of various commutators (or Poisson/Dirac brackets) among the fields and constraints. Once identified, it will be possible to make the connection between the approaches of Park  and Park  more concrete. From various indications and the analysis so far (see  for a recent discussion), the abelian symmetry should be identified with the translation along the x3 direction, the “vertical” lines in Figure 1C. The quotient procedure corresponds to imposing a physical constraint such that the physical states are annihilated by the generator, the “Hamiltonian.” The crucial point that brings the reduction is that once the shift vector constraint is enforced, the Hamiltonian becomes identical to the lapse function constraint. The mathematical picture hinges on the condition of the original manifold being Riemannian. In this sense it indicates toward the possibility that the reduction may take place in cases in which a gauge different from the synchronous-type gauge is taken, and it would be interesting to explore the most general condition for reduction to occur.
will be the primary interesting direction. Although our focus has been quantization around a flat background, we believe the present method will apply to other relatively simple backgrounds such as a Schwarzschild's. The criterion for applicability of the present method will be whether or not the background under consideration is consistent with the shift vector constraint. Once the background is consistent with the constraint, we believe that the presence of the totally geodesic foliation suggests that reduction would take place one way or another (The same seems to be strongly indicated by the configuration reduction approach ).
In the case of a Schwarzschild background, the radial direction will be separated out: x3≡r. The quantization around this background is likely to be more subtle than the quantization around a flat background. One of the necessary steps should be a modification of the non-linear form of the de Donder gauge since the Schwarzschild background does not satisfy this condition. One may try the following modification,
where the right-hand side represents evaluated at the Schwarzschild solution. At the linear level, this choice leads to the usual form of the curved space de Donder gauge used in perturbative analyses. Also, we do not expect to get but instead an appropriately modified expression.
Finally, the quantization proposal of Park  is subject, in principle, to the issue that any reduced space quantization faces: in general, gauge-fixing can be subtle. For example, it was noted that the reduced space quantization does not lead to the same physics as Dirac quantization [56, 57] (and refs therein). This was demonstrated by taking an example in which the first class constraint was not associated with the gauge symmetry. We are not aware of any work in which a similar conclusion was drawn for a theory with a gauge-symmetry inducing a first class constraint; it will be worthwhile to look into the issue. One possibility is that the gauge-fixing sensitiveness might have been caused by incomplete gauge-fixing: for example the presence of the trace mode of the fluctuation metric . As a matter of fact, we believe that invesitgation of potential troubles by the trace mode should also be worth in other contexts such as massive gravity.
The author confirms being the sole contributor of this work and approved it for publication.
Conflict of Interest Statement
The author declares that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
3. ^The work of Park  was the result of the efforts, while initially unaware of any of the works of York , Moncrief , Fischer and Moncrief , Gay-Balmaz and Ratiu , and Gerhardt , to come up with an independent assurance of the claim in Park . The central motivation and focus of the present work is to further justify the quotient procedure proposed in Park , and we believe that the jet bundle setup achieves that. To recapitulate, the main goal of the present work is to reinforce the mathematical picture of the reduction in Park  by adding the element of jet bundle theory. As for the jet bundle theory, it is the relevance of the jet bundle that we focus on (No new result will be added to the jet bundle theory itself). Once the reduction is established [physically  or mathematically  (and present work)], the renormalizability follows (see, e.g., ). The explicit counter-term analyses have been presented in Park  (and more recently in Park ) (For that, the standard perturbative quantum field theoretic techniques were employed).
4. ^There exists a subtlety in conducting the quotient procedure; this subtlety lies in the fact that we are using the Palatini formalism, which in turn is due to our preference for employing the first (instead of the second)—order jet bundle. As we will comment later, use of the second-order jet bundle theory would render the use of the Palatini formalism unnecessary as well as remove the subtlety.
7. ^In essence, it must be possible to understand the modding-out procedure along the line of the symplectic quotient of the configuration reduction approach [7, 8, 33] once the relevane of the totally geodesic foliation is understood.
8. ^As will be discussed later, focus on a globally hyperbolic spacetime is a matter of convenience but not a strict requirement.
9. ^In this work we do not keep the mathematical rigor at the same level required for mathematics literature. For example, the transverse parallelism of Riemannian foliation was originally announced for a compact manifold . Although the same is true for a non-compact manifold, some of the nice properties of Riemannian foliation are only for a compact manifold (See, e.g., Nozawa and Prieto ). Generalization of the Molino's result to non-compact cases seems to be a fairly recent research topic in foliation theory. Also, we are cavalier about the difference between a Riemannian manifold and a Lorentzian manifold.
12. ^For a generic time-dependent background, there are several things that may prevent the present method from being applicable. First of all, the ADM formalism may not be convenient or suitable for such a spacetime. Even if it is, there is a question of whether or not the fixing in Equation (21) would be legitimate. Not unrelated to this, a coordinate system consistent with Equation (23) must exist for the applicability.
13. ^For a black hole background, this condition and the non-linear de Donder gauge conditon Equation (26) should be modified. We will expound on this in the Section 5.
14. ^Strictly speaking, the connection that appears in general relativity is an affine connection and therefore, one should consider the affine extension of the frame bundle. However, we will just consider a linear frame bundle because there is, as well-known, an isomorphism between the linear connections and affine connections.
15. ^However, we do not believe that this issue is a genuine problem: we are just being absolutely careful. Moreover, use of the second jet will cure the problem as we will comment in the discussion.
17. ^I thank Ratiu and Fatibene for sharing their expertise on this matter.
18. ^The covariant derivative ∇a is three-dimensional whereas the Lie derivative ∂3 is four-dimensional. This potentially poses a subtlety in applying Equation (3). Conceptually speaking, the action of the Lie derivative on the 3D covariant derivative will be well-defined since the Lie derivative is based on the one-parameter family of group transformations that should have well defined action on the 3D quantities. More quantitatively, it is possible to understand the 3D covariant derivative as arising from the 4D one through projection that is implemented by as indicated (It should be possible to reach the same conclusion in the context of the coordinate-free analysis. To that end, one would consider a curve horizontally lifted to the total space built on the 3D spacetime. Still another coordinate-free method would be to use the projection operator defined in Gourgoulhon : it is denoted by and a coordinate-free version of ). The relations between the 3D and 4D quantities become simplified partially due to our simply adapted 3D coordinates, . In other words, the second term of the far right-hand side of Equation (3) vanishes for a simply adapted 3D coordinate system such as the present one. The relation Equation (B.1) would be modified according to that second term in general.
14. Weinberg S. Ultraviolet divergences in quantum theories gravitation. In: Hawking S, Israel W, editors. General Relativity, an Einstein Centenary Survey. Cambridge: Cambridge University Press (1979). pp. 790–831.
58. Gourgoulhon E. 3+1 formalism and bases of numerical relativity. gr-qc/0703035 [GR-QC]. Available online at: http://arxiv.org/pdf/gr-qc/0703035.pdf
A. Jet Bundle and Derivation of Equation (12)
In this appendix the derivation of Equation (12) will be presented for self-containedness of the present work; we will mostly follow the mathematical account in Fatibene and Francaviglia .
Consider a principal bundle = (P, M, π, G) where P is the total space, M is the base, π is the projection and G is the standard fiber. Let us denote by Γx() the set of all local sections of whose domain contains x∈M. Let us introduce an equivalence class by a criterion of having the same first order Taylor expansion at x∈M. The equivalence class associated with the section ρ of Γx() will be denoted by . Let us denote by the quotient space of all equivalence classes (~ denotes the equivalence class of ),
The first order jet bundle J1P is a collection (more precisely, a disjoint union) of :
Higher order jet bundles JkP, k ≥ 0 (with J0P = P) are similarly defined. A trivialization of a fiber bundle with the fibered coordinates, (xμ, ha), introduces the so-called natural coordinates of J1P, . In the context of a field theory, the fiber coordinate ha represents the fields and the derivative coordinates represent the first derivative of the fields, or the metric and derivatives of the metric respectively in the present case.
Consider a vector field on the total space P,
Under the group action, the components ζμ, ζa transform
The transformation of the connection component (denoted by below) can be deduced from the third equation of Equation (A.4) as we will discuss shortly. We now turn to the definition of the connection through the horizontal projection.
There are several closely related ways to define a general (as opposed to principal) connection in a principal bundle. The connection H may be defined as a map that assigns the horizontal space to each point in the bundle, u∈P:
where Hu is the subspace of the tangent space TuP. One can also view the connection as a distribution (i.e., assignment to each point u∈P of the subspace of the tangent space at u, TuP.) of . The image, denoted by , of the connection is a sub-bundle of the tangent bundle TuP. There is a special class of connections called the principal connections with an additional condition—called equivariance—that at an arbitrary u
The abstract concept of connection becomes more tangible with the introduction of a connection one-form ω(x, h) that is vector-valued: it takes, in the fibered coordinates (xμ, ha),
Let us also introduce the basis of the Lie algebra (the set of left-invariant vector fields), TA. The two bases TA and ∂a are related by a linear transformation through a matrix that we will denote by :
For the definition of the principal connection that we will shortly give, a set of right-invariant vertical vector fields, ρA, are needed as well:
where is a matrix associated with the right multiplication. One can show that the connection becomes a principal connection if becomes independent of the ha coordinates:
In a local coordinate system, this takes
The transformations Equation (A.4) imply that the connection field transforms, under a coordinate transformation,
where ‘Ad' denotes an adjoint representation and corresponds to in Equation (A.4). Let us now consider J1P with its natural coordinates ; one can choose in each orbit a representative of the form
where e is the identity element of G and . The projection then leads to the bundle J1P∕G. Once again the transformation rules in Equation (A.4) imply the following action of the transition function φβα:
Since and obey the same transformation rules under the transition functions, they can be globally identified: J1P∕G = P is established.
B. Derivation of Equation Equation (23)
The covariant derivative in Equation (22) yields zero when it acts on terms other than . Consider for instance the first term inside the parenthesis in Equation18 (22):
where ∂3 denotes . By using Equation (2), the right-hand side can be written as
This is because ∇[X, Y] = ∇[∂3, ∂α] = ∇0 = 0 due to the linearity of ∇. On account of [see, e.g., below (2.23) of Poisson ], the right-hand side becomes
where the last equality follows from the 3D metric compatibility of the 3D covariant derivative.
Keywords: ADM formalism, Lagrangian and Hamiltonian eduction, foliation, jet bundle, quantization of gravity, holography
Citation: Park IY (2016) Foliation, Jet Bundle and Quantization of Einstein Gravity. Front. Phys. 4:25. doi: 10.3389/fphy.2016.00025
Received: 27 January 2016; Accepted: 31 May 2016;
Published: 22 June 2016.
Edited by:Frank Franz Deppisch, University College London, UK
Reviewed by:Gianluca Calcagni, Consejo Superior de Investigaciones Científicas, Spain
Pietro Antonio Grassi, University of Eastern Piedmont, Italy
Copyright © 2016 Park. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) or licensor are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: I. Y. Park, firstname.lastname@example.org