Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: global Torelli theorems for K3 surfaces | Statement: [Kähler cone, appearsIn, 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.

Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"

Entity: global Torelli theorems for K3 surfaces
Triple: [Kähler cone, appearsIn, global Torelli theorems for K3 surfaces]

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.

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