Exer

ise 1.1.1.1.1a: Given lo ality, ausality, Lorentz invarian e, and known

physi al data sin e 1860, show that the Lagrangian des ribing all observed phys-
i al pro esses (sans gravity) an be written:

1  ga  ga gs f ab  ga gb g 14 gs2 f ab f ade gb g gd ge +

2    
1 2 q   q  )g a + G a  2 Ga + gs f ab  G a Gb g  W + W
2 igs ( i j    
M 2 W+ W 12  Z0  Z0 2 12w M 2 Z0 Z0 21  A  A 12  H H
1 m2 H 2  +   M 2 +  1  0  0 1 M0 0  [ 2M 2 +
2 h 2   2 2w h g2
2M H + 1 (H 2 + 0 0 + 2+ )℄ + 2M2 4 h ig w [ Z 0 (W +W
g 2 g   
+ 0 +
W W ) Z (W  W W  W ) + Z (W  W + 0 +
W  W+ )℄ igsw [ A (W+ W W+ W ) A (W+ W
W  W+ ) + A (W+ W W  W+)℄ 12 g 2 W+ W W+W +
1 g 2 W + W W + W + g 2 2 (Z 0 W + Z 0 W Z0 Z0 W+W ) +
2 2  +   w    
g sw (A W A W A A W W ) + g sw w [A Z0 (W+ W
2 + 2
W+ W ) 2A Z0 W+ W ℄ g[H 3 + H0 0 + 2H+ ℄
1 g 2 h [H 4 +(0 )4 +4(+ )2 +4(0 )2 +  +4H 2 +  +2(0 )2 H 2 ℄
8
gMW+ W H 21 g M2w Z0 Z0 H 21 ig [W+(0     0 )
W (0  + +  0 )℄ + 21 g [W+(H    H ) W (H +
+  H )℄+ 21 g 1w (Z0 (H 0 0  H ) ig sww MZ0 (W+  W + )+
2

igsw MA (W+  W + ) ig 1 2 2w w Z0 (+     +) +

2

igsw A (+     + ) 41 g 2W+ W [H 2 + (0 )2 + 2+ ℄

1 21 0 0 2 02 2 2 + 1 2 s2w 0 0 +
4 g 2w Z Z [H + ( ) + 2(2sw 1)   ℄ 2 g w Z  (W  +
W + ) 12 ig 2 s ww Z0 H (W+ W + ) + 21 g 2 sw A 0 (W+ +
2

W + ) + 12 ig 2 sw A H (W+ W + ) g 2 s ww (2 2w 1)Z0 A + 
g 1s2w A A +  e (  + me )e    uj (  + mu )uj
dj (  + md )dj + igsw A [ (e  e ) + 23 (uj  uj ) 13 (dj  dj )℄ +
ig 0   5  2 5    4 2
4 w Z [( (1 + ) ) + (e (4sw 1 )e ) + (uj ( 3 sw
 

1 5 )uj ) + (dj  (1 83 s2w 5 )dj )℄ + 2ig p2 W+ [(   (1 + 5 )e ) +

(uj  (1 + 5 )C dj)℄ + 2igp2 W [(e  (1 + 5 )  ) + (djC y  (1 +
5 )uj)℄ + 2igp2 mMe [ + (  (1 5 )e ) +  (e (1 + 5 )  )℄


g me 0  5  ig + 5 
2 M [H (e e ) + i (e e )℄ + 2M p2  [ md (uj C (1 )dj ) +
   

mu (uj C (1+ 5)dj ℄+ 2Migp2  [md (dj C y (1+ 5)u) m (d C y (1
j u j 
5 g mu g md ig m  0  5 
)uj ℄ 2 M H (uj uj ) 2 M H (dj dj ) + 2 M  (uj uj )
     u

ig d 0  5 
m  + 2 M 2 )X + + X  ( 2 M 2 )X + X  0 ( 2
2 2M  (dj dj ) + X (
M )X 0 + Y   2 Y + ig w W + ( X  0X  X + X 0 )+ igsw W+ ( Y X
2w 
 X + Y ) + ig w W ( X X 0  X 0 X + ) + igsw W ( X Y
 Y X + ) + ig w Z0 ( X +X +  X X ) + igsw A ( X + X +
 X X ) 21 gM [X + X +H + X X H + 12w X 0 X 0 H ℄ +
1 2 2w igM [X + X 0 + X X 0  ℄ + 1 igM [X 0 X + X 0 X + ℄ +
2 w 2 w
igMsw [X 0 X + X 0 X +  ℄ + 12 igM [X + X + 0 X X 0 ℄