definition 14.83 Contraction
open in the book ·
parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3615
· p. 583
- ground object -- no derivation owed
Rests on
No declared or derived dependency edges point away from this node yet.
Supports
- depends_on corollary A.59 The eight vanishing patterns are the contraction cube ¶
- depends_on lemma 14.87 A rescaled Casimir stays central ¶
- depends_on lemma 14.86 The Inönü–Wigner contraction along a subalgebra ¶
- depends_on proposition 14.84 Properties of a contraction ¶
-
depends_on
theorem 14.90
Bacry–Lévy-Leblond
¶
- depends_on corollary 15.46 The sign data, hypothesis (H3), and the count eleven ¶
-
depends_on
corollary 15.44
The eight vertices are the eight degenerations of $A$
¶
- depends_on remark 15.45 A correction this forces: the general splitting gives the static algebra, not Carroll ¶
-
depends_on
definition A.413
The Galilei algebra of three space dimensions
¶
- depends_on proposition A.419 The coboundaries ¶
-
depends_on
proposition A.418
The cocycles
¶
- depends_on proposition A.419 The coboundaries ¶ ↺
- depends_on theorem A.414 $H^{2}$ of the Galilei algebra ¶
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 eight vanishing patterns are the contraction cube | declared | appendices/A-long-proofs.tex:4039 |
depends_on |
← | A rescaled Casimir stays central | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3803 |
depends_on |
← | The Inönü–Wigner contraction along a subalgebra | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3761 |
depends_on |
← | Properties of a contraction | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3659 |
depends_on |
← | Bacry–Lévy-Leblond | declared | parts/02-mathematical-methods/12-lie-groups-fibre-bundles.tex:3913 |