remark 26.18 The Frobenius theorem is owed by Part II
open in the book ·
parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:538
· p. 905
- remark -- no derivation owed by its kind
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
-
depends_on
theorem 26.17
Counting the physical degrees of freedom
¶
- depends_on corollary A.642 The constraints are first class ¶
-
depends_on
definition 26.23
Gauge conditions
¶
-
depends_on
proposition 26.24
The Faddeev–Popov determinant
¶
- depends_on remark 26.26 What the factor is doing ¶
-
depends_on
proposition 26.24
The Faddeev–Popov determinant
¶
-
depends_on
proposition 26.32
Constraint structure of the free Maxwell field
¶
-
depends_on
proposition 26.34
Proca constraints are second class
¶
- depends_on proposition 113.3 Degrees of freedom before and after ¶
- depends_on proposition 26.37 Constraint structure of Yang–Mills theory ¶
-
depends_on
proposition 26.34
Proca constraints are second class
¶
- depends_on proposition 26.34 Proca constraints are second class ¶ ↺
- depends_on proposition 26.29 Reparametrization invariance and the mass-shell constraint ¶
-
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 lemma A.638 Naturality ¶
-
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
¶
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 |
← | Counting the physical degrees of freedom | declared | parts/03-classical-mechanics/09-constrained-hamiltonian-dynamics.tex:490 |