theorem 104.25 The breaking pattern

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

Rests on

depends_on equation 104.27 eq:ewh-scalar-lagrangian ¶
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 ¶
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 ¶ ↺
- proves proof ch:06-electroweak-higgs@proof-10 ¶
proves proof ch:06-electroweak-higgs@proof-11 ¶

Supports

depends_on proposition 113.3 Degrees of freedom before and after ¶

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-scalar-lagrangian	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1094
`depends_on`	→	Goldstone's theorem, tree level	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1094
`depends_on`	→	Kibble: the gauge-boson mass matrix	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1094
`depends_on`	←	Degrees of freedom before and after	declared	parts/11-qft-standard-model/15-exp-higgs-discovery.tex:161
`proves`	←	ch:06-electroweak-higgs@proof-11	declared	parts/11-qft-standard-model/06-electroweak-higgs.tex:1097