Nagata compactification theorem

Nagata compactification theorem
Name	Nagata compactification theorem
Field	Algebraic geometry
Introduced by	Masayoshi Nagata
Introduced in	1960s
Related	Zariski compactification; proper morphism; compactification; resolution of singularities

Nagata compactification theorem

The Nagata compactification theorem is a central result in algebraic geometry asserting that certain separated morphisms of finite type to a scheme admit a compactification into a proper morphism. The theorem connects foundational work of Masayoshi Nagata with later developments by Jean-Pierre Serre, Alexander Grothendieck, Michael Artin, and Ofer Gabber, and underpins constructions used by researchers associated with Harvard University, University of Tokyo, Institute for Advanced Study, and institutions where modern projective and proper techniques are taught. It is invoked in studies linked to the Grothendieck school, the École Normale Supérieure, the Mathematical Institute, Oxford, and in expositions influenced by the Séminaire de Géométrie Algébrique.

Statement of the theorem

The theorem states that for a separated morphism of finite type f: X → S between noetherian schemes there exists an open immersion i: X ↪ X̄ into an S-scheme X̄ that is proper over S and such that f factors as X → X̄ → S. The assertion is often formulated in contexts developed by Alexander Grothendieck in the Éléments de géométrie algébrique and refined in later expositions by authors from Princeton University and the University of Cambridge. The statement is frequently used alongside the Chow's lemma framework and comparisons with the Nagata compactification approach in discussions involving the Zariski topology, the étale topology, and constructions in the Stacks Project tradition.

Historical context and significance

Nagata proved early forms of compactification results within the milieu of postwar algebraic geometry, interacting historically with the schools of Masayoshi Nagata, Oscar Zariski, André Weil, and Jean-Pierre Serre. The theorem resolved questions left open after foundational contributions by Federigo Enriques and was contemporaneous with work by Dieudonné and Grothendieck on properness and cohomology. Subsequent improvements and generalities were given by Michael Artin and clarified in seminars associated with Cornell University and Institut des Hautes Études Scientifiques. The result has significance in the study of compact moduli, links to the Deligne–Mumford theory, and influence on compactification techniques used in contexts related to Mumford's GIT, Hironaka's resolution of singularities, and constructions by Pierre Deligne.

Proofs and techniques

Proof strategies for Nagata's theorem exploit methods from the Grothendieck school: usage of properness criteria from EGA, patching techniques influenced by Zariski's main theorem, and reductions to quasi-projective cases via Chow-type lemmas credited to Wei-Liang Chow and later authors. Modern proofs use alterations and flattening theorems associated with Heisuke Hironaka and Aise Johan de Jong, and refinements by Ofer Gabber who provided elegant presentations suitable for the stacks project and readers at institutions like IHÉS. Techniques draw on compactification lore appearing in expositions by Robin Hartshorne, and foundational material from the seminars of Jean-Louis Verdier and Pierre Deligne.

Variants and generalizations

Variants of the theorem relax hypotheses on noetherianity or separatedness, leading to generalizations in the settings of algebraic spaces associated with Michael Artin and to derived or higher-categorical analogues appearing in work at Institute for Advanced Study and centers influenced by Jacob Lurie. Extensions consider compactifications compatible with group actions studied in contexts linked to David Mumford and Nicholas M. Katz, compact moduli approaches related to GIT stability and comparisons with the Toroidal embedding techniques of G. Kempf and Tony Pantev. Work by Brian Conrad and collaborators addresses versions for non-noetherian bases, while contributions from researchers at Princeton University and University of California, Berkeley treat equivariant and stack-theoretic refinements.

Applications in algebraic geometry

Nagata's theorem is applied to construct proper models in the theory of moduli spaces influenced by Deligne–Mumford stacks and used in cohomological comparisons in the vein of Grothendieck's duality theory. It is instrumental in compactifying morphisms appearing in studies by Jean-Marc Fontaine and Barry Mazur in arithmetic geometry, and in formulating compact forms of maps required in proofs of finiteness theorems associated with André Weil and Serre's conjectures. The theorem underlies many constructions in intersection theory developed by authors connected to William Fulton and in birational geometry tangentially related to Shigefumi Mori and Vladimir Voevodsky.

Examples and counterexamples

Typical examples where the theorem is invoked include compactifying affine varieties over bases like Spec of a Dedekind domain studied by Krull and compactifying morphisms arising from complements of divisors in projective varieties considered by Oscar Zariski and Federigo Enriques. Counterexamples illustrate necessity of hypotheses: dropping separatedness or finite type can produce morphisms with no proper compactification, discussed in seminars at Université Paris-Sud and in notes influenced by Matsusaka and Nagata's own examples. Further instructive cases appear in studies of algebraic spaces by Michael Artin where the compactification behavior deviates from the scheme setting.

Category:Algebraic geometry theorems