Step 25. The Hamiltonian (energy) constraint on each slice

The “energy balance” that must hold on every time-slice is

\[ \boxed{\; \mathcal{H}_{\perp} = \frac{16\pi}{\sqrt{\gamma}}\!\left(\pi_{ij}\pi^{ij}-\tfrac12\,\pi^{2}\right) - \frac{\sqrt{\gamma}}{16\pi}\,{}^{(3)}\!R \;\approx\;0 \;} \]

(geometric units \(G=c=1\)). It says: the kinetic curvature of the slice (the quadratic momenta \(\pi^{ij}\)) must exactly balance the intrinsic curvature of the 3-geometry (the scalar curvature \({}^{(3)}\!R\)). Because the lapse \(N=e^{\Phi}\) multiplies this constraint in the Hamiltonian (Step 24), varying \(N\) enforces \(\mathcal{H}_{\perp}\!\approx\!0\); \(\Phi\) itself does not add a propagating scalar degree of freedom. Solving \(\mathcal{H}_{\perp}=0\) together with the momentum constraints (next step) removes all non-TT parts, leaving only the two transverse–traceless graviton modes to propagate.

(If you like, recall \(\pi^{ij}\!\propto\!\sqrt{\gamma}(K^{ij}-\gamma^{ij}K)\): the momentum encodes the slice’s extrinsic curvature—how the slice bends in spacetime. Then \(\mathcal{H}_{\perp}=0\) is a Gauss-law–like relation between “bending rate” and “stored curvature.”)

Mini-Glossary

Symbol Name Meaning Value / Units Metaphor
\(\mathcal{H}_{\perp}\) Hamiltonian (normal) constraint Energy balance on a slice; must vanish \(\approx 0\) “Gauss law for gravity on the slice”
\(\gamma_{ij}\) spatial metric 3-metric on the time slice length\(^2\) components “Ruler grid of the slice”
\(\gamma \equiv \det\gamma_{ij}\) metric determinant volume element \(\sqrt{\gamma}\,d^3x\) (length)\(^3\) “Cell size of the grid”
\({}^{(3)}\!R\) scalar curvature of slice intrinsic curvature built from \(\gamma_{ij}\) 1/length\(^2\) “How the grid is curved within itself”
\(\pi^{ij}\) canonical momentum conjugate to \(\gamma_{ij}\); \(\sim\!\sqrt{\gamma}(K^{ij}-\gamma^{ij}K)\) density-like “How fast the grid is bending”
\(\pi \equiv \gamma_{ij}\pi^{ij}\) trace of momentum trace part of \(\pi^{ij}\) density-like “Overall squish/stretch rate”
\(K_{ij},\,K\) extrinsic curvature & trace embedding curvature of the slice in spacetime 1/length “Bend of the slice into tomorrow”
\(N=e^{\Phi}\) lapse (time potential) multiplies \(\mathcal{H}_{\perp}\) in \(\mathcal{H}\) dimensionless “Knob that enforces the rule, not a new field”