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: Néron models | Statement: [Faltings' theorem, uses, Néron models]

Target entity: Néron models
Context triple: [Faltings' theorem, uses, Néron models]

• A. 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.
• B. Arakelov theory
  Arakelov theory is a framework in arithmetic geometry that extends intersection theory to arithmetic surfaces by incorporating both finite and infinite places, enabling analytic tools to study Diophantine problems.
• C. 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.
• D. Modular curves and the Eisenstein ideal
  "Modular curves and the Eisenstein ideal" is a landmark 1977 paper by Barry Mazur that uses the arithmetic of modular curves and the structure of the Eisenstein ideal in Hecke algebras to prove deep results about rational torsion points on elliptic curves over the rational numbers.
• E. The Geometry of Schemes
  The Geometry of Schemes is a graduate-level textbook by David Eisenbud and Joe Harris that provides an accessible, example-driven introduction to the language and techniques of scheme theory in modern algebraic geometry.
• 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: Néron models
Triple: [Faltings' theorem, uses, Néron models]

Néron models are canonical smooth group schemes over a Dedekind domain that extend an abelian variety from its field of fractions in a way that preserves its universal mapping properties and facilitates arithmetic and geometric study of its reduction.

Target entity: Néron models
Target entity description: Néron models are canonical smooth group schemes over a Dedekind domain that extend an abelian variety from its field of fractions in a way that preserves its universal mapping properties and facilitates arithmetic and geometric study of its reduction.

• A. 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.
• B. Arakelov theory
  Arakelov theory is a framework in arithmetic geometry that extends intersection theory to arithmetic surfaces by incorporating both finite and infinite places, enabling analytic tools to study Diophantine problems.
• C. 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.
• D. Modular curves and the Eisenstein ideal
  "Modular curves and the Eisenstein ideal" is a landmark 1977 paper by Barry Mazur that uses the arithmetic of modular curves and the structure of the Eisenstein ideal in Hecke algebras to prove deep results about rational torsion points on elliptic curves over the rational numbers.
• E. The Geometry of Schemes
  The Geometry of Schemes is a graduate-level textbook by David Eisenbud and Joe Harris that provides an accessible, example-driven introduction to the language and techniques of scheme theory in modern algebraic geometry.
• F. None of above. chosen