derived smooth geometry
Classically, an algebraic variety is a ringed space which looks locally like the geometric locus of zeros of a set of polynomial equations in finitely many variables (equipped with a sheaf of regular functions which are locally quotients of polynomials).
Historically, there were several formalisms of various schools including the Italian school of algebraic geometry in the early 20th century (Veronese, Castelnuovo, Severi, …), the American school between the two wars (Oscar Zariski?), Andre Weil, the abstract varieties of Jean-Pierre Serre and finally the scheme language of the Grothendieck school. One should note that in the case of (esp. projective) varieties over complex numbers there is an additional possibility to work using complex-analytic tools and complex topology.
Given an algebraically closed field , an algebraic -variety usually means either a quasiprojective variety or an abstract variety (in the sense of Serre). ‘Quasiprojective’ unifies affine, quasiaffine, projective and embedded quasiprojective -varieties.
An embedded affine -variety (or an affine algebraic set) is a set of zeros of a locus of common zeros of a set of polynomial equations in the affine space . By the Hilbert Nullstellensatz there is a more invariant definition. Affine -varieties are maximal spectra (= sets of maximal ideals) of finitely generated noetherian (commutative unital) -algebras without nilpotents with the Zariski topology; the algebra can be recovered as the coordinate ring of the variety; this correspondence is an equivalence of categories, if the morphisms are properly defined.
Embedded quasiaffine -varieties are Zariski-open subspaces of affine -varieties.
Embedded quasiprojective -varieties are Zariski-open subspaces of projective -varieties. We can remove the embedding by equipping them with the sheaf of regular functions and therefore considering them as locally ringed spaces. In the category of locally ringed spaces, projective, affine, and quasiaffine varieties are (isomorphic to) special cases of quasiprojective. Alternatively, we can put all 4 classes without sheaves into a category, by defining regular maps directly, and we get an isomorphic category of varieties.
In fact, by noticing that the affine -space is Zariski open in a projective space of the same dimension, we see that the quasiprojective case includes all others.
Morphisms between varieties are so-called regular maps?.
Sometimes a smooth algebraic variety may also be called algebraic manifold.
An abstract -prevariety in the sense of Serre is a locally ringed space which is locally isomorphic to affine -variety. The category of -prevarieties has a product which is obtained by locally gluing products in the category of affine -varieties. This enables defining a diagonal ; a prevariety is separated, or an abstract -variety if the diagonal is closed in Zariski topology (which is, of course, not a product of Zariski topologies of factors).
Of course, given a variety the corresponding scheme and variety have different sets of points; the points in common are the closed points of the scheme. The remaining points are the generic points of subvarieties. Generic points were often used, without proper foundations, in other language, already in the works of the Italian school.
Some modern algebraic geometers mean, by varieties, objects of certain slightly bigger categories of relative -schemes of finite type (where is not necessarily for a field); typically they are required to be separated reduced -schemes of finite type.
An amusing discussion on the differences between schemes and varieties can be found at Secret blogging seminar: algebraic geometry without prime ideals.