theorem 106.52 Faddeev–Popov
open in the book ·
parts/11-qft-standard-model/08-path-integral-quantization.tex:2530
· p. 2183
Rests on
- depends_on equation 106.67 eq:pathint-gauge-transformation ¶
-
depends_on
proposition 106.51
The naive integral diverges by the volume of the
gauge group
¶
- depends_on equation 106.67 eq:pathint-gauge-transformation ¶ ↺
- depends_on equation 106.65 eq:pathint-ym-lagrangian ¶
- proves proof ch:08-path-integral-quantization@proof-36 ¶
- proves proof ch:08-path-integral-quantization@proof-37 ¶
Supports
-
depends_on
corollary 106.53
Why electrodynamics has no ghosts
¶
-
depends_on
theorem 102.25
Gauge fixing needs a determinant
¶
- depends_on proposition 102.29 Feynman rules for QCD in SI form ¶
-
depends_on
theorem 102.26
Non-abelian gauge theories are renormalizable
¶
- depends_on proposition 102.28 The parameters of QCD ¶
-
depends_on
theorem 102.25
Gauge fixing needs a determinant
¶
- depends_on theorem 102.25 Gauge fixing needs a determinant ¶ ↺
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 |
→ | eq:pathint-gauge-transformation | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:2557 |
depends_on |
→ | The naive integral diverges by the volume of the gauge group | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:2557 |
depends_on |
← | Why electrodynamics has no ghosts | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:2616 |
depends_on |
← | Gauge fixing needs a determinant | declared | parts/11-qft-standard-model/04-qcd.tex:985 |
proves |
← | ch:08-path-integral-quantization@proof-37 | declared | parts/11-qft-standard-model/08-path-integral-quantization.tex:2561 |