📑 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

Generic

Look up generic in Wiktionary, the free dictionary. Generic or generics may refer to: Generic term, a common name used for a range or class of similar

Noether normalization lemma

A typical nontrivial application of the normalization lemma is the generic freeness theorem: Let A , B {\displaystyle A,B} be rings such that A {\displaystyle

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

Generic drug

A generic drug is a pharmaceutical drug that contains the same chemical substance as a proprietary drug that was originally protected by chemical patents

Generic programming

Generic programming is a style of computer programming in which algorithms are written in terms of data types to-be-specified-later that are then instantiated

Generic trademark

A generic trademark, also known as a genericized trademark or proprietary eponym, is a trademark or brand name that, because of its popularity or significance

Morphism of algebraic varieties

f*k(Y). By generic freeness, there is some nonempty open subset U in Y such that the restriction of the structure sheaf OX to f−1(U) is free as OY|U-module

Free module

presentation Free resolution Quillen–Suslin theorem Stably free module Generic freeness Keown (1975). An Introduction to Group Representation Theory. p. 24