Künneth formula

Target entity: Künneth formula
Context triple: [Weil conjectures, usesConcept, Künneth formula]

• A. 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.
• B. Serre spectral sequence
  The Serre spectral sequence is a fundamental tool in algebraic topology that relates the homology or cohomology of a fibration to that of its base and fiber, enabling complex computations in a systematic way.
• C. Grothendieck–Riemann–Roch theorem
  The Grothendieck–Riemann–Roch theorem is a fundamental result in algebraic geometry that generalizes the classical Riemann–Roch theorem by relating pushforwards in K-theory to pushforwards in cohomology via characteristic classes.
• D. Grothendieck spectral sequence
  The Grothendieck spectral sequence is a fundamental tool in homological algebra that relates the derived functors of a composite functor to the derived functors of its components, enabling efficient computation of cohomology.
• E. Alexander–Spanier cohomology
  Alexander–Spanier cohomology is a cohomology theory in algebraic topology defined using cochains on all finite subsets of a space, notable for its generality and close relationship to Čech and singular cohomology.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Künneth formula
Target entity description: 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.

• A. 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.
• B. Serre spectral sequence
  The Serre spectral sequence is a fundamental tool in algebraic topology that relates the homology or cohomology of a fibration to that of its base and fiber, enabling complex computations in a systematic way.
• C. Grothendieck–Riemann–Roch theorem
  The Grothendieck–Riemann–Roch theorem is a fundamental result in algebraic geometry that generalizes the classical Riemann–Roch theorem by relating pushforwards in K-theory to pushforwards in cohomology via characteristic classes.
• D. Grothendieck spectral sequence
  The Grothendieck spectral sequence is a fundamental tool in homological algebra that relates the derived functors of a composite functor to the derived functors of its components, enabling efficient computation of cohomology.
• E. Alexander–Spanier cohomology
  Alexander–Spanier cohomology is a cohomology theory in algebraic topology defined using cochains on all finite subsets of a space, notable for its generality and close relationship to Čech and singular cohomology.
• F. None of above. chosen