Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 18 / 4 / b / Solution

The Chern connection decomposes on vector-bundle-valued differential forms as $D=D^{\prime }+D^{\prime \prime }$, where $D^{\prime }={\nabla }_h^{\prime }$ raises holomorphic degree and $D^{\prime \prime }={\nabla }_h^{\prime \prime }={\bar{\partial }}_E$ raises antiholomorphic degree. In a holomorphic local frame, $D^{\prime }=\partial +A\wedge$ and $D^{\prime \prime }=\bar{\partial }$. The type of the curvature form of a connection givesThe Kähler metric and the Hermitian metric define the $L^2$ inner product and the formal adjoints $D^{\prime \ast },D^{\prime \prime \ast }$. The Dolbeault Laplacians areLet $L=\omega \wedge$ be the Lefschetz operator of a Kähler manifold and $\Lambda =L^{\ast }$ its adjoint Lefschetz operator. With the ordinary commutator convention $[A,B]=AB-BA$, the printed Kähler identities giveSubstitution into the two Dolbeault Laplacians, followed by expansion, yieldsThe middle line follows by cancelling the terms with $D^{\prime }\Lambda D^{\prime \prime }$ and $D^{\prime \prime }\Lambda D^{\prime }$; the remaining terms collect the anticommutator of the two differentials. Hence $\boxed{{\Delta }^{\prime \prime }={\Delta }^{\prime }+[i{F}_h,\Lambda ]}$, where $i{F}_h$ denotes its wedge action. This is the Bochner-Kodaira-Nakano identity with the paper's sign convention.