Introduction

In this paper we are concerned with the Hamiltonian perspective and hence we consider only globally-hyperbolic space-times. Moreover, since we assume the ADM Hamiltonian to split for the gravity and the matter parts, we assume the matter-gravity coupling to be non-derivative.Footnote 1 Our aim is to show that under these assumptions, i.e. when we assume our theory of gravity to be of the form of geometrodynamics as presented in Sect. 3 (which is true for any matter field with non-derivative coupling to gravity), and restrict our attention to fully deterministic scenarios (global hyperbolicity), the Poisson brackets between the relevant super-Hamiltonian and super-momentum are actually fixed as a consequence of the compatibility condition (Postulate, i.e. the Theorem 1 below) which, as we argue, does nothing more than assuring the covariant and canonical pictures to carry the same physical information.

One of the consequences of our considerations, which we discuss in the last part of the paper, is strengthening the reconstruction result of [1], where the vacuum gravitational constraints are constructed under the assumption (among other) that the Poisson bracket structure of the super-Hamiltonian and super-momentum is of the desired form. Using our result, this assumption can be replaced by our compatibility postulate, which we find almost unavoidable.

The particular Poisson bracket structure of the constraints governing the evolution of gravity + matter ADM systems is interesting for at least three related reasons:

  1. (i)

    it is independent of the types of fields considered (as long as the coupling to gravity is non-derivative),

  2. (ii)

    it seems to have a purely geometrical origin,

  3. (iii)

    it almost suffices to deduce the particular form of the gravitational constraints.

The first point is an intriguing observation made by considering gravity + matter systems in the ADM framework under the assumption that the coupling term does not include derivatives of the metric [1]. The second is an indication that follows from successful attempts to derive an identical structure from purely geometrical considerations, namely deformations of hypersurfaces embedded in Lorentzian manifolds (see [2,3,4]).

In the most recent approach of [3] a groupoid is proposed whose algebroid bracket structure of constant sections is equivalent to the Poisson bracket structure of the constraints. However, as the authors put it ([3], p. 3):

It remains to be seen what the relevant structure is which connects our groupoid with the constraints themselves.

This is the very question we would like to propose an answer to.Footnote 2 The third reason named above is the claim of [1], where the constraints of pure gravity are recovered under the assumption that their Poisson bracket closes in this particular way. We will reflect on this in the light of our result in the discussion.

Canonical General Relativity

The Constraints

The constraints of general relativity arise when the Legendre transform is performed on the Lagrangian of the projected Einstein–Hilbert action, possibly coupled (in a non-derivative way) to some matter fields [6]:

$$\begin{aligned} S= & \int _M\sqrt{-g} \left\{ {^{4}}{\text {R}(g)} + {\mathscr {L}}_{mat}\right\} \nonumber \\= & \int _{\mathbb {R}}d\tau \int _{\Sigma _\tau }vol_{\gamma _\tau } \quad \left\{ {^{3}}{\text {R}(\gamma _\tau )} + \text {tr}\left( k_\tau ^2\right) - \text {tr}\left( k_\tau \right) ^2 + (\text {L}_{mat})_\tau \right\} , \end{aligned}$$
(1)

where:

  • the slicing of the globally hyperbolic space-time manifold M is chosen so that \(M \cong \Sigma \times {\mathbb {R}}\) and each slice \(\Sigma _\tau\) is a Cauchy surface,

  • \(\gamma _\tau\) is the first fundamental form on \(\Sigma _\tau\), i.e. Riemannian 3-metric inherited from M, and

  • \(k_\tau\) is the second fundamental form of \(\Sigma _\tau\), i.e. its extrinsic curvature, given by \(k_\tau = -\frac{1}{2}{\mathscr {L}}_{{\hat{n}}_\tau }\gamma\).

The choice of the slicing \(M \cong \Sigma \times {\mathbb {R}}\) is equivalent to picking an initial value Cauchy surface \(\Sigma _0 \subset M\) and a time-like evolution vector field \(E \in {\mathscr {X}}(M)\) on the space-time M. Indeed, since \(\Sigma _0\) is Cauchy and M is globally hyperbolic, any endless (i.e. with globally defined flow) time-like curve on M will cross \(\Sigma _0\) exactly once, and hence the flow \(\alpha _E^\tau\) of E defines a foliation of M via \(\Sigma _\tau := \alpha _E^\tau (\Sigma _0)\). Conversely, making the topological slicing \(M \cong _{top} \Sigma \times {\mathbb {R}}\) an isometry requires choosing the way in which the neighbouring slices are to be glued together into a Lorentzian manifold, which can be achieved by choosing a real positive function \(L_\tau \in {\mathscr {F}}_+(\Sigma _\tau )\), called the lapse, and a vector field \(\vec {N}_\tau \in {\mathscr {X}}(\Sigma _\tau )\), called the shift, on each slice, which in turn defines the evolution vector field on the whole M via:

