proposition 101.70 The effective neutral-current interaction
open in the book ·
parts/11-qft-standard-model/03-weak-interactions.tex:3353
· p. 1979
Rests on
- depends_on equation 101.75 eq:weak-gv-ga ¶
- depends_on equation 101.74 eq:weak-z-coupling ¶
-
depends_on
proposition 101.68
The low-energy limit reproduces Fermi
¶
- depends_on equation 100.17 eq:qed-photon-propagator ¶
- depends_on equation 101.46 eq:weak-muon-lagrangian ¶
-
depends_on
proposition 100.14
The Feynman rules of QED in SI form
¶
- depends_on equation 100.2 eq:qed-action ¶
-
depends_on
proposition 100.8
The photon propagator
¶
- depends_on equation 100.2 eq:qed-action ¶ ↺
- depends_on equation 100.16 eq:qed-gauge-fixing-term ¶
- depends_on equation 100.15 eq:qed-photon-kernel ¶
- proves proof ch:02-qed-renormalization@proof-4 ¶
-
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-7 ¶
- proves proof ch:03-weak-interactions@proof-47 ¶
- proves proof ch:03-weak-interactions@proof-48 ¶
Supports
- depends_on phenomenon 101.72 Neutrinos scatter without becoming charged leptons ¶
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:weak-gv-ga | declared | parts/11-qft-standard-model/03-weak-interactions.tex:3368 |
depends_on |
→ | eq:weak-z-coupling | declared | parts/11-qft-standard-model/03-weak-interactions.tex:3368 |
depends_on |
→ | The low-energy limit reproduces Fermi | declared | parts/11-qft-standard-model/03-weak-interactions.tex:3368 |
depends_on |
← | Neutrinos scatter without becoming charged leptons | declared | parts/11-qft-standard-model/03-weak-interactions.tex:3488 |
proves |
← | ch:03-weak-interactions@proof-48 | declared | parts/11-qft-standard-model/03-weak-interactions.tex:3371 |