[Home]History of Algebraic geometry

HomePage | Recent Changes | Preferences

Revision 4 . . (edit) December 21, 2001 2:53 am by (logged).252.121.xxx
Revision 3 . . October 13, 2001 5:29 am by AxelBoldt [Expanded, lots of links]
Revision 2 . . (edit) September 25, 2001 8:03 am by (logged).64.38.xxx
  

Difference (from prior major revision) (minor diff, author diff)

Changed: 1,21c1,19
Algebraic geometry is the study of the solutions of algebraic equations. Let F be a field, and let S be a set of
polynomials in n variables x1, ... , xn. The set V=V(S) of all
points a=(a1,...,an) in F^n which are solutions to all f in S
is called an affine variety. Conversely if I=I(V) is the
set of all polynomials vanishing on V, then I is an ideal
in the polynomial ring F[x1,...,xn] (ring ideal).
The quotient ring A=F[x1,...,xn]/I is called the coordinate
ring of the affine variety V. This correspondence between
affine varieties and their coordinate rings is particularly
clear when the ground field F is algebraically closed, due to
a theorem of Hilbert's called the Nullstellensatz. It says
that the points of V are in one to one correspondence with
the maximal ideals of A. Because of this relationship the
fields of algebraic geometry and commutative algebra (i.e.
commutative ring theory) are very closely related.

Affine varieties are special cases of more general objects
called algebraic varieties. A special case is that of a projective variety. This is a set in projective space whose
intersection with any affine subspace is an affine variety.
Varieties are given an important topology called the Zariski
topology in which the closed subsets are the subvarieties.
Algebraic geometry is a branch of mathematics which, as the name suggests, combines abstract algebra, especially the study of commutative rings, and geometry. It can be seen as the study of solutions sets of systems of algebraic equations.

In algebraic geometry, geometric structures are defined as the set of zeros of a number of polynomials. For instance, the two-dimensional sphere in three-dimensional Euclidean space R3 could be defined as the set of all points (x, y, z) with
:x2 + y2 + z2 -1 = 0.
A "slanted" circle in R3 can be defined as the set of all points (x, y, z) which satisfy the two polynomial equations
:x2 + y2 + z2 -1 = 0
:x + y + z = 0

In general, if F is a field and S a set of polynomials over F in n variables, then V(S) is defined to be the subset of Fn which consists of the simultaneous zeros of the polynomials in S. A set of this form is called an affine variety?, and it carries a natural topology, the [Zariski topology]? which is also defined by polynomial equations. As a consequence of Hilbert's basis theorem, every variety can be defined by only finitely many polynomial equations. A variety is called irreducible if it cannot be written as the union of two smaller varieties. It turns out that a variety is irreducible if and only if the polynomials defining it generate a [prime ideal]? of the polynomial ring. This correspondence of irreducible varieties and prime ideals is a central theme of algebraic geometry.

To every variety V one can associate a commutative ring, the coordinate ring, consisting of all polynomial functions defined on the variety. The prime ideals in this ring correspond to the irreducible subvarieties of V; if F is algebraically closed, which is usually assumed, then the points of V correspond to the maximal ideals of the coordinate ring ([Hilbert's Nullstellensatz]?).

Instead of working in the affine space Fn, one typically employs [projective space]?, the main advantage being that the number of intersection points between varieties can then be easily calculated using [Bezout's theorem]?.

In the modern view, the correspondence between variety and coordinate ring is turned around: one starts with an abstract commutative ring and defines a correspoinding variety via its prime ideals. In the most general formulation, this leads to Alexander Grothendieck's schemes.

An important class of varieties are the [abelian varieties]? which are varieties whose points form an abelian group. The prototypical examples are the [elliptical curve]?s which were instrumental in the proof of Fermat's last theorem and are also used in [elliptical curve cryptography]?.

While much of algebraic geometry is concerned with abstract and general statements about varieties, methods for the effective computation with concretely given polynomials have also been developed. The most important is the technique of [Grobner bases]? which is employed in all [computer algebra]? systems.

Changed: 24,25c22,23
not on a sufficiently rigorous basis. Commutative algebra was
developed by Hilbert, Emmy Noether and others, also in the 20-th century, with the geometric applications in mind. In the 1930's and 1940's Andre Weil realized that putting algebraic geometry on a rigorous basis was needed and he gave such a theory. In the 1950's and 1960's Serre and particularly Grothendieck recast the foundations making use of the theory of sheaves. In Grothendieck's formulation the study of algebraic varieties has been replaced by that of more abstract objects called schemes.
not on a sufficiently rigorous basis. Commutative algebra (as the study of commutative rings and their ideals) was
developed by David Hilbert, [Emmy Noether]? and others, also in the 20-th century, with the geometric applications in mind. In the 1930's and 1940's Andre Weil realized that putting algebraic geometry on a rigorous basis was needed and he gave such a theory. In the 1950's and 1960's [Jean-Pierre Serre]? and particularly Grothendieck recast the foundations making use of the theory of sheaves and, later, schemes.

HomePage | Recent Changes | Preferences
Search: