# The Unapologetic Mathematician

## Special Linear Lie Algebras

More examples of Lie algebras! Today, an important family of linear Lie algebras.

Take a vector space $V$ with dimension $\mathrm{dim}(V)=l+1$ and start with $\mathfrak{gl}(V)$. Inside this, we consider the subalgebra of endomorphisms whose trace is zero, which we write $\mathfrak{sl}(V)$ and call the “special linear Lie algebra”. This is a subspace, since the trace is a linear functional on the space of endomorphisms:

$\displaystyle\mathrm{Tr}(ax+by)=a\mathrm{Tr}(x)+b\mathrm{Tr}(y)$

so if two endomorphisms have trace zero then so do all their linear combinations. It’s a subalgebra by using the “cyclic” property of the trace:

$\displaystyle\mathrm{Tr}(xy)=\mathrm{Tr}(yx)$

Note that this does not mean that endomorphisms can be arbitrarily rearranged inside the trace, which is a common mistake after seeing this formula. Anyway, this implies that

$\displaystyle\begin{aligned}\mathrm{Tr}\left([x,y]\right)&=\mathrm{Tr}(xy-yx)\\&=\mathrm{Tr}(xy)-\mathrm{Tr}(yx)=0\end{aligned}$

so actually not only is the bracket of two endomorphisms in $\mathfrak{sl}(V)$ back in the subspace, the bracket of any two endomorphisms of $\mathfrak{gl}(V)$ lands in $\mathfrak{sl}(V)$. In other words: $\left[\mathfrak{gl}(V),\mathfrak{gl}(V)\right]=\mathfrak{sl}(V)$.

Choosing a basis, we will write the algebra as $\mathfrak{sl}(l+1,\mathbb{F})$. It should be clear that the dimension is $(l+1)^2-1$, since this is the kernel of a single linear functional on the $(l+1)^2$-dimensional $\mathfrak{gl}(l+1,\mathbb{F})$, but let’s exhibit a basis anyway. All the basic matrices $e_{ij}$ with $i\neq j$ are traceless, so they’re all in $\mathfrak{sl}(n,\mathbb{F})$. Along the diagonal, $\mathrm{Tr}(e_{ii})=1$, so we need linear combinations that cancel each other out. It’s particularly convenient to define

$\displaystyle h_i=e_{ii}-e_{i+1,i+1}$

So we’ve got the $(l+1)^2$ basic matrices, but we take away the $l+1$ along the diagonal. Then we add back the $l$ new matrices $h_i$, getting $(l+1)^2-1$ matrices in our standard basis for $\mathfrak{sl}(l+1,\mathbb{F})$, verifying the dimension.

We sometimes refer to the isomorphism class of $\mathfrak{sl}(l+1,\mathbb{F})$ as $A_l$. Because reasons.

### Like this:

Posted by John Armstrong | Algebra, Lie Algebras

## 5 Comments	»

1. [...] with the special linear Lie algebras, these form the “classical” Lie algebras. It’s a tedious but straightforward [...]

Pingback by | August 9, 2012 | Reply

2. [...] that then the map is an automorphism of . Clearly this happens for all in the cases of and the special linear Lie algebra — the latter because the trace is invariant under a change of [...]

Pingback by | August 18, 2012 | Reply

3. [...] some of the things we’ve been talking about. Specifically, we’ll consider — the special linear Lie algebra on a two-dimensional vector space. This is a nice example not only because it’s nicely [...]

Pingback by | August 18, 2012 | Reply

4. Thanks for mentioning the “common mistake”. I had always thought it was true…

Comment by | August 22, 2012 | Reply

5. Just a comment: When you compute the trace of an arbitrary bracket, what you are actually showing is that the derived algebra of the general Lie algebra is _contained_ in the special one, not that they are equal. To show the equality we may appeal to the dimensionality argument,which you exhibit afterwards.

Comment by Jose Brox | September 2, 2012 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 28, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9099796414375305, "perplexity_flag": "head"}