Abstract algebraic variety

From Wikipedia, the free encyclopedia

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 widespread acceptance. In Grothendieck's language, an abstract algebraic variety is an integral, separated scheme of finite type over an algebraically closed field.^[1]. Classical algebraic varieties are the quasiprojective integral separated finite type schemes over an algebraically closed field.

[edit] Existence of non-quasiprojective abstract algebraic varieties

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

[edit] Notes

[edit] References

• Hartshorne, Robin (1976), Algebraic Geometry, New York: Springer-Verlag, pp. 104–105 
• Nagata, Masayoshi (1956), "On the imbedding problem of abstract varieties in projective varieties", Memoirs of the College of Science, University of Kyoto. Series A: Mathematics 30: 71–82, MR0088035 
• Nagata, Masayoshi (1957), "On the imbeddings of abstract surfaces in projective varieties", Memoirs of the College of Science, University of Kyoto. Series A: Mathematics 30: 231–235, MR0094358 
• Weil, André (1962) [1946], Foundations of algebraic geometry, Providence, R.I.: American Mathematical Society, MR0144898