Glossary of scheme theory

This 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.

Algebraic geometry occupied a central place in the mathematics of the last century. The deepest results of Abel, Riemann, Weierstrass, many of the most important papers of Klein and Poincare belong to this domain. At the end of the last and the beginning of the present century the attitude towards algebraic geometry changed abruptly. ... The style of thinking that was fully developed in algebraic geometry at that time was too far removed from the set-theoretical and axiomatic spirit, which then determined the development of mathematics. ... Around the middle of the present century algebraic geometry had undergone to a large extent such a reshaping process. As a result, it can again lay claim to the position it once occupied in mathematics.

holds for any coherent sheaf F on X; for example, if X is a smooth projective variety, then it is a canonical sheaf.

The EGA was an incomplete attempt to lay a foundation of algebraic geometry based on the notion of scheme, a generalization of an algebraic variety. Séminaire de géométrie algébrique picks up where the EGA left off. Today it is one of the standard references in algebraic geometry.

Étale morphisms form a very important class of morphisms; they are used to build the so-called étale topology and consequently the étale cohomology, which is nowadays one of the cornerstones of algebraic geometry.

...
Wikipedia