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.

Articles by others on the same topic (0)

There are currently no matching articles.