PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Random  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (63)
Orphanage
Unclass'd (18)
Unproven (234)
Corrections (175)

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
Docs
Classification
News
Legalese
History
ChangeLog
TODO List
algebraic geometry (Topic)

Introduction

Algebraic geometry is the study of algebraic objects using geometrical tools. By algebraic objects, we mean objects such as the collection of solutions to a list of polynomial equations in some ring. Of course, if the ring is the complex numbers, we can apply the highly succesful theories of complex analysis and complex manifolds to address the problems; many powerful tools are available; de Rham cohomology, singular homology, Hodge theory, spectral sequences and many others. We also have at our disposal all the tools of real differential geometry: partitions of unity, curvature, tangent spaces, as well as all the tools of point-set topology. However, if one wishes to use a different ring, perhaps the rational numbers, the integers, or a finite field, none of this theory can be applied directly.

Algebraic geometry defines the basic objects and constructs tools closely analogous to all these tools. They are generally used to study the algebraic analogs of geometric objects: curves defined over the rational numbers rather than the complex numbers, for example. However, the tools that have been developed are so general they can sometimes be used to view a purely algebraic problem in a geometric light. For example, the properties of number fields are very closely parallelled by the properties of nonsingular curves, particularly over finite fields. Techniques from algebraic geometry offer the potential of recognizing and taking advantage of this essential similarity. However, most results in algebraic geometry rely on difficult results in commutative algebra, so attacking a purely algebraic problem with these techniques usually amounts to reducing one algebraic problem to another. This can be useful, especially when it allows to apply one's geometric intuition to purely algebraic problems. For example, many properties will hold for a ring if and only if they hold for the localization of that rign at every prime ideal. From a geometric point of view, this amounts to saying that the property holds for a space if and only if it holds for every point in the space.

History

Algebraic geometry has been through several revolutionary changes. Classically, equations were studied by themselves, using a variety of techniques. Perhaps a good example is the Fermat equation, $ x^n+y^n=z^n$. Using an assortment of techniques, the nonexistence of nontrivial integer solutions was proven for various exponents. This approach is not able to take advantage of many modern tools such as homological algebra.

Such an equation (under certain conditions) of course defines a complex manifold; significant geometrical tools then become available, but they (seem to) tell the mathematician very little about integer solutions or solutions in a finite field. It was realized that one could define an object very like a complex manifold by replacing the notion of “analytic map” with polynomials. The objects so defined are called varieties. This allows one to work over fields of arbitrary characteristic. With sufficient care, some of the tools of complex geometry can be carried over. This formulation is not really adequate for working with non-algebraically closed fields or with rings.

In the mid-20th century, Grothendieck and his school found the correct tool for formalizing the theory of varieties into a form that can deal with more general ground fields, rings, and families of algebraic objects in a unified way. The formalism of schemes is an extremely general and powerful tool for addressing a large variety of problems in algebraic geometry. Schemes generalize varieties: once one has the tools of schemes, a variety is defined to be a noetherian integral separated scheme of finite type over an algebraically closed field.

Fundamentals

Classically, one defines an analytic structure on a topological manifold by specifying a family of coordinate charts (homeomorphisms from a neighborhood to $ \mathbb{C}^n$) that are suitably compatible. Unfortunately, the only natural definition for “neighborhood” on an algebraic object uses the Zariski topology, in which every open set is dense (in an irreducible object). So it is extremely rare that an algebraic object has a neighborhood which is isomorphic to affine space. However, an alternative way of defining an analytic structure on a manifold is to describe all the holomorphic functions on the manifold. It is not sufficient to describe the global functions, since a compact complex manifold only has constants as its global holomorphic functions; one describes the holomorphic functions on any open set $ U$. Of course one can always restrict an analytic function to a smaller open set; if all the restrictions of a function are zero, the function must be zero; and if we have a collection of holomorphic functions on different open sets that agree on the overlaps, then they can be pieced together to give a holomorphic function on a union of the open sets. These conditions, abstracted away from their context, form the definition of a sheaf.

