Abstract variety

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 [x1,...,xn] of poynomials 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 x0 is introduced, and the polynomials are replaced by homogenous 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 working with projective space and homogenous coordinates is not terribly geometrical, and is also somewhat aribtrary. Taking a set 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, OU) is isomorphic to an affine variety, and such that any morphism of abstract varieties correspsonds 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.

Relationship with schemes

The notion of abstract variety is closely analogous to that of a scheme. The difference is that schemes are not inherently tied to An or to rings of polynomials. Instead, the topology and structure sheaf are defined directly from the ideal structure of commutative rings.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • abstract expressionism — abstract expressionist. (sometimes caps.) a movement in experimental, nonrepresentational painting originating in the U.S. in the 1940s, with sources in earlier movements, and embracing many individual styles marked in common by freedom of… …   Universalium

  • Abstract analytic number theory — is a branch of mathematics which takes the ideas and techniques of classical analytic number theory and applies them to a variety of different mathematical fields. The classical prime number theorem serves as a prototypical example, and the… …   Wikipedia

  • Abstract algebraic variety — In algebraic geometry, an abstract algebraic variety is an algebraic variety that is defined intrinsically, that is, without an embedding into another variety.In classical algebraic geometry, all varieties were by definition quasiprojective… …   Wikipedia

  • Abstract algebraic logic — In mathematical logic, abstract algebraic logic (AAL) studies the ways in which classes of algebras may be associated with logical systems, and how these classes of algebras interact with logical systems.OverviewThe archetypal association of this …   Wikipedia

  • Abstract art — Kazimir Malevich, Black Square, c. 1913 Abstract art uses a visual language of form, color and line to create a composition which may exist with a degree of independence from visual references in the world.[1] Western art had been, from the… …   Wikipedia

  • abstract — 01. I don t really like [abstract] art, such as that done by Picasso. I much prefer something more realist. 02. It can be quite difficult to really define [abstract] ideas, such as love or friendship. 03. One s capacity for [abstract] thinking is …   Grammatical examples in English

  • Abelian variety — In mathematics, particularly in algebraic geometry, complex analysis and number theory, an Abelian variety is a projective algebraic variety that is at the same time an algebraic group, i.e., has a group law that can be defined by regular… …   Wikipedia

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   Wikipedia

  • Algebraic variety — This article is about algebraic varieties. For the term a variety of algebras , and an explanation of the difference between a variety of algebras and an algebraic variety, see variety (universal algebra). The twisted cubic is a projective… …   Wikipedia

  • Shimura variety — In mathematics, a Shimura variety is an analogue of a modular curve, and is (roughly) a quotient of an Hermitian symmetric space by a congruence subgroup of an algebraic group. The simplest example is the quotient of the upper half plane by SL… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”