Generic flatness (original) (raw)
In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf of modules on a scheme is flat or free. They are due to Alexander Grothendieck. Generic flatness states that if Y is an integral locally noetherian scheme, u : X → Y is a finite type morphism of schemes, and F is a coherent OX-module, then there is a non-empty open subset U of Y such that the restriction of F to u−1(U) is flat over U.
| Property | Value |
|---|---|
| dbo:abstract | In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf of modules on a scheme is flat or free. They are due to Alexander Grothendieck. Generic flatness states that if Y is an integral locally noetherian scheme, u : X → Y is a finite type morphism of schemes, and F is a coherent OX-module, then there is a non-empty open subset U of Y such that the restriction of F to u−1(U) is flat over U. Because Y is integral, U is a dense open subset of Y. This can be applied to deduce a variant of generic flatness which is true when the base is not integral. Suppose that S is a noetherian scheme, u : X → S is a finite type morphism, and F is a coherent OX module. Then there exists a partition of S into locally closed subsets S1, ..., Sn with the following property: Give each Si its reduced scheme structure, denote by Xi the fiber product X ×S Si, and denote by Fi the restriction F ⊗OS OSi; then each Fi is flat. (en) |
| dbo:wikiPageID | 26374518 (xsd:integer) |
| dbo:wikiPageLength | 3093 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1034733101 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Module_(mathematics) dbr:Dévissage dbr:Integral_domain dbr:Noetherian_ring dbr:Commutative_algebra dbr:Alexander_Grothendieck dbr:Algebraic_geometry dbr:Flat_morphism dbr:Noether's_normalization_lemma dbc:Commutative_algebra dbc:Theorems_in_abstract_algebra dbc:Algebraic_geometry dbr:Fiber_product_of_schemes dbr:Free_module dbr:Scheme_(mathematics) dbr:Sheaf_(mathematics) dbr:Springer-Verlag |
| dbp:wikiPageUsesTemplate | dbt:Citation dbt:EGA |
| dct:subject | dbc:Commutative_algebra dbc:Theorems_in_abstract_algebra dbc:Algebraic_geometry |
| rdf:type | yago:WikicatTheoremsInAlgebra yago:Abstraction100002137 yago:Communication100033020 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment | In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf of modules on a scheme is flat or free. They are due to Alexander Grothendieck. Generic flatness states that if Y is an integral locally noetherian scheme, u : X → Y is a finite type morphism of schemes, and F is a coherent OX-module, then there is a non-empty open subset U of Y such that the restriction of F to u−1(U) is flat over U. (en) |
| rdfs:label | Generic flatness (en) |
| owl:sameAs | freebase:Generic flatness yago-res:Generic flatness wikidata:Generic flatness https://global.dbpedia.org/id/4kWki |
| prov:wasDerivedFrom | wikipedia-en:Generic_flatness?oldid=1034733101&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Generic_flatness |
| is dbo:wikiPageRedirects of | dbr:Generic_freeness |
| is dbo:wikiPageWikiLink of | dbr:List_of_algebraic_geometry_topics dbr:Dévissage dbr:Quillen's_lemma dbr:Generic_freeness dbr:Flat_module dbr:Flat_morphism |
| is foaf:primaryTopic of | wikipedia-en:Generic_flatness |