# The Unapologetic Mathematician

## Lie Algebra Modules

It should be little surprise that we’re interested in concrete actions of Lie algebras on vector spaces, like we were for groups. Given a Lie algebra $L$ we define an $L$-module to be a vector space $V$ equipped with a bilinear function $L\times V\to V$ — often written $(x,v)\mapsto x\cdot v$ satisfying the relation

$\displaystyle [x,y]\cdot v=x\cdot(y\cdot v)-y\cdot(x\cdot v)$

Of course, this is the same thing as a representation $\phi:L\to\mathfrak{gl}(V)$. Indeed, given a representation $\phi$ we can define $x\cdot v=[\phi(x)](v)$; given an action we can define a representation $\phi(x)\in\mathfrak{gl}(V)$ by $[\phi(x)](v)=x\cdot v$. The above relation is exactly the statement that the bracket in $L$ corresponds to the bracket in $\mathfrak{gl}(V)$.

Of course, the modules of a Lie algebra form a category. A homomorphism of $L$-modules is a linear map $\phi:V\to W$ satisfying

$\displaystyle\phi(x\cdot v)=x\cdot\phi(v)$

We automatically get the concept of a submodule — a subspace sent back into itself by each $x\in L$ — and a quotient module. In the latter case, we can see that if $W\subseteq V$ is any submodule then we can define $x\cdot(v+W)=(x\cdot v)+W$. This is well-defined, since if $v+w$ is any other representative of $v+W$ then $x\cdot(v+w)=x\cdot v+x\cdot w$, and $x\cdot w\in W$, so $x\cdot v$ and $x\cdot(v+w)$ both represent the same element of $v+W$.

Thus, every submodule can be seen as the kernel of some homomorphism: the projection $V\to V/W$. It should be clear that every homomorphism has a kernel, and a cokernel can be defined simply as the quotient of the range by the image. All we need to see that the category of $L$-modules is abelian is to show that every epimorphism is actually a quotient, but we know this is already true for the underlying vector spaces. Since the (vector space) kernel of an $L$-module map is an $L$-submodule, this is also true for $L$-modules.

## 2 Comments	»

1. [...] all , , and . Bilinearity should be clear, so we just check the defining property of a module. That is, we take two Lie algebra elements and [...]

Pingback by | September 17, 2012 | Reply

2. [...] is a module of a Lie algebra , there is one submodule that turns out to be rather interesting: the submodule [...]

Pingback by | September 21, 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": 31, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "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.8941384553909302, "perplexity_flag": "head"}