$$\begin{aligned} E\mid _{\Sigma _\tau } = \vec {N}_\tau + L_\tau {\hat{n}}_\tau . \end{aligned}$$
(2)

Since all the Cauchy slices are diffeomorphic, we could as well consider parametrized families of tensors, functions and vector fields defined simply on \(\Sigma\). This is the point of the ADM approach: it allows to consider the solution of the Einstein equation, i.e. the space-time with all the relevant tensor fields, to be generated by the initial data given solely on \(\Sigma\), together with the choice of the lapse and the shift.

Notice here that what we call the ‘speed’ of \(\gamma\), i.e. the second fundamental form k, is given by the Lie derivative with respect to the direction normal to the slice, which plays the role of the local time direction (justifying the terminology). Since any oriented space-like hypersurface admits a neighbourhood, called a (local) Gaussian neighbourhood, where the coordinates arise via drawing geodesics that start on the surface and aim to the positively oriented direction with the initial speed given by the normal vectors at each point, this quantity is always unambiguously defined. The described construction can be seen as the canonical way of ‘smearing out’ the hypersurface and defining the (local) time direction, referred to as the (local) Gaussian time, with respect to which the ‘speeds’ of all the fields at a given slice are naturally defined. The resulting coordinates are called (local) Gaussian normal coordinates. The projected 3-dimensional matter Lagrangian \(L_{mat}\) is then also a functional of the fields on \(\Sigma\), changing with the \(\tau\) parameter, whose ‘speeds’ are given through the Lie derivative in the normal direction at each slice, which are therefore also \(\tau\)-dependent.

Neglecting the boundary terms and under the assumption that the gravity-matter coupling is non-derivative, the Legendre transformation gives rise to the ADM Hamiltonian of the form [1]:

$$\begin{aligned} H_E(\tau )= & \int _{\Sigma _\tau }vol_{\gamma _\tau }\quad g(E,V_H)\mid _{\Sigma _\tau }\nonumber \\= & \int _{\Sigma _\tau }vol_{\gamma _\tau }\,\,\,\left( -L_\tau {\mathscr {H}} + \gamma _\tau (\vec {{\mathscr {H}}},\vec {N}_\tau )\right) = H_{(\vec {N}_\tau ,L_\tau )}, \end{aligned}$$
(3)

where we have introduced the notation \(V_H\mid _{\Sigma _\tau } := \vec {{\mathscr {H}}} + {\mathscr {H}}{\hat{n}}_\tau\) with \({\mathscr {H}}\) being the Hamiltonian constraint and \(\vec {{\mathscr {H}}}\) the momentum constraint, both depending solely on the fields and their momenta. The ADM Hamiltonian is of the above form for any matter field with non-derivative coupling [1], and this is where we need to use this assumption. The equality (3) holds since on each slice we have \(g\mid _{\Sigma _\tau } = -\,dt^2 + \gamma _\tau\) (where \(\gamma\) is thought of as extended by zero to a 4-dimensional object and t denotes the local Gaussian time). Let us stress here, that the above decomposition, as the \(\tau\)-subscript in our notation suggests, can only be achieved on each slice separately—we by no means assume such coordinates to exist in outside an infinitesimal neighbourhood of any of the slices. The minus sign by \(L_\tau\) in (3) is non-standard, but since \({\mathscr {H}}=0\) it makes no harm and makes the equality hold, which will prove useful in what follows. We will consistently use the letters t to denote the Gaussian time and \(\tau\) for the slicing parameter, i.e. the flow parameter of the evolution vector field. For pure gravity these constraints read [3]:

$$\begin{aligned} \vec {{\mathscr {H}}}(\gamma _\tau ,\pi _\tau )&= -2 \text {div}(\pi _\tau ), \end{aligned}$$
(4)
$$\begin{aligned} {\mathscr {H}}(\gamma _\tau ,\pi _\tau )&= -{^{3}}{\text {R}(\gamma _\tau )} + \text {tr}\left( \pi _\tau ^2\right) - \frac{1}{2}\text {tr}(\pi _\tau )^2, \end{aligned}$$
(5)

