Algebraic geometry: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>David E. Volk
No edit summary
imported>Paul Wormer
(Entered schemed (copied from Dieudonne) and a few extra sentences)
Line 1: Line 1:
{{subpages}}
{{subpages}}
'''Algebraic geometry''' is the study of geometric properties of the objects defined by algebraic equations.  For example, a [[parabola]], such as all solutions <math>(x,y)</math> of the equation <math>y - x^2 = 0</math>, is one such object, whereas one can prove that the graph of the [[exponential function]]---all solutions <math>(x,y)</math> of the equation <math>y - e^x = 0</math>---is not, i.e. the exponential equation cannot be replaced by an equivalent system of polynomial equations.  The key distinction is that the equation defining the first example is a [[polynomial]] equation, whereas the second cannot be represented by polynomial equations.  The first approximation of the adjective ''algebraic'' could be ''defined by polynomials.'' Next, this kind of algebraic sets are glued together in a proper way to form more general objects of interest to algebraic geometry, while the more elementary algebraic geometry of algebraic sets is closely related to [[commutative algebra]].
Classical '''algebraic geometry''' is the study of geometric properties of the objects defined by algebraic equations.  For example, a [[parabola]], such as all solutions <math>(x,y)</math> of the equation <math>y - x^2 = 0</math>, is one such object, whereas one can prove that the graph of the [[exponential function]]---all solutions <math>(x,y)</math> of the equation <math>y - e^x = 0</math>---is not, i.e. the exponential equation cannot be replaced by an equivalent system of polynomial equations.  The key distinction is that the equation defining the first example is a [[polynomial]] equation, whereas the second cannot be represented by polynomial equations.  The first approximation of the adjective ''algebraic'' could be ''defined by polynomials.'' Next, this kind of algebraic sets are glued together in a proper way to form more general objects of interest to algebraic geometry, while the more elementary algebraic geometry of algebraic sets is closely related to [[commutative algebra]].
 
==Modern framework==
 
[[Image:Algebraic geometry.png|700px|center|<br/>]]
Algebraic geometry developed around classification problems (on the model of the classical theory of conics). But the context of such investigations has undergone considerable evolution since the beginning of the nineteenth century. First the ground field has been extended from the real numbers to the field of [[complex number]]s and later to arbitrary [[field]]s. In the second place notions of abstract algebra have led to a natural generalization of algebraic geometry, namely to the concept of [[algebraic affine variety]], a set of points in <math>\scriptstyle \mathbb{K}^n </math>  that satisfy polynomial equations with coefficients in the field <math>\scriptstyle \mathbb{K}.</math>
 
==Reference==
J. Dieudonné, ''A Panoroma of Pure Mathematics'', Academic Press, New York, (1982)

Revision as of 04:58, 1 January 2008

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Classical algebraic geometry is the study of geometric properties of the objects defined by algebraic equations. For example, a parabola, such as all solutions of the equation , is one such object, whereas one can prove that the graph of the exponential function---all solutions of the equation ---is not, i.e. the exponential equation cannot be replaced by an equivalent system of polynomial equations. The key distinction is that the equation defining the first example is a polynomial equation, whereas the second cannot be represented by polynomial equations. The first approximation of the adjective algebraic could be defined by polynomials. Next, this kind of algebraic sets are glued together in a proper way to form more general objects of interest to algebraic geometry, while the more elementary algebraic geometry of algebraic sets is closely related to commutative algebra.

Modern framework

Algebraic geometry developed around classification problems (on the model of the classical theory of conics). But the context of such investigations has undergone considerable evolution since the beginning of the nineteenth century. First the ground field has been extended from the real numbers to the field of complex numbers and later to arbitrary fields. In the second place notions of abstract algebra have led to a natural generalization of algebraic geometry, namely to the concept of algebraic affine variety, a set of points in that satisfy polynomial equations with coefficients in the field

Reference

J. Dieudonné, A Panoroma of Pure Mathematics, Academic Press, New York, (1982)