I want to find Z(gl(2,F)) where the Lie bracket is [X,Y]=XY−YX
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 x∈gl(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 d−a=a−d=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=0⟹eTp((Aei)eTj−ei(eTjA))eq=0⟹(eTpAei)(eTjeq)−(eTpei)(eTjAeq)=0⟹apiδjp−δpiajq
where δ denotes the Konecker delta.
By choosing different i,j,p,q∈{1,…,n}, you can deduce that aij=0 when i≠j, 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