definition A.384 The mass shell and the standard momentum
open in the book ·
appendices/A-long-proofs.tex:18827
· p. 2979
- ground object -- no derivation owed
Rests on
-
depends_on
lemma 14.68
The algebra fixing a timelike momentum
¶
- depends_on equation 14.23 eq:lie-sopq-defining ¶
-
depends_on
proposition 14.22
The rank of $\mathfrak{so}(p,q)$
¶
- depends_on definition 14.20 Cartan subalgebra and rank ¶
- depends_on equation 14.90 eq:lie-algebrasopq ¶
-
depends_on
theorem 14.21
Racah
¶
-
depends_on
definition 14.8
Casimir element
¶
- depends_on definition 14.5 Universal enveloping algebra ¶
- depends_on definition 14.20 Cartan subalgebra and rank ¶ ↺
- proves proof ch:12-lie-groups-fibre-bundles@prooflink-3 ¶
-
depends_on
definition 14.8
Casimir element
¶
- proves proof ch:12-lie-groups-fibre-bundles@proof-7 ¶
- proves proof ch:12-lie-groups-fibre-bundles@proof-32 ¶
- depends_on notation 14.1 not:lie-indices ¶
Supports
-
depends_on
lemma A.387
Standard boost and transitivity
¶
-
depends_on
lemma A.388
The invariant measure
¶
-
depends_on
proposition A.390
Construction
¶
- depends_on proposition A.391 Reducible little-group data give reducible representations ¶
- depends_on theorem A.392 Wigner–Mackey classification; quoted ¶
-
depends_on
proposition A.390
Construction
¶
- depends_on proposition A.390 Construction ¶ ↺
-
depends_on
lemma A.388
The invariant measure
¶
-
depends_on
lemma A.386
The little group
¶
- depends_on proposition A.390 Construction ¶ ↺
- depends_on lemma A.388 The invariant measure ¶ ↺
- depends_on theorem A.385 Labels of a massive representation ¶
- depends_on theorem A.392 Wigner–Mackey classification; quoted ¶ ↺
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 algebra fixing a timelike momentum | declared | appendices/A-long-proofs.tex:18840 |
depends_on |
→ | not:lie-indices | declared | appendices/A-long-proofs.tex:18840 |
depends_on |
← | Standard boost and transitivity | declared | appendices/A-long-proofs.tex:18912 |
depends_on |
← | The little group | declared | appendices/A-long-proofs.tex:18874 |
depends_on |
← | The invariant measure | declared | appendices/A-long-proofs.tex:18982 |
depends_on |
← | Labels of a massive representation | declared | appendices/A-long-proofs.tex:18860 |
depends_on |
← | Wigner–Mackey classification; quoted | declared | appendices/A-long-proofs.tex:19176 |