Abstract
In this work, we derive the boundary Schrödinger (functional) equation for the wave function of a quantum gravity system on a manifold with boundaries together with a new constraint equation defined on the timelike boundary. From a detailed analysis of the gravity boundary condition on the spatial boundary, we find that while the lapse and the shift functions are independent Lagrange multipliers on the bulk, on the spatial boundary, these two are related; namely, they are not independent. In the Hamiltonian ADM formalism, a new Lagrange multiplier, solving the boundary conditions involving the lapse and the shift functions evaluated on the spatial boundary, is introduced. The classical equation of motion associated with this Lagrange multiplier turns out to be an identity when evaluated on a classical solution of Einstein’s equations. On the other hand, its quantum counterpart is a constraint equation involving the gravitational degrees of freedom defined only on the boundary. This constraint has not been taken into account before when studying the quantum gravity Schrödinger evolution on manifolds with boundaries.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
There has recently been a renewed interest in studying manifolds with spatial boundaries in quantum gravity (QG). For instance, in the study of the black hole evaporation [1,2,3,4] some models feature a manifold with spatial boundary and with dynamical gravity attached to a nongravitating spacetime. Black hole evaporation is a time dependent process and, for instance, a resolution of the information paradox [5] will come with a proper calculation of the quantum amplitude (wave function) for this process to occur. This is why it is imperative to properly understand the time evolution in QG.
Nowadays, it is well known that on a manifold with spatial boundaries a sort of boundary Schrödinger (functional) equation can be derived as a consequence of the presence of this timelike boundary [6,7,8]. In this work, we re-derive the QG boundary Schrödinger equation on a manifold with boundaries, and we derive a new constraint equation over the spatial boundary not taken into account before in the literature. Special attention is paid to the boundary conditions on the three-metric induced on the timelike boundary. These boundary conditions link degrees of freedom that on the bulk are independent. The variations over the spatial boundary of these related degrees of freedom are considered in the Lagrangian formulation of gravity. However, in the Hamiltonian formulation, we show that their variations have not been considered before in the literature. This subtle fact has not been pointed out previously, which implies that we have been doing QG on manifolds with boundaries with a missing equation so far.
Classically, from the Hamiltonian form [6, 9, 10] of the action, we find a new boundary equation of motion. Moreover, we show that this new equation turns out to be an identity when evaluated on a solution of Einstein’s equations. The fact that this boundary equation is an identity should be at least gratifying since it is well known that from the variation of the gravity action in the Lagrangian form, no boundary equation appears. So, no contradiction arises between both formulations.
Quantum mechanically, the situation is quite different. In addition to the usual equations (constraints) in the bulk [11], we find, as the quantum counterpart of the classical boundary equation (identity), a new boundary constraint, similar to the Wheeler–DeWitt equation in the bulk. This new constraint, together with the boundary Schrödinger equation, rules the time evolution of the QG wave function.
The paper is organized as follows. Section 1 introduces the gravity action on a manifold with spacelike and timelike boundaries. We emphasize the boundary contribution as well as the junction contribution to the action. Finally, we briefly comment on its variation and Einstein’s equations.
In Sect. 2 we introduce the ADM [12,13,14] Lagrangian and Hamiltonian form of the gravity action, carefully tracking the boundary contributions. We present a detailed analysis of the boundary conditions. The novelty and the key point of this work is based on the observation that in the ADM formulation of gravity on manifolds with boundaries, when the induced three-metric is fixed on the timelike boundary some of the Lagrange multipliers that used to be independent over the bulk are linked over the spatial boundary. A new field is introduced to take care of the variation of the linked degrees of freedom over the spatial boundary. We show that its corresponding equation of motion is an identity when evaluated on a solution of Einstein’s equations.
In Sect. 3 we move to the study of quantum gravity and further explore the consequences of the observation previously mentioned. First, we derive the constraint equations on the bulk as well as the Schrödinger equation induced by the spatial boundary. Then we show that due to the fact the boundary conditions do not completely fix the lapse and the shift functions over the spatial boundary, and because these functions are linked over this boundary, a new constraint equation arises.
Conclusions are presented in Sect. 4 followed by three appendices with some helpful information and details of the calculations carried out along the paper.
2 Einstein hilbert action, surface and junction terms
Let \(\text {M}\), be a sufficiently well behaved four-dimensional spacetime, admitting a time function \(\text {t}\), which foliates \(\text {M}\), into a set of constant \(\text {t}\), spacelike surfaces \(\Sigma _{\text {t}}\), [15]. The boundary of \(\text {M}\), consists of the initial and final spacelike surfaces \(\Sigma _{i}\), and \(\Sigma _{f}\), see Fig. 1, as well as a timelike boundary \(\text {B}\). For every \(\Sigma _{\text {t}}\), we can define a two surface, \(\text {B}_{\text {t}}=\Sigma _{\text {t}}\cap \text {B}\), which bounds \(\Sigma _{\text {t}}\). The set of two surfaces \(\text {B}_{\text {t}}\), then foliates the boundary \(\text {B}\). The intersections \(\Sigma _{i}\cap \text {B}\), and \(\Sigma _{f}\cap \text {B}\), are called the junctions and are denoted by \(\text {J}_i\), and \(\text {J}_f\), respectively.
Nowadays, it is well known that the appropriate form of the Einstein Hilbert action to make quantum gravity on manifolds with non smooth boundaries Fig. 1 includes boundary contributions [16, 17] as well as junction contributions [6]. When we fix only the induced three-metric on the boundariesFootnote 1 the Einstein Hilbert action [6, 9] reads as
Where \(\text {h}_{ab}\), and \(\overline{\text {h}}_{ab}\), are fixed over \(\Sigma _i\), \(\Sigma _f\), and \(\text {B}\). The symbol \(\int \nolimits _{\Sigma _f-\Sigma _i}\), is a short hand notation for \(\int \nolimits _{\Sigma _f}-\int \nolimits _{\Sigma _i}\). Notice that the unbarred quantities are referred to the spacelike boundaries \(\Sigma _i\), and \(\Sigma _f\), while the barred ones to the timelike boundary \(\text {B}\). \(\text {K}\), and \(\overline{\text {K}}\), are the extrinsic curvatures (see Appendix B) of the boundaries when seen as embedded in the four manifold, and \(\text {J}_i\), and \(\text {J}_f\), denote the junctions. The metric \({\overline{\sigma }}_{ij}\), is fixed over \(\text {B}\), and in particular over \(\text {J}_i\), and \(\text {J}_f\), and
where \(\hat{\text {n}}^{(\Sigma )}_{|_{\text {B}}}\), represents the four-dimensional unit normal to \(\Sigma _{t}\), evaluated on \(\Sigma _{t}\cap \text {B}\), and \(\hat{\text {n}}^{(\text {B})}\), is the four-dimensional unit normal to \(\text {B}\). We would like to emphasize that the scalar field \(\eta \) is defined over the entire boundary \(\text {B}\),(see for instance Appendix C) including its boundaries, i.e., the junctions \(\text {J}_i\), and \(\text {J}_f\), and \(\eta \in (-\infty ,+\infty )\). The third line in (1.1) refers to the quantities computed from the data of the reference background, where the metric is given and we will consider that it is a solution to the Einstein’s equations.
We would like to stress that over the boundaries the metric \(\text {g}_{\mu \nu }\), is not completely fixed. The only combinations that are fixed are
where \(X_{(\Sigma )}\), and \(X_{(\text {B})}\), are the embedding functions of the boundary surfaces in the four-dimensional spacetime and \(a=1,2,3\).
The variation of (1.1) is given by [6, 17] (see [18] for a detailed presentation about the variations)
Following \(\delta \text {S}=0\), and \(\delta \text {h}_{ab}=\delta \overline{\text {h}}_{ab}=0\), on the boundaries, we get the vacuum Einstein’s equations of motion
Notice that no term including \(\eta \), appears in (1.4). In fact the term containing \(\eta \), in (1.1) has been included to cancel out a similar term including \(\delta \eta \), arising as junctions contributions in the total variation (1.4).
3 ADM actions, surface terms and boundary conditions
In this section, we introduce the ADM decomposition of the four-metric. Without loss of the generality, we introduce a foliation over \(\Sigma _{\text {t}}\), as well as coordinates such that the spatial boundary is located at a constant value of a coordinate that we call \(\text {r}\). We perform a detailed analysis of the boundary conditions, and we find that another foliation is induced on \(\text {B}\). More importantly, we find the relation that the lapse \(\text {N}\), and the shift \(\text {N}^a\), Lagrange multipliers satisfy over the spatial boundary. This relation evidences that while \(\text {N}\), and \(\text {N}^a\), are independent over M, over B, they are entangled.
In the Lagrangian formulation, this boundary relation between \(\text {N}\), and \(\text {N}^a\), is taken into account during the variation process of (1.1). However, we show that in the Hamiltonian formulation, this is not the case. Therefore, to take into account the variations of \(\text {N}\), and \(\text {N}^a\), over the spatial boundary it is convenient to introduce a new field to parameterize the boundary conditions.
We present the Lagrangian and the Hamiltonian form of the gravity action in the ADM formalism and the boundary equation of motion associated with the new Lagrange multiplier. We discuss that while the variation of (1.1) does not lead to any boundary equation, the variation of the Hamiltonian action does lead to a boundary equation. Nonetheless, we show that this boundary equation of motion is an identity when evaluated on a classical solution of Einstein’s equations.
Before discussing the boundary conditions seen from the ADM foliation, we would like to remind the reader that we are assuming that the only data we know on the boundaries is the induced three-metric and this is the only tensor we are allowed to fix over the boundaries.
The ADM metric is given by
On a surface of constant time \(\Sigma _{\text {t}_{0}}\), i.e., \(\text {X}_{(\Sigma )}=(\text {t}_{0},\text {x}^1,\text {x}^2,\text {x}^3)\), the metric takes the form
At this point we find convenient to introduce another foliation. Introducing a set of coordinates on \(\Sigma _{\text {t}}\), \((\text {x}^1,\text {x}^2,\text {x}^3)=(\text {r},\text {x}^2,\text {x}^3)\), such that the location of \(\text {B}\), is at a constant value of the coordinate, \(\text {r}=\text {r}_{\text {cons}}\). We can write the three-dimensional metric \(\text {h}_{ab}\), on \(\Sigma _{\text {t}_{0}}\), as
where \(i=2,3\). In this coordinates we just have made the identification \(\text {h}_{11}=\text {h}_{\text {rr}}=\Lambda ^2+\sigma _{ij}\Lambda ^i\Lambda ^j\), and \(\text {h}_{1i}=\text {h}_{\text {r}i}=\sigma _{ij}\Lambda ^j\). Now, at a constant time surface and at \(\text {r}=\text {r}_{\text {cons}}\), the metric takes the form
with the boundary metric \(\sigma _{ij}{}_{|_{\text {B}_{\text {t}_{0}}}}={\overline{\sigma }}_{ij}\), fixed; \(\text {B}_{\text {t}_{0}}\), denotes \(\Sigma _{\text {t}_{0}}\cap \text {B}\).
Now, the induced three-metric on \(\text {B}\), takes the form
Which can be rewritten as
making explicitly a third foliation, this time on \(\text {B}\). Notice that in addition to \({\overline{\sigma }}_{ij}\), the combinations
and
must be fixed over \(\text {B}\). So, \(\overline{\text {N}}\), \(\overline{\text {N}}^i\), and \({\overline{\sigma }}_{ij}\), are given functions of \((t,\text {x}^2,\text {x}^3)\), over \(\text {B}\), i.e., the three-metric
should be completely specified on \(\text {B}\).
3.1 Unit normal vectors
In this section we shall present the unit normal vectors to the surfaces \(\Sigma _t\), and \(\text {B}\). Their expressions will be helpful for the subsequent discussions. In the coordinates \((t,\text {r},\text {x}^1,\text {x}^2)\), one can define the functions
Such that a surface of constant time \(t_0\), or constant \(\text {r}\), \(\text {r}_0\), (in particular the boundary surfaces) are simply specified by the relations \(\text {F}^{(\Sigma )}=\text {F}^{(\text {B})}= 0\).
The unit normal vectors are defined as
with \(\hat{\text {r}}_{|_{\text {r}_{\text {cons}}}}=\hat{\text {n}}^{(\text {B})}\).
The scalar product between both unit normal vectors over \(\text {B}\) is
where the matrix form of the metrics involved in this calculation can be found in Appendix A. Notice that now (1.2) can be written as
3.2 Boundary conditions
Before continuing we shall discuss the boundary conditions expressed in the coordinates \((\text {t}, \text {r},\text {x}^2,\text {x}^3)\), for the system we are interested in.
We would like to stress that while \(\sigma _{ij}\), is fixed over \(\text {B}\), the rest of the degrees of freedom involved in relations (2.8) and (2.9) are not fixed over \(\text {B}\). Namely, we can not impose separately conditions on each functions appearing in these relations. For instance, according to the boundary conditions (2.8) and (2.9) we can not separately set \(\text {N}^{\text {r}}=0\), and \(\text {N}=\overline{\text {N}}\), over \(\text {B}\). Actually, (2.8) has much more solutions than \(\text {N}^{\text {r}}=0\), and \(\text {N}=\overline{\text {N}}\). In fact it has infinitely many solutions.
Using (2.15) we note that
The previous expressions indicate that the infinitely many solutions can be parameterizedFootnote 2 using the \(\eta \) field introduced in Sect. 1.
3.3 ADM action, Hamiltonian and surface terms
In this section we derive the ADM form of the gravity action, paying special attention to the boundary contribution. We refer the reader to Appendix C for some details of the calculation presented here, see also [9]. Using
and
Where \({}^{(2)}\text {K}\), is the extrinsic curvature of the two-dimensional surface \(\text {B}_{\text {t}}\), as embedded in \(\Sigma _{\text {t}}\), and \({}^{(3)}\hat{\text {r}}_{\nu }=\Lambda (-\text {N}^\text {r},-1,0,0)\), its unit three-dimensional normal vector embedded in four dimensions, see Appendix B, and \(\hat{\text {n}}_{\mu }=\text {N}(-1,0,0,0)\), the unit normal to \(\Sigma _{\text {t}}\).
After plugging (2.17) in (1.1) the total derivatives can be integrated to give rise new boundary terms. This process introduces the four-dimensional unit normal vector to \(\text {B}\), \(\hat{\text {r}}_{\mu }\), given by
where \(\text {M}=\big (\text {N}^2-(\Lambda \text {N}^{\text {r}})^2\big )^{\frac{1}{2}}\). We will explicitly keep the term \(\text {M}\), which on B, \(\text {M}_{|_{\text {r}_{\text {cons}}}}=\overline{\text {N}}\), because in the subsequent discussion it will appear under derivative with respect to \(\text {r}\), in which case we need to take into account its definition away from \(\text {B}\). Using also the relation among the normal vectors
and the boundary conditions (2.8) and (2.9) the action (1.1) can be rewritten in the ADM form
Where \(\text {K}_{ab}\), and \({}^{(2)}\text {K}\), are given by
and
with \(\text {D}_a\), and \({}^{(2)}\text {D}_i\), the covariant derivatives compatible with \(\text {h}_{ab}\), and \({\overline{\sigma }}_{ij}\), respectively; and
Notice that in the last term in (2.21)
where \(\overline{\text {D}}_{\alpha }\), is the covariant derivative compatible with the metric (2.10) on \(\text {B}\), and \(\text {v}^{\alpha }\), the unit normal vector to \(\text {B}_{\text {t}}\), given by
and \({}^{(2)}\overline{\text {K}}\), the extrinsic curvature of \(\text {B}_{\text {t}}\), as embedded in \(\text {B}\).
Defining the canonically conjugate momenta
the Hamiltonian form of the ADM action (2.21) reads as
Where
and
with \({}^{(3)}\hat{\text {r}}_a\), the unit normal (with respect to the three-metric \(\text {h}_{ab}\)) to B. Using the chain rule and (2.27) we can express the momenta \(\Pi ^{ab}\), in the coordinates \((\text {t},\text {r},\text {x}^2,\text {x}^3)\),
Where \((\text {P}, \text {P}_i, \text {P}^{ij})\), are the canonically conjugate momenta associated to \((\Lambda ,\Lambda ^i, \sigma _{ij})\), respectively . While \({}^{(3)}\hat{\text {r}}_a\), and \(\text {N}_{a|_{\text {r}_{\text {cons}}}}\), in the coordinates \((\text {t},\text {r},\text {x}^2,\text {x}^3)\), read as
and
and
In the Hamiltonian formulation of gravity \(\text {N}\), and \(\text {N}^a\), play the role of Lagrange multipliers [19]. Their equations of motion only enforce the Hamiltonian and the momentum constraint \({{\mathcal {H}}}={{\mathcal {H}}}^a=0\), on \(\text {M}\).
Variations of (2.28) with respect to \(\text {N}\), and \(\text {N}_a\), and \(\text {h}_{ab}\); and \(\Pi ^{ab}\), over \(\text {M}\), lead (after some manipulations) to the same equations of motion (1.5). However, for the action written in the ADM Hamiltonian form extra care is needed with the variations over \(\text {B}\). Notice that while the variations of the Lagrange multipliers \(\text {N}\), and \(\text {N}^{\text {r}}\), are independent over \(\text {M}\), over the boundary \(\text {B}\), these functions are entangled each other through the relations (2.8) and (2.9). So, the variation of \(\text {N}\), and \(\text {N}^{\text {r}}\), over \(\text {B}\), are not independent.
To take care of the variations of \(\text {N}\), and \(\text {N}^{\text {r}}\), over \(\text {B}\), it is convenient to parameterize the solutions of (2.8), using (2.16), and regard \(\eta \), as an independent Lagrange multiplier defined over \(\text {B}\). With this choice the boundary action \(\text {S}_{\text {B}}\), in the coordinates \((\text {t},\text {r},\text {x}^2,\text {x}^3)\), can be rewritten as
The boundary equation of motion, associated to \(\eta \), on \(\text {B}\), i.e., \(\frac{\delta }{\delta \eta }\text {S}_{\text {B}}=0\), takes the form
or, using the first relation in (2.31), (2.25), (2.24) and (2.16),
with each function appearing in (2.37) evaluated on \(\text {B}\).
At this point, it might be disturbing the fact that from general considerations the variation of (1.1) does not lead to any boundary equation of motion. However, the variation of (2.28) does lead to (2.37). It turns out that classically this boundary equation of motion does not play any relevant role, and it is not needed to solve it. Rather than being a new equation, classically, (2.37) is an identity. It means that after solving Einstein’s equations on \(\text {M}\), the boundary equation gets automatically satisfied.
In what follows we show that (2.37) is actually an identity. In the Hamiltonian formulation \(\text {h}_{ab}\), and \(\Pi ^{ab}\), are two set of independent degrees of freedom, however on a solution of the Einstein’s equations the momenta verify the equation
These equations are obtained upon varying (2.28) with respect to \(\Pi ^{ab}\).
Using (2.22) (see also Appendix A), after some algebra we get, that on \(\text {B}\),
Now, using (2.33) and (2.23) we can show that on \(\text {B}\),
Collecting the results (2.38)–(2.40) and using
one can show that indeed on a classical solution (2.37) is an identity. So, (2.37), which is the equation of motion corresponding to \(\eta \), defined only on the spatial boundary, is an identity because it is already contained in the equations (2.38). In other words, equation (2.37) can be viewed as the restriction to the boundary of the \(a=b=1\), component of the equations (2.38). We would like to emphasize that (2.37) and (2.38) come from the variation of two different and unrelated degrees of freedom.
To the knowledge of the author, this is a new result which has not been presented before in the literature. In the next sections we will see that the quantum counterpart of the boundary equation (2.36) becomes a constraint equation on \(\text {B}\), similar to the Wheeler–Dewitt equation and the momentum constraint on \(\text {M}\).
4 Quantum gravity on a manifold with boundaries
In this section, we shall derive the Schrödinger equation as well as the constraint equations on \(\text {M}\), and a new constraint equation induced by the presence of \(\text {B}\). We work formally using the path integral for gravity.
Before continuing we would like to briefly discuss the measure of the gravity path integral (see [9, 20], and references therein) as well as which degrees of freedom are integrated over each of the four regions, namely, \(\text {M}\), \(\Sigma _{(i,f)}\), \(\text {B}\), and \(\text {B}_{(i,f)}=\text {J}_{(i,f)}\). They have been summarized in Table 1.
When writing down the path integral one has to integrate over the degrees of freedom which are varied in the action to get the classical equations of motion. To get the Einstein’s equation on \(\text {M}\), one has to vary the action with respect to \(\text {h}_{ab}\rightarrow (\Lambda ,\Lambda ^i,\sigma _{ij})\), and \((\text {N},\text {N}^a)\). As \((\Lambda ,\Lambda ^i,\sigma _{ij})\), are fixed over the spacelike boundaries, the variations of these degrees of freedom do not extend until \(\Sigma _{i}\) and \(\Sigma _{f}\).
On the other hand, \((\text {N},\text {N}^a)\), are not fixed on the spacelike boundaries so, their variations extend until \(\Sigma _{i}\) and \(\Sigma _{f}\). On the timelike boundary \(\text {B}\), we fix different combinations of the metric. While on \(\Sigma _{i}\) and \(\Sigma _{f}\), we fix the three-metric \(\text {h}_{ab}\rightarrow (\Lambda ,\Lambda ^i,\sigma _{ij})\), on \(\text {B}\), we fix the three-metric \(\overline{\text {h}}_{ab}\rightarrow (\overline{\text {N}},\overline{\text {N}}^i,{\overline{\sigma }}_{ij})\). Notice that on \(\text {B}\), also six functions are specified. It means that out of the ten degrees of freedom in the metric tensor four remain unfixed on \(\text {B}\). The most obvious of the unfixed ones are \((\Lambda ,\Lambda ^i)\), they add up to three.Footnote 3 Still one more is missing. As discussed in Sect. 2 to take care of the variations of \(({\text {N}},{\text {N}}^{\text {r}})\), over \(\text {B}\), which are not independent but they are related as indicated in (2.8) and (2.9), we have to introduce a new degree of freedom that we call \(\eta \). Its variation leads to a boundary equation that on a classical solution of the Einstein’s equations can be shown it is an identity. So, the integrated degrees of freedom over \(\text {B}\), are \((\eta ,\Lambda ,\Lambda ^i)\), which now, add up to four.
Only the junctions \(\text {J}_{(i,f)}=\Sigma _{(i,f)}\cap \text {B}\), remain to be analyzed. On the one hand, as \(\text {J}_{(i,f)}\in \Sigma _{(i,f)}\), on \(\text {J}_{(i,f)}\), \((\Lambda ,\Lambda ^i,\sigma _{ij})\), are fixed. On the other hand as \(\text {J}_{(i,f)}\in \text {B}\), in addition to \((\overline{\text {N}},\overline{\text {N}}^i)\), now \((\Lambda ,\Lambda ^i)\), are fixed too. The only degree of freedom that remains unfixed over the junctions is \(\eta \). This unfixed degree of freedom, defined over \(\text {B}\), including the junctions, is precisely what allows us to derive a new constraint that has not been considered in the literature before.
Taking into account what has been exposed in the previous paragraphs we can define the measure of the path integral as \(\text {D}\mu =\text {D}\mu _1\text {D}\mu _2\), where
and
where the brackets in the previous expressions \(\Big [\text {...}\Big ]\) are understood as the proper measure of the path integral (including gauge fixing terms) together with the product over every point on \(\Sigma _{\text {t}}\), or \(\text {B}_{\text {t}}\). As we are interested in the Hamiltonian form of the action, we have included the integration in the momenta \((\text {P},\text {P}_i,\text {P}^{ij})\), in the measure.
4.1 Schrödinger evolution
In the path integral formulation we can write the wave function (strictly speaking it is a functional) [19] as
On a manifold with spatial boundaries, in addition to the usual arguments of the wave function, i.e., the three-metric \(\text {h}_{ab}\), over \(\Sigma _{f}\), the functional (3.3) depends also on three-metric \(\overline{\text {h}}_{ab}\), the proper time \({\overline{\tau }}\), and proper space \({\overline{\chi }}^i\), on the timelike boundary, see (3.8), that is
In this section we assume that the measure is invariant under translation of \(\text {N}\), and \(\text {N}^a\), over M; and invariant under translation of \(\eta \), over B. If it is not, there would be, in addition, a divergent contribution to the relations we will obtain here. This contribution must be suitably regulated to zero or cancel possible divergences arising from the calculation. We also ignore the problem of the operator ordering, although the discussion presented here is compatible with a possible resolution of it [21].
For the subsequent discussion we find convenient to write the ADM Hamiltonian action in the form
where
The variation of \(\Psi \), induced by the change of the boundary data \((\Lambda ,\Lambda ^i,\sigma _{ij})\), on \(\Sigma _{f}\), while we push forward this surface, is given by
Taking into account that \(\delta \sqrt{{\overline{\sigma }}}_{|_{\text {B}_{f}}}=0\), and defining the proper time and proper space on \(\text {M}\), and \(\text {B}\), as
from (3.7) we get that on \(\Sigma _{f}\),
and
and
4.2 Constraints
The functional integral defining the wave function (3.3) contains integrals over \(\text {N}\), and \(\text {N}^a\), see the discussion in the beginning of this section. The value of the integral should be left unchanged by an infinitesimal translation of the integration variables \(\text {N}\), and \(\text {N}^a\), [19]. Namely,
and
Now using (3.9), and evaluating the previous expressions at \(\text {t}=\text {t}_f\), we get the quantum counterpart of the Hamiltonian and the momentum constraint
and
These are known in the QG literature as Wheeler-DeWitt equation and momentum constraint. Notice that these two constraints imply that
which follows from (3.10).
We could try to proceed in a similar way for the boundary equations (3.11) however, the form of the functions \(\overline{{\mathcal {H}}}\), and \(\overline{{\mathcal {H}}}_j\), obstructs us to do that. Nonetheless, we can rewrite these two relations in a simpler form as
In addition to these two simpler equations there is a constraint over \(\text {B}\). As in the previous discussion of the Hamiltonian and momentum constraint, the path integral defining the wave function (3.3) contains also and integral over \(\eta \), see for instance Table 1, and the value of the integral should be left unchanged by an infinitesimal translation of this integration variable. More precisely,
or
this constraint equation is just the quantum counterpart of the boundary equation of motion (2.36). Specializing (3.19) at \(\text {t}=\text {t}_f\), it can be written as
where
We stress that all the functions in (3.20) are evaluated on \(\text {B}_f=\text {J}_f\).
5 Conclusions
This work has pointed out a subtle fact about classical and quantum gravity on manifolds with boundaries. It turns out that on a manifold with spatial boundaries, some of the ADM degrees of freedom that are independent on the bulk, on the timelike boundary, they are not (2.8) and (2.9). This fact leads to a boundary equation of motion (2.36) derived from the Hamiltonian form of the action (2.35).
The emergence of a classical equation of motion on the boundary in the Hamiltonian formulation of gravity seems to contradict the Lagrangian formulation (1.1) where no boundary equation arises (1.5). However, this is not the case, and no contradiction arises because this classical boundary equation turns out to be an identity when evaluated on a solution of the Einstein’s equations (2.38)–(2.41).
At the quantum level, the situation changes radically regarding the paradigm in QG on manifolds with boundaries. This new classical equation (identity) becomes a constraint equation on the boundary (3.20) similar to the Hamiltonian and the momentum constraints on the bulk. Thus, the time evolution of the wave function now is ruled by a Schrödinger like equation depending only on the degrees of freedom on the junction \(\text {B}_f=\text {J}_f\), and by this new constraint equation. This new equation certainly will have consequences when studying the time evolution in QG.
Along this work we have used (reproduced) well known results from the literature related to QG on manifolds with boundaries. They have been essential for presenting this work in a rigorous and self-consistent manner. However, at this point it is worth to emphasize why we have been able to go further than previous works.
Previous works regarding this particular topic in QG on manifolds with boundaries focused mainly in getting either the boundary Schrödinger equation, see for instance [6, 8], or the boundary Hamiltonian [9]; as we also have done here. Nonetheless, they did not look for the classical equations of motion.
One of the main differences with previous work is that they lacked of an exhaustive analysis of the boundary conditions over the spatial boundary. Like the one presented in Sect. 2 yielding to Eqs. (2.8) and (2.9).
Another difference is that we have made the observation that the lapse and the shift functions are not completely fixed over the spatial boundary. A direct consequence of this observation reflects in the ADM Hamiltonian formalism. In this formalism now one encounters a very interesting and new mathematical problem. Now, to get the Hamiltonian and the momentum constraints, one has to vary \(\text {N}\), and \(\text {N}^{\text {r}}\) (which are Lagrange multipliers in the ADM formalism), in the bulk, but because of these fields are not fixed over \(\text {B}\), one has to vary them over \(\text {B}\) as well. Over \(\text {B}\), however, these two Lagrange multipliers are not independent, but their dependence can be parameterized with the scalar field \(\eta \). Up to the knowledge of the author this is the first time in the literature where this kind of mathematical problem is stated.
This parametrization was discussed in Sects. 2.1 and 2.2, and is what later allowed us to find a classical boundary equation of motion and its quantum (constraint equation) counterpart.
On the one hand, these two differences with pervious works exposed above together with the classical boundary equation of motion (2.36) and the (non-trivial) proof that it is an on shell identity are the new contributions of this work. On the other hand, the main and new result presented here is the constraint equation (3.19) or (3.20). This constraint equation complements the boundary Schrödinger equation (3.17) and, together with the Wheeler–Dewitt equation (3.14) and the momentum constraint (3.15) in the bulk, rule the time evolution of a QG state.
Operatively Eq. (3.20) does not look easy to solve. We do not know yet how to implement this constraint in general. Perhaps for some midisuperspace model, like the spherically symmetric one [22], with a spatial boundary (the problem over the spatial boundary becomes an ordinary quantum mechanics), one can implement it. Or maybe in some two-dimensional models of gravity, like dilaton gravity. JT gravity [24,25,26], and CGHS model [23], see also [27] and references therein. In these cases, the problem over the spatial boundary would be a one-dimensional quantum mechanics problem. Another setup where we could implement this constraint could be in studying perturbations around a classical background in two [4], or four dimensions [6], see also [28] and references there in. Nonetheless, it is worth to remark that given the simple dependence of the boundary action on \(\eta \), the \(\eta \) integral in the wave function definition (3.3) can be pointwise performed over the spatial boundary [29] giving rise to modified Bessel functions of the second kind or Hankel functions.
One of the main remaining questions is whether this new constraint equation will allow the Schrödinger evolution of a QG state. For example, could it happen that this constraint restricts the time evolution of the wave function on the boundary to those solutions that do not depend on time, in a similar way the Hamiltonian or the momentum constraint do in the bulk. This question will be answered elsewhere.
Data Availability
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: There is no data or the data will not be deposited because it is not required for this work.]
Notes
Physically this is the only data we are allowed to fix over the boundaries.
Since \(\Lambda ^i\), and \(\text {N}^i\), are related through the boundary condition (2.9) we could also use as integration variables the functions \((\Lambda , \text {N}^i)\).
Some times during the subsequent calculation it is better to reexpress the boundary conditions as
$$\begin{aligned} \text {N}=\overline{\text {N}}\Big (1+(\frac{\Lambda \text {N}^{\text {r}}}{\overline{\text {N}}})^2 \Big )^{\frac{1}{2}}, \end{aligned}$$and
$$\begin{aligned} \text {N}^i=\overline{\text {N}}^i-\Lambda ^i\text {N}^{\text {r}}. \end{aligned}$$
References
A. Almheiri, R. Mahajan, J. Maldacena, Y. Zhao, The Page curve of Hawking radiation from semiclassical geometry. JHEP 03, 149 (2020). arXiv:1908.10996 [hep-th]
G. Penington, S.H. Shenker, D. Stanford, Z. Yang, Replica wormholes and the black hole interior. arXiv:1911.11977 [hep-th]
A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian, A. Tajdini, Replica wormholes and the entropy of hawking radiation. JHEP 05, 013 (2020). arXiv:1911.12333 [hep-th]
S.B. Giddings, Schrödinger evolution of two-dimensional black holes. arXiv:2108.07824 [hep-th]
S.W. Hawking, Breakdown of predictability in gravitational collapse. Phys. Rev. D 14, 2460–2473 (1976)
G. Hayward, K. Wong, Boundary Schrodinger equation in quantum geometrodynamics. Phys. Rev. D 46, 620–626 (1992) (Addendum Phys. Rev. D 47, (1993))
G. Hayward, Gravitational action for space-times with nonsmooth boundaries. Phys. Rev. D 47, 3275–3280 (1993)
J.C. Feng, R.A. Matzner, From path integrals to the Wheeler–DeWitt equation: time evolution in spacetimes with a spatial boundary. Phys. Rev. D 96(10), 106005 (2017). arXiv:1708.07001 [gr-qc]
S.W. Hawking, C.J. Hunter, The gravitational Hamiltonian in the presence of nonorthogonal boundaries. Class. Quantum Gravity 13, 2735–2752 (1996). arXiv:gr-qc/9603050
J.D. Brown, S.R. Lau, J.W. York, Jr., Action and energy of the gravitational field. arXiv:gr-qc/0010024
B.S. DeWitt, Quantum theory of gravity. 1. The canonical theory. Phys. Rev. 160, 1113–1148 (1967)
R. Arnowitt, S. Deser, Quantum theory of gravitation: general formulation and linearized theory. Phys. Rev. 113, 745–750 (1959)
R.L. Arnowitt, S. Deser, C.W. Misner, Dynamical structure and definition of energy in general relativity. Phys. Rev. 116, 1322–1330 (1959)
R.L. Arnowitt, S. Deser, C.W. Misner, Canonical variables for general relativity. Phys. Rev. 117, 1595–1602 (1960)
E. Gourgoulhon, 3+1 formalism and bases of numerical relativity. arXiv:gr-qc/0703035
G.W. Gibbons, S.W. Hawking, Action integrals and partition functions in quantum gravity. Phys. Rev. D 15, 2752–2756 (1977)
J. York, Boundary terms in the action principles of general relativity. Found. Phys. 16, 249–257 (1986)
A.A. Saharian, On the energy momentum tensor for a scalar field on manifolds with boundaries. Phys. Rev. D 69, 085005 (2004)
J.B. Hartle, S.W. Hawking, Wave function of the universe. Phys. Rev. D 28, 2960–2975 (1983)
C. Teitelboim, Quantum mechanics of the gravitational field. Phys. Rev. D 25, 3159 (1982)
S.W. Hawking, D.N. Page, Operator ordering and the flatness of the universe. Nucl. Phys. B 264, 185–196 (1986)
K.V. Kuchar, Geometrodynamics of Schwarzschild black holes. Phys. Rev. D 50, 3961–3981 (1994). arXiv:gr-qc/9403003
C.G. Callan Jr., S.B. Giddings, J.A. Harvey, A. Strominger, Evanescent black holes. Phys. Rev. D 45(4), R1005 (1992). arXiv:hep-th/9111056
R. Jackiw, Lower dimensional gravity. Nucl. Phys. B 252, 343–356 (1985)
C. Teitelboim, Gravitation and Hamiltonian structure in two spacetime dimensions. Phys. Lett. B 126, 41–45 (1983)
E. Benedict, R. Jackiw, H.J. Lee, Functional Schrodinger and BRST quantization of (1+1)-dimensional gravity. Phys. Rev. D 54, 6213–6225 (1996). arXiv:hep-th/9607062
D. Grumiller, W. Kummer, D.V. Vassilevich, Dilaton gravity in two-dimensions. Phys. Rept. 369, 327–430 (2002). arXiv:hep-th/0204253
G. Esposito, Canonical and perturbative quantum gravity. SISSA-10-93-A
J.A. Rosabal, Schrödinger evolution and constraints in JT gravity on the strip (Work in progress)
Acknowledgements
We are grateful to Pablo Diaz for discussions and valuable comments. We would especially like to thank Jose Juan Fernandez-Melgarejo for inviting me to present this work at the University of Murcia and the Physics department members for the stimulating discussion during the presentation. We also especially thank Giampiero Esposito for his comments and for confirming the new results presented here.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Metrics matrix form
Appendix B: Extrinsic curvature
The extrinsic curvature of a surface embedded in a higher dimensional space is given by
where \(\hat{\text {n}}^{\mu }\), is the unit normal vector to the surface. For the case in which the surface is the two-dimensional boundary \(\text {B}_{\text {t}}\), embedded in \(\Sigma _{\text {t}}\), the extrinsic curvature can be written as
where \(\text {D}_{a}\), is the covariant derivative compatible with the metric \(\text {h}_{ab}\), on \(\Sigma _{\text {t}}\), and \(\text {r}_a\), the unit normal vector (with respect to the three metric \(\text {h}_{ab}\)) to \(\text {B}\).
Using the normal and tangential decomposition of the divergence of a vector
with
where \(\gamma _a^{\mu }\), is a basis of tangent vectors on \(\Sigma _{\text {t}}\). In the coordinates \((\text {t},\text {r},\text {x}^1,\text {x}^2)\), these vectors (over a constant time surface \(\text {t}=\text {t}_{0}\)) take the simple form
Using (B.3) it is straightforward to write the extrinsic curvature as
where
is the unit normal vector to \(\text {B}_{\text {t}}\), (with respect to the metric \(\text {h}_{ab}\)) embedded in the four-dimensional space.
Appendix C: Algebraic manipulation to get the boundary action
Our starting point is the gravity action with the boundary contributions as well as the junction contribution (1.1). Using (2.17) and \(\sqrt{-g}=\text {N}\sqrt{\text {h}}\), and integrating the total derivatives we get
where \(\hat{\text {r}}_{\mu }\), is the four-dimensional unit normal vector (2.19), with \(\text {M}=\big (\text {N}^2-(\Lambda \text {N}^{\text {r}})^2\big )^{\frac{1}{2}}\), and \(\hat{\text {n}}_{\mu }\), is the four-dimensional unit normal vector to \(\Sigma _t\), denoted in Sect. 2.1 as \(\hat{\text {n}}_{\mu }^{(\Sigma )}\). Recall that on B, \(\text {M}=\big (\text {N}^2-(\Lambda \text {N}^{\text {r}})^2\big )^{\frac{1}{2}}_{|_{\text {B}}}=\overline{\text {N}}\). For simplicity we have omitted the background contribution, at the end of the calculation it can be easily reinserted.
Now taking into account that \(\hat{\text {n}}_{\mu }\hat{\text {n}}^{\mu }=-1\), and \(\nabla _{\nu }\hat{\text {n}}^{\mu }\ \hat{\text {n}}_{\mu }=0\), we see that the integrals \(\int \limits _{\Sigma _f-\Sigma _i}\) cancel out to get
Using the decomposition (2.20) and
where \({}^{(3)}\hat{\text {r}}_{\mu }=\Lambda (-\text {N}^{\text {r}},-1,0,0)\). Notice that \(\hat{\text {n}}^{\mu }=\text {N}^{-1}(1,-\text {N}^{\text {r}},-\text {N}^j)\), which implies \({}^{(3)}\hat{\text {r}}_{\mu }\hat{\text {n}}^{\mu }=0\), with \({}^{(3)}\hat{\text {r}}^{\mu }\), (B.7) being the unit normal vector to \(\text {B}_{\text {t}}\) (with respect to the metric \(\text {h}_{ab}\), and at the same time it is tangent to \(\Sigma _{\text {t}}\)) seen from the four-dimensional space, and \(\hat{\text {r}}^a=\text {h}^{ab}\hat{\text {r}}_b\), with
We arrive at
Now using \(\sqrt{-\overline{\text {h}}}=\overline{\text {N}}\sqrt{{\overline{\sigma }}}\), and \(\text {M}_{|_{\text {B}}}=\overline{\text {N}}\), and (B.6) we get
Using the boundary conditionsFootnote 4 (2.8) and (2.9) and
together with (2.16), we can show that the second and third line of (C.6) can be written as
To get (C.8) we have integrated by parts and considered that \(\text {B}_t\) is a compact manifold, which of course, it is always the case. Notice that (C.8) is defined over the whole timelike boundary and not only over the junctions. Also the scalar field \(\eta \), in (C.8) coincides with (1.2), defined over \(\text {B}\), and not only over the junctions. In fact after the integration by parts the junctions contributions in (C.6) cancel out.
Summarizing, the Lagrangian form of the boundary action, using (2.16) and (2.25), can be written as
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Rosabal, J.A. Quantum gravity on a manifold with boundaries: Schrödinger evolution and constraints. Eur. Phys. J. C 82, 589 (2022). https://doi.org/10.1140/epjc/s10052-022-10543-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10543-2