proposition 106.96 The Standard Model cancels, and only with three colours

Rests on

• depends_on equation 106.110 eq:pathint-anomaly-coefficient ¶
• depends_on theorem 106.95 The cancellation condition ¶
  • depends_on proposition 106.88 The obstruction ¶
    • depends_on lemma 106.86 A shift of a divergent integral leaves a surface term ¶
      • depends_on theorem 7.133 Gauss ¶
        • depends_on definition 7.127 Simple regions ¶
        • depends_on remark 7.128 What the derivations below take as given ¶
        • depends_on theorem 7.43 Fundamental theorem of calculus, II ¶
        • proves proof ch:05-real-analysis@proof-79 ¶
      • proves proof ch:08-path-integral-quantization@proof-59 ¶
    • depends_on theorem 100.17 Superficial degree of divergence ¶
      • depends_on equation 100.23 eq:qed-fermion-propagator ¶
      • depends_on equation 100.17 eq:qed-photon-propagator ¶
      • depends_on theorem 100.10 Furry ¶
        • depends_on definition 100.9 Charge conjugation on the Dirac field ¶
        • depends_on equation 100.20 eq:qed-C-matrix ¶
        • proves proof ch:02-qed-renormalization@proof-5 ¶
      • proves proof ch:02-qed-renormalization@proof-8 ¶
    • proves proof ch:08-path-integral-quantization@proof-60 ¶
  • depends_on proposition 106.90 Wess–Zumino consistency ¶
    • depends_on equation 106.37 eq:pathint-W ¶
    • depends_on equation 106.67 eq:pathint-gauge-transformation ¶
    • proves proof ch:08-path-integral-quantization@proof-61 ¶
  • proves proof ch:08-path-integral-quantization@proof-65 ¶
• proves proof ch:08-path-integral-quantization@proof-66 ¶

Supports

Nothing declares a dependency on this node yet.