theorem 104.28 The gauge boson masses

open in the book · parts/11-qft-standard-model/06-electroweak-higgs.tex:1200 · p. 2084

Rests on

depends_on equation 104.29 eq:ewh-vacuum ¶
depends_on notation 104.1 Dimensionless couplings and the electroweak scale ¶
depends_on theorem 104.22 Kibble: the gauge-boson mass matrix ¶
- depends_on theorem 104.19 The abelian Higgs mechanism ¶
  - depends_on equation 104.16 eq:ewh-goldstone-expansion ¶
  - depends_on equation 104.6 eq:ewh-longitudinal ¶
  - depends_on equation 100.8 eq:qed-gauge-transformation ¶
  - proves proof ch:06-electroweak-higgs@proof-8 ¶
- depends_on theorem 104.17 Goldstone's theorem, tree level ¶
  - depends_on definition 104.14 Spontaneous breaking ¶
  - proves proof ch:06-electroweak-higgs@proof-7 ¶
- proves proof ch:06-electroweak-higgs@proof-10 ¶
proves proof ch:06-electroweak-higgs@proof-13 ¶

Supports

depends_on theorem 104.41 Ross–Veltman: $\rho$ counts the representation ¶
- depends_on phenomenon 113.6 The weak bosons are massive and the photon is not ¶
  - depends_on phenomenon 113.17 A new boson near 125 GeV ¶

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:ewh-vacuum	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1224
`depends_on`	→	Dimensionless couplings and the electroweak scale	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1224
`depends_on`	→	Kibble: the gauge-boson mass matrix	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1224
`depends_on`	←	Ross–Veltman: $\rho$ counts the representation	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1880
`proves`	←	ch:06-electroweak-higgs@proof-13	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1227