where \(\pi\) is the variable conjugate to \(\gamma\). Defining \(H_{\vec {N}_\tau }:=H_{(\vec {N}_\tau ,0)}\), \(H_{L_\tau }:=H_{(0,L_\tau )}\), the Poisson bracket structure in question can be captured as follows [3]:

$$\begin{aligned} \{H_{\vec {N}_\tau },H_{\vec {N}_\tau ^{\prime }}\}&= H_{[\vec {N}_\tau ,\vec {N}_\tau ^{\prime }]}, \end{aligned}$$
(6)
$$\begin{aligned} \{H_{\vec {N}_\tau },H_{L_\tau }\}&= H_{\vec {N}_\tau (L_\tau )}, \end{aligned}$$
(7)
$$\begin{aligned} \{H_{L_\tau },H_{L_\tau ^{\prime }}\}&= H_{L_\tau \text {grad}_{\gamma _\tau }L_\tau ^{\prime } - L_\tau ^{\prime } \text {grad}_{\gamma _\tau }L_\tau }. \end{aligned}$$
(8)

Including matter fields results in adding matter terms, depending on the fields and their momenta coupled to the gravitational data, to the constraints. For the matter fields coupled to gravity in a non-derivative way, this does not affect the Poisson bracket structure of the above constraints [1]. The main goal of this paper is to give a conceptual reason for this structure to be inevitable and independent of the particular matter content, thus addressing the properties (i) and (ii) named at the beginning.

Geometrodynamics

The geometrodynamical framework, which is of the main interest here, is most naturally seen as a generalization of the non-relativistic Hamiltonian field theory, which we are now going to briefly review. It is specified by the following data:

  • A phase space \(\Gamma\), which is an (infinite-dimensional) Poisson manifold consisting of all possible configurations of the fields and their momenta:

    $$\begin{aligned} \Gamma \ni (\varphi _1,\dots ,\varphi _n,p_1,\dots ,p_n), \,\,\,\, \varphi _i: \Sigma \rightarrow V_{\varphi _i}, \,\,\,\, p_i: \Sigma \rightarrow V_{p_i}, \end{aligned}$$

    where the Vs are the vector spaces where the fields take theirs values, and \(\Sigma\) is the (3-dimensional) manifold on which the fields are defined,Footnote 3

  • We are concerned with the time evolution of functionals on \(\Gamma\) (implicitly dependent on the external time, denoted here by ’s’) of the following form:

    $$\begin{aligned} A: \Gamma \rightarrow {\mathbb {R}}, \,\,\,\, A[\varphi _i,p_i](s) = \int _{\Sigma }d^3x{\mathscr {A}}\,(\varphi _i(s),p_i(s)), \end{aligned}$$
  • A Hamiltonian \(H(s)=\int _{\Sigma }d^3x{\mathscr {H}}\,\,(\varphi _i(s),p_i(s))\) generating the dynamics via:

    $$\begin{aligned} \frac{dA(s)}{ds} = \{A,H\}= \frac{\delta A}{\delta \varphi _i}\frac{\delta H}{\delta p_i} - \frac{\delta A}{\delta p_i}\frac{\delta H}{\delta \varphi _i}, \end{aligned}$$

    where \(\delta\) denotes the functional derivative and the summation convention applies.

