1
$\begingroup$

Let's say I have two vector spaces $V,W$ , and we have the graded algebras $\Lambda(V),\Lambda(W)$, each with an operation $\wedge$. I'd like to know if there are "many" $\wedge$ operators, or if there is just one, in the following sense. I can construct tensor products $\Lambda^p(V)\otimes\Lambda^q(W)$. I imagine that I could act with a "V wedge" which takes

$ \wedge_V : (\Lambda^p(V)\otimes\Lambda^q(W))\times (\Lambda^r(V)\otimes\Lambda^s(W))\to \Lambda^{p+r}(V)\otimes\Lambda^q(W)\otimes\Lambda^s(W)$

and similarly for $\wedge_W$. I don't know if these are good operators to consider or if there is some reason it's silly. Now I could also imagine an "everything wedge" which takes

$\wedge_{all} : (\Lambda^p(V)\otimes\Lambda^q(W))\times (\Lambda^r(V)\otimes\Lambda^s(W))\to \Lambda^{p+r}(V)\otimes\Lambda^{q+s}(W)$.

I again don't know enough algebra if this is a silly thing to consider or if it's some natural thing. When I am wedging, should I be specifying which algebra is being wedged, i.e. are there multiple wedges? Or is there just one wedge operator which should be wedging everything possible?

Improve this question
$\endgroup$
5
  • 2
    $\begingroup$ While Peter has probably answered your question, I'd like to stress that when defining an operator it is imperative to specify what exactly it does, not only where it takes its values and where it has its domain. This lack of detail, along with some ambiguous wording (how are you "wedging" an algebra here and what does it even mean?) makes this question harder to understand than it should be. $\endgroup$
    – darij grinberg
    Commented Mar 27, 2013 at 21:54
  • 1
    $\begingroup$ Either way, you can definitely construct both a bilinear map $ \wedge_V : (\Lambda^p(V)\otimes\Lambda^q(W))\times (\Lambda^r(V)\otimes\Lambda^s(W))\to \Lambda^{p+r}(V)\otimes\Lambda^q(W)\otimes\Lambda^s(W)$ which sends $\left(\left(v_1\wedge v_2\wedge ...\wedge v_p\right)\otimes\left(w_1\wedge w_2\wedge ...\wedge w_q\right), \left(x_1\wedge x_2\wedge ...\wedge x_r\right)\otimes \left(y_1\wedge y_2\wedge ...\wedge y_s\right)\right)$ to ... $\endgroup$
    – darij grinberg
    Commented Mar 27, 2013 at 21:56
  • 1
    $\begingroup$ ... $\left(v_1\wedge v_2\wedge ...\wedge v_p\wedge x_1\wedge x_2\wedge ...\wedge x_r\right) \otimes \left(w_1\wedge w_2\wedge ...\wedge w_q\right)\otimes \left(y_1\wedge y_2\wedge ...\wedge y_s\right)$, and a bilinear map $\wedge_{all} : (\Lambda^p(V)\otimes\Lambda^q(W))\times (\Lambda^r(V)\otimes\Lambda^s(W))\to \Lambda^{p+r}(V)\otimes\Lambda^{q+s}(W)$ which sends the same thing to ... $\endgroup$
    – darij grinberg
    Commented Mar 27, 2013 at 21:57
  • 1
    $\begingroup$ ... $\left(v_1\wedge v_2\wedge ...\wedge v_p\wedge x_1\wedge x_2\wedge ...\wedge x_r\right) \otimes \left(w_1\wedge w_2\wedge ...\wedge w_q\wedge y_1\wedge y_2\wedge ...\wedge y_s\right)$. I am pretty sure that both of these maps are useful, so yes, you should specify which one you're meaning (if this is your question). $\endgroup$
    – darij grinberg
    Commented Mar 27, 2013 at 21:58
  • $\begingroup$ See also mathoverflow.net/questions/17335/… $\endgroup$
    – Douglas Zare
    Commented Mar 28, 2013 at 4:55

1 Answer 1

Reset to default
6
$\begingroup$

$$\Lambda(V)\otimes\Lambda(W)\cong \Lambda(V\oplus W)$$ where the the wedge on the right hand side corresponds to your $$\wedge_{all} : (\Lambda^p(V)\otimes\Lambda^q(W))\times (\Lambda^r(V)\otimes\Lambda^s(W))\to \Lambda^{p+r}(V)\otimes\Lambda^{q+s}(W)$$ on the left hand side with the correct sign conventions.

Also your first operation is well defined, but you need a use for it.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .