The branch of mathematics dealing with geometric objects connected with commutative rings: algebraic varieties (cf. Algebraic variety) and their various generalizations (schemes, algebraic spaces, etc., cf. Scheme; Algebraic space).
Algebraic geometry may be "naively" defined as the study of solutions of algebraic equations. The geometrical intuition appears when every "set of solutions" is identified with a "set of points in a coordinate space" . If the coordinates are real numbers, and if the space is two- or three-dimensional, the situation may be clearly visualized; however, the language of geometry is also used in more general situations. This language implies problems, constructions and considerations which do not follow from the point of view of pure algebra. In turn, algebra provides a flexible and powerful apparatus which is just as suitable for the conversion of a tentative reasoning into a proof as for the formulation of such proofs in their most obvious and most general form.
In the case of algebraic geometry over the field of complex numbers, every algebraic variety is simultaneously a complex-analytic, differentiable and topological space in the ordinary Hausdorff topology. This fact makes it possible to introduce a large number of classical structures which induce such invariants of algebraic varieties that can be obtained by purely algebraic means only with great difficulty or perhaps not all. The concepts and the results of algebraic geometry are extensively used in number theory (Diophantine equations and the evaluation of trigonometric sums), in differential topology (both with respect to singularities and differentiable structures), in group theory (algebraic groups and simple finite groups connected with Lie groups), in the theory of differential equations (-theory and the index of elliptic operators), in the theory of complex spaces, in the theory of categories (topoi, Abelian categories), and in functional analysis (representation theory). Conversely, the ideas and methods of these disciplines are utilized in algebraic geometry.
The genesis of algebraic geometry dates back to the 17th century, with the introduction of the concept of coordinates into geometry. Nevertheless, its crystallization into an independent branch of science only began in the mid-19th century. The utilization of coordinates in projective geometry created a situation in which algebraic methods could compete with synthetic methods. However, the achievements of this branch of algebraic geometry still are in the domain proper of projective geometry, but as a result it left to algebraic geometry the traditional study of projective algebraic varieties. Modern algebraic geometry arose as the theory of algebraic curves (cf. Algebraic curve). Historically, the first stage of development of the theory of algebraic curves consisted in the clarification of the fundamental concepts and ideas of this theory, using elliptic curves as examples. The system of concepts and results which one now calls the theory of elliptic curves arose as a part of analysis (rather than geometry) — the theory of integrals of rational functions on an elliptic curve. At first, these were the integrals that received the name "elliptic" , and it was only later that the meaning was extended to include functions and curves (cf. Elliptic integral).
At the end of the 17th century, Jakob and Johann Bernoulli noted a new interesting property of elliptic integrals. They studied integrals expressing the arc lengths of certain curves. They found methods for transforming one curve into another of the same arc length, even though the respective arcs could not be brought into correspondence. From the analytic point of view, this was tantamount to the conversion of an integral into another integral, and in certain cases the result was a transformation of an integral into itself. C.G. Fagnano, in the first half of the 18th century, gave numerous examples of such transformations.
L. Euler studied an arbitrary polynomial of the fourth degree and posed the problem of the relations between and that satisfy the equation
He considered (1) as a differential equation, connecting and . The desired relation is the ordinary integral of this equation. The reason for the existence of the integral of (1) and all its special cases, discovered by Fagnano and the Bernoulli's, is the presence of a group law on the elliptic curve , and the invariance of the everywhere-regular differential form with respect to shifts by elements of the group. Euler's relations, which interconnect with by (1), may be written as
where denotes the addition of points on the elliptic curve.
Thus it is seen that these results contain both the group law on an elliptic curve and the existence of an invariant differential form on this curve (cf. Elliptic curve).
After the work of Euler, the theory of elliptic integrals was mainly developed by A. Legendre. His considerations, beginning in 1786, are collected in a three-volume treatise Traité des fonctions elliptiques et intégrales Euleriennes ( "Traité des fonctions elliptiques et intégrales Euleriennes of LegendreA treatise on elliptic functions and Euler integrals" ).
The studies carried out by N.H. Abel on the theory of elliptic functions appeared in 1827–1829. His starting point was the elliptic integral
where and are complex numbers. Abel considered this integral as a function of the upper limit and introduced the inverse function and the function
Both these functions have two periods, and , in the complex domain:
so that the mapping defines a uniformization of the elliptic curve by elliptic functions.
Somewhat later than Abel, but independently, C.G.J. Jacobi studied the function inverse to the elliptic integral; he showed that it has two independent periods, and obtained several results in the problem of transformations. By transforming Abel's expressions of elliptic functions in series into the form of products, Jacobi arrived at the concept of -functions (cf. Theta-function) and discovered their numerous applications not only in the theory of elliptic functions, but also in number theory and in mechanics.
While studying the transformations of elliptic functions, Abel was the first to investigate the group of homomorphisms of a one-dimensional Abelian variety.
Finally, as a result of the publication of the inheritance of C.F. Gauss and, in particular, of his diary, it became clear that to some extent he possessed some of these ideas long before the work of Abel and Jacobi. The transition to the study of arbitrary algebraic curves still took place within an analytic framework: Abel had shown the way in which the basic properties of elliptic integrals can be generalized to include integrals of arbitrary algebraic functions. Such integrals were subsequently named Abelian integrals (cf. Abelian integral).
The work published by Abel in 1826 became the starting point of the general theory of algebraic curves. It contains the concepts of the genus of an algebraic curve and of the equivalence of divisors, and presents equivalence criteria in terms of integrals. It leads to the theory of the Jacobi variety of an algebraic curve.
In his dissertation, published in 1851, B. Riemann adopted a novel principle of studying functions of a complex variable. He assumed that such a function is given not on the plane of the complex variable, but on a "many-sheeted" surface above this plane.
The surfaces introduced by Riemann (cf. Riemann surface) are close to the modern concept of a one-dimensional analytic manifold: A manifold on which analytic functions are defined. Riemann posed and solved the question of the connection between his concept and the concept of an algebraic curve; the corresponding result is nowadays called Riemann's existence theorem. After having studied the possible position of branching points of the surface he proved that the set of classes depends on independent parameters if , which he called the moduli (cf. Moduli problem).
The work of Riemann was the starting point for studies on the topology of algebraic curves; this study explains the topological meaning of the dimension of the space as one-half of the dimension of the one-dimensional homology group of the space . Analytic methods led to the inequality . The Riemann–Roch equality was proved by E. Roch, a student of Riemann (cf. Riemann–Roch theorem). Finally, this study constitutes the first appearance of the field as the primary object connected with a curve , and of the concept of a birational isomorphism. The problem of inversion of integrals of arbitrary algebraic functions had been posed much earlier by Abel. Another part of Riemann's study on Abelian functions deals with the relations between -functions and the inversion problem in general, in particular with the series (in variables)
where runs through all integral -dimensional vectors
This series converges for all values of if the real part of the quadratic form is negative definite. The principal properties of the function are the relations
where is an integer vector, is a column of the matrix and is a linear function.
It was shown by Riemann that it is possible to select cuts which convert the surface he has introduced into a simply-connected surface, and to select of the everywhere-finite integrals on this surface such that the integrals with respect to are 0 if , and are if , while the integrals with respect to form a symmetric matrix which satisfies conditions that ensure the convergence of the series (2). He considered the function corresponding to these coefficients . The periods of an arbitrary -periodic function of variables satisfy relations analogous to those necessary for the convergence of the series which determine the -functions. These relations between the periods were explicitly written out by G. Frobenius, who showed that they are necessary and sufficient for the existence of non-trivial functions which satisfy the functional equation (3) (cf. Theta-function; Abelian function). These relations are necessary and sufficient for the existence of a meromorphic function with given periods which cannot be reduced to a function in a smaller number of variables by linear transformations. This theorem was formulated by K. Weierstrass and proved by H. Poincaré. It was shown in 1921 by S. Lefschetz that, if the Frobenius relations are satisfied, the -function defines an imbedding of the variety into a projective space ( is the lattice corresponding to the given matrix of periods; cf. Complex torus).
The concepts and the results which now form the base of the theory of algebraic curves were created under the influence and within the framework of the theory of algebraic functions and their integrals. The purely geometrical theory of algebraic curves developed as an independent branch. Thus, J. Plücker in 1834 arrived at formulas interconnecting the class of the curve, its order and the number of its double points. He also showed that a plane curve of order three has nine points of inflection. However, such studies were only of secondary importance at that time.
It was only after the studies of Riemann that the geometry of algebraic curves became an important field in mathematics, together with the theory of Abelian integrals and Abelian functions. This change was mainly due to the work of A. Clebsch. While Riemann based his work on functions, Clebsch based his work on algebraic curves. Clebsch and P. Gordan  deduced a formula for the number of linearly independent integrals of the first kind (i.e. of the same kind as the genus of the curve ), which expresses this number in terms of the order of the curve and the number of singular points. They also showed that if , the curve has a rational parametrization and, if , it becomes a plane curve of order three.
An error made by Riemann proved useful in the development of the algebraic-geometric aspect of the theory of algebraic curves. In proving his existence theorems, Riemann considered it self-evident that a variational problem — the "Dirichlet principle" — is solvable. It was soon shown by Weierstrass that this is not true in all cases. Accordingly, Riemann's results remained unfounded for a certain period of time. One way in which this difficulty could be overcome was to prove these theorems by an algebraic method; their formulation was essentially algebraic. These studies, which were undertaken by Clebsch, greatly facilitated the understanding of the algebraic-geometric nature of the results of Abel and Riemann, which had hitherto been masked by the analytic approach.
The studies initiated by Clebsch were continued and expanded by a student of his school — M. Noether. Noether's ideas were presented very clearly in a study published by himself and A. Brill. They posed the problem of the development of geometry on an algebraic curve lying in a projective plane as the set of results which are invariant with respect to one-to-one (i.e. birational) transformations (cf. Birational geometry).
By the 1850s many special properties of algebraic varieties of dimension higher than one (mostly surfaces) had been discovered. For instance, a detailed study was made of surfaces of the third degree; in particular, it was shown by G. Salmon and A. Cayley in 1849 that any cubic surface without singular points contains 27 different straight lines. However, these results were not connected with any general principles for a long time, and remained unrelated to the fundamental ideas in the theory of algebraic curves which were developed at the same time.
The development of algebraic geometry was strongly affected by the Italian school, in particular by L. Cremona, C. Segre and E. Bertini. The principal representatives of this school were G. Castelnuovo, F. Enriques and F. Severi. One of the principal achievements of the Italian school was the classification of algebraic surfaces (cf. Algebraic surface). The first result in this direction was reported by Bertini in 1877; he gave the classification of involutive plane transformations or, in modern terms, a classification up to conjugation in the group of birational automorphisms of the plane of all elements of order two in this group. This classification is very simple and, in particular, it can be readily deduced that the quotient of the plane by a group of order two is a rational surface. In other words, if a surface is unirational and a morphism is of degree two, then is rational. Castelnuovo (1893) solved (positively) the general case of the Lüroth problem for algebraic surfaces. He also posed and solved the problem of the characterization of rational surfaces by numerical invariants. A classification of surfaces was achieved by Enriques in a series of studies, which ended only in the first decade of the 20th century.
The principal tool of the Italian school was the study of families on a surface; the families were taken linear or algebraic (the latter also being known as "continuous" ). This led to the concept of linear and algebraic equivalence. The connection between these concepts was first studied by Castelnuovo. An important contribution to the subsequent development of the problem was made by Severi. A large portion of the concepts was defined in an analytic form, and the algebraic significance was clarified in the course of time. Nevertheless, there are still many concepts and results which are essentially analytic, at least from the modern point of view.
The studies of F. Klein and H. Poincaré on the problem of uniformization of algebraic curves by automorphic functions appeared in the early 1880s. Their objective was the uniformization of all curves by functions now known as automorphic, analogous to the uniformization of curves of order one by elliptic functions. Klein's starting point was the theory of modular functions. The field of modular functions is isomorphic to the field of rational functions, but it is possible to consider functions that are invariant with respect to various subgroups of the modular group and to obtain more complicated fields in this manner. In particular, Klein considered functions that are automorphic with respect to the group consisting of all transformations , where and are integers, , and
He showed that these functions uniformize the curve of genus three. It is possible in this manner to distort the fundamental polygon of this group and to obtain new groups which uniformize curves of genus three. A similar reasoning underlies the studies of Klein and Poincaré, the latter constructing automorphic functions with the aid of series which are now named after him. They both correctly conjectured that any algebraic curve can be uniformized by a corresponding group, and made considerable advances in their attempts to prove this result. The complete proof was only obtained in 1907 by Poincaré and, independently, by P. Koebe. A major contribution to this proof was made by the studies of Poincaré on the concepts of the fundamental group and a universal covering.
The topology of algebraic curves is very simple, and was exhaustively investigated by Riemann. E. Picard studied the topology of algebraic surfaces by a method based on the study of the fibres of a morphism . He studied the variation of the topology of the fibre with the variation of the point and, in particular, conditions under which this fibre contains a singular point. For instance, it was proved in this way that smooth surfaces in  are simply connected. Poincaré also made an important contribution to the topology of algebraic surfaces.
In 1921 S. Lefschetz started to use a new science — topology — in the study of algebraic varieties over the field of complex numbers. His first aim was to obtain a simplification of the results of Poincaré and Picard and to obtain generalizations of these results to higher-dimensional cases. However, he did considerably more and his works opened a new domain of research in algebraic geometry. A further application of Lefschetz to algebraic geometry is connected with the theory of algebraic cycles on algebraic varieties. He proved that a two-dimensional cycle on an algebraic variety is homologous to a cycle representable by an algebraic curve if and only if the regular double integral has a zero period over this cycle. Lefschetz' studies laid the foundations of the modern theory of complex manifolds. Such manifolds were subsequently studied by powerful tools, including the theory of harmonic integrals (W. Hodge, G. de Rham) and the theory of sheaves (H. Cartan, J. Leray). It could be shown by using these techniques that non-singular algebraic varieties form part of an important class of complex manifolds — Kähler manifolds (cf. Kähler manifold).
The theory of sheaves, and the related theory of vector bundles on complex manifolds, supplied a new interpretation and considerable generalization of many classical invariants of algebraic surfaces (of both the arithmetic and geometric genus, and of the canonical system). One of the most important achievements of this theory was the creation of the theory of Chern classes (cf. Chern class) and a considerable generalization of the classical Riemann–Roch theorem by F. Hirzebruch .
In the middle of the 1920s much work was done on broadening the scope of algebraic geometry from the aspect of set theory and from the axiomatic aspect. The scope of application of algebraic geometry was greatly extended to include complex manifolds and algebraic varieties over arbitrary fields. Interest in algebraic geometry over "non-classical" fields originated in the theory of congruences, interpreted as equations over a finite field. It was claimed by Poincaré in his address at the International Congress of Mathematicians in 1908 that methods of the theory of algebraic curves may be used for studying equations with two unknowns. The ground for a systematic construction of algebraic geometry had been prepared in the first decade of the 20th century by the general development of the theory of fields and the theory of rings.
In the 1930s H. Hasse and his school attempted to prove the Riemann hypothesis (cf. Riemann hypotheses), which may be formulated for any algebraic curve over a finite field; this involved the development of a theory of algebraic curves over an arbitrary field. The hypothesis itself was proved by Hasse for elliptic curves. Advances in the construction of algebraic geometry over arbitrary fields are also due to the studies of B.L. van der Waerden in the period between 1931 and 1939. In particular, he developed the theory of intersections in a smooth projective variety.
A. Weil, in 1940, succeeded in formulating a proof of the Riemann hypothesis for an arbitrary algebraic curve over a finite field. He found two ways of proving the hypothesis: one based on the theory of correspondences of the curve (i.e. of divisors on the surface ), while the other was based on the study of its Jacobi variety. Thus, higher-dimensional varieties are used in both cases. Accordingly, Weil's book  contains the construction of algebraic geometry over an arbitrary field: the theory of divisors, cycles and intersections. For the first time "abstract" (not necessarily quasi-projective) varieties were defined by pasting together affine pieces. O. Zariski, P. Samuel, C. Chevalley and J.-P. Serre introduced powerful methods of commutative and, in particular, local algebra into algebraic geometry in the early 1950s.
Serre gave a definition of varieties based on the concept of a sheaf. He also established the theory of coherent algebraic sheaves, modelled on the theory of coherent analytic sheaves, which had been introduced only a short time before (cf. Coherent algebraic sheaf; Coherent analytic sheaf).
In the late 1950s algebraic geometry underwent a further radical transformation, due to A. Grothendieck's work on the foundation of the concept of a scheme. By using the language of category theory, Grothendieck succeeded in generalizing and clarifying many important classical constructions in algebraic geometry, the abstract definitions of which had been until now only little geometric. He also founded many new branches of algebraic geometry (cf. Abstract algebraic geometry). The language of the theory of schemes has now become a part of the routine of modern algebraic geometry, has united it naturally with commutative algebra, and has made a significant contribution to the advances made in the study of arithmetical problems of algebraic varieties (cf. Algebraic varieties, arithmetic of). The theory of schemes directly affected one of the most important recent achievements of algebraic geometry — the solution (by H. Hironaka) of the problem on the existence of a non-singular birational model of an algebraic variety defined over a field of characteristic zero (cf. Resolution of singularities).
|||I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001|
|||W.V.D. Hodge, D. Pedoe, "Methods of algebraic geometry" , 1–3 , Cambridge Univ. Press (1947–1954) MR1288307 MR1288306 MR1288305 MR0061846 MR0048065 MR0028055 Zbl 0796.14002 Zbl 0796.14003 Zbl 0796.14001 Zbl 0157.27502 Zbl 0157.27501 Zbl 0055.38705 Zbl 0048.14502|
|||M. Baldassarri, "Algebraic varieties" , Springer (1956) MR0082172 Zbl 0995.14003 Zbl 0075.15902|
|||J. Dieudonné, "The historical development of algebraic geometry" Amer. Math. Monthly , 79 (1972) pp. 827–866 MR0308117 Zbl 0255.14003|
|||A. Weil, "Foundations of algebraic geometry" , Amer. Math. Soc. (1946) MR0023093 Zbl 0063.08198|
|||A. Grothendieck, J. Dieudonné, "Eléments de géometrie algébrique" Publ. Math. IHES , 4;8;11;17;20;24;28;32 MR0238860 MR0217086 MR0199181 MR0173675 MR0163911 MR0217085 MR0217084 MR0163910 MR0163909 MR0217083 MR0163908 Zbl 0203.23301 Zbl 0144.19904 Zbl 0135.39701 Zbl 0136.15901 Zbl 0118.36206|
|||F. Hirzebruch, "Topological methods in algebraic geometry" , Springer (1978) (Translated from German) MR1335917 MR0202713 Zbl 0376.14001|
|||F. Enriques, "Le superficie algebraiche" , Bologna (1949)|
|||O. Zariski, "Algebraic surfaces" , Springer (1971) MR0469915 Zbl 0219.14020|
|||A. Clebsch, P. Gordan, "Theorie der Abelschen Funktionen" , Teubner (1866)|
|||E. Picard, G. Simart, "Théorie des fonctions algébriques de deux variables indépendantes" , 1–2 , Chelsea, reprint (1971) MR0392468 Zbl 37.0404.02 Zbl 28.0327.01|
|[a1]||W. Fulton, "Intersection theory" , Springer (1984) MR0735435 MR0732620 Zbl 0541.14005|
|[a2]||J. Dieudonné, "History of algebraic geometry" , Wadsworth , Monterey (1985) MR0780183 Zbl 0629.14001|
|[a3]||R. Hartshorne, "Algebraic geometry" , Springer (1977) pp. 13; 170; 316; 381 MR0463157 Zbl 0367.14001|
|[a4]||P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) pp. 20 ff MR0507725 Zbl 0408.14001|
Algebraic geometry. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Algebraic_geometry&oldid=21846