Such a setup can be generalized to the ‘\(3+1\)’ diffeomorphism invariant realm, where the 3-dimensional metric on \(\Sigma\) is treated as a dynamical variable and the evolution is given with respect to the evolution vector field [1]:

  • The phase space is equal \({\tilde{\Gamma }} = \Gamma \times T^*Riem(\Sigma ) = \Gamma \times Riem(\Sigma ) \times S^2(\Sigma )\), which is extended by the 3-dimensional metric fields \(\gamma\) and their conjugate momenta (symmetric two-forms) \(\pi\), so that:

    $$\begin{aligned} {\tilde{\Gamma }} \ni (\gamma ,\varphi _1,\dots ,\varphi _n,\pi ,p_1,\dots ,p_n), \end{aligned}$$
  • We are concerned with the evolution of functionals on the (new) phase space, dependent on the slicing parameter:

    $$\begin{aligned} A[\gamma ,\pi ,\varphi _i,p_i](\tau ) = \left( \alpha _E^\tau \right) ^* A\left[ \gamma _0,\pi _0,(\varphi _i)_0,(p_i)_0\right] = \int _{\Sigma _\tau }vol_{\gamma _\tau } \quad {\mathscr {A}}\,(\gamma _\tau ,\pi _\tau ,(\varphi _i)_\tau ,(p_i)_\tau ), \end{aligned}$$
  • The Hamiltonian depends on the evolution vector field \(E(x,\tau )=(L_\tau (x),\vec {N}_\tau (x))\) on \(\Sigma \times {\mathbb {R}}\) in the following way (see Eq. (3)):

    $$\begin{aligned} H_E(\tau )&= \int _{\Sigma _\tau }vol_{\gamma _\tau } \quad g(E,V_H) = \int _{\Sigma _\tau }vol_{\gamma _\tau } \quad \left( -L_\tau {\mathscr {H}}\nonumber \right. \\&\quad \left. + \gamma _\tau (\vec {{\mathscr {H}}},\vec {N}_\tau )\right) = H_{(\vec {N}_\tau ,L_\tau )} \end{aligned}$$
    (9)

    where \({\mathscr {H}} = {\mathscr {H}}(\gamma ,\pi ,\varphi _i,p_i)\), \(\vec {{\mathscr {H}}} = \vec {{\mathscr {H}}}(\gamma ,\pi ,\varphi _i,p_i)\) and the evolution equation reads:

    $$\begin{aligned} \frac{dA(\tau )}{d\tau } = \frac{d}{d\tau }\left( \alpha _E^\tau \right) * A\mid _{\Sigma _\tau } = {\mathscr {L}}_E A\mid _{\Sigma _\tau }= \big \{H_{(\vec {N}_\tau ,L_\tau )},A\big \}, \end{aligned}$$
    (10)

    with the Poisson bracket defined with respect to all field variables (including the \((\gamma ,\pi )\) pair).

When no matter fields are present, setting \({\mathscr {H}}\) and \(\vec {{\mathscr {H}}}\) accordingly to (4) and (5) gives ADM gravity. For examples of gravity + matter systems with non-differential coupling captured in this form see [1]. It is not known if this particular form of geometrodynamics can capture more general gravity + matter systems. Considering the Minkowski space-time \(\mathbb {M}^4\) with \(E = \frac{\partial }{\partial s}\) gives \((\gamma ,\pi ) = (diag(1,1,1),0)\), \((X,\phi )=(0,1)\), thus allowing to recover the non-relativistic setup (watch the sign).

Plan of the Remaining of the Paper

In the next section we present the main observation concerning the evolution of the initial data with respect to the evolution vector field. A simple unambiguity requirement, namely the Postulate (Theorem 1) below, which takes its precise form in Eq. (11), will place a condition on the local behaviour of the evolution vector fields that can consistently be considered. Using the terminology of [3], we argue that the only evolution vector fields that should be considered are g-Gaussian with respect to any slice of the foliation.Footnote 4

In the fourth section we derive the Poisson bracket structure of the constraints as a consequence of the mentioned observation in this context. More precisely, by applying the geometrodynamical evolution equation to the Hamiltonian defined with respect to the evolution vector field that is different from the one fixing the dynamics, we prove that the Poisson bracket in question is reflected by the commutator of the relevant evolution vector fields. We identify the generators of the deformations with the lapse and shift of admissible evolution vector fields, which we argue to be g-Gaussian on each slice, thus providing the link between the Teitelboim construction of [2], the algebroid approach of [3] and the geometrodynamical constraints. Further, following [3], we calculate this commutator and show that it yields the correct structure.

The discussion is devoted to the reflection on the consequences of the advocated point of view in the light of the reconstruction of geometrodynamics proposed in [1]. We conclude that our result allows to justify the assumption of the particular Poisson bracket structure of the constraints to the point that it should, in our view, no longer be seen as an additional assumption on the top of the geometrodynamical framework, thus considerably strengthening the reconstruction result.

Our Postulate

In order to transform the fully covariant theory of General Relativity into a dynamical theory we break the 4-dimensional diffeomorphism invariance by assuming global hyperbolicity and fixing the slicing of the space-time with Cauchy surfaces. The initial data are then to be given on such a surface \(\Sigma _1\), while the evolution equations should predict their values at each point of the space-time, i.e. on any other slice of the foliation. As described in the Sect. 2 above, the ‘gravity + matter’ action can be written in the Lagrangian form with respect to such a foliation with the dynamical variables being fields on \(\Sigma _0\cong \Sigma _\tau\) and their Lie derivatives with respect the normal directions.