Sheaves are a fundamental kind of object in algebraic geometry. They serve to describe locally defined objects, and they can tell when they can be patched together. In particular, a scheme is a topological space with an associated sheaf, the structure sheaf, which defines which functions of sheaves are considered morphisms in the category of schemes. Schemes also have a defining feature analogous to the “locally Euclidean” condition on manifolds: they must locally look like the prime spectrum of a ring. Essentially this condition allows one to address local questions on schemes by turning to commutative algebra. Global questions need new theory, analogous to the global theories of complex analysis, differential geometry, and algebraic topology.

Many questions, such as Fermat's last theorem, are concerned with points on curves, surfaces or other algebraic objects. When dealing with manifolds, a point is simply a point on the underlying topological space. When dealing with schemes, one often wants a point on a scheme that is in a particular field or ring. The underlying topological space cannot carry this level of detail, and in fact the underlying topological space of a scheme $ X$ is somewhat odd at first sight: for each irreducible closed subset $ Y$ (for example, a curve on a surface) the underlying topological space of $ X$ has a generic point whose closure is $ Y$. So we use a different definition of a point on a scheme.

In the topological category, we could define a point on $ X$ as a continuous function from a one-point space to $ X$. Clearly, once we fix a one-point space, there is a natural bijection between functions of this sort and points of $ X$. Similarly, if $ k$ is a field, we define points on a scheme $ X$ to be morphisms from the prime spectrum of $ k$ (which is a one-point space) to $ X$. Then all the generic points and strange behaviour appear as points over other fields -- for example, generic points appear as points over function fields. If one is interested in points on a scheme $ X$ with coordinates in some ring $ R$, we can simply define them to be morphisms from the prime spectrum of $ R$ to $ X$. If we take $ R$ to be $ k[\epsilon]/\left<\epsilon^2\right>$, then $ R$-points turn out to be tangent vectors on $ X$.

Schemes also allow the treatment of families of varieties or schemes, even when the characteristic of the objects in the family may vary. The way this is done is by studying not simply schemes themselves but morphisms of schemes. In particular, one fixes a “base scheme” $ X$ and looks at the arrow category of morphisms $ Y\to X$, called “schemes over $ X$”. On the one hand, this allows one to fix a base field for all one's schemes and consider only morphisms that fix the base field; on the other, if $ X$ is a more complicated schemes, the fibers of the morphism can be viewed as members of a family indexed by points of $ X$. The condition that the family be continuous can be expressed by requiring that $ Y\to X$ be a flat morphism; in this situation many cohomological invariants are guaranteed to be constant in the family.

Cohomology

Cohomology has proven to be an essential tool in the study of complex manifolds and other “nice” spaces. The general rule is that topological properties of interest are found to be determined by the values of cohomological invariants of the topological space. It has therefore been a goal of algebraic geometers to provide a suitable cohomology theory for schemes.

The simplest (although not very simple) kind of cohomology for schemes is sheaf cohomology. These cohomology functors associate abelian groups to sheaves on a scheme; one can view them as cohomology with coefficients in a scheme. However, the Zariski topology is very coarse. While one can compute the appropriate cohomology groups for a quasi-coherent sheaf or for the group scheme $ \mathbb{G}_m$, it is too coarse to compute the “true” cohomology groups with constant coefficients. In fact, on most schemes encountered in practice, constant sheaves have zero cohomology groups. This is a problem, as in the complex category, cohomology with constant coefficients (in fact, usually with integer coefficients) determines most of the cohomological invariants that are of interest, such as the Betti numbers.

In order to address these problems (and specifically to attack the Weil conjectures), Grothendieck and his school introduced new cohomology theories. Their key insight was that the problem with sheaf cohomology comes from the fact that Zariski open sets are “too big”, that the induced topology is “too coarse”. For example, two nonisomorphic nonsingular curves do not have any isomorphic open subsets, in sharp contrast to complex manifolds, which are covered with neighborhoods isomorphic to a neighborhood in $ \mathbb{C}^n$. Their solution was to introduce the notion of a site, generalizing the notion of a topology. A site allows the definition of sheaves and the evaluation of their derived functors, yielding cohomology groups.

