Algebraic geometry

Algebraic geometry is a branch of mathematics which, as the name suggests, combines abstract algebra, especially commutative algebra, with geometry. It can be seen as the study of solution sets of systems of algebraic equations. When there is more than one variable, geometric considerations enter, and are important to understand the phenomenon. One can say that the subject starts where equation solving leaves off, and it becomes at least as important to understand the totality of solutions of a system of equations as to find some solution; this does lead into some of the deepest waters in the whole of mathematics, both conceptually and in terms of technique.
Contents 
Zeroes of simultaneous polynomials
In classical algebraic geometry, the main objects of interest are the vanishing sets of collections of polynomials, meaning the set of all points that simultaneously satisfy one or more polynomial equations. For instance, the twodimensional sphere in threedimensional Euclidean space <math>\mathbb R^3<math> could be defined as the set of all points <math>(x,y,z)<math> with
 <math>x^2+y^2+z^21=0<math>.
A "slanted" circle in <math>\mathbb R^3<math> can be defined as the set of all points <math>(x,y,z)<math> which satisfy the two polynomial equations
 <math>x^2+y^2+z^21=0<math>,
 <math>x+y+z=0<math>.
Affine varieties
First we start with a field k. In classical algebraic geometry, this field was always C, the complex numbers, but many of the same results are true if we assume only that k is algebraically closed. We define <math>{\mathbb A}^n_k<math>, called affine nspace over k, to be k^{n}. The purpose of this apparently superfluous notation is to emphasize that one `forgets' the vector space structure that k^{n} carries. Abstractly speaking, <math>{\mathbb A}^n_k<math> is, for the moment, just a collection of points.
Henceforth we will drop the k in <math>{\mathbb A}^n_k<math> and instead write <math>{\mathbb A}^n<math>.
Define a function
 <math>f:{\mathbb A}^n\to{\mathbb A}^1<math>
to be regular if it can be written as a polynomial, that is, if there is a polynomial p in
 k[x_{1},...,x_{n}]
such that for each point
 (t_{1},...,t_{n})
of <math>{\mathbb A}^n<math>,
 f(t_{1},...,t_{n}) = p(t_{1},...,t_{n}).
Regular functions on affine nspace are thus exactly the same as polynomials over k in n variables. We will write the regular functions on <math>{\mathbb A}^n<math> as <math>k[{\mathbb A}^n]<math>.
We say that a polynomial vanishes at a point if evaluating it at that point gives zero. Let S be a set of polynomials in <math>k[{\mathbb A}^n]<math>. The vanishing set of S (or vanishing locus) is the set V(S) of all points in <math>\mathbb{A}^n<math> where every polynomial in S vanishes. In other words,
 V(S)={(t_{1},...,t_{n})  for all p in S, p(t_{1},...,t_{n}) = 0}.
A subset of <math>{\mathbb A}^n<math> which is V(S), for some S, is called an algebraic set. The V stands for variety (a specific type of algebraic set to be defined below).
Given a subset V of <math>{\mathbb A}^n<math> which is a variety, can one recover the set of polynomials which generate it? If V is any subset of <math>{\mathbb A}^n<math>, define I(V) to be the set of all polynomials whose vanishing set contains V. The I stands for ideal: if two polynomials f and g both vanish on V, then f+g vanishes on V, and if h is any polynomial, then hf vanishes on V, so I(V) is always an ideal of <math>k[{\mathbb A}^n]<math>.
Two natural questions to ask are: given a subset V of <math>{\mathbb A}^n<math>, when is
 V = V(I(V))?
Given a set S of polynomials, when is
 S = I(V(S))?
The answer to the first question is provided by introducing the Zariski topology, a topology on <math>{\mathbb A}^n<math> which directly reflects the algebraic structure of <math>k[{\mathbb A}^n]<math>. Then V = V(I(V)), if and only if V is a Zariskiclosed set. The answer to the second question is given by Hilbert's Nullstellensatz. In one of its forms, it says that I(V(S)) is the prime radical of the ideal generated by S. In more abstract language, there is a Galois connection, giving rise to two closure operators; they can be identified, and naturally play a basic role in the theory.
For various reasons we may not always want to work with the entire ideal corresponding to an algebraic set V. Hilbert's Basis Theorem implies that ideals in <math>k[{\mathbb A}^n]<math> are always finitely generated.
An algebraic set is called irreducible if it cannot be written as the union of two smaller algebraic sets. An irreducible algebraic set is also called a variety. It turns out that an algebraic set is a variety if and only if the polynomials defining it generate a prime ideal of the polynomial ring.
Regular functions
Just as continuous functions are the natural maps on topological spaces and smooth functions are the natural maps on differentiable manifolds, there is a natural class of functions on an algebraic set, called regular functions. A regular function on an algebraic set V contained in <math>{\mathbb A}^n<math> is defined to be the restriction of a regular function on <math>{\mathbb A}^n<math>, in the sense we defined above.
It may seem unnaturally restrictive to require that a regular function always extend to the ambient space, but it is very similar to the situation in a normal topological space, where the Tietze extension theorem guarantees that a continuous function on a closed subset always extends to the ambient topological space.
Just as with the regular functions on affine space, the regular functions on V form a ring, which we denote by k[V]. This ring is called the coordinate ring of V.
Since regular functions on V come from regular functions on <math>{\mathbb A}^n<math>, there should be a relationship between their coordinate rings. Specifically, to get a function in k[V] we took a function in <math>k[{\mathbb A}^n]<math>, and we said that it was the same as another function if they gave the same values when evaluated on V. This is the same as saying that their difference is zero on V. From this we can see that k[V] is the quotient <math>k[{\mathbb A}^n]/I(V)<math>.
The category of affine varieties
Using regular functions from an affine variety to <math>{\mathbb A}^1<math>, we can define regular functions from one affine variety to another. First we will define a regular function from a variety into affine space: Let V be a variety contained in <math>{\mathbb A}^n<math>. Choose m regular functions on V, and call them f_{1},...,f_{m}. We define a regular function f from V to <math>{\mathbb A}^m<math> by letting f(t_{1},...,t_{n})=(f_{1},...,f_{m}). In other words, each f_{i} determines one coordinate of the range of f.
If V' is a variety contained in <math>{\mathbb A}^m<math>, we say that f is a regular function from V to V' if the range of f is contained in V'.
This makes the collection of all affine varieties into a category, where the objects are affine varieties and the morphisms are regular maps. The following theorem characterizes the category of affine varieties:
 The category of affine varieties is the opposite category to the category of finitely generated reduced kalgebras and their homomorphisms.
Projective space
Consider the variety V(y=x^{2}). If we draw it, we get a parabola. As x increases, the slope of the line from the origin to the point (x,x^{2}) becomes larger and larger. As x decreases, the slope of the same line becomes smaller and smaller.
Compare this to the variety V(y=x^{3}). This is a cubic equation. As x increases, the slope of the line from the origin to the point (x,x^{3}) becomes larger and larger just as before. But unlike before, as x decreases, the slope of the same line again becomes larger and larger. So the behavior "at infinity" of V(y=x^{3}) is different from the behavior "at infinity" of V(y=x^{2}). It is, however, difficult to make the concept of "at infinity" meaningful, if we restrict to working in affine space.
The remedy to this is to work in projective space. Projective space has properties analogous to those of a compact Hausdorff space. Among other things, it lets us make precise the notion of "at infinity" by including extra points. The behavior of a variety at those extra points then gives us more information about it. As it turns out, V(y=x^{3}) has a singularity at one of those extra points, but V(y=x^{2}) is smooth.
While projective geometry was originally established on a synthetic foundation, the use of homogenous coordinates allowed the introduction of algebraic techniques. Furthermore, the introduction of projective techniques made many theorems in algebraic geometry simpler and sharper: For example, Bézout's theorem on the number of intersection points between two varieties can be stated in its sharpest form only in projective space. For this reason, projective space plays a fundamental role in algebraic geometry.
The modern viewpoint
The modern approach to algebraic geometry redefines the basic objects. Varieties are subsumed in Alexander Grothendieck's concept of a scheme. Schemes start with the observation that if finitely generated reduced kalgebras are geometrical objects, then perhaps arbitrary commutative rings should also be geometrical objects. As such, schemes become both a more general algebrogeometric object, and a convenient language to describe those objects. This language of schemes has proved to be a valuable way of dealing with geometric concepts and has become a cornerstone of modern algebraic geometry.
Notes and history
Algebraic geometry was developed largely by the Italian geometers in the early part of the 20th century. Enriques classified algebraic surfaces up to birational isomorphism. The style of the Italian school was very intuitive and does not meet the modern standards of rigor.
By the 1930s and 1940s, Oscar Zariski, André Weil and others realized that algebraic geometry needed to be rebuilt on foundations of commutative algebra and valuation theory. Commutative algebra (earlier known as elimination theory and then ideal theory, and refounded as the study of commutative rings and their modules) had been and was being developed by David Hilbert, Max Noether, Emanuel Lasker, Emmy Noether, Wolfgang Krull, and others. For a while there was no standard foundation for algebraic geometry.
In the 1950s and 1960s JeanPierre Serre and Alexander Grothendieck recast the foundations making use of the theory of sheaf theory. Later, from about 1960, the idea of schemes was worked out, in conjunction with a very refined apparatus of homological techniques. After a decade of rapid development the field stabilised in the 1970s, and new applications were made, both to number theory and to more classical geometric questions on algebraic varieties, singularities and moduli.
An important class of varieties, not easily understood directly from their defining equations, are the abelian varieties, which are the projective varieties whose points form an abelian group. The prototypical examples are the elliptic curves, which have a rich theory. They were instrumental in the proof of Fermat's last theorem and are also used in elliptic curve cryptography.
While much of algebraic geometry is concerned with abstract and general statements about varieties, methods for effective computation with concretelygiven polynomials have also been developed. The most important is the technique of Gröbner bases which is employed in all computer algebra systems.
See also
References
A classical textbook, predating schemes:
 Hodge, W. V. D., and Pedoe, Daniel, Methods of Algebraic Geometry: Volume 1, Cambridge University Press, 1994, ISBN 0521469007
 Hodge, W. V. D., and Pedoe, Daniel, Methods of Algebraic Geometry: Volume 2, Cambridge University Press, 1994, ISBN 0521469015
 Hodge, W. V. D., and Pedoe, Daniel, Methods of Algebraic Geometry: Volume 3, Cambridge University Press, 1994, ISBN 0521467756
Modern textbooks that do not use the language of schemes:
 Cox, Little, and O'Shea, Ideals, Varieties, and Algorithms (second edition), Springer, 1997, ISBN 0387946802
 Griffiths, Phillip, and Harris, Joe, Principles of Algebraic Geometry, WileyInterscience, 1994, ISBN 0471050598
 Harris, Joe, Algebraic Geometry: A First Course, SpringerVerlag, 1995, ISBN 0387977163
 Mumford, David, Algebraic Geometry I: Complex Projective Varieties, 2nd ed., SpringerVerlag, 1995, ISBN 3540586571
 Reid, Miles, Undergraduate Algebraic Geometry, Cambridge University Press, 1988, ISBN 0521356628
 Shafarevich, Igor, Basic Algebraic Geometry I: Varieties in Projective Space, SpringerVerlag, 2nd ed., 1995, ISBN 0387548122
Textbooks and references for schemes:
 Eisenbud, David, and Harris, Joe, The Geometry of Schemes, SpringerVerlag, 1998, ISBN 0387986375
 Grothendieck, Alexander, Éléments de géométrie algébrique, Publications mathématiques de l'IHÉS, vols. 4, 8, 11, 17, 20, 24, 28, 32, 1960, 1961, 1963, 1964, 1965, 1966, 1967
 Grothendieck, Alexander, Éléments de géométrie algébrique, vol. 1, 2nd ed., SpringerVerlag, 1971, ISBN 3540051139
 Hartshorne, Robin, Algebraic Geometry, SpringerVerlag, 1997, ISBN 0387902449
 Mumford, David, The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, 2nd ed., SpringerVerlag, 1999, ISBN 354063293X
 Shafarevich, Igor, Basic Algebraic Geometry II: Schemes and Complex Manifolds, SpringerVerlag, 2nd ed., 1995, ISBN 0387548122
On the internet:
 Kevin R. Coombes: Algebraic Geometry: A Total Hypertext Online System (http://odin.mdacc.tmc.edu/~krc/agathos/)
 Algebraic geometry (http://planetmath.org/encyclopedia/AlgebraicGeometry.html) entry on PlanetMath (http://planetmath.org/)
 Algebraic Equations and Systems of Algebraic Equations (http://eqworld.ipmnet.ru/en/solutions/ae.htm) at EqWorld: The World of Mathematical Equations
Topics in mathematics related to structure  Edit (http://en.wikipedia.org/w/wiki.phtml?title=Template:Structure&action=edit) 
Abstract algebra  Universal algebra  Graph theory  Category theory  Order theory  Model theory  Structural proof theory  
Geometry  Topology  General topology  Algebraic geometry  Algebraic topology  Differential geometry and topology  
Analysis  Measure theory  Functional analysis  Harmonic analysis 
Topics in mathematics related to space  Edit (http://en.wikipedia.org/w/wiki.phtml?title=Template:Space&action=edit) 
Geometry  Trigonometry  NonEuclidean geometry  Fractal geometry  Algebraic geometry  
Topology  Metric geometry  Algebraic topology  Differential geometry and topology  
Linear algebra  Functional analysis 
es:Geometría algebraica fr:Géométrie algébrique ko:환경 공학 it:Geometria algebrica ja:代数幾何学 pl:Geometria algebraiczna pt:Geometria algébrica zh:代数几何