for a compact Kähler manifold of complex dimension n, cup product with powers of the Kähler class induces isomorphisms H^{k}(X) → H^{2n-k}(X)

Target entity: for a compact Kähler manifold of complex dimension n, cup product with powers of the Kähler class induces isomorphisms H^{k}(X) → H^{2n-k}(X)
Context triple: [Hard Lefschetz theorem, states, for a compact Kähler manifold of complex dimension n, cup product with powers of the Kähler class induces isomorphisms H^{k}(X) → H^{2n-k}(X)]

• A. Kähler identities
  Kähler identities are fundamental commutation relations in Kähler geometry that link the Lefschetz operator, its adjoint, and the Dolbeault operators, playing a key role in Hodge theory and complex differential geometry.
• B. Kähler manifold
  A Kähler manifold is a complex manifold equipped with a Hermitian metric whose associated symplectic form is closed, making it simultaneously a complex, Riemannian, and symplectic manifold in a compatible way.
• C. Poincaré duality
  Poincaré duality is a fundamental theorem in algebraic topology that relates the homology and cohomology groups of an oriented closed manifold in complementary dimensions.
• D. Künneth formula
  The Künneth formula is a fundamental result in algebraic topology and homological algebra that expresses the (co)homology of a product space or object in terms of the (co)homology of its factors.
• E. Lefschetz duality
  Lefschetz duality is a generalization of Poincaré duality that relates the homology of a compact manifold with boundary to the cohomology of the manifold relative to its boundary.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: for a compact Kähler manifold of complex dimension n, cup product with powers of the Kähler class induces isomorphisms H^{k}(X) → H^{2n-k}(X)
Target entity description: The Hard Lefschetz theorem is a fundamental result in Kähler geometry and Hodge theory that describes a powerful symmetry in the cohomology of compact Kähler manifolds, underpinning many deep geometric and topological properties.

• A. Kähler identities
  Kähler identities are fundamental commutation relations in Kähler geometry that link the Lefschetz operator, its adjoint, and the Dolbeault operators, playing a key role in Hodge theory and complex differential geometry.
• B. Kähler manifold
  A Kähler manifold is a complex manifold equipped with a Hermitian metric whose associated symplectic form is closed, making it simultaneously a complex, Riemannian, and symplectic manifold in a compatible way.
• C. Poincaré duality
  Poincaré duality is a fundamental theorem in algebraic topology that relates the homology and cohomology groups of an oriented closed manifold in complementary dimensions.
• D. Künneth formula
  The Künneth formula is a fundamental result in algebraic topology and homological algebra that expresses the (co)homology of a product space or object in terms of the (co)homology of its factors.
• E. Lefschetz duality
  Lefschetz duality is a generalization of Poincaré duality that relates the homology of a compact manifold with boundary to the cohomology of the manifold relative to its boundary.
• F. None of above. chosen