theorem 104.19 The abelian Higgs mechanism

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

Rests on

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 ¶

Supports

depends_on theorem 104.22 Kibble: the gauge-boson mass matrix ¶
- depends_on theorem 104.25 The breaking pattern ¶
  - depends_on proposition 113.3 Degrees of freedom before and after ¶
- depends_on theorem 104.28 The gauge boson masses ¶
  - 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 ¶
depends_on theorem 104.45 The $R_{\xi}$ gauges ¶
- depends_on proposition 104.47 The Goldstone-boson equivalence theorem ¶
  - depends_on phenomenon 104.57 The gauge bosons couple to one another ¶
  - depends_on theorem 104.51 Longitudinal $W$ scattering bounds the scalar mass ¶

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-goldstone-expansion	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:811
`depends_on`	→	eq:ewh-longitudinal	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:811
`depends_on`	→	eq:qed-gauge-transformation	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:811
`depends_on`	←	Kibble: the gauge-boson mass matrix	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:979
`depends_on`	←	The $R_{\xi}$ gauges	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:2079
`proves`	←	ch:06-electroweak-higgs@proof-8	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:815