Grothendieck–Lefschetz theorem

Target entity: Grothendieck–Lefschetz theorem
Context triple: [Lefschetz hyperplane theorem, generalizedBy, Grothendieck–Lefschetz theorem]

• A. Lefschetz hyperplane theorem
  The Lefschetz hyperplane theorem is a fundamental result in algebraic geometry and topology that relates the topology (especially homology and homotopy groups) of a smooth projective variety to that of its hyperplane sections.
• B. 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.
• C. Grothendieck–Lefschetz trace formula
  The Grothendieck–Lefschetz trace formula is a fundamental result in algebraic geometry that expresses the number of rational points of a variety over a finite field in terms of traces of Frobenius acting on its étale cohomology groups.
• D. Grothendieck–Ogg–Shafarevich formula
  The Grothendieck–Ogg–Shafarevich formula is a result in arithmetic geometry that relates the Euler characteristic of an ℓ-adic sheaf on a curve over a finite field to local invariants such as conductors and ramification data.
• E. Hard Lefschetz theorem
  The Hard Lefschetz theorem is a fundamental result in algebraic geometry and Hodge theory that relates the cohomology groups of a compact Kähler manifold via repeated cup product with the Kähler class, yielding powerful symmetry and duality properties.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Grothendieck–Lefschetz theorem
Target entity description: The Grothendieck–Lefschetz theorem is a fundamental result in algebraic geometry that extends Lefschetz-type hyperplane theorems to a broad scheme-theoretic and cohomological setting, relating the geometry and Picard groups of a variety to those of its hyperplane sections.

• A. Lefschetz hyperplane theorem
  The Lefschetz hyperplane theorem is a fundamental result in algebraic geometry and topology that relates the topology (especially homology and homotopy groups) of a smooth projective variety to that of its hyperplane sections.
• B. 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.
• C. Grothendieck–Lefschetz trace formula
  The Grothendieck–Lefschetz trace formula is a fundamental result in algebraic geometry that expresses the number of rational points of a variety over a finite field in terms of traces of Frobenius acting on its étale cohomology groups.
• D. Grothendieck–Ogg–Shafarevich formula
  The Grothendieck–Ogg–Shafarevich formula is a result in arithmetic geometry that relates the Euler characteristic of an ℓ-adic sheaf on a curve over a finite field to local invariants such as conductors and ramification data.
• E. Hard Lefschetz theorem
  The Hard Lefschetz theorem is a fundamental result in algebraic geometry and Hodge theory that relates the cohomology groups of a compact Kähler manifold via repeated cup product with the Kähler class, yielding powerful symmetry and duality properties.
• F. None of above. chosen