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.

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