Here comes our crucial and new observation. On the one hand, we view the speeds of the fields as inhabiting the field theoretic configuration space, e.g. \(TRiem(\Sigma ) \cong Riem(\Sigma ) \times S^2(\Sigma )\) for the gravitational degrees of freedomFootnote 5. The solution of Hamilton’s equations, which now need to depend on the evolution vector field to retain diffeomorphism invariance, should give a curve on the configuration space: \(\tau \mapsto (\gamma _\tau ,k_\tau ) \in TRiem(\Sigma )\). The space \(\Sigma\) is here just a 3-dimensional manifold, which is not embedded in any space-time, like for non-relativistic field theories. But on the other hand, the ‘speeds’ of the fields are given through the Lie derivatives in the normal direction when the slices are glued together accordingly to the slicing chosen, i.e. when the particular solution in the form of the fields defined over a full 4-dimensional space-time is constructed. Indeed, this is how they come about when we slice a space-time filled with matter fields which satisfies the Einstein’s equation. As we will see, the compatibility of these two perspectives places a non-trivial requirement on the behaviour of the admissible evolution vector fields with respect to the space-time geometry. It can be stated as follows:

Theorem 1

(Postulate) The canonical and the covariant pictures of the generally relativistic field theory need to carry the same physical information. In particular, the dynamical data should coincide with the sliced space-time data.

This means that for any tensor field T over the space-time manifold M, any value of the slicing parameter \(\tau\), and its smallFootnote 6 change \(\Delta \tau\) we should have the same output regardless if we:

  1. 1.

    calculate the Lie derivative with respect to the normal vector field of \(\Sigma _\tau\), denoted by \({\mathscr {L}}_{{\hat{n}}_\tau }T\), and then allow the ‘time’ to flow for a little bit along the flow of the evolution vector field E (so that \(\Sigma _\tau\) will become \(\Sigma _{\tau +\Delta \tau }\)) and then read out the resulting 3-dimensional ‘speed’, or

  2. 2.

    take the Lie derivative with respect to \({\hat{n}}_{\tau +\Delta \tau }\) and read out the data straight from \(\Sigma _{\tau +\Delta \tau }\).

In mathematical terms our postulate then asserts exactly that for T, \(\tau\) and \(\Delta \tau\) as above we should always have:

$$\begin{aligned} \left( (\alpha _E^{\Delta \tau })^*{\mathscr {L}}_{{\hat{n}}_\tau }T\right) \mid _{\Sigma _{\tau +\Delta \tau }} = \left( {\mathscr {L}}_{{\hat{n}}_{\tau +\Delta \tau }}T\right) \mid _{\Sigma _{\tau +\Delta \tau }}, \end{aligned}$$
(11)

where \(\alpha _E^{\Delta \tau }\) denotes the relevant element of the one-parameter group of diffeomorphisms of M associated with the flow of E. The above equality holds since both sides of the equation denote the speed of the projected field T at \(\tau +\Delta \tau\) in the canonical picture: the left hand side represents the scenario in which the speed is calculated at \(\tau\) and evolved to \(\tau +\Delta \tau\), while the right hand side denotes the speed calculated straight at \(\tau +\Delta \tau\), which clearly mean the same thing to us and thus should be represented by the same mathematical objects. The simple Lemma below is crucial for our derivation of the constraints algebra:

Lemma 1

If the Eq. (11) above is satisfied for any T and \(\tau\) and sufficiently small \(\Delta \tau\), the following equality of vector fields holds:

$$\begin{aligned} (\alpha _E^{\Delta \tau })_* {\hat{n}}_\tau = {\hat{n}}_{\tau +\Delta \tau }. \end{aligned}$$
(12)

Remark 1

Let us stress here, that the Eq. (12) above is not satisfied in general, and even less it is tautological, as it may seem to be at first sight. This is simply because the two vector fields involved—namely \({\hat{n}}_\tau\) and \({\hat{n}}_{\tau +\Delta \tau }\)—are defined by different initial conditions: their flows are the future-oriented, time-like geodesics extending the unit normal vector fields given along different slices, and hence are unrelated in general. It would then be a mistake to assume the equation like the one above to hold without any justification, however plausible it may look. Indeed, the Lemma 1 that we are just going to prove serves exactly this purpose—it derives this property for the evolution vector fields that are allowed by our Postulate (Theorem 1). The equation (12) seems so plausible precisely because we think of the local Gaussian times as representing the local time flow, which indeed we can do, but only if the Postulate (Theorem 1) is granted.

Proof

