View source for Abstract algebraic geometry

<!--
a0104501.png
$#A+1 = 1 n = 0
$#C+1 = 1 : ~/encyclopedia/old_files/data/A010/A.0100450 Abstract algebraic geometry
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

The branch of algebraic geometry dealing with the general properties of algebraic varieties (cf. [[Algebraic variety|Algebraic variety]]) over arbitrary fields and with schemes (cf. [[Scheme|Scheme]]), which are their generalizations. The first studies in abstract algebraic geometry appeared as early as the 19th century, but the main development of the subject dates back to the 1950s, with the creation of the general theory of schemes by A. Grothendieck. Interest in algebraic geometry over arbitrary fields arose in the context of number-theoretical problems and, in particular, in the theory of equations with two unknowns. Very important in the development of abstract algebraic geometry was the introduction of the concept of the zeta-function of an algebraic curve by E. Artin in 1924 (cf. [[Zeta-function|Zeta-function]] in algebraic geometry), and the proof of the analogue of the Riemann hypothesis for elliptic curves by H. Hasse in 1933. The theory of algebraic curves over an arbitrary field of constants, which was developed at the same time, was of fundamental importance in this proof.

The general development of the theory of rings and fields in the first two decades of the 20th century prepared the ground for a systematic development of higher-dimensional algebraic geometry over arbitrary fields. In his series of articles (1933–1938), B.L. van der Waerden based abstract algebraic geometry on the theory of polynomial ideals. In particular, he developed the [[Intersection theory|intersection theory]] on a non-singular projective algebraic variety. The results of the studies conducted in this field are summarized in [[#References|[4]]].

It was noted in 1940 by A. Weil that a proof of the Riemann hypothesis for algebraic curves of arbitrary genus involves the theory of higher-dimensional varieties over arbitrary fields. He accordingly developed the theory of abstract algebraic varieties (not necessarily projective) over an arbitrary ground field, the theory of divisors, the intersection theory for such varieties, and the general theory of Abelian varieties, which had been previously studied only from the analytic point of view. The appearance in 1946 of the book by Weil [[#References|[9]]] made the theory of valuations and field theory (Weil's "general points" ( "generic points" ) language) to be generally accepted as a base of abstract algebraic geometry for a long time thereafter.

In the early 1950s powerful methods of commutative algebra [[#References|[6]]], [[#References|[8]]] were brought to bear on abstract algebraic geometry. The subject was further modified by J.-P. Serre in his study [[#References|[7]]] on coherent algebraic sheaves (cf. [[Coherent algebraic sheaf|Coherent algebraic sheaf]]). The ideas and methods of homological algebra were here introduced into algebraic geometry for the first time. The development of abstract algebraic geometry paralleled that of the concept of an algebraic variety. Following the definition of an abstract algebraic variety given by Weil, various generalizations of this concept were proposed, and the concept of a scheme proved to be the most useful. A systematic exposition of these ideas and the development of the theory of schemes was initiated in 1960 by A. Grothendieck in a series of memoirs [[#References|[5]]], in which the language of functors and of the theory of categories was introduced into abstract algebraic geometry, and many classical constructions in the field were radically transformed.

The rapid development of abstract algebraic geometry was due to the recognition of the fact that it is possible, in the framework of the theory of schemes, to apply to the "abstract case" practically all of the known concepts of the classical complex case and, in particular, the homology theory of complex-analytic manifolds. An important role in the development of abstract algebraic geometry was played by the Weil conjecture (1947), which postulated the existence of a cohomology theory in which the [[Lefschetz formula|Lefschetz formula]] for the number of fixed points of a mapping would be valid, and which established an intimate connection of this hypothesis with purely arithmetical problems of algebraic varieties (cf. [[Zeta-function|Zeta-function]] in algebraic geometry).

The concept of a [[Topologized category|topologized category]] (a Grothendieck topology) found numerous applications, the development of which laid the foundations of new branches of abstract algebraic geometry: the theory of representable functors (cf. [[Representable functor|Representable functor]]), formal geometry, [[Weil cohomology|Weil cohomology]]; [[K-theory| $  K $-
theory]], and the theory of group schemes (cf. [[Group scheme|Group scheme]]). The ideas and methods developed in this way had their influence in many branches of mathematics (commutative algebra, category theory, the theory of analytic spaces and topology).

The recent generalization of the concept of an algebraic variety to that of an [[Algebraic space|algebraic space]], which was proposed in the late 1960s, made it possible to extend the framework of abstract algebraic geometry, and to connect it even more closely with other branches of algebraic geometry.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> A. Grothendieck, "The cohomology theory of abstract algebraic varieties" , ''Proc. Internat. Math. Congress Edinburgh, 1958'' , Cambridge Univ. Press (1960) pp. 103–118 {{MR|0130879}} {{ZBL|0119.36902}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> I.V. Dolgachev, "Abstract algebraic geometry" ''J. Soviet Math.'' , '''2''' : 3 (1974) pp. 264–303 ''Itogi Nauk. i Tekhn. Algebra Topol. Geom.'' , '''10''' (1972) pp. 47–112 {{MR|}} {{ZBL|1068.14059}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> J.-P. Serre, ''Matematika'' , '''7''' : 5 (1963) pp. 3–93 {{MR|0339966}} {{MR|0339965}} {{ZBL|}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> W. Gröbner, "Moderne algebraische Geometrie; die Idealtheoretische Grundlagen" , Springer , Wien (1949) {{MR|0034049}} {{ZBL|0033.12706}} </TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> A. Grothendieck, J. Dieudonné, "Eléments de géometrie algébrique" ''Publ. Math. IHES'' , '''4''' {{MR|0238860}} {{MR|0217086}} {{MR|0199181}} {{MR|0173675}} {{MR|0163911}} {{MR|0217085}} {{MR|0217084}} {{MR|0163910}} {{MR|0163909}} {{MR|0217083}} {{MR|0163908}} {{ZBL|0203.23301}} {{ZBL|0144.19904}} {{ZBL|0135.39701}} {{ZBL|0136.15901}} {{ZBL|0118.36206}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> P. Samuel, "Méthodes d'algèbre abstraite en géométrie algébrique" , Springer (1955) {{MR|0072531}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> J.-P. Serre, "Faiseaux algébriques cohérentes" ''Ann. of Math. (2)'' , '''61''' : 2 (1955) pp. 197–278</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> O. Zariski, "Algebraic geometry. The fundamental ideas of abstract algebraic geometry" , ''Proc. Internat. Congress Mathematicians (Cambridge, 1950)'' , '''2''' , Amer. Math. Soc. (1952) pp. 77–89 {{MR|0045412}} {{ZBL|}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> A. Weil, "Foundations of algebraic geometry" , Amer. Math. Soc. (1946) {{MR|0023093}} {{ZBL|0063.08198}} </TD></TR></table>

====Comments====
The systematic development of the concept of a topologized category and its applications was carried out by Grothendieck, P. Deligne and many others (cf. [[#References|[a1]]], [[#References|[a2]]]).

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> P. Deligne, "La conjecture de Weil I" ''Publ. Math. IHES'' , '''43''' (1974) pp. 273–307 {{MR|0340258}} {{ZBL|0314.14007}} {{ZBL|0287.14001}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P. Deligne, "La conjecture de Weil II" ''Publ Math. IHES'' , '''52''' (1980) pp. 237–252 {{MR|0601520}} {{ZBL|0456.14014}} </TD></TR></table>