Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $V$ be a finite dimensional vector space, say over $\mathbf R$. Let $g \in S^2 V^*$ be a quadratic form on $V$. Then $g$ induces a quadratic form on $\Lambda^2 g \in S^2 \Lambda^2 V^*$ on $\Lambda^2 V$ defined on simple vectors by $$\Lambda^2 g(u\wedge v, x\wedge y) := \det \begin{bmatrix} g(u,x) & g(u,y) \\\\ g(v,x) & g(v,y) \end{bmatrix}.$$

Is there a nice sufficient and necessary for a quadratic form on $\Lambda^2 V$ to be induced from a quadratic form on $V$?

share|cite|improve this question
Note: Anti-symmetrization yields a map $\pi$ from $S^2 \Lambda^2 V^*$ to the subspace $\Lambda^4 V*$. An easy calculation shows that $\pi(\Lambda^2 g) = 0$ for all $g \in S^2 V^*$. So this "algebraic Bianchi identity" clearly forms a necessary condition. But by an dimension counting argument one see that this condition is very far from sufficient. – thomas Nov 17 '09 at 20:27

2 Answers 2

You have a quadratic map $Q:S^2V^*\to S^2\Lambda^2V^*$ which you can polarize to a linear map $L:S^2S^2V^*\to S^2\Lambda^2V^*$ and this will be $\mathrm{SL}(V)$-equivariant.

If $n=\dim V\geq4$, then as modules over $\mathrm{SL}(V)$ Magma tells me that we have $\Lambda^2S^2V^*\cong V_{4,\dots}\oplus V_{0,2,\dots}$ and $S^2\Lambda^2V^*\cong V_{0,0,0,1,\dots}\oplus V_{0,2,\dots}$ (the dots mean "complete with zeroes to form a partition of length $n$, and the $V_{\mathrm{something}}$ are highest-weight modules in their ‘usual’ notation). It follows that there is up to scalars one non-zero linear $\mathrm{SL}(V)$-linear map $\Lambda^2S^2V^*\to S^2\Lambda^2V^*$. Since $L$ is non-zero, $L$ is that map, and its image is the summand $V_{0,2,\dots}$ of $S^2\Lambda^2V^*$.

I would imagine (but I do not know if) the image of the quadratic map $Q$ is also that $V_{0,2,\dots}$. To answer your question, one would then need to characterise that summand. The other summand, $V_{0,0,0,1,\dots}$ is isomorphic to $\Lambda^4V^*$, so maybe the $V_{0,2,\dots}$ inside $S^2\Lambda^2V^*$ is just the kernel of the anti-symmetrization $S^2\Lambda^2V^*\to\Lambda^4V^*$.

share|cite|improve this answer

Your $\Lambda^2g$ is curvature operator for hypersurface with second fundamental form $g$. Thus your question can be reformulated the following way

  • Find a nice algebraic condition for curvature operators which appear as a curvature operators of a hypersurface
share|cite|improve this answer

Your Answer


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.