Closed immersionIn algebraic geometry, a closed immersion of schemes is a morphism of schemes that identifies Z as a closed subset of X such that locally, regular functions on Z can be extended to X. The latter condition can be formalized by saying that is surjective. An example is the inclusion map induced by the canonical map . The following are equivalent: is a closed immersion. For every open affine , there exists an ideal such that as schemes over U. There exists an open affine covering and for each j there exists an ideal such that as schemes over .
Irreducible componentIn algebraic geometry, an irreducible algebraic set or irreducible variety is an algebraic set that cannot be written as the union of two proper algebraic subsets. An irreducible component is an algebraic subset that is irreducible and maximal (for set inclusion) for this property. For example, the set of solutions of the equation xy = 0 is not irreducible, and its irreducible components are the two lines of equations x = 0 and y =0.
Rational mappingIn mathematics, in particular the subfield of algebraic geometry, a rational map or rational mapping is a kind of partial function between algebraic varieties. This article uses the convention that varieties are irreducible. Formally, a rational map between two varieties is an equivalence class of pairs in which is a morphism of varieties from a non-empty open set to , and two such pairs and are considered equivalent if and coincide on the intersection (this is, in particular, vacuously true if the intersection is empty, but since is assumed irreducible, this is impossible).
Glossary of algebraic geometryThis is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
Géométrie birationnellethumb|right|Le cercle est birationnellement équivalent à la droite. Un exemple d'application birationnelle est la projection stéréographique, représentée ici ; avec les notations du texte, P a pour abscisse 1/t. En mathématiques, la géométrie birationnelle est un domaine de la géométrie algébrique dont l'objectif est de déterminer si deux variétés algébriques sont isomorphes, à un ensemble négligeable près. Cela revient à étudier des applications définies par des fonctions rationnelles plutôt que par des polynômes, ces applications n'étant pas définies aux pôles des fonctions.
Resolution of singularitiesIn algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic p it is an open problem in dimensions at least 4. Originally the problem of resolution of singularities was to find a nonsingular model for the function field of a variety X, in other words a complete non-singular variety X′ with the same function field.
Corps résiduelUn corps résiduel d'un anneau commutatif R est le quotient de R par un idéal maximal. S'agissant d'un idéal maximal, l'anneau issu du quotient a une structure de corps. Le concept est avant tout utilisé en géométrie algébrique et en théorie algébrique des nombres, où l'on travaille le plus souvent avec un anneau local ou un anneau de valuation discrète, qui ne possède qu'un idéal maximal et permet donc de parler « du » corps résiduel. On peut opérer le quotient sur un anneau non commutatif, mais on obtient alors un corps gauche.
Morphisme de type finiEn géométrie algébrique, un morphisme de type fini peut être pensé comme une famille de variétés algébriques paramétrée par un schéma de base. C'est un des types de morphismes les plus couramment étudiés. Soit un morphisme de schémas. On dit que est de type fini si pour tout ouvert affine de , est quasi-compact (i.e. réunion finie d'ouverts affines) et que pour tout ouvert affine contenu dans , le morphisme canonique est de type fini.
Quasi-projective varietyIn mathematics, a quasi-projective variety in algebraic geometry is a locally closed subset of a projective variety, i.e., the intersection inside some projective space of a Zariski-open and a Zariski-closed subset. A similar definition is used in scheme theory, where a quasi-projective scheme is a locally closed subscheme of some projective space. An affine space is a Zariski-open subset of a projective space, and since any closed affine subset can be expressed as an intersection of the projective completion and the affine space embedded in the projective space, this implies that any affine variety is quasiprojective.
Generic pointIn algebraic geometry, a generic point P of an algebraic variety X is, roughly speaking, a point at which all generic properties are true, a generic property being a property which is true for almost every point. In classical algebraic geometry, a generic point of an affine or projective algebraic variety of dimension d is a point such that the field generated by its coordinates has transcendence degree d over the field generated by the coefficients of the equations of the variety.