Linear relations among wedge products.

78 Views Asked by At

Let $v_1,v_2,v_3,v_4$ be $4$ vectors in a two dimensional space $V$. Then one can work out by hand that: $$(v_1\wedge v_2)(v_3\wedge v_4) + (v_1\wedge v_3)(v_4\wedge v_2) + (v_1\wedge v_4)(v_2\wedge v_3) = 0$$ where multiplication is identified with the dot product since $\Lambda^2(V)$ is a one dimensional space.

Is there a conceptual reason for why this is true? Note that there is a lot of symmetry. For instance, the indices correspond to the three permutations: $$(1,2,3,4), (1,3,4,2), (1,4,2,3)$$ which form a $3$ cycle in $S_4$. One might also flip one of the indices and then with alternating signs, it seems to be the determinant of some matrix - but which one?

There should also probably be a generalization to arbitrary $n$-dimensional vector spaces with $m$ vectors and certain (cyclic?) subgroups of $S_m$...

1

There are 1 best solutions below

1
On

Here is my interpretation of the equality, although it may be short in "conceptual" part.

According to this Wikipedia article inner product for 2-forms can be defined as determinant:

\begin{align} \big(a\wedge b\big)\big(c\wedge d\big) &= \big\langle a\wedge b,c\wedge d \big\rangle = \det \begin{pmatrix} \left\langle a, c \right\rangle & \left\langle a, d \right\rangle \\ \left\langle b, c \right\rangle & \left\langle b, d \right\rangle \end{pmatrix} \end{align}

so that expression $$\,\left(v_1\wedge v_2\right)\left(v_3\wedge v_4\right) + \left(v_1\wedge v_3\right)\left(v_4\wedge v_2\right) + \left(v_1\wedge v_4\right)\left(v_2\wedge v_3\right) = 0\,$$ can be rewritten as

\begin{align} \begin{vmatrix}w_{13} & w_{14} \\ w_{23} & w_{24}\end{vmatrix} + \begin{vmatrix}w_{14} & w_{12} \\ w_{34} & w_{23}\end{vmatrix} + \begin{vmatrix}w_{12} & w_{13} \\ w_{24} & w_{34}\end{vmatrix} = 0 \end{align}

where $\,w_{ij} := \left\langle v_i, v_j \right\rangle = \left\langle v_j, v_i \right\rangle$.

One can see that in the last expression the main diagonal of every matrix coincides with the anti diagonal of the following matrix, therefore all the summands cancel out. More specifically,

\begin{multline} \begin{vmatrix}w_{13} & w_{14} \\ w_{23} & w_{24}\end{vmatrix} + \begin{vmatrix}w_{14} & w_{12} \\ w_{34} & w_{23}\end{vmatrix} + \begin{vmatrix}w_{12} & w_{13} \\ w_{24} & w_{34}\end{vmatrix} = \\ \big(\color{#e50000}{w_{13}w_{24}} \color{#0Dee08}{ - w_{14}w_{23}}\big) + \big(\color{#0Dee08}{w_{14}w_{23}} \color{blue}{ - w_{12}w_{34}}\big) + \big(\color{blue}{w_{12}w_{34}} \color{#e50000}{ - w_{13}w_{24}}\big) = 0 \end{multline}


I understand that this explanation is not too different from explicitly computing expression by hands, but I believe the sum of three determinants can be viewed as row/column expansion of determinant of a larger matrix of specific form. I could not come up with such a matrix on a spot, but I also could not prove that such a matrix does not exist.