Hello, 


I'm looking for references on various inequalities involving the wedge product and exterior forms. The only references I could hunt down are references on Hadamard-Schwarz Inequality. The article of Iwaniec-Kauhanen-Kravetz-Scott may be quoted as an example. 


More specifically, I'm interested in the validity of Cauchy-Schwarz type inequality with respect to the wedge product. As a very special case of what I have in mind, I'm interested the necessary and sufficient condition (or some reasonable sufficient condition) for the existence of $b\in\Lambda^4(\mathbb{R}^n),b\neq 0$ satisfying
$$
\langle b;\omega\_1\wedge\omega\_2\rangle^2< \langle b;\omega\_1^2\rangle \langle b;\omega\_2^2\rangle,\ \langle b;\omega\_1^2\rangle>0, \langle b;\omega\_2^2\rangle>0,
$$
where $\omega\_1,\omega\_2\in\Lambda^2(\mathbb{R}^n)$ is given.


Thank you.



Inequalities Involving Wedge Product (Reference Request)
Probably, the most reasonable sufficient condition is that ${\omega\_1}^2$, $\omega\_1\wedge \omega\_2$, and ${\omega\_2}^2$ be linearly independent in $\Lambda^4(\mathbb{R}^n)$, for this is generic (if $n>4$) and guarantees a solution. In fact, you can find such a $b$ in the $3$-dimensional span $L$ of these $4$-vectors if this linear independence holds. To see this, suppose that they are linearly independent and let $x$, $y$, and $z$ be the linear functions on $L$ defined by $x(\alpha) = \langle \alpha; {\omega\_1}^2\rangle$, $y(\alpha) = \langle \alpha; {\omega\_2}^2\rangle$, and $z(\alpha) = \langle \alpha; \omega\_1{\wedge}\omega\_2\rangle$. Then $x$, $y$, and $z$ are coordinates on $L$, and you are asking that the open set defined by the inequalities $x>0$, $y>0$, and $xy >z^2$ be nonempty, which it clearly is.


In the case that there is a linear relation among ${\omega\_1}^2$, $\omega\_1\wedge \omega\_2$, and ${\omega\_2}^2$, whether there is a nonempty open set defined by your conditions will depend on the nature of that linear relation (or relations, if there is more than one). However, these are special cases that are easily worked out.


