proposition 106.90 Wess–Zumino consistency
open in the book ·
parts/11-qft-standard-model/08-path-integral-quantization.tex:4204
· p. 2202
Rests on
- depends_on equation 106.37 eq:pathint-W ¶
- depends_on equation 106.67 eq:pathint-gauge-transformation ¶
- proves proof ch:08-path-integral-quantization@proof-61 ¶
Supports
-
depends_on
theorem 106.95
The cancellation condition
¶
- depends_on proposition 104.53 One generation is anomaly free ¶
- depends_on proposition 106.96 The Standard Model cancels, and only with three colours ¶
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 |
|---|---|---|---|---|
cites |
→ | Consequences of anomalous ward identities | derived | parts/11-qft-standard-model/08-path-integral-quantization.tex:4216 |
depends_on |
→ | eq:pathint-W | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:4217 |
depends_on |
→ | eq:pathint-gauge-transformation | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:4217 |
depends_on |
← | The cancellation condition | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:4647 |
proves |
← | ch:08-path-integral-quantization@proof-61 | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:4220 |