Nagata's compactification theorem (original) (raw)
In algebraic geometry, Nagata's compactification theorem, introduced by Nagata , implies that every abstract variety can be embedded in a complete variety, and more generally shows that a separated and finite type morphism to a Noetherian scheme S can be factored into an open immersion followed by a proper morphism. , where is the extension by zero functor. One then shows the independence of the definition from the choice of compactification.
| Property | Value |
|---|---|
| dbo:abstract | In algebraic geometry, Nagata's compactification theorem, introduced by Nagata , implies that every abstract variety can be embedded in a complete variety, and more generally shows that a separated and finite type morphism to a Noetherian scheme S can be factored into an open immersion followed by a proper morphism. Nagata's original proof used the older terminology of Zariski–Riemann spaces and valuation theory, which sometimes made it hard to follow.Deligne showed, in unpublished notes expounded by Conrad, that Nagata's proof can be translated into scheme theory and that the condition that S is Noetherian can be replaced by the much weaker condition that S is quasi-compact and quasi-separated. gave another scheme-theoretic proof of Nagata's theorem. An important application of Nagata's theorem is in defining the analogue in algebraic geometry of cohomology with compact support, or more generally higher direct image functors with proper support. The idea is that given a compactifiable morphism one defines by choosing a factorization by an open immersion j and proper morphism p, and then setting , where is the extension by zero functor. One then shows the independence of the definition from the choice of compactification. In the context of étale sheaves, this idea was carried out by Deligne in SGA 4, Exposé XVII. In the context of coherent sheaves, the statements are more delicate since for an open immersion j, the inverse image functor does not usually admit a left adjoint. Nonetheless, exists as a , and Deligne was able to define the functor as valued in the pro-derived category of coherent sheaves. (en) |
| dbo:wikiPageExternalLink | https://stacks.math.columbia.edu/tag/0F3T https://stacks.math.columbia.edu/tag/0F7H https://stacks.math.columbia.edu/tag/0G4Z http://projecteuclid.org/euclid.kjm/1250524859 http://projecteuclid.org/euclid.kjm/1250524969 http://math.stanford.edu/~conrad/papers/nagatafinal.pdf%7Cfirst=B%7Clast=Conrad%7Ctitle=Deligne's |
| dbo:wikiPageID | 37613671 (xsd:integer) |
| dbo:wikiPageLength | 4054 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1112351355 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Brian_Conrad dbr:Valuation_(algebra) dbr:Inverse_image_functor dbr:Compact_space dbr:Complete_variety dbr:Stacks_Project dbr:Coherent_sheaves dbr:Algebraic_geometry dbr:Abstract_variety dbr:Direct_image_with_compact_support dbr:Proper_morphism dbr:Zariski–Riemann_space dbc:Theorems_in_algebraic_geometry dbr:Cohomology_with_compact_support dbr:Pierre_Deligne dbr:Glossary_of_scheme_theory dbr:Finite_morphism dbr:Noetherian_scheme dbr:SGA_4 dbr:Étale_sheaf dbr:Nlab:pro-left+adjoint |
| dbp:authorlink | Masayoshi Nagata (en) |
| dbp:last | Nagata (en) |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:Harvtxt dbt:Reflist dbt:Harvs |
| dbp:year | 1962 (xsd:integer) 1963 (xsd:integer) |
| dct:subject | dbc:Theorems_in_algebraic_geometry |
| rdfs:comment | In algebraic geometry, Nagata's compactification theorem, introduced by Nagata , implies that every abstract variety can be embedded in a complete variety, and more generally shows that a separated and finite type morphism to a Noetherian scheme S can be factored into an open immersion followed by a proper morphism. , where is the extension by zero functor. One then shows the independence of the definition from the choice of compactification. (en) |
| rdfs:label | Nagata's compactification theorem (en) |
| owl:sameAs | freebase:Nagata's compactification theorem yago-res:Nagata's compactification theorem wikidata:Nagata's compactification theorem dbpedia-fi:Nagata's compactification theorem https://global.dbpedia.org/id/FAKi |
| prov:wasDerivedFrom | wikipedia-en:Nagata's_compactification_theorem?oldid=1112351355&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Nagata's_compactification_theorem |
| is dbo:knownFor of | dbr:Masayoshi_Nagata |
| is dbo:wikiPageRedirects of | dbr:Nagata_compactification |
| is dbo:wikiPageWikiLink of | dbr:Masayoshi_Nagata dbr:Glossary_of_algebraic_geometry dbr:Smooth_completion dbr:Proper_morphism dbr:List_of_theorems dbr:Noetherian_scheme dbr:Nagata_compactification |
| is dbp:knownFor of | dbr:Masayoshi_Nagata |
| is foaf:primaryTopic of | wikipedia-en:Nagata's_compactification_theorem |