For given \(\tau\) take \(\Delta \tau\) small enough so that both \(\Sigma _\tau\) and \(\Sigma _{\tau +\Delta \tau }\) lie in the intersection of their Gaussian neighbourhoods so that both sides of (11) are well-defined. Now for \(p \in \Sigma _{\tau +\Delta \tau }\) we calculate:

$$\begin{aligned} {\mathscr {L}}_{{\hat{n}}_{\tau +\Delta \tau }} T(p)&= (\alpha _E^{\Delta \tau })^*{\mathscr {L}}_{{\hat{n}}_\tau } T(p)\\&={\mathscr {L}}_{{\hat{n}}_\tau } T\left( \alpha _E^{\Delta \tau }(p)\right) \\&=\frac{d}{ds}\mid _{s=0}(\alpha ^s_{{\hat{n}}_\tau })^*T\left( \alpha _E^{\Delta \tau }(p)\right) \\&=\frac{d}{ds}\mid _{s=0}T\left( \alpha _E^{\Delta \tau } \circ \alpha _{{\hat{n}}_\tau }^s(p)\right) \\&=\frac{d}{ds}\mid _{s=0}(\alpha _E^{\Delta \tau } \circ \alpha _{{\hat{n}}_\tau }^s)^*T(p) = {\mathscr {L}}_{(\alpha _E^{\Delta \tau })_*{\hat{n}}_\tau }T(p).\\ \end{aligned}$$

Since T was arbitrary, this finishes the proof. \(\square\)

To sum up our considerations up to this point, we have argued that assuming our Postulate (Theorem 1), we can deduce that the evolution vector fields have to satisfy the condition (12) for any \(\tau\) and small enough \(\Delta \tau\). As already noted, this apparently simple requirement is in fact quite convoluted and might be confusing. Notice for instance, that the normal directions are defined with respect to the slices but depend also on the space-time metric g. The matter of (12) being satisfied is thus a complex issue depending on the background geometry of the space-time.Footnote 7

Consider now an evolution vector field E compatible with our Postulate (Theorem 1), and hence satisfying (12). For any vector field v on the neighbourhood of an arbitrary chosen slice \(\Sigma _\tau\) and a small enough \(\Delta \tau\), we then have:

$$\begin{aligned} \left( \alpha _E^{\Delta \tau }\right) ^*g \left( {\hat{n}}_\tau ,v\right) = g\left( \left( \alpha _E^{\Delta \tau }\right) _*{\hat{n}}_\tau ,\left( \alpha _E^{\Delta \tau }\right) _*v\right) = g\left( {\hat{n}}_{\tau +\Delta \tau },\left( \alpha _E^{\Delta \tau }\right) _*v\right) . \end{aligned}$$
(13)

This means that the inner product with the normal vector field on a given slice will not change when calculated on a slightly later slice, which in the limit \(\Delta \tau \rightarrow 0\) yields (see [3], p. 9):

$$\begin{aligned} ({\mathscr {L}}_Eg)({\hat{n}}_\tau ,v)\mid _{\Sigma _\tau } = 0. \end{aligned}$$
(14)

A vector field that satisfies (14) will be called \(\Sigma _\tau\)-Gaussian.Footnote 8 Therefore, the evolution vector fields compatible with our Postulate (Theorem 1) are \(\Sigma _\tau\)-Gaussian, for all \(\tau\). In order not to make the paper too technical, we will omit the proof of the following fact, which can be found in [3] (pp. 8–9).

Proposition 2

A vector field E, defined on a neighbourhood of an oriented embedded space-like hypersurface \(\Sigma \subset M\), is \(\Sigma _\tau\)-Gaussian iff it satisfies:

$$\begin{aligned} {\hat{n}}(L)\mid _{\Sigma _\tau } = 0,\quad \left[ {\hat{n}},\vec {N}\right] \mid _{\Sigma _\tau } = \text {grad}_{\gamma _\tau }L. \end{aligned}$$
(15)

where \(E = \vec {N} + L{\hat{n}}_\tau\) and \(\text {grad}_{\gamma _\tau }L\) denotes the gradient of the function L with respect to \(\gamma _\tau\), the Riemannian 3-metric of \(\Sigma _\tau\) inherited from M.

We can then conclude that the evolution vector fields allowed by our our Postulate (Theorem 1) will satisfy the Eq. (15) above at each slice.Footnote 9 As we will see, this local condition makes it possible to determine the infinitesimal behaviour of the evolution vector fields knowing their values on the slice alone, which will be crucial for our derivation of the constraints bracket in the next section.

Constraints Bracket Derivation

