Abstract Variety

In mathematics, in the field of algebraic geometry, the idea of abstract variety is to define a concept of algebraic variety in an intrinsic way. This followed the trend in the definition of manifold independent of any ambient space (Hassler Whitney, in the 1930s) by some years, the first notions being those of Oscar Zariski and André Weil in the 1940s. It was Weil, in his foundational work, who gave a first acceptable definition of algebraic variety that stood outside projective space.

The simplest notion of algebraic variety is affine algebraic variety. If k is a given algebraically closed field, then An(k) is the n-fold Cartesian product of k with itself. Given an ideal I in the ring k of polynomials in n variables over k, the zero set V(I) is the affine variety defined by the ideal. Unfortunately, affine varieties lack a fundamental property known as completeness. To address this deficiency, affine varieties can be completed, by embedding them in projective space. Formally, a new variable x₀ is introduced, and the polynomials are replaced by homogeneous polynomials. Choosing an index i to omit from the defining polynomials provide an affine subspace of Pn, and an open affine subvariety of the projective variety. The problem with this approach is that the mechanics of working with projective space and homogeneous coordinates is not terribly geometrical, and is also somewhat arbitrary. Taking a step back, we see that if V is projective variety, the set of affine varieties we have defined is an open cover of V. Moreover, if U_α is an element of the open cover, there is an associated affine coordinate ring O(U_α), and the assignment of coordinate rings to these sets forms a presheaf on V which will be known as the structure sheaf. An abstract variety (V,O) is a topological space V with an associated sheaf O of commutative rings that has the additional property that it can be covered by open sets U such that (V|_U, O_U) is isomorphic to an affine variety, and such that any morphism of abstract varieties corresponds to morphisms of affine varieties in a neighborhood of any point. Just as in the classical case, the topology of V is known as the Zariski topology.