Let $X$ be a compact Kähler manifold of complex dimension $n$, and let $\omega_1, \omega_2$ be Kähler classes on $X$. Denote the Lefschetz operator of a Kähler class $\omega$ by $\Lambda_{\omega}$. Then $$ \Lambda_{\omega_1} \omega_2 + \Lambda_{\omega_2} \omega_1 \geq 2n $$ with equality if and only if $\omega_1 = \omega_2$.

Has anyone seen this inequality? I checked in the usual places like Lazarfeld's Positivity, but didn't find it. It seems simple enough that someone must have come across it before.

(Aside one: We can rewrite this as an inequality on intersection numbers if we want, since $\Lambda_{\omega_1} \omega_2 = n \int_X \omega_2 \cup \omega_1^{n-1} / \int_X \omega_1^n$.)

(Aside two: On a complex torus, everything reduces to linear algebra. There one can whittle the statement of the inequality down to that $\operatorname{tr}(H) + \operatorname{tr}(H^{-1}) \geq 2n$ for any Hermitian positive-definite matrix $H$, which follows from the arithmetric-geometric inequality.)

The proof I found is a little amusing. The Kähler cone of $X$ has a natural Riemannian metric $g$, which at a point $\omega$ is given by the inner product that $\omega$ induces on real $(1,1)$-classes. If $u,v$ are such classes, then $$ g(u,v)_{\omega} = \Lambda(u) \Lambda(v) - \tfrac12 \Lambda^2(u \cup v). $$ Given two points $\omega_1, \omega_2$ in the Kähler cone, we can estimate the Riemannian distance between them by calculating the length of any path between them. Doing so for the segment of the Euclidean line that runs through the two gives the estimate $$ d(\omega_1,\omega_2)^2 \leq \Lambda_{\omega_1} \omega_2 + \Lambda_{\omega_2} \omega_1 - 2n, $$ from which the inequality follows.