Zariski’s Main Theorem

Target entity: Zariski’s Main Theorem
Context triple: [Oscar Zariski, knownFor, Zariski’s Main Theorem]

• A. Chevalley’s theorem in algebraic geometry
  Chevalley’s theorem in algebraic geometry is a fundamental result stating that the image of a morphism of finite type between schemes (or varieties) is a constructible set, playing a key role in understanding how geometric properties behave under mappings.
• B. Serre’s cohomological methods in algebraic geometry
  Serre’s cohomological methods in algebraic geometry are foundational techniques that use sheaf cohomology to relate and study algebraic and analytic geometry, profoundly influencing modern algebraic geometry and complex geometry.
• 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. Grothendieck–Lefschetz theorem
  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.
• E. Grothendieck’s scheme-theoretic framework
  Grothendieck’s scheme-theoretic framework is a foundational reformulation of algebraic geometry that generalizes varieties using schemes, enabling powerful tools like sheaf theory, cohomology, and modern number-theoretic applications.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Zariski’s Main Theorem
Target entity description: Zariski’s Main Theorem is a fundamental result in algebraic geometry that characterizes finite-type morphisms between varieties by relating birationality, normality, and the structure of fibers.

• A. Chevalley’s theorem in algebraic geometry
  Chevalley’s theorem in algebraic geometry is a fundamental result stating that the image of a morphism of finite type between schemes (or varieties) is a constructible set, playing a key role in understanding how geometric properties behave under mappings.
• B. Serre’s cohomological methods in algebraic geometry
  Serre’s cohomological methods in algebraic geometry are foundational techniques that use sheaf cohomology to relate and study algebraic and analytic geometry, profoundly influencing modern algebraic geometry and complex geometry.
• 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. Grothendieck–Lefschetz theorem
  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.
• E. Grothendieck’s scheme-theoretic framework
  Grothendieck’s scheme-theoretic framework is a foundational reformulation of algebraic geometry that generalizes varieties using schemes, enabling powerful tools like sheaf theory, cohomology, and modern number-theoretic applications.
• F. None of above. chosen