Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 118 4 b Solution Created 2026-10-03 Updated 2026-10-05
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 . ThereforeThis identifies the two middle-degree descriptions of a primitive differential form on a Kähler manifold at the cohomology level.