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
    Commented 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$

You must log in to answer this question.

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