Decomposable elements of $\Lambda^k(V)$ I have a conjecture. I have a problem proving or disproving it. 

Let $w \in \Lambda^k(V)$ be a $k$-vector. Then $W_w=\{v\in V: v\wedge w = 0 \}$ is a $k$-dimensional vector space if and only if $w$ is decomposable.

For example, for $u=e_1\wedge e_2 + e_3 \wedge e_4$ we have $W_u = 0$.

A $k$-vector $w \in \bigwedge^kV$ is $m$-decomposable if there is a linearly independent set $\{e_1, \dots, e_m\}$ of $V$ and $\alpha \in \bigwedge^{k-m}V$ such that $w = e_1\wedge\dots\wedge e_m\wedge\alpha$; note that $k$-decomposable is what is normally called decomposable. Furthermore, $w$ is strictly $m$-decomposable if it is $m$-decomposable but not $(m+1)$-decomposable.

Suppose that $w$ is $m$-decomposable, i.e. $w = e_1\wedge\dots\wedge e_m\wedge\alpha$ for some linearly independent set $\{e_1, \dots, e_m\}$ in $V$ and $\alpha \in \bigwedge^{k-m}V$. Clearly $e_1, \dots, e_m \in W_w$ so $W_w$ is at least $m$-dimensional. 
Now suppose $w \in \bigwedge^kV$ and $\{e_1, \dots, e_m\}$ is a linearly independent subset of $W_w$. We can extend this to a basis $\{e_1, \dots, e_n\}$ for $V$. There is an induced basis for $\bigwedge^kV$ given by $\{e_{i_1}\wedge\dots\wedge e_{i_k} \mid 1 \leq i_1 < \dots < i_k \leq n\}$, so we can write 
$$w = \sum_{1 \leq i_1 < \dots < i_k \leq n}a_{i_1\dots i_k}e_{i_1}\wedge\dots\wedge e_{i_k}$$
for some coefficients $a_{i_1\dots i_k}$. Now note that
$$e_1\wedge w = \sum_{1 \leq i_1 < \dots < i_k \leq n}a_{i_1\dots i_k}e_1\wedge e_{i_1}\wedge\dots\wedge e_{i_k} = \sum_{1 < i_1 < \dots < i_k \leq n}a_{i_1\dots i_k}e_1\wedge e_{i_1}\wedge\dots\wedge e_{i_k}.$$
As $\{e_1\wedge e_{i_1}\wedge\dots\wedge e_{i_k} \mid 1 < i_1 < \dots < i_k \leq n\}$ is a linearly independent subset of $\bigwedge^{k+1}V$, $e_1\wedge w = 0$ implies that $a_{i_1\dots i_k} = 0$ for $1 < i_1 < \dots < i_k \leq n$. Therefore, 
$$w = \sum_{1 = i_1 < \dots < i_k \leq n}a_{i_1\dots i_k}e_{i_1}\wedge\dots\wedge e_{i_k} = \sum_{1 < i_2 < \dots < i_k \leq n}a_{1i_2\dots i_k}e_1\wedge e_{i_2}\dots\wedge e_{i_k}.$$
Proceeding in the same fashion, the conditions $e_2\wedge w = 0, \dots, e_m\wedge w = 0$ imply that we have 
\begin{align*}
w &= \sum_{m < i_{m+1} < \dots < i_k \leq n}a_{1\dots mi_{m+1}\dots i_k}e_1\wedge\dots\wedge e_m\wedge e_{i_{m+1}}\wedge\dots\wedge e_{i_k}\qquad (\star)\\
&= e_1\wedge\dots\wedge e_m\wedge\left(\sum_{m < i_{m+1} < \dots < i_k \leq n}a_{1\dots mi_{m+1}\dots i_k}e_{i_{m+1}}\wedge\dots\wedge e_{i_k}\right)\\
&= e_1\wedge\dots\wedge e_m\wedge\alpha
\end{align*}
where $\alpha \in \bigwedge^{k-m}V$ is given by 
$$\alpha = \sum_{m < i_{m+1} < \dots < i_k \leq n}a_{1\dots mi_{m+1}\dots i_k}e_{i_{m+1}}\wedge\dots\wedge e_{i_k}.$$
So $w$ is $m$-decomposable.
In summary, we have the following:

An element $w \in \bigwedge^kV$ is $m$-decomposable if and only if $\dim W_w \geq m$. In particular, $w$ is strictly $m$-decomposable if and only if $\dim W_w = m$.

Setting $m = k$, we get the desired result. That is, $\dim W_w = k$ if and only if $w$ is decomposable.
