📑 Table of Contents▼

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.[1]

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.[2] 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.

Generic freeness

edit

Generic flatness is a consequence of the generic freeness lemma. Generic freeness states that if A is a noetherian integral domain, B is a finite type A-algebra, and M is a finite type B-module, then there exists a non-zero element f of A such that Mf is a free Af-module.[3] Generic freeness can be extended to the graded situation: If B is graded by the natural numbers, A acts in degree zero, and M is a graded B-module, then f may be chosen such that each graded component of Mf is free.[4]

Generic freeness is proved using Grothendieck's technique of dévissage. Another version of generic freeness can be proved using Noether's normalization lemma.

References

edit
  1. ^ EGA IV2, Théorème 6.9.1
  2. ^ EGA IV2, Corollaire 6.9.3
  3. ^ EGA IV2, Lemme 6.9.2
  4. ^ Eisenbud, Theorem 14.4

Bibliography

edit
  • Eisenbud, David (1995), Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics, vol. 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94268-1, MR 1322960
  • Grothendieck, Alexandre; Dieudonné, Jean (1965). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Seconde partie". Publications Mathématiques de l'IHÉS. 24. doi:10.1007/bf02684322. MR 0199181.

📚 Artikel Terkait di Wikipedia

Flat morphism

called faithfully flat if it is both surjective and flat. Two basic intuitions regarding flat morphisms are: flatness is a generic property; and the failure

List of generic and genericized trademarks

three lists of generic and genericized trademarks are: marks that were originally legally protected trademarks, but have been genericized and have lost

Dévissage

Noetherian induction. It has many applications, including the proof of generic flatness and the proof that higher direct images of coherent sheaves under proper

Flat module

study of flatness to the case of local rings. They are often expressed by saying that flatness is a local property. The definition of a flat morphism

Flagstone

A flagstone, or flag, is a generic flat stone, sometimes cut in regular rectangular or square shape and usually used for paving slabs or walkways, patios

Quillen's lemma

not require k to be uncountable. Quillen's original short proof uses generic flatness. Quillen, D. (1969). "On the endomorphism ring of a simple module over

List of algebraic geometry topics

Koszul complex Spectrum of a ring Zariski topology Kähler differential Generic flatness Irrelevant ideal Locally ringed space Coherent sheaf Invertible sheaf

Generic you

place of one, the singular impersonal pronoun, in colloquial speech. The generic you is primarily a colloquial substitute for one. For instance, "Brushing