global Torelli theorems for K3 surfaces

Target entity: global Torelli theorems for K3 surfaces
Context triple: [Kähler cone, appearsIn, global Torelli theorems for K3 surfaces]

• A. Kummer surfaces
  Kummer surfaces are special quartic algebraic surfaces in projective three-space characterized by having 16 ordinary double points, extensively studied in the context of complex geometry and abelian varieties.
• B. Shafarevich conjecture for abelian varieties
  The Shafarevich conjecture for abelian varieties is a finiteness statement predicting that, over a number field, there are only finitely many isomorphism classes of abelian varieties with good reduction outside a fixed finite set of places, a result ultimately proved by Faltings.
• C. Shimura varieties
  Shimura varieties are higher-dimensional algebraic varieties that generalize modular curves and play a central role in the Langlands program by connecting number theory, automorphic forms, and arithmetic geometry.
• D. Standard Conjectures on Algebraic Cycles
  The Standard Conjectures on Algebraic Cycles are a set of deep, still unproven hypotheses in algebraic geometry that aim to provide a foundational theory of algebraic cycles and their cohomological properties, underpinning much of the modern theory of motives.
• E. Hodge–Riemann bilinear relations
  The Hodge–Riemann bilinear relations are fundamental positivity and orthogonality conditions on the intersection form in Hodge theory that underpin results such as the hard Lefschetz theorem and the Hodge index theorem.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: global Torelli theorems for K3 surfaces
Target entity description: The global Torelli theorems for K3 surfaces are foundational results in algebraic geometry that characterize K3 surfaces up to isomorphism by their Hodge structures and periods, with additional conditions involving the Kähler cone and monodromy.

• A. Kummer surfaces
  Kummer surfaces are special quartic algebraic surfaces in projective three-space characterized by having 16 ordinary double points, extensively studied in the context of complex geometry and abelian varieties.
• B. Shafarevich conjecture for abelian varieties
  The Shafarevich conjecture for abelian varieties is a finiteness statement predicting that, over a number field, there are only finitely many isomorphism classes of abelian varieties with good reduction outside a fixed finite set of places, a result ultimately proved by Faltings.
• C. Shimura varieties
  Shimura varieties are higher-dimensional algebraic varieties that generalize modular curves and play a central role in the Langlands program by connecting number theory, automorphic forms, and arithmetic geometry.
• D. Standard Conjectures on Algebraic Cycles
  The Standard Conjectures on Algebraic Cycles are a set of deep, still unproven hypotheses in algebraic geometry that aim to provide a foundational theory of algebraic cycles and their cohomological properties, underpinning much of the modern theory of motives.
• E. Hodge–Riemann bilinear relations
  The Hodge–Riemann bilinear relations are fundamental positivity and orthogonality conditions on the intersection form in Hodge theory that underpin results such as the hard Lefschetz theorem and the Hodge index theorem.
• F. None of above. chosen