If the site is chosen to have “open sets” consisting of étale morphisms of finite type to the scheme of interest, one obtains the étale site. This site is “finer” than the Zariski topology (which can be made into a site). The cohomology groups obtained from the étale site are able to evaluate the “true” cohomology groups for a finite constant sheaf. By taking a projective limit, one can obtain cohomology groups with $ l$-adic coefficients. These groups were central to Deligne's proof of the Weil conjectures, and in principle they allow many valuable computations. In practice, they can be difficult to work with.

Both to broaden the applicability of cohomological techniques and to make cohomology groups more computable, many other kinds of cohomology have been introduced. Examples include crystalline cohomology, Monsky-Washnitzer cohomology, and others.

Computations in cohomology generally use the same tools as computations in cohomology in algebraic topology: spectral sequences, excision, the Mayer-Vietoris sequence, and so on, with the exception that trivial facts about one-point topological spaces are replaced with difficult algebraic facts (this observation is essentially due to Milne, in his book Étale Cohomology).

GAGA principle

Correspondence between compact complex manifolds and proper algebraic varieties over $ \overline{\mathbb{Q}}$. General principle that the algebraic category can only deal effectively with “finite” objects.

Disciplines in algebraic geometry

Birational geometry

The category of schemes has a natural notion of isomorphism, and many problems are interested in the isomorphism class of an object. However, in some situations, one would like to simplify the problem. There is a notion of “birational map” between varieties; in essence this is a map that need only be defined on a dense subset, and has an “inverse” map of the same sort. Such maps need not be well-behaved on points, but they do have well-defined behaviour on the sheaf of rational functions on a scheme. This notion is one way to address singularities of a scheme, since singularities have essentially no effect on the birational behaviour of a scheme. It also provides a way to obtain a coarser initial classification of a scheme if one is really interested in its isomorphism class.

Curves

A curve is a scheme of dimension one that satisfies certain “niceness” conditions (which vary between authors; usually they are noetherian integral and separated). Such schemes can be studied in very broad generality; one can treat on the same footing curves over the complex numbers and curves over a finite field. In particular, much of the theory of Riemann surfaces can be rewritten in algebraic terms and applied to arbitrary algebraic curves: ramified coverings, deck transformations, and so on.

Riemann-Roch; Dedekind domains, number fields and curves; unique nonsingular curve in each birational equivalence class; initial classification by genus; Jacobian; modular curve; elliptic curves; connection to modular forms; Shimura-Taniyama.

Algebraic groups

Lie groups are an extremely interesting family of objects to study; they describe symmetry groups of real objects and have sufficient internal structure to have very interesting properties. They can be generalized to allow one to work over arbitrary fields; of course this requires the replacement of the notion of derivative with some suitable algebraic notion. Algebraic groups are essentially matrix group schemes, and as such allow the tools of algebraic geometry to be applied to their study.

Group schemes as group machines; linear groups; generalizing Lie groups; representation theory; relevance to number theory; Langlands program.

Abelian varieties

Ons specialized area of the study of group schemes is the study of abelian schemes and abelian varieties. An abelian scheme is a proper group scheme; this implies that it is projective and abelian. An abelian variety is simply an abelian scheme that is a variety. Over the complex numbers, every abelian variety is $ \mathbb{C}^g/\Lambda$ for some lattice $ \Lambda$ of real dimension $ 2g$. Over other fields, of course, the story is more complicated.

Abelian varieties are of interest for several reasons. First of all, they generalize elliptic curves; the study of elliptic curves has led to great advances in many fields of mathematics. Second, the Jacobian of a curve is an abelian variety sharing many properties of the curve, so that by analyzing the Jacobian one may hope to describe curves more clearly. Not every abelian variety is a Jacobian, but, for example, if one can find a curve lying on an abelian variety, there is a canonical homomorphism from the Jacobian of that curve to the abelian variety.

Abelian varieties (with some extra data, such as a principal polarization and possibly a level strucutre) can be classified up to isomorphism by a scheme. More precisely, the classification of abelian varieties with suitable extra structure is a moduli problem, and there is an associated moduli space. With sufficient extra structure, this is a fine moduli space, so that every point on the moduli space corresponds to a single abelian variety with extra structure. Curves on the moduli space correspond to families of abelian varieties. If the extra structure is just a principal polarization and some level structure, then the moduli space is the Siegel moduli space; over the complex numbers, this appears as a quotient of a space of matrices. If the extra structure also includes an embedding of the ring of integers of a totally real number field into the endomorphism ring of the abelian variety, one obtains the Hilbert moduli space. Sections of a certain line bundle correspond to Hilbert modular forms. Hilbert modular forms are in some sense a generalization of modular forms to higher dimensions; Hilbert suggested that their study would help develop a theory of multivariate complex functions. In the end, one needed such a theory to obtain any progress at all in their study; it now seems that to carry their study further the machinery of algebraic geometry is needed. Particular areas of current research include $ p$-adic Hilbert modular forms and Hilbert modular forms modulo $ p$.

Arithmetic algebraic geometry

Study of arithmetical problems (Galois theory, number fields, $ p$-adic objects, $ L$ and $ \zeta$ functions of varieties and representations) using algebraic geometry.

Computational aspects

Since a scheme over a ring $ R$ is always covered by $ R$-algebras, many computations with schemes can be translated into computations in $ R$-algebras. For suitable rings $ R$ and algebras $ A$, these can be done using Gröbner basis methods, allowing explicit computations of various properties of schemes. For example, the computer algebra system SINGULAR is designed to explicitly calculate properties of singularities on schemes. It can compute, for example, explicit projective resolutions for finitely-generated modules over suitable rings.

References

See the annotated bibliography for algebraic geometry.



Anyone with an account can edit this entry. Please help improve it!

"algebraic geometry" is owned by archibal. [ full author list (2) ]
(view preamble)

View style:

See Also: ring, polynomial, projective variety, affine variety, scheme, projective curve

Keywords:  variety, ring, polynomial

Cross-references: bibliography for algebraic geometry, modules, projective resolutions, calculate, computer algebra system, Gröbner basis, Galois theory, arithmetical, line bundle, sections, endomorphism ring, ring of integers, embedding, principal, homomorphism, lattice, abelian varieties, number theory, representation, matrix, derivative, symmetry, Lie groups, modular forms, elliptic curves, Jacobian, genus, equivalence class, Dedekind domains, deck transformations, coverings, ramified, terms, separated, satisfies, dimension, coarser, one way, rational functions, class, Mayer-Vietoris sequence, computable, projective limit, finite, étale site, étale morphisms, derived functors, site, induced, order, Betti numbers, group scheme, quasi-coherent sheaf, groups, abelian groups, associate, functors, sheaf cohomology, simple, invariants, flat morphism, continuous, fibers, base, arrow category, morphisms of schemes, tangent vectors, coordinates, sort, bijection, fix, continuous function, closure, generic point, subset, level, point on a scheme, Fermat's last theorem, prime spectrum, category, morphisms, structure sheaf, associated sheaf, sheaf, union, restrictions of a function, constants, compact, functions, holomorphic, affine space, isomorphic, irreducible, dense, open set, Zariski topology, neighborhood, homeomorphisms, coordinate charts, topological manifold, structure, analytic, algebraically closed, finite type, separated scheme, integral, noetherian, schemes, closed, characteristic, fields, exponents, variety, prime ideal, localization, algebra, commutative, nonsingular, number fields, properties, curves, finite field, integers, rational numbers, topology, tangent spaces, curvature, partitions of unity, geometry, real, spectral sequences, singular homology, cohomology, manifolds, complex, theories, complex numbers, ring, polynomial, collection, mean, algebraic
There are 26 references to this object.

This is version 9 of algebraic geometry, born on 2004-03-19, modified 2004-04-03.
Object id is 5722, canonical name is AlgebraicGeometry.
Accessed 311 times total.

Classification:
AMS MSC14-XX (Algebraic geometry)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
Study of algebra or geometry? by mclase on 2004-03-19 16:37:17
The first sentence says: "Algebraic geometry is the study of algebraic objects using geometrical tools."  Surely this is back to front: isn't it the study of geometry (curves, surfaces, etc) using algebraic tools?

- Michael (not an algebraic geometer)


[ reply | up ]

Interact
rate | post | correct | update request | add example | add (any)
</htm