At
first order write
α=1+iz and
β=x+iy with real
x,y,z. The constraint
forces the
real part of the change in
α to vanish. Then
m=(izx−iyx+iy−iz)=2xm1−2ym2+2zm3.
Thus the three supplied generators span the
tangent space over the reals. Multiplying their
matrices gives
[m1,m2]=m3,[m2,m3]=−m1,[m3,m1]=−m2.
For example,
m1=σx/2,
m2=σy/2,
m3=iσz/2 makes the noncompact
signs explicit.
New to topics? Read the docs here!