Basis of $sl(2,\mathbb{Z})$

93 Views Asked by At

I have studied that the Lie algebra $sl(2,\mathbb{Z})=\{A\in M_2(\mathbb{Z}):tr(A)=0\}$ is a perfect Lie algebra over the base ring $\mathbb{Z}$, i. e. $$sl(2,\mathbb{Z})=[sl(2,\mathbb{Z}),sl(2,\mathbb{Z})],$$ where $[sl(2,\mathbb{Z}),sl(2,\mathbb{Z})]=\ \langle AB-BA:A,B\in sl(2,\mathbb{Z})\rangle$. Now a basis of $sl(2,\mathbb{Z})$ is the set $\bigg\{\begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix}$, $\begin{pmatrix} 0 & 0\\ 1 & 0 \end{pmatrix}$, $\begin{pmatrix} 1 & 0\\ 0 & -1 \end{pmatrix}\bigg\}$.

My question is that if $sl(2,\mathbb{Z})$ is perfect then each of the basis element can be written in the form of $AB-BA$. I can write the matrix $\begin{pmatrix} 1 & 0\\ 0 & -1 \end{pmatrix}=[AB-BA]$, where $A= \begin{pmatrix} 0 & 0\\ 1 & -0 \end{pmatrix}$ and $B= \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix}$. But I am not able to write the matrices $A$ and $B$ in this form. I request you to help me.

1

There are 1 best solutions below

1
On BEST ANSWER

The commutator of two traceless matrices $\pmatrix{a_1 &a_2 \\a_3 &-a_1}$ and $\pmatrix{b_1 &b_2 \\b_3 &-b_1}$ over any commutative ring $R$ is $$\pmatrix{a_2b_3-a_3b_2 &2(a_1b_2-a_2b_1) \\2(a_3b_1-a_1b_3) &a_3b_2-a_2b_3},$$

in particular the set $\lbrace [A,B]: A, B \in \mathfrak{sl}_2(R) \}$ is contained in

$$\mathfrak{sl}_2(R) \cap \{ \pmatrix{R &2R \\ 2R & R} \}.$$

Hence, as soon as $2$ is not a unit in $R$ (e.g. $R$ a field of characteristic $2$, or your case $R= \mathbb Z$), the matrix $\pmatrix{0 &1 \\0 &0}$ is neither a commutator itself, nor is it contained in the $R$-submodule spanned by all commutators, which is the usual definition of the derived subalgebra. In particular, the Lie algebra $\mathfrak{sl}_2(\mathbb Z)$ is not perfect for any definition of "perfect" I would find reasonable here.

By the way, one can write it as a commutator in the bigger Lie algebra $\mathfrak{gl}_2(\mathbb Z)$. In fact,

$$\pmatrix{0 &a \\0 &0} = [\pmatrix{0 &0 \\0 &1}, \pmatrix{0 &-a \\0 &0} ]$$ in $\mathfrak{gl}_2(R)$ for any ring $R$ and $a \in R$.