Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-118/4/b/solution

Represent the middle-degree class by its unique harmonic differential form . The Lefschetz commutator on degree is , so at the operators commute. Since the adjoint Lefschetz operator is the adjoint of the Lefschetz operator of a Kähler manifold,
Both and are harmonic. A harmonic form represents zero in de Rham cohomology exactly when the form itself is zero. Consequently if and only if , which by the norm identity is equivalent to , hence to . Therefore
This identifies the two middle-degree descriptions of a primitive differential form on a Kähler manifold at the cohomology level.

New to topics? Read the docs here!