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.
Articles by others on the same topic
There are currently no matching articles.