proposition 100.6 The coupling is universal
open in the book ·
parts/11-qft-standard-model/02-qed-renormalization.tex:284
· p. 1902
Rests on
- depends_on equation 100.9 eq:qed-covariant-derivative ¶
- depends_on equation 100.7 eq:qed-local-phase ¶
-
depends_on
theorem 100.5
The gauge principle
¶
- depends_on equation 100.6 eq:qed-current ¶
- depends_on equation 100.5 eq:qed-free-dirac ¶
- proves proof ch:02-qed-renormalization@proof-1 ¶
- proves proof ch:02-qed-renormalization@proof-2 ¶
Supports
-
depends_on
phenomenon 101.40
The vector coupling is not renormalized
¶
-
depends_on
phenomenon 101.43
One coupling governs every charged-current
process
¶
- depends_on phenomenon 103.7 Strangeness-changing decays are suppressed, by one angle ¶
- depends_on phenomenon 101.55 Strangeness-changing decays are suppressed by one angle ¶
-
depends_on
phenomenon 101.43
One coupling governs every charged-current
process
¶
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:qed-covariant-derivative | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:290 |
depends_on |
→ | eq:qed-local-phase | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:290 |
depends_on |
→ | The gauge principle | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:290 |
depends_on |
← | The vector coupling is not renormalized | declared | parts/11-qft-standard-model/03-weak-interactions.tex:1898 |
proves |
← | ch:02-qed-renormalization@proof-2 | declared | parts/11-qft-standard-model/02-qed-renormalization.tex:294 |