Lefschetz commutator (source code)

= Lefschetz commutator
{c}
{title2=$[\Lambda,L]|_{\mathcal A^k}=(n-k)\operatorname{id}$}

In complex dimension $n$, the <Lefschetz operator of a Kähler manifold> and <adjoint Lefschetz operator> satisfy $[\Lambda,L]=(n-k)\operatorname{id}$ on degree $k$. In middle degree, this yields $\|L\alpha\|^2=\|\Lambda\alpha\|^2$.