Hi. I've been wondering about the following and haven't made much progress on it. To set the scene, consider the following. Suppose that we have some sort of discrete theory in which the phase space variables are [tex]q^i[/tex] and [tex]p_i[/tex]. If we have some functions [tex]F(q,p)[/tex] and [tex]G(q,p)[/tex] we can define their Poisson bracket as

[tex]\{F,G\} = \sum_i\left( \frac{\partial F}{\partial q^i}\frac{\partial G}{\partial p_i} - \frac{\partial F}{\partial p_i}\frac{\partial G}{\partial q^i}\right)

[/tex]

Then, for example, we have the following fundamental Poisson brackets

[tex]

\{q^i,p_j\} = \delta^i_{\phantom{i}j},

\{q^i,q^j\} = \{p_i,p_j\} = 0.

[/tex]

Now suppose that we go to a field theory in which the fundamental `variables' are the position-dependent [tex]q^i(\vec{x})[/tex] and [tex]\pi_j(\vec{x})[/tex]. The Poisson brackets of two functionals [tex]F(q,\pi)[/tex] and [tex]G(q,\pi)[/tex] are then

[tex]\{F,G\} \equiv \sum_i \int_\mathcal{M} dv \left( \frac{\delta F}{\delta q^i}\frac{\delta G}{\delta \pi_i} - \frac{\delta F}{\delta \pi_i}\frac{\delta G}{\delta q^i}\right).[/tex]

With this definition we obtain

[tex]\{q^i(\vec{x}),\pi_j(\vec{x}')\} = \delta^i_{\phantom{i}j}\delta(\vec{x}-\vec{x}'),

\{q^i(\vec{x}),q^j(\vec{x}')\} = \{\pi_i(\vec{x}),\pi_j(\vec{x}')\} = 0.[/tex]

That's all fine and good. But, in the Hamiltonian version of general relativity the fundamental variables are actually the three-dimensional metric [tex]g_{ij}(\vec{x})[/tex] and [tex]\pi^{ij}(\vec{x})[/tex], both of which are symmetric tensors. I can define the Poisson brackets for these variables easily as

[tex]

\{F,G\} \equiv \int_\mathcal{M}\left( \frac{\delta F}{\delta g_{ij}}\frac{\delta G}{\delta \pi^{ij}} - \frac{\delta F}{\delta\pi^{ij}}\frac{\delta G}{\delta g_{ij}}\right).

[/tex]

My question is this: what exactly is

[tex]\frac{\delta g_{ij}}{\delta g_{kl}}?[/tex]

I assume that it's not something simple like [tex]\delta^i_k\delta^j_l[/tex] and that it has to reflect the symmetry of the metric tensor, but I can't seem to figure it out. Since I can't figure it out, neither can I work out explicitly what the fundamental Poisson brackets for GR should be.

Can anyone shed some light on this? An immediate extension that springs to mind is the general case of the above, i.e., if [tex]T^{a_1\ldots a_r}[/tex] is some arbitrary (r,0) tensor then what is

[tex]\frac{\delta T^{a_1\ldots a_r}}{\delta T^{b_1\ldots b_r}}[/tex]?

[tex]\{F,G\} = \sum_i\left( \frac{\partial F}{\partial q^i}\frac{\partial G}{\partial p_i} - \frac{\partial F}{\partial p_i}\frac{\partial G}{\partial q^i}\right)

[/tex]

Then, for example, we have the following fundamental Poisson brackets

[tex]

\{q^i,p_j\} = \delta^i_{\phantom{i}j},

\{q^i,q^j\} = \{p_i,p_j\} = 0.

[/tex]

Now suppose that we go to a field theory in which the fundamental `variables' are the position-dependent [tex]q^i(\vec{x})[/tex] and [tex]\pi_j(\vec{x})[/tex]. The Poisson brackets of two functionals [tex]F(q,\pi)[/tex] and [tex]G(q,\pi)[/tex] are then

[tex]\{F,G\} \equiv \sum_i \int_\mathcal{M} dv \left( \frac{\delta F}{\delta q^i}\frac{\delta G}{\delta \pi_i} - \frac{\delta F}{\delta \pi_i}\frac{\delta G}{\delta q^i}\right).[/tex]

With this definition we obtain

[tex]\{q^i(\vec{x}),\pi_j(\vec{x}')\} = \delta^i_{\phantom{i}j}\delta(\vec{x}-\vec{x}'),

\{q^i(\vec{x}),q^j(\vec{x}')\} = \{\pi_i(\vec{x}),\pi_j(\vec{x}')\} = 0.[/tex]

That's all fine and good. But, in the Hamiltonian version of general relativity the fundamental variables are actually the three-dimensional metric [tex]g_{ij}(\vec{x})[/tex] and [tex]\pi^{ij}(\vec{x})[/tex], both of which are symmetric tensors. I can define the Poisson brackets for these variables easily as

[tex]

\{F,G\} \equiv \int_\mathcal{M}\left( \frac{\delta F}{\delta g_{ij}}\frac{\delta G}{\delta \pi^{ij}} - \frac{\delta F}{\delta\pi^{ij}}\frac{\delta G}{\delta g_{ij}}\right).

[/tex]

My question is this: what exactly is

[tex]\frac{\delta g_{ij}}{\delta g_{kl}}?[/tex]

I assume that it's not something simple like [tex]\delta^i_k\delta^j_l[/tex] and that it has to reflect the symmetry of the metric tensor, but I can't seem to figure it out. Since I can't figure it out, neither can I work out explicitly what the fundamental Poisson brackets for GR should be.

Can anyone shed some light on this? An immediate extension that springs to mind is the general case of the above, i.e., if [tex]T^{a_1\ldots a_r}[/tex] is some arbitrary (r,0) tensor then what is

[tex]\frac{\delta T^{a_1\ldots a_r}}{\delta T^{b_1\ldots b_r}}[/tex]?

Last edited: