Online Encyclopedia
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 two-dimensional sphere in three-dimensional Euclidean space R^{3} could be defined as the set of all points (x, y, z) with
- x^{2} + y^{2} + z^{2} − 1 = 0.
A "slanted" circle in R^{3} can be defined as the set of all points (x, y, z) which satisfy the two polynomial equations
- x^{2} + y^{2} + z^{2} − 1 = 0
- x + y + z = 0
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 , called affine n-space over k, to be k^{n}. This may seem to be useless notation, but the purpose of this definition is to forget about the vector space structure that k^{n} carries. Abstractly speaking, is, for the moment, just a collection of points.
Henceforward we will drop the k in and instead write .
We define a function 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 , f(t_{1},...,t_{n})=p(t_{1},...,t_{n}). Regular functions on affine space n-space are thus exactly the same as polynomials over k in n variables. We will write the regular functions on as .
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 . The vanishing set of S (or vanishing locus) is the set V(S) of all points in 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 which is V(S) for some S is called an algebraic set. The V stands for variety, which is a specific type of algebraic set we'll define later.
Given a subset V of which we know is a variety, it would be nice to determine the set of polynomials which generates it. We will make a definition for a more general case: If V is any subset of (not necessarily a variety), we define I(V) to be the set of all polynomials whose vanishing set contains V. The I stands for ideal: If I have two polynomials f and g which 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 .
Two natural questions to ask are: If I'm given a subset V of , when is V=V(I(V))? If I'm given a set S of polynomials, when is S=I(V(S))? The answer to the first question is provided by introducting the Zariski topology, a topology on which directly reflects the algebraic structure of . Then V=V(I(V)) if and only if V is a Zariski-closed set. The answer to the second question is given by Hilbert's Nullstellensatz. In one of its forms, it says that S=I(V(S)) is the prime radical of the ideal generated by S.
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 are always finitely generated.
A 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 is defined to be the restriction of a regular function on , 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 , there should be a relationship between their coordinate rings. Specifically, to get a function in k[V] we took a function in , and we said that it was the same as another function if they gave the same values when evaltuated 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 .
The category of affine varieties
Using regular functions from an affine variety to , 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 . Choose m regular functions on V, and call them f_{1},...,f_{m}. We define a regular function f from V to 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 , 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 dual category to the category of finitely generated reduced k-algebras 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 co-ordinates 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 k-algebras are geometrical objects, then perhaps arbitrary commutative rings should also be geometrical objects. As it turns out, this is a very fruitful point of view and is the basis for all of modern research in algebraic geometry.
Notes and history
An important class of varieties are the abelian varieties which are varieties whose points form an abelian group. The prototypical examples are the elliptic curves that 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 the effective computation with concretely given polynomials have also been developed. The most important is the technique of Gröbner bases which is employed in all computer algebra systems.
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 the foundation of commutative algebra. Commutative algebra (as the study of commutative rings and their ideals) 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 Jean-Pierre Serre and Alexander Grothendieck recast the foundations making use of the theory of sheaves. 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 applications were made, both to number theory and to more classical geometric questions on algebraic varieties, singularities and moduli.
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:
- Griffiths, Phillip, and Harris, Joe, Principles of Algebraic Geometry, Wiley-Interscience, 1994, ISBN 0471050598
- Harris, Joe, Algebraic Geometry: A First Course, Springer-Verlag, 1995, ISBN 0387977163
- Mumford, David, Algebraic Geometry I: Complex Projective Varieties, 2nd ed., Springer-Verlag, 1995, ISBN 3540586571
- Reid, Miles, Undergraduate Algebraic Geometry, Cambridge University Press, 1988, ISBN 0521356628
- Shafarevich, Igor, Basic Algebraic Geometry I: Varieties in Projective Space, Springer-Verlag, 2nd ed., 1995, ISBN 0387548122
Textbooks and references for schemes:
- Eisenbud, David, and Harris, Joe, The Geometry of Schemes, Springer-Verlag, 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., Springer-Verlag, 1971, ISBN 3540051139
- Hartshorne, Robin, Algebraic Geometry, Springer-Verlag, 1997, ISBN 0387902449
- Mumford, David, The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, 2nd ed., Springer-Verlag, 1999, ISBN 354063293X
- Shafarevich, Igor, Basic Algebraic Geometry II: Schemes and Complex Manifolds, Springer-Verlag, 2nd ed., 1995, ISBN 0387548122
On the internet:
- Kevin R. Coombes: Algebraic Geometry: A Total Hypertext Online System
- Algebraic geometry entry on PlanetMath
Topics in mathematics related to structure |
Topics in mathematics related to spaces |