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 ×SSi, and denote by Fi the restriction F ⊗OSOSi; then each Fi is flat.
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.
In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.
In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type.
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.
In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality. Under mild assumptions, a local ring is Cohen–Macaulay exactly when it is a finitely generated free module over a regular local subring. Cohen–Macaulay rings play a central role in commutative algebra: they form a very broad class, and yet they are well understood in many ways.
In commutative algebra, a regular sequence is a sequence of elements of a commutative ring which are as independent as possible, in a precise sense. This is the algebraic analogue of the geometric notion of a complete intersection.
In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphismf from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e.,
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.
In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.
In algebraic geometry, a finite morphism between two affine varieties is a dense regular map which induces isomorphic inclusion between their coordinate rings, such that is integral over . This definition can be extended to the quasi-projective varieties, such that a regular map between quasiprojective varieties is finite if any point like has an affine neighbourhood V such that is affine and is a finite map.
In algebraic geometry, a branch of mathematics, a morphism f : X → Y of schemes is quasi-finite if it is of finite type and satisfies any of the following equivalent conditions:
In algebraic geometry, an algebraic variety or scheme X is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety X is normal if and only if the ring O(X) of regular functions on X is an integrally closed domain. A variety X over a field is normal if and only if every finite birational morphism from any variety Y to X is an isomorphism.
In algebraic geometry, an étale morphism is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.
In algebra, a Hilbert ring or a Jacobson ring is a ring such that every prime ideal is an intersection of primitive ideals. For commutative rings primitive ideals are the same as maximal ideals so in this case a Jacobson ring is one in which every prime ideal is an intersection of maximal ideals.
In commutative algebra, an element b of a commutative ring B is said to be integral overA, a subring of B, if there are n ≥ 1 and aj in A such that
In algebraic geometry, Zariski's main theorem, proved by Oscar Zariski (1943), is a statement about the structure of birational morphisms stating roughly that there is only one branch at any normal point of a variety. It is the special case of Zariski's connectedness theorem when the two varieties are birational.
In algebraic geometry, dévissage is a technique introduced by Alexander Grothendieck for proving statements about coherent sheaves on noetherian schemes. Dévissage is an adaptation of a certain kind of noetherian induction. It has many applications, including the proof of generic flatness and the proof that higher direct images of coherent sheaves under proper morphisms are coherent.
In commutative algebra and algebraic geometry, a morphism is called formally étale if it has a lifting property that is analogous to being a local diffeomorphism.
This is a glossary of algebraic geometry.
This is a glossary of commutative algebra.
In algebraic geometry, a sheaf of algebras on a ringed space X is a sheaf of commutative rings on X that is also a sheaf of -modules. It is quasi-coherent if it is so as a module.