Monday, November 12, 2018

matrices - mathrmZ(mathfrakgl(2,BbbF)) where the Lie bracket is [X,Y]=XYYX



I want to find Z(gl(2,F)) where the Lie bracket is [X,Y]=XYYX



So then this will depend on the field, but no harm in direct computation for arbitrary matrices:
x=[abcd],y=[αβγδ]
[x,y]=[aα+bγαaβcaβ+bδαbβdcα+dγγaδccβ+dδγbδd]



I want to find xgl(2,F), [x,y]=0,y




In C or R, the only possible elements are [0000],I



In Z2, the top left position gives us b=c=0, so [x,y]=[aααaaββddγγadδδd]



That's easier to handle and we get da=ad=0, which means the centre is:



Z(gl(2,Z2))={[0000],I}



How would I go about checking the centre for all fields? Will this always be the same?



Answer



A consideration of gl(n,F):



Let Eij=eieTj denote the matrix with a 1 in the i,j entry. Let A be a matrix with entries aij. We have
AEij=(Aei)eTjEijA=ei(eTjA)
Now, if A is in the center, we must have for every p,q:
eTp[A,Eij]eq=0eTp((Aei)eTjei(eTjA))eq=0(eTpAei)(eTjeq)(eTpei)(eTjAeq)=0apiδjpδpiajq
where δ denotes the Konecker delta.



By choosing different i,j,p,q{1,,n}, you can deduce that aij=0 when ij, and aii=ajj for each i,j.



In other words, the only elements of the center are the multiples of I. Note that this computation involves no division by a coefficient, and so it applies to all fields.



No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...