Relativity and gravitational theory Definition
Hartle–Hawking state
Builds on Euclidean quantum gravityWheeler–DeWitt equationRiemannian manifold
Definition
Let be a closed three-manifold with a Riemannian metric and matter field configuration on . The Hartle–Hawking state is the wave function where is the Euclidean action of gravity and matter as in Euclidean quantum gravity. The formal integral runs over compact four-manifolds with and over Riemannian metrics on inducing . It also runs over matter fields on restricting to .
Remarks
The integral has no other boundary, hence the name no-boundary proposal. Formally satisfies the Wheeler–DeWitt equation, because the integrand is invariant under diffeomorphisms and the integral over the lapse imposes the Hamiltonian constraint. Example: take the minisuperspace model with a cosmological constant and a round three-sphere of radius . For small the dominant saddle is a portion of a round four-sphere of radius capping off . For it continues as half a four-sphere glued to Lorentzian de Sitter space, and the wave function oscillates. Non-example: a path integral over cylinders with a fixed initial metric on is not the Hartle–Hawking state, since it has a second boundary. Vilenkin's tunnelling wave function is a different proposal with different boundary conditions on the same equation.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Euclidean quantum gravity concept
- Riemannian manifold concept
- Wheeler–DeWitt equation concept
- Hartle–Hawking state definition
Further reading
About this page
| Tag | MRY9JZTK9V |
|---|---|
| URI | m2://MRY9JZTK9V |
| Kind | definition |
| Writing | W0 stub |
| MSC | 83C45, 83F05 |
| Defines | Hartle–Hawking state |
| Uses | Euclidean quantum gravity, Wheeler–DeWitt equation, Riemannian manifold |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.