1
$\begingroup$

Suppose $V$ is a finite dimensional vector space of dimension n.

What is the kernel of the map

$$\bigwedge^p V \otimes \bigwedge^q V ----> \bigwedge^{p+q} V$$ ?

(here $p+q< n$)

Thanks.. Jyoti

$\endgroup$
8
  • 1
    $\begingroup$ This question would be a better fit at math.stackexchange.com - see mathoverflow.net/faq#whatquestions $\endgroup$
    – David Roberts
    Aug 16, 2011 at 6:56
  • 1
    $\begingroup$ I can't give you an answer, but if you look at Fulton and Harris, Representation Theory, chapter 15, you will find the general method to decompose representations of $GL(V)$ into irreducibles. $\endgroup$
    – Ben McKay
    Aug 16, 2011 at 8:25
  • 11
    $\begingroup$ Not sure why this was closed. Anyway, there is an elegant answer. Assuming you understand the classification of irreps of GL(V) by partitions, Pieri's rule tells you that $\bigwedge^p V \otimes \bigwedge^q V \cong \bigoplus S_{2^a 1^b} V$, where $2a+b=p+q$ and $a \leq \min(p,q)$. The map to $\bigwedge^{p+q} V$ is projection onto the $(a,b)=(0,p+q)$ summand, so the kernel is the direct sum of the other components. $\endgroup$ Aug 16, 2011 at 12:02
  • 2
    $\begingroup$ I voted to reopen. I agree with David -- I think people jumped the gun on voting to close it. $\endgroup$ Aug 16, 2011 at 14:56
  • 1
    $\begingroup$ Hmm, on a 2nd look I think I misread/misunderstood the question, though I still think it could do with added context for why the question is being asked. Anyway, voting to re-open (volte-face) $\endgroup$
    – Yemon Choi
    Aug 16, 2011 at 17:56

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.