Notice first that the Hamiltonian can itself be seen as an functional, and hence we can apply to it the evolution Eq. (10). Then, just like in the non-relativistic case, anti-symmetry of the Poisson bracket assures that \(H_E\) is ‘constant’ in the sense that it does not evolve with respect to itself. We can however consider another Hamiltonian, arising from a different choice of the evolution vector field, say \(H_{E^{\prime }}\). Its evolution with respect to \(H_E\) is then given by their Poisson bracket, which hence reads:

$$\begin{aligned} \big \{H_{(\vec {N}_\tau ,L_\tau )},H_{(\vec {N}_\tau ^{\prime },L_\tau ^{\prime })}\big \}&= {\mathscr {L}}_E H_{E^{\prime }}\mid _{\Sigma _\tau } \end{aligned}$$
(16)
$$\begin{aligned}&= {\mathscr {L}}_E \int _{\Sigma _\tau } vol_{\gamma _\tau }\quad g(E',V_H)\mid _{\Sigma _\tau }\end{aligned}$$
(17)
$$\begin{aligned}&= \int _{\Sigma _\tau } vol_{\gamma _\tau }\quad E(g(E^{\prime },V_H))\end{aligned}$$
(18)
$$\begin{aligned}&= \int _{\Sigma _\tau } vol_{\gamma _\tau }\quad \big (g(\nabla _E E^{\prime },V_H) + g(E^{\prime },\nabla _E V_H)\big )\end{aligned}$$
(19)
$$\begin{aligned}&= \int _{\Sigma _\tau } vol_{\gamma _\tau }\quad g([E,E^{\prime }],V_H) = H_{[E,E^{\prime }]}(\tau ) = H_{[(\vec {N}_\tau ,L_\tau ),(\vec {N}_\tau ^{\prime },L_\tau ^{\prime })]}, \end{aligned}$$
(20)

where we have used: the evolution Eq. (16), the definition of the Hamiltonian (17), diffeomorphism-invariance of the 3-dimensional volume form, together with the fact that all slices are diffeomorphic and the Lie derivative of a function is simply acting on it with the vector field (18), metricity of the connection (19), the fact that the covariant derivative of one vector field with respect to another is given by their commutator, and that \([E,V_H] = 0\) (since \(V_H\) is constant on slice as it depends on the field data, and not on the points on \(\Sigma _\tau\) and E preserves its tangent-normal decomposition) (20), and finally the definition of the geometrodynamical Hamiltonian again.

The Poisson bracket of the constraints (or actually of the constraints paired with a vector field and a function, which are our Hamiltonians) is then given by the commutator of the evolution vector fields with respect to which they are defined. Thanks to Proposition 2 it can be calculated on each slice of the foliation, with the result depending on the slice chosen. Indeed, using (2) we can write:

$$\begin{aligned}&{[}(\vec {N}_\tau ,L_\tau ),(\vec {N}_\tau ^{\prime },L_\tau ^{\prime })]\mid _{\Sigma _\tau }\\&\quad = [\vec {N}_\tau + L_\tau {\hat{n}}_\tau ,\vec {N}_\tau ^{\prime } + L_\tau ^{\prime }{\hat{n}}_\tau ]\mid _{\Sigma _\tau } \\&\quad =[\vec {N}_\tau ,\vec {N}_\tau ^{\prime }] + [\vec {N}_\tau ,L_\tau ^{\prime }{\hat{n}}_\tau ]\mid _{\Sigma _\tau } + [L_\tau {\hat{n}}_\tau ,\vec {N}_\tau ^{\prime }]\mid _{\Sigma _\tau } + [L_\tau {\hat{n}}_\tau ,L_\tau ^{\prime }{\hat{n}}_\tau ]\mid _{\Sigma _\tau }\\&\quad =[\vec {N}_\tau ,\vec {N}_\tau ^{\prime }] + \vec {N}_\tau (L_\tau ^{\prime }){\hat{n}}_\tau + L_\tau ^{\prime }[\vec {N}_\tau ,{\hat{n}}_\tau ]\mid _{\Sigma _\tau } + L_\tau [{\hat{n}}_\tau ,\vec {N}_\tau ^{\prime }]\mid _{\Sigma _\tau } - \vec {N}_\tau ^{\prime }(L_\tau ){\hat{n}}_\tau \\&\qquad + L_\tau {\hat{n}}_\tau (L_\tau ^{\prime }){\hat{n}}_\tau - L_\tau ^{\prime }{\hat{n}}_\tau (L_\tau ){\hat{n}}_\tau . \end{aligned}$$

Now, since both evolution vector fields are \(\Sigma _\tau\)-Gaussian for any \(\tau\), using (15) gives:

$$\begin{aligned} {[}(\vec {N}_\tau ,L_\tau ),(\vec {N}_\tau ^{\prime },L_\tau ^{\prime })]\mid _{\Sigma _\tau }= & [\vec {N}_\tau ,\vec {N}_\tau ^{\prime }] + L_\tau \text {grad}_{\gamma _\tau }L_\tau ^{\prime }\\&- L_\tau ^{\prime }\text {grad}_{\gamma _\tau }L_\tau + (\vec {N}_\tau (L_\tau ^{\prime }) - \vec {N}_\tau ^{\prime }(L_\tau )){\hat{n}}_\tau , \end{aligned}$$

which yields exactly the Poisson bracket structure of the ADM constraints (6)–(8). The Poisson bracket of the constraints is then naturally dependent on the slice on which it is calculated, in particular on its inherited Riemannian geometry. We can conclude that indeed the way in which the Poisson bracket of the geometrodynamical constraints close could not be any different, as we have just derived it from the general form of the theory, using only the infinitesimal version of our Postulate (Theorem 1) in the form of Eq. (15). In other words, if we only insist on the geometrodynamical framework as described in the introduction to be self consistent in the sense of our Postulate (Theorem 1), the Poisson bracket structure of the constraints depends on the slice in a fixed manner as expected, regardless of the specifics of the matter fields that one wishes to consider.

Discussion

The conclusion of this short paper is simply that if the generally relativistic generalization of the Hamiltonian field theory in the shape of geometrodynamics is to be consistent—in the sense of satisfying our Postulate 1—the Poisson bracket structure of the constraints that govern evolution cannot be any different. This perspective clarifies the two intriguing observations mentioned in the introduction, namely that:

  1. (i)

    The bracket structure is insensitive to the matter content (as long as the coupling is non-derivative)—this is simply because so is our derivation of it.

  2. (ii)

    Its origin is indeed purely geometric, with the link to dynamics given by our interpretation of the \(\Sigma\)-Gaussian vector fields (that was the missing element of [3]).

Our result is particularly interesting in the context of the third point mentioned in the introduction, namely the work of Hojman et al. [1], who reach the following conclusion:

Einsteinian geometrodynamics is the only (time-reversible) canonical representation of the set of generators of deformations of a space-like hypersurface embedded in a Riemannian spacetime, if the intrinsic metric of that hypersurface and a conjugate momentum are the sole canonical variables.

By ‘Einsteinian geometrodynamics’ they mean precisely the framework we described in Sect. 3 with the ADM constraints and, as is clear from the remaining of the sentence, they refer to the situation with no matter fields. ‘Deformations of a space-like hypersurface embedded in a Riemannian spacetime’ is the geometrical framework developed by Teitelboim in [2] and further clarified in [3] that allows to generate the bracket structure identical with the Poisson bracket structure of the ADM constraints as the commutator of the generators of such deformations. Confusingly, ‘Riemannian spacetime’ means what we now call a connected Lorentzian manifold. The term ‘canonical representation’ refers to the fact that the Poisson bracket structure of the constraints is assumed to be of this specific form. The cited claim can then be rephrased as:

From the correct Poisson bracket structure of the pure geometrodynamical constraints and time-reversibility of the theory ADM gravity can be deduced.

The authors thus derive the gravitational constraints (4) and (5) from the following assumptions: (1) the general form of the theory as presented in our introduction, (2) time-reversibility and (3) the particular Poisson bracket structure of the constraints. We believe that we have improved this already remarkable result by recognizing the representation assumption (4) to be merely a consistency requirement, derivable from the correct interpretation of the geometrodynamical framework. In the light of our result the cited claim then yields:

Theorem 3

The only consistent time-reversal pure geometrodynamics is the ADM gravity.

The point we are making here is a bit subtle. The ‘representation requirement’ of [1] is motivated by (1) the fact that it holds for ADM gravity and (2) the geometric construction developed by Teitelboim [2]. It is already plausible to assume that the commutator structure of the generators of hyper-surface deformations of [2] is matched by the geometrodynamical evolution given by the Poisson brackets of the constraints. Our point is to further justify this insight by showing that it follows directly from the Postulate 1, which we think should be seen as a part of the geometrodynamical framework. Indeed, as we argue in the Sect. 2, without it the interpretation of dynamical data would be ambiguous.