New Modules from Old

There are a few standard techniques we can use to generate new modules for a Lie algebra $L$ from old ones. We’ve seen direct sums already, but here are a few more.

One way is to start with a module $M$ and then consider its dual space $M^*$ . I say that this can be made into an $L$ -module by setting

$\displaystyle\left[x\cdot\lambda\right](m)=-\lambda(x\cdot m)$

for all $x\in L$ , $\lambda\in M^*$ , and $m\in M$ . Bilinearity should be clear, so we just check the defining property of a module. That is, we take two Lie algebra elements $x,y\in L$ and check

$\displaystyle\begin{aligned}\left[[x,y]\cdot f\right](m)&=-f([x,y]\cdot m)\\&=-f(x\cdot(y\cdot m)-y\cdot(x\cdot m))\\&=-f(x\cdot(y\cdot m))+f(y\cdot(x\cdot m))\\&=\left[x\cdot f\right](y\cdot m)-\left[y\cdot f\right](x\cdot m)\\&=-\left[y\cdot(x\cdot f)\right](m)+\left[x\cdot(y\cdot f)\right](m)\\&=\left[x\cdot(y\cdot f)-y\cdot(x\cdot f)\right](m)\end{aligned}$

so $[x,y]\cdot f=x\cdot(y\cdot f)-y\cdot(x\cdot f)$ for all $f\in M^*$ , as desired.

Another way is to start with modules $M$ and $N$ and form their tensor product $M\otimes N$ . Now we define a module structure on this space by

$\displaystyle x\cdot m\otimes n=(x\cdot m)\otimes n + m\otimes(x\cdot n)$

We check the defining property again. Calculate:

$\displaystyle\begin{aligned}{}[x,y]\cdot m\otimes n&=([x,y]\cdot m)\otimes n+m\otimes([x,y]\cdot n)\\&=(x\cdot(y\cdot m)-y\cdot(x\cdot m))\otimes n+m\otimes(x\cdot(y\cdot n)-y\cdot(x\cdot n))\\&=(x\cdot(y\cdot m))\otimes n-(y\cdot(x\cdot m))\otimes n+m\otimes(x\cdot(y\cdot n))-m\otimes(y\cdot(x\cdot n))\end{aligned}$

while

$\displaystyle\begin{aligned}x\cdot(y\cdot m\otimes n)-y\cdot(x\cdot m\otimes n)=&x\cdot((y\cdot m)\otimes n+m\otimes(y\cdot n))-y\cdot((x\cdot m)\otimes n+m\otimes(x\cdot n))\\=&x\cdot((y\cdot m)\otimes n)+x\cdot(m\otimes(y\cdot n))-y\cdot((x\cdot m)\otimes n)-y\cdot(m\otimes(x\cdot n))\\=&(x\cdot(y\cdot m))\otimes n+(y\cdot m)\otimes(x\cdot n)+(x\cdot m)\otimes(y\cdot n)+m\otimes(x\cdot(y\cdot n))\\&-(y\cdot(x\cdot m))\otimes n-(x\cdot m)\otimes(y\cdot n)-(y\cdot m)\otimes(x\cdot n)-m\otimes(y\cdot(x\cdot n))\\=&(x\cdot(y\cdot m))\otimes n+m\otimes(x\cdot(y\cdot n))-(y\cdot(x\cdot m))\otimes n-m\otimes(y\cdot(x\cdot n))\end{aligned}$

These are useful, and they’re only just the beginning.

September 17, 2012 - Posted by John Armstrong | Algebra, Lie Algebras, Representation Theory

3 Comments »

[…] are a few constructions we can make, starting with the ones from last time and applying them in certain special […]

Pingback by More New Modules from Old « The Unapologetic Mathematician | September 21, 2012 | Reply
Shouldn’t the eighth line be the negative of what it is now?

Comment by Tom Gregory | December 27, 2014 | Reply
Yes, thanks; fixed.

Comment by John Armstrong | December 28, 2014 | Reply

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.

RSS Feeds

RSS - Posts
RSS - Comments
Feedback

Got something to say? Anonymous questions, comments, and suggestions at Formspring.me!
Subjects

Subjects
Archives

September 2012

M T W T F S S

1 2

3 4 5 6 7 8 9

10 11 12 13 14 15 16

17 18 19 20 21 22 23

24 25 26 27 28 29 30

« Aug
Search for:

The Unapologetic Mathematician

Mathematics for the interested outsider