definition 43.2 Einstein–Hilbert action
open in the book ·
parts/05-general-relativity-cosmology/02-geometric-formulation.tex:168
· p. 1260
- ground object -- no derivation owed
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
definition 26.40
The $3+1$ decomposition
¶
-
depends_on
lemma A.623
The adapted frame of the $3+1$ split
¶
-
depends_on
lemma A.626
Decomposition of $\nabla n$, and the acceleration
¶
-
depends_on
lemma A.630
Codazzi equation
¶
- depends_on theorem 44.42 The constraint equations ¶
-
depends_on
lemma A.631
The normal–normal Ricci contraction
¶
- depends_on theorem A.632 The $3+1$ identity for the curvature scalar ¶
-
depends_on
lemma A.630
Codazzi equation
¶
-
depends_on
lemma A.626
Decomposition of $\nabla n$, and the acceleration
¶
-
depends_on
proposition 26.41
The ADM form of the Einstein–Hilbert Lagrangian
¶
-
depends_on
theorem 26.42
The Hamiltonian structure of general relativity
¶
-
depends_on
notation A.636
Densities and smearing
¶
- depends_on lemma A.637 Closed form of $H_{\parallel}$, and what it generates ¶
- depends_on proposition 26.43 The hypersurface-deformation algebra ¶
-
depends_on
notation A.636
Densities and smearing
¶
-
depends_on
theorem 26.42
The Hamiltonian structure of general relativity
¶
-
depends_on
lemma A.623
The adapted frame of the $3+1$ split
¶
-
depends_on
theorem 43.3
Equivalence of the two variable sets
¶
- depends_on proposition 44.13 First-order variation in vielbein-form variables ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
← | The $3+1$ decomposition | declared | parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:1582 |
depends_on |
← | Equivalence of the two variable sets | declared | parts/05-general-relativity-cosmology/02-geometric-formulation.tex:193 |