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 varieties, meaning that they were open subvarieties of closed subvarieties of projective space. In particular, they had a chosen embedding into projective space, and this embedding was used to define the topology on the variety and the regular functions on the variety. The disadvantage of such a definition is that not all varieties come with natural embeddings into projective space. For example, under this definition, the product P¹×P¹ is not a variety until it is embedded into the projective space; this is usually done by the Segre embedding. However, any variety which admits one embedding into projective space admits many others by composing the embedding with the Veronese embedding. Consequently many notions which should be intrinsic, such as the concept of a regular function, are not obviously so.

The earliest successful attempt to define an abstract algebraic variety was made by André Weil. In his "Foundations of Algebraic Geometry", Weil defined an abstract algebraic variety using valuations. Claude Chevalley made a definition of a scheme which served a similar purpose, but was more general. However, it was Alexander Grothendieck's definition of a scheme that was both most general and found the most widest acceptance. In Grothendieck's language, an abstract algebraic variety is an integral, separated scheme of finite type over an algebraically closed field. [Harvnb|Hartshorne|1976|pp=104–105] . Classical algebraic varieties are the quasiprojective integral separated finite type schemes over an algebraically closed field.

Existence of non-quasiprojective abstract algebraic varieties

One of the earliest examples of a non-quasiprojective algebraic variety were given by Nagata. [Harvnb|Nagata|1956] . Nagata's example was not complete (the analog of compactness), but soon afterwards he found an algebraic surface which was complete and non-projective. [Harvnb|Nagata|1957] . Since then other examples have been found.

Notes

References

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

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
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
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia
Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… … Wikipedia
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… … Wikipedia
Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… … Wikipedia
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
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
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

Academic Dictionaries and Encyclopedias

Abstract algebraic variety

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Abstract algebraic variety

Look at other dictionaries:

Share the article and excerpts

Direct link