The group SL2 and the Lie algebra 𝔰𝔩2

Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au

Last updates: 21 May 2011

The group SL2 and the Lie algebra 𝔰𝔩2

Let 𝔽 be a field (or a commutative ring) and let 𝔤𝔩2 be the Lie algebra of 2×2 matrices with entries in 𝔽 and bracket given by [p,q]= pq-qp. The group

SL2 = { ( ab cd ) | a,b,c,d 𝔽 with ad-bc=1 }
with product given by matrix multiplication. One parameter subgroups are
x12(t) = ( 1t 01 ) , x21(t) = ( 10 t1 ) , hα(t) = ( et0 0e-t ) ,
and the Lie algebra
𝔰𝔩2 = { x𝔤𝔩2 | tr(x)=0 }
has basis {x,y,h} where
x = ( 01 00 ) , y = ( 00 10 ) , h = ( 10 0-1 ) .
Then 𝔰𝔩2 is presented by generators x,y,h with relations
[x,y]=h, [h,x]=2x, [h,y]=-2y .
The group SL2 is presented by generators
x12(t) = ( 1t 01 ) , x-α(t) = ( 10 t1 ), t𝔽,
with relations
x±α (s+t) = x±α (s) x±α (t) , hα (c1c2) = hα (c1) hα (c2) ,
and
nα(t) xα(u) nα(-t) = x-α( -t-2u) ,
where
nα(t) = xα(t) x-α( -t-1) xα(t) and hα(t) = nα(t) n-α(-1) .

Notes and References

These notes follow Steinberg [St, ????].

References

[St] R. Steinberg, Lectures on Chevalley groups, Notes prepared by John Faulkner and Robert Wilson, Yale University, New Haven, Conn., 1968. iii+277 pp. MR0466335.

page history