Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

There is a well-known isomorphism between the Lie algebra $\mathfrak{so}(3)$ and $\mathbb{R}^3$ which maps the Lie bracket to the vector cross product. It looks like

$$ \begin{pmatrix} 0 & -z &y\\ z & 0 & -x\\ -y & x & 0 \end{pmatrix} \mapsto \begin{pmatrix}x\\y\\z\end{pmatrix}. $$

There is a more geometric description to this isomorphism, which in broad strokes involves identifying $\mathbb{R}^3$ with $\Lambda^2(\mathbb{R}^3)$ via the Hodge star, and identifying $\mathfrak{so}(3)\subseteq \operatorname{End}(\mathbb{R}^3)\cong\mathbb{R}^3\otimes(\mathbb{R}^3)^*$ with $\Lambda^2(\mathbb{R}^3)$.

If you work in $\mathbb{R}^3$ with its canonical basis, canonical inner product, and canonical orientation, it's easy to see that these isomorphisms yield the specified result. Now I'm trying to check the details of these identifications for a general vector space (with dim = 3 injected into the argument when necessary), giving all the isomorphisms explicitly and without choosing a basis. I found this excellent answer by Qiaochu Yuan to be helpful for some one of the steps.

Let me walk through the steps, as I see them:

  1. First let's set notation. Let $V$ be an arbitrary real vector space with inner product $g$ and volume form $\Omega$. The automorphism group $SO(V)=\{O\in \operatorname{Aut}(V)\mid g(Ov,Ow)=g(v,w)\}$ has Lie algebra $\mathfrak{so}(V)=\{X\in \operatorname{End}(V)\mid g(Xv,w)+g(v,Xw)=0\}$
  2. Therefore the map defined by $\tilde{\alpha}(X)=\operatorname{eval}(\flat\circ X\otimes\operatorname{id})\colon v\otimes w\mapsto g(Xv,w)$ is skew-symmetric. Here $\operatorname{eval}$ is the evaluation map $V\otimes V^*$ which takes $v\otimes\sigma\mapsto \sigma(v)$, and $\flat$ is the canonical isomorphism $V\to V^*$ induced by the non-degenerate bilinear form $g$, given by $u\mapsto (v\mapsto g(u,v))$.
  3. Since $\tilde{\alpha}(X)\colon V\otimes V\to \mathbb{R}$ is skew-symmetric, it factors to a map $\alpha(X)\colon\Lambda^2(V)\to\mathbb{R}$. I.e. $\alpha(X)\in\Lambda^2V^*$. Now apply the inverse map $\sharp\colon V^*\to V$ to the first tensor factor, we have $\beta(X)=(\sharp\wedge\operatorname{id})\circ\alpha(X)\in V\wedge V^*$. To make this construction a little more concrete, observe that given a one parameter group of rotations in the plane fixed by two vectors $v,w$, one can check that the corresponding Lie group element is $\beta(X)=w\wedge v^\flat$.
  4. Apply $\sharp$ to the second tensor factor to get an element of the standard exterior algebra $\gamma(X)=(\operatorname{id}\wedge\sharp)\circ\beta(X)\in\Lambda^2V$.
  5. Apply the Hodge star operator to get an element of the vector space $\delta(X)=*\gamma(X)\in V.$
  6. Check that $\delta$ is an isomorphism of Lie algebras $\delta([X,Y])=\delta(X)\times\delta(Y)=*(\delta(X)\wedge\delta(Y))$ (Clearly it's linear. I suppose it should also be verified that $\delta$ is bijective)

So I have several problems.

  1. Step 2 above seems very convoluted and inelegant, with all the raising and lowering operators just to check whether something is an antisymmetric map.
  2. Step 2 is not just convoluted, but of dubious construction. Usually one considers the exterior power of a vector space with itself, not a vector space wedged with its dual space. That construction seems nonstandard to me, so I'm in unfamiliar territory and wonder whether this is the wrong path.
  3. I can't really see how to do step 6. I can't push the Lie bracket through all these opaque constructions.
  4. The $\operatorname{eval}$ map used in step 2 is also somewhat mysterious, at least in one direction. That is, there's really only a canonical injection $\operatorname{eval}\colon V\otimes V^*\to \operatorname{End}(V)$ given by $v\otimes\sigma\mapsto (w\mapsto \sigma(w)v)$. In the case that $V$ is not finite dimensional, this will not be an isomorphism and does not have an inverse. In the finite dimensional case, we do have an inverse, any endomorphism can be written as a product of vectors and dual vectors, but not canonically. Mapping $\mathfrak{so}(V)$ to $\Lambda^2(V)$ seems to require as an intermediate step mapping $\operatorname{End}(V)$ to $V\otimes V^*$. Can this be done canonically?
  5. Given the concerns about the direction of the map $V\otimes V^*\to \operatorname{End}(V)$, perhaps I should try to go the other way, but I can't make any progress that way either, because I don't know any identity for the Hodge star operator that will allow me to evaluate expressions like $*(X\wedge Y)$. How does the Hodge star operator interact with the wedge product?

Those are the issues I'm running into with my approach. I had somehow expected the I'd appreciate any resolutions to those issues, or alternatively if there is a better approach to this question, or some reason why the question itself is not a good one, I'd love to hear about it. Thanks.

share|improve this question
add comment

1 Answer

  1. Convoluted and inelegant is in the eye of the beholder. Once you get used to identifying in your head everything which is related by a raising or lowering operator things aren't so bad.

  2. $V$ is an inner product space, so $V \otimes V^{\ast}$ can be canonically identified with both $V \otimes V$ and $V^{\ast} \otimes V^{\ast}$.

  3. I have some ideas for how to do this, but they're not particularly nice. One way is to use the representation theory of $\text{SO}(V)$. Because everything you've done is canonical, it's all $\text{SO}(V)$-equivariant. $V$ is an irreducible representation, so it follows by Schur's lemma that any two isomorphisms $\Lambda^2(V) \to V$ are a scalar multiple of each other. In particular, the Lie bracket and the exterior product are scalar multiples of each other, and from here you can probably finish by arguing using inner products.

  4. The inverse of a canonical map, when the inverse exists, is also canonical.

  5. See above.

share|improve this answer
    
Thank you, Qiaochu. So basically, you don't say that I'm making a mistake, or overlooking a simpler route. I should keep working on it. I was a little taken aback with how much more difficult this is was compared with just choosing a basis; I thought maybe I was overlooking something. –  Joe Hannon Feb 10 '12 at 0:08
    
@ziggurism: well, I didn't say you weren't overlooking a simpler approach. I have some ideas, but the details seem a little messy right now, so I'll think about it. –  Qiaochu Yuan Feb 10 '12 at 0:14
    
@ziggurism: some hints. It is possible to more-or-less canonically extend an inner product on a vector space $V$ to an inner product on any exterior power $\Lambda^n(V)$ such that the exterior product of unit vectors in $V$ is a unit vector in $\Lambda^n(V)$. Now, the cross product is not only antisymmetric, but the inner product of two orthogonal unit vectors is another unit vector... –  Qiaochu Yuan Feb 10 '12 at 1:03
    
Looking over this again, I think the stuff about $V\wedge V^*$ is nonsense. Doesn't make sense to talk about wedge products of things from different vector spaces. –  Joe Hannon Mar 16 '12 at 18:12
    
@ziggurism: what stuff? –  Qiaochu Yuan Mar 16 '12 at 18:20
show 5 more comments

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.