15
$\begingroup$

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 $\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 condition for a quadratic form on $\Lambda^2 V$ to be induced from a quadratic form on $V$?

$\endgroup$
1
  • 2
    $\begingroup$ 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. $\endgroup$
    – thomas
    Nov 17, 2009 at 20:27

2 Answers 2

5
$\begingroup$

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^*$.

$\endgroup$
4
$\begingroup$

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
$\endgroup$

Your Answer

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

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